Lição 92 — EDOs séparables
dy/dx = g(x)h(y). Séparer les variables et intégrer des deux côtés. Applications: décroissance radioactive, refroidissement de Newton, croissance logistique.
Used in: Spécialité Maths française (Terminale) · Math III japonais avancé · Leistungskurs Mathematik 12 allemand · H2 Mathematics singapourienne
Rigorous notation, full derivation, hypotheses
Définition rigoureuse et méthode
Forme canonique et séparabilité
"A separable equation is actually the first kind of differential equation that can be solved explicitly." — Lebl, Notes on Diffy Qs, §1.3
Solutions singulières (équilibres)
Théorème d'existence et unicité (Picard-Lindelöf)
Soit avec condition initiale . Si est continue sur et est Lipschitz continue en dans un voisinage de — c'est-à-dire qu'il existe tel que —, alors il existe et une unique solution satisfaisant le problème à valeur initiale.
"Theorem 1.2.1. If is continuous and is continuous near some , then a solution exists for near , and is unique." — Lebl, Notes on Diffy Qs, §1.2
Champ de directions et analyse qualitative
Pour , le champ de directions associe à chaque point le vecteur , indiquant la pente de la solution en ce point. Les isoclines sont les courbes (pente constante). Les isoclines horizontales satisfont — ce sont les équilibres.
Champ de directions de dy/dx = y. L'isocline horizontale dorée est l'équilibre y* = 0. Pour y > 0, les solutions croissent ; pour y < 0, elles décroissent — équilibre instable.
Critère d'Osgood (existence globale)
Pour l'EDO autonome , la solution avec existe pour tout si et seulement si
Si l'intégrale converge, il y a blow-up en temps fini — la solution s'échappe vers en un instant donné par .
Exemple : , . — blow-up en .
Exemples résolus
Problème. Résolvez .
Stratégie. L'EDO est séparable avec et . Séparez, intégrez, exponentiez.
Résolution.
En posant (constante arbitraire réelle non-nulle) :
Vérifier : résout aussi (solution constante, car ). On inclut .
Vérification. — correct.
Source. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.1 — CC-BY-SA.
Problème. Résolvez le PVI , .
Stratégie. Séparez les variables, intégrez, appliquez la condition initiale pour fixer .
Résolution.
Condition initiale : , donc .
Vérification. et — correct.
Source. OpenStax Calculus Vol. 2, §4.3, Example 4.15 — CC-BY-NC-SA.
Problème. Résolvez , .
Stratégie. Séparez et intégrez en utilisant les fractions partielles sur .
Résolution.
Fractions partielles : .
En exponentiez : .
En résolvez : .
Condition initiale : .
Vérification. et quand — comportement logistique correct.
Source. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.4 — CC-BY-SA.
Problème. Un objet à 90°C est placé dans une salle à 20°C. Après 5 min il est à 70°C. Modélisez et déterminez quand il atteint 30°C.
Stratégie. Loi de Newton du refroidissement : . Séparez et intégrez en termes de .
Résolution.
Soit . Alors , donc .
Avec : .
Condition : :
Pour :
Vérification. C — confirme.
Source. OpenStax Calculus Vol. 2, §4.3, Example 4.17 — CC-BY-NC-SA.
Problème. Résolvez , . Montrez que la solution explose en temps fini et déterminez l'instant de blow-up.
Stratégie. Séparez, intégrez (puissance ), isolez , identifiez la singularité.
Résolution.
Donc .
Condition initiale : .
La solution est définie sur et satisfait quand : blow-up en .
Vérification. et — correct. Le critère d'Osgood confirme : .
Source. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.6 — CC-BY-SA.
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 92.1Application
Résolvez .
- Ex. 92.2Application
Résolvez le PVI , .
- Ex. 92.3Application
Résolvez .
- Ex. 92.4Application
Résolvez , .
- Ex. 92.5Application
Résolvez .
- Ex. 92.6Application
Résolvez .
- Ex. 92.7Application
Résolvez , .
- Ex. 92.8ApplicationAnswer key
Résolvez .
- Ex. 92.9Application
Résolvez .
- Ex. 92.10ApplicationAnswer key
Résolvez .
- Ex. 92.11ApplicationAnswer key
Résolvez .
- Ex. 92.12Application
Résolvez via fractions partielles.
- Ex. 92.13Application
Résolvez , .
- Ex. 92.14Application
Vérifiez que résout .
- Ex. 92.15ApplicationAnswer key
Résolvez .
- Ex. 92.16Application
Résolvez .
- Ex. 92.17Application
Résolvez , .
- Ex. 92.18Application
Résolvez .
- Ex. 92.19Application
Résolvez , .
- Ex. 92.20Application
Résolvez . Discutez du domaine et des solutions singulières.
- Ex. 92.21ModelingAnswer key
Décroissance radioactive : le C a une demi-vie de 5730 ans. Quel pourcentage reste-t-il après 10 000 ans ?
- Ex. 92.22ModelingAnswer key
Condensateur RC en décharge : V, , . Trouvez .
- Ex. 92.23Modeling
Réservoir de 100 L avec de l'eau pure reçoit 5 L/min de saumure à 10 g/L et s'écoule 5 L/min. Quelle est la concentration après 30 min ?
- Ex. 92.24Modeling
Colonie de bactéries double tous les 3 h. Combien de temps pour croître 100 fois ?
- Ex. 92.25Modeling
Refroidissement de Newton : café à 90°C dans une salle à 20°C atteint 70°C en 5 min. Quand atteint-il 30°C ?
- Ex. 92.26Modeling
Chute avec résistance linéaire : , . Résolvez et déterminez la vitesse terminale .
- Ex. 92.27ModelingAnswer key
Concentration de médicament : , . En combien de temps tombe-t-elle à 50% de la dose initiale ?
- Ex. 92.28Modeling
Investissement avec intérêts continus à 5% par an : . En combien de temps le capital double-t-il ?
- Ex. 92.29UnderstandingAnswer key
Montrez que est solution de . Appartient-elle à la famille générale ? Justifiez.
- Ex. 92.30Understanding
Pour , , montrez qu'il existe infinites solutions. Pourquoi l'unicité de Picard échoue-t-elle ?
- Ex. 92.31UnderstandingAnswer key
Pourquoi utilise-t-il la valeur absolue ?
- Ex. 92.32Understanding
Pour , identifiez les équilibres et classez-les comme stables ou instables.
- Ex. 92.33Understanding
Laquelle des formes suivantes pour correspond à une EDO séparable ?
- Ex. 92.34Challenge
Résolvez via substitution .
- Ex. 92.35Challenge
Montrez que , explose en temps fini . Confirmez avec le critère d'Osgood.
- Ex. 92.36Challenge
Équation de Bernoulli . Montrez que la substitution la transforme en une EDO linéaire.
- Ex. 92.37Proof
Esquissez la preuve du théorème de Picard-Lindelöf pour , , avec continue et Lipschitz en , via itération de Picard.
- Ex. 92.38ProofAnswer key
Pour avec pour tout , montrez que la solution est globale si et seulement si (critère d'Osgood).
- Ex. 92.39Application
Résolvez .
- Ex. 92.40Application
Résolvez via fractions partielles. Identifiez les solutions singulières.
- Ex. 92.41Application
Résolvez .
- Ex. 92.42Application
Résolvez .
- Ex. 92.43Modeling
Croissance logistique : , . Quand la population atteint-elle la moitié de la capacité de charge ?
- Ex. 92.44UnderstandingAnswer key
Analysez qualitativement sans résoudre explicitement : identifiez les équilibres, la stabilité et le comportement des solutions pour différentes conditions initiales.
- Ex. 92.45Challenge
Pour avec , déterminez pour quelles valeurs de le blow-up en temps fini se produit. Calculez dans ce cas.
Sources
- Lebl, Notes on Diffy Qs — Jiří Lebl · v6.6 · CC-BY-SA. §1.3 Separable equations; §1.2 Picard-Lindelöf. Source primaire de cette leçon.
- OpenStax Calculus Volume 2 — OpenStax · CC-BY-NC-SA. §4.3 Separable Equations. Exemples de modélisation : Newton, mélange, bactéries, pharmacocinétique.
- APEX Calculus — Hartman et al. · CC-BY-NC. §8.1 Graphical and Numerical Solutions, §8.1 Separable Differential Equations. Analyse qualitative, champ de directions, Bernoulli.