Six New Sets of the Non-Elementary Jef-Family-Functions that Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs
Magne Stensland
Moldjord, Norway.
DOI: 10.4236/jamp.2023.114071   PDF    HTML   XML   49 Downloads   190 Views  

Abstract

In this paper, we define some new sets of non-elementary functions in 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 are using Abel’s methods, described by Armitage and Eberlein. The key is to start with a non-elementary integral function, differentiating and inverting, and then define a set of three functions that belong together. Differentiating these functions twice gives second-order nonlinear ODEs that have the defined set of functions as solutions. We will study some of the second-order nonlinear ODEs, especially those that exhibit limit cycles. Using the methods described in this paper, it is possible to define many other sets of non-elementary functions that are giving solutions to some second-order nonlinear autonomous ODEs.

Share and Cite:

Stensland, M. (2023) Six New Sets of the Non-Elementary Jef-Family-Functions that Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs. Journal of Applied Mathematics and Physics, 11, 1077-1097. doi: 10.4236/jamp.2023.114071.

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 with 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 non-elementary 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 sn, cn and dn 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 than 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 Section 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 sn, cn and dn, 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 sn, cn and dn . 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 has been 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] , the expo-elliptic functions [13] [14] , two new groups of non-elementary functions [15] .

With exception from the new Jacobi elliptic functions, the expo-elliptic functions and two new groups of non-elementary 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 define some more sets of functions in the Jacobi elliptic function-Family. Some of these functions are giving solutions to ODEs that exhibit limit cycles and asymptotes with holes.

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

A limit cycle is a closed trajectory in phase space having the property that at least one other trajectory spirals into it, either as time approaches to infinity or as time approaches to negative infinity. In other words, the limit cycle is an isolated trajectory (isolated in the sense that neighboring trajectories are not closed); it spirals either toward or away from the limit cycle. If all neighboring trajectories approach the limit cycle, we say that the limit cycle is stable or attractive, that is, in the case where all the neighboring trajectories approach the limit cycle as time approaches to infinity [16] .

2. The Jef-Family

I have named this group of functions The Jef-Family, after the Jacobi elliptic functions (Jef). Some 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 the 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. The members of The Jef-Family are sets of three functions, where the two first are the same in every set: sin φ and cos φ . Only the third function d φ d u is different from set to set in this group of non-elementary functions.

In order to work with these functions, we must give them some symbols. I’ve used the notations of Jacobi elliptic functions, sn, cn and dn and added a letter in front, as for example bsn, bcn and bdn. Close related functions I have given the same symbol, but different numbers, as for example b s n 2 .

2.1. Definition

Define a set of three functions asn, acn and adn, 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)

3. Some Examples

We will divide The Jef-Family into some subgroups:

A. d φ d u is a square root, or is containing a square root.

A1. The square root is containing sin φ , cos φ or both:

d φ d u = h ( sin φ , cos φ ) (12)

One example in this subgroup is the set of functions psn, pcn and pdn described in [15] .

A2. The square root is containing sin ( sin φ ) , e sin φ or both:

d φ d u = h ( sin ( sin φ , cos φ ) ) , f ( e sin φ , cos φ ) (13)

A3. The square root is numerator in a fraction:

d φ d u = h ( sin φ , cos φ ) g ( sin φ , cos φ ) (14)

B. d φ d u is not a square root.

In this subgroup we find many of the most interesting examples, limit cycles and holes in asymptotes.

B1. d φ d u = f ( sin φ , cos φ ) (15)

B2. d φ d u = h ( sin ( sin φ , cos φ ) , e sin φ , cos φ ) (16)

3.1. Two Examples of Subgroup A2

The functions dsn, dcn and ddn.

Define an integral function u (IF 42):

u = u ( φ ) = 0 φ d θ 1 + h sin ( p sin θ ) , 1 < h < 1 , < p < (17)

d u d φ = 1 1 + h sin ( p sin φ ) (18)

Inverting:

d φ d u = 1 + h sin ( p sin φ ) (19)

Define a set of three functions: dsn, dcn and ddn, so that

d s n ( u ) = sin φ (20)

d c n ( u ) = cos φ , (21)

d d n ( u ) = 1 + h sin ( p sin φ ) = 1 + h sin ( p d s n ( u ) ) (22)

The connection between the functions dsn, dcn and ddn:

d s n 2 ( u ) + d c n 2 ( u ) = 1 (23)

d d n 2 ( u ) h sin ( p d s n ( u ) ) = 1 (24)

Periods:

sin ( p sin θ ) increases from −1 to 1 when p sin θ increases from π 2 to π 2 . Then is p sin θ = π 2 the maximum value to the amplitude φ , which gives a period we may call D. φ = arcsin ( π 2 p ) .

The period will then be

D = D ( k , p ) = 0 arcsin ( π 2 p ) d θ 1 + h sin ( p sin θ ) (25)

D is a quarter-period, and depends on the values of k and p.

d s n ( u + 4 D ) = sin ( φ + 2 π ) = sin φ = d s n ( u ) (26)

d c n ( u + 4 D ) = cos ( φ + 2 π ) = cos φ = d c n ( u ) (27)

d d n ( u + 4 D ) = 1 + h sin ( p sin ( φ + 2 π ) ) = 1 + h sin ( p sin φ ) = d d n ( u ) (28)

The functions dsn(u), dcn(u) and ddn(u) have a real period of 4D.

Some special cases:

d s n ( 0 ) = sin 0 = 0 , d s n ( D ) = sin π 2 = 1 , d s n ( u , h , p ) = sin φ , d d n ( u , h , p ) = d φ d u (29)

d c n ( 0 ) = cos 0 = 1 , d c n ( D ) = cos π 2 = 0 , d s n ( u , 0 , 0 ) = sin ( u ) , d d n ( u , h , 0 ) = 1 (30)

d d n ( 0 ) = 1 , d d n ( D ) = 1 + h sin ( p ) , d c n ( u , 0 , 0 ) = cos ( u ) , d d n ( u , 0 , p ) = 1 (31)

The derivatives to these functions:

d d u d s n ( u ) = cos φ d φ d u = d c n ( u ) d d n ( u ) (32)

d d u d c n ( u ) = sin φ d φ d u = d s n ( u ) d d n ( u ) (33)

d d u d d n ( u ) = 1 2 h p d c n ( u ) cos ( p d s n ( u ) ) (34)

Define a solution x ( t ) = d s n ( t )

d x d t = d c n ( t ) d d n ( t ) (35)

Then we become Equation (3140):

d 2 x d t 2 = x ( 1 + h sin ( p x ) ) + 1 2 h p ( 1 x 2 ) cos ( p x ) (36)

d 2 x d t 2 1 2 h p ( 1 x 2 ) cos ( p x ) + h x sin ( p x ) + x = 0 (37)

See Figure 1, where p = 2 , h = 1 the equilibrium points are centers and saddles, and the number of them goes to infinity.

The functions ksn, kcn and kdn.

Define an integral function u (IF 46):

u = u ( φ ) = 0 φ d θ e a sin θ ( 1 k 2 sin 2 ( p sin θ ) ) , 0 k < 1 , < a , p < (38)

d u d φ = 1 e a sin φ ( 1 k 2 sin 2 ( p sin φ ) ) (39)

Figure 1. 6 centers and 5 saddle points.

Inverting:

d φ d u = e a sin φ ( 1 k 2 sin 2 ( p sin φ ) ) (40)

Define a set of three functions ksn, kcn and kdn, so that

k s n ( u ) = sin φ (41)

k c n ( u ) = cos φ (42)

k d n ( u ) = e a sin φ ( 1 k 2 sin 2 ( p sin φ ) ) = e a k s n ( u ) ( 1 k 2 sin 2 ( p k s n ( u ) ) ) (43)

The connection between the functions ksn, kcn and kdn:

k s n 2 ( u ) + k c n 2 ( u ) = 1 (44)

k d n 2 ( u ) = e a k s n ( u ) ( 1 k 2 sin 2 ( p k s n ( u ) ) ) (45)

The derivatives to these functions:

d d u k s n ( u ) = k c n ( u ) k d n ( u ) (46)

d d u k c n ( u ) = k s n ( u ) k d n ( u ) (47)

d d u k d n ( u ) = e a k s n ( u ) k c n ( u ) [ a 2 ( 1 k 2 sin 2 ( p k s n ( u ) ) ) p k 2 sin ( p k s n ( u ) ) cos ( p k s n ( u ) ) ] (48)

Define a solution x ( t ) = k s n ( t )

d x d t = k c n ( t ) k d n ( t ) (49)

Equation (2544):

d 2 x d t 2 = x e a x ( 1 k 2 sin 2 ( p x ) ) + ( 1 x 2 ) e a x ( a 2 ( 1 k 2 sin 2 ( p x ) ) p k 2 sin ( p x ) cos ( p x ) ) (50)

3.2. An Example from the Subgroup A3

The functions lsn, lcn and ldn.

Define an integral function u (IF 15):

u = u ( φ ) = 0 φ 1 + p cos θ + v sin 2 θ n h 2 cos θ k 2 sin 2 θ d θ (51)

0 h , k < 1 , < p , v < , n 2

d u d φ = 1 + p cos φ + v sin 2 φ n h 2 cos φ k 2 sin 2 φ (52)

Inverting:

d φ d u = n h 2 cos φ k 2 sin 2 φ 1 + p cos φ + v sin 2 φ (53)

Define a set of three functions lsn, lcn and ldn, so that l s n ( u ) = sin φ

l c n ( u ) = cos φ (54)

l d n ( u ) = n h 2 cos φ k 2 sin 2 φ 1 + p cos φ + v sin 2 φ = n h 2 l c n ( u ) k 2 l s n 2 ( u ) 1 + p l c n ( u ) + v l s n 2 ( u ) (55)

The connection between the functions lsn, lcn and ldn:

l s n 2 ( u ) + l c n 2 ( u ) = 1 (56)

l d n 2 ( u ) ( 1 + p l c n ( u ) + v l s n 2 ( u ) ) 2 + h 2 l c n ( u ) + k 2 l s n 2 ( u ) = n (57)

The derivative to these functions:

d d u l s n ( u ) = l c n ( u ) l d n ( u ) (59)

d d u l c n ( u ) = l s n ( u ) l d n ( u ) (60)

d d u l d n ( u ) = l s n ( u ) [ 1 2 h 2 k 2 l c n ( u ) ( 1 + p l c n ( u ) + v l s n 2 ( u ) ) 2 ( 2 v l c n ( u ) p ) ( n h 2 l c n ( u ) k 2 l s n 2 ( u ) ) ( 1 + p l c n ( u ) + v l s n 2 ( u ) ) 3 ] (61)

Define a solution x ( t ) = l c n ( t )

d x d t = l s n ( t ) l d n ( t ) (62)

After one more derivation we obtain Equation (2081):

( 1 + p x + v v x 2 ) 3 d 2 x d t 2 + ( 1 + p x + v v x 2 ) [ x ( n h 2 x k 2 + k 2 x 2 ) + ( 1 x 2 ) ( 1 2 h 2 k 2 x ) ] ( 1 x 2 ) ( 2 v x p ) ( n h 2 x k 2 + k 2 x 2 ) = 0 (63)

This second order ODE has two asymptotes:

x = p 2 v ± p 2 + 4 v 2 + 4 v 2 v (64)

See Figure 2, where n = 2 , h = 1 h , k = 1 2 , p = 1 , v = 1 4 The asymptotes are x = 1 and x = 3 . The closed green trajectory is almost touching the two asymptotes.

Figure 2. Two asymptotes with a center between them.

4. Some Examples from Subgroup B, Where d φ d u Is Not a Square Root

In this group we find functions with the most interesting behavior in the Jef-Family, such as limit cycles, holes in 2D asymptotes and cracks in 3D asymptotes, where the trajectories can pass. These opportunities come from the fact that the second-order ODE contain d x d t .

Subgroup B1. d φ d u = f ( sin φ , cos φ )

4.1. The Functions rsn, rcn and rdn

Define an integral function u (IF 56 B):

u = u ( φ ) = 0 φ d θ 1 + k sin θ cos θ + h sin 3 θ cos 3 θ (65)

2 < k < 2 , 8 < h < 8

For these values av the parameters, the denominator never become zero. When h = 0 , the integral is elementary.

d u d φ = 1 1 + k sin φ cos φ + h sin 3 φ cos 3 φ (66)

Inverting:

d φ d u = 1 + k sin φ cos φ + h sin 3 φ cos 3 φ (67)

Define a set of three functions rsn, rcn and rdn, so that

r s n ( u ) = sin φ (68)

r c n ( u ) = cos φ (69)

r d n ( u ) = 1 + k sin φ cos φ + h sin 3 φ cos 3 φ = 1 + k r s n ( u ) r c n ( u ) + h r s n 3 ( u ) r c n 3 ( u ) (70)

The connection between these functions:

r s n 2 ( u ) + r c n 2 ( u ) = 1 (71)

r d n ( u ) k r s n ( u ) r c n ( u ) h r s n 3 ( u ) r c n 3 ( u ) = 1 (72)

The derivatives to the functions rsn, rcn and rdn:

d d u r s n ( u ) = r c n ( u ) r d n ( u ) (73)

d d u r c n ( u ) = r s n ( u ) r d n ( u ) (74)

d d u r d n ( u ) = ( 1 + k r s n ( u ) r c n ( u ) + h r s n 3 ( u ) r c n 3 ( u ) ) [ k r c n 2 ( u ) k r s n 2 ( u ) + 3 h r s n 2 ( u ) r c n 2 ( u ) ( r c n 2 ( u ) r s n 2 ( u ) ) ] (75)

Periods:

sin θ cos θ increases from 1 2 to 1 2 when θ increases from π 4 to π 4 . sin θ cos θ decreases from 1 2 to 1 2 when θ increases from π 4 to 3 4 π . sin θ cos θ has maximum value 1 2 when θ = π 4 + n π , where n is an integer.

sin 3 θ cos 3 θ has its maximum value 1 8 when θ = π 4 + n π . The period that we may call R, has its maximum value when θ = π 4 . R is an eighth period since π 4 = 1 8 2 π .

R = R ( k , h ) = 0 π 4 d θ 1 + k sin θ cos θ + h sin 3 θ cos 3 θ (76)

The functions rsn(u), rcn(u) and rdn(u) have a real period of 8R, that depends on the parameters k and h.

r s n ( u + 8 R ) = sin ( φ + 2 π ) = sin φ = r s n ( u ) (77)

r c n ( u + 8 R ) = cos ( φ + 2 π ) = cos φ = r c n ( u ) (78)

r d n ( u + 8 R ) = 1 + k sin ( φ + 2 π ) cos ( φ + 2 π ) + h sin 3 ( φ + 2 π ) cos 3 ( φ + 2 π ) = r d n ( u ) (79)

r s n ( R ) = 1 2 2 , r c n ( R ) = 1 2 2 , r d n ( R ) = 1 + k 2 + h 8 (80)

r s n ( 0 ) = 0 , r c n ( 0 ) = 1 , r d n ( 0 ) = 1

Define a solution x ( t ) = r c n ( t ) = cos φ

d x d t = r s n ( t ) ( 1 + k r s n ( t ) r c n ( t ) + h r s n 3 ( t ) r c n 3 ( t ) ) = r s n ( t ) k x ( 1 x 2 ) h x 3 ( 1 x 2 ) 2 (81)

Equation (3425):

d 2 x d t 2 = k d x d t ( 4 x 2 1 ) + h x 2 ( 1 x 2 ) ( 8 x 2 3 ) d x d t + k 2 x 3 ( 1 x 2 ) + 2 h k x 5 ( 1 x 2 ) 2 + h 2 x 7 ( 1 x 2 ) 3 x (82)

Notice the many terms ( 1 x 2 ) . It is because of sin φ and cos φ in the solution function.

See Figure 3, showing a stable limit cycle containing an unstable limit cycle. Here is k = 1 , h = 6 .

See Figure 4, showing two stable limit cycles and one unstable LC between them. Here is k = 1 , h = 6 . Bifurcation with the parameters h and k.

We have two special cases from Equation (3425):

When k = 0 , we get Equation (3425 B):

d 2 x d t 2 h x 2 d x d t ( 1 x 2 ) ( 8 x 2 3 ) h 2 x 7 ( 1 x 2 ) 3 + x = 0 (83)

See Figure 5, where h = 6 , giving an irregular LC.

Linearization near (0, 0) is showing complex eigenvalues with zero real part, although we can see spirals outside (0, 0). I have named this kind of equilibrium point, unstable center. This is an example of when linearization fails. A stable limit cycle may have an unstable center as equilibrium point.

When h = 0 , we get Equation (3425 C):

d 2 x d t 2 k d x d t ( 4 x 2 1 ) k 2 x 3 ( 1 x 2 ) + x = 0 (84)

Figure 3. One stable LC containing an unstable LC.

Figure 4. Two stable LC.

Figure 5. A LC with an unstable center as equilibrium point.

See Figure 6, where k = 1 . This LC is almost identic to Van der Pol’s LC. The parameter k has the same function as the parameter ε in Van der Pol’s equation. When h = 0 , the integral (IF 56 B) is elementary. Equation (3425 C) has an elementary solution. This part of The Jef-Family gives a smooth passage from elementary functions to non-elementary functions.

When h = 0 is

u = u ( φ ) = 2 arctan ( 2 tan φ + k 4 k 2 ) 4 k 2 + C (85)

Figure 6. A LC almost identic to Van der Pol’s LC.

d u d φ = 1 1 + k sin φ cos φ (86)

d φ d u = 1 + k sin φ cos φ (87)

Choose x ( t ) = cos φ , and after twice differentiating we obtain Equation (3425 C).

Notice also that the solutions to the differential equations above contain only the functions cos and sine to the amplitude φ . No exponential functions, as we could expect when systems of ODEs are exhibiting limit cycles.

4.2. The Functions bsn, bcn and bdn

Define an integral function u (IF 56 C):

u = u ( φ ) = 0 φ d θ 1 + k sin θ cos θ + f cos θ h 2 cos 2 θ (88)

1 < f , k < 1 , 0 h < 1

d u d φ = 1 1 + k sin φ cos φ + f cos φ h 2 cos 2 φ (89)

Inverting:

d φ d u = 1 + k sin φ cos φ + f cos φ h 2 cos 2 φ (90)

Define a set of three functions bsn, bcn and bdn, so that

b s n ( u ) = sin φ (91)

b c n ( u ) = cos φ (92)

b d n ( u ) = 1 + k sin φ cos cos φ + f cos φ h 2 cos 2 φ = 1 + k b s n ( u ) b c n ( u ) + f b c n ( u ) h 2 b c n 2 ( u ) (93)

The connection between the functions bsn, bcn and bdn:

b s n 2 ( u ) + b c n 2 ( u ) = 1 (94)

b d n ( u ) k b s n ( u ) b c n ( u ) f b c n ( u ) + h 2 b c n 2 ( u ) = 1 (95)

The derivative to these functions:

d d u b s n ( u ) = b c n ( u ) b d n ( u ) (96)

d d u b c n ( u ) = b s n ( u ) b d n ( u ) (97)

d d u b d n ( u ) = ( k b c n 2 ( u ) k b s n 2 ( u ) f b s n ( u ) + 2 h 2 b s n ( u ) b c n ( u ) ) × ( 1 + k b s n ( u ) b c n ( u ) + f b c n ( u ) h 2 b c n 2 ( u ) ) (98)

Define a solution x ( t ) = b c n ( t ) = cos φ

d x d t = b s n ( t ) ( 1 + k b s n ( t ) b c n ( t ) + f b c n ( t ) h 2 b c n 2 ( t ) ) (99)

Then we become Equation (3426):

d 2 x d t 2 = k d x d t ( 4 x 2 1 ) + k 2 x 3 ( 1 x 2 ) x ( 1 + f x h 2 x 2 ) 2 + ( d x d t + k x k x 3 ) ( f d x d t 2 h 2 x d x d t ) 1 + f x h 2 x 2 (100)

( 1 + f x h 2 x 2 ) d 2 x d t 2 ( k d x d t ( 4 x 2 1 ) + k 2 x 3 ( 1 x 2 ) ) ( 1 + f x h 2 x 2 ) + x ( 1 + f x h 2 x 2 ) 3 d x d t ( d x d t + k x k x 3 ) ( f 2 h 2 x ) = 0 (101)

This, a bit complicated equation appears through two times differentiating the “simple” function bcn(t). This is showing some of the strength of these functions.

We can see that Equation (3426) has two asymptotes for h 0 . And there is one hole in each of them where trajectories can pass. They will pass the asymptotes in the points that are making the fraction term in Equation (3426), 0 0 . In these points d y d t exist and is not zero.

We will study one special case:

4.2.1. The Parameter f = 0

d 2 x d t 2 = k d x d t ( 4 x 2 1 ) + k 2 x 3 ( 1 x 2 ) x ( 1 h 2 x 2 ) 2 ( d x d t + k x k x 3 ) 2 h 2 x d x d t 1 h 2 x 2 (102)

This equation has two asymptotes: x = ± 1 h , with two holes: ( 1 h , k ( 1 h 2 ) h 3 ) and ( 1 h , k ( 1 h 2 ) h 3 )

Through these two holes in the asymptotes can the trajectories pass, and they also intersect when passing these holes. See Figure 7, where k = 1 , h 2 = 1 2 . The trajectories pass the asymptotes in the points ( 2 , 2 ) and ( 2 , 2 ) . In these two points d y d t exist, and is not zero, but nowhere else along the asymptotes. When putting in the two points in the fraction term, it becomes 0 0 , and this exist and is 0. These two holes in asymptotes are examples of when the Uniqueness Theorem fails. All derivatives don’t exist in the neighborhood of these two points. They are attracting the solution curves from outside the asymptotes. The holes act as sink on one side and as source on the other side.

Let us now try to give Figure 7 an extra dimension, so that the holes in the asymptotes becomes cracks in an asymptotic wall. The easiest way is to add an equation d z d t = s z , having the solution z ( t ) = e s t . Then we become a system of three ODEs:

d x d t = y (103)

d y d t = k y ( 4 x 2 1 ) + k 2 x 3 ( 1 x 2 ) x ( 1 h 2 x 2 ) 2 2 h 2 x y ( y + k x k x 3 ) 1 h 2 x 2 (104)

d z d t = s z (105)

Choosing s < 0 , the xy-plane will act as a sink and prevent the trajectories going to infinity parallel with the z-axis. Now the asymptotes x = ± 1 h are vertical planes, parallel with the z-axis. The trajectories can pass through the asymptotes where the plane x = 1 h intersect the plane y = k ( 1 h 2 ) h 3 , and where the plane x = 1 h intersect the plane y = k ( 1 h 2 ) h 3 . Along these two vertical lines d y d t exist and is not zero. ( 1 h , k ( 1 h 2 ) h 3 , z ) , ( 1 h , k ( 1 h 2 ) h 3 , z ) .

See Figure 8, where k = 1 , h 2 = 1 2 , s = 1 . We have a crack in the asymptotes where the plane x = 2 intersect the plane y = 2 , and also where the plane x = 2 intersect the plane y = 2 I have sketched two vertical lines where these cracks are.

Figure 7. Two holes in two asymptotes with a LC in the middle.

Figure 8. Two cracks in two asymptotic walls.

Subgroup B2. d φ d u = f ( sin ( sin φ , cos φ ) , e sin φ , cos φ )

4.2.2. The Functions hsn, hcn and hdn

Define an integral function u (IF 40):

u = u ( φ ) = 0 φ d θ 1 + k sin θ sin ( p cos θ ) + h sin θ cos ( v cos θ ) (106)

1 < k , h < 1 , < p , v <

d u d φ = 1 1 + k sin φ sin ( p cos φ ) + h sin φ cos ( v cos φ ) (107)

Inverting:

d φ d u = 1 + k sin φ sin ( p cos φ ) + h sin φ cos ( v cos φ ) (108)

Define a set of three functions: hsn, hcn and hdn, so that h s n ( u ) = sin φ , (109)

h c n ( u ) = cos φ , (110)

h d n ( u ) = 1 + k sin φ sin ( p cos φ ) + h sin φ cos ( v cos φ ) = 1 + k h s n ( u ) sin ( p h c n ( u ) ) + h h s n ( u ) cos ( v h c n ( u ) ) (111)

The connection between these functions:

h s n 2 ( u ) + h c n 2 ( u ) = 1 (112)

h d n ( u ) k h s n ( u ) sin ( p h c n ( u ) ) h h s n ( u ) cos ( v h c n ( u ) ) = 1 (113)

The derivative to the functions hsn, hcn and hdn:

d d u h s n ( u ) = h c n ( u ) h d n ( u ) (114)

d d u h c n ( u ) = h s n ( u ) h d n ( u ) (115)

d d u h d n ( u ) = ( 1 + k h s n ( u ) sin ( p h c n ( u ) ) + h h s n ( u ) cos ( v h c n ( u ) ) ) × [ k h c n ( u ) sin ( p h c n ( u ) ) k p h s n 2 ( u ) cos ( p h c n ( u ) ) + h h c n ( u ) cos ( v h c n ( u ) ) + h v h s n 2 ( u ) sin ( v h c n ( u ) ) ] (116)

Define a solution x ( t ) = h c n ( t ) = cos φ

d x d t = sin φ k ( 1 x 2 ) sin ( p x ) h ( 1 x 2 ) cos ( v x ) (117)

Then we become Equation (3438):

d 2 x d t 2 3 x d x d t ( k sin ( p x ) + h cos ( p x ) ) d x d t ( 1 x 2 ) ( h v sin ( v x ) k p cos ( p x ) ) x ( 1 x 2 ) ( k sin ( p x ) + h cos ( v x ) ) 2 + x = 0 (118)

See Figure 9, where k = 1 , p = 1 2 , v = 2 , h = 1 2

The special case h = 0 gives Equation (3437):

d 2 x d t 2 = 3 k x d x d t sin ( p x ) k p ( 1 x 2 ) d x d t cos ( p x ) + k 2 x ( 1 x 2 ) sin 2 ( p x ) x (119)

See Figure 10, where k = 1 , p = 1 4 .

5. The Complex Expo-Elliptic Function

The solutions defined in this paper are trigonometric functions of 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:

Figure 9. A large irregular LC.

Figure 10. A regular stable LC.

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

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

In Equation (121) 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 λ φ .

6. Conclusions

What is new in this paper are the 6 sets of non-elementary functions:

1) dsn, dcn, ddn

2) ksn, kcn, kdn

3) lsn, lcn, ldn

4) rsn, rcn, rdn

5) bsn, bcn, bdn

6) hsn, hcn, hdn

These 6 sets of functions are giving solution to these second-order nonlinear ODEs:

d 2 x d t 2 1 2 h p ( 1 x 2 ) cos ( p x ) + h x sin ( p x ) + x = 0 (122)

d 2 x d t 2 = x e a x ( 1 k 2 sin 2 ( p x ) ) + ( 1 x 2 ) e a x ( a 2 ( 1 k 2 sin 2 ( p x ) ) p k 2 sin ( p x ) cos ( p x ) ) (123)

( 1 + v + p x v x 2 ) 3 d 2 x d t 2 + ( 1 + v + p x v x 2 ) [ x ( n h 2 x k 2 + k 2 x 2 ) + ( 1 x 2 ) ( 1 2 h 2 k 2 x ) ] ( 1 x 2 ) ( 2 v x p ) ( n h 2 x k 2 + k 2 x 2 ) = 0 (124)

d 2 x d t 2 = k d x d t ( 4 x 2 1 ) + h x 2 ( 1 x 2 ) ( 8 x 2 3 ) d x d t + k 2 x 3 ( 1 x 2 ) + 2 h k x 5 ( 1 x 2 ) 2 + h 2 x 7 ( 1 x 2 ) 3 x (125)

d 2 x d t 2 h x 2 d x d t ( 1 x 2 ) ( 8 x 2 3 ) h 2 x 7 ( 1 x 2 ) 3 + x = 0 (126)

d 2 x d t 2 k d x d t ( 4 x 2 1 ) k 2 x 3 ( 1 x 2 ) + x = 0 (127)

( 1 + f x h 2 x 2 ) d 2 x d t 2 ( k d x d t ( 4 x 2 1 ) + k 2 x 3 ( 1 x 2 ) ) ( 1 + f x h 2 x 2 ) + x ( 1 + f x h 2 x 2 ) 3 d x d t ( d x d t + k x k x 3 ) ( f 2 h 2 x ) = 0 (128)

d 2 x d t 2 3 x d x d t ( k sin ( p x ) + h cos ( p x ) ) d x d t ( 1 x 2 ) ( h v sin ( v x ) k p cos ( p x ) ) x ( 1 x 2 ) ( k sin ( p x ) + h cos ( v x ) ) 2 + x = 0 (129)

These second-order nonlinear ODEs are showing some of the strength of the non-elementary functions defined in this paper. They all appear from twice differentiating the solution x ( t ) = cos φ , where φ = φ ( t ) is the upper limit of integration in a non-elementary integral, which differ in the different functions.

It is possible to make many non-elementary functions using the Abel’s methods described by Armitage and Eberlein, by how they define the Jacobi elliptic functions. In the same way as Jacobi’s functions sn, cn, dn and am are giving solutions to a few ODEs, the non-elementary functions described in this paper and a lot more, are giving solutions to many different 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.
[2] Armitage, J.V. and Eberlein, W.F. (2006) Elliptic Functions. London Mathematical Society, Cambridge University Press, 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 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 Ahmad, T. (2011) New Generalized Jacobi Elliptic Function Rational Expansion Method. Journal of Computation and Applied Mathematics, 235, 4117-4127.
https://doi.org/10.1016/j.cam.2011.03.002
[7] Hong, B. and Lu, D. (2009) New Jacobi Elliptic Solutions for Higher-Order Nonlinear Schrodinger Equation. International Journal of Nonlinear Science, 7, 360-367.
[8] Schwalm, W.A. (2015) Chapter 2-Differential Equations Satisfied by the Jacobi Elliptic Functions. In: Lectures on Selected Topics in Mathematical Physics: Elliptic Functions and Elliptic Integrals. Morgan & Claypool Publishers, San Rafael, 2-1 to 2-14.
https://doi.org/10.1088/978-1-6817-4230-4ch2
[9] Salas, A.H. and Castillo, H.J.E. (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, Article No. 1.
[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
[14] Stensland, M. (2022) Four New Examples of the Non-Elementary Expo-Elliptic Functions that Are Giving Solutions to Some Second-Order Nonlinear Autonomous ODEs. Journal of Applied Mathematics and Physics, 10, 1304-1324.
https://doi.org/10.4236/jamp.2022.104092
[15] 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.
https://doi.org/10.4236/jamp.2022.103050
[16] Espinosa-Paredes, G. (2021) Chapter 7-Nonlinear BWR Dynamics with a Fractional Reduced Order Model. In: Fractional-Order Models for Nuclear Reactor Analysis, Elsevier, Amsterdam, 247-295.
https://doi.org/10.1016/B978-0-12-823665-9.00007-9

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.