Equaz. diff. lineari di Eulero
Siano a1,..., an ∈ ℝ e b(x):(a,b) → ℝ continua in (a,b),
chiamiamo equ. diff. lineare di Eulero l'equaz.
(27) y(n) + a1/x y(n-1) + a2/x2 y(n-2) + ... + an/xn y = b(x)
o equivalentemente (moltiplic. per xn)
(27') xn y(n) + a1 xn-1 y(n-1) + ... + an y = xn b(x)
Relativamente all'equaz. di Eulero cercheremo soluzioni definite in (a,b) con(i, β) ⊂ (a,b) ∩ ]0, +∞ [ oppure (i, β) ⊂ (a, b) ∩ ]-∞,0[.
Sia y(x) nuov. soluz. della (27) (o della (27')) be supp. che (i,β) ⊂ (a,b) ∩ ]0, +∞ [.
Riesamino considerando la funz. F(t) = y(et): (log α, log β) → ℝ;
Quindi si verifica che F(t) è soluzione di un'equaz. diff. lineare
di ordine n a coeff. costanti e viceversa.
Verifichiamo per non n=2.
SiaF'(t) = y'(et) et
F''(t) = y''(et) et + y'(et) et = y''(et) e e2t = y''(et) (et)2 + F'(t)
→ y''(et) (et)2 = F''(t) - F'(t);
Per Hp y(n)(x) ≡ soluz. della (27'), quind.
x2 y''(x) + a1 x y'(x) + a2 y(x) = x2 b(x) ∀ x ∈ (i, β)
Se t ∈ (log α, log β) → et ∈ (i, β) → (et)2 y''(et) + a1 et y'(et) + a2y(et) = (et)2 b(et) (28)
Equaz. Diff. Lineari di Eulero
Siano \( a_1, \ldots , a_n \in \mathbb{R} \) e \( b(x) : (a,b) \rightarrow \mathbb{R} \) continua in \((a,b)\),
dicesasi equ. diff. lineare di Eulero l'equaz.
(27) \( y^{(n)} + \frac{a_1}{x} y^{(n-1)} + \frac{a_2}{x^2} y^{(n-2)} + \ldots + \frac{a_n}{x^n} y = b(x) \)
o equivalentemente (moltiplic. per \( x^n \))
(27’) \( x^n y^{(n)} + a_1 x^{n-1} y^{(n-1)} + \ldots + a_n y = x^n b(x) \)
Relativamente all'equaz. di Eulero cercheremo soluzioni definite in \((\alpha, \beta)\) con
\((\chi , \beta) \subseteq (a,b) \cap ] 0, + \infty [ \) oppure \((\alpha, \beta) \subseteq (a,b) \cap ] - \infty , 0 [ \).
Sia \( y(x) \) un soluz. della (27) (o) della (27’) Io supp. che \((\alpha , \beta) \subseteq (a,b) \cap ] 0, + \infty [\).
Rivisca consideriamo la funz. \( F(t) = y(x^t) : (\log \alpha , \log \beta) \rightarrow \mathbb{R} \) ;
Allora si verifica che \( F(t) \) è Eulero. di un'equaz. diff. lineare
di ordine \( n \) a coeff. costanti e viceversa.
Verifichiamo per non n = 2.
Sia
\( F'(t) = y'(x^t) \cdot x^t \cdot \ln x \)
\( F''(t) = y''(x^t) \cdot x^t \cdot (\ln x)^2 + y'(x^t) \cdot x^t \cdot \ln x = y''(x^t) (x^t)^2 + y'(x^t) \cdot x^t = y''(x^t)(x^t)^2 + F'(t) \ln x \)
\(\Rightarrow y''(x^t) (x^t)^2 = F''(t) - F'(t) ; \)
Per Hp y(x) = soluz. della (27’), quindi
\( x^2 y''(x) + a_1 x y'(x) + a_2 y(x) = x^2 b(x) \quad \forall x \in (\alpha , \beta) \)
Se t ∈ (\(\log \alpha , \log \beta\)) \(\Rightarrow e^t \in (\alpha , \beta) \Rightarrow (e^t)^2 y''(e^t) + a_1 \cdot e^t \cdot y'(e^t) + a_2 y(e^t) = (e^t)^2 b(e^t)\) (28)
- 201 -
Dalle (28), astraendo (1) e (2) si ricava (8') F''(t) - F'(t) + \alpha_1 F'(t) + \alpha_2 F(t) = e^{2t} b(\mathrel{e}^t) ossia F(t) è soluz. dell'equaz. (28') che è = li-ovre e coeff. statici; Viceversa se F(t) è soluz. della (28') in (\alphaa \beta) allora F(\log x):(\alphaa^2 \beta^3) \rightarrow \mathbb{R} è soluz. della (28).
Nella pratica si pone opure la sottituzione x = e^t e si risovra l'equazione lioveare associata, iova molte tacolate le soluzioni si sostituisce t = \log x (ricoveto de x = e^t).
Iccoì si cercoreano le soluzioni y(x) = (\alphaa \beta) \rightarrow \mathbb{R} con (\alphaa \beta) \subset \Rightarrow ,0[ allora si pone x = e^{-t} (da qui si risolve poi t = \log -x).
esempio:{ x^2 y'' + 4 x y' + 3y \ge 0 y(1) = 2 y'(1)=1 }Poiche il problema di Cauchy è relativo al punto (1^+,2,1) (quindi x_0 = 1 \in ]0,+\infty[) cerchiamo soluz. definto in ]0,+\infty[ (se il poro stato forse, ad esempio, (-1,2,1) allora avereamo cercato solun. definte in ]- \infty,0[).
poniamo x = e^t e sia z(t) = y(e^t) allora z'(t) = y'(e^t) e^t = y'(n) x \Rightarrow x y'(x) = z'(t)
z''(t) = y''(e^t) e^t e^t + y'(e^t) e^t = y''(n) x^2 + y'(n) x = y''(n) x^2 + z'(t) e^t \Rightarrow y''(x) x = z'(t);\end{equation}quindi l'equaz. associata sarà
-
Analisi matematica 2 - le equazioni differenziali
-
Analisi matematica 2 - Esercizi equazioni differenziali
-
Analisi matematica 2 - esercizi equazioni differenziali
-
Analisi matematica 2 - esercizi equazioni differenziali (terza parte)