Ero sivun ”Wronskin determinantti” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ak: Uudelleenohjaus sivulle Lineaarinen riippumattomuus |
Ei muokkausyhteenvetoa |
||
Rivi 1:
[[matematiikka|Matematiikassa]] '''Wronskin determinantilla''' tarkoitetaan determinanttia, jonka kehitti {{harvs|txt|authorlink=Józef Maria Hoene-Wroński|first=Józef|last=Hoene-Wronski|year=1812}} nimesi {{harvs|txt|authorlink=Thomas Muir (mathematician)|first=Thomas|last=Muir|year=1882|loc=Chapter XVIII}}. Sitä käytetään esimerkiksi [[differentiaaliyhtälö]]laskennassa, jossa sen avulla voidaan tarkastella yhtälön ratkaisujen [[lineaarinen riippumattomuus|lineaarista riippumattomuutta]].
==Määritelmä==
Kahden funktion ''f'' and ''g'' Wronskin determinantti on ''W''(''f'',''g'') = ''fg''′–''gf'' ′.
More generally, for ''n'' [[real number|real]]- or [[complex number|complex]]-valued functions ''f<sub>1</sub>'', ..., ''f<sub>n</sub>'', which are ''n'' − 1 times [[differentiable]] on an [[interval (mathematics)|interval]] ''I'', the Wronskian ''W''(''f''<sub>1</sub>, ..., ''f<sub>n</sub>'') as a function on ''I'' is defined by
:<math>
W(f_1, \ldots, f_n) (x)=
\begin{vmatrix}
f_1(x) & f_2(x) & \cdots & f_n(x) \\
f_1'(x) & f_2'(x) & \cdots & f_n' (x)\\
\vdots & \vdots & \ddots & \vdots \\
f_1^{(n-1)}(x)& f_2^{(n-1)}(x) & \cdots & f_n^{(n-1)}(x)
\end{vmatrix},\qquad x\in I.
</math>
That is, it is the [[determinant]] of the [[matrix (math)|matrix]] constructed by placing the functions in the first row, the first derivative of each function in the second row, and so on through the (''n'' - 1)st derivative, thus forming a [[square matrix]] sometimes called a '''fundamental matrix'''.
When the functions ''f''<sub>''i''</sub> are solutions of a [[linear differential equation]], the Wronskian can be found explicitly using [[Abel's identity]], even if the functions ''f''<sub>''i''</sub> are not known explicitly.
==The Wronskian and linear independence==
If the functions ''f''<sub>''i''</sub> are linearly dependent, then so are the columns of the Wronskian as differentiation is a linear operation, so the Wronskian vanishes. So the Wronskian can be used to show that a set of differentiable functions is [[linear independence|linearly independent]] on an interval by showing that it does not vanish identically.
A common misconception is that ''W'' = 0 everywhere implies linear dependence, but {{harvtxt|Peano|1889}} pointed out that the functions ''x''<sup>2</sup> and |''x''|''x'' have continuous derivatives and their Wronskian vanishes everywhere, yet they are not linearly dependent in a neighborhood of 0. There are several extra conditions which ensure that the vanishing of the Wronskian in an interval implies linear dependence.
{{harvtxt|Peano|1889}} observed that if the functions are analytic, then the vanishing of the Wronskian in an interval implies that they are linearly dependent. {{harvtxt|Bochner|1901}} gave several other conditions for the vanishing of the Wronskian to imply linear dependence; for example, if the Wronskian of ''n'' functions is identically zero and the ''n'' Wronskians of ''n''–1 of them do not all vanish at any point then the functions are linearly dependent. {{harvtxt|Wolsson|1989a}} gave a more general condition that together with the vanishing of the Wronskian implies linear dependence.
==Generalized Wronskians==
For ''n'' functions of several variables, a '''generalized Wronskian''' is the determinant of an ''n'' by ''n'' matrix with entries ''D''<sub>''i''</sub>(''f''<sub>''j''</sub>) (with 0≤i<''n''), where each ''D''<sub>''i''</sub> is some constant coefficient linear partial differential operator of order ''i''. If the functions are linearly dependent then all generalized Wronskians vanish. As in the 1 variable case the converse is not true in general: if all generalized Wronskians vanish this does not imply that the functions are linearly dependent. However the converse is true in many special cases. For example, if the functions are polynomials and all generalized Wronskians vanish, then the functions are linearly dependent. Roth used this result about generalized Wronskians in his proof of [[Thue–Siegel–Roth theorem|Roth's theorem]]. For more general conditions under which the converse is valid see {{harvtxt|Wolsson|1989b}}.
==See also==
*[[Moore matrix]], analogous to the Wronskian with differentiation replaced by the [[Frobenius endomorphism]] over a finite field.
==References==
*{{Citation | last1=Bocher | first1=Maxime | title=Certain Cases in Which the Vanishing of the Wronskian is a Sufficient Condition for Linear Dependence | jstor=1986214 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | year=1901 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=2 | issue=2 | pages=139–149}}
*{{Citation | last1=Hartman | first1=Philip | title=Ordinary differential equations | url=http://books.google.com/books?id=CENAPMUEpfoC | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-89871-510-1 | mr=0171038 | year=1964}}
*{{citation|first=J. |last=Hoene-Wronski|title=Réfutation de la théorie des fonctions analytiques de Lagrange|place= Paris |year=1812}}
*{{Citation | last1=Muir | first1=Thomas | title=A treatise on the theorie of determinants. | url=http://www.archive.org/details/atreatiseontheo00muirgoog | publisher= Macmillan | year=1882}}
*{{Citation | last1=Peano | first1=Giuseppe | author1-link=Giuseppe Peano | title=Sur le déterminant wronskien. | language=French | jfm=21.0153.01 | year=1889 | journal=[[Mathesis]] | volume=IX | pages=75–76, 110–112}}
*{{eom|id=w/w098180|first=N. Kh. |last=Rozov}}
*{{Citation | last1=Wolsson | first1=Kenneth | title=A condition equivalent to linear dependence for functions with vanishing Wronskian | doi=10.1016/0024-3795(89)90393-5 | mr=989712 | year=1989a | journal=Linear Algebra and its Applications | issn=0024-3795 | volume=116 | pages=1–8}}
*{{Citation | last1=Wolsson | first1=Kenneth | title=Linear dependence of a function set of m variables with vanishing generalized Wronskians | doi=10.1016/0024-3795(89)90548-X | mr=993032 | year=1989b | journal=Linear Algebra and its Applications | issn=0024-3795 | volume=117 | pages=73–80}}
[[Category:Ordinary differential equations]]
[[Category:Determinants]]
[[Category:Science and technology in Poland]]
[[ca:Wronskià]]
[[cs:Wronskián]]
[[de:Wronski-Determinante]]
[[es:Wronskiano]]
[[fa:رونسکین]]
[[fr:Wronskien]]
[[ko:론스키 행렬식]]
[[it:Wronskiano]]
[[he:ורונסקיאן]]
[[nl:Determinant van Wronski]]
[[pl:Wrońskian]]
[[pt:Wronskiano]]
[[ru:Вронскиан]]
[[sk:Wronského determinant]]
[[sv:Wronskian]]
[[uk:Визначник Вронського]]
[[zh:朗斯基行列式]]
| |||