1 Résoudre l'équation différentielle :
2 Déterminer la solution \(f\) vérifiant :
Rappel du théorème 11.3.1 : Pour \((E): y'' + ay' + by = 0\), on forme l'équation caractéristique \(r^2 + ar + b = 0\). La solution générale dépend du discriminant \(\Delta = a^2 - 4b\).
1 Résolution de \((E_1): y'' - 4y' + 4 = 0\)
L'équation caractéristique associée est :
Calcul du discriminant :
\(\Delta = 0\) : une racine réelle double.
D'après le théorème 11.3.1 (cas \(\Delta = 0\)), la solution générale est :
2 Détermination de la solution \(f\) vérifiant \(f(0) = 1\) et \(f'(0) = 1\)
On a \(f(x) = (\alpha x + \beta)e^{2x}\).
Calculons d'abord \(f'(x)\) en utilisant la formule de dérivée d'un produit :
Appliquons les conditions initiales :
Condition \(f(0) = 1\) :
Donc \(\beta = 1\).
Condition \(f'(0) = 1\) :
Remplaçons \(\beta = 1\) :
Ainsi, \(\alpha = -1\) et \(\beta = 1\).
La solution particulière est donc :
Vérification :
\(f(0) = (-0 + 1)e^{0} = 1 \times 1 = 1\) ✓
\(f'(x) = e^{2x}(-1 + 2(-x+1)) = e^{2x}(-1 -2x + 2) = e^{2x}(1 - 2x)\)
\(f'(0) = e^{0}(1 - 0) = 1\) ✓
3 Récapitulatif :
| Équation | Solution générale | Conditions initiales | Solution particulière \(f(x)\) |
|---|---|---|---|
| \(y'' - 4y' + 4y = 0\) | \((\alpha x + \beta)e^{2x}\) | \(f(0) = 1,\; f'(0) = 1\) | \((-x + 1)e^{2x}\) |
📌 Remarque : Les conditions initiales déterminent de façon unique les constantes \(\alpha\) et \(\beta\) (théorème d'existence et d'unicité pour les équations du second ordre).
⚠️ Note importante : L'équation donnée est \(y'' - 4y' + 4 = 0\). Il manque le terme \(y\) dans l'expression. J'ai interprété comme \(y'' - 4y' + 4y = 0\) car c'est la forme standard d'une équation différentielle linéaire d'ordre 2 à coefficients constants. Si l'équation était réellement \(y'' - 4y' + 4 = 0\) (sans \(y\)), il s'agirait d'une équation du second ordre avec second membre constant, ce qui nécessiterait une méthode différente (solution particulière + solution générale de l'équation homogène associée).
💡 Forme simplifiée : On peut aussi écrire \(f(x) = (1 - x)e^{2x}\).