# Linearization from Complex Lie Point Transformations

Authors: Sajid Ali; M. Safdar; Asghar Qadir
Journal: Journal of Applied Mathematics
 (2014)

---

## Abstract

Complex Lie point transformations are used to linearize a class of systems of second order ordinary differential equations (ODEs) which have Lie algebras of maximum dimensiond, with d
≤
4. We identify such a class by employing complex structure on the manifold that defines the geometry of differential equations. Furthermore we provide a geometrical construction of the procedure adopted that provides an analogue in R
3 of the linearizability criteria in R
2.


---

## Body

## 1. Introduction

One method of solving a nonlinear ODE or a system of such equations is to reduce it to linear form, which is called linearization, by invertible transformations of the independent and dependent variables (point transformations). There are many ways to convert to linear form like Lie point transformations, contact transformations, nonlocal transformations, and so forth, but for convenience we will use the term “linearization” to signify the Lie point transformations only and qualify the term if we mean any other transformation. Lie presented the most general form of a scalar second order linearizable ODE by considering arbitrary point transformations (see, e.g., [1, 2] and the references therein). Over the past few years there has been a rapidly growing interest in studying linearization of higher-order ODEs and systems of these equations. The simplest system (f
1
′′
=
0, f
2
′′
=
0) is a unique system that admits a maximal algebra of dimension 15
=
|
sl
(
4
,
R
)
|, which was proved in [3], using Cartan’s equivalence method, after refining the result in [4]. A geometric approach is used to obtain linearization criteria for systems of two second order cubically semilinear ODEs obtainable by projecting down a system of three geodesic equations [5, 6]. Indeed, utilizing arbitrary point transformations, general forms of linearizable systems and corresponding linearization criteria were studied in [7–9]. The use of generalized Sundman transformations in the linearization problem is studied in [10]. The construction of linearizing transformations from the first integrals of two-dimensional systems is carried out in [11, 12].It is well known [13] that to be linearizable by Lie point transformation a system of two second order ODEs can have an algebra of maximum dimensions, 5, 6, 7, 8, or 15. The systems which do not have maximal algebras are clearly nonlinearizable in the sense that there exist no real Lie point transformation which can be used to linearize them. This paper addresses the problem of linearizability of such a class of nonlinearizable systems by complex Lie point transformations.Recently we studied a special class of two-dimensional linearizable systems that corresponds to complex linearizable scalar ODEs [14, 15]. (The characterization for the correspondence will be explained in the next section.) The linearizing transformations to map nonlinear systems to linear forms are provided by the complex fibre-preserving transformations:
(1)
L
1
:
x
,
u
x
⟶
χ
x
,
U
x
,
u
,
where u
(
x
), is an analytic complex function of a real variable x. The method was successfully applied to generate classes of systems with maximum dimensions of their algebras 6, 7, and 15, where the linearizing transformations were obtained by the process of “realification” of the above transformations (1). In this paper we investigate anonlinearizable class of systems of two ODEs that can be obtained from a linearizable scalar complex equation, but the complex linearizing transformations in this case are different from those given above; that is,
(2)
L
2
:
x
,
u
x
⟶
χ
x
,
u
,
U
x
,
u
which is a complex Lie point transformation and contains (1) as its special case. Notice that L
2 cannot be used to obtain the linearizing transformations for the corresponding systems. The reason is that the transformed independent variable is complex which gives two independent variables when it splits into the real and imaginary parts while the concerned systems are of ODEs rather than PDEs. The standard techniques of linearization [8, 9, 13] cannot be applied to such systems as they have symmetry algebra of maximum dimension d
≤
4. However we prove that linearization can still be achieved for such systems in the complex plane and the solutions can also be obtained explicitly. Most surprisingly, we find that there can be systems that have no Lie point symmetries but can be solved by this procedure of converting to a complex scalar ODE and linearizing the scalar equation to write down the solution in the complex domain and thence obtain the solution of the system. An example of such a system is also given. We call this procedure for linearizing systems of two second order ODEs from complex point transformations with less than five symmetriescomplex linearization.The procedure of constructing a pair of real functions of two variables from a single complex function of a complex variable, leading to a system of PDEs, entails the use of the Cauchy-Riemann (CR) equations in a transparent way. However, the role of these equations for a system of ODEs is far from clear as the CR-equations require two independent variables. Here we give a simple explanation of this role using geometry, for the free particle ODE which presents an elegant framework of viewing the straight line (which is maximally symmetric and invariant under the full groupSL
(
3
,
R
)) in a higher dimensional space which is only possible if we put oncomplex glasses. The CR-equations are shown to play an essential part in establishing the correspondence between solutions of the base complex linearizable or integrable ODEs and emerging systems.The outline of the paper is as follows. The criteria for the correspondence of systems with complex linearizable equations are given in the second section. The third section is on the CR-equations associated with systems of two second order ODEs and exploring their role in establishing correspondence of solutions of systems and base scalar ODEs. The subsequent section contains application of complex linearization procedure on systems which correspond to linearizable complex base ODEs. The last section is devoted to the conclusion and discussion.


## 2. Complexification of Systems of ODEs and Classification

We first explain the basic formalism of complex linearizability by taking a general system of two second order ODEs:(3)
f
1
′′
=
ω
1
x
,
f
1
,
f
2
,
f
1
′
,
f
2
′
,
f
2
′′
=
ω
2
x
,
f
1
,
f
2
,
f
1
′
,
f
2
′
,
which may be regarded as a surface S in a 2
(
3
)
+
1
=
7-dimensional space whose components comprise the independent and dependent variables along with their derivatives. Hence a solution of system (3) is an integral curve on surface S. We now introduce a complex structure J
C
:
R
6
→
C
3, on the 6-dimensional subspace of S by assuming f
1
(
x
)
+
i
f
2
(
x
)
=
u
(
x
), where all first order and second order derivatives of the real functions f
1, f
2 of a real variable x are determined with u
′ and u
′′, respectively. Therefore our solution curve is now embedded in a complex 3
C-dimensional space, C
3. If we regard x as the dimension of time then this can be viewed as the propagation of our solution curve in time in a complex space C
3. This identification gives deeper insights into the symmetry analysis which we will see as we proceed to the subsequent sections. This yields a class of those two-dimensional systems (3) which can be projected to a scalar second order complex equation:
(4)
u
′′
=
ω
x
,
u
,
u
′
,
where ω
(
x
,
u
)
=
ω
1
(
x
,
u
)
+
i
ω
2
(
x
,
u
), in a 3
C
+
1
=
4-dimensional partially complex space S
C, which is comprised of a 3
C-complex dimensional subspace and a one-dimensional subspace that correspond to independent variable x which is not complex. The basic criterion to identify such systems is that both ω
1 and ω
2 in (3) satisfy the CR-equations:
(5)
ω
1
,
f
1
=
ω
2
,
f
2
,
ω
1
,
f
2
=
-
ω
2
,
f
1
,
ω
1
,
f
1
′
=
ω
2
,
f
2
′
,
ω
1
,
f
2
′
=
-
ω
2
,
f
1
′
,
namely, both functions are analytic of their arguments. This line of approach has been followed in [14, 15] to characterize systems of ODEs that emerge from linearizable complex equations. Several nontrivial and interesting results are obtained for two-dimensional systemsdespite “trivial” identification of systems (3) from scalar equations (4).A two-dimensional system of ODEs(6)
f
1
′′
=
A
1
f
1
′
3
-
3
A
2
f
1
′
2
f
2
′
-
3
A
1
f
1
′
f
2
′
2
+
A
2
f
2
′
3
+
B
1
f
1
′
2
-
2
B
2
f
1
′
f
2
′
-
B
1
f
2
′
2
+
C
1
f
1
′
-
C
2
f
2
′
+
D
1
,
f
2
′′
=
A
2
f
1
′
3
+
3
A
1
f
1
′
2
f
2
′
-
3
A
2
f
1
′
f
2
′
2
-
A
1
f
2
′
3
+
B
2
f
1
′
2
+
2
B
1
f
1
′
f
2
′
-
B
2
f
2
′
2
+
C
2
f
1
′
+
C
1
f
2
′
+
D
2
,
where A
j, B
j, C
j, D
j (j
=
1,2) are functions of x and f
j, is a candidate of complex linearization if and only if its coefficients satisfy a set of four constraint equations given in [15]. It was shown that the system (6) corresponds to a cubically semilinear complex scalar equation of the form
(7)
u
′′
+
E
3
x
,
u
u
′
3
+
E
2
x
,
u
u
′
2
+
E
1
x
,
u
u
′
+
E
0
x
,
u
=
0
,
where E
k, (k
=
0,1
,
2,3) are complex functions of x and u, which according to Lie is linearizable using complex point transformations provided the coefficients satisfy linearization criteria given in [2]. Therefore system (6) is complex linearizable if and only if the associated base equation (7) can be mapped to U
′′
=
0, using a complex Lie point transformation (2). It may be pointed out that there is only one candidate of complex linear equation which is U
′′
=
0, unlike systems of two linear ODEs which have five candidates corresponding to their algebras 5, 6, 7, 8, or 15 of maximum dimensions. Therefore to be linearizable by real Lie point transformations system (6) can have one of these algebras.The systems of the form (6) that correspond to a complex linear equation using fibre-preserving transformations (1) were studied in [14], where it was found that they are at most quadratic in the first derivatives and can have algebras of maximum dimensions 6, 7, or 15. They can also be linearized using real Lie point transformations by standard techniques because the dimensions of their algebras coincide with the dimensions of linearizable systems. We denote this class of quadratically semilinear systems by Υ
1. It turns out that if we take systems (6) with cubic dependence on the first derivatives they are no longer linearizable because the dimensions of their Lie algebras do not coincide with the dimensions of linearizable systems. Therefore we obtain a class Υ
2, of systems of the form (6), with cubic nonlinearity and such that the maximum dimensions of their Lie algebras can be 4, 3, 2, 1, or 0. Such systems arenot linearizable but they correspond to a linearizable (complex) scalar second order ODE. Now all systems of the form (6) for which coefficients satisfy constraint equations [15] correspond to complex linear equation (7) under the complex point transformation (2); therefore all systems in Υ
2 are also complex linearizable. Since the dimensions of Lie algebras of systems in classes Υ
1 and Υ
2 are not equal, therefore there do not exist any complex point transformations that map a system in Υ
1 to a system in Υ
2 and vice versa; therefore
(8)
Υ
1
∩
Υ
2
=
∅
.
In short, the class Υ
1 contains those complex linearizable systems which are at most quadratically semilinear and they can be mapped to the optimal canonical form [14], whereas all complex linearizable systems with cubic nonlinearity are contained in Υ
2. Below we summarize two classes arising from a complex linear equation in Table 1.Table 1
Classification of two-dimensional systems arising from linear complex equation.
Class
Lie algebra dimensions
Linearizable
Complex linearizable
Type
ϒ
1
6, 7, 15
Yes
Yes
Quadratic
ϒ
2
0, 1, 2, 3, 4
No
Yes
CubicNote that the cases of Lie algebras of maximum dimensions 5 and 8 are not contained inΥ
1
∪
Υ
2 but do give linearizable systems. For completeness we also discuss a class of those systems that can be solved from complex methods in which systems are solved due to their correspondence with complex solvable equation. It is given in the appendix.In order to construct the representative system for the classΥ
2 with fewer symmetriesyet is complex linearizable we focus on a class of cubically semilinear systems:
(9)
f
1
′′
=
β
f
1
′
3
-
3
γ
f
1
′
2
f
2
′
-
3
β
f
1
′
f
2
′
2
+
γ
f
2
′
3
,
f
2
′′
=
γ
f
1
′
3
+
3
β
f
1
′
2
f
2
′
-
3
γ
f
1
′
f
2
′
2
-
β
f
2
′
3
,
from (6), where β
=
β
(
x
,
f
1
,
f
2
) and γ
=
γ
(
x
,
f
1
,
f
2
). The complex linearizability criteria [15] are satisfied for these systems if and only if the coefficients satisfy
(10)
β
x
x
=
0
,
γ
x
x
=
0
;
that is, β
=
b
1
x
+
b
2, γ
=
c
1
x
+
c
2, therefore the system (9) is complex linearizable. It is easy to verify that the systems (9) have symmetry algebras of maximum dimensions less than 4, provided all constants b
1, b
2, c
1, and c
2 do not vanish simultaneously. The system (9) satisfies (5) and thus can be projected to (7):
(11)
u
′′
+
E
3
x
,
u
u
′
3
=
0
;
with E
2
=
0
=
E
1
=
E
0, which can be linearized to U
′′
=
0, using a complex point transformation (2). Before proceeding to the applications and characterizing such systems we first describe the geometry of U
′′
=
0, under general complex Lie point transformations (2).


## 3. Geometry of Complex Linearization

We know that all linearizable scalar differential equations are equivalent to the free particle equations (see, e.g., [1, 2]) whose solution is a straight line. The crucial step after ensuring complex linearizability is to obtain the transformations which help in the integration of the systems in Υ
1 and Υ
2. In [14], the complex fibre-preserving transformations (1) were used to map a system in class Υ
1 into the free particle complex equation, U
′′
=
0, where prime denotes differentiation with respect to χ. The real and imaginary parts of such a free particle equation yields a system
(12)
F
1
′′
=
0
,
F
2
′′
=
0
,
where U
=
F
1
+
i
F
2; therefore the corresponding system can be mapped to system (12), where the complex transformations (1) were used to obtain the real linearizing transformations. It is noteworthy that the transformations in this case are (
r
e
a
l
,
c
o
m
p
l
e
x
)
→
(
r
e
a
l
,
c
o
m
p
l
e
x
). On the other hand a general complex point transformation is of the form
(13)
L
:
x
,
u
⟶
χ
x
,
u
,
U
x
,
u
,
namely, (
r
e
a
l
,
c
o
m
p
l
e
x
)
→
(
c
o
m
p
l
e
x
,
c
o
m
p
l
e
x
), in which the first argument χ, can be a complex function thereby adds a superficial dimension. It makes a huge difference on linearizability of systems in Υ
2. In particular, upon splitting it into the real and imaginary parts
(14)
χ
x
,
u
=
χ
1
x
,
f
1
,
f
2
+
i
χ
2
x
,
f
1
,
f
2
and since the dependent function U
(
χ
) is complex which yields two real functions F
1 and F
2, both of them are not only functions of χ
1 but also of χ
2; that is,
(15)
U
χ
=
F
1
χ
1
,
χ
2
+
i
F
2
χ
1
,
χ
2
;
therefore the linearized scalar equation, U
′′
=
0, fails to produce the free particle system (12). Notwithstanding, the solution of a system in class Υ
2 is extractable from the complex solution U
(
x
), upon its split. We now give a geometrical understanding of complex linearization associated with base equation U
′′
=
0. Since the prime denotes differentiation with respect to χ which upon using the chain rule yields
(16)
∂
∂
χ
=
1
2
∂
∂
χ
1
-
i
∂
∂
χ
2
,
and so U
′′
=
0 is a system of two partial differential equations
(17)
F
1
χ
1
χ
1
-
F
1
χ
2
χ
2
+
2
F
2
χ
1
χ
2
=
0
,
F
2
χ
1
χ
1
-
F
2
χ
2
χ
2
-
2
F
1
χ
1
χ
2
=
0
.
Now by definition a complex Lie point transformation is analytic thus L is analytic. Since the derivative u
′ transforms into a complex derivative U
′ which exists if and only if U
(
χ
) is complex analytic and is preserved under L therefore
(18)
F
1
χ
1
=
F
2
χ
2
,
F
1
χ
2
=
-
F
2
χ
1
,
which are the CR equations. The solution of system (17) along with the condition (18) upon using invertible transformations (2) reveals solutions of the original system. Hence we have established the following result.Theorem 1.
All complex linearizable two-dimensional systems of ODEs in classΥ
2 can be transformed into systems of PDEs (17) and (18) under the transformation (2).We now develop some geometrical aspects of complex linearization. In order to do that we employ the original idea of Riemann that a complex mapping may be regarded as the dependence of one plane on another plane, unlike the dependence of a real function on a line. To do this we first obtain the solution of system (17)-(18) which is
(19)
F
1
χ
1
,
χ
2
=
c
1
χ
1
+
c
2
χ
2
+
c
3
,
F
2
χ
1
,
χ
2
=
c
1
χ
2
-
c
2
χ
1
+
c
4
,
where c
m, (m
=
1,2
,
3,4) are real arbitrary constants. These are two coordinate planes determined by χ
1 and χ
2 with normals
(20)
n
1
=
c
1
,
c
2
;
n
2
=
c
2
,
-
c
1
,
thus they intersect at right angles
(21)
n
1
·
n
2
=
0
,
resulting in a straight line at intersection. Thus the geometric linearizing criterion for scalar second order differential equations; namely, a straight line is extended to the intersection of two planes at right angle in the complex linearization of two-dimensional systems. Note that both χ
1 and χ
2 in (16) are functions of (
x
,
f
1
,
f
2
). Therefore the role of χ
2 can be regarded as slicing the three-dimensional space R
3
=
{
(
x
,
f
1
,
f
2
)
} into two coordinate planes. Interestingly, the solution (
f
1
,
f
2
) of the system under consideration is found by solving (19) with the use of F
1 and F
2 from U
(
χ
) in (2). Hence we arrive at the following geometrical result.Theorem 2.
The necessary and sufficient condition for a two-dimensional system (6) to be complex linearizable is that the two planes determined by (19) intersect at right angle resulting in a straight line which corresponds to scalar linear equations.Figure1 illustrates the geometry and presents an elegant description of complex linearization.Figure 1
The geometry of complex linearization. The straight line on the left is a solution of a linear second order real ODE. The concept naturally extends in the complex domain where a straight line arises in the intersection of two perpendicular planes determined byF
1 and F
2 which are linear functions of χ
1 and χ
2. The third axis is then naturally given by n
→
1
×
n
→
2.Illustrative Example. We consider an example of a physical system known as coupled modified Emden system [2]:
(22)
f
1
′′
=
-
3
f
1
f
1
′
+
3
f
2
f
2
′
-
f
1
3
+
3
f
1
f
2
2
,
f
2
′′
=
-
3
f
2
f
1
′
-
3
f
1
f
2
′
+
f
2
3
-
3
f
1
2
f
2
,
to explain briefly how the procedure works. This system has three symmetries X
1, X
2, and X
3, where
(23)
X
1
=
∂
∂
x
,
X
2
=
x
∂
∂
x
-
f
1
∂
∂
f
1
-
f
2
∂
∂
f
2
,
X
3
=
x
2
∂
∂
x
-
2
x
f
1
∂
∂
f
1
-
2
x
f
2
∂
∂
f
2
,
with Lie algebra [
X
1
,
X
2
]
=
X
1, [
X
1
,
X
3
]
=
2
X
2, and [
X
2
,
X
3
]
=
X
3. The system (22) is solvableonly by complex linearization. The complex point transformation
(24)
χ
=
x
-
1
u
,
U
=
x
2
2
-
x
u
,
is of the form (2), which does the trick to map the associated complex equation (4) of (22), into the complex free particle equation, whose solution after inverting the above transformations directly yields the solution of the system (22). In this case (17) and (18) yield
(25)
F
1
=
a
1
χ
1
-
a
2
χ
2
+
b
1
,
F
2
=
a
2
χ
1
+
a
1
χ
2
+
b
2
,
where
(26)
χ
1
=
x
-
f
1
f
1
2
+
f
2
2
,
χ
2
=
f
2
f
1
2
+
f
2
2
,
F
1
=
x
2
2
-
x
f
1
f
1
2
+
f
2
2
,
F
2
=
x
f
2
f
1
2
+
f
2
2
,
obtained from (24). Now by solving (25), for f
1 and f
2, and by invoking equations (26), we get the solution
(27)
f
1
x
=
2
x
3
-
6
x
2
a
1
+
4
a
2
2
+
a
1
2
-
b
1
x
+
4
a
1
b
1
+
4
a
2
b
2
f
1
x
×
x
4
-
4
x
3
a
1
+
4
a
2
2
+
a
1
2
-
b
1
x
2
+
2
a
2
b
2
+
a
1
b
1
x
+
b
1
2
+
b
2
2
-
1
,
f
2
x
=
2
x
2
+
4
b
1
a
2
+
4
b
2
x
-
a
1
f
2
x
×
b
1
2
x
4
-
4
x
3
a
1
+
4
a
2
2
+
a
1
2
-
b
1
x
2
+
2
a
2
b
2
+
a
1
b
1
x
+
b
1
2
+
b
2
2
-
1
,
of system (22).


## 4. Applications

We now illustrate the theory with the aid of examples on classΥ
2, that is, the complex linearizable systems with algebras of dimensions d
≤
4. It may be pointed out that systems which cannot be dealt via standard Lie symmetry approach are solvable via symmetry approach! We also highlight the procedure with which we obtained these systems systematically.


### 4.1. Solvable System of 4-Dimensional Algebra

Consideringβ
(
x
,
f
1
,
f
2
)
=
1 and γ
(
x
,
f
1
,
f
2
)
=
0, in (9) we obtain a coupled system
(28)
f
1
′′
-
f
1
′
3
+
3
f
1
′
f
2
′
2
=
0
,
f
2
′′
-
3
f
1
′
2
f
2
′
+
f
2
′
3
=
0
,
which is complex linearizable and has only four symmetries:
(29)
X
1
=
∂
∂
x
,
X
2
=
∂
∂
f
1
,
X
3
=
∂
∂
f
2
,
X
4
=
2
x
∂
∂
x
+
f
1
∂
∂
f
1
+
f
2
∂
∂
f
2
,
with Lie algebra
(30)
X
1
,
X
2
=
0
,
X
1
,
X
3
=
0
,
X
2
,
X
3
=
0
,
X
1
,
X
4
=
2
X
1
,
X
2
,
X
4
=
X
2
,
X
3
,
X
4
=
X
3
;
therefore, it is not in one of the linearizable classes of two-dimensional systems. Now in order to carry out integration of system (28), we linearize the corresponding equation
(31)
u
′′
-
u
′
3
=
0
,
which has an 8-dimensional Lie algebra. This can be mapped to the linear equation
(32)
U
′′
+
1
=
0
,
by inverting the role of the independent and dependent variables χ
=
u, U
=
x. It has the solution 2
U
=
-
χ
2
+
a
χ
+
b, where a and b are complex constants, which in terms of the original variables becomes u
(
x
)
=
±
a
-
2
x
+
b, and yields the solution
(33)
f
1
(
x
)
=
±
a
1
-
2
x
+
a
1
-
2
x
2
+
a
2
2
2
1
/
2
+
b
1
,
f
2
(
x
)
=
±
-
a
1
+
2
x
+
a
1
-
2
x
2
+
a
2
2
2
1
/
2
+
b
2
,
of (28). System (28) can be solved by real symmetry analysis because it has four symmetry generators. However, we now proceed to systems that arenot solvable by real symmetry methods as they havefewer symmetry generators than four.


### 4.2. Solvable System of 3-Dimensional Algebra

It is easy to construct a system from (9) which has only three symmetries. For example, we observe that in (9) the functions β and γ can be at most linear functions of independent variable x. Hence we obtain a complex linearizable system
(34)
f
1
′′
-
x
f
1
′
3
+
3
x
f
1
′
f
2
′
2
=
0
,
f
2
′′
-
3
x
f
1
′
2
f
2
′
+
x
f
2
′
3
=
0
,
by involving x linearly in the coefficients to remove the x-translation. Thus we obtain the following 3-dimensional Abelian Lie algebra:
(35)
X
1
=
x
∂
∂
x
,
X
2
=
∂
∂
f
1
,
X
3
=
∂
∂
f
2
.
We follow the same procedure as developed in the previous case and solve the corresponding nonlinear equation:
(36)
u
′′
-
x
u
′
3
=
0
.
It is transformable to a linear form U
′′
=
-
U, which after inverting the variables gives
(37)
u
x
=
arctan
x
a
-
x
2
+
b
.
System (34) isnot solvable by real symmetry methods but by complex linearization.


### 4.3. Solvable System of 2-Dimensional Algebras

Consider the system(38)
f
1
′′
-
f
1
f
1
′
3
+
3
f
2
f
1
′
2
f
2
′
+
3
f
1
f
1
′
f
2
′
2
-
f
2
f
2
′
3
=
0
,
f
2
′′
-
f
2
f
1
′
3
-
3
f
1
f
1
′
2
f
2
′
+
3
f
2
f
1
′
f
2
′
2
+
f
1
f
2
′
3
=
0
,
which has only two Lie symmetries
(39)
X
1
=
∂
∂
x
,
X
2
=
3
x
∂
∂
x
+
f
1
∂
∂
f
1
+
f
2
∂
∂
f
2
.
The system (38) is solvable due to its correspondence with the complex scalar second order ODE:
(40)
u
′′
-
u
u
′
3
=
0
,
which is linearizable, despite having only a two-dimensional algebra. Notice that even a scalar second order ODE requires at least two symmetries to be solvable, while here complex linearization helps to solve a system of two ODEs. In the subsequent cases we provide the solution for a system withonly one symmetry generator,which is insufficient to solve even a scalar second order ODE. Nevertheless,we can go further!


### 4.4. Solvable System of 1-Dimensional Algebra

Considerβ
(
x
,
f
1
,
f
2
)
=
x
f
1 and γ
(
x
,
f
1
,
f
2
)
=
x
f
2, in (9) we obtain
(41)
f
1
′′
-
x
f
1
f
1
′
3
+
3
x
f
2
f
1
′
2
f
2
′
+
3
x
f
1
f
1
′
f
2
′
2
-
x
f
2
f
2
′
3
=
0
;
f
2
′′
-
x
f
2
f
1
′
3
-
3
x
f
1
f
1
′
2
f
2
′
+
3
x
f
2
f
1
′
f
2
′
2
+
x
f
1
f
2
′
3
=
0
.
This system is nonlinearizable as it hasonly a scaling symmetry X
1
=
x
∂
x. The corresponding scalar second order complex ODE is
(42)
u
′′
-
x
u
u
′
3
=
0
,
which has an 8-dimensional algebra and linearizes to
(43)
U
′′
+
χ
U
=
0
,
which is the Airy equation whose solutions are Airy functions extended to the complex plane. The solution of the complex linearized equation for U
(
x
) is given by
(44)
U
χ
=
c
1
Ai
-
χ
+
c
2
Bi
-
χ
,
where Ai
(
-
χ
) and Bi
(
-
χ
), are the two Airy functions. Inverting (44), we obtain a solution of the associated nonlinear equation which implicitly provides a solution:
(45)
R
c
1
Ai
-
f
1
-
i
f
2
+
c
2
Bi
-
f
1
-
i
f
2
=
x
,
I
c
1
Ai
-
f
1
-
i
f
2
+
c
2
Bi
-
f
1
-
i
f
2
=
0
,
where R and I are the real and imaginary parts of the arguments, for the system (41).


### 4.5. Solvable System of 0-Dimensional Algebra

We now take the quadratic freedom off
1 and f
2, in β and γ, to get rid of the remaining symmetry in the above system. Consider β
=
x
-
f
1
2
+
f
2
2 and γ
=
2
f
1
f
2, in (9), we obtain
(46)
f
1
′′
=
x
2
-
f
1
2
+
f
2
2
f
1
′
3
-
3
f
1
′
f
2
′
2
+
2
f
1
f
2
3
f
1
′
2
f
2
′
-
f
2
′
3
;
f
2
′′
=
x
2
-
f
1
2
+
f
2
2
3
f
1
′
2
f
2
′
-
f
2
′
3
-
2
f
1
f
2
f
1
′
3
-
3
f
1
′
f
2
′
2
.
This system has no real point symmetry. However the corresponding complex equation
(47)
u
′′
-
x
u
2
u
′
3
=
0
is again linearizable to U
′′
=
0, producing the solution of system (46).


## 4.1. Solvable System of 4-Dimensional Algebra

Consideringβ
(
x
,
f
1
,
f
2
)
=
1 and γ
(
x
,
f
1
,
f
2
)
=
0, in (9) we obtain a coupled system
(28)
f
1
′′
-
f
1
′
3
+
3
f
1
′
f
2
′
2
=
0
,
f
2
′′
-
3
f
1
′
2
f
2
′
+
f
2
′
3
=
0
,
which is complex linearizable and has only four symmetries:
(29)
X
1
=
∂
∂
x
,
X
2
=
∂
∂
f
1
,
X
3
=
∂
∂
f
2
,
X
4
=
2
x
∂
∂
x
+
f
1
∂
∂
f
1
+
f
2
∂
∂
f
2
,
with Lie algebra
(30)
X
1
,
X
2
=
0
,
X
1
,
X
3
=
0
,
X
2
,
X
3
=
0
,
X
1
,
X
4
=
2
X
1
,
X
2
,
X
4
=
X
2
,
X
3
,
X
4
=
X
3
;
therefore, it is not in one of the linearizable classes of two-dimensional systems. Now in order to carry out integration of system (28), we linearize the corresponding equation
(31)
u
′′
-
u
′
3
=
0
,
which has an 8-dimensional Lie algebra. This can be mapped to the linear equation
(32)
U
′′
+
1
=
0
,
by inverting the role of the independent and dependent variables χ
=
u, U
=
x. It has the solution 2
U
=
-
χ
2
+
a
χ
+
b, where a and b are complex constants, which in terms of the original variables becomes u
(
x
)
=
±
a
-
2
x
+
b, and yields the solution
(33)
f
1
(
x
)
=
±
a
1
-
2
x
+
a
1
-
2
x
2
+
a
2
2
2
1
/
2
+
b
1
,
f
2
(
x
)
=
±
-
a
1
+
2
x
+
a
1
-
2
x
2
+
a
2
2
2
1
/
2
+
b
2
,
of (28). System (28) can be solved by real symmetry analysis because it has four symmetry generators. However, we now proceed to systems that arenot solvable by real symmetry methods as they havefewer symmetry generators than four.


## 4.2. Solvable System of 3-Dimensional Algebra

It is easy to construct a system from (9) which has only three symmetries. For example, we observe that in (9) the functions β and γ can be at most linear functions of independent variable x. Hence we obtain a complex linearizable system
(34)
f
1
′′
-
x
f
1
′
3
+
3
x
f
1
′
f
2
′
2
=
0
,
f
2
′′
-
3
x
f
1
′
2
f
2
′
+
x
f
2
′
3
=
0
,
by involving x linearly in the coefficients to remove the x-translation. Thus we obtain the following 3-dimensional Abelian Lie algebra:
(35)
X
1
=
x
∂
∂
x
,
X
2
=
∂
∂
f
1
,
X
3
=
∂
∂
f
2
.
We follow the same procedure as developed in the previous case and solve the corresponding nonlinear equation:
(36)
u
′′
-
x
u
′
3
=
0
.
It is transformable to a linear form U
′′
=
-
U, which after inverting the variables gives
(37)
u
x
=
arctan
x
a
-
x
2
+
b
.
System (34) isnot solvable by real symmetry methods but by complex linearization.


## 4.3. Solvable System of 2-Dimensional Algebras

Consider the system(38)
f
1
′′
-
f
1
f
1
′
3
+
3
f
2
f
1
′
2
f
2
′
+
3
f
1
f
1
′
f
2
′
2
-
f
2
f
2
′
3
=
0
,
f
2
′′
-
f
2
f
1
′
3
-
3
f
1
f
1
′
2
f
2
′
+
3
f
2
f
1
′
f
2
′
2
+
f
1
f
2
′
3
=
0
,
which has only two Lie symmetries
(39)
X
1
=
∂
∂
x
,
X
2
=
3
x
∂
∂
x
+
f
1
∂
∂
f
1
+
f
2
∂
∂
f
2
.
The system (38) is solvable due to its correspondence with the complex scalar second order ODE:
(40)
u
′′
-
u
u
′
3
=
0
,
which is linearizable, despite having only a two-dimensional algebra. Notice that even a scalar second order ODE requires at least two symmetries to be solvable, while here complex linearization helps to solve a system of two ODEs. In the subsequent cases we provide the solution for a system withonly one symmetry generator,which is insufficient to solve even a scalar second order ODE. Nevertheless,we can go further!


## 4.4. Solvable System of 1-Dimensional Algebra

Considerβ
(
x
,
f
1
,
f
2
)
=
x
f
1 and γ
(
x
,
f
1
,
f
2
)
=
x
f
2, in (9) we obtain
(41)
f
1
′′
-
x
f
1
f
1
′
3
+
3
x
f
2
f
1
′
2
f
2
′
+
3
x
f
1
f
1
′
f
2
′
2
-
x
f
2
f
2
′
3
=
0
;
f
2
′′
-
x
f
2
f
1
′
3
-
3
x
f
1
f
1
′
2
f
2
′
+
3
x
f
2
f
1
′
f
2
′
2
+
x
f
1
f
2
′
3
=
0
.
This system is nonlinearizable as it hasonly a scaling symmetry X
1
=
x
∂
x. The corresponding scalar second order complex ODE is
(42)
u
′′
-
x
u
u
′
3
=
0
,
which has an 8-dimensional algebra and linearizes to
(43)
U
′′
+
χ
U
=
0
,
which is the Airy equation whose solutions are Airy functions extended to the complex plane. The solution of the complex linearized equation for U
(
x
) is given by
(44)
U
χ
=
c
1
Ai
-
χ
+
c
2
Bi
-
χ
,
where Ai
(
-
χ
) and Bi
(
-
χ
), are the two Airy functions. Inverting (44), we obtain a solution of the associated nonlinear equation which implicitly provides a solution:
(45)
R
c
1
Ai
-
f
1
-
i
f
2
+
c
2
Bi
-
f
1
-
i
f
2
=
x
,
I
c
1
Ai
-
f
1
-
i
f
2
+
c
2
Bi
-
f
1
-
i
f
2
=
0
,
where R and I are the real and imaginary parts of the arguments, for the system (41).


## 4.5. Solvable System of 0-Dimensional Algebra

We now take the quadratic freedom off
1 and f
2, in β and γ, to get rid of the remaining symmetry in the above system. Consider β
=
x
-
f
1
2
+
f
2
2 and γ
=
2
f
1
f
2, in (9), we obtain
(46)
f
1
′′
=
x
2
-
f
1
2
+
f
2
2
f
1
′
3
-
3
f
1
′
f
2
′
2
+
2
f
1
f
2
3
f
1
′
2
f
2
′
-
f
2
′
3
;
f
2
′′
=
x
2
-
f
1
2
+
f
2
2
3
f
1
′
2
f
2
′
-
f
2
′
3
-
2
f
1
f
2
f
1
′
3
-
3
f
1
′
f
2
′
2
.
This system has no real point symmetry. However the corresponding complex equation
(47)
u
′′
-
x
u
2
u
′
3
=
0
is again linearizable to U
′′
=
0, producing the solution of system (46).


## 5. Conclusion

Complex symmetry analysis provides a class of systems of two ODEs obtainable from a scalar second order equation if the dependent variable is a complex function of a real independent variable. The linearizability of this base complex equation generates two different classes of systems of two second order ODEs: (a) real linearizable systems that can be linearized from real Lie point transformations; and (b) complex linearizable systems that can only be linearized using complex Lie point transformations. In [14], it was shown that systems that can be transformed into a complex linear equation has 6, 7, or 15 maximum dimensional algebra which can, therefore, also be linearized by real Lie point transformations. The second class is investigated here and it is found that these systems are not linearizable by any real Lie point transformations but they are solvable due to their correspondence with linearizable scalar complex equations. This class contains complex linearizable systems with maximum dimensions of Lie algebras less than four. The complex point transformations play a significant role in their linearization.It would be worthwhile to investigate the contact symmetries of given systems that might provide deeper insights into complex point transformations. The group of contact transformations is infinite-dimensional for linear systems and contains the group of fibre-preserving transformations and point transformations as its special cases. The last system with no symmetry clearly indicates an inherited beauty in the complex domain which is not visible in the real domain. It is a benchmark problem as to why this system is solvable in the complex domain and not in the real.Important features of the given systems can be explored in terms of first integrals by applying the Noether symmetry analysis, provided the given systems come from a variational principle. In contrast, Cartan’s equivalence approach (which does not necessarily depend on the existence of a Lagrangian) can be applied to investigate invariants and differential invariants of such systems. Further directions may include the problem of linearization of even dimensional systems of ODEs from complex point transformations.



---

*Source: 793247-2014-11-19.xml*