Abstract

The stochastic strongly dissipative Zakharov equations with white noise are studied. On the basis of the time uniform a priori estimates, we prove the existence and uniqueness of solutions in energy spaces and , by using the standard Galerkin approximation method of stochastic partial differential equations.

1. Introduction

The Zakharov system, derived by Zakharov in 1972 [1], describes the interaction between Langmuir (dispersive) and ion acoustic (approximately nondispersive) waves in an unmagnetized plasma. The usual Zakharov system defined in the space is given by where the wave fields and are complex and real, respectively. It has become commonly accepted that the Zakharov system is a general model to govern interaction of dispersive nondispersive waves.

In the past decades, the Zakharov system has been studied by many authors [210]. In [4], the authors established globally in time existence and uniqueness of smooth solution for a generalized Zakharov equation in a two-dimensional case for small initial date and proved global existence of smooth solution in one spatial dimension without any small assumption for initial data. In [7, 8], the uniqueness and existence of the global classical solution of the periodic initial value problem for the system of Zakharov equations and the system of generalized Zakharov equations have been proved.

In order to better qualitative agreement, it is necessary to include damping effects or effects of the loss of energy. In a realistic physical system, dissipation must be included into each equation. In [11], the author studied the following dissipative Zakharov equations: where positive constants and are damping coefficients and and are external forces. The author obtained the long time behavior of (2) and (3) on a bounded interval with initial conditions and homogeneous Dirichlet boundary conditions. The asymptotic behaviors of the solution for (2) and (3) in 1D-2D have been investigated (see [1113]).

In [14], the authors considered the following strongly dissipative Zakharov equations:

They studied the Cauchy problem of (4) and (5) and proved the existence of the maximal attractor.

In recent years, the importance of taking random effects into account in modeling, analyzing, simulating, and predicting complex phenomena has been widely recognized in geophysical and climate dynamics, materials science, chemistry, biology, and other areas [1518]. Stochastic partial differential equations are appropriate mathematical models for complex systems under random influences or noise. Usually, the noise can be regarded as a simple approximation of turbulence in fluids.

In [19], stochastic dissipative Zakharov equations have been studied on a regular domain in the Itô sense. The authors proved the existence and uniqueness of solutions. Then, a global random attractor was constructed. Further, the existence of a stationary measure was proved. In [20], the existence and uniqueness of solutions are obtained. Moreover, the asymptotic behaviors of the solutions for the stochastic dissipative quantum Zakharov equations with white noise were also investigated.

In the present paper, we consider the following random forced strongly dissipative Zakharov equations on a regular domain in the Itô sense: where the parameters and , and and are independent -valued Wiener processes, which will be detailed in the next section. Here, denotes the general derivative of the Wiener processes with respect to time.

The rest of this paper is organized as follows. In Section 2, some functional setting and some conditions are given. In Section 3, a series of time uniform a priori estimates are given in different energy spaces. Some of the technique of estimates and Itô’s formula are used frequently. In Section 4, we obtain the existence and uniqueness of solutions for the stochastic strongly dissipative Zakharov equations by using the standard Galerkin approximation method in different investigated spaces. Various positive constants are denoted by throughout this paper. Now, we state the main results of the paper.

2. Preliminary

In this section, we give a detailed description of the stochastic strongly dissipative Zakharov equations. Let with . Consider the following strongly dissipative stochastic Zakharov equations on a regular domain : with initial conditions and Dirichlet boundary conditions here, , , , , and are given, with and .

As in [14], to study the solution of strongly dissipative stochastic Zakharov equations, we set , where is small enough and will be chosen later. So we have the following equations:

Here, we give a complete probability space The expectation operator with respect to is denoted by The stochastic terms and on are defined by where is a standard real-valued Wiener process and is a standard complex-valued Wiener process independent of In addition, and are sufficiently smooth functions.

We will work on the usual functional spaces , , and The inner product on will be denoted by and the norm by . The general -norm of is denoted by And the norm on is denoted by . The real and imaginary parts of a complex number are denoted, respectively, by and .

Now, we define spaces as , , and . Endow with the usual product norm . Then, with compact embeddings.

In our approach, we need the following lemmas. Let be three reflective Banach spaces and with compact and dense embedding. Define the Banach space with

Then, we have the following lemma about compactness result (see [21]).

Lemma 1. If is bounded in , then is precompact in .
Another lemma is needed for some maximal estimates on the stochastic integral. Assume and are separable Hilbert spaces, is a -Wiener process on with And let be the space of Hilbert-Schmidt operators from to We have the following results (see [22]).

Lemma 2. For any and any -valued predictable process we have where and are some positive constants dependent on .

3. Time Uniform A Priori Estimates

In this section, in the sense of expectation, we give a priori estimates for in different spaces , , and .

Lemma 3. Assume Then, for any and ,

Proof. Applying Itô’s formula to , by (13), we have

Integrating (20) from 0 to , by Young inequality, we obtain

Taking expectation on both sides of (21), by Lemma 2, we get

Then, by Gronwall inequality, we get where is independent of .

By (23), we obtain .

Taking the supremum and expectation on both sides of (21), by Lemma 2 and (23), for any , there exists a positive constant ; we have where is a constant depending on and .

By (24), we obtain

By the above estimates, we can further give an estimate of for any . Now applying Itô’s formula, Young inequality, and Hölder inequality, we have

Integrating (25) from 0 to , we obtain

Taking expectation on both sides of (26), we get

Then, by Gronwall inequality, we get where is independent of .

By (28), we obtain .

Taking the supremum and expectation on both sides of (26), by Lemma 2 and (28), for any there exists a positive constant ; we have where is a constant depending on and .

By (29), we obtain .

Lemma 3 is proved completely.

Lemma 4. Assume and . Then, for any and , .

Proof. Applying Itô’s formula to , by (12), we have

Since , from (30), we obtain where is the first eigenvalue of .

By (31), we get

Applying Itô’s formula to , by (13), we have

Substituting into (33), we have

In addition, applying Itô’s formula to , we have

Substituting (35) into (34), we obtain

Taking , and by (32) and (36), we have

By Hölder inequality and Young inequality, we have the following estimates:

By (38), we obtain

By (39), we get

Now, taking and letting , the above inequality is changed into

Integrating (41) from 0 to , we obtain

Taking expectation on both sides of the above inequality, by (28), we get

By (23) and Gronwall inequality, we have where is independent of .

Since we have

By (41) and (46), we have

Therefore, by (28) and (44), we have where is independent of .

By (48), we obtain .

Further, we give an estimate of for any . First as by (47), we have

Applying Itô’s formula to , by (41), (50), (51), and Young inequality, we obtain

Integrating from 0 to and taking expectation on both sides of the above inequality, by Hölder inequality and (28), we derive

By Gronwall inequality, we have where is independent of .

By (28), (51), and (54), we obtain .

On the other hand, integrating from 0 to on both sides of (47), deduce

Now, taking the supremum and expectation on both sides of the above inequality, we have

Then, by (28), (54), and (56), we obtain where depends on the initial data.

Therefore, by (48), we have

By (58), we obtain .

In addition, from (52), we have

Integrating from 0 to and taking the supremum and the expectation on both sides of (59), we have

By (50), (51), Hölder inequality, and Young inequality, we have the following estimates:

By (28), (54), (60), and (61), we have

Moreover, by (29), (51), and (62), we have where depends on the initial data.

Therefore, by (63), we have

By (64), we obtain .

Lemma 4 is proved completely.

Lemma 5. Assume , , , and . Then, for any and , .

Proof. Applying Itô’s formula to , by (12), we have

Since , from (65), we obtain where is the first eigenvalue of . By (66), we obtain

Applying Itô’s formula to , by (13), we have

Substituting into (68), we have

From (66) and (69), we obtain since

Substituting (71) into (70), we have

Taking , and by (72), we have

By Hölder inequality and Young inequality, we have the following estimates:

By (73), we have

By (75), we get

Now, taking and letting , by (76), the above inequality is changed into

Integrating (77) from 0 to and taking expectation on both sides of the above inequality, we get

By Gronwall inequality, we have where is independent of .

Since we have

By (77) and (81), we get

By (28), (54), (79), and (81), we get where is independent of .

By (83), we obtain .

Further, we give an estimate of for any . First as

By (81) and (84), we have

Applying Itô’s formula to , by (77), (85), (86), (87), and Young inequality, we obtain

Taking expectation on both sides of the above inequality, by Hölder inequality and (88), we derive

By Gronwall inequality, we have where is independent of .

By (87) and (90), we obtain .

By the same approach of Lemma 4, we obtain where depends on the initial data. Therefore, by (47), we have

By (92), we obtain .

Moreover, we get

By (87), we have where depends on the initial data. Therefore, by (94), we have

By (95), we obtain .

Lemma 5 is proved completely.

Lemma 6. Assume , , , and . Then, for any and , .

Proof. Applying Itô’s formula to , by (12), we have

Since , from (96), we obtain where is the first eigenvalue of .

By (97), we obtain

Applying Itô’s formula to , by (13), we have

Substituting into (99), we have

From (98) and (100), we obtain

Taking , and by (101), we have

Since then we deduce

Substituting (104) into (102), we have

4. Existence and Uniqueness of Solutions

By the above a priori estimates, we prove the existence and uniqueness of solutions for stochastic Equations (7) and (8) with initial boundary conditions (9) and (10) in spaces .

Theorem 7. Assume , , , and Then, there is a unique solution almost surely for Equations (7) and (8). And is continuous from to .

Proof. First, we assume . Let be the eigenvectors of Laplace operator on with Dirichlet boundary condition, which is also an orthonormal basis of Let be the projection from onto the space spanned by We define as the Galerkin approximate solution of the following equations:

Here, , , , and , and commutes with the operator . Now, we will treat the above equations pathwise by introducing the random processes solving with Dirichlet boundary conditions and initial conditions

Following the same method as in Section 3, for any and almost all sample point , we have and satisfy the following estimates: for some positive constant independent of . And for any , for some positive constant . Now, let be the solution of the following equations: with initial conditions

Here, and . And such that for and for . Note that (116) and (117) are random differential equations with Lipschitz nonlinearity in finite dimension. Then, for almost all sample point , we have a unique solution for (116) and (117). Define the stopping time by , if the set is nonempty; otherwise, .

Since is increasing in , let almost surely. And for , we have satisfying (106) and (107). By the estimates given in Section 3 and (114) and (115), for any , we have with independent of and , and for any , with independent of ; here, . On the other hand, we have where for and for . Then, according to (120), we have

According to the above estimate and Borel-Cantelli lemma, for any , we have . So we know satisfying the following random differential equations: with initial conditions

Then, satisfies the estimates (120) and (121), and for any , is the unique global solution of (106), (107), and (108). Now, we will consider (125) and (126) for fixed . First, by (121), for any ,

Let

Then, . Now, for any fixed , there is an with such that

Then, we can extract a subsequence still denoted by such that for any , converges to weakly star in , converges to weakly star in , and converges to weakly star in .

These convergences are sufficient to pass the limit in linear terms, but we need a strong convergence of for nonlinear terms. In fact from (126) and estimate (131), we know is bounded in Then, by Lemma 1, we can further extract a subsequence still denoted by such that converges to strongly in . Then, by a standard procedure, we can pass the limit to show that is a weak solution of with initial conditions

Then, is a solution of (7) and (8) and satisfies the estimates in Section 3.

Now, we prove the continuity of the solution. In fact, for , , and , we have

Then, by Lemma 4.1 and Chapter II of [23], we have for almost all

By a similar method, noticing and almost surely, by [21], we have

Then, by (113) and the definition of and , almost surely. Now, as the noise is additive, we can follow the same approach as in [11]. The solution is unique in almost surely and is continuous from to almost surely. Then, for is arbitrary, by the estimates in Section 3, we derive Theorem 7.

Using the same method as above, we obtain the following results.

Theorem 8. Assume , , , and . Then, there is a unique solution almost surely for Equations (7) and (8). And is continuous from to .

5. Conclusion

In [10], the authors studied the initial boundary value problem for a generalized Zakharov system. The authors proved the global existence and uniqueness of the generalized solution to the problem by a priori estimates and Galerkin method. In this paper, we discuss the random forced strongly dissipative Zakharov equations, which are the generalized Zakharov system under random influences in [10]. We proved the existence and uniqueness of solutions in energy spaces and . The results of this paper are a good supplement to the results in [10].

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The authors are grateful to the reviewers for useful remarks and suggestions that greatly improved the presentation of this manuscript. This work is supported by the National Natural Science Foundation of China (no. 11401223), the Natural Science Foundation of Guangdong (no. 2015A030313424), and the Science and Technology Program of Guangzhou (no. 201607010005).