Démonstration équation différentielle
dans Analyse
Bonsoir,
Je n’arrive pas à bien saisir la démonstration.Toutes les équivalences je ne les comprends pas.
Merci de votre aide.
Je n’arrive pas à bien saisir la démonstration.Toutes les équivalences je ne les comprends pas.
Merci de votre aide.
Réponses
-
Prenons-les une par une, dans l'ordre.
Précisons que $y$ et $a$ sont des fonctions définies sur $\mathbb R$ (par exemple, ou $I$ un intervalle).
Et que $y$ est (au moins) $C^1$.
Allez !
Si ça coince, on le verra, et on se méfiera de ce corrigé, mais si ça ne coince pas, et bien on sera content de pouvoir se fier à ce corrigé. -
Je ne vois pas du tout comment on passe la premiere implication.
On a de l’exponentielle qui apparait mais pourquoi?? -
L'exponentielle apparaît parce que ça donne la suite (*), ce qui compte c'est que ce soit bien équivalent à ce qui précède. Tu sais évidemment prouver que c'est équivalent.
Cordialement.
(*) En fait, c'est une présentation rapide d'une chose bien connue de celui qui rédige cette preuve. Qui connaît déjà la solution (comme toujours dans une preuve). -
Important :
Quand on lit une démonstration, la première chose à faire est de voir si la preuve est correcte. Ne jamais commencer par se dire "Comment aurais-je pu penser à ça ?" Car une preuve peut avoir été peu à peu transformée pour que sa justesse soit facile à voir. Seul, on n'aurait pas pensé à ça.
Ensuite, en la relisant, on peut voir d'où ça sort (pas toujours, ce que certains ont mis des années de réflexion à trouver n'a aucune raison d'être facile à imaginer). Ici, par exemple, c'est la solution qui guide le calcul. -
Très bien
-
Une remarque (mais très importante !) : il manque des quantificateurs partout dans cet écrit.
La première équivalence s'écrit plutôt :
Quel que soit le réel $t$, $y'(t) + a(t)y(t)=0$ $\iff$ Quel que soit le réel $t$, $e^{A(t)}(y'(t) + a(t)y(t))=0$
Enfin, on peut aussi écrire cela en omettant la variable $t$ mais ce n'est pas conseillé pour la preuve je trouve :
$$y'+ay=0 \iff e^{A}(y' + ay)=0$$ -
Mouais on peut aussi considérer que $a(t)$ est une écriture un peu abusive(*) pour désigner la fonction $a$.
(*) en France c'est considéré comme un crime capital d'écrire la fonction $f(x)$ parce qu'on confond la fonction $f$ et $f(x)$ qui est la valeur prise par $f$ en $x$ mais bon quand on sait ce qu'on fait ca ne pose pas vraiment de problème, d'ailleurs dans la littérature étrangère notamment anglo-saxonne, il est fréquent de trouver cet abus de notation. -
En effet Héhéhé c'est le mélange des genres (écrire $y$ - sans variable - et écrire $a(t)$) qui m'a étonné (même si j'ai déjà vu cela).
Disons que cela servira à au moins un lecteur qui passera par ici dans la prochaine décennie ;-).
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