Problème de Cauchy
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
marawita1
- Membre Relatif
- Messages: 185
- Enregistré le: 16 Fév 2015, 19:12
-
par marawita1 » 31 Mar 2015, 12:39
Bonjour,
On considère le problème de Cauchy:
1)Vérifier que

et

définies par
=0)
pour tout t et
= t^2,\;\; \text{si}\;\; t\geq 0)
et égale 0 si non, sont bien solutions du problème de Cauchy.
2) Ce problème admet-t-il une solution maximale?
-
mathelot
par mathelot » 31 Mar 2015, 16:15
bjr,
l'énoncé ne pose aucune difficulté. C'est un (contre-)exemple où l'on a
deux solutions maximales, définies sur R tout entier.
F(y',y) n'est pas localement lipschitzienne au voisinage de 0.
-
marawita1
- Membre Relatif
- Messages: 185
- Enregistré le: 16 Fév 2015, 19:12
-
par marawita1 » 31 Mar 2015, 16:30
Concernant la deuxième question, j'ai trouvé par hasard la correction suivante:Supposons que le problème admet une solution maximale phi: ]a, b[--->R.Puisque y_0 est solution alors y_0 est restriction de phi càd ]a, b[= R et phi(t)=0 pour tout t dans R. De même phi(t)=y_1(t) pour tout t dans R. Contradiction.
C'est ça que m'étonne.
Moi aussi j'ai dit le problème admet des solutions maximales, en effet y_0 et y_1 sont des solutions globales et par suites elles sont maximales. C'est bien ça?
Merci bien.
-
mathelot
par mathelot » 31 Mar 2015, 18:34
marawita1 a écrit: le problème admet des solutions maximales, en effet y_0 et y_1 sont des solutions sont maximales. C'est bien ça?
Merci bien.
oui, c'est cela. L'exercice n'a aucun intérêt calculatoire mais constitue
un contre-exemple intéressant.
-
paquito
- Membre Complexe
- Messages: 2168
- Enregistré le: 26 Fév 2014, 12:55
-
par paquito » 31 Mar 2015, 21:17
Non,

est une solution maximale, mais

ne l'est pas car non dérivable en 0.
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 31 Mar 2015, 23:43
paquito a écrit:... mais

ne l'est pas car non dérivable en 0.
??? Ah bon ???
(vérifie...)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
mathelot
par mathelot » 01 Avr 2015, 06:34

est même de classe C1 (continuement dérivable) :doh:
-
paquito
- Membre Complexe
- Messages: 2168
- Enregistré le: 26 Fév 2014, 12:55
-
par paquito » 01 Avr 2015, 08:25
mathelot a écrit:
est même de classe C1 (continuement dérivable) :doh:
:marteau: effectivement, j'ai lu trop vite et je n'ai vu que

!
-
marawita1
- Membre Relatif
- Messages: 185
- Enregistré le: 16 Fév 2015, 19:12
-
par marawita1 » 02 Avr 2015, 19:20
Bonsoir,
On considère le probleme de Cauchy suivant
= | y(t) - t|,\;\; y(t_0)= y_0)
.
Montrer que pour tout
\in\mathbb{R}x \mathbb{R})
, ce problème admet une unique solution maximale.
Réponse:
= | y(t) - t|= f(t, y(t)))
avec

définie par
C'est clair que f est continue sur

, de plus pour tout
, (t, y_2)\in\mathbb{R}^2)
on a
(d'après l'inégalité triangulaire inverse

pour tout réels a et b)
Par suite f est localement lipschitzienne par rapport à la deuxième variable (même globalement lipschitzienne).
D'après le théorème de Cauchy Lipschitz, ce probleme admet une unique solution maximale.
C'est vrai?
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 135 invités