1.12 Continued Fractions1.14 Integral Transforms

§1.13 Differential Equations

Contents

§1.13(i) Existence of Solutions

A domain in the complex plane is simply-connected if it has no “holes”; more precisely, if its complement in the extended plane \Complex\cup\{\infty\} is connected.

The equation

1.13.1 \frac{{d}^{2}w}{{dz}^{2}}+f(z)\frac{dw}{dz}+g(z)w=0,

where z\in D, a simply-connected domain, and f(z), g(z) are analytic in D, has an infinite number of analytic solutions in D. A solution becomes unique, for example, when w and \ifrac{dw}{dz} are prescribed at a point in D.

Fundamental Pair

Two solutions w_{1}(z) and w_{2}(z) are called a fundamental pair if any other solution w(z) is expressible as

1.13.2 w(z)=Aw_{1}(z)+Bw_{2}(z),

where A and B are constants. A fundamental pair can be obtained, for example, by taking any z_{0}\in D and requiring that

1.13.3
w_{1}(z_{0})=1,
w_{1}^{{\prime}}(z_{0})=0,
w_{2}(z_{0})=0,
w_{2}^{{\prime}}(z_{0})=1.

Wronskian

The Wronskian of w_{1}(z) and w_{2}(z) is defined by

1.13.4 \mathop{\mathscr{W}\/}\nolimits\left\{ w_{1}(z),w_{2}(z)\right\}=w_{1}(z)w_{2}^{{\prime}}(z)-w_{2}(z)w_{1}^{{\prime}}(z).

Then

1.13.5 \mathop{\mathscr{W}\/}\nolimits\left\{ w_{1}(z),w_{2}(z)\right\}=ce^{{-\int f(z)dz}},

where c is independent of z. If f(z)=0, then the Wronskian is constant.

The following three statements are equivalent: w_{1}(z) and w_{2}(z) comprise a fundamental pair in D; \mathop{\mathscr{W}\/}\nolimits\left\{ w_{1}(z),w_{2}(z)\right\} does not vanish in D; w_{1}(z) and w_{2}(z) are linearly independent, that is, the only constants A and B such that

1.13.6 Aw_{1}(z)+Bw_{2}(z)=0, \forall z\in D,

are A=B=0.

§1.13(ii) Equations with a Parameter

Assume that in the equation

1.13.7 \frac{{d}^{2}w}{{dz}^{2}}+f(u,z)\frac{dw}{dz}+g(u,z)w=0,

u and z belong to domains U and D respectively, the coefficients f(u,z) and g(u,z) are continuous functions of both variables, and for each fixed u (fixed z) the two functions are analytic in z (in u). Suppose also that at (a fixed) z_{0}\in D, w and \ifrac{\partial w}{\partial z} are analytic functions of u. Then at each z\in D, w, \ifrac{\partial w}{\partial z} and \ifrac{{\partial}^{2}w}{{\partial z}^{2}} are analytic functions of u.

§1.13(iii) Inhomogeneous Equations

The inhomogeneous (or nonhomogeneous) equation

1.13.8 \frac{{d}^{2}w}{{dz}^{2}}+f(z)\frac{dw}{dz}+g(z)w=r(z)

with f(z), g(z), and r(z) analytic in D has infinitely many analytic solutions in D. If w_{0}(z) is any one solution, and w_{1}(z), w_{2}(z) are a fundamental pair of solutions of the corresponding homogeneous equation (1.13.1), then every solution of (1.13.8) can be expressed as

1.13.9 w(z)=w_{0}(z)+Aw_{1}(z)+Bw_{2}(z),

where A and B are constants.

Variation of Parameters

With the notation of (1.13.8) and (1.13.9)

1.13.10 w_{0}(z)=w_{2}(z)\int\frac{w_{1}(z)r(z)}{\mathop{\mathscr{W}\/}\nolimits\left\{ w_{1}(z),w_{2}(z)\right\}}dz-w_{1}(z)\int\frac{w_{2}(z)r(z)}{\mathop{\mathscr{W}\/}\nolimits\left\{ w_{1}(z),w_{2}(z)\right\}}dz.

§1.13(iv) Change of Variables

Transformation of the Point at Infinity

The substitution \xi=1/z in (1.13.1) gives

1.13.11 \frac{{d}^{2}W}{{d\xi}^{2}}+F(\xi)\frac{dW}{d\xi}+G(\xi)W=0,

where

1.13.12
W(\xi)=w\left(\frac{1}{\xi}\right),
F(\xi)=\frac{2}{\xi}-\frac{1}{\xi^{2}}f\left(\frac{1}{\xi}\right),
G(\xi)=\frac{1}{\xi^{4}}g\left(\frac{1}{\xi}\right).

Elimination of First Derivative by Change of Dependent Variable

The substitution

1.13.13 w(z)=W(z)\mathop{\exp\/}\nolimits\!\left(-\tfrac{1}{2}\int f(z)dz\right)

in (1.13.1) gives

1.13.14 \frac{{d}^{2}W}{{dz}^{2}}-H(z)W=0,

where

1.13.15 H(z)=\tfrac{1}{4}f^{2}(z)+\tfrac{1}{2}f^{{\prime}}(z)-g(z).

Elimination of First Derivative by Change of Independent Variable

Liouville Transformation

Let W(z) satisfy (1.13.14), \zeta(z) be any thrice-differentiable function of z, and

1.13.18 U(z)=(\zeta^{{\prime}}(z))^{{1/2}}W(z).

Then

1.13.19 \frac{{d}^{2}U}{{d\zeta}^{2}}=\left(\dot{z}^{2}H(z)-\tfrac{1}{2}\left\{ z,\zeta\right\}\right)U.

Here dots denote differentiations with respect to \zeta, and \left\{ z,\zeta\right\} is the Schwarzian derivative:

1.13.20 \left\{ z,\zeta\right\}=-2\dot{z}^{{\ifrac{1}{2}}}\frac{{d}^{2}}{{d\zeta}^{2}}(\dot{z}^{{-\ifrac{1}{2}}})=\frac{\dddot{z}}{\dot{z}}-\frac{3}{2}\left(\frac{\ddot{z}}{\dot{z}}\right)^{2}.

§1.13(v) Products of Solutions

The product of any two solutions of (1.13.1) satisfies

1.13.23 \frac{{d}^{3}w}{{dz}^{3}}+3f\frac{{d}^{2}w}{{dz}^{2}}+(2f^{2}+f^{{\prime}}+4g)\frac{dw}{dz}+(4fg+2g^{{\prime}})w=0.

If U(z) and V(z) are respectively solutions of

1.13.24
\frac{{d}^{2}U}{{dz}^{2}}+IU=0,
\frac{{d}^{2}V}{{dz}^{2}}+JV=0,

then W=UV is a solution of

1.13.25 \frac{d}{dz}\left(\frac{W^{{\prime\prime\prime}}+2(I+J)W^{{\prime}}+(I^{{\prime}}+J^{{\prime}})W}{I-J}\right)=-(I-J)W.

For extensions of these results to linear homogeneous differential equations of arbitrary order see Spigler (1984).

§1.13(vi) Singularities

For classification of singularities of (1.13.1) and expansions of solutions in the neighborhoods of singularities, see §2.7.

§1.13(vii) Closed-Form Solutions

For an extensive collection of solutions of differential equations of the first, second, and higher orders see Kamke (1977).