Abstract
A variational principle is established by the semi-inverse method and used to solve approximately a nonlinear problem by the Ritz method. In this process,it may be difficult to solve a large system of algebraic equations,the Groebner bases theory (Buchberger’s algorithm) is applied to solve this problem. The results show that the variational approach is much simpler and more efficient.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
With the rapid development of nonlinear science,various kinds of analytical methods were used to handle nonlinear problems, such as the homotopy perturbation method (He 1999, 2002, 2004, 2009, 2014; Anjum and He 2020a, b; Yu et al. 2019; Anjum et al. 2019; Ren et al. 2019; He and El-Dib 2020a, b, 2021), variational iteration method (He 1999, 2007, 2011, 2012a, b; He and Wu 2007; Anjum and He 2019; Liu et al. 2021), Taylor series method (He and Ji 2019; He 2019a, 2020a; He et al. 2020), Exp-function method (He and Wu 2006; He 2013; He et al. 2021), and variational-based methods (He 2020b, 2021; He and Ain 2020; Wu 2021; Wang and Wei 2021). Recently, there have been some reasearch results in the field of differential equations, for example, in Wang et al. (2020), the ZIR of the fractal RC circuit are modeled by LFD,where the transient local fractional ordinary differential equation is obtained with aid of the law of switch and Kirchhoff Voltage Laws. In Cao and Dai (2021), Dai and Wang (2020), Liu et al. (2020), Yu et al. (2020), Wu et al. (2020), new methods are presented to find traveling wave solutions of PDEs. In addition,the author has done some work on nonlinear problems, e.g. exact solutions (Tian 2019a, b, 2016) and numerical solutions (Tian 2018; Tian and Yan 2016) of integral and differential equations.
Each method has its advantages and disadvantages. For example, the Taylor series method is simple, but it is low convergence hinders its wide applications.The Exp-function method can lead to the analytical solutions, but its complex calculation makes those inaccessible who are not familiar some mathematics software. The variational-based methods can obtain a globally valid solution, however, it is extremely difficult to establish a needed variational principle for a complex nonlinear problem, etc..
The variational principle play a important role in nonlinear science,especially for differential equations. For example, it can provides the conservation laws in an energy form, and reveals the possible solution structures of PDEs (He 2019b). In this paper, the semi-inverse method (He 2003a, b) is used to search variational principle of differential equations, then the Ritz method is effectively and conveniently used. In this process, it may be difficult to solve a large system of algebraic equations,the Groebner bases theory (Buchberger’s algorithm) is applied to solve this problem.
The rest of this paper is organized as follows. In Sect. 2, we briefly review the basic Groebner Bases theory. In Sect. 3, Variational approach to some boundary value problems are studied. In Sect. 4, He’s semi-inverse method is applied to solve some nonlinear problems. In Sect. 5, we conclude this paper and some discussions are also given there.
2 Groebner Bases
In the following, we list the basic results of Groebner Bases theory (Cox et al. 2007).
Definition 1
A subset \(I\subset k[x_{1},\ldots ,x_{n}]\) is an ideal if it satisfies:
-
(i)
\(0\in I.\)
-
(ii)
If \(f,g\in I\),then \(f+g\in I.\)
-
(iii)
If \(f\in I\),and \(h\in k[x_{1},\ldots ,x_{n}]\),then \(hf\in I.\)
Definition 2
Let \(f_{1},\ldots ,f_{s}\) be polynomials in \(k[x_{1},\ldots ,x_{n}]\). Then we set
The crucial fact is that \(\langle f_{1},\ldots ,f_{s}\rangle \) is an ideal.
Definition 3
We will write \({\overline{f}}^{F}\) for the remainder on division of f by the ordered s-tuple \(F=(f_{1},\ldots ,f_{s})\). If F is a Groebner basis for \((f_{1},\ldots ,f_{s})\),then we can regard F as a set (without any particular order) by Proposition I.
Definition 4
Let \(I\subset k[x_{1},\ldots ,x_{n}]\) be an ideal. We will denote by \(\mathbf{V }(I)\) the set
Definition 5
(Lexicographic Order) Let \(\alpha =(\alpha _{1},\ldots ,\alpha _{n})\) and \(\beta =(\beta _{1},\ldots ,\beta _{n})\in Z_{\ge 0}^{n}.\) We say \(\alpha >_{lex}\beta \) if, in the vector difference \(\alpha -\beta \in Z^{n}\), the leftmost nonzero entry is positive. we will write \(x^{\alpha }>_{lex}x^{\beta }\) if \(\alpha >_{lex}\beta \).
Theorem 1
(Buchberger’s Algorithm) Let \(I=\langle f_{1},\ldots ,f_{s}\rangle \ne {0}\) be a polynomial ideal. Then a Groebner basis for I can be constructed in a finite number of steps by the following algorithm:
Input: \(F=(f_{1},\ldots ,f_{s})\)
Output: a Groebner basis \(G=(g_{1},\ldots ,g_{t})\) for I, with \(F\subset G\)
\(G:=F\)
REPEAT
\(G':=G\)
FOR each pair \(\{p,q\},p\ne q\) in \(G'\) DO
\(S:=\overline{S(p,q)}^{G'}\)
IF \(S:\ne 0\) THEN \(G:=G\cup \{S\}\)
UNTIL \(G=G'\)
3 Variational approach to the boundary value problems
3.1 ODEs boundary value problems
Example 1
Consider the following ODE (Lao 2015):
with the boundary conditions
where \(y'\) is the differentiation with respect to x.
By the semi-inverse method, the variational principle of Eq. (1) reads
applying Ritz’s method, we choose a trial function satisfying all the boundary conditions.
the approximate solution can be expressed as
Case 1. \(n=1\).
where a is a unknown constant to be further determined.
Substituting (6) into (3) yields
making \(J_{n=1}\) stationary with respect to a results in
we have \(a=\frac{5}{9}\), and the first-order approximate solution of Eq. (1) is
Case 2. \(n=2\).
where a, b are unknown constants to be determined.
Substituting (10) into (3) yields
making \(J_{n=2}\) stationary with respect to a, b results in
we have \(a=\frac{142}{369},b=\frac{14}{41}\), and the second-order approximate solution of Eq. (1) is
Case 3. \(n=3\).
where a, b, c are unknown constants to be determined.
Substituting (15) into (3) yields
making \(J_{n=3}\) stationary with respect to a, b, c results in
Equation (17) sometimes is large and difficult to be solved by hand, even by software,such as MAPLE and MATLAB. In this paper,we use Buchberger’s algorithm to solve this problem.
Let I be the ideal
corresponding to the original system of Eq. (17), and we want to find all points in \(\mathbf{V } (I)\).
Using Buchberger’s algorithm with the lex order \(a>b>c\),we find a Groebner basis:
thus,there are three solutions altogether of \(g_{1}=g_{2}=g_{3}=0\), which are
since \(\mathbf{V } (I)=\mathbf{V } (g_{1},g_{2},g_{3})\),we have found all solutions of the original equations (17), and the third-order approximate solution of Eq. (1) is
Example 2
Consider the following example (He 2003b):
subject to the boundary conditions
By the semi-inverse method,the variational principle of Eq. (24) reads
applying Ritz’s method, we choose a trial function
the approximate solution can be expressed as
Case 1. \(n=1.\)
where a is a unknown constant to be further determined.
Substituting (30) into (27) yields
making \(J_{n=1}\) stationary with respect to a results in
we have \(a=180 (e-3)\), and the first-order approximate solution of Eq. (24) is
Case 2. \(n=2.\)
where a, b are unknown constants to be determined.
Substituting (34) into (27) yields
making \(J_{n=2}\) stationary with respect to a, b results in
we have
and the second-order approximate solution of Eq. (24) is
Case 3. \(n=3.\)
where a, b, c are unknown constants to be determined.
Substituting (40) into (27) yields
making \(J_{n=3}\) stationary with respect to a, b, c results in
Let I be the ideal
corresponding to the system of Eq. (42).
Using Buchberger’s algorithm with the lex order \(a>b>c\),we find a Groebner basis:
thus,
and the third-order approximate solution of Eq. (24) is
Remark 1
The solutions of Eq. (24) we obtained are not presented in (He 2003b).
3.2 PDEs boundary value problems
Example 3
Consider the following elliptic equation:
subject to the boundary conditions
By the semi-inverse method,the variational principle of Eq. (49) reads
applying Ritz’s method, we choose a trial function satisfying all the boundary conditions.
the approximate solution can be expressed as
Case 1. \(n=1.\)
where a is a unknown constant to be further determined.
Substituting (54) into (51) yields
making \(J_{n=1}\) stationary with respect to a results in
we have \(a=\frac{5}{7}\), and the first-order approximate solution of Eq. (49) is
Case 2. \(n=2.\)
where a, b are unknown constants to be determined.
Substituting (58) into (51) yields
making \(J_{n=2}\) stationary with respect to a, b results in
we have \(a=\frac{285}{742},b=\frac{35}{53}\), and the second-order approximate solution of Eq. (49) is
Case 3. \(n=3.\)
where a, b, c are unknown constants to be determined.
Substituting (63) into (51) yields
making \(J_{n=3}\) stationary with respect to a, b, c results in
Let I be the ideal
corresponding to the system of Eq. (65).
Using Buchberger’s algorithm with the lex order \(a>b>c\), we find a Groebner basis:
thus,
and the third-order approximate solution of Eq. (49) is
4 He’s semi-inverse method
For a given nonlinear partial differential equation
the main steps of this method are as follows (Elboree 2015; Najafi and Arbabi 2016):
Step 1. seek solitary solutions of Eq. (72) by taking \(u(x,t)=u(\xi ),\xi =x-ct\),and transform Eq. (72) to the ordinary differential equation
where prime denotes the derivative with respect to \(\xi \).
Step 2. If possible,integrate Eq. (73) term by term one or more times, for simplicity, the integration constants set to zero.
Step 3. According to He’s semi-inverse method, we construct the following trial-functional
where L is a Lagrangian for Eq. (73).
Step 4. By the Ritz method, we can obtain different forms of solitary wave solutions, such as \(u(\xi )=A\cdot sech(B\xi ),u(\xi )=A\cdot csch(B\xi ),u(\xi )=A\cdot tanh(B\xi ),u(\xi )=A\cdot coth(B\xi )\) and so on.In this paper, we search a solitary wave solution in the form
where A and B are constants to be further determined.
Substituting Eq. (75) into Eq. (74) and making J stationary with respect to A and B results in
solving simultaneously Eqs. (76) and (77), we obtain A and B. Hence, the solitary wave solution Eq. (75) is well determined.
4.1 The PHi-4 equation
The PHi-4 equation play an important role in nuclear and particle physics over the decades. Let us consider the Phi-4 equation in the form (Akter and Akbar 2015):
where m and \(\lambda \) are real valued constants.
Using the traveling wave variable \(\xi =x-ct\), Eq. (78) is transformed into the following ODE:
by He’s semi-inverse method,we can obtain the following variational formulation:
Case A: we search for a soliton solution in the form
by substituting (81) into (80), we obtain
to find the constant A,we need to solve the following equation:
form Eq. (83),we obtain
therefore,the solitary wave solutions to the PHi-4 equations are constructed as follows:
Case B: we search for a soliton solution in the form
by substituting (86) into (80), we obtain
to find the constant A,we need to solve the following equation:
form Eq. (88),we obtain
therefore,the solitary wave solutions to the PHi-4 equations are:
By a similar manipulation,we have:
and so on.
Case C: we search for a soliton solution in the form
by substituting (95) into (80), we obtain
to find the constant A,we need to solve the following equation:
form Eq. (97),we obtain
therefore,the solitary wave solutions to the PHi-4 equations are:
Remark 2
As far as the author know,the soliton solutions of Eq. (78) we obtained above are different from Akter and Akbar (2015).
4.2 The conformable time-fractional Boussinesq equation
Let us consider the time-fractional Boussinesq equation (Lakestani and Manafian 2018):
Utilizing the wave transformation
where \(k\ne 0\). Substituting (101) into Eq. (100) yields a nonlinear ordinary differential equation,
where the prime indicates the derivation with respect to \(\xi \). Integrating Eq. (102) twice and setting the constants of integration equal to zero, we have
by He’s semi-inverse method,we can obtain the following variational formulation:
Case A: we search for a soliton solution in the form
by substituting (105) into (103), we obtain
to find the constant A,we need to solve the following equation:
form Eq. (107),we obtain
therefore,the solitary wave solutions is constructed as follows:
Case B: suppose soliton solution in the form
by substituting (110) into (103), we obtain
to find the constant A,we need to solve the following equation:
form Eq. (112), we obtain
therefore,the solitary wave solutions is:
By a similar manipulation,we have:
and so on.
Case C: we search for a soliton solution in the form
by substituting (119) into (103), we obtain
to find the constant A, we need to solve the following equation:
form Eq. (121), we obtain
therefore,the solitary wave solution is:
5 Conclusion
In this paper,based on the semi-inverse method, variational formulation for some nonlinear problems are established, and the approximate solutions are easily obtained by the Ritz method. In this process, it may be difficult to solve a large system of algebraic equations, the Groebner bases theory (Buchberger’s algorithm) is applied to solve this problem. At present, the application of Groebner bases theory maily on algebra polynomial ideals, in the next, we will study how to extend it to differential case.
References
Akter, J., Akbar, M.A.: Exact solutions to the Benney-Luke equation and the Phi-4 equations by using modified simple equation method. Results Phys. 5, 125–130 (2015)
Anjum, N., He, J.H.: Laplace transform: Making the variational iteration method easier. Applied Mathematics Letters 92, 134–138 (2019)
Anjum, N., He, J.H.: Higher-order homotopy perturbation method for conservative nonlinear oscillators generally and microelectromechanical systems’ oscillators particularly. Int. J. Modern Phys. B 34(32), 2050313 (2020)
Anjum, N., He, J.H.: Homotopy perturbation method for N/MEMS oscillators. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6583
Anjum, N., Suleman, M., Lu, D.C., He, J.H., Ramzan, M.: Numerical iteration for nonlinear oscillators by Elzaki transform. J. Low Freq. Noise Vib. Act. Control 39(4), 879–884 (2019)
Cao, Q.H., Dai, C.Q.: Symmetric and anti-symmetric solitons of the fractional second- and third-order nonlinear schrodinger equation. Chin. Phys. Lett. 38(9), 090501 (2021)
Cox, D.A., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)
Dai, C.Q., Wang, Y.Y.: Coupled spatial periodic waves and solitons in the photovoltaic photorefractive crystals. Nonlinear Dyn. 102(3), 1733–1741 (2020)
Elboree, M.K.: Derivation of soliton solutions to nonlinear evolution equations using He’s variational principle. Appl. Math. Modell. 39(14), 4196–4201 (2015)
He, J.H.: Homotopy perturbation technique. Comput. Methods Appl. Mech. Eng. 178(3–4), 257–262 (1999)
He, J.H.: Variational iteration method-a kind of non-linear analytical technique: Some examples. Int. J. Non-linear Mech. 34(4), 699–708 (1999)
He, J.H.: Homotopy perturbation method: a new nonlinear analytical technique. Appl. Math. Comput. 135(1), 73–79 (2002)
He, J.H.: Variational approach to the Thomas-Fermi equation. Appl. Math. Comput. 143(2–3), 533–535 (2003)
He, J.H.: Variational approach to the sixth-order boundary value problems. Appl. Math. Comput. 143(2), 537–538 (2003)
He, J.H.: Comparison of homotopy perturbation method and homotopy analysis method. Appl. Math. Comput. 156(2), 527–539 (2004)
He, J.H.: Variational iteration method-Some recent results and new interpretations. J. Comput. Appl. Math. 207(1), 3–17 (2007)
He, J.H.: An elementary introduction to the homotopy perturbation method. Comput. Math. Appl. 57(3), 410–412 (2009)
He, J.H.: A short remark on fractional variational iteration method. Phys. Lett. A 375(38), 3362–3364 (2011)
He, J.H.: Notes on the optimal variational iteration method. Appl. Math. Lett. 25(10), 1579–1581 (2012)
He, J.H.: Asymptotic methods for solitary solutions and compactons. Abstract Appl. Anal. 2012, 916793 (2012)
He, J.H.: Exp-function method for fractional differential equations. Int. J. Nonlinear Sci. Numer. Simul. 14(6), 363–366 (2013)
He, J.H.: Homotopy perturbation method with two expanding parameters. Indian J. Phys. 88(2), 193–196 (2014)
He, J.H.: A simple approach to one-dimensional convection-diffusion equation and its fractional modification for E reaction arising in rotating disk electrodes. J. Electroanal. Chem. 854, 113565 (2019)
He, J.H.: Lagrange crisis and generalized variational principle for 3D unsteady flow. Int. J. Numer. Methods Heat Fluid Flow 30(3), 1189–1196 (2019)
He, J.H.: Taylor series solution for a third order boundary value problem arising in architectural engineering. Ain Shams Eng. J. 11(4), 1411–1414 (2020)
He, J.H.: Variational principle and periodic solution of the Kundu–Mukherjee–Naskar equation. Results Phys. 17, 103031 (2020)
He, J.H.: On the fractal variational principle for the telegraph equation. Fractals 29(1), 2150022 (2021)
He, J.H., Ain, Q.T.: New promises and future challenges of fractal calculus: From two-scale Thermodynamics to fractal variational principle. Thermal Sci. 24(2A), 659–681 (2020)
He, J.H., El-Dib, Y.O.: Periodic property of the time-fractional Kundu–Mukherjee–Naskar equation. Results Phys. 19, 103455 (2020)
He, J.H., El-Dib, Y.O.: Homotopy perturbation method for Fangzhu oscillator. J. Math. Chem. 58(10), 2245–2253 (2020)
He, J.H., El-Dib, Y.O.: The reducing rank method to solve third-order Duffing equation with the homotopy perturbation. Numer. Methods Partial Differ. Equ. 37(2), 1800–1808 (2021)
He, J.H., Ji, F.Y.: Taylor series solution for Lane-Emden equation. J. Math. Chem. 57(8), 1932–1934 (2019)
He, J.H., Wu, X.H.: Exp-function method for nonlinear wave equations. Chaos, Solitons and Fractals 30(3), 700–708 (2006)
He, J.H., Wu, X.H.: Variational iteration method: New development and applications. Comput. Math. Appl. 54(7–8), 881–894 (2007)
He, C.H., Shen, Y., Ji, F.Y., He, J.H.: Taylor series solution for fractal Bratu-type equation arising in electrospinning process. Fractals 28(1), 2050011 (2020)
He, J.H., Ji, F.Y., Mohammad-Sedighi, H.: Difference equation vs differential equation on different scales. Int. J. Numer. Methods Heat Fluid Flow 31(1), 391–401 (2021)
Lakestani, M., Manafian, J.: Analytical treatment of nonlinear conformable time-fractional Boussinesq equations by three integration methods. Opt. Quant. Electron. 50(4), 1–31 (2018)
Lao, D.Z.: Fundamentals of the Calculus of Variations, 3rd edn. National Defense Industry Press, BeiJing (2015).. ((in Chinese))
Liu, X.Y., Zhou, Q., Biswas, A., Alzahrani, A.K., Liu, W.J.: The similarities and differences of different plane solitons controlled by (\(3+1\))-dimensional coupled variable coefficient system. J. Adv. Res. 24, 167–173 (2020)
Liu, Y.P., Wang, C.C., Li, S.J.: A fractal langmuir kinetic equation and its solution structure. Thermal Sci. 25(2B), 1351–1354 (2021)
Najafi, M., Arbabi, S.: Dark soliton and periodic wave solutions of the Biswas-Milovic equation. Optik 127(5), 2679–2682 (2016)
Ren, Z.F., Yao, S.W., He, J.H.: He’s multiple scales method for nonlinear vibrations. J. Low Freq. Noise Vib. Act. Control 38(3–4), 1708–1712 (2019)
Tian, Y.: Exact solutions for a class of volterral integral-differential equations arising in viscoelastic fluid. Thermal Sci. 20(3), 807–812 (2016)
Tian, Y.: Markov chain Monte Carlo method to solve Fredholm integral equations. Thermal Sci. 22(4), 1673–1678 (2018)
Tian, Y.: Quasi hyperbolic function expansion method and tanh-function method for solving vibrating string equation and elastic rod equation. J. Low Freq. Noise Vib. Act. Control 38(3–4), 1455–1465 (2019)
Tian, Y.: Diffusion-convection equations and classical symmetry classification. Thermal Sci. 23(4), 2151–2156 (2019)
Tian, Y., Yan, Z.Z.: Monte Carlo method for solving a parabolic problem. Thermal Sci. 20(3), 933–937 (2016)
Wang, K.L., Wei, C.F.: A powerful and simple frequency formula to nonlinear fractal oscillators. J. Low Freq. Noise Vib. Act. Control 40(3), 1373–1379 (2021)
Wang, K.J., Sun, H.C., Fei, Z.: The transient analysis for zero-input response of fractal RC circuit based on local fractional derivative. Alex. Eng. J. 59(6), 4669–4675 (2020)
Wu, Y.: Variational approach to fractal reaction-diffusion equations with fractal derivatives. Thermal Sci. 25(2B), 1425–1430 (2021)
Wu, G.Z., Yu, L.J., Wang, Y.Y.: Fractional optical solitons of the space-time fractional nonlinear Schrodinger equation. Optik 207, 164405 (2020)
Yu, D.N., He, J.H., Garcia, A.G.: Homotopy perturbation method with an auxiliary parameter for nonlinear oscillators. J. Low Freq. Noise Vib. Act. Control 38(3–4), 1540–1554 (2019)
Yu, L.J., Wu, G.Z., Wang, Y.Y., Chen, Y.X.: Traveling wave solutions constructed by Mittag-Leffler function of a (\(2+1\))-dimensional space-time fractional NLS equation. Results Phys. 17, 103156 (2020)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tian, Y. Variational principle for some nonlinear problems. Int J Geomath 13, 4 (2022). https://doi.org/10.1007/s13137-022-00194-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13137-022-00194-6