Open access peer-reviewed chapter

Perturbed Differential Equations with Singular Points

Written By

Keldibay Alymkulov and Dilmurat Adbillajanovich Tursunov

Submitted: 04 November 2016 Reviewed: 13 February 2017 Published: 14 June 2017

DOI: 10.5772/67856

From the Edited Volume

Recent Studies in Perturbation Theory

Edited by Dimo I. Uzunov

Chapter metrics overview

1,729 Chapter Downloads

View Full Metrics

Abstract

Here, we generalize the boundary layer functions method (or composite asymptotic expansion) for bisingular perturbed differential equations (BPDE that is perturbed differential equations with singular point). We will construct a uniform valid asymptotic solution of the singularly perturbed first-order equation with a turning point, for BPDE of the Airy type and for BPDE of the second-order with a regularly singular point, and for the boundary value problem of Cole equation with a weak singularity.A uniform valid expansion of solution of Lighthill model equation by the method of uniformization and the explicit solution—this one by the generalization method of the boundary layer function—is constructed. Furthermore, we construct a uniformly convergent solution of the Lagerstrom model equation by the method of fictitious parameter.

Keywords

  • turning point
  • singularly perturbed
  • bisingularly perturbed
  • Cauchy problem
  • Dirichlet problem
  • Lagerstrom model equation
  • Lighthill model equation
  • Cole equation
  • generalization boundary layer functions

1. Preliminary

1.1. Symbols O , o , ~. Asymptotic expansions of functions

Let a function f ( x ) and ϕ ( x ) be defined in a neighborhood of x = 0 .

Definition 1. If lim x 0 f ( x ) ϕ ( x ) = M , then write f ( x ) = O ( ϕ ( x ) ) , x 0 , and M is constant.

If lim x 0 f ( x ) ϕ ( x ) = 0 , then write f ( x ) = o ( ϕ ( x ) ) , x 0 .

If lim x 0 f ( x ) ϕ ( x ) = 1 , then write f ( x ) ~ ϕ ( x ) , x 0 .

Definition 2. The sequence { δ n ( ε ) } , where δ n ( ε ) defined in some neighborhood of zero, is called the asymptotic sequence in ε 0 , if

lim ε 0 δ n + 1 ( ε ) δ n ( ε ) = 0 , n = 1 , 2 ,

For example.

{ ε n } , { ( 1 / ln ( 1 / ε ) ) n } , { ( ε ln ( 1 / ε ) ) n } .

Note 1. Everywhere below ε denotes a small parameter.

Definition 3. We say that f ( x ) function can be expanded in an asymptotic series by the asymptotic sequence { ϕ n ( x ) } , x 0 , if there exists a sequence of numbers { f n } and has the relation

f ( x ) = k = 0 n f k ϕ k ( x ) + O ( ϕ n + 1 ( x ) ) , x 0 ,

and write

f ( x ) ~ k = 0 f k ϕ k ( x ) , x 0.

1.2. The asymptotic expansion of infinitely differentiable functions

Theorem (Taylor (1715) and Maclaurin (1742)). If the function f ( x ) C in some neighborhood of x = 0 , then it can be expanded in an asymptotic series for the asymptotic sequence { x n } , i.e.,

f ( x ) ~ n = 1 f n x n , where f n = f ( n ) ( 0 ) / n ! .

Thus, the concept of an asymptotic expansion was given for the first time by Taylor and Maclaurin,although an explicit definition was given by Poincaré in 1886.

1.3. The asymptotic expansion of the solution of the ordinary differential equation

Consider the Cauchy problem for a normal ordinary differential equation

y ' ( x ) = f ( x , y , ε ) , y ( 0 ) = 0. E1

The function f ( x , y , ε ) is infinitely differentiable on the variables x , y , ε in some neighborhood O ( 0 , 0 , 0 ) . It is correct next.

Theorem 1. The solution y = y ( x , ε ) of problem (1) exists and unique in some neighborhood point O ( 0 , 0 , 0 ) and y ( x , ε ) C , for small x , ε .

Corollary. The solution of problem (1) can be expanded in an asymptotic series by the small parameter ε, i.e.,

y ( x , ε ) = k = 1 ε k y k ( x ) . E2

Here and below, the equality is understood in an asymptotic sense.

Note 2. Theorem 1 for the case when f ( x , y , ε ) is analytical was given in [1] by Duboshin.

Note 3. This theorem 1 is not true if f ( x , y , ε ) is not smooth at ε . For example, the solution of a singularly perturbed equation

ε y ' ( x ) = y ( x ) , y ( 0 ) = a

function y ( x ) = a e x / ε and is not expanded in an asymptotic series in powers of ε, because here f ( x , y , ε ) = y ( x ) / ε and f have a pole of the first order with respect to ε .

Note 4. The series 2 is a uniform asymptotic expansion of the function y ( x ) in a neighborhood of x = 0 .

For example. Series

y ( x , ε ) = 1 + ε x 1 + ( ε x 1 ) 2 + + ( ε x 1 ) n +

It is not uniform valid asymptotic series on the interval [0, 1], but it is a uniform valid asymptotic expansion of the segment [ ε α , 1 ] , where 0 < α < 1 .

1.4. Singularly perturbed ordinary differential equations

We divide such equations into three types:

  1. Singular perturbations of ordinary differential equations such as the Prandtl-Tikhonov [256], i.e., perturbed equations that contain a small parameter at the highest derivative, i.e., equations of the form

    y ' ( x ) = f ( x , y , ε ) , y ( 0 ) = 0 , ε z ' ( x ) = g ( x , y , ε ) , z ( 0 ) = 0 ,

    where f , g are infinitely differentiable in the variables x , y , ε in the neighborhood of O ( 0 , 0 , 0 ) . It is obvious that unperturbed equation ( ε = 0 )

    y 0 ' ( x ) = f ( x , y , 0 ) , 0 = g ( x , y , 0 )

    is a first order.

    Definition 4. Singularly perturbed equation will be called bisingulary perturbed if the corresponding unperturbed differential equation has a singular point, or this one is an unbounded solution in the considering domain.

    For example

    1. Equation ε y ' ( x ) = y ( x ) is a singularly perturbed ordinary differential equation.

    2. Equation Vander Pol

      ε y ' ' ( x ) + ( 1 y 2 ( x ) ) y ' ( x ) + y ( x ) = 0.

      It is a bisingularly perturbed ordinary differential equation with singular points, if y ( x ) = ± 1 .

    3. ε y ' ( x ) x y ( x ) = 1 , x [ 0 , 1 ] is a bisingularly perturbed equation, because the unperturbed equation has an unbounded solution y 0 ( x ) = x 1 .

    4. ε y ' ' ( x ) x y ( x ) = 1 , x [ 0 , 1 ] is a bisingularly perturbed equation also.

  2. Singularly perturbed differential equations such as the Lighthill’s type [5769], in which the order of the corresponding unperturbed equation is not reduced, but has a singular point in the considering domain.

    For example, a Lighthill model equation

    ( x + ε y ( x ) ) y ' ( x ) + p ( x ) y ( x ) = r ( x ) , y ( 1 ) = a

    where x [ 0 , 1 ] , p ( x ) , r ( x ) C [ 0 , 1 ] . For unperturbed equation

    x y ' 0 ( x ) + p ( x ) y 0 ( x ) = r ( x ),

    point x = 0 is a regular singular point.

  3. A singularly perturbed equation with a small parameter is considered on an infinite interval. For example, the Lagerstrom equation [7081]

    y ' ' ( x ) + n x 1 y ' ( x ) + y ( x ) y ' ( x ) = β ( y ' ( x ) ) 2 , y ( ε ) = 0 , y ( ) = 1.

    where 0 < β is a given number and n is the dimension space.

    Remark. The division into such classes is conditional, because singularly perturbed equation of Van der Pol in the neighborhood of points y = ± 1 leads to an equation of Lighthill type [2, 3].

1.5. Methods of construction of asymptotic expansions of solutions of singularly perturbed differential equations

  1. The method of matching of outer and inner expansions [13, 19, 28, 29, 37, 49] is the most common method for constructing asymptotic expansions of solutions of singularly perturbed differential equations. Justification for this method is given by Il’in [22]. However, this method is relatively complex for applied scientists.

  2. The boundary layer function method (or composite asymptotic expansion)dates back to the work of many mathematicians. For the first time, this method for a singularly perturbed differential equations in partial derivatives is developed by Vishik and Lyusternik [52] and for nonlinear integral-differential equations (thus for the ordinary differential equations) Imanaliev [24], O’Malley (1971) [38], and Hoppenstedt (1971) [42].

    It should be noted that, for the first time, the uniform valid asymptotic expansion of the solution of Eq. (5) is constructed by Vasil’eva (1960) [50] after Wasow [69] and Sibuya in 1963 [68] by the method of matching.

    This method is constructive and understandable for the applied scientists.

  3. The method of Lomov or regularization method [33] is applied for the construction of uniformly valid solutions of a singularly perturbed equation and will apply Fredholm ideas.

  4. The method WKB or Liouville-Green method is used for the second-order differential equations.

  5. The method of multiple scales.

  6. The averaging method is applicable to the construction of solutions of a singularly perturbed equation on a large but finite interval.

Here, we consider a bisingularly perturbed differential equations and types of equations of Lighthill and Lagerstrom.

Here, we generalize the boundary layer function method for bisingular perturbed equations. We will construct a uniform asymptotic solution of the Lighthill model equation by the method of uniformization and construct the explicit solution of this one by the generalized method of the boundary layer functions.

Furthermore, we construct a uniformly convergent solution of the Lagerstrom model equation by the method of fictitious parameter.

Advertisement

2. Bisingularly perturbed ordinary differential equations

2.1. Singularly perturbed of the first-order equation with a turning point

Consider the Cauchy problem [5]

ε y ' ( x ) + x y ( x ) = f ( x ) , 0 < x 1 , y ( 0 ) = a , E3

where f ( x ) C [ 0 , 1 ] , f(x)= k = 0 f k x k , f k = f ( k ) ( 0 ) / k ! , f 0 0 ; a is the constant

Explicit solution of the problem (3) has the form: y ( x ) = a e x 2 / 2 ε + 1 ε 0 x e ( s 2 x 2 ) / 2 ε f ( s ) d s .

The corresponding unperturbed equation ( ε = 0 )

x y ˜ ( x ) + f ( x ) = 0 ,

has a solution y ˜ ( x ) = f ( x ) / x , which is unbounded at x = 0 .

If you seek a solution to problem (1) in the form

y ( x ) = y 0 ( x ) + ε y 1 ( x ) + ε 2 y 2 ( x ) + , E4

then

y 0 ( x ) = f ( x ) x ~ f 0 x 1 , x 0 , E9000
y 1 ( x ) = x 1 y ' 0 ( x ) ~ f 0 x 3 , x 0 ,
y 2 ( x ) = x 1 y ' 1 ( x ) ~ 3 f 0 x 5 , x 0 ,
y 3 ( x ) = x 1 y ' 2 ( x ) ~ 3 5 f 0 x 5 , x 0 ,
y n ( x ) = x 1 y ' n 1 ( x ) ~ 3 5 ( 2 n 1 ) f 0 x ( 2 n + 1 ) , x 0 ,

and a series of Eq. (4) is asymptotic in the segment ( ε , 1 ] , and the point x0= ε = μ is singular point of the asymptotic series of Eq. (4). Therefore, the solution of problem (3) we will seek in the form

y ( x ) = μ 1 π 1 ( t ) + Y 0 ( x ) + π 0 ( t ) + μ ( Y 1 ( x ) + π 1 ( t ) ) + μ 2 ( Y 2 ( x ) + π 2 ( t ) ) + , μ 0 , E5

where Y k ( x ) C ( ) [ 0 , 1 ] , π k ( t ) C ( ) [ 0 , μ 1 ] , x = μ t and boundary layer functions π k ( t ) decreasing by power law as t , that is, π k ( t ) = O ( t m ) , t , m N .

Substituting Eq. (5) into Eq. (3), we obtain

π ' 1 ( t ) + μ 2 Y ' 0 ( x ) + μ π ' 0 ( t ) + μ 3 Y ' 1 ( x ) + μ 2 π ' 1 ( t ) + μ 4 Y ' 2 ( x ) + μ 3 π ' 2 ( t ) + μ 5 Y ' 3 ( x ) + μ 4 π ' 3 ( t ) + + x Y 0 ( x ) + μ x Y 1 ( x ) + μ 2 x Y 2 ( x ) + μ 3 x Y 3 ( x ) + + t π 1 ( t ) + μ t π 0 ( t ) + μ 2 t π 1 ( t ) + μ 3 t π 2 ( t ) + μ 4 t π 3 ( t ) + = f ( x ) . E6

The initial conditions for the functions π k 1 ( t ) , k = 0 , 1 , we take in the next form

π 1 ( 0 ) = 0 , π 0 ( 0 ) = a Y 0 ( 0 ) , π k ( 0 ) = Y k ( 0 ) , k = 1 , 2 ,

From Eq. (6), we have

μ 0 : π ' 1 ( t ) + t π 1 ( t ) + x Y 0 ( x ) = f ( x ), E7.-1
μ 1 : π ' 0 ( t ) + t π 0 ( t ) + x Y 1 ( x ) = 0 , E7.0
μ k + 1 : π ' k ( t ) + t π k ( t ) + x Y k + 1 ( x ) + Y ' k 1 ( x ) = 0 , k = 1 , 2 , E7.k

To Y 0 ( x ) function has been smooth, and we define it from the equation

x Y 0 ( x ) = f ( x ) f 0 Y 0 ( x ) = ( f ( x ) f 0 ) / x ,

and then from Eq. (7.−1), we have obtained the equation

π ' 1 ( t ) + t π 1 ( t ) = f 0 .

Therefore

π 1 ( t ) = f 0 e t 2 / 2 0 t e s 2 / 2 d s C [ 0 , μ 1 ] ,

Obviously, this function bounded and is infinitely differentiable on the segment [ 0 , μ 1 ] , and

π 1 ( t ) = f 0 t ( 1 + 1 t 2 + 3 t 4 + ) , t .

This asymptotic expression can be obtained by integration by parts the integral expression for π 1 ( t ) .

Eq. (7.0) define Y 1 ( x ) and π 0 ( t ) . Let Y 1 ( x ) 0 , then

π ' 0 ( t ) + t π 0 ( t ) = 0 , π 0 ( 0 ) = a f 1.

Hence, we find

π 0 ( t ) = ( a f 1 ) e t 2 / 2.

From Eq. (7c) for k = 1 , we have

π ' 1 ( t ) + t π 1 ( t ) + x Y 2 ( x ) + Y ' 0 ( x ) = 0.

Let x Y 2 ( x ) = Y ' 0 ( 0 ) Y ' 0 ( x ) , then π ' 1 ( t ) + t π 1 ( t ) = Y ' 0 ( 0 ) .

From these, we get

Y 2 ( x ) = ( Y ' 0 ( 0 ) Y ' 0 ( x ) ) / x , π 1 ( t ) = f 2 e t 2 / 2 0 t e s 2 / 2 d s C [ 0 , μ 1 ] ,

and

π 1 ( t ) = f 2 t ( 1 + 1 t 2 + 3 t 4 + ) , t ∞.

From Eq. (7c) for k = 2 , we have

π ' 2 ( t ) + t π 2 ( t ) + x Y 3 ( x ) + Y ' 1 ( x ) = 0 or π ' 2 ( t ) + t π 2 ( t ) + x Y 3 ( x ) = 0 .

Let Y 3 ( x ) 0 , then

π ' 2 ( t ) + t π 2 ( t ) = 0 , π 2 ( 0 ) = Y 2 ( 0 ) = 2 f 3 .

From this, we get

π 2 ( t ) = 2 f 3 e t 2 / 2 .

Analogously continuing this process, we determine the others of the functions Y k ( x ) , π k ( t ) .

In order to show that the constructed series of [Eq. (5)] is asymptotic series, we consider remainder term R m ( x ) = y ( x ) y m ( x ) ,

where y m ( x ) = 1 μ π 1 ( t ) + Y 0 ( x ) + π 0 ( t ) + μ ( Y 1 ( x ) + π 1 ( t ) ) + + μ m ( Y m ( x ) + π m ( t ) ) .

For the remainder term R m ( x ) , we obtain a problem:

ε R m ( x ) + x R m ( x ) = μ m + 2 Y ' m ( x ) , 0 < x 1 , R m ( 0 ) = 0. E8

We note that if m is odd, then Y ' m ( x ) 0 .

The problem (8) has a unique solution

R m ( x ) = μ m e x 2 / 2 ε 0 x Y ' m ( s ) e s 2 / 2 ε d s,

and from this, we have R m ( x ) = O ( μ m ) , μ 0 , x [ 0 , 1 ] .

2.2. Bisingularly perturbed in a homogenous differential equation of the Airy type

Consider the boundary value problem for the second-order ordinary in a homogenous differential equation with a turning point

ε y ' ' ( x ) x y ( x ) = f ( x ) , x ( 0 , 1 ) , E9
y ( 0 ) = 0 , y ( 1 ) = 0. E10

where f ( x ) = k = 0 f k x k , x 0 , f k = f ( k ) ( 0 ) / k ! , f 0 0 .

Note 5. It is the general case of this one was considered in Ref. [8, 4547].

Without loss of generality, we consider the homogeneous boundary conditions, since y ( 0 ) = a , y ( 1 ) = b , a 2 + b 2 0 , using transformation

y ( x ) = a + ( b a ) x + z ( x ) ,

can lead to conditions (10).

If the asymptotic solution of the problems (9)–(10) we seek in the form

y ( x ) = y 0 ( x ) + ε y 1 ( x ) + ε 2 y 2 ( x ) + …, E11

then we have

y 0 ( x ) = f ( x ) x ~ f 0 x 1 , x 0 ,
y 1 ( x ) = x 1 y ' ' 0 ( x ) ~ 1 2 f 0 x 4 , x 0 ,
y 2 ( x ) = x 1 y ' ' 1 ( x ) ~ 1 2 4 5 f 0 x 7 , x 0 ,
y 3 ( x ) = x 1 y ' ' 2 ( x ) ~ 1 2 4 5 7 8 f 0 x 10 , x 0 ,
y n ( x ) = x 1 y ' ' n 1 ( x ) ~ 1 2 4 5 7 8 ( 3 n 2 ) ( 3 n 1 ) f 0 x ( 3 n + 1 ) , 0 < n , x 0 ,

and the series (11) is asymptotic in the segment ( ε 3 , 1 ] . The point x0= ε 3 = μ is singular point of asymptotic series (11).

The solution of problems (9) and (10) will be sought in the form

y ( x ) = μ 1 π 1 ( t ) + k = 0 μ k ( Y k ( x ) + π k ( t ) ) + k = 0 λ k w k ( η ) , E12

where t = x / μ , μ = ε 3 , η = ( 1 x ) / λ , λ = ε . Here, Y k ( x ) C [ 0 , 1 ] , π k ( t ) C [ 0 , 1 / μ ] is boundary layer function in a neighborhood of t = 0 and decreases by the power law as t , and the function w k ( t ) C [ 0 , 1 / λ ] is boundary function in a neighborhood of η = 0 and decreases exponentially as η .

Substituting Eq. (12) in Eq. (9), we get

k = 0 μ k ( π k 1 ( t ) t π k 1 ( t ) ) + k = 0 μ k + 3 Y k ( x ) x k = 0 μ k Y k ( x ) = f ( x ) E13
k = 0 λ k ( w ' ' k ( η ) ( 1 λ η ) w k ( η ) ) = 0. E14

From Eq. (13), we have

μ 0 : π 1 ( t ) t π 1 ( t ) x Y 0 ( x ) = f ( x ), E15.-1
μ 1 : π 0 ( t ) t π 0 ( t ) x Y 1 ( x ) = 0 , E15.0
μ 2 : π 1 ( t ) t π 1 ( t ) x Y 2 ( x ) = 0 , E15.1
μ 3 : π 2 ( t ) t π 2 ( t ) + Y 0 ( x ) x Y 3 ( x ) = 0 , E15.2
μ k : π k 1 ( t ) t π k 1 ( t ) + Y k 3 ( x ) x Y k ( x ) = 0 , k > 3 , E15.k

Boundary conditions for functions π k 1 ( t ) , k = 0 , 1 , we take next form

π 1 ( 0 ) = 0 , π k ( 0 ) = Y k ( 0 ) , lim μ 0 π k 1 ( 1 / μ ) = 0 , k = 0 , 1 , 2 ,

To Y 0 ( x ) function has been smooth; therefore, we define it from the equation

x Y 0 ( x ) = f ( x ) f 0 Y 0 ( x ) = ( f ( x ) f 0 ) / x ,

then from Eq. (15.1), we have the equation

π ' ' 1 ( t ) t π 1 ( t ) = f 0 .

Let us prove an auxiliary lemma.

Lemma 1. Next boundary value problem

z ' ' ( t ) t z ( t ) = b , 0 < t < 1 / μ , here b is the constant , E16
z ( 0 ) = z 0 , z ( 1 / μ ) 0 , μ 0 E17

will have the unique solution and this one have next form

z ( t ) = z 0 A i ( t ) A i ( 0 ) π b ( A i ( t ) 0 t B i ( s ) d s + B i ( t ) t 1 / μ A i ( s ) d s A i ( t ) 3 0 1 / μ A i ( s ) d s ) ,

and z ( t ) C [ 0 , μ 1 ] .

Proof. We verify the boundary conditions:

z ( 0 ) = z 0 π b ( B i ( 0 ) 0 1 / μ A i ( s ) d s A i ( 0 ) 3 0 1 / μ A i ( s ) d s ) ,

as B i ( 0 ) = A i ( 0 ) 3 , so z ( 0 ) = z 0 .

z ( 1 / μ ) = z 0 A i ( 1 / μ ) A i ( 0 ) π b ( 1 3 ) A i ( 1 / μ ) 0 1 / μ B i ( s ) d s ,

as A i ( t ) ~ t 1 / 4 e 2 3 t 3 / 2 , B i ( t ) ~ t 1 / 4 e 2 3 t 3 / 2 , t , so z ( 1 / μ ) = O ( μ ) , μ 0 .

Now we show that z(t) satisfies Eq. (16). For this, we compute derivatives:

z ' ( t ) = z 0 A i ' ( t ) A i ( 0 ) π b ( A i ' ( t ) 0 t B i ( s ) d s + B i ' ( t ) t 1 / μ A i ( s ) d s A i ' ( t ) 3 0 1 / μ A i ( s ) d s )
z ' ' ( t ) = z 0 A i ' ' ( t ) A i ( 0 ) π b ( A i ' ' ( t ) 0 t B i ( s ) d s + B i ' ' ( t ) t 1 / μ A i ( s ) d s 1 π A i ' ' ( t ) 3 0 1 / μ A i ( s ) d s )

Substituting the expressions for z ' ' ( t ) and z ( t ) in Eq. (17), and given that A i ' ' ( t ) t A i ( t ) 0 and B i ' ' ( t ) t B i ( t ) 0 , we get: b b .

The uniqueness of z ( t ) the solution is proved by contradiction. Let u ( t ) also be a solution of problems (16) and (17), z ( t ) u ( t ) . Considering the function r ( t ) = z ( t ) u ( t ) , for the function r ( t ) , we obtain the problem

r ' ' ( t ) t r ( t ) = 0 , 0 < t < 1 / μ , r ( 0 ) = 0 , r ( 1 / μ ) 0 , μ 0.

The general solution of the homogeneous equation is

r ( t ) = c 1 A i ( t ) + c 2 B i ( t ) ; c 1 , 2 is the constant.

Considering the boundary condition r ( 1 / μ ) 0 , μ 0 , we have c 2 = 0 ; r ( t ) = c 1 A i ( t ) . And the second condition r ( 0 ) = 0 , c 1 = 0 follows. This implies that r ( t ) 0 .

Therefore, z ( t ) u ( t ) . It is obvious that z ( t ) C [ 0 , μ 1 ] . Lemma 1 is proved.

This Lemma 1 implies the existence and uniqueness of π 1 ( t ) C [ 0 , μ 1 ] solution of the problem:

π ' ' 1 ( t ) t π 1 ( t ) = f 0 , 0 < t < 1 / μ , π 1 ( 0 ) = 0 , π 1 ( 1 / μ ) 0 , μ 0.

This function bounded and is infinitely differentiable on the segment [ 0 , μ 1 ] , and as t :

π 1 ( t ) = f 0 t ( 1 + 1 2 t 3 + 1 2 4 5 t 6 + ) .

This asymptotic expression can be obtained by integration by parts the integral expression for π 1 ( t ) .

From Eq. (15.0), we define Y 1 ( x ) and π 0 ( t ) . Let Y 1 ( x ) 0 , then

π ' ' 0 ( t ) t π 0 ( t ) = 0 , π 0 ( 0 ) = f 1 , π 0 ( 1 / μ ) 0 , μ 0 ,

And by Lemma 1, we have

π 0 ( t ) = f 1 A i ( t ) / A i ( 0 ) .

Analogously, from Eq. (15.1), we define Y 2 ( x ) and π 1 ( t ) . Let Y 2 ( x ) 0 , then

π ' ' 1 ( t ) t π 1 ( t ) = 0 , π 1 ( 0 ) = 0 , π 0 ( 1 / μ ) 0 , μ 0 .

In view of Lemma 1, we have π 1 ( t ) 0 .

To Y 3 ( x ) function has been smooth; as above, we define it from the equation

x Y 3 ( x ) = Y 0 ( x ) Y 0 ( 0 ) Y 3 ( x ) = ( Y 0 ( x ) Y 0 ( 0 ) ) / x , ( Y 0 ( 0 ) = 2 f 3 ) ,

then Eq. (15.2) to π 2 ( t ) hase the problem

π 2 ( t ) t π 2 ( t ) = 2 f 3 , π 2 ( 0 ) = 0 , π 2 ( 1 / μ ) 0 , μ 0.

By Lemma 1, we can write an explicit solution to this problem, and this solution bounded and is infinitely differentiable on the segment [ 0 , μ 1 ] , and as t :

π 2 ( t ) = 2 f 3 t ( 1 + 1 2 t 3 + 1 2 4 5 t 6 + ) .

Analogously continuing this process, we determine the rest of the functions Y k ( x ) , π k ( t ) .

Now we will define functions w k ( η ) from the equality (14) by using the boundary conditions y ( 1 ) = 0 We state problems

L w 0 w 0 ( η ) w 0 ( η ) = 0 , w 0 ( 0 ) = Y 0 ( 1 ) , lim η w 0 ( η ) = 0 E18.0
L w k = η w k 1 ( η ) , w 2 i ( 0 ) = Y 3 i ( 1 ) , w 2 i 1 ( 0 ) = 0 , lim η w k ( η ) = 0 , k , i N . E18.k

One can easily make sure that all these problems (18.0) and (18.k) have unique solutions such that w k ( η ) C [ 0 , ) , w k ( η ) = O ( e η ) with η .

Thus, all functions Y k ( x ) , w k ( η ) , and π k ( t ) in equality (12) are defined, i.e., a formally asymptotic expansion is constructed. Let us justify the constructed expansion. Let

y m ( x ) = μ 1 π 1 ( t ) + k = 0 3 m μ k ( Y k ( x ) + π k ( t ) ) + k = 0 2 m λ k w k ( η ) , r m ( x ) = y ( x ) y m ( x ) .

Then for the remainder term, we state the following problem:

ε r m ( x ) x r m ( x ) = O ( ε m + 1 / 2 ) , ε 0 , x ( 0 , 1 ) . E19
r m ( 0 ) = O ( e 1 / ε ) , r m ( 1 ) = O ( ε m + 1 ) , ε 0. E20

Let r m ( x ) = ( 2 x 2 ) R m ( x ) / 2 , and then problems (19) and (20) take the form

ε R m ( x ) 4 x ε 2 x 2 R ' m ( x ) ( 2 ε 2 x 2 + x ) R m ( x ) = O ( ε m + 1 / 2 ) , ε 0 ,
R m ( 0 ) = O ( e 1 / ε ) , R m ( 1 ) = O ( ε m + 1 ) , ε 0.

According to the maximum principle [23, p. 117, 82], we have R m ( x ) = O ( ε m 1 / 2 ) , ε 0 , x [ 0 , 1 ] .

Hence, we get r m ( x ) = O ( ε m 1 / 2 ) , ε 0 , x [ 0 , 1 ] .

Thus, we have proved.

Theorem 2. Let f ( 0 ) 0 , then the solution to problem (9) and (10) will have next form

y ( x ) = 1 ε 3 π 1 ( x ε 3 ) + k = 0 ε k 3 ( y k ( x ) + π k ( x ε 3 ) ) + k = 0 ε k w k ( 1 x ε ) .

Example. Consider the problem

ε y ' ' ( x ) x y ( x ) = 1 + x , x ( 0 , 1 ) , y ( 0 ) = 0 , y ( 1 ) = 0 .

The asymptotic solution this problem we can represent in the form y ( x ) = μ 1 π 1 ( t ) + k = 0 3 μ k ( Y k ( x ) + π k ( t ) ) + w 0 ( η ) + λ w 1 ( η ) + λ 2 w 2 ( η ) + R ( x ) .

We have got Y 0 ( x ) = ( 1 + x 1 ) / x = 1 , Y 1 , 2 , 3 ( x ) 0 ,

π 1 ( t ) = π ( A i ( t ) 0 t B i ( s ) d s + B i ( t ) t 1 / μ A i ( s ) d s A i ( t ) 3 0 1 / μ A i ( s ) d s ) ,
π 0 ( t ) = A i ( t ) / A i ( 0 ) , π 1 , 2 , 3 ( t ) 0 , w 0 ( η ) = 2 e η , w k ( η ) = O ( e η ) , k = 1 , 2.
ε R ' ' ( x ) x R ( x ) = O ( ε 3 / 2 ) , 0 < x < 1 , R ( 0 ) = O ( e 1 / ε ) , R ( 1 ) = O ( ε 2 ) , ε 0.

We have

y ( x ) = ε 1 / 3 π 1 ( t ) 1 + 2 e ( 1 x ) / ε + π 0 ( t ) + ε w 1 ( η ) + ε w 2 ( η ) + O ( ε ) , ε 0.

2.3. Bisingularly perturbed equation of the second order with a regularly singular point

Consider the boundary value problem [6, 7]

L ε y ε y + x y q ( x ) y = f ( x ) , x [ 0 , 1 ] , E21
y ( 0 ) = 0 , y ( 1 ) = 0 , E22

where q ( x ) , f ( x ) C [ 0 , 1 ] .

Here, for simplicity, we consider the case q ( 0 ) = 1 , q ( x ) 1 .

The solution of the unperturbed problem

M y x y q ( x ) y = f ( x ) ,

represented as

y 0 ( x ) x p ( x ) 1 x r ( s ) s 2 d s , E23

where

r ( x ) = p 1 ( x ) f ( x ) , p ( x ) = exp { 1 x ( q ( x ) 1 ) s 1 d s } .

Extracting in Eq. (23), the main part of the integral in the sense of Hadamard [34], it can be represented as

y 0 ( x ) = a ( x ) + r 1 x p ( x ) ln x , E24

where

a ( x ) = x p ( x ) 1 x ( r ( s ) r 0 r 1 s ) s 2 d s + r 0 p ( x ) [ x 1 ] , r 0 = r ( 0 ) , r 1 = r ( 0 ) = p ( 0 ) 1 [ f ( 0 ) q ( 0 ) f ( 0 ) ] . E25

Function a ( x ) C [ 0 , 1 ] .

Theorem 3. Suppose that the conditions referred to the above with respect to q ( x ) and f ( x ) . Then the asymptotic behavior of the solution of the problems (21) and (22) can be written as:

k = 0 μ k ( z k ( x ) + π k ( t ) ) , ε = μ 2 , x = μ t , E26

where z k ( x ) C [ 0 , 1 ] , π k ( t ) C [ 0 , μ 1 ] .

Function z 0 ( x ) is a solution of equation

M z 0 = f ( x ) c 0 x p ( x ) ,

where c 0 = p ( 0 ) 1 [ f ( 0 ) q ( 0 ) f ( 0 ) ] .

The coefficients z k ( x ) of the series (26) will be determined as the solution of equations

M z k = z k 1 ( x ) c k x p ( x ) ,

where c k = p ( 0 ) 1 [ z k 1 ( 0 ) + z k 1 ( 0 ) q ( 0 ) ] , with boundary conditions z k ( 1 ) = 0 , k 1 .

Functions π k ( t ) is the solution of the equations

L π k π k ( t ) + t π k ( t ) q ( μ t ) π k ( t ) c k μ t p ( μ t )

with boundary conditions π k ( 0 ) = z k ( 0 ) , π k ( μ 1 ) = 0 .

Next, we use the following lemma.

Lemma 2. The problem

M y = f ( x ) r 1 x p ( x )

It has a unique solution y ( x ) C [ 0 , 1 ] .

The proof of Lemma 2 follows from Eqs. (24) and (25).

Lemma 3. A boundary value problem

L 0 v v + t v v ( t ) = 0 , v ( 0 ) = a , v ( 1 / μ ) = 0 ,

has solution v ( t ) = a X ( t ) , where

X ( t ) = t t μ 1 s 2 exp ( s 2 2 ) d s , 0 X ( t ) 1 , X ( 0 ) = 1.

The proof of Lemma 3 is obvious.

Lemma 4. In order to solve the boundary value problem

L 0 W = μ t , W ( 0 ) = W ( μ 1 ) = 0 ,

we have the estimate

0 W ( μ , t ) e 1 ln μ 1 .

Proof. This follows from the fact that the solution of this problem existsuniquely by the maximum principle [23, 82] and will be represented in the form

W ( μ , t ) = μ t t μ 1 y 2 exp ( y 2 2 ) 0 y s 2 exp ( s 2 2 ) d s d y.

Lemma 5. The estimate

| π k ( μ , t ) | < B k ,

where 0 < B k is constant.

Proof. Consider the function

V ± ( μ , t ) = γ 1 W ( μ , t ) + γ 2 X ( t ) ± π k ( μ , t ) ,

where γ 1 and γ 2 are positive constants such that

γ 1 > max [ 0 , 1 ] | p ( x ) | , γ 2 > | z k ( 0 ) | .

It is obvious that

V ± ( μ , 0 ) > 0 , V ± ( μ , μ 1 ) > 0 , L 0 V ± V ± ( t ) + t V ± ( t ) V ± ( t ) < 0

From the maximum principle, it follows that | π k ( μ , t ) | < γ 1 W ( μ , t ) + γ 2 X ( t ) .

Now the proof of the lemma 5 follows from estimates of W ( μ , t ) and X ( t ) .

If we introduce the notation

Y n ( x , ε ) = k = 0 n ε k ( z k ( x ) + π k ( μ , t ) ) ,

where z k ( x ) , π k ( μ , t ) are constructed above functions, then

L ε Y n ( x , ε ) = f ( x ) + ε n + 1 z n .

Let y ( x , ε ) be the solution of the problems (21) and (22). Then

| L ε ( Y n ( x , ε ) y ( x , ε ) ) | < B n ε n + 1 , Y n ( 0 , ε ) y ( 0 , ε ) = Y n ( 1 , ε ) y ( 1 , ε ) = 0.

Therefore, | Y n ( x , ε ) y ( x , ε ) | < B n ε n + 1 .

2.4. The bisingular problem of Cole equation with a weak singularity

The following problem is considered [9, 13, 28, 29],

ε y ' ' ( x ) + x y ' ( x ) y ( x ) = 0 , 0 < x < 1 , E27
y ( 0 ) = a , y ( 1 ) = b E28

where x [ 0 , 1 ] ; a , b are the given constants.

The unperturbed equation x y ( x ) y ( x ) = 0 , 0 < x < 1 ,

has the general solution

y 0 ( x ) = c e 2 x , c const .

This is a nonsmooth function in [ 0 , 1 ] .

We seek asymptotic representation of the solution of the problems (27) and (28) in the form:

y ( x ) = k = 0 n ε k y k ( x ) + k = 0 3 ( n + 1 ) μ k π k ( t ) + R ( x , ε ), E29

where t = x / μ 2 , ε = μ 3 , y k ( x ) C [ 0 , 1 ] , π k ( t ) C [ 0 , 1 / μ 2 ] , R ( x , ε ) is the reminder term.

Substituting Eq. (29) into Eq. (27), we have

k = 0 n ε k ( ε y k ( x ) + x y k ( x ) y k ( x ) ) + 1 μ ( π 0 ( t ) + t π 0 ( t ) ) + k = 1 3 ( n + 1 ) μ k 1 ( π k ( t ) + t π k ( t ) π k 1 ( t ) ) μ 3 ( n + 1 ) π 3 ( n + 1 ) ( t ) + ε R ' ' ( x , ε ) + x R ' ( x , ε ) R ( x , ε ) h ( x , ε ) + h ( x , ε ) = 0 E30

By the method of generalized boundary layer function, we put the term h ( x , ε ) = k = 0 n 1 ε k h k ( x ) into the equation. We choose functions h k ( x ) so that y k ( x ) C [ 0 , 1 ] .

Taking into account the boundary condition (28), from Eq. (30), we obtain

x y 0 ( x ) y 0 ( x ) = 0 , 0 < x < 1 , y 0 ( 1 ) = b . E31
x y k ( x ) y k ( x ) = h k 1 ( x ) y k 1 ( x ) , 0 < x < 1 , k N , y k ( 1 ) = 0. E32

The solution of the problems (31) and (32) exists. It is unique and has the form

y 0 ( x ) = b e 2 ( x 1 ) , y k ( x ) = e 2 x 1 x h k 1 ( s ) y k 1 ( s ) s e 2 s d s , k N .

We choose indefinite functions hk(x) as follows: y ' ' k 1 ( x ) h k 1 ( x ) C [ 0 , 1 ] . We can represent

y 0 ( x ) = b e 2 ( 1 + 2 x + ( 2 x ) 2 2 ! + ( 2 x ) 3 3 ! + ( 2 x ) 4 4 ! + + ( 2 x ) n n ! + ) .

Let h 1 ( x ) = b e 2 ( 2 x + ( 2 x ) 3 3 ! ) = b e 2 ( 1 2 x 3 1 x ) .

Then

y ' ' 0 ( x ) h 0 ( x ) C [ 0 , 1 ] , μ 3 h 1 ( t μ 2 ) = c 1 ( 1 2 t 3 μ 2 t ) , c 1 = b e 2 ,
y 1 ( x ) = c 1 e 2 x 1 x ( 1 2 s 2 + 1 s + 1 2 s 2 e 2 s 1 s 3 e 2 s ) e 2 s d s .

We can rewrite y1(x) in the form:

y 1 ( x ) = y 1 , 0 + y 1 , 1 ( 2 x ) + y 1 , 2 ( 2 x ) 2 + y 1 , 3 ( 2 x ) 3 + ,

where y 1 , 0 = ( 3 2 + 1 2 e 2 ) c 1 , y 1 , 1 = ( 1 6 + 1 2 e 2 ) c 1 , y 1 , 2 = ( 1 6 + 1 4 e 2 ) c 1 , y 1 , 3 = ( 1 10 + 1 12 e 2 ) c 1 .

Analogously, we have obtained

h 1 ( x ) = ( y 1 , 1 ( 2 x ) + y 1 , 3 ( 2 x ) 3 ) = y 1 , 1 2 x 3 + 6 y 1 , 3 x .

Then

y ' ' 2 ( x ) h 2 ( x ) C [ 0 , 1 ] , μ 6 h 2 ( t μ 2 ) = μ 3 y 1 , 1 2 t 3 + μ 5 y 1 , 3 t .

Continuing this process, we have

h k 1 ( x ) = y k 1 , 1 2 x 3 + 6 y k 1 , 3 x , k = 4 , , n ,

where y k 1 , 1 , y k 1 , 3 are corresponding coefficients of the expansion of y k 1 , 1 ( x ) in powers of (2 x ).

From Eq. (30), we have the following equations for the boundary functions π k ( t ) :

L π 0 π 0 ( t ) + t π 0 ( t ) = 0 , 0 < t < μ ˜ , π 0 ( 0 ) = a y 0 ( 0 ) , π 0 ( μ ˜ ) = 0 , μ ˜ = 1 / μ 2 , E33
L π 3 k + 1 ( t ) = π 3 k ( t ) + y k , 1 2 t 3 , 0 < t < μ ˜ , π 3 k + 1 ( 0 ) = 0 , π 3 k + 1 ( μ ˜ ) = 0 ,   k = 0 , 1 , , n E34
L π 3 k + 2 ( t ) = π 3 k + 1 ( t ) , 0 < t < μ ˜ , π 3 k + 2 ( 0 ) = 0 , π 3 k + 2 ( μ ˜ ) = 0 ,   k = 0 , 1 , , n E35
L π 3 k + 3 = π 3 k + 2 ( t ) y k , 3 t , 0 < t < μ ˜ , π 3 k ( 0 ) = y k ( 0 ) , π 3 k ( μ ˜ ) = 0 , k = 0 , 1 , , n 1 E36
L π 3 ( n + 1 ) ( t ) = π 3 n + 2 ( t ) y n , 3 t , 0 < t < μ ˜ , π 3 n ( 0 ) = 0 , π 3 n ( μ ˜ ) = 0 E37

The solution of problem (33) is represented in the form

π 0 ( t ) = ( a b e 2 ) A t μ ˜ e 2 3 s 3 / 2 d s , A = ( 0 μ ˜ e 2 3 s 3 / 2 d s ) 1 .

We note that π 0 ( t ) will exponentially decrease as t μ ˜ .

Lemma 6. The general solution of this equation L z ( t ) = 0 will have z ( t ) = c 1 Y ( t ) + c 2 X ( t ) ; here c 1 , c 2 are constants, and

Y ( t ) = 1 X ( t ) , X ( t ) = α t μ ˜ e 2 3 s 3 / 2 d s ( α 0 μ ˜ e 2 3 s 3 / 2 d s = 1 ) .

Two linearly independent solutions and Y ( t ) = O ( t ) , t 0 , 0 < X ( t ) 1 ,

X ( t ) = t 1 2 e 2 3 t 3 / 2 ( 1 1 2 t 3 2 + + ( 1 ) n 2 n Π k = 1 n 1 4 ( 3 k 2 ) t 3 n 2 + ) , t μ ˜ . E38

Lemma 7. The boundary problem L z ( t ) = 0 , z ( 0 ) = z ( μ ˜ ) = 0 will have only trivial solution.

The proofs of Lemmas 6 and 7 are evident.

Theorem 4. The problem

L z ( t ) = f ( t ) , z ( 0 ) = 0 , z ( μ ˜ ) = 0 ,

will have the unique solution and this one has the next form

z ( t ) = 0 μ ˜ G ( t , s ) e 2 3 s 3 / 2 f ( s ) d s,

and G ( t , s ) = { Y ( t ) X ( s ) , 0 t s , Y ( s ) X ( t ) , s t μ ˜ ,

is the function of Green and f ( t ) C ( 0 , μ ˜ ] .

Theorem 4 implies the existence and uniqueness of the solution of problem (34)–(37): | π k ( t ) | < l = c o n s t , t [ 0 , μ ˜ ] .

Lemma 8. Asymptotical expansions of functions π k ( t ) , t μ ˜ ( k = 1 , 2 , ) will have the next forms

π 1 ( t ) = y 0 , 1 2 t ( 1 + 4 5 t 3 + 7 4 t 3 + 42 11 t 9 + 39 2 t 7 + ) ,
π 2 ( t ) = y 0 , 1 t ( 1 + 23 40 t 3 + 173 2 t 3 + ) , π 3 ( t ) = 23 y 0 , 1 60 t 3 + O ( 1 t 3 ) ,
π 3 k + 1 ( t ) = t 1 j = 0 l 3 k + 1 , j t 3 2 j , π 3 k + 2 ( t ) = t 1 / 2 j = 0 l 3 k + 2 , j t 3 2 j , π 3 k ( t ) = j = 1 l 3 k , j t 3 2 j .

Proof for Lemma 8.

Firs proof. We can prove this lemma by applying formulas (38) and Theorem 4.

Second proof. We can receive these representations from Eqs. (34)–(37) directly.

Now we will prove the boundedness of the reminder function R ( x , ε ) . This function will satisfy the next equation:

ε R ' ' ( x , ε ) + x R ' ( x , ε ) R ( x , ε ) = μ 3 ( n + 1 ) π 3 ( n + 1 ) ( t ) + ε n + 1 ( h n ( x ) y n ( x ) ) ,
R ( 0 , ε ) = 0 , R ( 1 , ε ) = 0.

Applying to this problem theorem [23, p.117, 82], we obtained

| R ( x , ε ) | ε n + 1 C max 0 x 1 0 t μ ˜ | π 3 ( n + 1 ) ( t ) + h n ( x ) y n ( x ) | .

Therefore, we have R ( x , ε ) = O ( ε n + 1 ) , ε 0 , x [ 0 , 1 ] .

We prove next.

Theorem 5. The asymptotical expansion of the solution of the problems (27) and (28) and will have the next form

y ( x ) = k = 0 n ε k y k ( x ) + k = 0 3 ( n + 1 ) μ k π k ( t ) + O ( ε n + 1 ) , ε 0.

Advertisement

3. Singularly perturbed differential equations Lighthill type

3.1. The idea of the method of Poincare

Consider the equation

M y ( x ) : = y ' ' ( x ) + y ( x ) ε y 3 ( x ) = 0 . E39

Unperturbed equation has solutions y 0 ( x ) = a 1 cos x + b 1 sin x (where a 1 , b 1 are arbitrary constants) with period 2 π . We are looking for the periodic solution of the equation y ( x , ε ) with a period of ω ( ε ) = ω ( 0 ) = 2 π .

Note that the operator M transforms Fourier series k = 1 a k cos k x and k = 1 a k sin k x in itself. Poincare’s method reduces the existence of periodic solutions of differential equations to the existence of the solution of an algebraic equation.

We will seek a periodic solution of Eq. (39) with the initial condition

y ( 0 ) = 1 , y ' ( 0 ) = 0.

If we seek the solution in the form

y ( x ) = y 0 ( x ) + ε y 1 ( x ) + ε 2 y 2 ( x ) +

with the initial conditions

y 0 ( 0 ) = 1 , y ' 0 ( 1 ) = 0 , y k ( 0 ) = y ' k ( 1 ) = 0 , k = 1 , 2 ,

then for y s ( x ) , s = 0 , 1 , we have next equations

L y 0 : = y ' ' 0 ( x ) + y 0 ( x ) = 0 y 0 ( x ) = cos x
L y 1 = cos 3 x = 3 4 cos x + 1 4 cos 3 x y 1 ( x ) = 3 8 x sin x 1 32 cos 3 x + 1 32 cos x ,

Thus, y ( x ) = cos x + ε 8 ( 3 x sin x 1 4 cos 3 x + 1 4 cos x ) + it is not a uniform expansion of the y(x) on the segment [ , ] , since the term ε x sin x is present here.

If these secular terms do not appear in Eq. (39), it is necessary to make the substitution

x = t ( 1 + ε α 1 + ε 2 α 2 + )

where the constant α k should be selected so as not to have secular terms in t .

Thus, the solution of Eq. (39) must be sought in the form

y ( t ) = y 0 ( t ) + ε y 1 ( t ) + ε 2 y 2 ( t ) + x = t ( 1 + ε α 1 + ε 2 α 2 + ) E40

Then Eq. (39) has the form

z ' ' ( t ) + ( 1 + α 1 ε + α 2 ε 2 + ) z ( t ) = ε ( 1 + α 1 ε + α 2 ε 2 + ) z 3 ( t )

where y ( w ( ε ) t ) = z ( t ) .

We will seek the 2π periodic solution of this equation in the form

z ( t ) = z 0 ( t ) + ε z 1 ( t ) + ε 2 z 2 ( t ) +

Then

L z 0 : = z ' ' 0 ( t ) + z 0 ( t ) = 0 z 0 ( t ) = cos t .
L z 1 ( t ) = α 1 cos t + 3 4 cos t + 1 4 cos 3 t .

The function Z1(t) will have the periodical solution we take α 1 = 3 / 4 . Then z 1 ( t ) = 1 32 cos 3 t .

Similarly, from equations

α z n ( t ) = α n cos t + g ( α 1 , α 2 , , α n 1 ) cos t + m = 1 2 n + 1 β n cos m t

α n and etc. are uniquely determined.

Theorem 6. Equation (39) has a unique 2 π / ω periodic solution, and it can be represented in the form (40).

3.2. The idea of the Lighthill method

Lighthill in 1949 [67] reported an important generalization of the method of Poincare.

He considered the model equation [67, 82]:

( x + ε y ( x ) ) y ' ( x ) + q ( x ) y ( x ) = r ( x ) , y ( 1 ) = a E41

where x [ 0 , 1 ] q ( x ) , r ( x ) C [ 0 , 1 ] .

Lighthill proposed to seek the solution of Eq. (41) in the form

y ( ξ ) = y 0 ( ξ ) + ε y 1 ( ξ ) + ε 2 y 2 ( ξ ) + x = ξ + ε x 1 ( ξ ) + ε 2 x 2 ( ξ ) + E42

It is obvious that Eq. (42) has generalized the Poincare ideas (see, the transformation Eq. (40)).

At first, we consider the example

( x + ε y ( x ) ) y ' ( x ) + y ( x ) = 0 , y ( 1 ) = b . E43

It has exact solution

y ( x ) = ( x 2 + 2 b ε + ε 2 b 2 x ) / ε . E44

It is obvious that for b > 0 , the solution (43) exists on the interval [ 0 , 1 ] and

y ( 0 ) = 2 b + ε b 2 / ε .

The solution of Eq. (43) is obtained by the method of small parameter that can be obtained from Eq. (44). For this purpose, we write Eq. (44) in the form

y ( x ) = x ε ( 1 + 1 + 2 b ε x + b 2 ( ε x ) 2 )

and considering x 2 > 2 ε b , this expression can be expanded in powers of ε , and then we have

y ( x ) = b x + b 2 2 x ε x 2 ( x 2 1 ) + + O ( 1 x ( ε x 2 ) n ) + E45

The series (45) is uniformly convergent asymptotic series only on the segment [ ε α , 1 ] , 0 < α < 1 / 2 .

First, we write Eq. (43) in the form

( x + ε y ( ξ ) ) y ' ( ξ ) + y ( ξ ) x ' ( ξ ) = 0 E46

Substituting Eq. (42) into Eq. (46):

( ξ + ε ( y 0 ( ξ ) + x 1 ( ξ ) ) + + ε n ( y n 1 ( ξ ) + x n ( ξ ) ) + ) ( y ' 0 ( ξ ) + ε y ' 1 ( ξ ) + + + ε n y ' n ( ξ ) + ) + ( y 0 ( ξ ) + ε y ' 1 ( ξ ) + ε n y ' n ( ξ ) + ) ( 1 + ε x ' 1 ( ξ ) + + ε n x ' n ( ξ ) + ) = 0

and equating coefficients of the same powers ε ,we have

ξ y ' 0 ( ξ ) + y 0 ( ξ ) = 0 E47
ξ y ' n ( ξ ) + y n ( ξ ) + i = 0 n 1 ( ( y i ( ξ ) + x i + 1 ( ξ ) ) y ' n 1 i ( ξ ) + y i ( ξ ) x ' n i ( ξ ) ) = 0 , y n ( 1 ) = 0 , n = 1 , 2 , E48

From Eq. (47), we have

y 0 ( ξ ) = b ξ 1 .

Using Eq. (47), Eq. (48) for n = 1 can be written as

ξ y ' 1 ( ξ ) + y 1 ( ξ ) = ( ξ x ' 1 ( ξ ) x 1 ( ξ ) + y 0 ( ξ ) ) y ' 0 ( ξ ) = 0 , y 1 ( 1 ) = 0. E49

If we put x 1 ( ξ ) = 0 in Eq. (49), we obtain

ξ y ' 1 ( ξ ) + y 1 ( ξ ) = b 2 ξ 3 , y 1 ( 1 ) = 0.

Hence, solving this equation, we have

y 1 ( ξ ) = b 2 ( 2 ξ ) 1 b 2 ( 2 ξ 3 ) 1 .

Since differentiation increased singularity of nonsmooth function, we select x 1 ( ξ ) so that the expression in the right side of Eq. (49) is equal to zero, i.e.,

ξ x ' 1 ( ξ ) x 1 ( ξ ) + y 0 ( ξ ) = 0 , x 1 ( 1 ) = 0.

Hence, we have

x 1 ( ξ ) = 2 1 b ξ ( 2 ξ ) 1 b .

Then Eq. (49) takes the form

ξ y ' 1 ( ξ ) + y 1 ( ξ ) = 0 , y 1 ( 1 ) = 0.

Hence, we obtain y 1 ( ξ ) = 0 .

Now Eq. (48) for n = 2 takes the form

ξ y ' 2 ( ξ ) + y 2 ( ξ ) = ( ξ x ' 2 ( ξ ) x 2 ( ξ ) ) y ' 0 ( ξ ) = 0 , y 2 ( 1 ) = 0.

Let x 2 ( ξ ) = 0 , and then y 1 ( ξ ) = 0 . Further also choose x i ( ξ ) = y i ( ξ ) = 0 ( i = 3 , 4 , ) , as they also satisfy the initial conditions. Thus, we have found that

y ( ξ ) = b ξ 1 E50
x ( ξ ) = ξ + b 2 ( ξ 1 ξ ) ε . E51

Putting in Eq. (51) x = 0 , we have

η = b ε / ( 2 + b ε ) . E52

For b > 0 , the point x = 0 is achieved. Moreover, the except in variable ξ from Eq. (50) and to Eq. (51) setting ξ , we obtain the exact solution (44).

Now we will present the main idea of the Lighthill method to Eq. (41) under conditions: q ( x ) , r ( x ) C [ 0 , 1 ] and q 0 = q ( 0 ) > 0 . We will write it in the form of

( x ( ξ ) + ε y ( ξ ) ) y ' ( ξ ) = [ r ( x ( ξ ) ) q ( x ( ξ ) ) y ( ξ ) ] x ' ( ξ ) , y ( 1 ) = y 0 . E53

It is obvious that we have one equation for two unknown functions, y ( ξ ) , x( ξ ). Now we substitute the series (42) to Eq. (53):

( ξ + k = 0 ε k ( y k ( ξ ) + x k ( ξ ) ) ) k = 0 ε k y ' k ( ξ ) = = ( j = 0 r j ( ξ ) ( k = 0 x k ( ξ ) ε k ) j j = 0 q j ( ξ ) ( k = 0 x k ( ξ ) ε k ) j ) ( 1 + k = 0 x ' k ( ξ ) ε k ) ,

where q j = q j ( ξ ) = 1 j ! q ( j ) ( ξ ) , r j = r j ( ξ ) = 1 j ! r ( j ) ( ξ ) .

Hence, equating the coefficients of equal powers has ε

L u 0 ξ y ' 0 ( ξ ) + q ( ξ ) y 0 ( ξ ) = r ( ξ ) , y 0 ( 1 ) = y 0 , E54
L y 1 = [ ξ y ' 0 x ' 1 y ' 0 x 1 y 0 y ' 0 ] + ( r 1 q 1 y 0 ) x 1 , y 1 ( 1 ) = 0 , E55
L y 2 = [ ξ y ' 0 x ' 2 ( y 0 + x 1 ) y ' 1 ( y 1 + x 2 ) y ' 0 + ( ( r 1 q 1 y 0 ) x 1 q y 1 ) x ' 1 ] + + { r 1 x 2 + r 2 x 1 2 q 1 x 1 y 1 ( q 1 x 2 + q 2 x 1 2 ) y 0 } , y 2 ( 1 ) = 0 , E56

L y n = [ y ' 0 x ' n y ' 0 x n + f n ( y 0 , , y n 1 , x 1 , , x n 1 , y ' 0 , , y ' n 1 , x ' 1 , , x ' n 1 ) ] + + { g n ( y 0 , , y n 1 , x 1 , , x n 1 ) } , y n ( 1 ) = 0 ; E57

where q = q 0 , r = r 0 ,

f n = ( y 0 + x 1 ) y ' n 1 ( y 1 + x 2 ) y ' n 2 ( y n 2 + x n 1 ) y ' 1 y n 1 y ' 0 + + ( r 1 x 1 q y 1 q 1 x 1 y 0 ) x ' n 1 + ( r 1 x 2 + r 2 x 1 2 q y 2 q 1 x 1 y 1 ( q 1 x 2 + q 2 x 1 2 ) y 0 ) x ' n 2 + + ( r 1 x n 1 + 2 r 2 x 1 x n 2 + 2 r 2 x 2 x n 3 + + r n 1 x 1 n 1 q 1 y 1 x n 2 ( q 1 x n 1 + 2 q 2 x 1 x n 2 + + q n 1 x 1 n 1 ) y ' 0 ) x ' 1 ,
g n = r 1 x n + 2 r 2 x 1 x n 1 + + r n x 1 n q 1 x 1 y n 1 ( q 1 x 2 + q 2 x 1 2 ) y n 2 ( q 1 x n + 2 q 2 x 1 x n 1 + + q n x 1 n ) y 0 .

In these equations, the coefficient r ( ξ ) q ( ξ ) y 0 ( ξ ) of the derivative x ' n ( ξ ) ( n = 1 , 2 , ) was replaced by Eq. (54) on ξ y ' 0 ( ξ ) .

From Eq. (57) for n = 1,2,…, it follows that if we want to define functions x n ( ξ ) ( n = 1 , 2 , ) from this differential equations, then we must assume that

ξ y ' 0 ( ξ ) = r ( ξ ) q ( ξ ) y 0 ( ξ ) 0 , ξ ( 0 , 1 ] . E58

And this condition cannot be avoided by applying the Lighthill method to Eq. (41). Condition (58) first appeared in [69], justifying Lighthill method, then in the works Habets [66] and Sibuya, Takahashi [68]. Comstock [65] on the example shows that the condition (58) is not necessary for the existence of solutions on the interval [ 0 , 1 ] . Further assume that the condition (58) holds. Note that the right-handside of Eq. (57) is linear with respect to x n ( ξ ) , and f n function depends from y ' 0 , , y ' n 1 , x ' 1 , , x ' n 1 only.

The solution of Eq. (54) can be written as

y 0 ( ξ ) = ξ q 0 g ( ξ ) ( y 0 + 1 ξ s q 0 1 r ( s ) g 1 ( s ) d s ) : = ξ q 0 w ( ξ ) , E59

where g ( ξ ) = exp ( 1 ξ ( q 0 q ( s ) ) s 1 d s ) .

Let

w 0 = y 0 0 1 s q 0 1 r ( s ) g 1 ( s ) d s 0 w 0 = w ( 0 ) 0 .

Hence, we have

y 0 ( ξ ) ~ ξ q 0 w 0 , ξ 0. E60

Since the differentiation of y 0 ( ξ ) increased of its singularity at the point ξ = 0 , it is better to choose such that the first brace in Eq. (55) is equal to zero, i.e.,

ξ x ' 1 = x 1 + y 0 , x ( 1 ) = 0.

Hence, using Eq. (60), we obtain

x 1 ( ξ ) = ξ + ξ 1 ξ s 2 y 0 ( s ) d s ~ w 0 1 + q 0 ξ q 0 . E61

Then Eq. (55) takes the form

L y 1 = ( r 1 q 1 y 0 ) x 1 ~ a ˜ 1 ξ 2 q 0 ,

where a ˜ 1 =const. Hence, we have

y 1 ( ξ ) ~ a 1 ξ 2 q 0 ( a 1 = co n s t ) , ξ 0. E62

Now equating to zero the expression in the first brace in the right-hand side of Eq. (56), we have

ξ x ' 2 x 2 = y 1 + ( ( y 0 + x 1 ) y ' 1 ( ( r 1 q 1 y 0 ) x 1 q y 1 ) x ' 1 ) ( y ' 0 ) 1 ~ b ˜ 2 ξ 2 q 0 , b ˜ 2 = const .

From this, we get

x 2 ( ξ ) ~ b 2 ξ 2 q 0 , b 2 = c o n s t , ξ 0. E63

Now Eq. (56) takes the form

L y 2 = g 2 ( y 0 , y 1 , x 1 , x 2 ) ~ a ˜ 2 ξ 3 q 0 , a ˜ 2 = c o n s t , ξ 0

Solving this equation, we have

y 2 ( ξ ) ~ a 2 ξ 3 q 0 , a 2 = const , ξ 0 E64

Next, the method of induction, it is easy to show that

x j ( ξ ) ~ b j ξ j q 0 , y j ( ξ ) ~ a j ξ ( j + 1 ) q 0 , j = 1 , 2 , …. E65

Thus, the series (42) has the asymptotic

y ( ξ ) ~ ξ q 0 ( w 0 + a 1 ε ξ q 0 + + a n ( ε ξ q 0 ) n + ) , ξ 0 , E66
x ~ ξ w 0 1 + q 0 ξ q 0 ε + b 2 ( ε ξ q 0 ) 2 + + b n ( ε ξ q 0 ) n + E67

From Eq. (67), it follows that the point x = 0 corresponds to the root of the equation

η + ε x 1 ( η ) + ε 2 x 2 ( η ) + = 0 E68

Moreover, this equation should have a positive root and if the solution of Eq. (41) exists on the interval ( 0 , 1 ] . Solving Eq. (68), we obtain

η ~ ( w 0 ε / 1 + q 0 ) 1 / ( 1 + q 0 ) , ε 0. E69

And, under the condition w 0 > 0 , η 0 will be positive. It is obvious that on the interval [ ξ 0 , 1 ] series (42) or (66) and (67) remains asymptotic. Substituting Eq. (69) into Eq. (66), we have

y ( 0 ) ~ w 0 ( w 0 ε 1 + q 0 ) q 0 / ( 1 + q 0 ) , ε 0.

If w 0 < 0 the point x = 0 does not have the positive root of Eq. (68), so that the solution of Eq. (41) goes to infinity, before reaching the point x = 0 .

We have the

Theorem 7. Suppose that the conditions (1) q ( x ) , r ( x ) C [ 0 , 1 ] ; (2) q 0 > 0 ; (3) w 0 > 0 ; (4) ξ y ' 0 0 , ξ [ 0 , 1 ] . Then the solution of problem (41) exists on the interval [ 0 , 1 ] , and it can be represented in the asymptotic series (42), (66) and (67).

Theorem 7 proved by Wasow [69], Sibuya and Takahashi [68] in the case where q ( x ) , r ( x ) are analytic functions on [ 0 , 1 ] ; proved by Habets [66] in the case q ( x ) , r ( x ) C 2 [ 0 , 1 ] . Moreover, instead of the condition (3) Wasow impose a stronger condition: a > > 1 .

In the proof of Theorem 7, we will not stop because it is held by Majorant method.

From the foregoing, it follows that Wasow condition y ' 0 ( ξ ) 0 , ξ ( 0 , 1 ] is essential in the Lighthill method.

Comment 2. Prytula and later Martin [65] proposed the following variant of the Lighthill method. At first direct expansion determined using by the method of small parameter

y ( x ) = y 0 ( x ) + ε y 1 ( x ) + ε 2 y 2 ( x ) + E70

and further at second they will make transformation

x = ξ + ε x 1 ( ξ ) + ε 2 x 2 ( ξ ) + E71

Here unknowns x j ( ξ ) are determined from the condition that function y j ( ξ ) was less singular function y j 1 ( ξ ) . We show that using the method Prytula or Martin, also cannot avoid Wasow conditions. Really, substituting Eq. (71) into Eq. (70) and expanding in a Taylor series in powers of ε, we have

y ( ξ ) = y 0 ( ξ ) + ε { y 1 ( ξ ) + y ' 0 ( ξ ) x 1 ( ξ ) } + O ( ε 2 ) .

Hence, to obtain a uniform representation of the solution to the second order by ε, we must to put to zero the expression in the curly brackets, i.e., x 1 ( ξ ) = y 1 ( ξ ) / y ' 0 ( ξ ) . Therefore, y ( ξ ) = y 0 ( ξ ) + O ( ε 2 ) . Hence, it is clear that we must make the condition of Wasow: y ' 0 ( ξ ) 0 in the method of Prytula or Martin also.

3.3. Uniformization method for a Lighthill model equation

We will consider the problem (41) again [3, 5860], i.e.,

( x + ε y ( x ) ) y ' ( x ) = r ( x ) q ( x ) y ( x ) , y ( 1 ) = a , E72

Theorem 8. Suppose that the problem (72) has a parametric representation of the solution y = y ( ξ ) , x = x ( ξ ) , where ξ [ η , 1 ] , η = η ( ε ) > 0 , then the problem (72) is equivalent to the problem

{ ξ y ' ( ξ ) = r ( x ( ξ ) ) q ( x ( ξ ) ) y ( ξ ) , y ( 1 ) = y 0 , ξ x ' ( ξ ) = x ( ξ ) + ε y ( ξ ) , x ( 1 ) = 1 , ξ [ η , 1 ] , E73

where η = η ( ε ) is the root equation x ( η ) = 0 and if the root η = η ( ε ) > 0 and x ( ξ ) + ε y ( ξ ) 0 on the interval [ η , 1 ] .

Proof. Sufficiency. Let the solution of the problem (72) exists and x ( ξ ) , y ( ξ ) are a parametric representation of the solution of the problem (72). Then introducing the variable-parameter ξ , we obtain the problem (73).

Necessity. Let it fulfill the conditions of Theorem 8. Then dividing the first equation by second one, we get Eq. (72). Theorem 8 is proved.

Equation (73) on the proposal of the Temple [43], we will call uniformizing equation for the problem (72).

We have the following

Theorem 9. Suppose that the first three conditions of Theorem 8. i.e.,(1) q ( x ) , r ( x ) C [ 0 , 1 ] ; (2) q 0 > 0 ; (3) w 0 > 0 . Then the solution of problem (72) is represented in the form of an asymptotic series (42) and its solution can be obtained from uniformizing equation (73).

The proof of this theorem is completely analogous to the proof of Theorem 8, even more easily.

Only it remains to show that under the conditions of Theorem 9 we can get an explicit solution y = y ( x , ε ) . Really, since

x ~ ξ w 0 1 + q 0 ξ q 0 ε , ξ 0.

Let

F ( x , ξ , ε ) = x ξ + w 0 1 + q 0 ξ q 0 ε + O ( ( ε ξ q 0 ) 2 ) , ξ 0 , η = w 0 1 + q 0 ε q 0 + 1 , ε 0.

then

F ( x , ξ , ε ) ξ | ξ = η ( ε ) = 1 q 0 + O ( ε 1 / ( 1 + q 0 ) ) 0 , ξ [ η , 1 ] .

Therefore, by the implicit function theorem, we can express ξ : ξ = ϕ ( x , ε ) .

Then when we put it in first equality (42), we obtain an explicit solution y = y ( x , ε ) .

Comment 3. Explicit asymptotic solution that this problem obtained in Section 3.4.

Example 43. Uniformized equation is

{ ξ y ' ( ξ ) = y ( ξ ) , y ( 1 ) = b , ξ x ' ( ξ ) = x ( ξ ) + ε y ( ξ ) , x ( 1 ) = 1 , ξ [ η , 1 ] ,

It is easy to integrate this system, and we obtain

y ( ξ ) = b ξ 1 , x ( ξ ) = ( 1 + 2 1 b ε ) ξ ( 2 ξ ) 1 b ε ,

Hence, excluding variable ξ, we have an exact solution (44).

Example 2 [37, 43])

( x + ε y ( x ) ) y ' ( x ) + ( 2 + x ) y ( x ) = 0 , y ( 1 ) = e 1 .

Uniformized equation is

{ ξ x ' ( ξ ) = x + ε y ( ξ ) , x ( 1 ) = 1 , ξ y ' ( ξ ) = ( 2 + x ( ξ ) ) y ( ξ ) , y ( 1 ) = e 1 , ξ [ η , 1 ] , E74

Let

{ x ( ξ ) = x 0 ( ξ ) + ε x 1 ( ξ ) + O ( ε 2 ) , y ( ξ ) = y 0 ( ξ ) + ε y 1 ( ξ ) + O ( ε 2 ) , E75

Substituting Eq. (75) into Eq. (74), we have

x 0 ( ξ ) = ξ , x 1 ( ξ ) = ξ 1 ξ e s s 4 d s , y 0 ( ξ ) = e ξ ξ 2 , y 1 ( ξ ) = e ξ ξ 2 1 ξ e s s 4 d s ,

Hence if ξ 0 , we obtain

x 0 ( ξ ) = ξ , x 1 ( ξ ) = 1 3 ξ 2 + , y 0 ( ξ ) = ξ 2 + , y 1 ( ξ ) = 1 6 ξ 4 +

From the equation x ( η ) = 0 , we find η : η ~ ε / 3 3 .

We prove that x ( ξ ) + ε y ( ξ ) 0 on the interval [ η , 1 ] .

Really,

x ( ξ ) + ε y ( ξ ) ~ ξ + ε ξ 2 0 , ξ [ η , 1 ] .

3.4. It is construction explicit form of the solution of the model Lighthill equation

We will consider the problem [57], i.e., (41) again

( x + ε y ( x ) ) y ' ( x ) + q ( x ) y ( x ) = r ( x ) , y ( 1 ) = b E76

where b is given constant, x [ 0 , 1 ] , y ' ( x ) = d y / d x . Given functions are subjected to the conditions U : q ( x ) , r ( x ) C ( ) [ 0 , 1 ] .

Here, we consider the case q 0 = 1 ; this is done to provide a detailed illustration of the idea of the application of the method. We search for the solution of problem (76) in the form

y ( x ) = μ 1 π 1 ( t ) + k = 0 ( π k ( t ) + u k ( x ) ) μ k , E77

where t = x / μ , ε = μ 2 , u k ( x ) C ( ) [ 0 , 1 ] and π k ( t ) C ( ) [ 0 , μ 0 ] , μ 0 = 1 / μ .

Note that π k ( t ) = π k ( t , μ ) , i.e., π k ( t ) depends also on μ , but this dependence is not indicated.

The initial conditions for the functions π j ( t ) are taken as

π 1 ( 1 / μ ) = b μ , b = u 0 k = 0 μ k u k ( 1 ) , π k ( μ 0 ) = 0 , k = 0 , 1 , E78

Substituting Eq. (77) into Eq. (76), we obtain to determine the functions π k ( t ) , k = 1 , 0 , 1 , , u n ( x ) , n = 0 , 1 , ,

we have the following equations:

( t + π 1 ( t ) ) π 1 ( t ) = q ( μ   t ) π 1 ( t ) , π 1 ( μ 0 ) = b μ , E79.-1
L u 0 ( x ) : = x u 0 ( x ) q ( x ) u 0 ( x ) = r ( x ) , u 0 ( x ) C ( ) [ 0 , 1 ] E80.0
D π 0 ( t ) : = ( t + π 1 ( t ) ) π 0 ( t ) + ( π 1 ( t ) q ( μ   t ) ) π 0 ( t ) = u 0 ( t μ ) π 1 ( t ) , π 0 ( μ 0 ) = 0 E79.0
L u 1 ( x ) = 0 , u 1 ( x ) C ( ) [ 0 , 1 ] , E80.1
D π 1 ( t ) = u 0 ( t μ ) π 0 ( t ) + π 0 ( t ) π 0 ( t ) u 1 ( t μ ) π 1 ( t ) , π 1 ( μ 0 ) = 0 E79.1
L u 2 ( x ) : = u 0 ( x ) u 0 ( x ) , u 2 ( x ) C ( ) [ 0 , 1 ] E80.2
D π 2 ( t ) : = u 0 ( t μ ) π 1 ( t ) π 0 ( t ) π 1 ( t ) u 1 ( t μ ) π 0 ( t ) π 1 ( t ) π 0 ( t ) u 2 ( t μ ) π 1 ( t ) , π 2 ( μ 0 ) = 0 E79.2
L u 3 ( x ) : = u 0 ( x ) u 1 ( x ) u 0 ( x ) u 1 ( x ) , u 3 ( x ) C ( ) [ 0 , 1 ] , E80.3
D π 3 ( t ) = i + j = 2 i 0 , j 2 u i ( μ   t ) π j ( t ) + i + j = 2 i , j 0 π i ( t ) π j ( t ) , π 3 ( μ 0 ) = 0 , E79.3

We solve these problems successively. We write problem (79.1) as

t z ( t ) q ( μ t ) z ( t ) = z ( t ) z ( t ) , z ( μ 0 ) = b μ ,

where

z = π 1 ( t ) , μ 0 = μ 1 .

The fundamental solution of the homogeneous equation corresponding to this equation is of the form

z 0 ( t ) = exp { μ 0 t q ( μ s ) d s s } = exp { μ 0 t ( q ( μ s ) + 1 ) d s s μ 0 t d s s } = p ( t , μ ) μ t ,

where

p ( t , μ ) = exp { μ 0 t ( q ( μ s ) + 1 ) d s s } .

Using the expression for z 0 ( t ) , the solution of the inhomogeneous equation for z ( t ) can be written as

z ( t ) = p ( t , μ ) μ t [ z ( μ 0 ) + μ μ 0   t p 1 ( s , μ ) z ( s ) z ( s ) d s ]  ,

Or t z ( t ) = p ( t , μ ) b p ( t , μ ) μ 0   t p 1 ( s , μ ) z ( s ) z ( s ) d s .

After integrating by parts, we reduce the last expression to the following equation:

t z ( t ) = p ( t , μ ) b z 2 ( t ) 2 + p ( t , μ ) b 2 μ 2 2 + p ( t , μ ) 2 μ 0   t 1 + q ( μ s ) s p 1 ( s , μ ) z 2 ( s ) d s

or

z 2 ( t ) + 2 t z ( t ) p ( t , μ ) b 0 = p ( t , μ ) μ 0 t φ ( s , μ ) p 1 ( s , μ ) z 2 ( s ) d s : = p ( t , μ ) T ( t , z 2 ) E81

where ϕ ( s , μ ) = ( 1 + q ( μ s ) ) / s , b 0 = 2 b + b 2 μ 2 .

Let b 0 > 0 . Let us introduce the notation z 0 ( t ) = t + t 2 + b 0 p ( t , μ ) . This function satisfies the inequality 0 < z 0 ( t ) M t 1 ( t > 0 ) and is a strictly decreasing bounded function on the closed interval [ 0 , μ 0 ] . Here and elsewhere, all constants independent of the small parameter μ are denoted by M . Let S μ be the set of functions z ( t ) satisfying the condition

z z 0 M μ , where z = max 0 t μ 0 | z ( t ) | ,

Theorem 10. If b 0 > 0 , then there exists a unique constraint of the solution of problem (79.-1) from the set S μ .

Proof. Equation (81) is equivalent to the equation z = F [ t , z ] , where

F [ t , z ] = t + t 2 + b p ( t , μ ) + p ( t , μ ) T ( t , z 2 ).

Suppose that ϕ ( t , μ ) M μ , 0 < m p ( t , μ ) M , p 1 ( t ) M . First, let us estimate T ( t , z 2 ) on the set S μ . We have

| T ( t , z 2 ) | t μ 0 | ϕ ( s , μ ) | | p 1 ( s , μ ) | | z ( s ) | 2 d s M μ t μ 0 | z ( s ) | 2 d s M μ 0 μ 0 | z ( s ) | 2 d s M μ 0 1 | z ( s ) | 2 d s + M μ 1 μ 0 | z ( s ) | 2 d s M μ .

Here, we have used the triangle inequality

| z ( t ) | | z ( t ) z 0 ( t ) | + | z 0 ( t ) | ,

as well as the inequality

| z 0 ( t ) | M t 1 ( t > 0 ) .

The Fréchet derivative of the operator F ( t , z ) with respect to z at the point z 0 ( t ) is a linear operator:

F z ( t , z 0 ) h = p ( t , μ ) t μ 0 ϕ ( s , μ ) p 1 ( s , μ ) z 0 ( s ) h ( s ) d s t 2 + p ( t , μ ) ( b + T ( t , z 2 ) ) ,

where h ( t ) is a continuous function on the closed interval [ 0 , μ 0 ] . Note that, in view of T ( t , z 0 2 ) = O ( μ ) , the denominator of this expression is strictly positive on the closed interval [ 0 , μ 0 ] . For F z ( t , z 0 ) , we can obtain the estimate F z ( t , z 0 ) M μ ln μ 1 in the same way as the estimate for T ( t , z 2 ) . Hence, in turn, it follows from the Lagrange inequality that the operator is a contraction operator in the set S μ . Therefore, by the fixed-point principle, Eq. (81) has a unique solution from the class S μ . The theorem is proved.

Corollary. The following inequalities hold:

  1. z ( t ) = π 1 ( t ) M > 0 for all t [ 0 , μ 0 ] ;

  2. π 1 ( t ) M t 1 ( t > 0 ) .

The other function π j ( t ) , u j ( x ) , j = 0 , 1 , 2 , is determined from the inhomogeneous linear equations; therefore, the following lemmas are needed.

Lemma 9. For any function f ( x ) C ( ) [ 0 , 1 ] , the equation L ξ = f ( x ) has a unique bounded solution ξ ( x ) C ( ) [ 0 , 1 ] expressible as

ξ ( x ) = Q ( x )   0   x Q 1 ( s ) f ( s ) d s x , Q ( x ) = exp {   1   x ( q ( s ) + 1 ) d s s } .

Proof. The proof follows from the fact that the general solution of the equation under consideration is expressed as

ξ ( x ) = Q ( x ) x 1 [ ξ ( 1 ) +   1   x Q 1 ( s ) f ( s ) d s ].

If we choose

ξ ( 1 ) =   0   1 Q 1 ( s ) f ( s ) d s.

then we obtain the required result.

This lemma implies that all the functions u k ( x ) , k = 0 , 1 , are uniquely determined and belong to the class C [ 0 , 1 ] .

Lemma 10. The problem

( t + π 1 ( t ) ) η ( t ) + ( π 1 ( t ) q ( μ t ) ) η ( t ) = k ( t ) , η ( μ 0 ) = 0 , E82

where the function k ( t ) belongs to C [ 0 , 1 ] is continuous and bounded, and if | k ( t ) | M t 2 , t , has a unique uniformly bounded solution η ( t ) = η ( t , μ ) on the closed interval t [ 0 , μ 0 ] for a small μ .

Proof. The fundamental solution of the homogeneous equation (82) is of the form

Ф ( t ) = ( 1 + μ 2 b ) g ( t , μ ) μ ( t + π 1 ( t ) ) , g ( t , μ ) = exp {   t   μ 0 ( 1 + q ( μ s ) ) d s s + π 1 ( s ) } .

Obviously, g ( t , μ ) M and g 1 ( t , μ ) M for t [ 0 , μ 0 ] and μ aresmall. The solution of problem (82) can be expressed as

η ( t ) = g ( t , μ ) t + π 1 ( t )   μ 0   t g 1 ( s , μ ) k ( s ) d s . E83

The estimate of the integral term in Eq. (83) shows that it is bounded by the constant M . Hence, it also follows that | η ( t ) | M t 1 ( t > 0 ) . The solution of problem (79.0) is defined by the integral Eq. (83), where

k ( t ) = u 0 ( t μ ) π 1 ( t ) = u 0 ( t μ ) q ( μ t ) π 1 ( t ) t + π 1 ( t ) ,

satisfies the assumptions of the lemma. Therefore, the function π 0 ( t ) is bounded on [ 0 , μ 0 ] . The boundedness of the other functions π k ( t ) , k = 1 , 2 , is proved in a similar way, because the right-hand sides of the equations defining these functions satisfy the assumptions of Lemma 10. The estimate of the asymptotic behavior of the series (77) is also carried out using Lemma 10.

Let us introduce the notation

y ( x ) = μ 1 π 1 ( t ) + k = 0 n μ k ( π k ( t ) + u k ( x ) ) + μ n + 1 R n + 1 ( x , μ ) . E84

The following statement holds.

Theorem 11. Let b 0 > 0 (for this, it suffices that the condition b 0 : = b y 0 ( 1 ) > 0 holds). Then the solution of problem (76) exists on the closed interval [ 0 , 1 ] and its asymptotics can be expressed as Eq. (84) and | R n + 1 ( x , μ ) | M for all x [ 0 , 1 ] .

Example. Consider the equation

( x + ε y ( x ) ) y ' ( x ) + y ( x ) = 1 , y ( 1 ) = b ,

This equation is integrated exactly

y ( x ) = ε 1 [ x + x 2 + 2 b 0 ε + ε 2 ( y ( 0 ) ) 2 + 2 ε x ] ,

where b 0 = b 1 . If b 0 > 0 , then the solution of problem (1) exists on the closed interval [ 0 , 1 ] , which is confirmed by Theorem 11. The equation for π 1 ( t ) is of the form

( t + π 1 ( t ) ) π 1 ( t ) + π 1 ( t ) = 0 , π 1 ( μ 0 ) = b μ .

The solution of this problem can be expressed as

π 1 ( t ) = t + t 2 + 2 b + b 2 μ 2 .

The equation for u0(x) has the solution y 0 ( x ) = 1 C [ 0 , 1 ] . Further,

π 0 ( t ) = π 1 ( t ) + b μ t + π 1 ( t ) , u k ( x ) = 0 , k = 1 , 2 , ,

where b = b 0 . The asymptotics of the solutions of problem (76) can be expressed as

y ( x ) = μ 1 π 1 ( x / μ ) + 1 + π 0 ( x / μ ) + o ( μ ) for all x [ 0 , 1 ] , μ 0.

Advertisement

4. Lagerstrom model problem

The problem [32]

v ' ' ( r ) + k r v ' ( r ) + v ( r ) v ' ( r ) = β [ v ' ( r ) ] 2 , v ( ε ) = 0 , v ( ) = 1, E85

where 0 < β is constant, k N .

It has been proposed as a model for Lagerstrom Navier-Stokes equations at low Reynolds numbers. It can be interpreted as a problem of distribution of a stationary temperature v ( r ) .

The first two terms in Eq. (1) is ( k + 1 ) dimensional Laplacian depending only on the radius, and the other two members—some nonlinear heat loss.

It turns out that not only the asymptotic solution but also convergent solutions of Eq. (1) can be easily constructed by a fictitious parameter [70]. The basic idea of this method is as follows. The initial problem is entered fictitious parameter λ [ 0 , 1 ] with the following properties:

  1. λ = 0 , the solution of the equation satisfies all initial and boundary conditions;

  2. The solution of the problem can be expanded in integral powers of the parameter λ for all λ [ 0 , 1 ] .

It is convenient in Eq. (85) to make setting r = ε x , v = 1 u , then

u ' ' ( x ) + ( k x 1 + ε ) u ' ( x ) λ ε u ( x ) u ' ( x ) = [ u ' ( x ) ] 2 , u ( 1 ) = 1 , u ( ) = 0. E86

We have the following

Theorem 12. For small ε > 0 , the solution of problem (86) can be represented in the form of absolutely and uniformly convergent series

u ( x ) = u 0 ( x , ε ) + v k ( ε ) u 1 ( x , ε ) + + v k n ( ε ) u n ( x , ε ) + ,

for the sufficiently small parameter ε , where

v 1 ( ε ) ( ln 1 ε ) 1 , v 2 ε ln 1 ε , v k k 1 k 2 ε ( j > 2 ) ; u k ( x , ε ) = O ( 1 ) , x [ 1 , )

Note that the function u n ( x , ε ) also depends on k , but for simplicity, this dependence is not specified.

Proof. We introduce Eq. (86) parameter λ , i.e., consider the problem

u ' ' ( x ) + ( k x 1 + ε ) u ' ( x ) β [ u ' ( x ) ] 2 = λ ε u ( x ) u ' ( x ) , u ( 1 ) = 1 , u ( ) = 0 E87

Here, we will prove this Theorem 12 in the case β = 0 only for simplicity.

Setting λ = 0 in Eq. (87), we have

u 0 + ( x 1 k + ε ) u 0 = 0 , u 0 ( 1 ) = 1 , u 0 ( ) = 0. E88

It has a unique solution

u 0 = X ( x , ε ) : = 1 X 1 ( X , ε ) , X 1 = C 0 1 x s k e ε s d s , C 0 1 = 1 s k e ε s d s .

Therefore, Eq. (88) with zero boundary conditions is the Green’s function

K ( x , s , ε ) = { C 0 1 X 1 ( x , ε ) X ( s , ε ) , 1 x s , C 0 1 X 1 ( s , ε ) X ( x , ε ) , s < x < .

Hence, the problem (87) is reduced to the system of integral equations

u ( x ) = X ( x , ε ) + λ ε 1 G ( x , s , ε ) u ( s ) u ( s ) d s , u ( x ) = X ( x , ε ) + λ ε 1 G x ( x , s , ε ) u ( s ) u ( s ) d s , E89

where

G ( x , s , ε ) = { X 1 ( x , ε ) X ( s , ε ) / X ( s , ε ) , 1 x s , X 1 ( s , ε ) X ( x , ε ) / X ( s , ε ) , s < x < .

In Eq. (89), we make the substitution u = X ( x , ε ) ϕ ( x ) , u = X ( x , ε ) ψ ( x ) , and then we have

ϕ ( x ) = 1 + λ ε 1 Q 1 ( x , s , ε ) ϕ ( s ) ψ ( s ) d s : = 1 + λ ε Q 1 ( ϕ ψ ) , ψ ( x ) = 1 + λ ε 1 Q 2 ( x , s , ε ) ϕ ( s ) ψ ( s ) d s : = 1 + λ ε Q 2 ( λ ψ ) , E90

where

Q 1 = X 1 ( x , ε ) G ( x , s , ε ) X ( s , ε ) X ( s , ε ) , Q 2 = X x 1 ( x , ε ) G x ( x , s , ε ) X ( s , ε ) X ( s , ε ) .

To prove the theorem, we need next

Lemma 11. The following estimate holds

1 | Q j ( x , s , ε ) | d s 1 X ( s , ε ) d s ( j = 1 , 2 ) E91

Given that, we have 0 X 1 ( x , ε ) 1 , | X ( x , ε ) | = X ( x , ε ) , X ( x , ε ) 0 , x [ 1 , ) , we have

1 | Q 1 ( x , s , ε ) | d s 1 x X 1 ( s , ε ) X 1 ( s , ε ) | X ( s , ε ) | X ( s , ε ) d s + + x X 1 ( x , ε ) X 2 ( s , ε ) | X ( s , ε ) | X 1 ( s , ε ) d s 1 x X ( s , ε ) d s + x X ( s , ε ) d s = 1 X ( s , ε ) d s .

Inequality Eq. (91) for j = 2 is proved similarly.

Further, by integrating by parts, we have

1 X ( s , ε ) d s = 1 + C 0 1 s k + 1 e ε s d s 1 s k + 1 e ε s d s / 1 s k e ε s d s : = v k ( ε ) ε .

Consequently,

ε 1 X ( x , ε ) d s v k ( ε ) . E92

It is from integral expressing of v k ( ε ) we can obtain the asymptotic behavior such as indicated in the theorem.

With the solution of Eq. (90), we can expand in series

ϕ ( x ) = 1 + ϕ 1 ( x , ε ) λ + ϕ 2 ( x , ε ) λ 2 + , Ψ ( x ) = 1 + Ψ 1 ( x , ε ) λ + Ψ 2 ( x , ε ) λ 2 + ….

The coefficients of this series are uniquely determined from the equations ϕ 0 = Ψ 0 = 1 , ϕ 1 = ε Q 1 ( 1 ) , Ψ 1 = Q 2 ( 1 ) , ϕ n = ε Q 1 ( ϕ n 1 ) + ε Q 1 ( Ψ n 1 ) + ε Q 1 ( ϕ 1 Ψ n 2 ) + + ε Q 1 ( ϕ n 2 Ψ 1 ) , Ψ n = ε Q 2 ( ϕ n 1 ) + ε Q 2 ( Ψ n 1 ) + ε Q 2 ( ϕ 1 Ψ n 2 ) + + ε Q 2 ( ϕ n 2 Ψ 1 ) , ( n = 2 , 3 , ) .

Let z = sup 1 x < { | ϕ ( x ) | , | Ψ ( x ) | } , then by using Eq. (92) we have a Majorant equation: z = 1 + λ v k ( ε ) z 2 . The solution of this equation can be expanded in powers λ the under condition 8 v k ( ε ) 1 for all λ [ 0 , 1 ] .

If we call u n ( x , ε ) = X ( x , ε ) ϕ n ( x , ε ) v k n ( ε ) , we get the proof of the theorem.

References

  1. 1. Duboshin, G.N. Celestial Mechanics: Analytical and Qualitative Methods. Moscow, Nauka. 1964. [In Russian].
  2. 2. Alymkulov, K. To the theory relaxation oscillation solution of Van der Pole equation. Izvestia AN KyrgSSR. 1985. No. 2, pp. 14-17. [In Russian]
  3. 3. Alymkulov, K. Perturbed differential equations with singularly points and same bifurcations problems. Ilim, Bishkek, 1992. 138 p. [In Russian]
  4. 4. Alymkulov, K., Zulpukarov, A.Z. Uniformly asymptotic of the solution of the boundary value problem for singularly perturbed equation of the second order with weakly singularity. DAN Russian. 2004, Vol. 398, No. 5. pp. 1-4. [In Russian]
  5. 5. Alymkulov, K., Asylbekov, T. Generalization of the boundary Leary function for construction of asymptotic solution singularly perturbed equation with turning point. Vestnik KNU. Bishkek. 2011. pp. 43-45. [In Russian]
  6. 6. Alymkulov, K., Asylbekov, T.D., Dolbeeva, S.F. Generalization of the boundary function method for solving boundary-value problems for bisingularly perturbed second-order differential equations. Math. Notes. 2013, Vol. 94. No. 3-4, pp. 451-454.
  7. 7. Alymkulov, K. Method of boundary layer function to solve the boundary value problem for a singularly perturbed differential equation of the order two with a turning point. Universal J. Appl. Math. 2014, Vol. 2, No. 3, pp. 119-124.
  8. 8. Alymkulov, K., Tursunov, D.A. A method for constructing asymptotic expansions of bisingularly perturbed problems. Russian Math. 2016, Vol. 60, No. 12, pp. 1-8.
  9. 9. Alymkulov, K., Tursunov, D.A., Azimov, B.A. Generalized method of boundary layer function for bisingularly perturbed differential Cole equation. FJMS. Pushpa Publishing House, Allahabad, India, 2017, Vol. 101, No. 3, pp. 507-516.
  10. 10. Steinrück, H. Asymptotic Methods in Fluid Mechanics: Survey and Recent Advances. Springer-Verlag, Wien, 2010.
  11. 11. Carrier, G.P. Boundary layer problems in applied mathematics. Comm. Appl. Math. 1954, Vol. 7, pp. 11-17.
  12. 12. Chang, К., Howes, F.A. Nonlinear Singular Perturbation Phenomena: Theory and Applications. Springer-verlag, Berlin, 1984.
  13. 13. Cole, J.D. Perturbation Methods in Applied Mathematics. Blaisdell Publishing Company, New York, 1968.
  14. 14. Cousteix, J., Mauss, J. Asymptotic Analysis and Boundary Layers. Springer-Verlag, Berlin Heidelberg, 2007.
  15. 15. Eckhaus, W. Asymptotic Analysis of Singular Perturbations. North Holland, Amsterdam, 287 p, 1979.
  16. 16. Fruchard, A., Schafke, R. Composite Asymptotic Expansions. Lecture Notes in Mathematics. Vol. 2066. Springer, Berlin, Heidelberg, 2013.
  17. 17. Georgescu, A. Asymptotic Treatment of Differential Equations. Chapman & Hall, New York, 1995.
  18. 18. Hastings, S.P., Mcleod, J.B. Classical Methods in Ordinary Differential Equations, with Applications to Boundary Value Problems, AMS, Providence, Rhode Island, 2012.
  19. 19. Hinch, E.J. Perturbation Methods. Cambridge University Press, Cambridge, England, 1981.
  20. 20. Holmes, M.H. Introduction to Perturbation Methods. Springer-Verlag, New York, 1995.
  21. 21. Hsieh, P-F., Sibuya, Y. Basic Theory of Ordinary Differential Equations. Springer, New York, 1999.
  22. 22. Il’in, A.M. Matching of Asymptotic Expansions of Solutions of Boundary Value Problems. AMS, Providence, Rhode Island, 1992.
  23. 23. Il’in, A.M., Danilin, A.R. Asymptotic Methods in Analysis. Fizmatlit, Moscow, 2009. [In Russian].
  24. 24. Imanaliev, M., Asymptotic Methods in the Theory of Singularly Perturbed Integrodifferential Systems. Ilim, Bishkek, 1972. [In Russian].
  25. 25. de Jager, E.M., Jiang, F. The Theory of Singular Perturbations, North-Holland Series in Applied Mathematics and Mechanics. Vol. 42, North-Holland Publication, Amsterdam, 1996.
  26. 26. John, N.C. Singular Perturbation in the Physical Sciences. AMS, University of California, Berkeley, CA, 2015.
  27. 27. Johnson, R.S. Singular Perturbation Theory. Springer, New York, 2004.
  28. 28. Kevorkian, J., Cole, J.D. Perturbation Methods in Applied Mathematics. Springer-Verlag, New York, 1981.
  29. 29. Kevorkian, J., Cole, J.D. Multiple Scale and Singular Perturbations Method. Springer, New York, 1996.
  30. 30. Kreiss, H.-O., Parter, S.V. Remarks on singular perturbation with turning points. SIAM J. Math. Anal. 1974, Vol. 5, pp. 230-51.
  31. 31. Kuzmina, R.P. Asymptotic Methods for Ordinary Differential Equations. Springer, New York, 2000.
  32. 32. Lagerstrom, P.A. Matched Asymptotic Expansions. Ideas and Techniques. Springer-Verlag, New York, 1988.
  33. 33. Lomov, S.A. Introduction to the General Theory of Singular Perturbations. AMS, Providence, Rhode Island, 1992.
  34. 34. Mischenko, E.F., Rozov, N.Ch. Differential Equations with Small Parameters and Relaxation Oscillations. Plenum Press, New York, London, 1980.
  35. 35. Murdock, J.A. Perturbations: Theory and Methods (Classics in Applied Mathematics). John Willey & Sons, New York, 1991.
  36. 36. Nagumo, M. Collected Paper. Springer-Verlag, Tokyo, 1993
  37. 37. Nayfeh, A.H. Perturbation Methods. John Wiley & Sons, Chichester, New York, 2008.
  38. 38. O’Malley, R.E., Jr. Introduction to Singular Perturbation. Academic Press, New York, 1974.
  39. 39. O’Malley, R.E. Singular Perturbation Methods for Ordinary Differential Equations. Springer, New York, 1991.
  40. 40. Sirovich, L. Techniques of Asymptotic Analysis. Springer-Verlag, New York, 1971.
  41. 41. Skinner, L.A. Singular Perturbation Theory. Springer, New York, 2011.
  42. 42. Smit, D.R. Singularl-Perturbation Theory: An Introduction with Applications. Cambridge University Press, Cambridge, 1985.
  43. 43. Temple, G. Linearization and delinearization. Proc. Inter. Congr. Math., Edinburgh, pp. 233-247, 1958.
  44. 44. Trenogin, V.A. The development and applications of the asymptotic method of Lyusternik and Vishik. Uspekhi Mat. Nauk. 1970, Vol. 25, No. 4, pp. 123-156 [Russian Math. Surveys 25 (4), 119-156 (1970)].
  45. 45. Tursunov, D.A. Asymptotic expansion for a solution of an ordinary second-order differential equation with three turning points, Tr. IMM UrO RAN, 2016, Vol. 22, No. 1, pp. 271-281. [In Russian]
  46. 46. Tursunov, D.A. Asymptotic expansion of the solution of a singularly perturbed ordinary second-order differential equation with two turning points. Tomsk State University Journal of Mathematics and Mechanics. 2012, Vol. 21, No. 1, pp. 34-40. [In Russian]
  47. 47. Tursunov, D.A. The asymptotic solution of the bisingular Robin problem, Sib. Èlektron. Mat. Izv., 2017, Vol. 14, pp. 10-21. [In Russian]
  48. 48. Verhulst, F. Methods and Applications of Singular Perturbations. Boundary Layers and Multiple Timescale Dynamics. Springer, New York, 2005.
  49. 49. Van Dyke, M. Perturbation Methods in Fluid Dynamics. Academic Press, New York, 1964.
  50. 50. Vasil’eva, A.B., Butuzov, V.F. Asymptotic Expansions of the Solutions of Singular Perturbed Equations. Nauka, Moscow, 1973. [In Russian].
  51. 51. Vasil'eva, A.B., Butuzov, V.F., Kalachev, L.V. The Boundary Function Method for Singular Perturbed Problems. SIAM, Cambridge University Press, Cambridge, 1987.
  52. 52. Visik, M.I., Lyusternik, L.A. Regular degeneration and boundary layer for linear differential equations with small parameter. Uspehi Mat. Nauk. 1957, Vol. 5, No. 77, pp. 3-122.
  53. 53. Wasow, W.A. Linear Turning Point Theory. Springer, Berlin, 1985.
  54. 54. Wasow, W. Asymptotic Expansions for Ordinary Differential Equations. Dover Publication Inc., New York, 1987.
  55. 55. Watts, A.M. A singular perturbation problem with a turning point. Bull. Australian Math. Soc. 1971, Vol. 5, pp. 61-73.
  56. 56. Zauderer, E. Partial Differential Equations of Applied Mathematics. John Willey & Sons, Inc., New York, 1989.
  57. 57. Alymkulov, K., Khalmatov, A.A. A boundary function method for solving the model Lighthill equation with a regular singular point. Math. Notes. 2012. Vol. 92, No. 6, pp. 117-121.
  58. 58. Alymkulov, K. The method of small parameter and justification of Lighthill method. Izvestia АN KyrgSSR. 1979, No. 6, pp. 8-11. [In Russian]
  59. 59. Alymkulov, К. The method of uniformization and justification of Lighthill method. Izvestia АN KyrgSSR. 1981, No. 1. pp. 35-38. [In Russian]
  60. 60. Alymkulov, K. Development the method and justification of Lighthill method. Izvestia АN KyrgSSR. 1985, No. 1. pp. 13-17. [In Russian]
  61. 61. Alymkulov, K. Generation of a periodic solution from a loop of a saddle-point separatrix in singularly perturbed systems, DAN SSSR, 1987, Vol. 295, No. 5, pp. 1033-1036. [In Russian]
  62. 62. Alymkulov, K., Zheentaeva, Zh.K. Method of structural Matching the Solution to the Lighthill model equation with a regular singular point. Doklady Math. Sci. 2004, Vol. 398, No. 6, pp. 1-4. [In Russian]
  63. 63. Alymkulov, K. Analog of the method of boundary layer function for the solution of the Lighthill’s model equation with the regular singular point. Am. J. Math. Stat. 2013, Vol. 3, No. 1, pp. 53-61.
  64. 64. Alymkulov, K., Matanova, K.B., Khalmatov, A.A. About new statement and about new method of Cauchy problem for singular perturbed differential equation of the type of Lighthill. Int. J. Sci. Innovative Math. Res. (IJSIMR). 2015, Vol. 3, pp. 54 -64.
  65. 65. Comstok, C. The Poincare-Lighthill perturbation technique and its generalizations. SIAM Review. 1972, Vol. 14, No. 3, pp. 433-443.
  66. 66. Habets, P. On the method of strained coordinates. Lect. Notes Math. 1976, Vol. 564, No. 1, pp. 152-162.
  67. 67. Lighthill, M.J. A technique for rendering approximate solution to physical problems uniformly valid. Phil. Mag. 1949, Vol. 40, No. 7, pp. 1179-1201.
  68. 68. Sibuya, Y., Takahasi, K.J. On the differential equation. Func. Eqs. 1955. Vol. 9, No. 1-3, pp. 71-81.
  69. 69. Wasow, W.A. On the convergence of an approximation method of M.J. Lighthill. J. Rat. Mech. Anal. 1955, Vol. 40, pp. 751-767.
  70. 70. Alymkulov, K., Tolubaev, J. Solution of the Lagerstrom model problem. Math. Note 1994. Vol. 56, No. 4, pp. 3-8.
  71. 71. Alynkulov, K., Omuraliev, M.K. Method of structural matching and its application to Lagerstrom’s model equation. Int. J. Inn. Sci. Math. 2015, Vol. 3, pp. 81-88.
  72. 72. Bush, W.B. On the Lagerstrom mathematical model for viscous flow at low Reynolds number. SIAM J. Appl. Math. 1971, Vol. 20, pp. 279-187.
  73. 73. Cohen, D.S., Fokas, A., Lagerstrom, P.A. Proof of some asymptotic results for a model equation for low Reynolds number flow. SIAM J. Apll. Math. 1978, Vol. 35, No. 1, pp. 187-207.
  74. 74. Hunter, C., Tajdari, M., Boyer, S.D. On the Lagerstrom model of slow incompressible viscous flow numbers. SIAM. J.Appl. Math. 1990, Vol. 50, No. 1, pp.48-63.
  75. 75. Popović, N., Szmolyan, P.A. Geometric analysis of the Lagerstrom model problem. J. Differ. Equ. May 20, 2004, Vol. 199, No. 2, pp. 290-325.
  76. 76. Popović, N., Szmolyan, P.A. Rigorous asymptotic expansions for Lagerstrom’s model equation a geometric approach. Nonlinear Anal. Theory Methods Appl. 2004, Vol. 59, No. 4, pp. 531-565.
  77. 77. Rosenblat, S., Shepherd, J. On the asymptotic solution Lagerstom model equation, SIAM J. Appl. Math. 1975, Vol. 29, No. 1, pp. 110-120.
  78. 78. Sachdev, P.L. Nonlinear Ordinary Differential Equations and their Applications, Marcel Dekker, New York, 1991.
  79. 79. Tam, K.K. On the Lagerstrom model for flow at low Reynolds numbers. J. Math. Anal. Appl. 1975, Vol. 49, No. 2, pp. 286-294.
  80. 80. Teruhiko, K. An asymptotic approach on Lagerstrom mathematical model for viscous flow at Reynolds numbers. Bull. Univ. Osaka Prefect. Ser. A. 1988, Vol. 36, No. 2, pp. 83-97.
  81. 81. Tsien, H.S. The Poincare-Lighthill-Kuo Method. Advances in Applied Mechanics. Academic Press Inc., New York. 1956, Vol. 4, pp. 281-350.
  82. 82. Protter, M.H., Weinberger, H.F. Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs, New Jersey, 1967.

Written By

Keldibay Alymkulov and Dilmurat Adbillajanovich Tursunov

Submitted: 04 November 2016 Reviewed: 13 February 2017 Published: 14 June 2017