Abstract and Applied Analysis
Volume 2016 (2016), Article ID 8183079, 8 pages
http://dx.doi.org/10.1155/2016/8183079

Research Article

Lie Group Solutions of Magnetohydrodynamics Equations and Their Well-Posedness

Fu-zhi Li,¹ Jia-li Yu,² Yang-rong Li,¹ and Gan-shan Yang³

¹School of Mathematics and Statistics, Southwest University, Chongqing 400715, China
²School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China
³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 find

Now we apply the third-order prolongation of to (1) and (2). Let

where , ,  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 find

Then merging similar terms coefficients, we have

According to the formula , for example, we have

So we have

Similarly 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 have

Finally, 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 have

Multiplying the first and second equations by , , respectively, integrating over , we obtain

It is easy to see that

Similarly we have

Notice that

Multiplying equation by , integrating over , we obtain

so that

It is easy to see that

Thanks 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 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 . 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.

D. Biskamp, Nonlinear Magnetohydrodynamics, vol. 1 of Cambridge Monographs on Plasma Physics, Cambridge University Press, Cambridge, Uk, 1993.

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.

J. Wu, “Viscous and inviscid magnetohydrodynamics equations,” Journal d'Analyse Mathématique, vol. 73, pp. 251–265, 1997.

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.

V. Vyalov, “Partial regularity of solutions to the magnetohydrodynamic equations,” Journal of Mathematical Sciences (New York), vol. 150, no. 1, pp. 1771–1786, 2008.

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.

P. J. Olver, Applications of Lie Groups to Differential Equations, vol. 107, Springer, New York, NY, USA, 2nd edition, 1993.

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.

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.

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.

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) similar Solutions of incompressible two-dimensional Euler equations,” Journal of Inequalities and Applications, vol. 2014, no. 1, article 277, 2014.

M. D. Gunzburger, A. J. Meir, and J. S. Peterson, “On the existence, uniqueness, and finite element approximation of solutions of the equations of stationary, incompressible magnetohydrodynamics,” Mathematics of Computation, vol. 56, no. 194, pp. 523–563, 1991.

L.-J. Yang and J.-M. Wang, “Staility of a damped hyperbolic Timoshenko system coupled with a heat equation,” Asian Journal of Control, vol. 16, no. 2, pp. 546–555, 2014.

G. Yang, δ-Viscosity solution, blow up solution and global solution of multidimensional Landau-Lifshitz equations [Ph.D. thesis], China Academy of Engineering Physics, Sichuan, China, 2002.

V. I. Yudovitch, “Non-stationary flow of an ideal incompressible liquid,” USSR Computational Mathematics and Mathematical Physics, vol. 3, no. 6, pp. 1407–1456, 1963.