International Journal of Mathematics and Mathematical SciencesVolume 2011 (2011), Article ID 387429, 13 pagesdoi:10.1155/2011/387429

Research Article

Construction of Exact Parametric or Closed Form Solutions of Some Unsolvable Classes of Nonlinear ODEs (Abel's Nonlinear ODEs of the First Kind and Relative Degenerate Equations)

Dimitrios E. Panayotounakos and Theodoros I. Zarmpoutis

Division of Mechanics, Department of Applied Mathematical and Physical Sciences, National Technical University of Athens, Zographou, 157 73 Athens, Greece

Received 10 May 2011; Revised 9 August 2011; Accepted 29 August 2011

Academic Editor: N. Govil

Copyright © 2011 Dimitrios E. Panayotounakos and Theodoros I. Zarmpoutis. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We provide a new mathematical technique leading to the construction of the exact parametric or closed form solutions of the classes of Abel's nonlinear differential equations (ODEs) of the first kind. These solutions are given implicitly in terms of Bessel functions of the first and the second kind (Neumann functions), as well as of the free member of the considered ODE; the parameter being introduced furnishes the order of the above Bessel functions and defines also the desired solutions of the considered ODE as one-parameter family of surfaces. The nonlinear initial or boundary value problems are also investigated. Finally, introducing a relative mathematical methodology, we construct the exact parametric or closed form solutions for several degenerate Abel's equation of the first kind.

1. Introduction

One of the most known nonlinear differential equations (ODEs) is the Abel equation of the first kind. There are admissible functional transformations that can reduce the general first kind nonlinear Abel (ODE) to an Abel equation of the first kind of the normal form . None of these types of equations admits general solutions in terms of known (tabulated) functions, since only very special cases (depending on the form of the free member or on ) can be solved in parametric form [1–3]. We underline here that adding a cubic term in a Riccati (ODE), an Abel nonlinear (ODE) of the first kind arises.

Our motivation of studying this problem was to provide a mathematical methodology through which the construction of exact parametric or closed form solutions of an Abel first kind nonlinear ODE form is possible. According to this method, separating properly the terms of the considered ODE, one leads to an equivalent system of two equations. The first one is a Riccati ODE, and the second one is a cubic equation that must be simultaneously hold true. In other words, any solution which satisfies these two equations (the Riccati ODE and the cubic one) satisfies also the Abel equation of the first kind of the normal form. Using basic results given by Kamke [1], the above Riccati equation is transformed to a second-order linear ODE of variable and determinable coefficients. We succeed in defining the coefficients of the above second-order linear ODE, so that the prescribed cubic equation hold true, and in the sequel in solving exactly this second-order linear ODE. This introducing procedure guides to the construction of the above-mentioned exact parametric or closed form solutions of the initial Abel equation. Here, we underline that all the above introduced functional transformations are admissible and that several basic results concerning the solutions of such types of equations are included in Zarmpoutis [4]. A nonlinear initial or boundary value problem is investigated under the assumption that the constructed solution of the Abel equation is unique inside a main interval of the independent variable. Finally, relative to the above mathematical methodology, we succeed in constructing the exact or closed form solutions for several degenerate Abel’s nonlinear ODEs of the first kind special cases which are introduced in [5–7].

2. Analysis-Construction of the General Solutions

An Abel equation of the first kind has the general form Here, the notation is used for the total derivatives.

The admissible functional transformations [3, Chapter 0.1.5-2]: brings the general form (2.1) in the canonical normal form:

The first step of our new mathematical method is to separate properly the terms of the Abel equation (2.3a) in order to find a more convenient system of equations. In more details, (2.3a) can be rewritten assuch that the solution of (2.3a) identically satisfies the equation

Introducing a subsidiary, smooth function , one splits (2.5) into the following two equivalent equations:The first of them (2.6a) is a Riccati (ODE), while the second one (2.6b) is a cubic equation. In fact, the elimination of between (2.6a) and (2.6b) leads to (2.4a). This means that any solution of the Riccati ODE (2.6a), that satisfies the restriction (2.6b), is also a solution of the Abel equation (2.4a) and (2.4b). It is well known that any Riccati equation can be transformed to a second-order linear ODE of variable coefficients [1].

The second step of our method is to construct a solvable second-order linear ODE of variable coefficients, which is equivalent to the Riccati (2.6a) that satisfies the restriction (2.6b). A kind of solvable Riccati equation of the normal form [3, pp 105; type 38] is of the type which admits a particular solution of the form where and are arbitrary functions that must be determined.

Supposing that the Riccati equation (2.6a) can be written in the form (2.7), in order to solve (2.6a), it is necessary to define the above-mentioned and . Thus, one readsso that (2.6a) admits a particular solution of the type (2.8).

From now on, differentiating (2.9b), we extract while combining the last equation with (2.9a) and (2.9b), one gets By now, the system (2.9a) and (2.9b) becomes Introducing a second subsidiary differentiable function such that system (2.12) can be rewritten as According to [1, p 441; type 15], the Bessel second-order linear ODE where is an arbitrary smooth function and are arbitrary parameters, admits the two partial linearly independent solutions and . Here, and are the Bessel functions of the first and the second kind (Neumann function) of order , respectively. Thus, the general solution of (2.15) is given by Comparing now (2.14a) with (2.15), one finds withHere, is the general solution of the Riccati equation (2.6a) under the restriction (2.6b).

Integration of (2.17a) furnishes while inserting the result (2.18) into the second equation (2.17b), one finds By the assumption , the Bessel equation (2.15) together with (2.14a), (2.13), (2.6b), and (2.18) becomesHere, , are two partial linearly independent solutions of the Bessel (ODE) (2.14a).

By now, using equations (2.9b), (2.8), and (2.18), the restriction (2.6b) as well as the properties of the Bessel functions [3, 8, 9], we get the estimation

Thus, the two partial linearly independent solutions of the Riccati equation (2.6a) , under the restriction (2.6b) become where Furthermore, according to [3], the general solution of the above Riccati equation (2.6a) under the restriction (2.6b) is given by the formulaSolving the first of them for and taking the derivatives in both (2.21a) and (2.21b), we obtain the result

Since any solution of the Riccati equation (2.6a) under the restriction (2.6b) is also a solution of the Abel equation (2.3a), we conclude that the general solution (2.24a) of the Riccati (2.6a) under the restriction (2.6b) is also the general solution of the Abel equation (2.3a). Taking into account the relations we derive that the general solution of the Abel nonlinear ODE (2.4a) or (2.3a) and (2.3b) is given by the implicit functional relation or, equivalently, the implicit functional relation where is the free member of the considered Abel equation, while is an integration constant and is a free parameter denoting the order of Bessel functions being introduced.

From the above analysis, one concludes that the implicit functional relation (2.28) expressing the general solution of the Abel equation of the first kind of the normal form (2.3a) may not be unique inside a main interval of the values of the independent variable , because of various types that function (2.29) admits; in other words, it can be divided into several branches of solutions valid inside consecutive subintervals. In this case, matching of the corresponding solutions including various integration constants as well as various values of the parameter must be followed in all the consecutive subintervals that solution (2.28) changes.

3. Nonlinear Initial or Boundary Value Problem

We suppose that solution (2.28) remains unchanged inside the first main interval . Following the initial data , we provide by (2.29) where the first upper right index denotes the value of the corresponding quantity at the origin , . Thus, for the origin , we dispose the following nonlinear algebraic-transcendental system of equations where

The set of equations (3.2a) and (3.2b) is sufficient for the estimation of the constant of integration as well as for the parameter , so that the one-parameter family of surfaces solution of the original Abel equation takes the concrete form with given and .

4. Applications and Discussion

In this section, we will examine some special cases of degenerate Abel’s nonlinear ODEs of the first kind that cover all the examined applications [5–7]. A modified mathematical methodology is introduced that simplify the mathematical methodology and technique being introduced in previous sections. We will investigate and discuss two degenerate type of equations, that is,

Consider the first of these equations (introducing ). From the second of these, setting we extract which, further, using the functional transformation [3, page 50] results in the simpler form This new equation is an Abel equation of the second kind that, further, by the substitution [3, page 40] becomes an Abel equation of the second kind of the normal form, that is, This last equation by the admissible substitution reduces to the following Abel degenerate nonlinear ODE of the first kind: Using the final admissible functional transformation [1] performing we transform (4.9) to the new nonlinear ODE of the second kind of the Emden-Fowler type, namely, where is a known smooth function of the variable .

By now, one uses the mathematical methodology and the results are included in [10]. In fact, introducing the functional transformation one calculates the total differentials and and finally derives Furthermore, setting and supposing that , we derive the following nonlinear ODE when is a function which must be determined: Thus, the ODE (4.14) becomes the following first-order Abel’s nonlinear type of equations We apply now the Julia construction [1, page 27], and we derive the following functional relation between its coefficients: namely, the linear first-order ODE with general solution given by where is a free parametric (constant of integration). Then, the general solution of the Abel nonlinear ODE (4.17), according to the results [1, page 27], becomes where is another free parameter (constant of integration). Solving the last equation for , one finally derives which, because of (4.15) and (4.13), defines the independent variable by the formula Furthermore, the dependent variable can be estimated by the combination of (4.20) together with the second of (4.16), namely, or equivalently by means of which one gets Both (4.23) and (4.26) constitute the exact parametric solutions of the Emden-Fowler type nonlinear ODE (4.12).

For (free parameters), the already constructed parametric solution becomes that, because is a known function of , furnishes as function of . From now on, one follows the inverse course.

For ( free parameter), the obtained parametric solutions (4.23) and (4.26) becomes that is, Since is a known function of , the last equation permits us to evaluate with respect to the independent variable and thus functions and through relations (4.10) and (4.8), respectively. Following the inverse course, one finally defines by the way of (4.1).

Summarizing, we underline that, in this section, by using the results of [10], we proposed a new mathematical methodology and we succeed in giving new mathematical techniques in constructing analytic or closed form solutions of a class of degenerate Abel's ODEs in mathematical physics and nonlinear mechanics. The methodology being introduced simplifies that of Section 2, which refers to the solution of an Abel equation of the first kind. For strengthening, we refer to some categories of degenerate Abel’s ODEs of the first kind which are included in [5–7], namely,  (i)  ; (ii) ; (iii) ; (iv) , and so forth.

5. Conclusion

A new mathematical technique leading to the construction of the exact parametric or closed form solutions of the classes of Abel’s nonlinear differential equations (ODEs) of the first kind is presented. The solutions are given implicitly using Bessel’s functions of the first and second kind (Neumann functions), the free member of the considered ODE as well as the subindex , that defines the order of the Bessel functions. The nonlinear initial or boundary value problems are also investigated. Finally, through a new simpler mathematical methodology, we succeed in giving the exact parametric solutions of some degenerate cases of Abel’s equation of the first kind included and investigated in [1, 5, 7].

References

E. Kamke, Differentialgleichungen, Lösungsmethoden und Lösungen. I: Gewöhnliche Differentialgleichungen, Neunte Auflage, Mit einem Vorwort von Detlef Kamk, B. G. Teubner, Stuttgart, Germany, 1977.

G. M. Murphy, Ordinary Differential Equations and Their Solutions, D. Van Nostrand Co, Princeton, NJ, USA, 1960.

A. D. Polyanin and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2nd edition, 2003.

Th. I. Zarmpoutis, On the Construction of General Solutions of the Nonlinear ODEs Abel, Riccati and Emden- Fowler. Applications in nonlinear Mechanics and Mathematical physics, Ph.D. thesis, National Technical University of Athens, 2010.

E. S. Cheb-Terrab and A. D. Roche, “Abel ODEs: equivalence and integrable classes,” Computer Physics Communications, vol. 130, no. 1, pp. 204–231, 2000.

F. Schwarz, “Symmetry analysis of Abel's equation,” Studies in Applied Mathematics, vol. 100, no. 3, pp. 269–294, 1998.

M. P. Markakis, “Closed-form solutions of certain Abel equations of the first kind,” Applied Mathematics Letters, vol. 22, no. 9, pp. 1401–1405, 2009.

I. S. Gradsteyn and I. M. Ryzhik, Table of Integrals, Series and Products, Academic Press, New York, NY, USA, 5th edition, 1965.

A. D. Polyanin and A. V. Manzhirov, Handbook of Mathematics for Engineers and Scientists, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2007.

D. E. Panayotounakos, T. I. Zarmpoutis, and C. I. Siettos, “On the construction of the exact analytic or parametric closed form solutions of standing waves concerning the cubic Schrödinger equation,” Archive of Applied Mechanics. In press