You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
138 <strong>Elemente</strong> <strong>de</strong> algebră liniară<br />
Propozit¸ia 7.13 Funct¸iile<br />
y1, y2, ... , yn : I −→ R<br />
din V sunt liniar in<strong>de</strong>pen<strong>de</strong>nte dacă ¸si numai dacă într-un punct fixat x0 ∈ I avem<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Demonstrat¸ie. Deoarece<br />
y1(x0)<br />
y<br />
y2(x0) · · · yn(x0)<br />
′ 1 (x0) y ′ 2 (x0) · · · y ′ · · · · · · · · ·<br />
n(x0)<br />
· · ·<br />
y (n−1)<br />
1 (x0) y (n−1)<br />
2 (x0) · · · y (n−1)<br />
n<br />
(x0)<br />
A : V −→ R n , Aϕ = (ϕ(x0), ϕ ′ (x0), ..., ϕ (n−1) (x0))<br />
<br />
<br />
<br />
<br />
<br />
= 0. (7.12)<br />
<br />
<br />
<br />
este un izomorfism liniar funct¸iile y1, y2, ... , yn : I −→ R sunt liniar in<strong>de</strong>pen<strong>de</strong>nte<br />
dacă ¸si numai dacă vectorii corespunzători<br />
Ay1 = ( y1(x0), y ′ 1 (x0), ... , y (n−1)<br />
1 (x0) )<br />
Ay2 = ( y2(x0), y ′ 2 (x0), ... , y (n−1)<br />
2 (x0) )<br />
.......................................................<br />
Ayn = ( yn(x0), y ′ n(x0), ... , y (n−1)<br />
n (x0) )<br />
sunt liniar in<strong>de</strong>pen<strong>de</strong>nt¸i, ceea ce este echivalent cu (7.12).<br />
Teorema 7.14 (Abel-Liouville) Dacă<br />
sunt n solut¸ii ale ecuat¸iei<br />
atunci funct¸ia (numită wronskian)<br />
<br />
<br />
<br />
<br />
<br />
W : I −→ R W (x) = <br />
<br />
<br />
<br />
y1, y2, ... , yn : I −→ R<br />
Ly = 0<br />
y1(x)<br />
y<br />
y2(x) · · · yn(x)<br />
′ 1 (x) y′ 2 (x) · · · y′ · · · · · · · · ·<br />
n(x)<br />
· · ·<br />
y (n−1)<br />
1 (x) y (n−1)<br />
2 (x) · · · y (n−1)<br />
n<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
(x)