Abstract
In this paper we investigate the small data global existence and pointwise decay of solutions to two systems of coupled wave-Klein–Gordon equations in two spatial dimensions. In particular, we consider critical (in the sense of time decay) semilinear nonlinearities for the wave equation and below-critical semilinear nonlinearities for the Klein–Gordon equation, a situation that has not been studied before in the context of coupled wave and Klein–Gordon equations. An interesting feature of our two systems is that the below-critical nonlinearity causes the Klein–Gordon field to lose its linear behaviour close to the light cone, even though it enjoys optimal time decay.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We are interested in this paper in systems of PDEs of the form
where the flat wave operator is \(-\Box :=\partial _t^2 - \sum _{a=1}^n \partial _{x^a}^2\). The inhomogeneities \(F_w, F_v\) may, or may not, couple the two equations together. We consider only spatial dimensions \(n\ge 2\).
The study of systems of the type (1.1) has a long and active history in the analysis of PDEs and can play an illuminating role in our understanding of mathematical models of physical phenomena. A stimulating goal is to understand those nonlinearities \(F_w, F_v\) for which small-data perturbations of the zero solution to (1.1) lead to either finite-time blow-up or to small-data global existence. There has been much research investigating such conditions in the uncoupled case: for example, the null condition for a wave equation. In the coupled case, the problem becomes more complicated. We recall the pioneering works in this direction in \(n=3\) of [3, 12]. For \(n=2\) however, the topic of the present paper, the understanding of wave–Klein–Gordon interactions is less complete than \(n=3\) and general classification results, apart from some special cases discussed below, are not yet within reach.
In the present paper we initiate the study of quadratic nonlinearities \(F_w, F_v\) (coupling the wave and Klein–Gordon fields together), one of which is critical and the other is below-critical. Throughout this paper we use “critical”, short for “critical-in-time-decay”, to mean that, assuming w and v obey linearFootnote 1 decay estimates, we have
for all \(t\ge t_0, \delta >0\). Analogously, by “below-critical” (short for below-critical-in-time-decay) we mean that (1.3) holds and, for some \(\delta >0\),
and by “above-critical” we mean that
In this paper we prove the global existence and asymptotic decay of solutions to two model PDEs satisfying the condition that \(F_w\) is critical and \(F_v\) is below-critical. Our Model I reads:
where \(P^{\alpha \beta }\) are constants that do not satisfy the null condition. Our Model II reads:
where again \(P^\alpha \) are some arbitrary constants. We assume our initial data are compactly supported and sufficiently small in high-regularity Sobolev norms.
Our study of Models I and II is motivated by the broader goal of better understanding theories in mathematical physics that involve the interaction of massive and massless fields. This includes, but is not limited to, the Dirac–Klein–Gordon equations (e.g. [10, 11]) as well as equations like Klein–Gordon–Zakharov and the Einstein–Klein–Gordon equations. We also believe our results can be used to understand certain effective field theories as recently discussed in [36]. However we emphasise that the results of this paper should not be viewed as the complete story, but rather as a stepping stone towards completing our understanding of wave-Klein–Gordon phenomena. We hope that certain new methods in our proof will aid in future work studying and classifying wave-Klein–Gordon behaviour in spatial dimension \(n=2\).
1.1 Previous work
Uncoupled Wave and Klein–Gordon Equations. We first briefly recall some previous results on wave equations in \(n=2\) with quadratic nonlinearities. Consider the two PDEs
Both nonlinearities here are below-critical, and small-data finite time blow-up is known to hold by [19] for the first PDE, for the second one by [1, 42]. As is well known, additional structure within a nonlinearity, other than just the ‘power’ of the decay, can ensure global-existence. The prime example of such structure is Klainerman’s null condition [27]. In the simplest case this leads to the PDE
The \(n=3\) case was treated much earlier in [5, 28].
Finally we turn to Klein–Gordon equations \(- \Box v + v= F_v\) for \(n=2\). Due to the faster linear decay for Klein–Gordon fields, there are several classical works proving global existence for many \(F_v\) (e.g. [6, 15, 17, 20, 35, 37, 38]). Blow-up is more difficult to arrange for, however, and we note the first work to do is [25] for a below-critical nonlinearity.
Coupled Wave-Klein–Gordon Equations. In terms of the vector-field method, coupled wave-Klein–Gordon equations present new difficulties due to the fact that the scaling vector field \(t\partial _t + x^a\partial _a\) does not commute with the Klein–Gordon operator. In two spatial dimensions, numerous difficulties also arise due to the fact that linear wave and Klein–Gordon fields decay very slowly in such low dimensions, and that Klein–Gordon fields do not enjoy the improved null-direction decay estimates that hold for the wave equation.
In the present paper we study our coupled wave-Klein–Gordon systems using the vector-field method adapted to a hyperboloidal foliation of a forward light cone in Minkowski spacetime. This method originates in [26, 29], see also [20], in the context of Klein–Gordon equations, and was later revisited for coupled wave-Klein–Gordon equations in [30] under the name of the “hyperboloidal foliation method” (see also [16, 18, 40] for other works on wave and/or Klein–Gordon equations in the hyperbolic space). In this method, the scaling vector field is avoided, which allows for an equal treatment of both wave and Klein–Gordon fields.
The study of coupled wave-Klein–Gordon systems has been the subject of much research, and given this we primarily only refer to works on two spatial dimensions. Recently, the study of coupled wave and Klein–Gordon systems in \({\mathbb {R}}^{1+2}\) has led to global existence results for a large class of PDE systems including null forms and other interesting nonlinearities, under the assumption of compact initial data [4, 8, 32, 33] and also with no compactness assumption [7, 9, 10]. There have also been other works [22, 39] that have investigated quasilinear wave and Klein–Gordon systems under the null condition, which do not need to restrict to compact data. A quite general result on cubic nonlinearities has also been given in [4], which is along the lines of a ‘classification’ result as alluded to in the beginning of this paper. We remark that general classification results still largely remain open for coupled wave and Klein–Gordon systems in \({\mathbb {R}}^{1+2}\).
1.2 Main statements and difficulties
We can now state our first result for the Model I PDE system.
Theorem 1.1
Consider in \({\mathbb {R}}^{1+2}\) the coupled wave-Klein–Gordon system
Let \(N\ge 10\) be an integer. There exists \(\epsilon _0>0\) such that for all \(0<\epsilon <\epsilon _0\) and all compactly supported initial data satisfying the smallness condition
the Cauchy problem (1.8) admits a global-in-time solution (w, v). Furthermore there exists a large constant \(C>0\) such that the solution satisfies the following pointwise decay estimates
The major issue with equations (1.8) is that the best we can expect for the nonlinearities (in the flat constant t slices) is
Thus, one quantity at the borderline of integrability and the other strictly below the borderline of integrability. To the authors’ knowledge, such a situation for two dimensional coupled wave-Klein–Gordon equations has not been studied before, and a direct application of vector-field method ideas from classical works would not suffice. Moreover, for all coupled wave-Klein–Gordon equations which are known to admit small smooth global solutions, their nonlinearities behave no worse than critically. For instance, if the nonlinear term \(P^{\alpha \beta }\partial _\alpha w \partial _\beta w\) satisfies the null condition, which is already a hard problem to study in two spatial dimensions, then the Model I problem admits a small global solution as shown in [33].
Novelties in the Proof. Similar to (1.11), in the hyperboloidal foliation with hyperboloidal time \(s = \sqrt{t^2 - r^2}\), the best behaviour we can expect for the nonlinearities is
Here \({\mathcal {H}}_s\) are constant s-surfaces defined in (2.1) and \(L^2_f({\mathcal {H}}_s)\) is defined in (3.2). Naive calculations lead us to the estimates
We see one quantity is at the borderline of integrability and the other is below the borderline of integrability. Furthermore the transformation \( V = v-P^{\alpha \beta }\partial _\alpha w \partial _\beta w\) which we would like to use to improve our control on v, cannot be performed at the highest order of regularity due to top-order regularity issues with the \((\partial w)^2\) term. Thus for the highest order of regularity in our bootstrap argument new ideas are required.
One of our key ideas is to use a \((t-r)\)-weighted energy estimate for the wave equation in (1.8) (see Proposition 3.2). Such a weighted energy estimate derives from work of Alinhac [2] and has recently been applied to coupled wave-Klein–Gordon systems and the hyperboloidal foliation by the first author in [8]. Using this, we find
Now we have one quantity which is \(s^{-1}\) above the borderline of integrability, and the other which is \(s^{-1}\) below the borderline of integrability. The situation for \((t-r)\)-weighted \(L^2\) terms is much better than the unweighted case, and so this gives us hope to close the bootstrap argument for the highest order energy cases provided that we can first show sharp \(L^\infty \) estimates for derivatives of the wave component.
Indeed obtaining sharp pointwise decay estimates on \(|\partial w|\) is another major issue with the equations (1.8), which is resolved by Proposition 3.9. Indeed Proposition 3.9 is stated in a more general form as its proof is interesting and we hope it can be applied to other equations. The proof is based on an \(L^\infty -L^\infty \) pointwise estimate for undifferentiated waves by Ma [33]. We then combine both a conformal energy estimate and good commutation properties between the conformal Killing vector field and vector fields tangential to the hyperboloids. Finally, for the lower order energy cases the aforementioned transformation from v to V is sufficient.
We now turn to our second result for the Model II PDE system.
Theorem 1.2
Consider in \({\mathbb {R}}^{1+2}\) the coupled wave-Klein–Gordon system
where \(P^\alpha \) are arbitrary constants. Let \(N\ge 8\) be an integer. There exists \(\epsilon _0>0\) such that for all \(0<\epsilon <\epsilon _0\) and all compactly supported initial data satisfying the smallness condition
the Cauchy problem (1.15) admits a global-in-time solution \(({\tilde{w}}, {\tilde{v}})\). Furthermore there exists a large constant \(C>0\) and \(\delta '\ll 1\) such that the solution satisfies the pointwise decay estimates
Similar to Model I, the best we can expect for the nonlinearities is
The divergence structure appearing in (1.15a) makes this problem a lot more tractable (indeed, we do not require Proposition 3.9) and so we defer further details to Sect. 5. Nevertheless we emphasise that such divergence structure appears naturally in physics, such as for massless Dirac fields and the Klein–Gordon–Zakharov equations (e.g. [8, 10, 11, 34]).
Loss of Decay. Following [31], consider momentarily in three spatial dimensions the system
If one swaps the nonlinearities in (1.18), then the equation for u leads to finite-time blow-up [23]. The ideas in [31] can be used to show that all sufficiently small, smooth and compactly supported initial data lead to global solutions under (1.18). Moreover the u component will obey the linear decay estimate of \(|\partial u| \lesssim t^{-1}\) while the w component will suffer from a loss of decay \(|\partial w|\lesssim t^{-1} \log (1+t)\) due to the absence of the null condition in its nonlinearity \((\partial _t u)^2\).
In a similar way, if the nonlinearities \(F_w, F_v\) in our Model I were to be swapped (so (1.8a) \(\leftrightarrow \) (1.8b)), then we would in fact get finite-time blow-up for the resulting wave equation. Moreover, analogously to w in the previous paragraph (i.e., in (1.18)), we get a loss of decay in the region \(|t-r|\le C\) (\(C>0\) is a constant) close to the light cone for the Klein–Gordon component v.
To understand what we mean here, recall from [20, 29] that a linear Klein–Gordon field can decay as \( |v| \lesssim \big (s/t \big )^\ell t^{-1}\) for all \(\ell \in {\mathbb {N}}_{\ge 0}\), as long as the initial data are sufficiently smooth. Since \((s/t) \sim t^{-1/2}\) near the light cone \(t=r\), this implies a linear decay rate
Next, we see from Lemma 3.5 that null nonlinear terms \(\eta ^{\alpha \beta } \partial _\alpha w \partial _\beta w\) roughly speaking enjoy an extra (s/t) decay compared with general \(P^{\alpha \beta } \partial _\alpha w \partial _\beta w\). Thus, due to the absence of the null condition in the nonlinearity (1.8b) and the estimates (1.10), the Klein–Gordon field v cannot decay as fast as (1.19). A similar loss of decay result also holds for Model II.
Furthermore the above arguments explain why the wave nonlinearity (1.8a) can be generalised to \(P_1 v^2 + P_2 \partial _\alpha v \partial ^\alpha v\), with \(P_1, P_2\) constants, but not to \(P^{\alpha \beta }\partial _\alpha v \partial _\beta v\) (indeed using our current strategy the only issues arise when closing the highest order energy).
Outline. The rest of the paper is organised as follows. In Sect. 2, we introduce some notation regarding the hyperboloidal foliation and give a brief outline of quadratic semilinear null forms. In Sect. 3, we present various technical tools required for our later bootstrap arguments (energy estimates, pointwise estimates, etc.). Finally, in Sects. 4 and 5 we present the proofs of Theorems 1.1 and 1.2 respectively.
2 Preliminaries
We first state some notation concerning the hyperboloidal foliation method, taken from [30], see also the earlier [13, 14]. We adopt the signature \((-, +, +)\) in the \((1+2)\)–dimensional Minkowski spacetime \(({\mathbb {R}}^{1+2}, \eta =\text {diag}(-1,1,1)\), and for the point \((t, x) = (x^0, x^1, x^2)\) in Cartesian coordinates we denote its spatial radius by \(r :=| x | = \sqrt{(x^1)^2 + (x^2)^2}\). We write \(\partial _\alpha =\partial _{x^\alpha }\) (for \(\alpha =0, 1, 2\)) for partial derivatives and \( L_a :=x_a \partial _t + t \partial _a\), where \(a= 1, 2\), for the Lorentz boosts. With our sign convention, \(x_1=x^1, x_2=x^2\). We denote the scaling vector field by \( L_0 = t\partial _t + x^1 \partial _1 + x^2 \partial _2\).
We define the following subsets of Minkowski spacetime
Throughout the paper, we consider functions defined in the interior of the future light cone \({\mathcal {K}}\), with vertex (1, 0, 0) and boundary \(\partial {\mathcal {K}}\). We will consider hyperboloidal hypersurfaces \({\mathcal {H}}_s\) with \(s>1\) foliating the interior of \({\mathcal {K}}\). We define \({\mathcal {K}}_{[s_0, s_1]}\) to denote subsets of \({\mathcal {K}}\) limited by two hyperboloids \({\mathcal {H}}_{s_0}\) and \({\mathcal {H}}_{s_1}\) with \(s_0 \le s_1\), and let \(\partial {\mathcal {K}}_{[s_0, s_1]}\) denote the conical boundary.
The semi-hyperboloidal frame is defined by
Note that the vectors \({\underline{\partial }}_a\) generate the tangent space to the hyperboloids. Likewise we have the following relation
We also introduce
which is orthogonal to the hyperboloids.
We note the identities
which can be used to deduce pointwise decay of \(\partial _\alpha w\) for a wave component w. We also recall the following decomposition of the flat wave operator in the semi-hyperboloidal frame:
Finally we recall the rotation vector field
Thanks to the second equality above, and our assumption of compact support, we do not need to use \(\Omega _{12}\) in this paper.
Standard notation. Throughout the paper, we use \(A\lesssim B\) to denote that there exists a generic constant \(C>0\) such that \(A\le BC\). Spacetime indices are represented by Greek letters \(\alpha , \beta , \gamma \in \{0,1,2\}\) while spatial indices are denoted by Roman letters \(a, b, c\in \{1,2\}\). We adopt the Einstein summation convention. For the ordered set \(\{ \Gamma _i\}_{i=1}^5:=\{ \partial _{0},\partial _1, \partial _2, L_1,L_2\}\), and for a multi-index \(I=(\alpha _1, \ldots , \alpha _5)\) of length \(|I|:=\alpha _1 + \ldots \alpha _5 = m\) we write the product of vector-fields by \(Z^I:=\Gamma _1^{\alpha _1}\Gamma _2^{\alpha _2}\Gamma _3^{\alpha _3}\Gamma _4^{\alpha _4}\Gamma _5^{\alpha _5}\).
2.1 Semilinear null structure
In this subsection we briefly remind the reader about properties of semilinear null forms. For \(\phi , \psi \) some smooth functions, the null forms are:
These were first identified by Klainerman in [27]. We have the identities
The null forms \(Q_{ab}\) and \(Q_{0a}\) are sometimes called strong null forms since the scaling vector field \(L_0\) does not appear in the decomposition (2.6). As identified by Georgiev [12], strong null forms obey good estimates. In particular:
Estimates on the \(Q_0(f,g)\) null form depend on whether f and g obey wave or Klein–Gordon equations. If both obey wave equations, then we obtain good estimates from the identity
and the fact that \(|L_0 w|\) can be controlled by the conformal energy. If instead we have a wave-Klein–Gordon interaction, then we can arrange for the \(L_0\) derivative to only act on the wave component, leading to the identity:
Such structure has been exploited by the first author in [7], and good estimates can be concluded by controlling \(|L_0 w|\), for example by the conformal energy. We cannot, however, at present gain an extra \(t^{-1}\) decay on \(Q_0( v, {\tilde{v}})\) (product of two Klein–Gordon components) since we do not have good bounds for \(L_0 v\).
3 Auxiliary tools
3.1 Standard energy estimates
Following [30], we first introduce the energy functional \(E_m\), in the Minkowski background, for a function \(\phi \) defined on a hyperboloid \({\mathcal {H}}_s\):
In the massless case we denote \(E(s, \phi ):=E_0(s, \phi )\). In the above, the integral in \(L^1({\mathcal {H}}_s)\) is defined from the standard (flat) metric in \({\mathbb {R}}^2\), i.e.,
Proposition 3.1
(Energy estimate) Let \(m\ge 0\) and \(\phi \) be a sufficiently regular function defined in the region \({\mathcal {K}}_{[s_0, s]}\), vanishing near \(\partial {\mathcal {K}}_{[s_0, s]}\) and satisfying
For all \(s \ge s_0\), it holds that
3.2 Weighted energy estimates
Following ideas of Alinhac [2], we have the following weighted energy estimate which for instance have been applied to coupled wave-Klein–Gordon systems in [8, Prop. 3.2].
Proposition 3.2
For \(m\ge 0\) consider a sufficiently regular function \(\phi \) defined in the region \({\mathcal {K}}_{[s_0, s]}\), vanishing near \(\partial {\mathcal {K}}_{[s_0, s]}\) and satisfying
Then for \(\gamma >0\) we have
Proof
As shown in [8], the proof works by multiplying the PDE by \((t-r)^{-\gamma } \partial _t \phi \) and deriving the identity
The first term of the second line is non-negative. \(\square \)
3.3 Conformal energy estimates
We now introduce a conformal-type energy which was adapted to the hyperboloidal foliation setting by Huang and Ma in three spatial dimensions in [21] and in two spatial dimensions by Wong [41]. A key part of this lemma, due to Ma [32], is in giving an estimate for the weighted \(L^2\) norm \(\Vert (s/t) \phi \Vert _{L^2_f({\mathcal {H}}_s)}\) for a wave component \(\phi \).
Proposition 3.3
Let \(\phi \) be a sufficiently regular function defined in the region \({\mathcal {K}}_{[s_0, s]}\) and vanishing near \(\partial {\mathcal {K}}_{[s_0, s]}\). Define the conformal energy
where we used the vector field \(K \phi :=\big ( s \partial _s + 2 x^a {\underline{\partial }}_a \big ) \phi \). Then for all \(s \ge s_0\) we have the energy estimate
Furthermore we have
3.4 Commutator and null-form estimates
We first have the following identities
By using these identities and writing \(L_0 = t\partial _t+x^b\partial _b\) and \(K = t\partial _t + x^b \partial _b + (x^b/t)L_b\) we find
Finally we have the useful property that for the \(Q_0\) null form
The following lemma allows us to control the commutators. Its proof can be found for instance in [30, §3].
Lemma 3.4
Let \(\phi \) be a sufficiently regular function supported in the region \({\mathcal {K}}\). Then, for any multi-index I, there exist generic constants \(C=C(|I|)\) such that
Recall here that Greek indices \(\alpha , \beta \in \{0,1,2\}\) and Roman indices \(a,b \in \{1,2\}\).
We next state an important estimate for null forms in terms of the hyperboloidal coordinates. The proof is standard and can be found in [30, §4].
Lemma 3.5
Let \(\phi , \psi \) be sufficiently regular spacetime functions supported in the region \({\mathcal {K}}\), and let \(Q(\phi , \psi )\) denote any one of the null forms given in (2.5). Then there exists a constant \(C=C(|I|)>0\) such that
Finally we end with the following short lemma, whose proof can be found in [30].
Lemma 3.6
In the cone \({\mathcal {K}}\), there exists a constant \(C>0\), determined by I and J, such that
3.5 Pointwise estimates
We now state a Klainerman-Sobolev estimate in terms of the hyperboloidal coordinates. The proof is standard and can be found in [30, §5].
Lemma 3.7
(Sobolev Estimate) For all sufficiently smooth functions \( \phi (t, x)\) supported in \({\mathcal {K}}\) and for all \(s \ge 2\), there exists a constant \(C>0\) such that
Furthermore we have
We next state an \(L^\infty -L^\infty \) estimate based on Kirchhoff’s formula from [33, Lemma 3.5].
Lemma 3.8
Suppose \(\phi \) is a sufficiently smooth function supported in \({\mathcal {K}}_{[s_0, s]}\), vanishing near \(\partial {\mathcal {K}}\) and satisfying the following Cauchy problem
with \(\phi _0, \phi _1\) being \(C_c^\infty \) functions supported in \({\mathcal {H}}_{s_0} \cap {\mathcal {K}}\). Suppose that f vanishes near \(\partial {\mathcal {K}}\) and within \({\mathcal {K}}_{[s_0, s]}\) satisfies the bound
Then there exists a \(C>0\) such that for all \((t,x)\in {\mathcal {K}}_{[s_0, s]}\) the following estimate holds
with \({\mathcal {C}}_i\) a constant determined by \(\phi _0\) and \(\phi _1\).
We now present a novel method to deduce refined pointwise estimates for a solution to a wave equation under some mild assumptions on the nonlinearity.
Proposition 3.9
Let \(N_0\in {\mathbb {N}}_{\ge 2}\). Suppose \(\phi \) is a sufficiently smooth function supported in \({\mathcal {K}}_{[s_0, s]}\), vanishing near \(\partial {\mathcal {K}}\) and satisfying the following Cauchy problem
with \(\phi _0, \phi _1\) being \(C_c^\infty \) functions supported in \({\mathcal {H}}_{s_0} \cap {\mathcal {K}}\). Suppose that f vanishes near \(\partial {\mathcal {K}}\) and for \(A, B>0\) some constants and \(|I| \le N_0\) the following bounds hold
Then there exists a constant \(C>0\) such that
where D is a constant depending on A, B and \(\phi _0, \phi _1\).
Proof
By Lemma 3.8 and the smallness on the initial data we have, for \(|I|\le N_0\),
In the above \({\mathcal {C}}_i\) is a constant determined by \(\phi _0\) and \(\phi _1\) however we may increase it below from line to line as needed. By commuting \(L_a\) through (3.14) we also have, for \(|I|\le N_0-1\),
We now use these refined pointwise estimates to derive refined pointwise estimates for derivatives of the wave component. Using the conformal energy estimate of Lemma 3.3 we have, for \(|I|\le N_0\),
By the Klainerman-Sobolev estimate of Lemma 3.7, commutator identities in (3.6), and estimates (3.10), we have on \({\mathcal {H}}_s\), for \(|I|\le N_0-2\),
Finally by using the identity \(Kw=L_0 w + (x^a/t)L_a w\) we have, for \(|I|\le N_0-2\),
From the identities \({\underline{\partial }}_a= t^{-1} L_a\) and \({\underline{\partial }}_\perp = t^{-1} L_0\), we find, for \(|I|\le N_0-2\),
Using the identities (2.3) we deduce that, for \(|I|\le N_0-2\),
Finally, from the identity \(s^2 = t^2-r^2\),
\(\square \)
We conclude this section with an estimate on second order derivatives of wave components. It follows easily from the decomposition (2.4), see for example a proof in [30, §8.1, §8.2]).
Lemma 3.10
Suppose \(\phi \) is a sufficiently smooth function supported in \({\mathcal {K}}_{[s_0, s]}\) vanishing near \(\partial {\mathcal {K}}\) and satisfying
Then there exists a constant \(C>0\) such that
4 Global existence
Our model problem I reads
where the constant coefficients \(P^{\alpha \beta }\) do not satisfy the null condition.
4.1 The bootstraps and preliminary estimates
Fix \(N\in {\mathbb {Z}}\) a large integer. As shown in [30, §11], initial data posed on the hypersurface \(\{t_0=2\}\) and localised in the unit ball \(\{x\in {\mathbb {R}}^2:r\le 1\}\) can be developed as a solution of the PDE to the initial hyperboloid \({\mathcal {H}}_{s_0}\), \(s_0=2\), with the smallness conserved. Thus there exists a constant \(C_0>0\) such that on the initial hyperboloid \({\mathcal {H}}_{s_0}\) the following energy bounds hold for all \(|I|\le N\):
Next we fix \(\delta , \epsilon , C_1\) positive constants such that \(\delta \ll 1\). Consider, for \(|I|\le N-1\)
and for \(|I| = N\)
For the rest of Sect. 4 we assume, without restating the fact, that (4.3) hold on a hyperbolic time interval \([s_0, s^*)\) where
Taking \(C_1 \gg C_0\) we see, by continuity of the above \(L^2\) functionals, that \(s^*>s_0\). We first assume \(s^*<+\infty \) and then we will derive a contradiction to assert that \(s^*=+\infty \).
The bootstrap assumptions (4.3) and definition (3.1) imply the following
for \(|I|\le N-1\), and
for \(|I| = N\). The bootstrap assumptions (4.3) and the Sobolev estimates of Lemma 3.7 imply the following pointwise Klein–Gordon estimates
as well as the following pointwise wave estimate
Using (4.4) we have, for \(|I|\le N-3\),
Proposition 3.9 then yields, for \(|I|\le N-5\),
4.2 Lower-order bootstraps
4.2.1 Klein–Gordon component
We first introduce the new variable \(V :=v-P^{\alpha \beta }\partial _\alpha w \partial _\beta w\) which obeys the equation
We begin with a Lemma estimating the final two nonlinearities appearing in (4.7).
Lemma 4.1
For all multi-indices of order \(|I|\le N-1\), there exists a \(C>0\) such that
Proof
If N is sufficiently large so that we can apply the estimates (4.4) and (4.5) (\(\frac{N-1}{2}+1\le N-3\) suffices), then we find using the standard commutator estimates of Lemma 3.4, that
The required conclusion holds provided \(\delta \le 1/2\). \(\square \)
Proposition 4.2
For all multi-indices of order \(|I|\le N-1\), there exists a \(C>0\) such that
Proof
We first note that by the smallness assumptions on the data
. Next, by the energy estimate of Proposition 3.1 applied to equation (4.7), we have
Clearly the second term under the integral in (4.8) can be estimated using Lemma 4.1. For the first term we use the null-form estimates of Lemma 3.5 which imply
We begin by studying the two types of terms appearing on the right hand side of (4.9). Using Lemma 3.10, and the commutator estimates of (3.5) and (3.8a) we have,
The second type of term appearing on the right hand side of (4.9) is easier to treat. In particular, by the commutator estimates (3.5), (3.8a) and (3.8b) we have,
We now consider the case \(|I|\le N-1\). If N is sufficiently large to apply the estimates (4.4) and (4.5) (\(\tfrac{N+1}{2}\le N-2\) suffices), then using (4.10) we find, for \(|I|\le \tfrac{N-1}{2}\),
while using (4.11) we find, for \(|I|\le \tfrac{N-1}{2}\),
Next if \(|I|\le N-1\) and N is sufficiently large to apply (4.4) (i.e., \(\tfrac{N-1}{2}\le N-3\)), then using (4.10) we obtain
Similarly if \(|I|\le N-1\) then using (4.11) we find
Putting this all together, we have, for \(|I|\le N-1\),
and
and finally
Inserting all these estimates into (4.8), together with the estimate of Lemma 4.1 and restriction \(\delta \le 1/3\), we find,
The proof is done. \(\square \)
Corollary 4.3
For all multi-indices of order \(|I|\le N-1\), there exists a \(C>0\) such that
Proof
By Proposition 4.2, the transformation formula \(v = V+P^{\alpha \beta }\partial _\alpha w \partial _\beta w\) and an application of Minkowski’s inequality, it suffices to control, for \(|I| \le N-1\),
By using the commutator estimates of Lemma 3.4, and assuming N is sufficiently large in order to apply the refined estimates (4.6) (\(\frac{N-1}{2}\le N-5\) suffices), we have
The second term of (4.12) requires a bit more care. Again by applying the refined estimates (4.6) (\(\tfrac{N-1}{2}\le N-5\) suffices), we find
A similar argument shows that
Thus we obtain, for any \(|I|\le N-1\),
and so the conclusion follows by combining this with Proposition 4.2. \(\square \)
4.2.2 Wave component
Lemma 4.4
For all multi-indices of order \(|I|\le N-1\), there exists a \(C>0\) such that
Proof
If N is sufficiently large so that we can apply the estimates (4.4) (this requires \(\frac{N-1}{2}\le N-3\)), then by the standard energy estimate of Proposition 3.1 with \(m=0\), we have
The proof is finished. \(\square \)
4.3 Highest-order bootstraps
We now look at the highest-order \(L^2\) estimates, first for the Klein–Gordon component and then for the wave component.
Lemma 4.5
There exists a \(C>0\) such that
Proof
At this top order we study the original Klein–Gordon equation (4.1b). Proposition 3.1 together with the refined decay estimates of (4.6) (and \(\frac{N}{2}\le N-5\)) imply that
The proof is complete. \(\square \)
Lemma 4.6
There exists a constant \(C>0\) such that
Proof
Using (4.4), we see that, for \(|I|\le N-3\),
So, provided \(\frac{N}{2}\le N-3\) in order to apply the estimates (4.4), Proposition 3.2 with \(m=0\) and \(\gamma = 2\) gives, for \(|I|=N\),
Repeating the argument for \(|I|\le N-1\) we find
The proof is done. \(\square \)
Proof of Theorem 1.1
By bringing together the results of Corollary 4.3 and Lemmas 4.4, 4.5, 4.6, we see that for a fixed \(0<\delta \ll 1\) there exists an \(N\in {\mathbb {N}}\) (in fact \(N \ge 10\) is imposed by Lemma 4.5) and an \(\epsilon _0>0\) sufficiently small that for all \(0<\epsilon \le \epsilon _0\) we have
for \(|I| \le N-1\), and
for \(|I| = N\). We can now bring together all the components of the bootstrap argument. Initial data posed on the hypersurface \(\{t_0=0\}\), localised in the unit ball \(\{x\in {\mathbb {R}}^2:r\le 1\}\) and satisfying (1.9) can be developed as a solution of (1.8) to the initial hyperboloid \({\mathcal {H}}_{s_0=2}\) with the smallness conserved via the bound (4.2). Next, by classical local existence results for quasilinear hyperbolic PDEs, the bounds (4.3) hold whenever the solution exists. Clearly \(s^*>s_0\) and, moreover, if \(s^*<+\infty \) then one of the inequalities in (4.3) must be an equality. However we see by choosing \(C_1\) sufficiently large and \(\epsilon _0\) sufficiently small, the bounds (4.3) are in fact refined. This then implies that we must have \(s^*=+\infty \). \(\square \)
5 Model II
The second model reads
where \(P^\alpha \) are arbitrary constants.
Novelties in the proof. Similar to Model I, one nonlinearity is at the borderline of integrability and the other strictly below the borderline of integrability. We aim to use the transformation
to improve our control on \({\tilde{v}}\) and significantly, unlike in Model I, we can use this transformation even at the highest order energies. To control the energies of \({\tilde{v}}\) in terms of those of \({\widetilde{V}}\) however we need to control the error term \({\tilde{w}}^2\) in \(L^2\). One way to obtain robust \(L^2\) control of an undifferentiated wave field is via a conformal energy estimate. In order to avoid uncontrollable growth in the conformal energy estimate, we use the crucial total-derivative structure in the wave nonlinearity which allows us to perform a decomposition, due to Katayama [24], of the form
In particular, \({\widetilde{W}}_0\) satisfies a homogeneous wave equation with initial data \(({\tilde{w}}_0, {\tilde{w}}_1)\), and thus good conformal energy estimates, while \({\widetilde{W}}\) satisfies an inhomogeneous wave equation
with zero initial data. By making use of appropriate \((t-r)\)-weighted energy estimates, the above transformations and decompositions we can close our bootstrap argument.
5.1 The bootstraps and preliminary estimates
Fix \(N\in {\mathbb {Z}}\) a large integer. By the definition of the hyperboloidal energy functional and smallness of the data from (1.16), there exists a constant \(C_0>0\) such that on the initial hyperboloid \({\mathcal {H}}_{s_0}\) the following energy bounds hold for all \(|I|\le N\):
Next we fix \(\delta , \epsilon , C_1\) positive constants such that \(\delta \ll 1\). For the rest of Sect. 5 we assume, without restating the fact, that on a hyperbolic time interval \([s_0, s^*)\) the following bootstrap assumptions hold
where we define
Taking \(C_1\gg C_0\) we see, by continuity of the above \(L^2\) functionals, that \(s^*>s_0\). We first assume \(s^*<+\infty \) and then derive a contradiction to assert that \(s^*=+\infty \).
The bootstrap assumptions (5.5) and the definition (3.1) imply the following
Unlike in Model I, the bootstrap assumptions (4.3) and Sobolev estimates of Lemma 3.7 do not give sharp decay estimates for the Klein–Gordon field. Nevertheless we have
Note also that by the commutator estimate (3.8a) and (5.5b), for \(|I|\le N-4\),
5.2 Transformations
We start by performing a transformation in the Klein–Gordon variable. That is, the variable \({\widetilde{V}}:={\tilde{v}}-{\tilde{w}}^2\) satisfies the PDE
We can then perform one more transformation to \({\widehat{V}}:={\widetilde{V}}-Q_0( {\tilde{w}}, {\tilde{w}})\). The variable \({\widehat{V}}\) satisfies the PDE
Next we turn to decompositions for the wave variable. Following Katayama [24], we introduce the new wave variables \({\widetilde{W}}_0\) and \({\widetilde{W}}\) satisfying
Our variable \({\tilde{w}}\) is then given by \({\tilde{w}}={\widetilde{W}}_0+P^\alpha \partial _\alpha {\widetilde{W}}\). In summary, the transformations and decompositions are given by
5.2.1 Consequences of the transformations
Firstly, since \(Z^I {\widetilde{W}}_0\) is a solution to the homogeneous wave equation for all \(|I|\le N\), we have by Kirchoff’s formula (or Lemma 3.8) the decay estimate
Lemma 5.1
For all multi-indices of order \(|I|\le N\), we have
Proof
From the conformal energy estimate of Proposition 3.3 we have
Furthermore by estimate (3.4) from Proposition 3.3 we have
Next, if N is sufficiently large to apply the sharp pointwise estimate (5.5b) (\(\frac{N}{2}\le N-3\) suffices), then by the standard hyperboloidal energy estimate of Proposition 3.1 with \(m=0\), we have
We thus obtain the following control on the undifferentiated wave component
The proof is complete. \(\square \)
5.3 Refined pointwise estimates
5.3.1 The Klein–Gordon component
In the case \(|I|\le N-1\) we can use the transformation \({\widehat{V}}= {\widetilde{V}}-Q_0( {\tilde{w}}, {\tilde{w}})\) with associated PDE (5.10) to obtain uniform energy estimates for \({\widehat{V}}\), which we can use to recover one sharp pointwise estimate in (5.5b).
Lemma 5.2
There exists a constant \(C>0\) such that
Proof
The proof works in a way similar to Proposition 4.2 for Model I. We omit the details.
\(\square \)
Proposition 5.3
For all multi-indices of order \(|I|+|J|\le N-1\) there exists a constant \(C>0\) such that
Proof
By the energy estimate of Proposition 3.1, we have
We treat the four terms under the integral of (5.19) separately. The first term is covered by Lemma 5.2. For the second term under the integral in (5.19) we use (5.18), (5.5b), (5.7b) (this requires \(\tfrac{N-1}{2}\le N-3\)), to obtain
The third and the fourth terms under the integral in (5.19) are even easier to estimate with the same bound as the second term under the integral in (5.19). So we do not provide further details.
Finally, requiring \(\delta <1/4\), we find
\(\square \)
Corollary 5.4
There exists a constant \(C>0\) such that
Proof
We first combine the Sobolev estimate of Lemma 3.7 with the uniform energy estimate of Proposition 5.3 to obtain
Then by the transformation identity (5.13b), commutator estimate (3.8a), pointwise wave estimate (5.5b) and fact \(t\le s^2\) within \({\mathcal {K}}\), we find, for \(|I|\le N-3\),
Finally, by the transformation identity (5.13a), decay estimate (5.5b) and fact that \(\delta \ll 1\), we have on \({\mathcal {H}}_s\), for \(|I|\le N-3\),
The proof is complete. \(\square \)
5.3.2 The wave component
Lemma 5.5
There exists a constant \(C>0\) such that
Proof
We derive the weighted energy estimate for \({\widetilde{W}}\) using the equation (5.12) and Proposition 3.2 with \(m=0\) and \(\gamma =4\delta \). If N is sufficiently large to apply the sharp pointwise estimate (5.5b) (\(\frac{N}{2}\le N-3\) suffices), then we have, for \(|I|+|J|\le N\),
Taking the sum over all \(|I|\le N\) and applying Grönwall’s inequality we find
and thus, for any \(|I|\le N\),
Applying the weighted Sobolev estimate of (3.13) we can find, for \(|I|\le N-2\),
The proof is done. \(\square \)
Corollary 5.6
For any multi-indices of order \(|I|\le N-3\), there exists a constant \(C>0\) such that
Proof
The proof follows by combining the decay estimates (5.21) and (5.14) with the decomposition formula (5.13c) and the commutator estimate (3.8a).
\(\square \)
5.4 Refined highest-order energy estimates
5.4.1 Wave component
Lemma 5.7
For all multi-indices of order \(|I|\le N\) there exists a constant \(C>0\) such that
Proof
For \(|I|\le N\), and N sufficiently large to apply the sharp pointwise estimate (5.5b) (this requires \(N/2\le N-4\)), we have
The proof is complete. \(\square \)
Corollary 5.8
There exists a constant \(C>0\) such that
Proof
We use Lemmas 3.4 and 3.10 together with the pointwise estimates (5.5b), (5.14) and (5.21), and the decomposition formula (5.13c) with associated PDE (5.12). We find, for \(|I|\le N-3\),
By noting that \(|[Z, \partial ]\phi |\lesssim |\partial \phi |\) we can conclude the proof. \(\square \)
5.4.2 Klein–Gordon component
Lemma 5.9
There exists a constant \(C>0\) such that
Proof
By applying the energy estimate from Proposition 3.1 to the equation (5.9), we find that, for any multi-indices of order \(|I|+|J|\le N\),
We estimate the above two terms under the integral separately.
For the first term, we can apply Lemma 3.5 to obtain
We start by looking at the first term of (5.23). By symmetry, if \(|I_1|\le N/2\le N-3\) we can use Lemma 3.4 and the sharp estimates (5.5) to find
Next we look at the second term of (5.23). If \(|I_1|\le N/2\le N-4\) we have, using the commutator estimates of Lemma 3.4, and the estimate (5.8),
While if \(|I_2|\le N/2\le N-4\) we have, using the commutator estimates of Lemma 3.4, (5.5) and (5.8),
For the second term under the integral in (5.22), which is cubic, we easily get
Inserting all these estimates into (5.22) we find
Finally we can convert this information back into an estimate on the original variable \({\tilde{v}}\). By Minkowski’s inequality, this gives
We start with the third term on the right-hand-side of (5.24). Using (5.15), (5.5b) and (5.7b) (this requires \(N/2\le N-3\)) we have
We next look at the fourth term on the right-hand-side of (5.24). Using (5.15), (5.5b) and (5.8) (this requires \(N/2\le N-3\)) we have
We can now turn to the final term on the right-hand-side of (5.24). Using the estimate (5.18) and (5.5b) we find, provided \(2\delta <1\),
In conclusion, we have
\(\square \)
Proposition 5.10
For a fixed \(0<\delta \ll 1\) there exists an \(N\in {\mathbb {N}}\) and an \(\epsilon _0>0\) and \(C_1>C_0>0\) such that for all \(0<\epsilon \le \epsilon _0\), if the bounds (5.5) hold on a hyperbolic time interval \([s_0, s_1]\), then the refined estimates
hold on the same hyperbolic time interval.
Proof
The proof follows immediately by bringing together the results of corollaries 5.6, 5.4, 5.8 and Lemmas 5.7 and 5.9. The restriction of \(N\ge 8\) comes from Lemma 5.9. \(\square \)
Proof of Theorem 1.2
We can now complete the bootstrap argument. Firstly, as shown in [30, §11], initial data posed on the hypersurface \(\{t_0=0\}\) and localised in the unit ball \(\{x\in {\mathbb {R}}^2:r\le 1\}\) can be developed as a solution of the PDE to the initial hyperboloid \({\mathcal {H}}_{s_0=2}\) with the smallness conserved. This justifies the bound (5.4). Next, by classical local existence results for quasilinear hyperbolic PDEs, the bounds (5.5) hold whenever the solution exists. Clearly \(s^*>s_0\) and if \(s^*<+\infty \) then one of the inequalities in (5.5) must be an equality. We see then by Proposition 5.10, that by choosing \(C_1, C_0\) sufficiently large and \(\epsilon _0\) sufficiently small, the bounds (5.5) are in fact refined. This implies \(s^*=+\infty \) and so the local solution extends to a global one.\(\square \)
Data availibility
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Recall that for the uncoupled and linear equations, we have the decay estimates
$$\begin{aligned} \begin{aligned} - \Box w&= 0 \Rightarrow&|w|&\lesssim t^{-\frac{n-1}{2}}, \quad - \Box v + m^2 v = 0 \Rightarrow&|v|&\lesssim m^{-1} t^{-\frac{n}{2}}. \end{aligned} \end{aligned}$$(1.3)
References
Agemi, R.: Blow-up of solutions to nonlinear wave equations in two space dimensions. Manuscr. Math. 73(2), 153–162 (1991)
Alinhac, S.: The null condition for quasilinear wave equations in two space dimensions. I. Invent. Math. 145(3), 597–618 (2001)
Bachelot, A.: Problème de Cauchy global pour des systèmes de Dirac–Klein–Gordon. Ann. Inst. H. Poincaré Phys. Théor. 48(4), 387–422 (1988)
Cheng, M.: Global existence for systems of nonlinear wave and Klein-Gordon equations in two space dimensions under a kind of the weak null condition. Preprint arXiv:2111.13339
Christodoulou, D.: Global solutions of nonlinear hyperbolic equations for small initial data. Commun. Pure Appl. Math. 39(2), 267–282 (1986)
Delort, J.-M., Fang, D., Xue, R.: Global existence of small solutions for quadratic quasilinear Klein–Gordon systems in two space dimensions. J. Funct. Anal. 211(2), 288–323 (2004)
Dong, S.: Global solution to the wave and Klein-Gordon system under null condition in dimension two. J. Funct. Anal. 281(11), Paper No. 109232 (2021)
Dong, S.: Asymptotic behavior of the solution to the Klein–Gordon–Zakharov model in dimension two. Commun. Math. Phys. 384(1), 587–607 (2021)
Dong, S., Ma, Y.: Global existence and scattering of the Klein–Gordon–Zakharov system in two space dimensions, to appear in Peking Mathematical Journal
Dong, S., Li, K., Ma, Y., Yuan, X.: Global behavior of small data solutions for the 2D Dirac–Klein–Gordon equations. Preprint. arXiv:2205.12000
Dong, S., Wyatt, Z.: Hidden structure and sharp asymptotics for the Dirac–Klein–Gordon system in two space dimensions. Preprint. arXiv:2105.13780
Georgiev, V.: Global solution of the system of wave and Klein–Gordon equations. Math. Z. 203, 683–698 (1990)
Georgiev, V.: Small amplitude solutions of the Maxwell–Dirac equations. Indiana Univ. Math. J. 40(3), 845–883 (1991)
Georgiev, V.: Decay estimates for the Klein–Gordon equation. Commun. Partial Differ. Equ. 17(7–8), 1111–1139 (1992)
Georgiev, V., Popivanov, P.: Global solution to the two-dimensional Klein–Gordon equation. Commun. Partial Differ. Equ. 16(6–7), 941–995 (1991)
Georgiev, V.: Semilinear hyperbolic equations, With a preface by Y. Shibata. MSJ Memoirs, 7. Mathematical Society of Japan, Tokyo (2000)
Georgiev, V., Lucente, S.: Decay for nonlinear Klein–Gordon equations. NoDEA Nonlinear Differ. Equ. Appl. 11(4), 529–555 (2004)
Georgiev, V., Lindblad, H., Sogge, C.D.: Weighted Strichartz estimates and global existence for semilinear wave equations. Am. J. Math. 119(6), 1291–1319 (1997)
Glassey, R.T.: Finite-time blow-up for solutions of nonlinear wave equations. Math. Z. 177(3), 323–340 (1981)
Hörmander, L.: Lectures on Nonlinear Hyperbolic Differential Equations. Springer Verlag, Berlin (1997)
Huang, H., Ma, Y.: A conformal-type energy inequality on hyperboloids and its application to quasi-linear wave equation in \(\mathbb{R}^{3+1}\). Preprint arXiv:1711.00498
Ifrim, M., Stingo, A.: Almost global well-posedness for quasilinear strongly coupled wave-Klein–Gordon systems in two space dimensions. Preprint arXiv:1910.12673
John, F.: Blow-up of solutions for quasi-linear wave equations in three space dimensions. Commun. Pure Appl. Math. 34, 29–51 (1981)
Katayama, S.: Global existence for coupled systems of nonlinear wave and Klein–Gordon equations in three space dimensions. Math. Z. 270, 487–513 (2012)
Keel, M., Tao, T.: Small data blow-up for semilinear Klein–Gordon equations. Am. J. Math. 121, 629–669 (1999)
Klainerman, S.: Global existence of small amplitude solutions to nonlinear Klein–Gordon equations in four spacetime dimensions. Commun. Pure Appl. Math. 38, 631–641 (1985)
Klainerman, S.: Global existence for nonlinear wave equations. Commun. Pure Appl. Math. 33(1), 43–101 (1980)
Klainerman, S.: The null condition and global existence to nonlinear wave equations, Nonlinear systems of partial differential equations in applied mathematics, Part 1 (Santa Fe, N.M., Lectures in Appl. Math., vol. 23, Amer. Math. Soc. Providence, RI 1986, 293–326 (1984)
Klainerman, S.: Remark on the asymptotic behavior of the Klein–Gordon equation in \({\mathbb{R} }^{n+1}\). Commun. Pure Appl. Math. 46(2), 137–144 (1993)
LeFloch, P.G., Ma, Y.: The Hyperboloidal Foliation Method, Series in Applied and Computational Mathematics. World Scientific Press, NJ (2017)
Lindblad, H., Rodnianski, I.: The global stability of Minkowski spacetime in harmonic gauge. Ann. Math. (2) 171(3), 1401–1477 (2010)
Ma, Y.: Global solutions of nonlinear wave-Klein-Gordon system in two spatial dimensions: weak coupling case. Preprint arXiv:1907.03516
Ma, Y.: Global solutions of nonlinear wave-Klein–Gordon system in two spatial dimensions: a prototype of strong coupling case. J. Differ. Equ. 287, 236–294 (2021)
Ozawa, T., Tsutaya, K., Tsutsumi, Y.: Normal form and global solutions for the Klein–Gordon–Zakharov equations. Ann. Inst. H. Poincaré Anal. Non Linéaire 12(4), 459–503 (1995)
Ozawa, T., Tsutaya, K., Tsutsumi, Y.: Global existence and asymptotic behavior of solutions for the Klein–Gordon equations with quadratic nonlinearity in two space dimensions. Math. Z. 222(3), 341–362 (1996)
Reall, H., Warnick, C.: Effective field theory and classical equations of motion. Preprint arXiv:2105.12028
Shatah, J.: Normal forms and quadratic nonlinear Klein–Gordon equations. Commun. Pure Appl. Math. 38, 685–696 (1985)
Simon, J., Taflin, E.: The Cauchy problem for nonlinear Klein–Gordon equations. Commun. Math. Phys. 152(3), 433–478 (1993)
Stingo, A.: Global existence of small amplitude solutions for a model quadratic quasi-linear coupled wave-Klein–Gordon system in two space dimension, with mildly decaying Cauchy data, to appear in Memoir AMS
Tataru, D.: Strichartz estimates in the hyperbolic space and global existence for the semilinear wave equation. Trans. Am. Math. Soc. 353(2), 795–807 (2001)
Wong, W.: Small data global existence and decay for two dimensional wave maps. Preprint arXiv:1712.07684, to appear in Annales Henri Lebesgue
Zhou, Y.: Blow up of solutions to the Cauchy problem for nonlinear wave equations. Chin. Ann. Math. Ser. B 22(3), 275–280 (2001)
Funding
None.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
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 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
Dong, S., Wyatt, Z. Two dimensional wave-Klein–Gordon equations with a below-critical nonlinearity. Nonlinear Differ. Equ. Appl. 30, 59 (2023). https://doi.org/10.1007/s00030-023-00863-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-023-00863-x