ABSTRACT

An asymptotic theory developed for a second-order differential equation. We obtain the form of solutions for some class of the coefficients for large x.

Keywords:

Asymptotic Form of Solutions, Second-Order

1. Introduction

In this paper, we examine the asymptotic form of two linearly independant solutions of the general second-order differential equation.

${\left(p{y}^{\prime }\right)}^{\prime }+q{y}^{\prime }+ry=0,$ (1)

as $x\to \infty$ , where x is the independant variable and the prime denotes $\frac{\text{d}}{\text{d}x}$ .

The coefficients p,q and r are nowhere zero in some interval $\left[a\mathrm{,}\infty \right)$ . We shall consider the situation where p and r are small compared to q see (15) to identify the following case:

$\frac{q^{\prime }}{q}=\text{o}\left(\frac{r}{q}\right),\left(x\to \infty \right)$ (2)

and under (2) we shall obtain the forms of the asymptotic solutions for (1) as $x\to \infty$ which is given in Theorem 1.

If $p=1$ , then (1) reduces to the differential equation considered by Walker [1] . We do not investigate the case where $q^2=\text{o}\left(pr\right)$ , the analysis for this case is already known for the Sturm-Liouville equation

${\left(p{y}^{\prime }\right)}^{\prime }+ry=\mathrm{0,}$

see Eastham [2] and Atkinson [3] .

We shall use the asymptotic Theorem of Eastham ( [3] , Section 2), [4] to obtain our main result of (1) in Section 4. The general feature of our method are given in Sections (2) and (3), with some examples in Section (5).

2. The General Method

We write (1) in a standard way [5] as a first-order system:

$Y^{\prime }=AY$ (3)

where

$Y=\left(\begin{array}{c}y\\ p{y}^{\prime }\end{array}\right)$ (4)

and the matrix is given by

$A=\left(\begin{array}{cc}0& p^{-1}\\ -r& -q{p}^{-1}\end{array}\right).$ (5)

As in [6] we express the matrix A in the diagonal form:

$T^{-1}AT=\Lambda =diag\left({\lambda }_1,{\lambda }_2\right)$ (6)

and we therefore require the eigenvalues ${\lambda }_j$ and the eigenvectors $v_j$ of A, $j=1,2$ .

The characteristic equation of is given by:

$p{\lambda }^2+q\lambda +r=0.$ (7)

An eigenvector $v_j$ corresponding to ${\lambda }_j$ is

$v_j={\left(1p{\lambda }_j\right)}^{\mathrm{<mo>\; *\; </mo>}}$ (8)

where the superscript ${}^{\mathrm{<mo>\; *\; </mo>}}$ denote the transpose.

Now by (7)

${\lambda }_j=-\frac{q}{2p}\pm \frac{{\left(q^2-4pr\right)}^{1/2}}{2p}\left(j=1,2\right)$ (9)

Now we define the matrix $T$ in (6) by

$T=\left[\begin{array}{cc}1& 1\\ p{\lambda }_1& p{\lambda }_2\end{array}\right]$ (10)

Hence by (6), the transformation

$Y=TZ,$ (11)

takes (3) into

$Z^{\prime }=\left(\Lambda -T^{-1}{T}^{\prime }\right)Z$ (12)

Now if we write

$T^{-1}{T}^{\prime }=\left(t_{jk}\right),$ (13)

then by (7) and (10)

$\begin{array}{l}{t}_{1j}={\left({\lambda }_1-{\lambda }_2\right)}^{-1}\left[\left(p^{\prime }{\lambda }_j^2+q^{\prime }{\lambda }_j+r^{\prime }\right){\left(2p{\lambda }_j+q\right)}^{-1}-\frac{p^{\prime }}{p}{\lambda }_j\right]\\ t_{2j}=-t_{1j}\left(j=1,2\right).\end{array}$ (14)

Now we need to work (14) in terms of $r\mathrm{,}p$ and $q$ in order to determine (12) and then make progress for (1).

3. The Matrices $\Lambda$ and $T^{-1}{T}^{\prime }$

At this stage we require the following conditions in the coefficients $r\mathrm{,}p$ and $q$ as $x\to \infty$ .

Condition I. $r\mathrm{,}p$ and $q$ are nowhere zero in some interval $\left[a\mathrm{,}\infty \right)$ , and

$rp=\text{o}\left(q^2\right)\mathrm{,}\left(x\to \infty \right)$ (15)

we write

$\delta =\frac{rp}{q^2}\to 0\left(x\to \infty \right)$ (16)

Condition II.

$\delta \frac{r^{\prime }}{r}\mathrm{,}\delta \frac{p^{\prime }}{p}\mathrm{,}\delta \frac{q^{\prime }}{q}\text{are}\text{all}L\left(a\mathrm{,}\infty \right)\mathrm{.}$ (17)

Now if we let

$D=\frac{{\left(q^2-4pr\right)}^{1/2}}{2p}$ (18)

then (9) gives

${\lambda }_j=-\frac{q}{2p}\pm D\left(j=1,2\right)$ (19)

where by(18) and (16)

$D=\frac{q}{2p}{\left(1-4\delta \right)}^{1/2}~\frac{q}{2p}\left(x\to \infty \right)\mathrm{.}$ (20)

Now by (19) and (20)

${\lambda }_1=-\frac{r}{q}\left[1+\delta +\text{O}\left({\delta }^2\right)\right]\mathrm{,}$ (21)

and

${\lambda }_2=-\frac{q}{p}\left[1-\delta +\text{O}\left({\delta }^2\right)\right]$ (22)

Now using (14), (21) and (22) we obtain

$t_{11}=t_{21}=\text{O}\left(\Delta \right)\mathrm{,}$ (23)

$t_{12}=-t_{22}=-\frac{q^{\prime }}{q}+\text{O}\left(\Delta \right)\mathrm{,}$ (24)

where

$\Delta =\left(\left|\frac{r^{\prime }}{r}\delta \right|+\left|\frac{p^{\prime }}{p}\delta \right|+\left|\frac{q^{\prime }}{q}\delta \right|\right)$ (25)

Hence by (17),

$\Delta \in L\left(a\mathrm{,}\infty \right)\mathrm{.}$ (26)

Therefore, by (23), (24) and (26), we can write (12) as:

$Z^{\prime }=\left(\Lambda +R+S\right)Z\mathrm{,}$ (27)

where

$R=\left[\begin{array}{cc}0& \frac{q^{\prime }}{q}\\ 0& -\frac{q^{\prime }}{q}\end{array}\right]\mathrm{,}$ (28)

and $S$ is $L\left(a\mathrm{,}\infty \right)$ by (26).

4. The Asymptotic Form of Solutions

Theorem 1. Let the coefficients r and p in (1) be $C^1\left[a\mathrm{,}\infty \right)$ while q to be $C^2\left[a\mathrm{,}\infty \right)$ .

Let (15) and (17) hold.

Let

$\frac{q^{\prime }}{q}=\text{o}\left(\frac{r}{q}\right)\left(x\to \infty \right)$ (29)

${\left(\frac{q^{\prime }p}{q^2}\right)}^{\prime }\mathrm{,}\frac{r^{2}p}{q^3}\text{are}L\left(a\mathrm{,}\infty \right)$ (30)

Let

$Re\left[\frac{q}{p}-2\frac{r}{q}+\frac{q^{\prime }}{q}\right]\text{be}\text{of}\text{one}\text{sign}\text{in}\left[a\mathrm{,}\infty \right)\mathrm{.}$ (31)

Then (1) has solutions $y_1$ and $y_2$ such that

$y_1~exp\left(-{\displaystyle {\int }_a^x}\frac{r}{q}\text{d}t\right)\mathrm{,}$ (32)

${y^{\prime }}_1=\text{o}\left[q{p}^{-1}exp\left(-{\displaystyle {\int }_a^x}\frac{r}{q}\text{d}t\right)\right]$ (33)

while

$y_2~q^{-1}exp\left({\displaystyle {\int }_a^x}\left[-\frac{q}{p}+\frac{r}{q}\right]\text{d}t\right)\mathrm{,}$ (34)

${y^{\prime }}_2~p^{-1}exp\left({\displaystyle {\int }_a^x}\left[-\frac{q}{p}+\frac{r}{q}\right]\text{d}t\right)\mathrm{.}$ (35)

Proof. As in [6] , we apply the Eastham theorem ( [3] , section 2) to the system (27) provided only that $\Lambda$ and $R$ , satisfy the required conditions.

We shall use (15), (17), (29), and (31).

We first require that

$\frac{q^{\prime }}{q}=\text{o}\left({\lambda }_1-{\lambda }_2\right)\mathrm{,}$ (36)

this being [2] for our system,

${\lambda }_1-{\lambda }_2=\frac{q}{p}{\left(1-4\delta \right)}^{1/2}\mathrm{,}$ (37)

Thus (36) holds by (15) and (29).

Second, we need

${\left[{\left({\lambda }_1-{\lambda }_2\right)}^{-1}\frac{q^{\prime }}{q}\right]}^{\prime }\in L\left(a\mathrm{,}\infty \right)\mathrm{.}$ (38)

this being [2] for our system. By (38), this requirement is implied by (17) and (30).

Finally we show that the eigenvalues ${\mu }_k$ of $\Lambda +R$ satisfy the dichotomy condition [2] .

As in [6] and [7] , the dichotomy condition holds if

$Re\left({\mu }_1-{\mu }_2\right)=f+g\mathrm{,}$ (39)

where $f$ has one sign in $\left[a\mathrm{,}\infty \right)$ and $g$ is $L\left(a\mathrm{,}\infty \right)$ [2] .

Now by (6) and (28):

${\mu }_1\left(x\right)={\lambda }_1\left(x\right),{\mu }_2\left(x\right)={\lambda }_2\left(x\right)-\frac{q^{\prime }}{q},$ (40)

then by (21), (22) and (40)

$Re\left({\mu }_1-{\mu }_2\right)=Re\left(\frac{q}{p}-2\frac{r}{p}+\frac{q^{\prime }}{q}\right)+\text{O}\left(\frac{r^{2}p}{q^3}\right)\mathrm{,}$ (41)

Thus, by (31) and (30), (39) holds. Since (27) satisfies all the conditions for the asymptotic result [3, section 2], it follows that as $x\to \infty$ , (27) has two linearly independant solutions.

$Z_k\left(x\right)=\left[e_k+\text{o}\left(1\right)\right]exp\left({\displaystyle {\int }_a^x}{\mu }_k\left(t\right)\text{d}t\right)$ (42)

with $e_k$ the coordinate vector with k-th coponment unity and other coponments zero.

Finally, on transforming back to y via (10), (11), (4) and making use of (40), (21), (22) and (30), we obtain (33), also (32) after adjusing $y_1$ by a constant multiple, and similary for $y_2$ and ${y^{\prime }}_2$ .□

5. Examples

Example 1. We consider the cofficients in (1) given by

$r\left(x\right)=c_1{x}^{{\alpha }_1},q\left(x\right)=c_2{x}^{{\alpha }_2},p\left(x\right)=c_3{x}^{{\alpha }_3}.$

${\alpha }_i$ and $c_i$ $\left(1\le i\le 3\right)$ are real constants with $c_i\ne 0$ . Then (15) and (17) of Theorem 4.1 hold under the conditions

$2{\alpha }_2-{\alpha }_1-{\alpha }_3>0.$ (43)

Also (29) true if

${\alpha }_1-{\alpha }_2+1>0$ (44)

Now in (30) ${\left(\frac{q^{\prime }p}{q^2}\right)}^{\prime }$ is $L\left(a\mathrm{,}\infty \right)$ if

${\alpha }_2-{\alpha }_3+1>0$ (45)

wich is true by (43) and (44).

Also, in (30), $\frac{r^{2}p}{q^3}$ is $L\left(a\mathrm{,}\infty \right)$ if

$3{\alpha }_2-2{\alpha }_1-{\alpha }_3>1.$ (46)

So all conditions of theorem 4.1 are true under (43), (44) and (46). For example if we take ${\alpha }_1={\alpha }_2$ .

Then all condition are true if

${\alpha }_2-{\alpha }_3>1.$ (47)

Example 2. Let $r\left(x\right)=c_1{x}^{{\alpha }_1}\exp \left(x^a\right)$ , $p\left(x\right)=c_2{x}^{{\alpha }_2}\exp \left(-4x^b\right)$ , $q\left(x\right)=c_3{x}^{{\alpha }_3}\exp \left(-x^b\right)$

where $b\ge a>0$ , ${\alpha }_i$ and $c_i$ $\left(1\le i\le 3\right)$ are real constants with $c_i\ne 0$ .

Again it is easy to check that all conditions of Theorem 4.1 are satisfied.

Cite this paper

Al-Hammadi, A.S.A. (2017) Asymptotic Theory for a General Second-Order Differential Equation. Advances in Pure Mathematics, 7, 407-412. https://doi.org/10.4236/apm.2017.78026

References