Abstract
A degenerate Zakharov system arises as a model for the description of laser-plasma interactions. It is a coupled system of a Schrödinger and a wave equation with a non-dispersive direction. In this paper, a new local well-posedness result for rough initial data is established. The proof is based on an efficient use of local smoothing and maximal function norms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In view of numerous applications, there is strong interest in plasma dynamics and laser-plasma interactions. Ideally, one wants to use numerical simulations to gain insight in these processes. This requires reliable models and a thorough understanding thereof.
In 1972, Zakharov introduced in [23] the system
to study Langmuir waves in a non- or weakly magnetized plasma, where the physical dimension is d = 3. Here, E denotes the complex envelope of the electric field and n the ion density fluctuation.
A different situation arises when modelling the interaction of a plasma with a laser beam. Using the paraxial approximation (see e.g. [19, Section 4]) to describe this interaction, one obtains the system
where E now denotes the complex amplitude of the laser beam and n the real-valued electron density fluctuation. Both are functions of the variables \((t,x_{1},\ldots ,x_{d}) \in (-T,T) \times \mathbb {R}^{d}\). Since the last spatial variable xd plays a distinguished role (the direction of propagation of the laser beam), we use the notation \(x=(x_{1},\ldots ,x_{d-1}) \in \mathbb {R}^{d-1}\) and \({\Delta }^{\prime }={\sum }_{i=1}^{d-1}\partial _{x_{i}}^{2}\). We refer to [16] and [20] for a derivation in d = 3. In [16] a reduced version of (1.2) was used to analyze self-focusing from local intensity peaks (hot spots) in laser plasmas, which is a possible instability for inertial confinement fusion.
A more precise description of laser-plasma interaction takes into account that part of the incident light field is backscattered by Raman- and Brillouin-type processes. The three resulting light fields interact with the electric field of the plasma as well as with the density fluctuation. The resulting system can be seen as a nonlinear coupling of equations of the form (1.1) and (1.2). A reduced model system of this type was used in [17] for numerical simulations, see also [7]. The first step in the analysis of these advanced models is the understanding of systems (1.1) and (1.2). Finally, we note that the system (1.2) also arises as WKB approximation for the Euler–Maxwell equations in the cold ion case for highly oscillatory initial data, see [21].
In the present paper, we study the initial value problem associated with (1.2), i.e. we prescribe
We prove the following local well-posedness result.
Theorem 1.1
Let d ≥ 3, \(s>\frac {d-2}{2}\), \(s^{\prime }>\frac 12\). Then, (1.2)–(1.3) is locally well-posed if the initial data satisfies
We define the non-isotropic Sobolev spaces \(H^{s,s^{\prime }}(\mathbb {R}^{d})\) as the collection of all \(f \in \mathcal {S}^{\prime }(\mathbb {R}^{d})\) satisfying
where \(\xi = (\xi _{1},\ldots ,\xi _{d-1}) \in \mathbb {R}^{d-1}\), \(\xi _{d} \in \mathbb {R}\), and \(|\nabla ^{\prime }|^{-1}=(\sqrt {-{\Delta }^{\prime }})^{-1}\) is the Fourier multiplier. We refer to Theorem 3.2 for a more precise version of our main result.
Without going into detail, we remark that our proof in Section 4 also implies certain refinements in Besov spaces at the threshold regularities if d ≥ 4, and in addition, one could avoid low frequency conditions (see Section 3).
Previous Results
Coupling two of the fundamental dispersive equations, the Zakharov system (1.1) and the corresponding initial value problem have attracted a lot of attention. We refer to [10, 20] and the references therein for the history of the problem and to [4, 9, 14] for a few milestones in the theory. The local well-posedness theory for the Zakharov system is now comprehensively understood, see [5] for the state of the art in dimensions d ≥ 4 and [18] for d ≤ 3.
Due to the lack of dispersion in the longitudinal direction in (1.2) the system (1.2) is sometimes called the degenerate Zakharov system. This partial lack of dispersion adds significant difficulties to the well-posedness theory, which therefore is still in its infancy. In [7] the question of local well-posedness of (1.2) has been posed. The periodic problem for (1.2) is ill-posed, see [8]. A positive answer in dimension three was given in [13] for initial values (E0,n0,n1) in \(H^{5}(\mathbb {R}^{3})\times H^{5}(\mathbb {R}^{3})\times H^{4}(\mathbb {R}^{3})\) with \(\partial _{x_{1}}^{\frac {1}{2}}E_{0}, \partial _{x_{2}}^{\frac {1}{2}}E_{0} \in H^{5}(\mathbb {R}^{3})\) and \(\partial _{x_{3}} n_{1} \in H^{4}(\mathbb {R}^{3})\), using local smoothing and maximal function estimates. Improving upon the maximal function estimate, local well-posedness for initial values \((E_{0}, n_{0}, n_{1}) \in H^{2}(\mathbb {R}^{3}) \times H^{2}(\mathbb {R}^{3}) \times H^{1}(\mathbb {R}^{3})\) with \(\partial _{x_{1}}^{\frac {1}{2}}E_{0}, \partial _{x_{2}}^{\frac {1}{2}}E_{0} \in \dot {H}^{2}(\mathbb {R}^{3})\) and \(\partial _{x_{3}} n_{1} \in H^{1}(\mathbb {R}^{3})\) was shown in [1].
In view of these results, the assumptions on the initial data in Theorem 1.1 are lowered significantly. Our approach is based on an efficient use of local smoothing and maximal function norms. More precisely, we adapt the approach devised in [3] (to solve the Schrödinger maps problem) to the setting of the degenerate Zakharov system.
Organisation of the Paper
In Section 2 we introduce notation and provide linear estimates. In Section 3 we prove the main result under the hypothesis that two nonlinear estimates hold, which we then prove in Section 4. In an appendix, we complement our results by showing that it is impossible to prove the nonlinear estimates in Fourier restriction norms only.
2 Preliminaries
Notation
Throughout the paper, we use the following notations. \(A \lesssim B\) means that there exists C > 0 such that A ≤ CB. Also, \(A\sim B\) means \(A \lesssim B\) and \(B \lesssim A\). Let u = u(t,x,xd) and let \(\mathcal {F}_{t} u\), \(\mathcal {F}_{x}\), \(\mathcal {F}_{x,x_{d}} u\) denote the Fourier transform of u in time, \(\mathbb {R}^{d-1}\), and \(\mathbb {R}^{d}\), respectively. By \(\mathcal {F}_{t, x,x_{d}} u = \widehat {u}\) we denote the Fourier transform of u in time and space. Let N, M be dyadic numbers, i.e. there exist \(n_{1}, m_{1} \in \mathbb {N}_{0}\) such that \(N= 2^{n_{1}}\) and \(M=2^{m_{1}}\). Let \(\eta \in C^{\infty }_{0}((-2,2))\) be an even, non-negative function which satisfies η(t) = 1 for |t|≤ 1. Letting ηN(ξ) := η(|ξ|N− 1) − η(|ξ|2N− 1), η1(ξ) := η(|ξ|), the equality \({{\sum }_{N}\eta _{N}=1}\) holds. Here we used \({\sum }_{N}= {\sum }_{N \in 2^{\mathbb {N}_{0}}}\) for simplicity. We also use the abbreviations \({\sum }_{M}= {\sum }_{M \in 2^{\mathbb {N}_{0}}}\), \({\sum }_{N, M}= {\sum }_{N, M \in 2^{\mathbb {N}_{0}}}\), etc. throughout the paper.
Let \(\mathbf {e} \in \mathbb {S}^{d-2}\) and \(\mathcal {P}_{\mathbf {e}}=\{\xi \in \mathbb {R}^{d-1} | \xi \cdot \mathbf {e}=0\}\) with the induced Euclidean measure. For p, \(q \in [1,\infty ]\), define
We define \(I_{N}^{(d-1)} = \{\xi \in \mathbb {R}^{d-1} | \xi \in \text {supp} \eta _{N}\}\). Let T > 0 and
Let \(\phi \in C_{0}^{\infty }(\mathbb {R})\) be non-negative and symmetric, such that ϕ(r) = 0 if \(|r|\leq (4\sqrt {d-1})^{-1}\) or |r| > 4 and ϕ(r) = 1 if \( (2\sqrt {d-1})^{-1}\leq r\leq 2\), and we set ϕN(r) = ϕ(r/N). Then,
We define \(P_{N} = \mathcal {F}_{x}^{-1} \eta _{N} \mathcal {F}_{x}\) and \(P_{N,\mathbf {e}} = \mathcal {F}_{x}^{-1} \phi _{N}(\xi \cdot \mathbf {e}) \mathcal {F}_{x}\). Since both PN and PNPN,e have kernels in \(L^{1} (\mathbb {R}^{d-1})\), they are bounded operators on each of the spaces \(L_{\textbf {e}^{\prime }}^{p,q}\).
Let d ≥ 3, T > 0, and pd = (2d + 4)/d. For N > 1 and \(f \in {L_{N}^{2}}(T)\), we define the norms
if d ≥ 4 and
in the case d = 3. To estimate the nonlinear terms, we introduce
Here \(p_{d-1}^{\prime }\) satisfies \(1/p_{d-1} + 1/p_{d-1}^{\prime } = 1\) and e1,…,ed− 1 denote the standard basis of \(\mathbb {R}^{d-1}\). For N = 1 we modify the above definition as follows:
For T > 0 and s, \(s^{\prime } \geq 0\), we define the normed spaces \(F^{s,s^{\prime }}(T)\) and \(W^{s,s^{\prime }}(T)\) as
For \(g \in {L_{N}^{2}}(T)\), we define the norms for the nonlinear terms as
Linear Estimates
In this subsection we collect the estimates for the flow of the linear Schrödinger equation which we employ in the following. Besides the classical Strichartz estimates, we crucially rely on local smoothing and maximal function estimates. The local smoothing estimates follow from (4.18) in [12]. The maximal function estimates for d ≥ 4 are stated in (4.6) in [12]. We refer to [11] (see (3.28) in the proof of Lemma 3.3) for the maximal function estimates for d = 3. See also Lemma 3.2 in [3].
Lemma 2.1
For all \(f \in L^{2}(\mathbb {R}^{d-1})\), N ≥ 1 and \(\mathbf {e} \in \mathbb {S}^{d-2}\), we have:
-
(a)
(Local smoothing estimate).
$$ \|e^{it {\Delta}^{\prime}}P_{N,\mathbf{e}}f \|_{L_{\mathbf{e}}^{\infty,2}} \lesssim N^{-\frac{1}{2}}\|f \|_{L^{2}}, \quad (N>1). $$ -
(b)
(Maximal function estimate).
$$ \|e^{it {\Delta}^{\prime}}P_{N}f \|_{L_{\mathbf{e}}^{2,\infty}} \lesssim N^{\frac{d-2}{2}}\|f \|_{L^{2}}, \quad d\geq4, $$and
$$ \|\eta(t)e^{it {\Delta}^{\prime}}P_{N}f \|_{L_{\mathbf{e}}^{2,\infty}} \lesssim (1+\log N) N^{\frac{1}{2}}\|f \|_{L^{2}}, \quad d=3. $$ -
(c)
(Strichartz estimate).
$$ \|e^{it {\Delta}^{\prime}}f \|_{L_{t,x}^{p_{d-1}}} \lesssim \|f \|_{L^{2}}. $$
Note that Lemma 2.1 implies
for all \(\varphi \in H^{s,s^{\prime }}(\mathbb {R}^{d})\).
In order to prove the local well-posedness theory via a fixed point argument, we also need estimates for the inhomogeneous terms in our function spaces. In the case d ≥ 4, these are provided by Proposition 3.8 in [3], as one sees by checking the definitions of the involved norms. We provide a proof here to include the case d = 3.
Lemma 2.2
We have
for all 0 < T < 1.
Proof
It is straightforward to prove Lemma 2.2 in the case N = 1. Thus, we assume N > 1. We need to show
The former estimate (2.3) is a consequence of the Christ–Kiselev lemma. See [6] and Lemma B.3 in [22]. Alternatively, Up and Vp spaces were employed to show (2.3), see the proof of Lemma 7.3 in [3]. For the latter estimate (2.4), we follow the proof of Lemma 7.4 in [3], see also [15]. Because of (2.1), we have
Hence, without loss of generality, it suffices to show
We define the fundamental solution of the Schrödinger equation in \(\mathbb {R}^{d-1}\) as
Then, the inhomogeneous term can be expressed as
where
Since the latter term can be handled by Lemma 2.1 and the dual estimate of the local smoothing estimate, it suffices to prove
To see this, we invoke Lemma 7.5 in [3] which implies that there exist functions v0 and w such that
where \(P_{<2^{-40}N, \mathbf {e}_{1}}\) is defined in the obvious way. The Sobolev embeddings in time and space yield the necessary bound for w(t,x). To bound the first summand in the previous decomposition, we write as in [3] for any 1 ≤ j ≤ d − 1
Consequently, the desired bound for the first summand follows from the linear estimates in Lemma 2.1. □
As above, we point out that Lemma 2.2 yields
for all 0 < T < 1 and \(u \in G^{s,s^{\prime }}(T)\).
3 Local Well-Posedness of the Degenerate Zakharov System
For the purpose of this paper it is more convenient to work with the first order reformulation of the degenerate Zakharov system (1.2). Setting \(N = n - i |\nabla ^{\prime }|^{-1} \partial _{t} n\), system (1.2) is equivalent to
The initial condition (1.3) transforms into
where \(N_{0} = n_{0} - i |\nabla ^{\prime }|^{-1} n_{1}\). Note that N0 belongs to \(H^{s-\frac {1}{2},s^{\prime }}(\mathbb {R}^{d})\) if and only if \((n_{0},|\nabla ^{\prime }|^{-1} n_{1}) \in \big (H^{s-\frac {1}{2},s^{\prime }}(\mathbb {R}^{d}) \big )^{2}\). Moreover, the term \(\overline {N}\) can be treated in the same way as N in our analysis so that we drop the real part in (3.1) for simplicity. We remark that one can use a modified transformation involving \((1-{\Delta }^{\prime })^{-\frac 12}\) to avoid any low frequency conditions by following the argument in [2], we omit the details.
Besides the estimates from Section 2, the crucial ingredients in the proof of the local well-posedness theorem are the following estimates for the nonlinear terms appearing on the right-hand side of (3.1).
Proposition 3.1
Let d ≥ 3, \(s > \frac {d-2}{2}\), and \(s^{\prime }>\frac 12\). Then we have
for all T > 0.
We postpone the proof of Proposition 3.1 to Section 4 and first show how it implies the local well-posedness of the degenerate Zakharov system.
Theorem 3.2
Let d ≥ 3, \(s > \frac {d-2}{2}\), and \(s^{\prime } > \frac {1}{2}\). Then, for every initial data \((E_{0}, N_{0}) \in H^{s,s^{\prime }}(\mathbb {R}^{d}) \times H^{s-\frac {1}{2},s^{\prime }}(\mathbb {R}^{d})\) there is a time T > 0 and a unique solution
of the degenerate Zakharov system (3.1)–(3.2).
Proof
We define a mapping Φ by the right-hand side of the integral equation corresponding to (3.1) (after dropping the real part), i.e.
The estimates (2.2) and (2.6), the energy estimate for the half-wave equation, and the nonlinear estimates from Proposition 3.1 now allow us to perform a standard fixed point argument in the Banach space
which yields the assertion of the theorem. □
4 Nonlinear Estimates
We now provide the proof of the nonlinear estimates in Proposition 3.1.
Proof Proof of Proposition 3.1
Here we only consider d ≥ 4. The case d = 3 can be handled in a similar way. We consider (3.3) first. By Minkowski’s inequality, we get that
where \(\ast _{\xi _{d}}\) denotes the convolution in the variable ξd. Hence, it suffices to show the estimate
for all \(f_{1} \in F_{N_{1}}(T)\) and \(f_{2} \in L_{N_{2}}^{2}(T)\cap L^{\infty }_{t} {L^{2}_{x}}\), where \(N_{\min \limits }=\min \limits (N_{1},N_{2})\).
We consider the three cases \(N \ll N_{1} \sim N_{2}\), \(N_{2} \ll N \sim N_{1}\), and \(N_{1} \lesssim N \sim N_{2}\). In the first case, using Bernstein’s and Hölder’s inequality, we find that
where
In the last estimate we also used that \(\|f_{1}\|_{L_{t}^{\alpha }L_{x}^{\gamma }} \lesssim \|f_{1}\|_{F_{N_{1}}(T)}\) which follows by interpolating between \(L_{t}^{\infty } {L_{x}^{2}}\) and \(L_{t,x}^{p_{d-1}}\). The second case \(N_{2} \ll N \sim N_{1}\) can be treated in a similar way, employing Hölder’s inequality first and then Bernstein’s inequality on f2.
It remains the case \(N_{1} \lesssim N \sim N_{2}\). If N = 1, we again argue as in (4.2). If N > 1, Hölder’s inequality yields
which completes the proof of (4.1).
Next we prove (3.4). We compute that
Therefore, it is enough to show
for all \(g_{1} \in F_{N_{1}}(T)\) and \(g_{2} \in F_{N_{2}}(T)\), where \(N_{\max \limits }=\max \limits (N_{1},N_{2})\) and \(N_{\min \limits }=\min \limits (N_{1},N_{2})\). Without loss of generality, we may assume N2 ≤ N1. In the case N1 = 1, we easily obtain (4.3) from Hölder’s inequality, Bernstein’s inequality and interpolation.
We can thus assume N1 > 1 in the following. Recall from (2.5) that we have
Since \((P_{N_{1}/2} + P_{N_{1}} + P_{2N_{1}})P_{N_{1},\mathbf {e}}\) is bounded on \(L^{\infty ,2}_{\mathbf {e}^{\prime }}\) for all \(\mathbf {e}, \mathbf {e}^{\prime } \in \mathbb {S}^{d-2}\), Hölder’s inequality allows us to estimate
which completes the proof of (4.3). □
The above proof shows that, if d ≥ 4, in the case \(s=\frac {d-2}{2}\) and \(s^{\prime }=\frac 12\) one obtains similar estimates in the ℓ1-based Besov norms.
Change history
19 November 2022
The original online version of this article was revised: Missing Open Access funding information has been added in the Funding Note.
References
Barros, V., Linares, F.: A remark on the well-posedness of a degenerated Zakharov system. Commun. Pure Appl. Anal. 14, 1259–1274 (2015)
Bejenaru, I., Herr, S., Holmer, J., Tataru, D.: On the 2D Zakharov system with L2 schrödinger data. Nonlinearity 22, 1063–1089 (2009)
Bejenaru, I., Ionescu, A.D., Kenig, C.E., Tataru, D.: Global Schrödinger maps in dimension d ≥ 2: small data in the critical Sobolev spaces. Ann. Math. (2) 173, 1443–1506 (2011)
Bourgain, J., Colliander, J.: On wellposedness of the Zakharov system. Int. Math. Res. Not. 1996, 515–546 (1996)
Candy, T., Herr, S., Nakanishi, K.: The Zakharov system in dimension d ≥ 4. J. Eur. Math. Soc. (to appear), arXiv:1912.05820 (2019)
Christ, M., Kiselev, A.: Maximal functions associated to filtrations. J. Funct. Anal. 179, 409–425 (2001)
Colin, M., Colin, T.: On a quasilinear Zakharov system describing laser-plasma interactions. Differ. Integral Equ. 17, 297–330 (2004)
Colin, T., Métivier, G.: Instabilities in Zakharov equations for laser propagation in a plasma. In: Bove, A., Colombini, F., Del Santo, D (eds.) Phase Space Analysis of Partial Differential Equations. Progress in Nonlinear Differential Equations and Their Applications, Vol. 69, pp. 63–81. Birkhäuser, Boston (2006)
Ginibre, J., Tsutsumi, Y., Velo, G.: On the Cauchy problem for the Zakharov system. J. Funct. Anal. 151, 384–436 (1997)
Guo, B., Gan, Z., Kong, L., Zhang, J.: The Zakharov System and Its Soliton Solutions. Springer, Singapore (2016)
Ionescu, A. D., Kenig, C. E.: Low-regularity Schrödinger maps. Differ. Integral Equ. 19, 1271–1300 (2006)
Ionescu, A. D., Kenig, C. E.: Low-regularity Schrödinger maps, II: global well-posedness in dimensions d ≥ 3. Commun. Math. Phys. 271, 523–559 (2007)
Linares, F., Ponce, G., Saut, J. -C.: On a degenerate Zakharov system. Bull. Braz. Math. Soc. N.S. 36, 1–23 (2005)
Ozawa, T., Tsutsumi, Y.: Existence and smoothing effect of solutions for the Zakharov equations. Publ. Res. Inst. Math. Sci. 28, 329–361 (1992)
Pornnopparath, D.: Small data well-posedness for derivative nonlinear Schrödinger equations. J. Differ. Equ. 265, 3792–3840 (2018)
Rose, H. A., DuBois, D. F.: Initial development of ponderomotive filaments in plasma from intense hot spots produced by a random phase plate. Phys. Fluids B: Plasma Phys. 5, 3337–3356 (1993)
Russell, D. A., DuBois, D. F., Rose, H. A.: Nonlinear saturation of stimulated Raman scattering in laser hot spots. Phys. Plasmas 6, 1294–1317 (1999)
Sanwal, A.: Local well-posedness for the Zakharov system in dimension d ≤ 3. Discrete Contin. Dyn. Syst. 42, 1067–1103 (2022)
Sentis, R.: Mathematical models for laser-plasma interaction. ESAIM Math. Model. Numer. Anal. 39, 275–318 (2005)
Sulem, C., Sulem, P.-L.: The Nonlinear Schrödinger Equation: Self-Focusing and Wave Collapse. Appl. Math. Sci., vol. 139. Springer, New York (1999)
Texier, B.: WKB Asymptotics for the Euler–Maxwell equations. Asymptot. Anal. 42, 211–250 (2005)
Wang, B., Han, L., Huang, C.: Global well-posedness and scattering for the derivative nonlinear schrödinger equation with small rough data. Ann. l’Inst. Henri Poincaré C, Anal. non linéaire 26, 2253–2281 (2009)
Zakharov, V. E.: Collapse of Langmuir waves. Sov. Phys. JETP 35, 908–914 (1972)
Acknowledgements
Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – SFB 1283/2 2021 – 317210226. The second author is supported by JSPS KAKENHI Grant Number 820200500051.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is dedicated to Carlos Kenig on the occasion of his 70th birthday.
Appendix A: Examples Involving Fourier Restriction Norms
Appendix A: Examples Involving Fourier Restriction Norms
In this section, we prove that it is impossible to solve the problem by using Fourier restriction norms only. To that end, we define the additional frequency and modulation projections PN,M, \(\mathcal {E}_{L}\), and \(\mathcal {W}_{L}^{\pm }\) as
For the parameters \(s,s^{\prime },b \in \mathbb {R}\) and \(1\leq p\leq \infty \) we define the Fourier restriction spaces \(X^{s,s^{\prime },b,p}_{\mathcal {E}} (\mathbb {R}^{d+1})\) and \(X^{s,s^{\prime },b,p}_{\mathcal {W}_{\pm }} (\mathbb {R}^{d+1})\) as the collection of tempered distributions such that the following norms are finite:
The precise statement we prove in this section is the following:
Proposition A.1
-
(1)
Suppose that there exists C > 0 such that
$$ \| u v \|_{X^{s,s^{\prime},b_{1}-1,p_{1}}_{\mathcal{E}}} \leq C \| u\|_{X^{s,s^{\prime},b_{1},p_{1}}_{\mathcal{E}}} \|v \|_{X^{s-\frac12, s^{\prime},b_{2},p_{2}}_{\mathcal{W}_{\pm}}} $$holds for all square-integrable u, v with compact Fourier support. Then, either b1 < 1/2 or \((b_{1},p_{1})=(1/2,\infty )\) holds.
-
(2)
Suppose that there exists C > 0 such that
$$ \|\sqrt{-{\Delta}^{\prime}}(|w|^{2}) \|_{X^{s-\frac12, s^{\prime},b_{2}-1,p_{2}}_{\mathcal{W}_{\pm}}} \leq C \| w\|_{X^{s,s^{\prime},b_{1},p_{1}}_{\mathcal{E}}}^{2} $$holds for all square-integrable w with compact Fourier support. Then, either b1 > 1/2 or (b1,p1) = (1/2, 1) holds.
Proof
For r > 0 and \(a \in \mathbb {R}^{d+1}\), we define the ball \(B_{r}(a) = \{x \in \mathbb {R}^{d+1} | |x-a| \leq r \}\). Let N ≫ 1, L ≥ 1, \(a_{N}^{\pm }=(\mp N, N, 0, \ldots , 0, -N^{2} \pm N)\). We use \(S_{L}=\{(\tau ,\xi ,\xi _{d}) \in \mathbb {R}^{d+1} | L \leq |\tau +|\xi |^{2} +\xi _{d}| \leq 2L\}\).
Firstly, we show (1). We define the functions u, \(v_{N,\pm } \in L^{2}(\mathbb {R}^{d+1})\) as
where χA denotes the characteristic function of the set A. It is easily seen that for all b1, \(b_{2} \in \mathbb {R}\), p1, \(p_{2} \in [1,\infty ]\), it holds that
Thus, it suffices to show that if \(p_{1} < \infty \), we have
We observe that if \((\tau ,\xi ,\xi _{d}) \in B_{1/2}(a_{N}^{\pm })\) then \((\chi _{B_{1}(0)} * \chi _{B_{1}(a_{N}^{\pm })}) (\tau ,\xi ,\xi _{d}) \sim 1\). Therefore, for \(p_{1} < \infty \), we get
which implies (A.1). Here, the third estimate holds because the measure of the set \(B_{1/2}(a_{N}^{\pm }) \cap S_{L}\) is comparable to L/N if 1 ≤ L ≤ 2− 2N.
Secondly, we prove (2). Let \(1<p_{1} < \infty \). We define the functions \(w_{N,\pm } \in L^{2}(\mathbb {R}^{d+1})\) as
It is straightforward to check \(\| w_{N,\pm }\|_{X^{s,s^{\prime },\frac 12,p_{1}}_{\mathcal {E}}} \sim 1\). Our goal is to show that for all b2, p2 it holds that
To see this, we note that if \((\tau ,\xi ,\xi _{d}) \in B_{1/2}(a_{N}^{\pm })\), then
holds. We compute that
This completes the proof of (A.2). □
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Herr, S., Kato, I., Kinoshita, S. et al. Local Well-Posedness of a System Describing Laser-Plasma Interactions. Vietnam J. Math. 51, 759–770 (2023). https://doi.org/10.1007/s10013-022-00577-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-022-00577-0