Return to computing page for the first course APMA0330
Return to computing page for the second course APMA0340
Return to Mathematica tutorial for the first course APMA0330
Return to Mathematica tutorial for the second course APMA0340
Return to the main page for the course APMA0330
Return to the main page for the course APMA0340
Return to Part IV of the course APMA0330
A set of m functions \( \left\{ f_1 (x), \ f_2 (x), \ \ldots , \ f_m (x) \right\} , \)
each defined and continuous on some interval \( |a, b| , \quad a < b, \) is said to be
linearly dependent on this interval if there exist constants
\( k_1 , k_2 , \ldots , k_m \) not all of them zero, such that
for every x in the interval |𝑎,b|. Otherwise, the functions \( \left\{ f_1 (x), \ f_2 (x), \ \ldots , \ f_m (x) \right\} , \)
are said to be linearly independent.
Two functions f and g are linearly dependent if
and only if one of them is a constant multiple of another.
A set of functions \( \left\{ f_1 , \ f_2 , \ \ldots , \ f_m \right\} \) is
linearly dependent on an interval if and only if at least one of these functions can be expressed as a linear combination of the
remaining functions (with at least one nonzero coefficient). The interval on which functions are defined plays a
crucial role in this definition: the set of functions can be linearly independent on some interval, but can
become dependent on another one (see the following example).
Example: This seems to have been pointed out for the first time by G. Peano, who considered two functions \( f(x) =x^2
\quad \mbox{and} \quad g(x) = x|x| . \) These two functions are linearly dependent on any interval not containing zero,
but they become linearly independent on any interval containing zero.
■
where \( \texttt{D} = {\text d}/{\text d}x \) is the derivative operator and \( \texttt{D}^0 = \texttt{I} \) is the identity operator, be the linear differential operator of order n.
Any set \( \left\{ y_1 (x), \ y_2 (x), \ \ldots , \ y_n (x) \right\} \) of
n linearly independent solutions of the homogeneous linear n-th order differential equation
\( L\left[ x,\texttt{D} \right] y =0 \) on an interval |𝑎,b| is said to be a
fundamental set of solutions on this interval.
Theorem 1:
There exists a fundamental set of solutions for the
homogeneous linear n-th order differential equation
\( L\left[ x,\texttt{D} \right] y =0 \) with continuous coefficients on an interval |𝑎,b|.
History of J.Wronski:
Jozéf Maria Hoëné Wronski was named Josef Hoëné after his birth in the town of Wolsztyn about 60 km south west of Poznań.
His parents, from Czech families that had settled in western Poland, were Elzbieta Pernicka and Antoni Hoehne who was
the municipal architect of Poznań. Josef Hoëné was educated in Poznań and Warsaw, but in 1794 he became involved in
the Kosciuszko Uprising.
Despite battles for independence, Russia and Prussia partitioned Poland in 1793. General Tadeusz Kosciuszko, a hero
of the American War of Independence, returned to Poland in 1794 and gathered an army of Poles to again fight for
independence. Hoëné joined Kosciuszko as second lieutenant in the artillery. After winning the battle of Raclawice
and capturing Warsaw and Wilno, Kosciuszko's army was defeated by Russian and Prussian forces after a siege of Warsaw.
Kosciuszko was wounded and taken prisoner by the Russian army. Hoëné Wronski was also taken prisoner, and made to
serve in the Russian army which he did until 1797 when he was released having reached the rank of lieutenant colonel.
He spent the next years in Germany studying philosophy at a number of different universities. He enlisted in the
Polish Legion at Marseilles, in France, and become a French citizen in 1800. Then in 1810 he moved to Paris and,
in the same year, he married Victoire Henriette Sarrazin de Mountferrier, whose brother was the mathematician
Alexandre Mountferrier. It was at this time that he adopted the surname Wronski but he did not use it consistently,
rather alternately used Wronski and Hoehne.
His main work involved applying philosophy to mathematics, the philosophy taking precedence over rigorous
mathematical proofs. He wrote on the philosophy of mathematics. His book Introduction to a course in mathematics was
published in London in 1821. He criticized Lagrange's use of infinite series and introduced his own ideas for series
expansions of a function. He introduced his Wronski series, whose coefficients are determinants now known as Wronskians.
The term "Wronskian" was coined by the Scottish mathematician Thomas Muir (1844--1934) in 1882. However, Wronskian is
a particular case of more general determinant known as Lagutinski determinant (Mikhail Nikolaevich Lagutinski (1871–1915) was a Russian mathematician).
★
Let \( \left\{ f_1 , \ f_2 , \ \ldots , \ f_m \right\} \) be m functions that together
with their first m-1 derivatives are continuous on an interval |a,b|. The Wronskian or the Wronskian determinant
of \( \left\{ f_1 , \ f_2 , \ \ldots , \ f_m \right\} \) evaluated at
\( x \in |a, b| \) is denoted by \( W[f_1, f_2 , \ldots , f_m ](x) \)
or \( W(f_1, f_2 , \ldots , f_m ; x ) \) or simply
\( W(x) \) and is defined to be the determinant
Theorem 2:
Let
\( \left\{ f_1 , \ f_2 , \ \ldots , \ f_{m} \right\} \) be m functions that
together with their first m-1 derivatives are continuous on an open interval (𝑎,b). If their Wronskian
\( W \left[ f_1 , f_2 , \ldots , f_{m} \right] (x_0 ) \) is not equal to zero at some
point \( x_0 \in (a,b) , \) then these functions \( f_1 , \ f_2 , \ \ldots , \ f_{m} \)
are linearly independent on (a,b). Alternatively, if \( \left\{ f_1 , \ f_2 , \ \ldots , \ f_{m} \right\} \)
are linearly dependent and they have m-1 first derivatives on the open interval (𝑎,b), then their Wronskian
\( W \left[ f_1 , f_2 , \ldots , f_{m} \right] (x ) \equiv 0\) for every x in (𝑎,b).
Theorem 3:
A finite set of linearly independent holomorphic
(represented by convergent power series) functions has a nonzero Wronskian.
Theorem 4:
Let \( \left\{ y_1 , \ y_2 , \ \ldots , \ y_{n} \right\} \) be
the solutions of the n-th order linear differential equation
with continuous coefficients \( a_0 (x), \ a_1 (x) , \ \ldots , \ a_{n-1} (x) , \)
defined on an open interval (a,b). Then functions \( \left\{ y_1 , \ y_2 , \ \ldots , \ y_{n} \right\} \)
are linearly independent on this interval (𝑎,b) if and only if their Wronskian never vanishes on (𝑎,b). Alternatively,
these functions \( \left\{ y_1 , \ y_2 , \ \ldots , \ y_{n} \right\} \) are linearly dependent on this interval (𝑎,b)
if and only if \( W \left[ y_1 , y_2 , \ldots , y_{n} \right] (x ) \equiv 0\) is zero
for all x ∈ (𝑎,b).
Theorem 5:
If y = ϕ_{1} and y = ϕ_{2} are
solutions of the second order linear differential equation
\begin{equation} \label{EqFund.5}
y'' + p (x)\, y' + q (x)\, y =0,
\end{equation}
where p(x) and q(x) are continuous on an open interval (𝑎,b), then the Wronskian
\( W(x) = W[ \phi_1 , \phi_2 ] (x) \) is given by
The equation for W can be solves immediately since it is both a first order linear homogeneous equation and a separable equation. This complete the proof.
▣
Niels Henrik Abel.
> Joseph Liouville.
> Michel Ostrogradski.
The formula above was derived by the greatest Norwegian mathematician Niels Henrik Abel (1802--1829) in 1827 for second
order differential equation. In general case, namely, for the equation
\( y^{(n)} + a_{n-1} (x)\, y^{(n-1)} + \cdots + a_1 (x)\, y' + a_0 (x)\, y =0 , \) the French mathematician Joseph
Liouville (1809--1882) and the Russian mathematician Michel Ostrogradski (1801--1861) independently proved in 1838 the following theorem.
Theorem Liouville--Ostrogradski:
Assume that ϕ_{1}(x), ϕ_{2}(x), … , ϕ_{n}(x) are n linearly independent solutions of the homogeneous differential equation
\( y^{(n)} + a_{n-1} (x)\, y^{(n-1)} + \cdots + a_1 (x)\, y' + a_0 (x)\, y =0 , \) and let W_{n}(x) be the Wronsian of this functions. Then W_{n}(x) is a solution of the differential equation
A determinant is differentiated by differentiating each term in the i-th row and then summing all the n resulting determinants for i = 1, 2, … , n. By differentiating the i-th row in W_{n} for i ≤ n - 1, we obtain row number (i+1), so the contribution becomes zero for i ≤ n - 1. Hence,
where we just add 𝑎_{n-1} times the i-th row for
i = 1, 2, … , n-1 to the last row and use that
ϕ_{1}(x), ϕ_{2}(x), … , ϕ_{n}(x) are solutions of the homogeneous differential equation.
▣
Remark: Repeating the preceding proof with suitable modifications, we more generally obtain that each Wronskian W_{k} of first k linearly independent solutions of the given linear differential equation of order n satisfies the differential equation
Corollary:
If the Wronskian W(x) of solutions
\( y^{(n)} + a_{n-1} (x)\, y^{(n-1)} + \cdots + a_1 (x)\, y' + a_0 (x)\, y =0 , \)
is zero at one point x_{0} of an interval (𝑎,b) where coefficients are continuous, then W(x)
is 0 for all \( x \in (a,b) . \)
A Wronskian is a constant if and only if the coefficient 𝑎_{n-1} = 0.
Corollary:
If the Wronskian W(x) of solutions
\( y^{(n)} + a_{n-1} (x)\, y^{(n-1)} + \cdots + a_1 (x)\, y' + a_0 (x)\, y =0 , \)
is not zero, then it is not zero at every point of an interval where coefficients are continuous.
Theorem 7:
There exists a fundamental set of solutions for the homogeneous
linear n-th order linear differential equation in an interval where all coefficients are continuous.
where p(x) and q(x) are continuous on an open interval (𝑎,b) that contains the point x_{0}.
Suppose that y_{1} and y_{2} are two linearly independent solutions of the homogeneous equation
\( y'' + p(x)\, y' + q(x)\, y =0 . \) Then it is always possible to choose the constants
C_{1} and C_{2} so that
\[
y = C_1 y_1 (x) + C_2 y_2 (x)
\]
is the unique solution to the given initial value problem.
Theorem:
Consider the linear differential equation
\[
y'' + p(x)\, y' + q(x)\, y =0 ,
\]
whose coefficients p and q are continuous on some open interval (𝑎,b). Choose some point x_{0}
in it. Let y_{1} be the solution of the above homogeneous linear equation that also satisfies the initial conditions
\[
y(x_0 ) =1, \qquad y' (x_0 ) =0,
\]
and let y_{2} be the solution of the above homogeneous linear equation that also satisfies the initial conditions
\[
y(x_0 ) = 0, \qquad y' (x_0 ) =1.
\]
Then y_{1} and y_{2} form a fundamental set of solutions to the equation
\( y'' + p(x)\, y' + q(x)\, y =0 . \) ■
To check linearly independence of two functions, we have two options. First, two functions are linearly independent if and only if one of them is a constant multiple of another. Another option is to calculate the Wronskian if you know that these two functions are solutions of the same differential equation.
Example:
Given two functions \( \{ x , 3x \} ,\) determine whether they are linearly dependent.
The Mathematica command Wronskian[{y1 ,y2, ...},x] gives the Wronskian determinant for the functions
\( y1 (x), y2 (x) , \ldots ,\) depending on x.
y={x,3 x}
w={y,D[y,x]}
Det[w]
Out[15]= 0
Example:
Consider two sets of functions
\[
A = \left\{ \sin x , x\,\sin x , x^2 \sin x \right\} \qquad \mbox{and} \qquad B= \left\{ 1 , \sin x , \sin x \right\} .
\]
Every element in the set A is multiple of elements from B by a single function---sine. So we verify
the formula using Mathematica:
Wronskian[{1, x, x^2}, x]
2
Wronskian[{Sin[x], x*Sin[x], x^2*Sin[x]}, x]
2 Sin[x]^3
Boston, A. and Dumas, F., Wronskians and linear independence, The American Mathematical Monthly, 2010, Vol. 117, No. 8, pp. 722--727.
Return to Mathematica page
Return to the main page (APMA0330)
Return to the Part 1 (Plotting)
Return to the Part 2 (First Order ODEs)
Return to the Part 3 (Numerical Methods)
Return to the Part 4 (Second and Higher Order ODEs)
Return to the Part 5 (Series and Recurrences)
Return to the Part 6 (Laplace Transform) )
Return to the Part 7 (Boundary Value Problems)