Gronwall "décroissant"
Bonjour,
si j'ai une fonction $y$ continue positive et des constantes $a$, $b>0$ telles que pour tout $t\geq 0$
$$y(t)\leq a - b\int_0^ty(s)ds,$$
peut-on espérer, à l'instar du lemme de Gronwall, avoir une décroissance exponentielle de la fonction $y$ ? Je n'arrive pas à le montrer...
Merci d'avance.
si j'ai une fonction $y$ continue positive et des constantes $a$, $b>0$ telles que pour tout $t\geq 0$
$$y(t)\leq a - b\int_0^ty(s)ds,$$
peut-on espérer, à l'instar du lemme de Gronwall, avoir une décroissance exponentielle de la fonction $y$ ? Je n'arrive pas à le montrer...
Merci d'avance.
Réponses
-
Je n'ai pas l'impression que ce soit vrai en général. Je te conseille d'écrire
$y(t) = a-b\int_0^t y(s)ds + g(t)$
où $g$ est continue négative, de donner la forme des solutions de cette EDO, et de voir ce que ça te donne sur la décroissance éventuelle de $y$.
C'est une façon de démontrer Gronwall d'ailleurs (sous des hypothèses pas trop faibles). -
Si $y$ est bornée ton inégalité est vérifiée pour $a$ assez grand.
-
Bonjour
Je reviens sur cette question. Plus précisément on suppose que $y\geq 0$ vérifie $$y(t)+\alpha\int_0^ty(s) ds \leq y(0),$$ A-t-on $y(t)\leq y(0)e^{-\alpha t}$ ?
Merci -
$f'(t)+af(t)\leq f(0)$
$(exp(at)f(t)) ' \leq f(0).exp(at) $ on intègre entre 0 et t
$exp(at)f(t) - f(0) \leq f(0)\frac{exp(at)-1}{a} $ je te laisse continuer -
Merci pour ton message. Cependant, tu n'as pas pris le même énoncé que moi.
-
Bonsoir,
Il me semble que (si j'ai bien compris) pour la question de départ: " $a,b >0$, $y(t)\geq 0$ sur $[0,+\infty]$, est-ce que l'hypothèse $$y(x)+b\int_0^x y(t)dt \leq a$$ pour tout $x\geq 0$ implique que $y(x)$ tend vers $0$ de manière exponentielle ? ", admet le contre-exemple
$\displaystyle y(x)=\frac{1}{1+x^2}$ puisque $$y(x)+b\int_0^x y(t)dt=\frac{1}{1+x^2}+b\,\arctan(x)\leq a=1+b\frac{\pi}{2}
$$ Cordialement.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres