1 Algebraic and Analytic Methods Areas 1.12 Continued Fractions 1.14 Integral Transforms

§1.13 Differential Equations

Referenced by:: §3.7(i)
Permalink:: http://dlmf.nist.gov/1.13

§1.13(i) Existence of Solutions
§1.13(ii) Equations with a Parameter
§1.13(iii) Inhomogeneous Equations
§1.13(iv) Change of Variables
§1.13(v) Products of Solutions
§1.13(vi) Singularities
§1.13(vii) Closed-Form Solutions

§1.13(i) Existence of Solutions

Notes:: See Olver (1997b, pp. 141–142, 145–146).
Keywords:: differential equations, domain, simply-connected domain
Referenced by:: §3.3(i), §31.9(i)
Permalink:: http://dlmf.nist.gov/1.13.i

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,$

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : variable and : solution
Referenced by:: ¶ ‣ §1.13(iv), ¶ ‣ §1.13(iv), ¶ ‣ §1.13(iv), §1.13(iii), §1.13(v), §1.13(vi)
Permalink:: http://dlmf.nist.gov/1.13.E1
Encodings:: TeX, pMML, png

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

¶ Fundamental Pair

Keywords:: differential equations

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

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

Symbols:: : variable, : solution, : constant and : constant
Permalink:: http://dlmf.nist.gov/1.13.E2
Encodings:: TeX, pMML, png

where and 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.$

Symbols:: : variable and : solution
Permalink:: http://dlmf.nist.gov/1.13.E3
Encodings:: TeX, TeX, TeX, TeX, pMML, pMML, pMML, pMML, png, png, png, png

¶ Wronskian

Keywords:: Wronskian, differential equations

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).$

Defines:: $\mathop{\mathscr{W}\/}\nolimits$ : Wronskian
Symbols:: : variable and : solution
Permalink:: http://dlmf.nist.gov/1.13.E4
Encodings:: TeX, pMML, png

Then

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

Symbols:: $\mathop{\mathscr{W}\/}\nolimits$ : Wronskian, : differential of , : base of exponential function, $\int$ : integral, : variable and : solution
Referenced by:: §10.24, §10.28, §10.45, §10.5, §10.50
Permalink:: http://dlmf.nist.gov/1.13.E5
Encodings:: TeX, pMML, png

where is independent of . If , then the Wronskian is constant.

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

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

Symbols:: $\in$ : element of, $\forall$ : for every, : variable, : simply-connected domain, : solution, : constant and : constant
Permalink:: http://dlmf.nist.gov/1.13.E6
Encodings:: TeX, pMML, png

are .

§1.13(ii) Equations with a Parameter

Notes:: See Olver (1997b, pp. 146–147).
Keywords:: differential equations
Referenced by:: §10.15
Permalink:: http://dlmf.nist.gov/1.13.ii

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,$

Symbols:: $\frac{df}{dx}$ : derivative of with respect to and : variable
Permalink:: http://dlmf.nist.gov/1.13.E7
Encodings:: TeX, pMML, png

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

§1.13(iii) Inhomogeneous Equations

Notes:: For (1.13.10) see Simmons (1972, pp. 90–92).
Keywords:: differential equations
Referenced by:: §9.12(i)
Permalink:: http://dlmf.nist.gov/1.13.iii

The inhomogeneous (or nonhomogeneous) equation

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

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : variable and : solution
Referenced by:: ¶ ‣ §1.13(iii), §1.13(iii)
Permalink:: http://dlmf.nist.gov/1.13.E8
Encodings:: TeX, pMML, png

with , , and analytic in has infinitely many analytic solutions in . 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),$

Symbols:: : variable, : solution, : constant and : constant
Referenced by:: ¶ ‣ §1.13(iii)
Permalink:: http://dlmf.nist.gov/1.13.E9
Encodings:: TeX, pMML, png

where and are constants.

¶ Variation of Parameters

Keywords:: differential equations, 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.$

Symbols:: $\mathop{\mathscr{W}\/}\nolimits$ : Wronskian, : differential of , $\int$ : integral, : variable and : solution
Referenced by:: §1.13(iii)
Permalink:: http://dlmf.nist.gov/1.13.E10
Encodings:: TeX, pMML, png

§1.13(iv) Change of Variables

Notes:: See Temme (1996b, pp. 84, 103), or Olver (1997b, pp. 190–191).
Referenced by:: §2.8(i)
Permalink:: http://dlmf.nist.gov/1.13.iv

¶ Transformation of the Point at Infinity

Keywords:: differential equations

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,$

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , $\xi$ : change of variable, $W(\xi)$ , $F(\xi)$ and $G(\xi)$
Permalink:: http://dlmf.nist.gov/1.13.E11
Encodings:: TeX, pMML, png

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).$

Symbols:: : solution, $\xi$ : change of variable, $W(\xi)$ , $F(\xi)$ and $G(\xi)$
Permalink:: http://dlmf.nist.gov/1.13.E12
Encodings:: TeX, TeX, TeX, pMML, pMML, pMML, png, png, png

¶ Elimination of First Derivative by Change of Dependent Variable

Keywords:: differential equations

The substitution

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

Symbols:: : differential of , $\mathop{\exp\/}\nolimits z$ : exponential function, $\int$ : integral, : variable, : solution and : change of variable
Permalink:: http://dlmf.nist.gov/1.13.E13
Encodings:: TeX, pMML, png

in (1.13.1) gives

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

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : variable, : change of variable and
Referenced by:: ¶ ‣ §1.13(iv)
Permalink:: http://dlmf.nist.gov/1.13.E14
Encodings:: TeX, pMML, png

where

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

Symbols:: : variable and
Permalink:: http://dlmf.nist.gov/1.13.E15
Encodings:: TeX, pMML, png

¶ Elimination of First Derivative by Change of Independent Variable

Keywords:: differential equations

In (1.13.1) substitute

1.13.16 $\eta=\int\mathop{\exp\/}\nolimits\!\left(-\int f(z)dz\right)dz.$

Symbols:: : differential of , $\mathop{\exp\/}\nolimits z$ : exponential function, $\int$ : integral, : variable and $\eta$ : change of variable
Permalink:: http://dlmf.nist.gov/1.13.E16
Encodings:: TeX, pMML, png

Then

1.13.17 $\frac{{d}^{2}w}{{d\eta}^{2}}+g(z)\mathop{\exp\/}\nolimits\!\left(2\int f(z)dz% \right)w=0.$

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : differential of , $\mathop{\exp\/}\nolimits z$ : exponential function, $\int$ : integral, : variable, : solution and $\eta$ : change of variable
Permalink:: http://dlmf.nist.gov/1.13.E17
Encodings:: TeX, pMML, png

¶ Liouville Transformation

Keywords:: Liouville transformation for differential equations, Schwarzian derivative, differential equations

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

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

Symbols:: : variable, : change of variable and $\zeta(z)$ : thrice-differentiable function
Permalink:: http://dlmf.nist.gov/1.13.E18
Encodings:: TeX, pMML, png

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.$

Symbols:: $\left\{z,\zeta\right\}$ : Schwarzian derivative, $\frac{df}{dx}$ : derivative of with respect to , : variable, and $\zeta(z)$ : thrice-differentiable function
Permalink:: http://dlmf.nist.gov/1.13.E19
Encodings:: TeX, pMML, png

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}.$

Defines:: $\left\{z,\zeta\right\}$ : Schwarzian derivative
Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : variable and $\zeta(z)$ : thrice-differentiable function
Permalink:: http://dlmf.nist.gov/1.13.E20
Encodings:: TeX, pMML, png

¶ Cayley’s Identity

Keywords:: Cayley’s identity for Schwarzian derivatives

For arbitrary $\xi$ and $\zeta$ ,

1.13.21 $\left\{z,\zeta\right\}=(\ifrac{d\xi}{d\zeta})^{2}\left\{z,\xi\right\}+\left\{% \xi,\zeta\right\}.$

Symbols:: $\left\{z,\zeta\right\}$ : Schwarzian derivative, $\frac{df}{dx}$ : derivative of with respect to , : variable, $\xi$ : change of variable and $\zeta(z)$ : thrice-differentiable function
Permalink:: http://dlmf.nist.gov/1.13.E21
Encodings:: TeX, pMML, png

1.13.22 $\left\{z,\zeta\right\}=-(\ifrac{dz}{d\zeta})^{2}\left\{\zeta,z\right\}.$

Symbols:: $\left\{z,\zeta\right\}$ : Schwarzian derivative, $\frac{df}{dx}$ : derivative of with respect to , : variable and $\zeta(z)$ : thrice-differentiable function
Permalink:: http://dlmf.nist.gov/1.13.E22
Encodings:: TeX, pMML, png

§1.13(v) Products of Solutions

Notes:: See Watson (1944, pp. 145–146).
Keywords:: differential equations
Referenced by:: §10.13, §9.11(i), Other Changes
Permalink:: http://dlmf.nist.gov/1.13.v
Addition (effective with 1.0.1):: A sentence adding a reference was inserted at the end of this subsection.
Reported 2011-06-21