Abstract
In this paper, the Adomian decomposition method in combination with the Laplace transform is used to solve the nonlinear differential equation that governs the oscillation of the relativistic oscillator. The solution obtained is a power series of functions that have never been reported and which show a very good match when compared with other approximate solutions, obtained by different methods. The method proposed herein works with high degree of accuracy. Moreover, the proposed method requires less computational effort, and is therefore, very convenient for solving such types of nonlinear differential equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Many of the phenomena that arise in the real world can be described by means of nonlinear partial and ordinary differential equations and, in some cases, by integro-differential equations. However, most of the mathematical methods developed thus far are only capable of solving linear differential equations. In the 1980’s, George Adomian (1923–1996) introduced a powerful method to solve nonlinear differential equations, known as the Adomian decomposition method (ADM) [3, 4]. The technique is based on the decomposition of a solution of a nonlinear differential equations into a series of functions. Each term of the series is obtained from a polynomial generated by a power series expansion of an analytic function. The Adomian method is very simple in an abstract formulation; however, calculating the polynomials is difficult, which becomes a non-trivial task. This method has widely been used to solve equations that come from nonlinear models as well as to solve fractional differential equations [15, 16, 31]. The chaotic nature and nonlinearity of other systems, proposed in the past, have been studied through ADM in Ghosh et al. [21]. The advantage of this method is that it solves the problem directly without the need of linearization, perturbation, or any other transformation, and also, requires relatively lesser computational effort as compared to most other methods.
The relativistic nonlinear harmonic oscillator, was studied for the first time in the middle of the last century [9, 10, 22, 29, 30]. In spite of its importance in several models of physics, exact solutions of its equation of motion have not been obtained. In the present work, we will use the Adomian decomposition method in combination with the Laplace transform (LADM) [33] to determine the solution to the relativistic oscillator problem. This equation is a nonlinear ordinary differential equation that, in physics, is used to model a simple one dimensional harmonic oscillator with relativistic velocities. We decompose the nonlinear terms of this equation using the Adomian polynomials and then, in combination with the use of the Laplace transform, we obtain an algorithm to solve the problem subject to initial conditions. Finally, we illustrate our procedure and the quality of the algorithm obtained by solving two examples in which the nonlinear differential equation is solved for different initial conditions.
Our work is divided into several sections. In the “Adomian Decomposition Method Combined With Laplace Transform” section, we present, in a brief and self-contained manner, the LADM. Several references are given to delve deeper into the subject and to study its mathematical foundation, which is beyond the scope of the present work. In the “Relativistic Harmonic Oscillator” section, we present a brief introduction to the model described by the relativistic harmonic oscillator. In the “Main Result: Solution of the Relativistic Harmonic Oscillator Equation Through LADM” section, we establish that LADM can be used to solve this equation in a very simple way. In “Application to the Relativistic Harmonic Oscillator” section, we show by means of two examples, the quality and precision of our method, comparing the obtained results with existing approximate solutions available in the literature and obtained by other methods. Finally, in the “Conclusion and Summary” section, we present the conclusions and implications of this study.
The Adomian Decomposition Method Combined with Laplace Transform
The ADM is a method to solve ordinary and nonlinear differential equations. Using this method, it is possible to express analytic solutions in terms of a series [4]. In other words, the method identifies and separates the linear and nonlinear parts of a differential equation. By inverting and applying the highest order differential operator that is contained in the linear part of the equation, it is possible to express the solution in terms of the rest of the equation affected by the inverse operator. At this point, the solution is proposed by means of a series with terms that will be determined and that give rise to the Adomian Polynomials [32]. The nonlinear part can also be expressed in terms of these polynomials. The initial (or the border conditions) and the terms that contain the independent variables will be considered as the initial approximation. In this manner, and by means of recurrence relations, it is possible to find the terms of the series that give the approximate solution of the differential equation. In the next paragraph, we will see how to use the ADM in combination with the Laplace transform (LADM). Let us consider the following homogeneous differential equation of second order:
with initial conditions
where \(\alpha \), \(\beta \) are real constants and N is a nonlinear operator acting on the dependent variable x and some of its derivatives. In general, if we consider the second-order differential operator \(L_{tt}=\frac{\partial ^2}{\partial t^2}\), then the Eq. (1) can be written as
Solving for \(L_{tt}x(t)\), we have
The LADM consists of applying Laplace transform (denoted throughout this paper by \(\mathscr {L}\)) first on both sides of Eq. (4), thereby obtaining
An equivalent expression to (5) is
using the initial conditions (2), we have
Now, applying the inverse Laplace transform to Eq. (7)
The ADM proposes a series of solutions x(t), given by,
The nonlinear term N(x) is given by
where \(\{A_{n}\}_{n=0}^{\infty }\) is the so-called Adomian polynomials sequence established in Wazwaz [5, 32] and, in general, gives us term by term:
-
\(A_{0}=N(x_0)\)
-
\(A_{1}=x_{1}N'(x_0)\)
-
\(A_{2}=x_{2}N'(x_{0})+\frac{1}{2}x_{1}^{2}N''(x_0)\)
-
\(A_{3}=x_{3}N'(x_{0})+x_{1}x_{2}N''(x_0)+\frac{1}{3!}x_{1}^{3}N^{(3)}(x_{0})\)
-
\(A_{4}=x_{4}N'(x_{0})+\left( \frac{1}{2}x_{2}^{2}+x_{1}x_{3}\right) N''(x_0)+\frac{1}{2!}x_{1}^{2}x_{2}N^{(3)}(x_{0})+\frac{1}{4!}x_{1}^{4}N^{(4)}(x_0)\)
-
\( \vdots \).
Other polynomials can be generated in a similar manner. Some other approaches to obtaining Adomian’s polynomials can be found in Duan [17, 19].
Using (9) and (10) in Eq. (8), we obtain,
From equation (11), we deduce the recurrence formula, which is given as follows:
Using (12), we can obtain an approximate solution of (1), (2) using
It is evident that, the Adomian decomposition method, combined with the Laplace transform requires less effort in comparison with the traditional Adomian decomposition method. This method considerably decreases the volume of calculations. The decomposition procedure of Adomian is easily set, without requiring the linearization of the problem. With this approach, the solution is found in the form of a convergent series with easily computed components; in many cases, the convergence of this series is very fast and only a few terms are needed to gain an understanding of how the solutions behave. Convergence conditions of this series are examined by several authors, mainly in Abbaoui and Cherrault and Cherruault [1, 2, 13, 14]. Additional references related to the use of the ADM, combined with the Laplace transform, can be found in Wazwaz, Khuri and Yusufoǧlu [25, 33, 34] and references therein.
The Relativistic Harmonic Oscillator
The equation of motion of the relativistic harmonic oscillator is given by the nonlinear differential Eq. [12, 23]:
This normalized, dimensionless form of the equation is obtained by considering the rest mass m to be unity and the speed of light c to also be unity [26]. It is easy to verify that the dimensionless length x and the dimensionless time t are related to the dimensional variables \(\bar{x}\) and \(\bar{t}\) through \(x=\omega _{0}\bar{x}/c\) and \(t=\omega _{0}\bar{t}\), respectively, where \(\omega _{0}=\sqrt{k/m}\) is the angular frequency for the non-relativistic oscillator.
To the best of our knowledge, no exact solution of the nonlinear Eq. (14) has yet been published; therefore the research work about Eq. (14) has been intense. A fundamental result reported in Mickens [26] is that all the solutions of (14) are periodic functions with the period dependent on the initial velocity \(\beta \). In the same work, an approximation solution of (14) was determined using the harmonic balance method (HBM), which is given by
Some more detailed work in the same direction was reported 10 years later in Beléndez and Mickens [7, 8, 27, 28]. Other mass-spring systems have been studied by the same method in Beléndez [11]. Thereafter, in Ebaid [20], using the differential transformation method (DTM), some periodic solutions were obtained. More recently, the relativistic harmonic oscillator was studied by using the homotopy perturbation method (HPM) [12], where a good approximation is obtained using the fact that the solutions are periodic functions. In the following section, we will develop an algorithm using the method described in the “Adomian Decomposition Method Combined with Laplace Transform” section in order to solve the nonlinear differential Eq. (14) without resorting to any truncation or linearization. Moreover the a priori assumption that the solutions are periodic functions is not required.
The Main Result: Solution of the Relativistic Harmonic Oscillator Equation Through LADM
Comparing (14) with Eq. (4) we have that \(L_{tt}\) and N becomes:
Now, by using Eq. (12) through the LADM method, we recursively obtain
In addition, the nonlinear term is decomposed as
where \(\{A_{n}\}_{n=0}^{\infty }\) is the so-called Adomian polynomials sequence, the terms are calculated according to Duan [17–19]. The first few polynomials are given by
-
\(A_{0}(x_0)=x_{0}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}}, \)
-
\(A_{1}(x_0,x_1)=x_{1}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}},\)
-
\(A_{2}(x_0,x_1, x_2)=x_{2}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}}, \)
-
\(A_{3}(x_0,x_1, x_2, x_3)=x_{3}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}}, \)
-
\(A_{4}(x_0,x_1, x_2, x_3, x_4)=x_{4}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}}, \)
-
\( \vdots \)
-
\(A_{m}(x_0,x_1,\ldots , x_m)=x_{m}\left( 1-x_{0}'^{2}\right) ^{\frac{3}{2}} \) for every \(m\ge 0\).
Now, recursively using (17) with the Adomian polynomials given by the later sequence \(\{A_{n}\}_{n=0}^{\infty }\), we obtain, for a given initial velocity \(\beta \):
In view of Eqs. (19)–(24), the series solution is
From (26), we conclude that the solution of the Eq. (14), that is, the position of the relativistic harmonic oscillator is given by the series of power of functions with \(0<\beta <1\)
According to Bartle [6], it is evident that the power series (27) converges in all \(\mathbb {R}\). Moreover, it converges uniformly in any compact subinterval of \(\mathbb {R}\). Using the expressions obtained above for the solution of Eq. (14), we illustrate, with two examples, the effectiveness of LADM to solve the nonlinear relativistic harmonic oscillator.
Application to the Relativistic Harmonic Oscillator
Example 1
In this first example, we consider the particular case of (14) such that \(\beta =0.1\); this case was studied in Ebaid [20] via differential transformation method (DTM) and also in Biazar and Hosami and Mickens [12] through the homotopy perturbation method (HPM). Good approximations were obtained in both works in comparison with the first known approximation solution of (14) obtained in Mickens [26] using the harmonic balance method (HBM). We will use formula (27) considering only the first fourteen terms (since the subsequent terms will be negligible)
The approximations obtained for \(\beta =0.1\) through DTM in Ebaid [20] by using HPM in Biazar and Hosami [12] are as follows:
Moreover, using \(\beta =0.1\) in (15) we find
The results obtained are shown in Table 1, in which results obtained in Ebaid, Biazar and Hosami and Mickens [12, 20], and [26] using DTM, HPM, and HBM, respectively, are compared. We also display this comparison in Figs. 1, 2 and 3. All numerical work was performed using the Mathematica software package.
Example 2
In the second example, we consider the particular case of (14) such that \(\beta =0.2\); this case was studied in [20] via DTM and also in [12] using HPM. Once again, in both works, good approximations were found in comparison with the first approximations obtained in (14) and the one obtained in [26] by HBM. As before, using formula (27), and taking the first fourteen terms, we obtain
The approximations obtained in the case of \(\beta =0.2\) vía DTM in [20] through HPM in [12] are, respectively:
And also using \(\beta =0.2\) in (15) we obtain
Comparison of our results with the ones obtained in [12, 20], and [26] using DTM, HPM, and HBM, respectively, are shown in Table 2 and displayed in Figs. 4, 5, and 6, respectively. In this example, we can also see that the approximation accuracy depends on the initial velocity of the oscillator. All numerical work was performed using the Mathematica software package.
As can be seen from the last examples, the solutions we have obtained are periodic functions and the amplitude depends of the initial velocity, as found by the author in [26]. The main distinction between our results and the ones reported previously is that the final series is uniformly convergent in any compact subset of the real line; therefore, we can obtain the results with the required accuracy.
Summary and Conclusions
To the best of our knowledge, there is no exact solution to the equation of motion for a relativistic harmonic oscillator. In this work, we have obtained a solution of the problem without the a priori assumption that the solutions are periodic functions; the solution that we have obtained is a series of powers of functions that uniformly converge on compact subsets of \(\mathbb {R}\), never before reported. The problem of the limit function of the series solution is an open question that we are currently working on.
In order to show the accuracy and efficiency of our method, we have solved two examples and compared our results with the ones obtained with three different methods [12, 20, 26]. Our results show that LADM produces highly accurate solutions in complicated nonlinear problems. We, therefore, conclude that the Laplace-Adomian decomposition method is a notable non-sophisticated powerful tool that produces high quality approximate solutions for nonlinear ordinary differential equations using simple calculations and that reaches convergence with only a few terms. Finally, the Laplace-Adomian decomposition method would be a powerful mathematical tool for solving other nonlinear differential equations related with mathematical physics models. All numerical work and graphics were performed with the Mathematica software package.
References
Abbaoui, K., Cherruault, Y.: Convergence of Adomian’s method applied to differential equations. Comput. Math. Appl. 28(5), 103–109 (1994). doi:10.1016/0898-1221(94)00144-8
Abbaoui, K., Cherruault, Y.: New ideas for proving convergence of decomposition methods. Comput. Math. Appl. 29(7), 103–108 (1995). doi:10.1016/0898-1221(95)00022-Q
Adomian, G.: Nonlinear Stochastic Operator Equations. Academic Press, Orlando (1986)
Adomian, G.: Solving Frontier Problems of Physics: The Decomposition Method. Kluwer Academic Publishers, Boston (1994)
Babolian, E., Javadi, Sh: New method for calculating Adomian polynomials. Appl. Math. Comput. 153, 253–259 (2004). doi:10.1016/S0096-3003(03)00629-5
Bartle, R.G., Sherbert, D.R.: Introduction to Real Analysis, 4th edn. Wiley, New York (2011)
Beléndez, A., et al.: Approximate analytical solutions for the relativistic oscillator using a linearized harmonic balance method. Int. J. Modern Phys. B 23(4), 521–536 (2009). doi:10.1142/S0217979209049954
Beléndez, A., et al.: Solution of the relativistic (an) harmonic oscillator using the harmonic balance method. J. Sound Vib. 311(3), 1447–1456 (2008). doi:10.1016/j.jsv.2007.10.010
Beléndez, A., et al.: Application of He’s homotopy perturbation method to the relativistic (an) harmonic oscillator. I: comparison between approximate and exact frequencies. Int. J. Nonlinear Sci. 8(4), 483–492 (2007). doi:10.1515/IJNSNS.2007.8.4.483
Beléndez, A., et al.: Application of He’s homotopy perturbation method to the relativistic (an) harmonic oscillator. II: a more accurate approximate solution. Int. J. Nonlinear Sci. 8(4), 493–504 (2007). doi:10.1515/IJNSNS.2007.8.4.493
Beléndez, A., et al.: Application of the harmonic balance method to a nonlinear oscillator typified by a mass attached to a stretched wire. J. Sound Vib. 302, 1018–1029 (2007). doi:10.1016/j.jsv.2006.12.011
Biazar, J., Hosami, M.: An easy trick to a periodic solution of relativistic harmonic oscillator. J. Egypt. Math. Soc. 22, 45–49 (2014). doi:10.1016/j.joems.2013.04.013
Cherruault, Y.: Convergence of Adomian’s method. Kybernetes 18(2), 31–38 (1989)
Cherruault, Y., Adomian, G.: Decomposition methods: a new proof of convergence. Math. Comput. Model. 18(12), 103–106 (1993). doi:10.1016/0895-7177(93)90233-O
Das, S.: Generalized dynamic systems solution by decomposed physical reactions. Int. J. Appl. Math. Stat. 17, 44–75 (2010)
Das, S.: Functional Fractional Calculus, 2nd edn. Springer, Berlin (2011)
Duan, J.S.: Convenient analytic recurrence algorithms for the Adomian polynomials. Appl. Math. Comput. 217, 6337–6348 (2011). doi:10.1016/j.amc.2011.01.007
Duan, J.S.: Recurrence triangle for Adomian polynomials. Appl. Math. Comput. 216, 1235–1241 (2010). doi:10.1016/j.amc.2010.02.015
Duan, J.S.: New recurrence algorithms for the nonclassic Adomian polynomials. Appl. Math. Comput. 62, 2961–2977 (2011). doi:10.1016/j.camwa.2011.07.074
Ebaid, A.E.-H.: Approximate periodic solutions for the non-linear relativistic harmonic oscillator via differential transformation method. Commun. Nonlinear Sci. Numer. Simul. 15, 1921–1927 (2010). doi:10.1016/j.cnsns.2009.07.003
Ghosh, S., Roy, A., Roy, D.: An adaptation of adomian decomposition for numeric-analytic integration of strongly nonlinear and chaotic oscillators. Comput. Methods Appl. Mech. Eng. 196, 1133–1153 (2007). doi:10.1016/j.cma.2006.08.010
Gold, L.: Note on the relativistic harmonic oscillator. J. Franklin Inst. 264(1), 25–27 (1957)
Greenspan, D.: Particle Modeling. Birkhäuser, Boston (1997)
Hu, H.: Solution of a quadratic nonlinear oscillator by the method of harmonic balance. J. Sound Vib. 293, 462–468 (2006). doi:10.1016/j.jsv.2005.10.002
Khuri, S.A.: A Laplace decomposition algorithm applied to a class of nonlinear differential equations. J. Appl. Math. 1(4), 141–155 (2001)
Mickens, R.E.: Periodic solutions of the relativistic harmonic oscillator. J. Sound Vib. 212(5), 905–908 (1998)
Mickens, R.E.: Oscillations in Planar Dynamic Systems. World Scientific, Singapore (1996)
Mickens, R.E.: Comments on the method of harmonic-balance. J. Sound Vib. 94(3), 456–460 (1984)
Moreau, W., et al.: Relativistic (an) harmonic oscillator. Am. J. Phys. 62, 531–535 (1994). doi:10.1119/1.17513
Penfield, R., Zatzkis, H.: The relativistic linear harmonic oscillator. J. Franklin Inst. 262(2), 121–125 (1956)
Saha Ray, S., Bera, R.K.: An approximate solution of nonlinear fractional differential equation by Adomians decomposition method. Appl. Math. Comput. 167, 561–571 (2005). doi:10.1016/j.amc.2004.07.020
Wazwaz, A.M.: A new algorithm for calculating Adomian polynomials for nonlinear operators. Appl. Math. Comput. 111(1), 33–51 (2000). doi:10.1016/S0096-3003(99)00063-6
Wazwaz, A.M.: The combined Laplace transform-Adomian decomposition method for handling nonlinear Volterra integro-differential equations. Appl. Math. Comput. 216(4), 1304–1309 (2010). doi:10.1016/j.amc.2010.02.023
Yusufoǧlu, E.: Numerical solution of Duffing equation by the Laplace decomposition algorithm. Appl. Math. Comput. 177, 572–580 (2006). doi:10.1016/j.amc.2005.07.072
Acknowledgments
We would like to thank the anonymous referees for their constructive comments and suggestions that helped to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
González-Gaxiola, O., Santiago, J.A. & de Chávez, J.R. Solution for the Nonlinear Relativistic Harmonic Oscillator via Laplace-Adomian Decomposition Method. Int. J. Appl. Comput. Math 3, 2627–2638 (2017). https://doi.org/10.1007/s40819-016-0267-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40819-016-0267-3
Keywords
- Relativistic harmonic oscillator
- Nonlinear ordinary differential equations
- Nonlinear oscillations
- Adomian polynomials
- Laplace transform