Abstract
The finite dimension estimates of Hausdorff dimension and fractal dimension of the attractor of the dissipative quantum Zakharov equations are mainly studied by using the estimates of the Lyapunov exponents. The main results on the attractor are obtained through studying the linear system \(\operatorname{DS}(t)\), which is the differential system of solution operator \(S(t)\) for the dissipative quantum Zakharov equations at the initial value \((m_{0},n_{0},E_{0})\).
Similar content being viewed by others
1 Introduction
It is well known that the classical Zakharov equations are coupled nonlinear wave equations, which describe the interaction between high-frequency Langmuir waves and low-frequency ion-acoustic waves, and had been firstly derived by Zakharov [1] and can be written (in normalized units) as
where \(E: \varOmega \times \mathbf{R}^{+} \rightarrow C\) is the envelope of the high-frequency electric field, and \(n: \varOmega \times \mathbf{R}^{+} \rightarrow \mathbf{R}\) is the plasma density measured from its equilibrium value. Recently, a lot of results for (1.1)–(1.2) have been obtained by many authors. The existence of solutions of (1.1)–(1.2) is obtained in [2,3,4] in the one-dimensional case. The attractors of the dissipative Zakharov equations are investigated in [5]. Some authors have proved that two-dimensional and three-dimensional Zakharov equations develop singular infinite time in numerical and theoretical proofs [6,7,8].
However, in recent decades, the quantum effects have been considered in ultrasmall electronic devices, in dense astrophysical plasma systems, and in laser plasmas, which play an important role in studying nonlinear phenomena in some problems. There has been an increasing interest in the investigation of the quantum counterpart of some of the classical plasma physics phenomena. By further studying the nonlinear coupling roles between the quantum ion-acoustic waves and the quantum Langmuir waves, the modified Zakharov equations for plasmas with a quantum correction, simply called quantum Zakharov equations, are obtained by using of a quantum fluid approach [9]. In fact, to get a better qualitative agreement, it is necessary to include damping effects or effects of the loss of energy in the system. Many authors are interested in the quantum dissipative Zakharov equations as follows:
where \(H>0\) is the quantum parameter expressing the ratio between the ion plasmon energy and the electron thermal energy, and \(\alpha >0\) and \(\gamma >0\). Until now, the global well-posedness and the limit behaviors of quantum Zakharov equations have been investigated as \(H\rightarrow 0\) in [10], and the existence of attractor of (1.3)–(1.4) has been studied in [11]. In this paper, on the basis of [11], the finite dimension estimate of the Hausdorff dimension and fractal dimension of the attractor for the dissipative quantum Zakharov equations are further considered.
The paper is organized as follows. In Sect. 2, we give the work spaces and some results known in [11]. Section 3 is devoted to the investigation of the linear system \(\operatorname{DS}(t)\), which is the differential system of the solution operator \(S(t)\) for the dissipative quantum Zakharov equations at initial value \((m_{0},n_{0},E_{0})\). In Sect. 4, we study the Hausdorff dimension and fractal dimension of attractor using the equivalent form in space \(V_{1}\). By c or \(c'\) we denote a generic positive constant, which may change their values from terms to terms.
2 Preliminary
We consider the bounded set \(\varOmega =[0,L]^{d}\) in \(\mathbf{R}^{d}\) (\(d=1,2,3\)). Assume that the coupled nonlinear dissipative quantum Zakharov equations on Ω satisfy the periodic boundary conditions \(E(x+Le_{j})=E(x)\) and \(n(x+Le_{j})=n(x)\) (\(j=1,2,3\)) and the initial conditions \(n(x,0)=n_{0}(x)\), \(n_{t}(x,0)=n_{1}(x)\), and \(E(x,0)=E_{0}(x)\), \(x\in \varOmega \), and assume that \(\int _{\varOmega } E(x)\,dx=\int _{\varOmega }n(x)\,dx=0\).
We are going to work in the L-periodic functions spaces \(L_{ \mathrm{per}}^{p}(\varOmega )\) and \(H_{\mathrm{per}}^{s}(\varOmega )\) for E and n; see [12]. As in [12] for the nonlinear wave equations, we can set \(m=n_{t}+\varepsilon n\), where ε will be chosen later. So we have three unknown variables, which satisfy the following equations:
where \(\alpha >0\), \(\gamma >0\), \(H>0\), and \(\varepsilon >0\).
The corresponding initial conditions are
For system (2.1)–(2.3), we also define the product spaces \(V_{0}\), \(V_{1}\), and \(V_{2}\) which are different from the product spaces in [5] due to the higher-order terms and are written as
These spaces satisfy \(V_{2}\subset V_{1}\subset V_{0}\) with compact embeddings. For the convenience, we use \(\Vert \cdot \Vert \) to represent the norm of \(\Vert \cdot \Vert _{\dot{L}^{2}_{\mathrm{per}}}\) on the corresponding space \(\dot{L}^{2}_{\mathrm{per}}\), and \(\dot{H}_{\mathrm{per}}^{s}( \varOmega )\) can be regarded as \(H_{\mathrm{per}}^{s}(\varOmega )\) for the variables m, n, E because the norm \(\dot{H}_{\mathrm{per}}^{s}(\varOmega )\) is equivalent to the standard norm \(H_{\mathrm{per}}^{s}(\varOmega )\) if \(\int _{\varOmega } u(x)\,dx=0\).
In this paper, we use some inequalities, such as the Gagliardo–Nirenberg inequality, Agmon inequality, and so on; see [12]. From Agmon’s inequality, for \(d=1,2,3\), we have \(\Vert u\Vert _{L^{\infty }}\leq c\Vert E\Vert ^{1-\frac{d}{4}}_{L^{2}}\Vert E\Vert _{H^{2}}^{\frac{d}{4}} \).
By the a priori uniform time estimates, using the Galerkin approximation, we obtain the uniqueness and existence of the solution of dissipative quantum Zakharov equations in spaces \(V_{1}\) and \(V_{2}\). In addition, the continuous dynamical systems in the spaces \(V_{1}\) and \(V_{2}\) have been given. The attractors in \(V_{1}\) and \(V_{2}\) have been obtained equipped with weak topology for dissipative quantum Zakharov equations; see [11].
We consider system (2.1)–(2.3). If \((m_{0},n_{0}, E_{0}) \in V_{1}\) (resp., \((m_{0},n_{0}, E_{0})\in V_{2}\)), then this system admits a unique solution \((m,n,E)\in L^{\infty }(\mathbf{R}^{+}; V _{1})\) (resp., \((m,n,E)\in L^{\infty }(\mathbf{R}^{+}; V_{2})\)) and \((m,n,E)\in C(\mathbf{R}^{+}, V_{2})\) (resp., \((m,n,E)\in C( \mathbf{R}^{+}, V_{2})\)).
We set \(S(t)(m_{0}, n_{0}, E_{0})=(m, n, E)\) for \(t\geq 0\). Since the considered system is autonomous, \(\{S(t)\}_{t\in \mathbf{R}}\) forms a group; see [12].
3 The linearized system
We prove that the attractor Q is finite by using the estimates of the Lyapunov exponents on the attractor Q and through studying the linear application \(\operatorname{DS}(t)\). Now we consider its linearized system
where \((m,n,E)=S(t)(m_{0},n_{0},E_{0})\), \((m_{0},n_{0},E_{0})\in V _{2}\), and \((v_{0},u_{0},F_{0})\in V_{1}\).
Since \((m,n,E)\in L^{\infty }(\mathbf{R}^{+};V_{1})\), it is easy to show that this system has a unique solution \((v,u,F)\in L^{\infty }( \mathbf{R}^{+};V_{1})\).
Let
where \(\operatorname{DS}(t)(v_{0},u_{0},F_{0})\) is the differential of \(S(t)\) at \((m_{0},n_{0},E_{0})\).
Proposition 3.1
For arbitrary \(R>0\) and \(T<\infty \), there exists \(C(R,T)\) for all \((m_{0}^{(i)},n_{0}^{(i)},E_{0}^{(i)})\) (\(i=1,2\)) such that \(\Vert (m_{0}^{(i)},n_{0}^{(i)},E_{0}^{(i)})\Vert _{V_{1}} \leq R\), and for all t: \(0< t\leq T\), we have
where \(m_{0}=m_{0}^{(2)}-m_{0}^{(1)}\), \(n_{0}=n_{0}^{(2)}-n_{0}^{(1)}\), \(E_{0}=E_{0}^{(2)}-E_{0}^{(1)}\).
We can obtain this proposition from the continuity of \(S(t)\) on \(V_{1}\). To obtain the solutions to be exponentially damped, we set \(p=e^{\sigma t}u\), \(q=e^{\sigma t}v\), and \(G=e^{\sigma t}F\). Substituting them into (3.1)–(3.3), we obtain
Now we study the energy estimate of \((q,p,G)\) to investigate the dimension of the attractor Q. At the beginning, we take the scalar product in \(L^{2}\) of (3.5) by p and obtain
Taking the inner product of (3.6) with q yields
Taking the inner product of (3.6) with Δq, we get
Taking the inner product of (3.4) with G and taking the imaginary parts, we have
Taking the inner product of (3.4) with \((\gamma -\sigma )\times G+G_{t}\) and taking the real parts, we obtain
Taking the inner product of (3.4) with \((\gamma -\sigma )\times \Delta ^{2} G+\Delta ^{2} G_{t}\) and taking the real parts, we have
Now from \(\mu \times \text{(3.7)}+\text{(3.8)}+ \text{(3.9)}+\nu \times \text{(3.10)}+2\times \text{(3.11)}+2\times \text{(3.12)}\) we have
where
and
Since
we have
and
Choosing ε made from the beginning, \(B(t)\) infers
Moreover, according to (3.14) and (3.15), for the term \(A(t)\), we have the estimate
where we used
Then from (3.13) we obtain
We can choose \(\sigma <\min \{\frac{\varepsilon }{4},\frac{ \gamma }{2} \}\). According to (3.16), it is clear that
Indeed,
with
and
From these estimates we have
Then for very large μ and ν, we have
and
Therefore we have \(I(t)\geq c\Vert (q,p,G)\Vert _{V_{1}}^{2} \), with c is the minimum number of the coefficients in (3.18). It is obvious that
when μ, ν are chosen. So \(I(t)^{\frac{1}{2}}\) is a norm equivalent to the norm in \(V_{1}\).
We write the bilinear form associated with the quadratic form \(I(t)\) as
4 Study of the dimension of Q
Now we study the dimension of the attractor Q via to studying \(I(t)\). The attractor Q is considered as an invariant compact subset of \(V_{1}\). We investigate how the operators \(\operatorname{DS}(t)(m_{0},n_{0},E_{0})\) contract the volumes in \(V_{1}\) for \((m_{0},n_{0},E_{0})\in Q\subset V_{2}\). We take m elements \(U_{0}^{1},\ldots,U_{0}^{m}\) linearly independent in \(V_{1}\) and study the evolution of the Gram determinant
where \(U^{i}=\operatorname{DS}(t)(m_{0},n_{0},E_{0})U_{0}^{i}\) and
We will further show that, for sufficiently large m, this determinant exponentially decays as \(t\rightarrow \infty \). In the proof the bilinear form associated with the functional \(I(t)\) plays a key role. We use the functional \(I(t)\) instead of the norm in \(V_{1}\).
In the former, we have
Then we have
and
We set \(K_{m}(t)=\det _{1\leq i,j\leq m}(W^{i},W^{j})\) and \(H_{m}(t)=\det _{1\leq i,j\leq m}f(t;W^{i},W^{j})\), where f is the bilinear form associated with \(I(t)\). From (3.19) we obtain the following relation between \(K_{m}\) and \(H_{m}\):
Then we can estimate \(H_{m}(t)\). We have
where
\(\delta _{jl}\) being the Kronecker symbol. In addition, we have
Due to (3.13), we have
Hence we have
where ρ is the bilinear form associated with R. According to the result used by Ghidaglia [13], which is in fact a lemma of linear algebra, we obtain
where
According to (3.17), we have
where M is defined by
which is a symmetric compact operator. Hence, using (3.13), we deduce from (4.4) that
Moreover,
which is the lth eigenvalue of the operator M, denoted by \(\omega _{l}=(\lambda _{l})^{-2}\), where \(\lambda _{l}\) is the lth eigenvalue of the Laplace operator in dimension d, and \(\lambda _{l} \sim l^{\frac{2}{d}}\).
Consequently, (4.5) can be rewritten as
Set \(s_{m}=\sum_{l=1}^{m}(\lambda _{l})^{-2}\). Using the Gronwall lemma, we have
From (4.3) we obtain
Due to the definition of \(K_{m}\), this yields
It is well known that when \(d<4\), \(s_{m}\leq \) constant =s. According to the preceding analysis, we obtain the following theorem.
Theorem 4.1
For arbitrary \(\xi _{0}=(m_{0},n_{0},E_{0})\in Q\), \(m\geq 1\), \(t>0\), we have that, for all \(U_{0}^{i}\in V_{1}\),
Therefore we have obtained the principle assumption of Theorem 3.1 of Constantin et al. [14]. Then we can show that Q has finite fractal dimension. We set
and define
From Theorem 4.1 we derive
So if we choose m such that \(m\sigma >\frac{c_{2}s}{2c}\) for sufficiently large t, then we have \(\omega _{m}(L(\xi _{0}))\leq 1\) uniformly with respect to \(\xi _{0}\). Then we obtain that \(d_{H}(Q) \leq m\) and \(d_{F}(Q)\leq 2m\), that is, they are finite. Similarly to the proof method in [13], we claim the following theorem.
Theorem 4.2
The maximal attractor Q of the dissipative modified Zakharov system has finite Hausdorff dimension and fractal dimension in \(V_{1}\).
We investigate the bound of Hausdorff dimension and fractal dimension of the attractor for the modified Zakharov system, which represent some dynamics behaviors of finite dimension of the attractors of the system. The idea of the proof of our results is different from the proof of the existence of the attractors of the dissipative quantum Zakharov equations in [11]. Here we firstly obtained the linearized system of the modified Zakharov system, which is needed to consider the Hausdorff dimension and fractal dimension of the attractors. Secondly, we consider energy estimates of Lyapunov exponents for the linearized system, which is given by exponential transformation on the basis of the above linearized system. Finally, our results are obtained by studying the bilinear form associated with the quadratic form \(f(\xi _{1},\xi _{2})\) and evolution of the Gram determinant in finite solution spaces.
Our results are also different from the existence of global strong solutions of higher-dimensional and vector forms of dissipative quantum Zakharov equations, which have not been given until now. Therefore we are interested in investigation of global strong solutions of higher-dimensional dissipative quantum Zakharov equations in vector form, which is our further goal of studying the nonlinear phenomenon of quantum Zakharov equations in vector form in the two- and three-dimensional cases.
References
Zakharov, V.E.: Collapse of Langmuir waves. Sov. Phys. JETP 35, 908–914 (1972)
Guo, B.L., Shen, L.J.: The global existence and uniqueness of classical solutions of periodic initial boundary problems of Zakharov equations. Acta Math. Appl. Sin. 5(2), 310–324 (1982)
Guo, B.L.: On the IBVP for some more extensive Zakharov equations. J. Math. Phys. 7(3), 269–275 (1987)
Li, Y.S.: On the initial boundary value problems for two dimensional systems of Zakharov equations and of complex-Schrödinger-real-Boussinesq equations. J. Partial Differ. Equ. 5(2), 81–93 (1992)
Flahaut, I.: Attractors for the dissipative Zakharov system. Nonlinear Anal. TMA 16(7/8), 599–633 (1991)
Glangetas, L., Merle, F.: Existence of self-similar blow-up solution for Zakharov equation in dimension two, Part I. Commun. Math. Phys. 160, 173–215 (1994)
Masselin, V.: A result on the blow-up rate for the Zakharov system in dimension 3. SIAM J. Math. Anal. 33(2), 440–447 (2001)
Bejenaru, I., Herr, S., Holmer, J., Tataru, D.: On the 2d Zakharov system with \(L^{2}\) Schrödinger data. Nonlinearity 22, 1063–1089 (2009)
Garcia, L.G., Haas, R., de Oliveira, L.P.L., Goedert, J.: Modified Zakharov equations for plasmas with a quantum correction. Phys. Plasmas 12(1), 012302 (2005)
Guo, B.L., Guo, Y.F., Zhang, J.J.: Global well-posedness and the classical limit of the solution for the quantum Zakharov system. Z. Angew. Math. Phys. 64(1), 53–68 (2013)
Guo, Y.F., Buo, B.L., Li, D.L.: Asymptotic behavior of stochastic dissipative quantum Zakharov equations. Stoch. Dyn. 13(2), 1250016 (2013)
Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, New York (1988)
Ghidaglia, J.M.: Finite dimensional behavior for weakly damped driven Schrödinger equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 5, 365–405 (1988)
Constantin, P., Foias, C., Temam, R.: Attractors representing turbulent flows. Mem. Am. Math. Soc. 53, 1–67 (1985)
Acknowledgements
The authors would like to thank the referees for their valuable comments and suggestions, which improved the manuscript.
Availability of data and materials
All data generated or analyzed during this study are included in this paper.
Funding
This paper was supported by National Natural Science Foundation of China Nos. 11861013, 11771444, Guangxi Natural Science Foundation No. 2017GXNSFAA198221, the Fundamental Research Funds for the Central Universities, China University of Geosciences (Wuhan) No. 2018061.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, D., Guo, Y. Dimension estimates of the attractor for the dissipative quantum Zakharov equations. J Inequal Appl 2019, 41 (2019). https://doi.org/10.1186/s13660-019-1994-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-1994-x