Professional Documents
Culture Documents
Solomon M. Antoniou
SKEMSYS
Scientific Knowledge Engineering
and Management Systems
Corinthos 20100, Greece
solomon_antoniou@yahoo.com
Abstract
We initiate a solution procedure to the Painlevé PII equation. The method used is
the extended Riccati equation method with variable expansion coefficients. The
solutions are expressed in terms of the Airy functions. We also apply the
(G ' / G ) − expansion method with variable expansion coefficients which may lead
to more solutions, once the Painlevé PII solutions are known through Riccati
expansion method.
2
d2w
2
= 2 w 3 + z ⋅ w . We find two families of solutions, expressed in terms of the
dz
Airy functions. The solutions appear in Theorems 1 and 2 (Sections 3.I and 3.II
respectively). In Section 4 we consider the (G ′ / G ) − expansion method with
variable expansion coefficients. We find that the expansion coefficient a0 ( z )
satisfies a Painlevé PII equation while a1 ( z ) = ±1 . We also find that the unknown
function G (z ) satisfies two third order ODEs with variable coefficients. The
results of Section 4 appear in Theorem 3.
2. The Method.
We suppose that a nonlinear ordinary differential equation
F( x , u , u x , u xx , L) = 0 (2.1)
with unknown function u ( x ) admits a solution expressed in the form
n n bk
u(x) = ∑ akY k
+∑ (2.2)
k =0 k =1 Yk
where all the expansion coefficients depend on the variable x,
a k ≡ a k ( x ) , b k ≡ b k ( x ) for every k = 0, 1, 2, L , n
The function Y ≡ Y( x ) satisfies Riccati’s equation
Y ′( x ) = A + B ⋅ Y 2 (2.3)
where the coefficients A and B depend on the variable x as well.
In solving the nonlinear ODE (2.1), we consider the expansion (2.2) and then we
balance the nonlinear term with the highest derivative term of the function u ( x )
which determines n (the number of the expansion terms). Equating the
coefficients of the different powers of the function Y( x ) to zero, we can
determine the various expansion coefficients a k ( x ) , b k ( x ) and the functions
A( x ) , B( x ) . We finally solve Riccati's equation and then find the solutions of the
equation considered.
3
3. The Painleve PII equation and its solutions.
We consider the Painleve PII equation
d2w
2
= 2 w3 + z ⋅ w (3.1)
dz
where w ≡ w (z) is the unknown function and z the independent variable,
considered complex in general.
We shall use the extended Riccati equation method in solving equation (3.1). In
this case we consider the expansion
n n bk
w (z) = ∑ a kYk + ∑ k
(3.2)
k =0 k =1 Y
and balance the second order derivative term with the second order nonlinear term
of (3.1). We then find n = 1 . The proof might go as follows: The first derivative
w′(z ) contains the highest order term Y n −1 Y ′ and upon the substitution
w′′(z ) contains the highest order term Y n Y ′ and upon the substitution
contains the highest order term Y 3 n . Therefore balancing the second derivative
term w′′(z ) with the nonlinear term z 3 ( z ) leads to the equation n + 2 = 3 n from
which we obtain n = 1 . We thus have
b1
w ( z ) = a 0 + a 1Y + (3.3)
Y
where all the coefficients a 0 , a 1 and b1 depend on z, and Y satisfies Riccati’s
equation
4
b1′ b1 (A + BY 2 )
w ′(z) = a ′0 + a1′ Y + a1 (A + BY 2 ) + − (3.5)
Y Y2
w ′′(z) = a ′0′ + a1′′ Y + 2 a1′ (A + BY 2 ) + a1 (A ′ + B′ Y 2 + 2 B Y(A + BY 2 )
coefficient of Y 3 :
2 a1 B 2 − 2 a13 = 0 (3.8)
coefficient of Y 2 :
coefficient of Y 0 :
coefficient of Y −1 :
5
coefficient of Y − 2 :
coefficient of Y − 3 :
2 b1 A 2 − 2 b13 = 0 (3.14)
We are to solve the system of equations (3.8)-(3.14), supplemented by Riccati's
equation Y ′ = A + BY 2 .
From equations (3.8) and (3.14), ignoring the trivial solutions, we obtain
a1 = ± B and b1 = ± A (3.15)
respectively. We examine four cases separately. Two of them, leading to
inconsistent results are examined in Appendix B.
3.I. Case I. The First Solution.
We first consider the case
a1 = B and b1 = A (3.16)
We then obtain from (3.9) and (3.13)
1 B′ 1 A′
a0 = and a0 = − (3.17)
2 B 2A
A ′ B′
respectively. Equating the two different expressions of a 0 , we obtain + =0
A B
and by integration, we find that
AB= p (3.18)
where p is a constant to be determined.
From equation (3.10) we get
2
B′′ 3 B′
− − (4 p + z) = 0 (3.19)
B 2 B
From equation (3.12) we get
2
A ′′ 3 A ′
− − (4 p + z) = 0 (3.20)
A 2 A
6
From equation (3.11) we get
″ 3
B′ 1 B′ B′
− − (8 p + z) = 0 (3.21)
B 2 B B
We first solve equation (3.19). Under the substitution
B′
F= (3.22)
B
equation (3.19) transforms into
1 2
F′ = F + (4 p + z) (3.23)
2
which is a Riccati differential equation. Under the standard substitution
u′
F = −2 (3.24)
u
Riccati's equation (3.23) becomes
4p + z
u ′′(z) + ⋅ u (z) = 0 (3.25)
2
The previous equation can be transformed into the Airy equation. In fact, under
the substitution z = λ y + µ , equation (3.25) takes on the form
d 2 u ( y) λ3 λ2 (µ + 4 p)
+ y+ u ( y) = 0 (3.26)
dy 2 2 2
d 2 u ( y)
− y u ( y) = 0 (3.27)
dy 2
which is the Airy differential equation with general solution
u ( y) = C1 Ai( y) + C 2 Bi( y) (3.28)
where Ai( y) and Bi( y) are Airy's functions of the first and second kind
respectively (see for example Abramowitz and Stegun [3]). Going back to the
7
z + 4p
u (z) = C1 Ai + C 2 Bi z + 4p (3.29)
1/ 3 (−2)1 / 3
(−2)
We now have to determine the function Y which satisfies Riccati's equation
8
K
B= 2
(3.37)
u (z)
v′ Ψ ′ u ′
where K is a constant. Since = − (this equation comes from v = Ψ / u
v Ψ u
by differentiation) we obtain from (3.30), using also (3.37)
u 2 Ψ′ u′
Y=− − (3.38)
K Ψ u
where Ψ and u are given by (3.36) and (3.29) respectively.
So far we have not taken into account equations (3.20) and (3.21). It is obvious
that not every solution of (3.19) satisfies both (3.20) and (3.21). We thus have to
find the range of values the parameters and the constants should attain in order to
have compatible equations. The coefficients A and B of Riccati's equations are
A ′ B′
connected through the relation + = 0 and satisfy equations (3.19) and (3.20)
A B
respectively. We thus have to examine the compatibility condition between (3.19)
A ′ B′
and (3.20) first, taking into account + = 0 . We state and prove the following
A B
2
A ′ B′ A ′′ B′′ B′
Lemma. If + = 0 then + = 2 .
A B A B B
A′
Proof. We let H = . Since H + F = 0 , we also have H ′ = − F′ and then
A
2 2 2
A ′′ A′ B′ B′′ B′
= H ′ + = − F′ + and = F′ + . Adding the last two
A A B B B
2
A ′′ B′′ B′
equations, we obtain + = 2 and the Lemma is proved. ■
A B B
9
Adding now equations (3.19) and (3.20) and taking into account the previous
2
B′
Lemma, we obtain the equation − − 2 (4p + z) = 0 from which we obtain
B
B′ u′
further, in view of = − 2 , that
B u
2
u′ z
+ 2p + = 0 (3.39)
u 2
The above equation is the compatibility condition between (3.19) and (3.20) and
should be satisfied for every z.
We finally consider equation (3.21). This equation takes the form
1
F′′ − F3 = (z + 8 p) F (3.40)
2
where F is defined in (3.22). This equation should be combined with (3.23).
1
From (3.23) multiplying by F we obtain − F3 = − F F′ + (4 p + z) F and because
2
of that, equation (3.40) takes on the form F′′ − F F′ = 4 p F . Differentiating (3.23)
u′
we get F′′ − F F′ = 1 . We thus obtain the equation 4 p F = 1 . Since F = − 2 , we
u
u′ 1
derive the compatibility condition =− , i.e.
u 8p
8 p u′ + u = 0 (3.41)
This last equation should hold for every z.
Equations (3.39) and (3.41) should also be compatible each other. Equations
(3.39) and (3.41) are considered in Appendix A. In that Appendix, expanding the
function u (z) given by (3.29), we find the conditions between the parameters and
the various constants in order equations (3.39) and (3.41) should be true for every
value of z. According to the results of Appendix A, equations (3.39) and (3.41)
lead to the same conditions
X(C1 , C 2 ; ω) = 0 and Z(C1 , C 2 ; ω) = 0 (3.42)
10
where X(C1 , C 2 ; ω) and Z(C1 , C 2 ; ω) are defined by
X(C1 , C 2 ; ω) = C1 Ai(ω) + C 2 Bi(ω) (3.43)
Z(C1 , C 2 ; ω) = C1 Ai′(ω) + C 2 Bi′(ω) (3.44)
ω = 2 2 / 3 (1 − i 3 ) p (3.45)
d2w
Conclusion. The solution of the Painleve PII equation 2
= 2 w 3 + z ⋅ w is
dz
b1 1 B′
given by w (z) = a 0 + a1Y + where a 0 = , a1 = B , b1 = A with A B = p ,
Y 2 B
K u 2 Ψ′ u′
B(z) = 2 and Y = − − , where Ψ and u are given by (3.36) and
u (z) K Ψ u
11
d2w
Theorem 1. The solution of the Painleve PII equation 2
= 2 w 3 + z ⋅ w is given
dz
by
−1
Ψ′ u′ Ψ′
w (z) = − + p − (3.49)
Ψ u Ψ
where p is determined by (3.47) and Ψ , u are given by (3.36) and (3.48)
respectively.
3.II. Case II. The Second Solution.
We next consider the case
a1 = − B and b1 = − A (3.50)
We then obtain from (3.9) and (3.13)
1 B′ 1 A′
a0 = − and a0 = (3.51)
2 B 2A
respectively. Equating the two different expressions of a 0 , we find that
AB = p (3.52)
where p is a constant.
From equation (3.10) we get
2
B′′ 3 B′
− − (4 p + z) = 0 (3.53)
B 2 B
From equation (3.12) we get
2
A ′′ 3 A ′
− − (4 p + z) = 0 (3.54)
A 2 A
From equation (3.11) we get
″ 3
B′ 1 B′ B′
− − (8 p + z) = 0 (3.55)
B 2 B B
Using the same reasoning as in Case I, we obtain the following
12
d2w
Conclusion. The solution of the Painleve PII equation 2
= 2 w 3 (z) + z ⋅ w is
dz
b1 1 B′
given by w (z) = a 0 + a1Y + where a 0 = − , a1 = − B , b1 = − A with
Y 2 B
K u 2 Ψ′ u′
A B = p , B(z) = and Y = − − , where Ψ and u are given by
u (z) 2 K Ψ u
(3.36) and (3.48) respectively. Therefore we arrive at the following
d2w
Theorem 2. The solution of the Painleve PII equation 2
= 2 w 3 + z ⋅ w is given
dz
by
−1
Ψ′ u′ Ψ′
w( z ) = + p − (3.49)
Ψ u Ψ
where p is determined by (3.47) and Ψ , u are given by (3.36) and (3.48)
respectively.
Note. Considering the equation
d2w
2
= 2 w 3 ( z) + z ⋅ w + α
dz
we find that the solution does not depend on the constant α , a feature for which
we cannot provide an explanation.
G′
4. The − expansion method with variable expansion
G
coefficients.
We consider that equation (3.1) admits a solution of the form
G ′(z)
w (z) = a 0 (z) + a1 (z) (4.1)
G (z)
Upon substituting (4.1) into (3.3) we obtain an equation, which when arranged in
powers of G, can take the form
13
1
(a0′′ − z a0 − 2 a03 ) + [ a1G′′′ − z a1 G′ + a1′′G′ + 2 a1′G′′ − 6 a1 a02 G′ ]
G( z )
1
+ 2
[ − 2 a1′ (G′ ) 2 − 3 a1G′ G′′ − 6 a12 a0 (G′ ) 2 ]
G ( z)
1
+ 3
[ − 2 a13 (G′ )3 + 2 a1 (G′ )3 ] = 0 (4.2)
G ( z)
Equating to zero all the coefficients of G ( x ) in the above equation, we obtain the
following system of ordinary differential equations
a ′0′ − z a 0 − 2 a 30 = 0 (4.3)
− 2 a13 (G ′ ) 3 + 2 a1 (G ′ ) 3 = 0 (4.6)
Equation (4.3) is essentially the Painlevé PII equation (3.1) and thus admits all the
solutions found in Section 3. From equation (4.6), ignoring the trivial solution, we
obtain that
a1 = ± 1 (4.7)
From equation (4.4), taking into account the above values of a1 , we derive the
equation
G ′′′
= 6 a 02 + z (4.8)
G′
From equation (4.5), we obtain
G ′′ G ′′
= − 2 a 0 for a1 = 1 and = 2 a 0 for a1 = − 1 (4.9)
G′ G′
We thus derive the following equations, dividing (4.8) by (4.9):
Solution I. For a1 = 1 , the function G (z ) is determined as solution of the equation
G ′′′ 6a2 + z
=− 0 where a 0 is any solution of equation (4.3).
G ′′ 2a0
14
Solution II. For a1 = − 1 , the function G (z ) is determined as solution of the
G ′′′ 6 a 02 + z
equation = where a 0 is any solution of equation (4.3).
G ′′ 2a0
In both the above equations, a 0 is given by (3.49) and (3.56) (simply substitute
w ( z) by a 0 ). Because of the complexity of the expressions for a 0 , the integration
of the differential equations might require supercomputing facilities with symbolic
capabilities. We thus have the following
d2w
Theorem 3. The Painlevé PII equation 2
= 2 w 3 + z ⋅ w admits solutions of the
dz
G ′(z)
form w (z) = a 0 (z) + a1 (z) where a1 ( z ) = ±1 and a0 ( z ) satisfies the (PII
G (z)
15
where u (z) is given by (3.29).
Upon expanding u (z) in power series, we find that (A.1) can be written as
22 / 3
i 2 p X(C1 , C 2 ; ω) + (1 − i 3 ) Z(C1 , C 2 ; ω)
4
1
+ { (i 2 − 16 p 3 / 2 ) X(C1 , C 2 ; ω) + 4 ⋅ 21 / 6 p (1 + i ) Z(C1 , C 2 ; ω)} z
8 p
1
+ 3/ 2
{ − (i 2 + 32 p 3 / 2 + i 128 2 p 3 ) X(C1 , C 2 ; ω) + 8 [(21 / 6 p) ( i + 3 )
128 p
+ 4 (i 3 − 1) p 5 / 2 2 2 / 3 ] Z(C1 , C 2 ; ω)} z 2
1
+ 5/ 2
{ (2048 p 9 / 2 + 3 2 i − 640 2 i p 3 ) X(C1 , C 2 ; ω) +
3072 p
+ [128 p 5 / 2 2 2 / 3 (i 3 − 1) − 512 ⋅ 21 / 6 p 4 ( 3 + i )
− 12 ⋅ 21 / 6 (i + 3 ) p] Z(C1 , C 2 ; ω)} z 3
+ O( z 4 ) (A.3)
where we have introduced the notation
X(C1 , C 2 ; ω) = C1 Ai(ω) + C 2 Bi(ω) (A.4)
Z(C1 , C 2 ; ω) = C1 Ai′(ω) + C 2 Bi′(ω) (A.5)
ω = 2 2 / 3 (1 − i 3 ) p (A.6)
22 / 3
−i 2 p X(C1 , C 2 ; ω) + ( 1 − i 3 ) Z(C1 , C 2 ; ω)
4
1
− { (i 2 + 16 p 3 / 2 ) X(C1 , C 2 ; ω) + 4 ⋅ 21 / 6 p (1 + i ) Z(C1 , C 2 ; ω)} z
8 p
16
1
+ 3/ 2
{ ( i 2 − 32 p 3 / 2 + i 128 2 p 3 ) X (C1 , C 2 ; ω) + 8 [− (21 / 6 p) (i + 3 )
128 p
+ 4 (i 3 − 1) p 5 / 2 2 2 / 3 ] Z(C1 , C 2 ; ω)} z 2
1
+ 5/ 2
{ (2048 p 9 / 2 − 3 2 i + 640 2 i p 3 ) X(C1 , C 2 ; ω) +
3072 p
+ [128 p 5 / 2 2 2 / 3 (i 3 − 1) + 512 ⋅ 21 / 6 p 4 ( 3 + i )
+ 12 ⋅ 21 / 6 (i + 3 ) p] Z(C1 , C 2 ; ω)} z 3
+ O( z 4 ) (A.7)
Expanding (3.41) we obtain similarly
{ X (C1 , C 2 ; ω) + 2 ⋅ 2 2 / 3 p (1 − i 3 ) Z(C1 , C 2 ; ω) } +
22 / 3
+ − 16 p 2 ⋅ X(C1 , C 2 ; ω) + (1 − i 3 ) ⋅ Z(C1 , C 2 ; ω) z +
4
+ { − 3 p ⋅ X(C1 , C 2 ; ω) + 2 ⋅ 2 2 / 3 p 2 ( i 3 − 1) ⋅ Z(C1 , C 2 ; ω) } z 2 +
16 p 3 1 5 ⋅ 22 / 3
+ − ⋅ X(C1 , C 2 ; ω) − p (1 − i 3 ) ⋅ Z(C1 , C 2 ; ω) z 3 +
3 12 12
+ O (z 4 ) = 0 (A.8)
In all the higher order expansion terms, there appears the same linear combination
of the quantities X(C1 , C 2 ; ω) and Z(C1 , C 2 ; ω) . Therefore the compatibility
conditions (3.39) and (3.41) are true for every z , if and only if
X(C1 , C 2 ; ω) = 0 and Z(C1 , C 2 ; ω) = 0 (A.9)
The two equations (A.9) hold simultaneously if
C1 Bi(ω) C1 Bi′(ω)
=− and =− (A.10)
C2 Ai(ω) C2 Ai′(ω)
Equating the two different expressions of the ratio C1 / C 2 , we arrive at the
condition
Ai(ω) ⋅ Bi′(ω) − Ai′(ω) ⋅ Bi(ω) = 0 (A.11)
17
The above condition determines the constant p.
Appendix B.
In this Appendix we consider the cases ( a1 = B , b1 = − A ) and ( a1 = − B ,
b1 = A ). We show that in these two cases we obtain incompatible equations.
Case III. We consider the case
a1 = B and b1 = − A (B.1)
We then obtain from (3.9) and (3.13)
1 B′ 1 A′
a0 = and a0 = (B.2)
2 B 2A
respectively. Equating the two different expressions of a 0 , and integrating, we
find that
A = − s2 B (B.3)
18
z 4 s2
u ′′(z) + u (z) = − 3 (B.8)
2 u (z)
z
which is Ermakov's equation (Ermakov [8]). The equation u ′′(z) + u ( z) = 0
2
z
admits two linearly independent solutions, Ai and Bi z .
(−2)1 / 3 (−2)1/ 3
Therefore, using the standard procedure, the general solution of (B.8) is given by
2
2
z
C1 u (z) = Ai
2
× − 4 s + C 2 + C1 ∫
2 dz
2
1/ 3
(B.9)
( −2) z
Ai 1/ 3
−
( 2)
and
2
2
z
C1 u (z) = Bi
2
× − 4 s + C 2 + C1 ∫
2 dz
1/ 3
(B.10)
(−2) 2
z
Bi
− 1/ 3
( 2)
Every solution of the equation (B.4) found previously has to be substituted in
(B.6) and thus to obtain a compatibility condition. Despite the fact that (B.4)
admits closed-form solution, equations (B.4) and (B.6) are incompatible. The
proof goes as follows: Equations (B.4) and (B.6) can be written in terms of
B′
G≡ as
B
1
G′ − G 2 = 8 s 2 B2 + z (B.11)
2
and
1
G ′′ − G 3 − z G − 12 s 2 (B 2 )′ = 0 (B.12)
2
19
respectively. Multiplying equation (B.11) by G we derive the equation
1
− G 3 = − G G ′ + 8 s 2G B2 + z G (B.13)
2
Combining (B.12) with (B.13) we get
G ′′ − G G ′ + 8 s 2 G B 2 − 12 s 2 (B 2 )′ = 0 (B.14)
Differentiating (B.11) with respect to z we obtain
G ′′ − G G ′ = 8 s 2 ( B 2 )′ + 1 (B.15)
Equations (B.14) and (B.15) give
8 s 2 (B 2 )′ + 1 + 8 s 2 G B 2 − 12 s 2 (B 2 )′ = 0
which is equivalent to the quite remarkable result 1 = 0 . We have thus proved that
equations (B.4) and (B.6) are incompatible. The case A = s 2 B leads again to
incompatible equations.
Case IV. We consider next the case
a1 = − B and b1 = A (B.16)
Using the same reasoning as before, we obtain again incompatible equations.
20
References
[1] M. J. Ablowitz, A. Ramani and H. Segur: "A connection between
nonlinear evolution equations and ordinary differential equations of
P-type. I" J. Math. Phys. 21 (1980) 715-721
[2] M. J. Ablowitz, A. Ramani and H. Segur: "A connection between
nonlinear evolution equations and ordinary differential equations of
P-type. II" J. Math. Phys. 21 (1980) 1006-1015
[3] M. Abramowitz and I. A. Stegun: "Handbook of Mathematical
Functions". Dover 1972
[4] H. Airault: "Rational solutions of Painlevé equations"
Stud. Appl. Math. 61 (1979) 31-53
[5] S. Antoniou: “The Riccati equation method with variable expansion
coefficients. I. Solving the Burgers equation”. SKEMSYS report
[6] S. Antoniou: “The Riccati equation method with variable expansion
coefficients. II. Solving the KdV equation”. SKEMSYS report
[7] P. A. Clarkson: "Painlevé equations-nonlinear special functions"
J. Comp. Appl. Math. 153 (2003) 127-140
[8] V. P. Ermakov: “Second-Order Differential Equations: Conditions of
Complete Integrability”. Appl. Anal. Discr. Math. 2 (2008) 123-145
Translation from the original Russian article:
Universitetskiye Izvestiya Kiev No. 9 (1880) 1-25
[9] A. S. Fokas and M. J. Ablowitz: "On a unified approach to
transformations and elementary solutions of Painlevé equations"
J. Math. Phys. 23 (1982) 2033-2042
[10] E. L. Ince: "Ordinary Differential Equations". Dover 1956
[11] A. Ramani, B. Dorizzi and B. Grammaticos: "Painlevé conjecture
revisited". J. Math. Phys. 21 (1980) 715-721
21
[12] A. Ramani, B. Grammaticos and T. Bountis: "The Painleve Property and
Singularity Analysis of Integrable and Non-Integrable Systems".
Phys. Rep. 180 (1989) 159-245
[13] J. Weiss, M. Tabor and G. Carnevale: "The Painlevé property for partial
differential equations". J. Math. Phys. 24 (1983) 522-526
[14] J. Weiss: "The Painlevé property for partial differential equations. II:
Bäcklund transformation, Lax pairs, and the Schwarzian derivative"
J. Math. Phys. 24 (1983) 1405-1413
[15] J. Weiss: "On classes of integrable systems and the Painlevé property "
J. Math. Phys. 25 (1984) 13-24
[16] J. Weiss: "The Painlevé property and Bäcklund transformations for the
sequence of Boussinesq equations".
J. Math. Phys. 26 (1985) 258-269
[17] Y. Wenjum and Li Yezhou: "Rational Solutions of Painlevé Equations"
Canadian J. Math. 54 (2002) 648-670
22