Problème de Cauchy
Réponses
-
Bonjour,
Sous les hypothèses du théorème de Cauchy-Lipschitz, une solution maximale d'une équation différentielle définie sur un intervalle minoré (resp. majoré) est de limite infinie à la borne inférieure (resp. supérieure) dudit intervalle.
Pour l'équation proposée, qui satisfait aux hypothèses du théorème de Cauchy-Lipschitz, si une solution est de limite infinie à distance finie, la dérivée est alors de limite nulle, ce qui gêne.
J'en déduis que, pour le cas qui nous occupe, les solutions maximales sont définies sur \(\R\). -
gb donne la réponse, et de façon efficace (on utilise le théorème de sortie de tout compact, ou une version plus faible, pour montrer que les solutions maximales sont bornées et on conclut qu'elles sont globales).
Je veux juste proposer une réponse alternative avec Cauchy-Lipschitz global.
La fonction second membre $f:t,y \mapsto t \frac{y}{1+y^{2}} $ est $C^{1}(\mathbb{R}^{2})$, et s'écrit comme le produit d'une fonction en temps (linéaire) et d'une fonction en espace qui est de dérivée bornée (disons par la constante $k$) en valeur absolue, ce qui assure que sur tout compact en temps la fonction second membre est globalement lipschitzienne en sa seconde variable (la constante ne dépend pas du temps): $\forall t, y_{1}, y_{2} \in \mathbb{R}, \, \, \left \| f(t,y_{1})-f(t,y_{2}) \right \|\leq k |t| \left \| y_{1}-y_{2} \right \|$, soit $\forall t \in [-T, T], \forall y_{1}, y_{2} \in \mathbb{R}, \, \, \left \| f(t,y_{1})-f(t,y_{2}) \right \|\leq kT \left \| y_{1}-y_{2} \right \|$.
Par Cauchy-Lipschitz global, on peut en déduire qu'il existe une unique solution maximale, qui est globale, sur tout intervalle $]-T, T[$. Ce raisonnement permet d'étendre naturellement l'unicité de la solution maximale à $\mathbb{R}$ tout entier.
On retrouve donc qu'il existe une unique solution maximale, et qu'elle est globale.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres