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 [2–10]. 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 [11–13]).
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 [15–18]. 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
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 (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
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 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).