On Two New Groups of Non-Elementary Functions That Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs
Magne Stensland
Moldjord, Norway.
DOI: 10.4236/jamp.2022.103050   PDF    HTML   XML   103 Downloads   421 Views  

Abstract

In this paper, we define a group of solutions x(t) that are sine and cosine to the upper limit of integration in a non-elementary integral that can be arbitrary. We will also define a group of solutions x(t) that are equal to the amplitude. This is a generalized amplitude function. We are using Abel’s methods, described by Armitage and Eberlein. And finally, we define an exponential function whose exponent is the product of a complex number and the upper limit of integration in a non-elementary integral that can be arbitrary. At least three groups of non-elementary functions are special cases of this complex function.

Share and Cite:

Stensland, M. (2022) On Two New Groups of Non-Elementary Functions That Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs. Journal of Applied Mathematics and Physics, 10, 703-713. doi: 10.4236/jamp.2022.103050.

1. Introduction

On page 1 in the book [1], we find the sentences: Very few ordinary differential equations have explicit solutions expressible in finite terms. This is not because ingenuity fails, but because the repertory of standard functions (polynomials, exp, sin and so on) in terms of which solutions may be expressed is too limited to accommodate the variety of differential equations encountered in practice.

This is the main reason for this work. It should be possible to do something about this problem. If we don’t have enough tools in our mathematical toolbox, we must make the tools first. For this problem, we will attempt to define some new functions, and groups of functions. The numbers I have given the ODEs and the integral functions (IF) in the text are the numbers they have in my collection.

Wolfram Math World describes three nonlinear second-order ODEs that have the Jacobi elliptic functions s n , c n and d n as solutions. Define a solution x ( t ) = c n ( t ) and differentiate twice, and you will obtain the ODE:

d 2 x d t 2 = ( 2 k 2 1 ) x 2 k 2 x 3 , 0 k < 1 (1)

And if we use the Jacobi amplitude function a m ( t , k ) as a solution x ( t ) and differentiate twice, we will obtain the ODE:

d 2 x d t 2 = k 2 sin ( x ) cos ( x ) (2)

This causes us to think that other second-order nonlinear ODEs have functions made by the same methods as Jacobi elliptic functions, as their solutions. It should be possible to make more non-elementary functions by changing the non-elementary integral. In this paper, we will work in the same way: First, define some non-elementary functions, and then differentiate them twice in order to see what kind of ODEs these functions are giving solutions to.

We will use the methods described by Armitage and Eberlein [2] in their book Elliptic Functions, especially Sections 1.6 and 1.7. They apply what they call the Abel’s methods. “Eberlein sought to relate the ideas of Abel to the later work of Jacobi.” Here is a brief summary of how they define the Jacobi elliptic functions:

In Section 1.6 they define a function x:

1) x = x ( ψ ) = 0 ψ d u 1 k 2 sin 2 u , 0 k < 1 , < ψ < (3)

Here is x a function of ψ. The positive derivative of x is:

2) d x d ψ = 1 1 k 2 sin 2 ψ and then inverting d x d ψ , so that (4)

3) d ψ d x = 1 k 2 sin 2 ψ here is ψ a function of x. (5)

And then in Section 1.7 they define a set of functions s n , c n and d n , so that

s n ( x ) = sin ψ , c n ( x ) = cos ψ and d n ( x ) = 1 k 2 sin 2 ψ (6)

Armitage and Eberlein are using x as variable to the functions s n , c n and d n . In order to avoid misunderstandings with the solution x ( t ) , we will use the variable u instead of x, and the amplitude φ instead of ψ.

During the last 30 years there have been done a lot of progress in finding solutions to nonlinear ODEs and PDEs. The progress is mostly made by using different methods like the Prelle-Singer method [3], Abel’s equations [4] [5], the new Jacobi elliptic functions [6] [7], and the old Jacobi elliptic functions [8] [9], a new method [10], revised methods [11], Jacobi elliptic function expansion method [12], expo-elliptic functions [13].

With exception of the new Jacobi elliptic functions and the expo-elliptic functions, it seems to me that nobody has tried to make new non-elementary functions that can give solutions to second-order nonlinear ODEs. In this paper, we will attempt to take a step further.

The functions defined in this paper are new to the literature, at least to my knowledge. This paper is a continuation of [13], which is the first part.

2. The Jef-Family

I have named this group of functions The Jef-Family, after the Jacobi elliptic functions (Jef). Many of the functions in this group have Jacobi elliptic functions as a special case. We will define a general set of functions for this group. Common for all members of the Jef-Family are that they contain sin φ or cos φ or both, where φ = φ ( u ) is the upper limit of integration in a non-elementary integral. The applications to these functions are as solutions to some nonlinear ODEs.

In order to work with functions, we must give them some symbols. I’ve used the notations of Jacobi elliptic functions, s n , c n and d n and added a letter in front, as for example p s n , p c n and p d n .

2.1. Definition

Define a set of three functions a s n , a c n and a d n , so that a s n ( u ) = sin φ , a c n ( u ) = cos φ and a d n ( u ) = d φ d u = h ( φ ) , where the function h can be arbitrary, with or without square root, with fraction, and even sin ( sin φ ) or e sin φ . φ = φ ( u ) is the upper limit of integration in a non-elementary integral. When d φ d u = 1 k 2 sin 2 ϕ , is

a s n ( u ) = s n ( u , k ) , a c n ( u ) = c n ( u , k ) and a d n ( u ) = d n ( u , k ) (7)

2.2. Some Connections between These Functions

a s n 2 ( u ) + a c n 2 ( u ) = 1 (8)

The connection between the functions a d n ( u ) , a s n ( u ) and a c n ( u ) depends on how the function h is. They are continuous and differentiable on the whole R, for the limitations of the parameters.

2.3. The Derivatives to These Functions

d d u a s n ( u ) = a c n ( u ) a d n ( u ) (9)

d d u a c n ( u ) = a s n ( u ) a d n ( u ) (10)

d d u a d n ( u ) = d h d φ d φ d u (11)

2.4. One Example of the Jef-Family

The functions p s n , p c n and p d n .

Define an integral function u (IF 16):

u = u ( φ ) = 0 ϕ d θ ( b + p sin θ + v sin 2 θ ) ( n + h sin θ + g sin 2 θ ) ( d + l sin θ + f sin 2 θ ) (12)

1 < h , g , l , f , p , v < 1 , b , n , d 2

d u d φ = 1 ( b + p sin ϕ + v sin 2 ϕ ) ( n + h sin ϕ + g sin 2 ϕ ) ( d + l sin ϕ + f sin 2 ϕ ) (13)

Inverting:

d φ d u = ( b + p sin ϕ + v sin 2 ϕ ) ( n + h sin ϕ + g sin 2 ϕ ) ( d + l sin ϕ + f sin 2 ϕ ) (14)

Define a set of three functions p s n , p c n and p d n , so that

p s n ( u ) = sin φ , p c n ( u ) = cos φ and p d n ( u ) = d φ d u (15)

The connection between the functions p s n , p c n and p d n :

p s n 2 ( u ) + p c n 2 ( u ) = 1 (16)

p d n 2 ( u ) = ( b + p p s n ( u ) + v p s n 2 ( u ) ) 2 [ ( n + h p s n ( u ) + g p s n 2 ( u ) ) × ( d + l p s n ( u ) + f p s n 2 ( u ) ) ] (17)

The derivatives to these functions:

d d u p s n ( u ) = p c n ( u ) p d n ( u ) (18)

d d u p c n ( u ) = p s n ( u ) p d n ( u ) (19)

d d u p d n ( u ) = p c n ( u ) ( b + p p s n ( u ) + v p s n 2 ( u ) ) × [ ( n + h p s n ( u ) + g p s n 2 ( u ) ) ( d + l p s n ( u ) + f p s n 2 ( u ) ) ( p + 2 v p s n ( u ) ) + ( b + p p s n ( u ) + v p s n 2 ( u ) ) ( d + l p s n ( u ) + f p s n 2 ( u ) ) ( 1 2 h + g p s n ( u ) ) + ( b + p p s n ( u ) + v p s n 2 ( u ) ) ( n + h p s n ( u ) + g p s n 2 ( u ) ) ( 1 2 l + f p s n ( u ) ) ] (20)

When 1 < h , g , l , f < 1 and n , d 2 , are the functions p s n , p c n and p d n continues and differentiable on the whole R.

We can make a lot of special cases of the functions p s n , p c n and p d n by defining one or more of the parameters = 0. For example when p = v = h = g = l = 0 and b = d = n = 1 and f = k 2 , 0 k < 1 . Then is p s n ( u ) = s n ( u , k ) , p c n ( u ) = c n ( u , k ) and p d n ( u ) = d n ( u , k ) . Jacobi elliptic functions (Jef) are a special case of the functions p s n , p c n and p d n .

Periods.

Consider the integral function (IF 16). sin θ increases from −1 to 1 when θ increases from π 2 to π 2 . And sin θ decreases from 1 to −1 when θ increases from π 2 to 3 2 π . The period of the function, that we may name P, has a maximum value at φ = π 2 . P is then a quarter-period.

The period

P = 0 π 2 d θ ( b + p sin θ + v sin 2 θ ) ( n + h sin θ + g sin 2 θ ) ( d + l sin θ + f sin 2 θ ) (21)

The period P depends on the values of the parameters.

p s n ( u + 4 P ) = sin ( φ + 2 π ) = sin φ = p s n ( u ) (22)

p c n ( u + 4 P ) = cos ( φ + 2 π ) = cos φ = p c n ( u ) (23)

p d n ( u + 4 P ) = ( b + p sin ( φ + 2 π ) + v sin 2 ( φ + 2 π ) ) × ( n + h sin ( φ + 2 π ) + g sin 2 ( φ + 2 π ) ) ( d + l sin ( φ + 2 π ) + f sin 2 ( φ + 2 π ) ) = p d n ( u ) (24)

The functions p s n ( u ) , p c n ( u ) and p d n ( u ) have a real period of 4P.

p s n ( P ) = 1 , p c n ( P ) = 0 , p d n ( P ) = ( b + p + v ) ( n + h + g ) ( d + l + f ) (25)

p s n ( 0 ) = 0 , p c n ( 0 ) = 1 , p d n ( 0 ) = b n d (26)

Define a solution

x ( t ) = p s n ( t ) , d x d t = p c n ( t ) p d n ( t ) (27)

( d x d t ) 2 = ( 1 x 2 ) ( b + p x + v x 2 ) 2 ( n + h x + g x 2 ) ( d + l x + f x 2 ) (28)

The general expression of this equation:

( d x d t ) 2 = A x 10 + B x 9 + C x 8 + D x 7 + E x 6 + F x 5 + G x 4 + H x 3 + I x 2 + J x + K (29)

According to Schwalm [8] this kind of differential equations occurs in the study of mechanical systems, at least to the degree of 4. Some of the parameters may be zero. The function p s n ( t ) give a solution to this kind of equations.

Let us go back to d x d t = p c n ( t ) p d n ( t ) and differentiating one more time, and we obtain the Equation (2082):

(2082) d 2 x d t 2 = x ( b + p x + v x 2 ) 2 ( n + h x + g x 2 ) ( d + l x + f x 2 ) + ( 1 x 2 ) ( b + p x + v x 2 ) [ ( n + h x + g x 2 ) ( d + l x + f x 2 ) ( p + 2 v x ) + ( b + p x + v x 2 ) ( d + l x + f x 2 ) ( 1 2 h + g x ) + ( b + p x + v x 2 ) ( n + h x + g x 2 ) ( 1 2 l + f x ) ]

The function p s n ( t ) give solution to a second-order nonlinear ODE of 9. degree. The equilibrium points are centers and saddles. See Figure 1.

In Figure 1 are the values of the parameters: p = 3 4 , b = 2 , v = 1 2 , n = 2 , h = 1 2 , g = 2 3 , d = 3 , l = 1 4 , f = 2 5 .

3. The Amplitude Functions

This group of functions I have named amplitude functions, after the Jacobi amplitude function a m ( u , k ) , that is a member of this group of functions. Common for the amplitude functions is the solution x ( t ) = φ = φ ( t ) , that is the amplitude or upper limit of integration in a non-elementary integral that can be arbitrary.

The function a m ( u , k ) is equal to the Jacobi amplitude φ.

a m ( u , k ) = 0 u d n ( u , k ) d u (30)

d d u a m ( u , k ) = d n ( u , k ) (31)

The second-order nonlinear differential equation:

Figure 1. Five centers and four saddle-points.

d 2 x d t 2 = k 2 sin x cos x , 0 k < 1 (32)

has a m ( t , k ) as solution:

x ( t ) = a m ( t , k ) = φ = φ ( t ) = 0 t d n ( u , k ) d u (33)

d x d t = d φ d t = d n ( t ) = 1 k 2 sin 2 φ (34)

One more differentiating give Equation (32).

3.1. Definition of the General Amplitude Function

Define a function

a m p ( u ) = φ = φ ( u ) = 0 u a d n ( u ) d u , < u , φ < (35)

where φ is the amplitude or upper limit of integration in a non-elementary integral.

d d u a m p ( u ) = d φ d u = a d n ( u ) = f ( φ ) (36)

The function a d n ( u ) is the same function as in the Jef-Family (7).

The function f can be arbitrary. It may also be a square root or a fraction. We have named the derivative to a m p ( u ) for a d n ( u ) in order to show the relationship to d n ( u , k ) .

When f ( φ ) = 1 k 2 sin 2 φ is a d n ( u ) = d n ( u , k ) and a m p ( u ) = a m ( u , k ) (37)

3.2. The amp-Function as Solution to Second-Order Nonlinear ODE

Consider the solution

x ( t ) = a m p ( t ) = φ = φ ( t ) = 0 t a d n ( u ) d u (38)

d x d t = d φ d t = a d n ( t ) (39)

When d φ d t = 1 , is

φ = 1 d t = t + C (40)

We will give an example:

As for the Jacobi elliptic functions, we start with a non-elementary integral.

Define an integral function u (IF 105):

u = u ( φ ) = 0 φ d θ c + k e b θ sin ( p θ ) , b , c , k , p , φ R (41)

b < 0 , 1 < k < 1 , < p < , c 1

d u d φ = 1 c + k e b φ sin ( p φ ) (42)

Inverting:

d φ d u = c + k e b φ sin ( p φ ) (43)

Define an amplitude function as a solution x ( t ) :

x ( t ) = a m p ( t ) = φ = φ ( t ) = 0 t a d n ( u ) d u Compare with (33) (44)

d x d t = d φ d t = a d n ( t ) = c + k e b x sin ( p x ) (45)

d 2 x d t 2 = 1 2 k e b x ( b sin ( p x ) + p cos ( p x ) ) (46)

Choose the parameter-values p = 1 , b = 1 , k = 1 2 and we obtain the ODE:

d 2 x d t 2 = 1 4 e x ( cos x sin x ) (47)

The second-order nonlinear ODE (46) has the amplitude function described above as solution:

x ( t ) = a m p ( t )

where in this case

a d n ( t ) = d x d t = c + k e b x sin ( p x ) (48)

We have gone forward the opposite of what is common. The usual way is to start with (46) and integrate. The purpose is to show that the solution x ( t ) to (46) is a kind of amplitude function, where x ( t ) = φ = φ ( t ) . What might be new is to place the solution x ( t ) in a group of functions, and to tell what kind of functions these solutions are. A lot of solutions to second-order nonlinear ODEs can be placed in the group of amplitude functions.

For example:

d 2 x d t 2 = x sin x (49)

We take it step by step:

d 2 x d t 2 d t = ( x sin x ) d t (50)

d x d t + c 1 = x 2 + 2 cos x + C (51)

Choose c 1 = 0 and define a solution: x ( t ) = a m p ( t ) = φ = φ ( t )

d x d t = d φ d t = φ 2 + 2 cos φ + C (52)

Inverting:

d t d φ = 1 φ 2 + 2 cos φ + C (53)

t = t ( φ ) = 0 φ d θ θ 2 + 2 cos θ + C (54)

Here we see that the solution x ( t ) = φ = φ ( t ) is the amplitude, or upper limit of integration in a non-elementary integral. The solution x ( t ) to Equation (49) is an amplitude function.

We can make this definition:

If a solution x ( t ) is the upper limit of integration in a non-elementary integral, then this solution is an amplitude function.

The applications to the amplitude functions are as solutions to differential equations.

4. The Complex Expo-Elliptic Function

We have briefly looked at three groups of non-elementary functions, one group in the previous paper [13], the Jef-Family and the amplitude functions in this paper. They are very useful as solutions to second-order nonlinear ODEs. These solutions have elementary functions as special cases:

1) Expo-elliptic functions:

x ( t ) = μ ( t ) = e a φ , d φ d t = 1 x ( t ) = e a t (55)

2) The Jef-Family:

x ( t ) = a s n ( t ) = sin φ , d φ d t = 1 x ( t ) = sin t (56)

x ( t ) = a c n ( t ) = cos φ , d φ d t = 1 x ( t ) = cos t (57)

3) Amplitude functions:

x ( t ) = a m p ( t ) = φ , d φ d t = 1 x ( t ) = t + C (58)

These solutions are functions of the amplitude φ, or is the amplitude φ, that is the upper limit of integration in a non-elementary integral. These functions are special cases of the complex expo-elliptic function. This function may also be named the complex μ-function:

M = M ( u ) = e λ φ , φ = φ ( u ) , λ = a + i b ( acomplexnumber ) , i = 1 , a , b R (59)

M = M ( u ) = e λ φ = e a φ ( cos ( b φ ) + i sin ( b φ ) ) (60)

In Equation (60) we find the expo-elliptic function e a φ , the solutions in the Jef-Family: sin φ and cos φ , and the amplitude function φ. Then we have combined three groups of non-elementary functions in one single function: e λ φ .

5. Conclusions

In this paper and in [13] we have defined three groups of non-elementary functions that are very useful as solutions to some second-order nonlinear autonomous ODEs: The expo-elliptic functions, where the solution x ( t ) = e a φ , the Jef-Family, where the solution x ( t ) = sin φ or x ( t ) = cos φ , and the amplitude functions, where the solution x ( t ) = φ , that is the amplitude or upper limit of integration in a non-elementary integral that can be arbitrary.

These groups of functions are containing many sets of non-elementary functions, where two examples of the expo-elliptic functions are studied in [13], and one example of the Jef-Family in this paper.

What is new in this paper:

1) The Jef-Family and the set of functions p s n , p c n and p d n .

2) The group of amplitude functions, where the solution x ( t ) is the amplitude or upper limit of integration in a non-elementary integral.

3) The complex expo-elliptic function e λ φ that has the solutions e a φ , sin φ and cos φ , and φ as special cases.

It is possible to make a lot of non-elementary functions using Abel’s methods described by Armitage and Eberlein, by how they define the Jacobi elliptic functions. In the same way as Jacobi’s functions s n , c n , d n and a m give solutions to a few ODEs, the non-elementary functions described in this paper and a lot more, give solutions to many different kinds of ODEs. I don’t see any limit for this subject. The only limit is our imagination.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Jordan, D.W. and Smith, P. (2007) Nonlinear Ordinary Differential Equations. Oxford University Press, Oxford, England, 1 p, 450-453, 493 p.
[2] Armitage, J.V. and Eberlein, W.F. (2006) Elliptic Functions. London Mathematical Society, Cambridge, 12-15.
[3] Duarte, L.G.S., Duarte, S.E.S., da Mota, L.A.C.P. and Skea, J.E.F. (2000) Solving Second-Order Ordinary Differential Equations by Extending the Prelle-Singer Method. Journal of Physics A: Mathematical and General, 34, Article No. 3015.
https://doi.org/10.1088/0305-4470/34/14/308
[4] Markakis, M.P. (2010) Exact Solutions for Certain Nonlinear Autonomous ODE of the Second Order and Families of Two-Dimensional Autonomous Systems. International Journal of Differential Equations, 2010, Article ID: 436860.
https://doi.org/10.1155/2010/436860
[5] Panayotounakos, D.E. and Zampoutis, T.I. (2011) Constuction of Exact Parametric or Closed Form Solutions of Some Unsolvable Classes of Nonlinear ODEs. International Journal of Mathematics and Mathematical Sciences, 2011, Article ID: 387429.
https://doi.org/10.1155/2011/387429
[6] Ali, A.T. (2011) New Generalized Jacobi Elliptic Function Rational Expansion Method. Journal of Computation and Applied Mathematics, 235, 4117-4127.
[7] Hong, B.J. and Lu, D.C. (2009) New Jacobi Elliptic Solutions for Higher-Order Nonlinear Schrodinger Equation. International Journal of Nonlinear Science, 7, 360-367.
[8] W.A. Schwalm (2015) Differential Equations Satisfied by the Jacobi Elliptic Functions: Pendula. Morgan & Claypool Publishers, San Rafael, 1-7, 2-14.
https://doi.org/10.1088/978-1-6817-4230-4ch2
[9] Salas, A.H., Jairo, E. and Castillo, H. (2014) Exact Solution to Duffing Equation and the Pendulum Equation. Applied Mathematical Sciences, 8, 8781-8789.
https://doi.org/10.12988/ams.2014.44243
[10] Zraiqat, A. and AI-Hwawcha, L.K. (2015) On Exact Solutions of Second Order Non-Linear Ordinary Differential Equations. Applied Mathematics, 6, 953-957.
https://doi.org/10.4236/am.2015.66087
[11] Mengesha, L.M. and Denekew, S.A. (2020) Revised Methods for Solving Nonlinear Second Order Differential Equations. Journal of Applied & Computational Mathematics, 9, 4 p.
[12] Xiang, C. and Wang, H. (2020) Jacobi Elliptic Function Expansion Method for the Vakhnenko Equation. Journal of Applied Mathematics and Physics, 8, 793-798.
https://doi.org/10.4236/jamp.2020.85061
[13] Stensland, M. (2022) An Attempt to Make Non-Elementary Functions That Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs. Journal of Applied Mathematics and Physics, 10, 56-67.
https://doi.org/10.4236/jamp.2022.101006

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.