In recent years, the Maxwell-Navier-Stokes equations have been studied extensively, and the studies have obtained many achievements [1] [2] . The Maxwell-Navier-Stokes equations are a coupled system of equations consisting of the Navier-Stokes equations of fluid dynamics and Maxwell’s equations of electromagnetism. The coupling comes from the Lorentz force in the fluid equation and the electric current in the Maxwell equations. In [1] , the authors studied the non-resistive limit of the 2D Maxwell-Navier-Stokes equations and established the convergence rate of the non-resistive limit for vanishing resistance by using the Fourier localization technique. In [2] , the author has proved the existence and uniqueness of global strong solutions to the non-resistive of the

2D Maxwell-Navier-Stokes equations for initial data with. The

long time behaviors of the solutions of nonlinear partial differential equations also are seen in [3] -[10] .

In this paper,we will study the 2D Maxwell-Navier-Stokes equations with extra force and dissipation in a bounded area under homogeneous Dirichlet boundary condition problems:

here is bounded set, is the bound of, is the velocity of the fluid, is the viscosity, and are resistive constants, is the electric current which is given by Ohm’s law, is the electric field, is the magnetic field and is the Lorentz force.

Let and.

Lemma 1. Assume so the solution of the Dirichlet

bound questions (1.1) satisfies

here.

Proof. For the system (1.1) multiply the first equation by with both sides and obtain

For the system (1.1) multiply the second equation by with both sides and obtain

For the system (1.1) multiply the third equation by with both sides and obtain

Because, so is

According to Poincare’s inequality, we obtain

According to, we obtain

According to Young’s inequality, we obtain

From (2.4) (2.5) (2.6) (2.7) (2.8) (2.9), we obtain

so

Let, according that we obtain

so

Using the Gronwall’s inequality, the Lemma 1 is proved.

Lemma 2. Under the condition of Lemma 1, and ,

so the solution of the Dirichlet bound questions (1.1) satisfies

here

Proof. For the system (1.1) multiply the first equation by with both sides and obtain

For the system (1.1) multiply the second equation by with both sides and obtain

For the system (1.1) multiply the third equation by with both sides and obtain

According and (2.10) (2.11) (2.12) we obtain

here

so

According to the Sobolev’s interpolation inequalities

so

According to the Sobolev’s interpolation inequalities and Young’s inequalities

According to the Holder’s inequalities and inequalities

and

According to the (2.13) (2.14) (2.15) (2.16) (2.17) (2.18), we obtain

here

According to the Poincare’s inequalities

According to the Young’s inequalities

In a similar way,we can obtain

From (2.19)-(2.23), we have

Let, because, so existing satisfied

So

According to the Gronwall’s inequality,we can get the Lemma 2.

Theorem 1. Assume that and so questions (1.1) exist a unique

solution

Proof. By the method of Galerkin and Lemma 1 - Lemma 2, we can easily obtain the existence of solutions. Next, we prove the uniqueness of solutions in detail.

Assume are two solutions of questions (1.1), let

. Here so the diffe-

rence of the two solution satisfies

The two above formulae subtract and obtain

For the system (3.1) multiply the first equation by with both sides and obtain

For the system (3.1) multiply the second equation by with both sides and obtain

For the system (3.1) multiply the third equation by with both sides and obtain

According to (3.2) + (3.3) + (3.4), we obtain

here, and so

From that, we have

Notice that

From the (3.5), (3.6), (3.7) and (3.8), we can obtain

Let

so, we have

According to the consistent Gronwall inequality, the uniqueness is proved.

Theorem 2. [8] Let be a Banach space, and are the semigroup operators on.

here is a unit operator. Set satisfy the follow

conditions.

1) is bounded. Namely, it exists a constant, so that

;

2) It exists a bounded absorbing set namely it exists a constant so that

;

3) When is a completely continuous operator.

Therefor, the semigroup operators exist a compact global attractor.

Theorem 3. Under the assume of Theorem 1, questions (1.1) have global attractor

is the bounded absorbing set of and satisfies

1)

2) here and it is a bounded set,

Proof. Under the conditions of Theorem 1 and Theorem 2, it exists the solution semigroup of ques-

tions (1.1),

From Lemma 1 - Lemma 2, to is a bounded set that includes in the ball

This shows is uniformly bounded in

Furthermore, when there is

therefore,

is the bounded absorbing set of semigroup

Since is tightly embedded, which is that the bounded set in is the tight set in

, so the semigroup operator to is completely continuous.

If we want to estimate the Hausdorff and fractal dimension of the attractor A of question (1.1), we need proof of the solution of question (1.1) that is differentiable. We are studying the solution’s differentiability hardly and positively. Over a time, we will get some results.

This work is supported by the National Natural Sciences Foundation of People's Republic of China under Grant 11161057.