Abstract and Applied Analysis

Volume 2016 (2016), Article ID 8183079, 8 pages

http://dx.doi.org/10.1155/2016/8183079

## Lie Group Solutions of Magnetohydrodynamics Equations and Their Well-Posedness

^{1}School of Mathematics and Statistics, Southwest University, Chongqing 400715, China^{2}School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China^{3}School of Mathematics and Computer Science, Yunnan Minzu University, Kunming, Yunnan 650500, China

Received 27 June 2016; Accepted 20 September 2016

Academic Editor: Bingwen Liu

Copyright © 2016 Fu-zhi Li et al. 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

Based on classical Lie Group method, we construct a class of explicit solutions of two-dimensional ideal incompressible magnetohydrodynamics (MHD) equation by its infinitesimal generator. Via these explicit solutions we study the uniqueness and stability of initial-boundary problem on MHD.

#### 1. Introduction

Two-dimensional ideal incompressible magnetohydrodynamics (MHD) equation can be described by a set of two scalar equations for the vorticity and the magnetic stream function ; namely [1],Due to the divergence freedom of the magnetic field , it is possible to define a magnetic stream function via . In the incompressible case, , the velocity stream function and velocity are connected in the same way, and . Vorticity and current density are defined as the Laplacian of the stream functions, and . The magnetic stream function is convected with the flow field [2–4]; that means the ideal MHD equations do not allow for magnetic reconnection in contrast to the dissipative version of the above equations [5].

Note that in contrast to the two-dimensional incompressible Euler equations case, there is not a production term on the right-hand side of (1). The equations show a tendency to develop fine structures, namely, current sheets. Analytically the problem about the regularity of solutions is still an open problem [6, 7].

It is interesting to seek the solutions of MHD in mathematics and physics for a long time [8]. In order to construct solutions of MHD, many effective methods have been put forward, such as the inverse scattering method, Backlund transformation, Hirota method, and homogeneous balance method [3]. In the branches of mathematics and physics, Lie Group theory [9–11] was often used extensively. Ever since the 1970s Bluman and Col proposed similarity theory for differential equations, the Lie Group theory has been developed in differential equations. The main idea of Lie Group method is to use the prolongation formulae, providing an effective computational procedure for finding the most general symmetry group of almost any system of partial differential equations of interest. To the best of our knowledge, related classical Lie Group method has not been preformed to the MHD equation.

Many mathematicians are devoted to studying the MHD equations. For example, Duvant and Lions proved the existence and uniqueness of the global strong solutions of two-dimensional MHD equations with initial-boundary value problem. They also proved existence and uniqueness of locally strong solutions and the existence of the global weak solutions of three-dimensional MHD equations [6, 12]. As we all know, the studying of uniqueness and stability of MHD equations is based on some certain conditions or some assumptions. But, in this paper, we study a special class of solutions—wave solutions. It does not need external hypotheses when proving the uniqueness, which is a novelty of this paper.

#### 2. Calculation of Symmetry Groups

In this section, we perform Lie symmetry analysis for (1) and (2) and obtain its infinitesimal generator. Now we transform (1) and (2) as follows:

According to the method of determining the infinitesimal generator of nonlinear partial differential equation, we take the infinitesimal generator of equation as follows:It is a vector field defined on an open subset ; the th prolongation of is the vector field defined on the corresponding jet space , the second summation being overall multi-indices , with , . The coefficient functions of are given by the following formula: where and (in this paper , , and ).

Firstly, we consider the circumstance of . Let where are coefficient functions of the infinitesimal generator to be determined. And the first-order prolongation of is as follows:

Applying to (3), we findNow we apply the third-order prolongation of to (1) and (2). Letwhere , , and , the second summation being overall multi-indices , with , .

The coefficient functions of are given by the following formula:where and (, , ):

Applying to (3), we findThen merging similar terms coefficients, we have According to the formula , for example, we haveSo we haveSimilarly we can find the determining equations for the symmetry group of the equations to be the following:As usual, subscripts indicate derivatives. The solution of the determining equations is elementary. According to (16) and (17) we haveFinally, solving the above differential equations, we conclude that the most general infinitesimal symmetry of (3) has coefficient functions of the form where , , , , , and are arbitrary constants and is an arbitrary function of only. Thus the Lie algebra of infinitesimal symmetries of the MHD equations is spanned by the six vector fields: And the infinite-dimensional subalgebra where is an arbitrary function of only. So we have

The entries give the transformed point :If and are known solutions of (3), then using the above groups , , the corresponding new solutions and can be obtained, respectively, as follows:where is a real number and is an arbitrary function of only.

Theorem 1. *For the known solutions and , by using one-parameter groups , continuously, one can obtain a new solution which can be expressed in the following form:where , are arbitrary constants.*

Theorem 2. *One assumes that the solutions have forms of , .**One has the following:*(1)*If , , then , are arbitrary functions.*(2)*If and are arbitrary constants, then , are arbitrary functions.*(3)*If , then is arbitrary function.*

*3. The Uniqueness of Wave Solutions*

*In this section we give some nonzero solutions by considering the wave solutions to the two-dimensional MHD equations [13–15]. Firstly we could give the initial-boundary value of three conditions in Theorem 2.(1), , .(2), , .(3), . , .*

*Theorem 3. Assume that is a bounded domain. One can make the solutions , like the condition in Theorem 2 and satisfying , respectively. Then the following initial-boundary value problem:has a unique smooth solution , .*

*Proof. *To prove the uniqueness we consider two smooth solution pairs, say , and , . Let their difference be , . Then subtracting the equations from each other in (26), we haveMultiplying the first and second equations by , , respectively, integrating over , we obtainIt is easy to see thatSimilarly we haveNotice thatMultiplying equation by , integrating over , we obtainso thatIt is easy to see thatThanks to the Gronwall inequality, we have the following:Therefore there exists a unique solution in the sense of , .

*4. Analysis Stability of the Wave Solutions*

*In this section we discuss the stability of the solutions, in for problem (36) [14, 16–18]. Firstly we could give the initial-boundary value of three conditions in Theorem 2.(1), , .(2), , .(3), , .*

*Assume that is a bounded domain. We can make the solutions , like the condition in Theorem 2 and satisfy , respectively. Then the following problem:has stable solution.*

*Assume that , are another solutions of the equations. Let , denote the solution pair of a little disturbance and let , be the difference of , , , , with initial value , , , in the sense of and again assuming that boundary value , in the sense of , . Then subtracting one equation from each other in (36), we getSimilar to uniqueness, we can obtain*

*It is easy to see that*

*Since , in the sense of , we can make, for every ,*

*Using the Gronwall inequality in , for every ,As , in the sense of and , , , , in the sense of . So we reach the stability of the solution in the finite time.*

*5. The Lyapunov Stability of Steady State Solution*

*In this section we discuss the stability of the steady state solutions, in for problem (41).*

*Definition 4. *A steady state solution is said to be stable if and only if in any one of the neighborhood , there is a neighborhood of , making any solutions with the initial condition satisfy .

*Assume that is a bounded domain. We can make the solutions , like the condition in Theorem 2 and satisfy , respectively. Then the following problem solutions:are Lyapunov stable.*

*Assume that , are another solutions of the equations. Let , denote the solution pair of a little disturbance and let , be the difference of , , , , with initial value , , , , in the sense of and assume that boundary value , in the sense of , . Then subtracting one equation from each other in (41), we get*

*Similar to uniqueness, we can obtain*

*It is easy to see that*

*Since , in the sense of , we can make, for every ,*

*Using the Gronwall inequality in , for every ,As , in the sense of and , , , , in the sense of . Definition 4 is satisfied. So we reach the Lyapunov stability of the steady state solutions in finite time.*

*6. Conclusions*

*In this paper, we studied the symmetry groups by using the classical Lie Group method to structural equation solutions. First, we perform Lie symmetry analysis for the MHD equation and get its infinitesimal generator. Then, we obtain many solutions by it. It can be seen by the results of this paper that the Lie Group method is an effective method for studying nonlinear partial differential equations.*

*Competing Interests*

*The authors declare that they have no competing interests.*

*Authors’ Contributions*

*All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.*

*Acknowledgments*

*The first author is grateful to Professor Ganshan Yang and Yangrong Li for their support and also thanks Jiali Yu for help in writing this paper. The work is supported by the National Natural Science Foundation of China (nos. 11161057 and 11561076).*

*References*

- D. Cordoba and C. Marliani, “Evolution of current sheets and regularity of ideal incompressible magnetic fluids in 2D,”
*Communications on Pure and Applied Mathematics*, vol. 53, no. 4, pp. 512–524, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - D. Biskamp,
*Nonlinear Magnetohydrodynamics*, vol. 1 of*Cambridge Monographs on Plasma Physics*, Cambridge University Press, Cambridge, Uk, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - Q. L. Chen, C. X. Miao, and Z. F. Zhang, “The Beale-Kato-Majda criterion for the 3D magneto-hydrodynamics equations,”
*Communications in Mathematical Physics*, vol. 275, no. 3, pp. 861–872, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - J. Wu, “Viscous and inviscid magnetohydrodynamics equations,”
*Journal d'Analyse Mathématique*, vol. 73, pp. 251–265, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - C. Cao and J. Wu, “Global regularity for the 2D MHD equations with mixed partial dissipation and magnetic diffusion,” https://arxiv.org/abs/0901.2908.
- C. He and Z. Xin, “Partial regularity of suitable weak solutions to the incompressible magnetohydrodynamic equations,”
*Journal of Functional Analysis*, vol. 227, no. 1, pp. 113–152, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - V. Vyalov, “Partial regularity of solutions to the magnetohydrodynamic equations,”
*Journal of Mathematical Sciences (New York)*, vol. 150, no. 1, pp. 1771–1786, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Sermange and R. Temam, “Some mathematical questions related to the MHD equations,”
*Communications on Pure and Applied Mathematics*, vol. 36, no. 5, pp. 635–664, 1983. View at Publisher · View at Google Scholar · View at MathSciNet - P. J. Olver,
*Applications of Lie Groups to Differential Equations*, vol. 107, Springer, New York, NY, USA, 2nd edition, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - S. Yang and C. Hua, “Lie symmetry reductions and exact solutions of a coupled KdV-Burgers equation,”
*Applied Mathematics and Computation*, vol. 234, pp. 579–583, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Shen, C. Qu, and Q. Huang, “Lie group classification of the
*N*-th-order nonlinear evolution equations,”*Science China Mathematics*, vol. 54, no. 12, pp. 2553–2572, 2011. View at Publisher · View at Google Scholar - E. Casella, P. Secchi, and P. Trebeschi, “Global classical solutions for MHD system,”
*Journal of Mathematical Fluid Mechanics*, vol. 5, no. 1, pp. 70–91, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - X. Liao,
*The Stability of the Theory, Method and Application*, Huazhong University of Science and Technology Press, 2nd edition, 2010. - W. Song, H. Li, G. Yang, and G. X. Yuan, “Nonhomogeneous boundary value problem for (
*I*,*J*) simil