Global solutions of nonlinear wave-Klein-Gordon system in two spatial dimensions: A prototype of strong coupling case
Introduction
This article belongs to a research project in which we attempt to understand the effects of different quadratic terms coupled in diagonalized wave-Klein-Gordon system in dimensional space-time. In the previous works for example [1] and [2], we mainly concentrate on the so-called weak coupling cases, i.e., in the wave equation there is no pure Klein-Gordon terms. In the present work we start an investigation on the strong coupling case. We will develop several technical tools and establish the global existence result for the following model system: In (1.1), we remark the general strong coupling terms . The quadratic form and are supposed to be null. The rest are constant-coefficient (multi-)linear forms. In fact in the wave equation we have included all possible quadratic semi-linear terms on .
In the mean time, we will show an other application of these techniques which is the following model system formulated form the Klein-Gordon-Zakharov system in introduced and studied in [3]: where a scalar and a vector. We will give an alternative approach to the global existence of this system.
For clarity the initial data are supposed to be compactly supported on the initial hyperboloid or equivalently, on . This is not an essential restriction because with the so-called Euclidean-hyperboloidal foliation (see for example [4] for an one-dimensional case), the argument here can be easily generalized to non-compactly-supported initial data with sufficient spatial decreasing rate.
As explained in many existing works, the problem of global existence of wave-Klein-Gordon system is more delicate in dimension than in dimensional case because of the slow decay rate of both wave and Klein-Gordon equations in lower dimension. We recall [5], [6] for the methods based on Fourier analysis (which are in non-diagonalized quasi-linear case) and [2], [3] for the analysis in physical space-time. It also worth to mention the following results [7], [8], [9], [10], [11], [12] on wave equations in and [13], [14] on Klein-Gordon equations in dimension.
The main challenge of (1.1) comes from the insufficiency of the so-called principle decay, which is due to the strong coupling terms and the interaction terms coupled in wave equation. The objective of the present work is mainly concentrated on this difficulty. We will give a detailed explanation in the coming two subsections.
The systems with strong coupling arise naturally in many physical or geometrical context. For example the Einstein-Klein-Gordon system where are quadratic forms. The wave map system formulated in [15] as well as the already mentioned Klein-Gordon-Zakharov model system (1.2).
We will explain the challenge comes from the strong coupling. For the convenience of discussion we recall some notation. We are working in and recall that For a wave-Klein-Gordon system with unit propagation speed, if the initial data are posed on with support contained in , then the solution is supported in . So we restrict ourselves in . More details on hyperboloidal foliation can be found in [16].
Return to the discussion on strong coupling. In dimension , the strong coupling terms are not critical because of the decay enjoyed by the Klein-Gordon component: where δ measure the increasing rate of its standard energy on hyperboloids. For clarity we call the factor the principle decay and the factor the conical decay. The above decay is integrable with respect to s (in ), so the strong coupling terms always enjoy integrable bounds.
However in dimensional case the role of these terms change dramatically. Even supposing that v enjoys uniform standard energy bounds, one can only obtain the following decay (via Klainerman-Sobolev inequality): which is not integrable.
What is even worse is that, the strong couplings destroy “completely” the conformal invariance of the wave equation in (1.1). More precisely, consider the term and regard the conformal energy estimate (2.8), we need to integrate with respect to s. This term does not decrease even if we suppose that v enjoys uniform standard energy bound: This leads to at least a increasing rate of conformal energy.
In contrast, in the weak coupling case the quadratic semi-linear terms containing at least one factor of wave component (or its derivatives). These terms are more friendly because the wave component can be expected to enjoy better decay and bounds due to its conformal energy bounds. However, one can not expect such bounds on Klein-Gordon component. To be more precise, recall the following bounds due to Klainerman-Sobolev inequality: where represents the N-order conformal energy defined on hyperboloid (see in detail in Subsection 2.4). For example, let us consider the mixed term coupled in wave equation and suppose that v enjoys uniform standard energy bound. Then recall (1.6) one obtains where can be controlled by conformal energy. If we demand null condition on the coefficients of this term, there will be an additional conical decay which will offset the . Then this bound will be sufficient to recover a slowly increasing conformal energy bound (see for example [17]). In an other word, in weak coupling case the wave component can be expected to enjoy slowly increasing conformal energy bound, which seems to be impossible in strong coupling case. This is the fundamental difference between the strong and weak coupling cases.
In the above discussion we have applied the term principle decay and conical decay. Due to their importance, let us give more detailed explanation on their different roles. In general we write the decay of a term in following form, The principle decay determines how fast the function decreases far from the light cone . It also measures the homogeneity of the solution. The conical decay describes how much additional decay the solution enjoys near the light-cone. However when , in order to offset this increasing rate near light-cone, one needs to pay principle decay. Remark that in , then one has We denote by the total decay, where denotes the negative part of β, which is −β when and 0 when . Remark that the norm of the gradient of wave component can not be bounded directly by standard energy on hyperboloid (see in detail (2.4)). We need to pay a conical decay . For example, to bound the norm of , one needs to make the following calculation: and demand how much total decay the term enjoys. When this decay is integrable with respect to s, one concludes that does not blow up the standard energy. The main difficulty comes when this decay is not integrable and it can be classified into two types. One is the lack of conical decay and the other is the lack of principle decay. Both may lead to insufficiency of total decay and even blow-up in finite time. We show some typical examples.
A first example is the following semi-linear wave equation: in . It is known that all non-zero initial data leads to finite time blow-up (see [18]). This can be observed through (1.10). In fact even if u enjoys uniformly standard energy bound (one can not demand more because for free linear wave equation it is conserved), . The principle decay is integrable but the lack of conical decay will offset the principle decay by and make the total decay non-integrable.
The second example is the situation in [19] in where one regarded the null quadratic term of wave component . With the above observation, we also arrive at (1.10). However this time the null condition supplies a supplementary conical decay (see in detail (2.27)) which makes integrable. The role of classical null conditions is that they supply additional conical decay.
In some more recent works more delicate techniques are developed. For example in the situation of [20], the standard energies only enjoy slowly increasing energy bounds. By Klainerman-Sobolev inequality the wave component satisfies However in this case the null condition is no longer valid. This is the case of lack of conical decay. The sharp decay estimate in [20] (integration along characteristics) and many other techniques are in fact an exchange of principle decay into conical decay. Remark that the principle decay is sufficient and has a margin (between and −1), or in another word, the insufficiency of total decay only occurs in the region near light-cone. The sharp decay estimate in [20] sacrifices some principle decay to recover the insufficiency of conical decay, and arrive at , i.e., we lose some principle decay of order and recover a conical decay of order ). Of course, some delicate structures of Einstein equation are also applied for this improvement. Many systems in dimension enjoy the above property because of (1.12). We emphasize that this type of techniques in fact do not demand very much principle decay (in fact <−1 is sufficient) and there is still some margin left.
Then we take a look at the Klein-Gordon-Zakharov model system (1.2) in . Clearly this is a strong coupling system. However it is not critical if we regard the principle decay. The main observation is that the term EΔw coupled in Klein-Gordon equation only contains the Hessian form of the wave component. The gradient ∂w does not appear in right-hand-side of the system. Remark that the Hessian form enjoys a faster principle decay (see for example in Proposition 2.4). In fact and the last term is quadratic, i.e., it can be expected to enjoy better decay than linear ones. When regarding (1.2), is sufficient. So there is a margin between and . Of course, to make the argument in [3] work, there are several non-trivial works in order to overcome the insufficiency of conical decay. Our techniques are also applicable on (1.2) (though it falls to be a special case of (1.1)). In Section 9 we give a sketch in order to show the difference between critical principle decay and non-critical principle decay.
In the same manner, the system treated in [5] also enjoys the above structure of Hessian form. When restricted to compactly supported initial data, our method is also applicable (see also a generalization in [3]).
In the case of (1.1), the difficulty comes from the other side: we can show that sufficient conical decay is available but the principle decay is at the critical level, i.e., the uniform standard energy bounds only leads to principle decay for both wave and Klein-Gordon components and this is not integrable. Regarding the interaction coupled in wave equation, this will lead to non-uniformly-bounded standard energy on wave component. The existing techniques such as in [20] will not be applicable because there is no margin of principle decay, i.e., even if we are far from light-cone, the decay of ∂u is still insufficient. The null conditions or the fast decay of Klein-Gordon component (Proposition 2.5) will not aid because they only affect the conical decay. So we need to develop a series of techniques in a somehow inverse sens, i.e., they permit us to exchange surplus conical decay into principle decay.
The main idea is to make the critical principle decay sufficient, and when necessary, we can accept a loss on conical decay. Let us consider the energy bounds where represents the N order conformal energy (see in detail in Subsection 2.4). The importance is that to recover this bound, one only needs and there will not be logarithmic loss. By Klainerman-Sobolev inequality, (1.13) leads to the following decay If we only regard the principle decay, this is sufficient. In an other word, now we have sufficient principle decay, but we have payed . The main use of the techniques to be established, is to show that this prise is acceptable.
In the present article we concentrate only on the techniques of “paying conical for principle”. The main system (1.1) is a model in order to show our mechanism. The choice of this system is made under the following two considerations. First, the system should not be too trivial in order to show the necessity and potential of these techniques. Second, the system should not be too general or complicated such that the main ideas are covered under too much technical details. In our opinion the system (1.1) balances well the above two points. We omit all terms that can be treated through existing techniques and preserve all semi-linear terms on in wave equation.
The Klein-Gordon-Zakharov model system is not in the form of (1.1), however our techniques are also applicable and the proof is somehow shorter. So we take it as a secondary example.
In fact the techniques to be developed can be applied on more general systems. For example when there are pure Klein-Gordon terms coupled in Klein-Gordon equation, the normal form method developed by [21], [13] and [14] are applicable and compatible with these techniques. When considering quasi-linear systems, these techniques can be easily adapted to curved metric.
In a coming work, these techniques will be applied on a special type of strong coupling system deduced form (1.4). This will give a preliminary answer to the problem posed in [15] on the stability of wave map in case.
Now we state the main results on (1.1) and (1.2) and then give a brief description on the structure of the present article. Theorem 1.1 Consider the Cauchy problem associate to (1.1) with the following initial data Suppose that and are supported in the unit disc , sufficiently regular. Then there exists a positive constant ε such that if for the following bounds hold: then the associate local solution extends to time infinity. Furthermore, the following decay bounds hold: with C determined by the system and N.
Theorem 1.2 Consider the Cauchy problem associate to (1.2) with the following initial data Suppose that and are supported in the unit disc , sufficiently regular. Then there exists a positive constant ε such that if for the following bounds hold: then the associate local solution extends to time infinity. Furthermore, the following decay bounds hold: with C determined by the system and N.
This article is composed by two parts. In the first part (from Section 2 to Section 4) we develop the necessary estimates and in the second part (from Section 5 to Section 9) we prove the global existence of the model systems (1.1) and (1.2).
For the convenience of the reader we recall some basic results of the hyperboloidal foliation in Section 2 and sketch some of their proofs in the Appendix. Then as explained in the previous subsections the main task is to surmount the loss of . This is done in two steps. The first step is an estimate on the fundamental solution of the wave equation made in Section 3. In our mechanism it is a necessary tool for recovering conical decay without paying principle decay on . The second step, contained in Section 4, is an estimate on via integration along hyperbolas.
The global existence of (1.1) is proved by the standard bootstrap argument. In Section 5 we state the bootstrap argument. In the set of bootstrap bounds there are the energy bounds on wave and Klein-Gordon components as well as the decay bound (5.3) on wave component. They will be improved in Section 5, Section 6 and Section 7 respectively.
In Section 9 we sketch the global existence of (1.2).
Acknowledgments
The present work belongs to a research project “Global stability of quasilinear wave-Klein-Gordon system in space-time dimension” (11601414), supported by NSFC.
Section snippets
Frames and vector fields
Let with . Denote by . We work in the light-cone .
We recall the following nations introduced in [16]: The transition matrices between this frame and the natural frame are: with
The vector field (derivatives) are tangent to the hyperboloid . We call them hyperbolic derivatives.
Let be a two tensor defined in or its
Decay bounds of wave equation based on Poisson's formula
As explained in Introduction, the main purpose of this estimate is to recover sufficient conical decay on without paying principle decay. Observe that in the wave equation of (1.1), the strong coupling terms enjoy the decay (k can be large). It seems to be difficult to improve this principle decay rate (recalling the principle decay of free-linear Klein-Gordon equation). By homogeneity of the Poisson's formula, one can only expect a zero order principle decay on .
estimate on wave equation: differential identities
Suppose that u is a function defined in , sufficiently regular. We make the following decomposition: This can be written in the following form: where In order to keep positive, one needs: In this case , . Then In the case of strong
Bootstrap bounds
Let us suppose that for , the following bootstrap assumptions hold with and : Here is a constant to be determined latter. When by continuity, such interval exists.
Based on these bounds, we will prove that for the following improved bounds hold:
Improved energy bounds for order N
This is quite similar to the bound of . Remark that is also a null form. Thus Substitute this bound into (2.7), we obtain
Nonlinear transform for order
Contrary to the high-order case, the bound of lower order on Klein-Gordon component is much more delicate. This is due to the logarithmic loss. To overpass this difficulty we rely on an algebraic trick applied in [24]. Then by a direct
Algebraic preparation
(5.7) is the most critical one throughout this article. It relies on Proposition 4.1 and Proposition 3.1. However, we cannot apply them directly on u, because the term will never have sufficient decay. Remark that u is a scalar function, so we recall the following well-known transformation which will eliminate this term. Let . Then This is the only place that we demand u is a scalar. To see this let us recall the
Conclusion of the bootstrap argument
We consider (5.19), (6.2), (6.23) together with (7.28). We take sufficiently large with where is introduced in (7.24). Then taking where C is a constant determined by N and the system, such that (7.14) and (7.21) hold, the improved bounds (5.5), (5.6) and (5.7) are guaranteed.
A glance at Klein-Gordon-Zakharov model system
We recall the Klein-Gordon-Zakharov model system (1.2). In this section we will explain more on its Hessian structure. One may compare this structure with (1.1). To make it more clear, we consider the following general system with constants. Suppose that the initial data is imposed on , compactly supported and sufficiently regular. We make the following bootstrap assumption on a time interval :
References (24)
- et al.
Global well-posedness for 2d nonlinear wave equations without compact support
J. Math. Pures Appl.
(2018) Global and almost global existence for general quasilinear wave equations in two space dimensions
J. Math. Pures Appl.
(2019)- et al.
Global existence of small solutions for quadratic quasilinear Klein-Gordon systems in two space dimensions
J. Funct. Anal.
(2004) - et al.
Global small amplitude solutions for two-dimensional nonlinear Klein-Gordon systems in the presence of mass resonance
J. Differ. Equ.
(2011) Global solutions of quasilinear wave-Klein-Gordon system in two space dimension: completion of the proof
J. Hyperbolic Differ. Equ.
(2017)Global solution to the wave and Klein-Gordon system under null condition in dimension two
Asymptotic behavior of the solution to the Klein-Gordon-Zakharov model in dimension two
Global solutions of nonlinear wave-Klein-Gordon system in one space dimension
Nonlinear Anal., Theory
(2020)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
- et al.
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
Lifespan of solutions of semilinear wave equations in two space dimensions
Commun. Partial Differ. Equ.
The null condition for quasilinear wave equations in two-space dimension, II
Am. J. Math.
Cited by (23)
Global solution to the wave and Klein-Gordon system under null condition in dimension two
2021, Journal of Functional AnalysisStabilization for the Klein-Gordon-Zakharov system
2023, Asymptotic AnalysisTwo dimensional wave-Klein–Gordon equations with a below-critical nonlinearity
2023, Nonlinear Differential Equations and ApplicationsNonlinear stability of self-gravitating massive fields. A wave-Klein-Gordon model
2023, Classical and Quantum Gravity