Comparaison et équation non linéaire
Bonjour
Si $f,g \in \mathcal{C}^\infty(\mathbb{R}^2,\mathbb{R})$ sont des fonctions tellesque $f \leq g$ et que $\phi$ (resp. $\psi$) est solution de $y' = f(t,y)$ (resp. $y' = g(t,y)$) sur $I$ (resp. $J$), alors si $\phi$ et $\psi$ coïncident en un point $t^*$ a-t-ton $\phi \leq \psi$ sur $I \cap J \cap [t^*, +\infty[$ ?
Je pense que oui, c'est la même idée que le lemme de Gronwall le problème c'est que la preuve "usuelle" (on dérive $\frac{\phi}{\psi}$) ne marche pas ici, j'ai cherché d'autres moyens de démontrer le lemme de Gronwall dans l'espoir de trouver une preuve qui s'adapte mais je ne suis pas parvenu à trouver quelque chose de satisfaisant.
Si $f,g \in \mathcal{C}^\infty(\mathbb{R}^2,\mathbb{R})$ sont des fonctions tellesque $f \leq g$ et que $\phi$ (resp. $\psi$) est solution de $y' = f(t,y)$ (resp. $y' = g(t,y)$) sur $I$ (resp. $J$), alors si $\phi$ et $\psi$ coïncident en un point $t^*$ a-t-ton $\phi \leq \psi$ sur $I \cap J \cap [t^*, +\infty[$ ?
Je pense que oui, c'est la même idée que le lemme de Gronwall le problème c'est que la preuve "usuelle" (on dérive $\frac{\phi}{\psi}$) ne marche pas ici, j'ai cherché d'autres moyens de démontrer le lemme de Gronwall dans l'espoir de trouver une preuve qui s'adapte mais je ne suis pas parvenu à trouver quelque chose de satisfaisant.
Réponses
-
Bonjour,
Peut-on établir que $\phi’\leq \psi’$ ?
Si oui, quel est le tableau des variations de $\phi-\psi$ ?
Peut-on lire sur le tableau le résultat recherché ? -
Si $\phi' \leq \psi'$ alors $\phi-\psi$ est décroissante et donc comme elle est nulle en $t*$ on a le résultat jusque là on est d'accord, ce qui coince c'est montrer que $\phi' \leq \psi'$ ce qui revient à comparer $f(t,\phi(t))$ et $g(t,\psi(t))$ et là j'ai un peu de mal car tout ce que je trouve à dire c'est que $f(t,\phi(t)) \leq g(t,\phi(t))$.
-
Bonjour,
Effectivement c’est plus difficile que je pensais.
Je ne sais pas résoudre cet exercice.
L’énoncé permet de dériver $f,g$ mais je ne sais pas l’utiliser. Et je ne connais pas Gronwall.
Bref, si une bonne âme passe par ici... -
Bonjour
Je pense qu'il faut jouer avec $(\phi-\psi)^+$ la partie positive de $\phi-\psi$, c'est-à-dire multiplier la différence des équations par $(\phi-\psi)^+$, intégrer et utiliser pour le membre intégré de droite la décomposition
$$ [f(t,\phi(t))-g(t,\psi(t))]= [f(t,\phi(t))-f(t,\psi(t)) ]+ [f(t,\psi(t))-g(t,\psi(t))]$$
le second terme on le balance à gauche (signe constant), le 1er terme servira pour Gronwall appliqué à la fonction $((\phi-\psi)^+)^2$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres