Global Regularity for the Yang–Mills Equations on High Dimensional Minkowski Space
Joachim Krieger
Jacob Sterbenz
-
Abstract.
We study here the global Cauchy problem for the Yang-Mills equations on
and higher dimensional Minkowski space, when the initial data sets are small in the critical gauge covariant Sobolev space
.
Regularity is obtained through a certain “microlocal geometric renormalization” of the equations which is constructed via a family of approximate Coulomb gauge–null Crönstrom gauge transformations. The proof is then reduced to controlling Hodge systems and degenerate elliptic equations on high index and non-isotropic
spaces, as well as the proof of some bilinear estimates in auxiliary square-function spaces.
1 Introduction
In this work we investigate the global in time regularity properties of the Yang-Mills equations on high dimensional Minkowski space with compact semi-simple gauge group
. Specifically, we show that if a certain gauge covariant Sobolev norm is small, the so called critical regularity
, and the dimension satisfies
, then a global solution exists and remains regular for all times given that the initial data is regular. This is in the same spirit as the recent result [8] for the Maxwell-Klein-Gordon system, as well as earlier results for high dimensional wave-maps (see [11] , [6] , [9] , and [7] ). Our approach shares many similarities with those works, whose underlying philosophy in basically the same. That is, to introduce Coulomb type gauges in order to treat a specific potential term as a quadratic error. In our setup, we use a non-abelian variant of the remarkable parametrix construction contained in [8] , in conjunction with a version of the Uhlenbeck lemma [13] on the existence of global Coulomb gauges. This latter result has been used for high dimensional wave-maps to globally “renormalize” the equation so that the existence theory can be treated directly through Strichartz estimates applied to multi-linear expressions.
In the present situation, as was the case with the Maxwell-Klein-Gordon system, the corresponding renormalization procedure is necessarily more involved because it needs to be done separately for each distinct direction in phase space. That is, we provide a renormalization of the Yang-Mills equations through the construction of a Fourier integral operator with
-valued phase. The construction and estimation of such an object relies heavily on elliptic-Coulomb theory, primary due to the difficulty one faces in that the
-valued phase function cannot be localized within a neighborhood of any given point on the group due to the critical nature of the problem (if you like, there is a logarithmic “twisting” of the group element as one moves around in physical space; fortunately the group is compact so this doesn't ruin things).
To get things started, we now give a simple gauge covariant description of the equations we are considering. The (hyperbolic) Yang-Mills equations arise as the evolution equations for a connection on the bundle
, where
is some
(spatial) dimensional Minkowski space, with metric
in inertial coordinates
, and
is the Lie algebra of some compact semi-simple Lie group
. Here we are considering
with the
gauge structure. If
is any section to
over
, then a connection assigns to every vector-field
on the base
, a derivative which we denote as
, such that the following Leibniz rule is satisfied for every scalar field
:
In this setup, we assume that
is equipped with an
invariant metric
which respects the action of
. That is, one has the formula:
|
(1)
|
In the present situation we will take
to be the Killing form on
. The curvature associated to
is the
valued two-form
which arises from the commutation of covariant derivatives and is defined via the formula:
We say that the connection
satisfies the Yang-Mills equations if its curvature is a (formal) local minima of the following Maxwell type functional:
|
(2)
|
The Euler-Lagrange equations of 2 read:
Also, from the fact that
arises as the curvature of some connection, we have that the following identity known as “Bianchi” is satisfied:
From now on we will refer to the system 3 – 4 as the first order Yang–Mills equations (FYM).
As we have already mentioned, our aim is to study the regularity properties of the Cauchy problem for the (FYM) system. To describe this in a geometrically invariant way, we make use of the following splitting of the connection-curvature pair
: Foliating
into the standard Cauchy hypersurfaces
, we decompose:
where
denotes the portion of
which is tangent to the surfaces
(i.e. the induced connection), and
denotes respectively the interior product of
with the foliation generator
, and the normal portion of
. In inertial coordinates we have:
On the initial Cauchy hypersurface
we call a set
admissible Cauchy data 1
if it satisfies the following compatibility condition:
|
(5)
|
We define the Cauchy problem for the Yang-Mills equation to be the task of construction a connection
which solves 3 , and has Cauchy data equal to
.
In order to understand what the appropriate condition on the initial data should be (and what we would like it to be!), it is necessary to consider the following two basic mathematical features of the system 3 – 4 . The first is conservation. From the Lagrangian nature of the field equations 3 – 4 , we have the tensorial conservation law:
| |
where
is the covariant derivative on
. In particular, contracting
with the vector-field
, we arrive at the following constant of motion for the system 3 – 4 :
|
(6)
|
The second main aspect of the system 3 – 4 is that of scaling. If we perform the transformation:
|
(7)
|
on
, then an easy calculation shows that:
|
(8)
|
If we now define the gauge covariant (integer) Sobolev spaces:
|
(9)
|
where for each multiindex
we have that
is the repeated covariant differentiation with respect to the translation invariant spatial vector-fields
, then for even2
spatial dimensions, the norm
is invariant with respect to the scaling transformation 8 . In particular, the conserved quantity 6 is invariant when
and this is called the critical dimension.
Now, based on numerical evidence as well as analytical arguments, it is suspected that in general the Cauchy problem for 3 – 4 with smooth initial data will not be well behaved without size control of the critical regularities
in high dimensions. What we will take this statement to mean here is simply that if
and the
norm of the initial data is not sufficiently small, then one can expect the existence of regular (i.e.
) sets
such that the corresponding solution to 3 – 4 will develop a singularity in finite time. By singularity development, we mean that some higher norm of the type 9 will fail to be bounded at a later time, given that it was initially; or even more specifically, that the
norm of the curvature
will blow up in finite time for some regular initial data sets. Since these norms are gauge covariant, this type of singularity development would correspond to an intrinsic geometric breakdown of the equations, and could not be an artifact of poorly chosen local coordinates (gauge) on
. This has been rigorously demonstrated in the equivariant category for the supercritical dimensions
(see [3] ). In the critical dimension things are much less clear, although there is numerical evidence that on still has blowup for large initial data (see [2] ). This is thought to be connected with the existence of large static solutions (instantons).
One possible conjecture is that there is global regularity when the norm 6 is below the ground state energy.
Going in the other direction, it is expected that if the critical norm
is sufficiently small, then regular initial data will remain regular for all times. This can be seen as an easier preliminary step toward understanding in detail the issue of large data for dimension
, and is furthermore an interesting problem in its own right. A central difficulty in the demonstration of this conjecture is to construct a stable set coordinates on the bundle
such that the Christoffel symbols of
are well behaved in the sense that they obey the natural range of estimates one expects for this type of problem. This is precisely what we shall do in dimensions
through the well known procedure of using (spatial) Coulomb gauges. Unfortunately, this preliminary gauge construction is far from sufficient to close the regularity argument, and it will in fact be necessary for us to go much further and control infinitely many Coulomb gauges, each of which correspond to a distinct polarized plane wave solution to the usual (flat) wave equation
.
However, this does not effect the statement of our main result which is in fact quite simple:
Theorem 1.1 (Critical regularity for high dimensional Yang-Mills).
Let the number of spatial dimensions be even and such that
. Then there exists fixed constants
such that if
is an admissible data set which satisfies the smallness condition:
|
(10)
|
and there exists constants
,
such that:
|
(11)
|
then there exists a unique global solution to the field equations 3 – 4 with this initial data, and furthermore one has that the following inductive norm bounds hold:
| |
| |
In particular, in this case
remains smooth (in the gauge covariant sense) and bounded for all times.
Remark 1.2.
As alluded to above, we will more specifically prove the existence of a global (in space and time) spatial Coulomb gauge such that the coefficient functions of the curvature
, as well as the Christoffel symbols (gauge potentials) of the connection
are in the classical Sobolev spaces
, and such that they satisfy appropriate angularly and spatially microlocalized Strichartz estimates. We have elected to eliminate a discussion of this from the statement from the main theorem in favor of the simpler geometric language so that the reader can at a first glance gain an idea of the content of our result without being confronted with too many technical details.
Acknowledgements
First and foremost, we would like to thank our advisors Sergiu Klainerman and Matei Machedon for their continuing support and encouragement. This subject matter as well as our own point of view owes much to them. We would also like to thank Igor Rodnianski, Terry Tao, and Daniel Tataru for many interesting and helpful conversations. This work began at the Institute for Advanced Study during the Fall 2003 semester when both authors were in attendance. The second author would like to thank Harvard University for for its hospitality during the Spring of 2004 and Winter 2005. The first author was partially supported under NSF grant DMS-0401177. The second author was supported in part by an NSF postdoctoral fellowship.
2 Some Basic Notation
We list here some of the basic conventions used in this work, as well as some constants which will be needed in the sequel. We use the usual notation
, to denote that
for some (possibly large) constant
which may change from line to line. Likewise we write
to mean
for some large constant
. In general,
will denote a large constant, but at times we will also call
a connection. The difference should be clear from context. Overall, we will have use for a family of small constants, which satisfy the hierarchy:
|
(12)
|
3 Some gauge-theoretic preliminaries
In this paper, we are working with a compact semi-simple group Lie
. However, all of our calculations will be carried out in a somewhat larger context. Firstly, we will assume that
is embedded as a subgroup of matrices of some (possibly) larger orthogonal group
. In particular, we can identify the Lie algebra
with an appropriate sub-algebra of
. This allows us to perform all of our calculations on a specific collection of matrices. Since our main computation involves complex valued integral operators, we will further need to work in the complexified algebra
. The Killing form
on
extends easily to this context to yield the bilinear form:
|
(13)
|
Notice that this is a positive definite form when restricted to the real vector space
, and is a sesquilinear form on the corresponding complexified algebra
. More importantly,
is
invariant, and in fact the more general identity holds:
|
(14)
|
for
and
. In fact, it is not difficult to see that the form 13 extends to a sesquilinear form on all complex matrices in
, and that it can be identified with the usual matrix inner product:
|
(15)
|
which come from considering these matrices as vectors in
. Furthermore, it is easy to see that the general adjoint formula 14 continues to hold in this context.
This will be of fundamental importance in the sequel. In general, we will use the notation
to denote the action of this norm on any matrix. Also, notice that directly from 14 one has the isometric identity:
|
(16)
|
These are all very simple algebraic identities, but our method is incredibly sensitive to them and would collapse entirely if they did not hold.
In the context of matrices, we may compute the action of the connection
on sections
to
as follows:
Here, the gauge potentials
are
-valued, and are defined via the equation:
where
denotes some chosen orthonormal frame in
, and we are abusively writing
. In shorthand notation, we write:
where
is the usual exterior derivative on matrix valued functions. Likewise, in this notation we have the well known identity for the curvature of
:
In this last formula, we use the superscript notation to emphasize the fact that the curvature is not gauge invariant, but transforms according to the
action:
whenever one performs the change of frame
. As is well known, the potentials
themselves do not transform according to
, but instead take on an affine group of transformations:
|
(17)
|
where
represents the connection
in the frame
. In particular, the difference of two connections obeys the
structure, a fact we will have use for in a moment. For instance, any connection
with
obeys
.
Furthermore, as is the basic fact of gauge theory, such connections always lead to a globally3
integrable ODE:
where the solution
belongs to
. Thus, we may identify flat connections
with infinitesimal gauge transformations, and it is easy to see that every gauge transformation 17 leads to a flat connection which we may define as
.
This completes our discussion of elementary gauge theory.
It will also be necessary for us to make use of the basic facts from (non-gauge-covariant) Hodge theory. Even though the connections we work with in this paper are on the full space-time
, our use of Hodge theory will always be restricted to time slices
. In particular we use the general notation
for the exterior derivative and its adjoint acting on
(and more generally
) valued differential forms on
. To emphasize this restriction, we will use Latin indices when computing these operators. For example:
| |
where
and
denote anti-symmetric and symmetric cyclic summing respectively. Also, the adjoint here is taken with respect to the Killing form 13 . In particular, we have the Hodge Laplacean:
|
(18)
|
which in our context is simply the usual scalar Laplacean acting component-wise on matrices. Finally, we have the Hodge decomposition which we write as
where:
| |
| |
This decomposition is bounded on
spaces for
as the operators involved are SIO's. Also, since these operators are all real, this decomposition respects the Lie algebra structure of
inside of
.
The last topic we cover here is the basic underpinning of much of analysis in the context of compact gauge groups. This is the remarkable Uhlenbeck lemma, which allows one to “straighten out” a connection as long as its curvature satisfies appropriate bounds. The important thing for us is that these bounds are precisely at the level of the critical regularity
. This result is:
Lemma 3.1 (Classical Uhlenbeck lemma).
Let
be a connection with compact (matrix) group on
. Then there is a pair of constants
which only depend on the dimension
such that if the curvature
of
satisfies the bound:
then
is gauge equivalent to a connection
where the potentials
satisfy the condition:
and such that the following estimate holds:
In the sequel, it will be useful for us to have a somewhat more refined version of Lemma 3.1 which does not make reference to the size of the curvature, but rather to the size of the connection
itself in a critical norm which does not involve derivatives. This will allow us to prove certain connections exist more directly. Furthermore, since the basic formulas used in the proof of this result will be important in constructing our parametrix, it will set the pace for much of what follows. Finally, we mention here that our proof is a bit different from that of [13] in that it does not rely on any implicit function theorem type arguments, and is instead completely explicit being based on a simple Picard iteration.
Lemma 3.2 (Uhlenbeck lemma for small
perturbations of Coulomb potentials with small
curvature.).
Let
be a connection on
with compact (matrix) gauge group
. Then there exists constants
such that if:
|
(20)
|
and such that
is gauge equivalent to
with
, where one has the bounds:
then for every connection
such that:
|
(22)
|
there exists a gauge equivalent connection
such that
, and one has the same size control:
|
(23)
|
Remark 3.3.
Before continuing with proof, let us remark here that Lemma 3.2 is in fact more general that the classical Uhlenbeck Lemma. Specifically, 3.2 easily implies 3.1 with smallness condition
(where
is determined by Lemma 3.2 ) through a straightforward induction procedure which we outline now.
First of all, from Lemma 3.2 we see that the set of all connections
with curvature such that:
|
(24)
|
and such that
is equivalent to
with
, and such that one has the bounds 19 , is an open set in the intersection of
with the set determined by 24 (in the sense of distributions). Therefore, if the conclusion of Lemma 3.1 were to be violated, it must then be the case that there is a smallest number
such that the sphere of radius
contains a connection
with the property that it cannot be put in the Coulomb gauge (with
bounds), even though the bound 24 is valid for this connection. Now, consider the set of connections
where
.
A quick calculation shows that these have curvature:
Choose
such that:
By the triangle and Hölders inequality, and the definition of
, we have that:
Therefore, by the minimality of
we have that
can be Coulomb gauged.
Again, by the definition of
, we have that:
where we easily have the bound (we may assume
):
Therefore, by an application of Lemma 3.2 we have that
can be put in the Coulomb gauge with the 19 holds. This contradicts the minimality of
as was to be shown.
-
Proof of Lemma 3.2 .
It suffices to show that
is gauge equivalent to
, where
and with the bound 23 , provided that:
|
(25)
|
when
chosen sufficiently small, and where
is some sufficiently large fixed constant which will be determined in a moment, and which will be chosen to be our
in the estimates 21 and 23 (the reason for the notation switch will become clear in a moment). To see this, notice that the smallness condition 22 is gauge invariant because the difference of two connections transforms according to the
action which fixes the Killing form used to compute
. Therefore, we may assume from the start that the original connection
is in the Coulomb gauge with size control 21 . In particular, the connection
satisfies the div-curl system:
| |
which we can integrate to form the equation:
|
(26)
|
Everything we do now will be based on the Riesz operator bounds:
|
(27)
|
|
(28)
|
We choose our constant
such that
is the constant in (the various vector analogs) of the embeddings 27 – 28 . Using these bounds and the integral equation 26 in conjunction with the assumed smallness conditions 20 and 21 , and a round of Hölder's inequality, we have the following improved bounds for
:
as long as
is chosen sufficiently small. In particular, using 22 and some addition and subtraction we have the bound 25 .
We now construct by hand the gauge transformation:
|
(30)
|
with
. This will be done by constructing the infinitesimal gauge transformation
. A quick calculation shows that this must satisfy the following div-curl system:
|
(31a)
|
|
(31b)
|
Unfortunately, the system 31 cannot be solved constructively, say through an iteration scheme. This is because implicit in its structure is the compatibility condition
, which gets destroyed through (at least the usual) Picard iteration. This could be side-stepped by using an implicit function theorem type argument, but since we prefer to do things explicitly we proceed as follows: We first write the system 31 in terms of integral equations:
|
(32a)
|
|
(32b)
|
Here
denotes the Hodge decomposition of the matrix valued one-form
. A solution to system 32 can now be constructed from scratch via Picard iteration starting with
. The condition 25 and the embeddings 27 – 28 guarantee convergence to a solution. Furthermore, because it is true for each iterate, one has the following bounds on the solution:
|
(33)
|
Also, since each iterate belongs pointwise to
, the solution does also due to the fact that
is a linear (and hence closed) subspace of the matrices
. We now need to show that this
is indeed a solution to the original system 31 . That is, we need to establish the identity:
|
(34)
|
Notice that this does not follow algebraically from the form of the integral system 32 , because it is not a-priori clear that in fact
. However, this is the case, which is a consequence of the following a-priori estimate for solutions to 32 :
|
(35)
|
Notice that 33 and 35 taken together immediately imply the identity 34 .
In order to show 35 , we first use the Hodge Laplacean 18 to write:
Next, we compute that:
| |
| |
| |
Therefore, using this last identity in conjunction with fractional integration, and using the identity from line 32a above, we have that:
| |
| |
| |
| |
Notice that the last inequality here follows simply from the Jacobi identity
.
To wrap things up, we only need to establish the existence of
on line 30 above with
, and such that we have the size control 23 (with constant
). Now, by design we have that
, so we may integrate the equation:
with initial conditions
on all of
. Defining now:
we have that:
| |
| |
| |
| |
as was to be shown. Finally, by using the bounds 25 and 33 and the definition of the potentials
and
we have the bound:
This completes the proof of Lemma 3.2 . □
4 Some analytic preliminaries
We record here some useful formulas, mostly from elementary harmonic analysis, which will be used many times in the sequel. Firstly, we define the Fourier transform on
, which is merely the usual scalar Fourier transform acting component-wise on matrices:
|
(36)
|
The Plancherel theorem with respect to the Killing form 13 reads:
This follows simply from definition of the inner product 15 . While the constructions we make in the sequel are almost explicitly based on the spatial transform 36 , it will in certain places be convenient for us to work with the space-time Fourier transform:
In the sequel, we will have much use for dyadic frequency decompositions with respect to the spatial variable. For the most part, we will use a fairly loose and heuristic notation for this operation. This will help us to avoid having to come up with different symbols for multipliers which are basically the same. First of all, we let
denote some smooth bump function adapted to the unit frequency annulus
, where
is some constant used to define
which may change from line to line. For a dyadic number
, we define the rescaled cutoffs:
and the associated Fourier multipliers
. The two main facts we will need about these multipliers is the Bernstein inequality:
|
(37)
|
which holds for all
, and the Littlewood-Paley equivalence:
|
(38)
|
which holds under the restriction
. All of the norms above can be taken with respect to 13 .
There are two simple analysis lemmas involving derivatives and multipliers which will come in useful in the sequel. The first of these is the low frequency (operator) commutator estimate:
|
(39)
|
where
(see [8] ). The second is the homogeneous paraproduct estimate:
|
(40)
|
for
,
, and
whenever
. This estimate is true even for non-integer
by a simple Littlewood-Paley argument. We note here that we only use it the integer case, and there it is only employed as a convenience. For a proof of this, see e.g. Chapter 2 of [12] .
We would now like to set up a system to formalize many of the dyadic estimates which will appear in this paper. This is most easily done using the language of Besov spaces. Since we have a specific purpose for these in mind, we introduce the following notation:
|
(41)
|
This notation may seem a bit mysterious at first, but the thing to keep in mind here is that the first index
in some sense controls the decay, while the second double index
controls the scaling, which is the same as
(homogeneous
Sobolev space). In general, the second index will be fixed, so we will strive to have
as low as possible (see Remark 4.2 below). This notation has the following simple significance:
is the
Besov space of Lebesgue index
which contains the standard Besov space
defined by:
This identification is a direct consequence of the Bernstein embedding 37 . In general, one has the inclusions:
|
(42)
|
Furthermore, a quick application of the Littlewood-Paley identity 38 gives the Lebesgue space inclusion:
|
(43)
|
The reason we prefer to use this more involved notation, instead of the usual Besov norm convention is that ours allows one to tell at first glance which norms are critical, which is particularly useful in a scale invariant problem like the one of this paper. Specifically, the norms
will play a prominent role in what follows.
It will also be necessary for us to employ the
summing version of the norm 41 , which we label by
. This will essentially be used for one purpose only, and that is that the
end-point of 43 is true for this space:
|
(44)
|
Besov spaces are particularly well behaved with respect to the action of Riesz operators, which is exactly why we use them. In general, we define the operator
to be the Fourier multiplier with symbol
. The basic embedding we will use in the sequel is the following:
Lemma 4.1.
One has the following bilinear estimate for Besov spaces for
:
|
(45)
|
where the indices
and
satisfy the following conditions:
|
(46)
|
|
(47)
|
|
(48)
|
|
(49)
|
|
(50)
|
Remark 4.2.
As will become apparent in the proof, it is possible to show frequency localized versions of the embedding 45 such that not all of the conditions 47 – 49 need to be satisfied. Indeed, we will show the following two frequency localized “improvements” are possible:
|
(51)
|
|
(52)
|
where
in estimate 52 . Estimate 51 holds whenever 46 , 48 , and 50 are satisfied. The second estimate 52 is valid whenever we have 46 , 47 , and 50 . In particular, notice that for larger
this estimate requires lower values of
. This fact will have an immense bearing on the estimates we prove in the sequel, and seems to be one of the most difficult factors in lowering the dimension of the overall argument from
(apart from even more difficult things such as null-form estimates).
-
Proof of estimate 45 .
The proof is a simple matter of the standard technique of trichotomy. That is, we start with two test matrices
and
, and we run a frequency decomposition on the product:
Setting now:
we have from the conditions 47 – 49 that
. To prove 45 it suffices to show that:
| |
| |
| |
| |
| |
That 45 follows from these three estimates is a simple consequence of Young's inequality and Cauchy-Schwartz respectively. These estimates, in turn, are all a consequence of the single fixed frequency bound:
(53)
λ
s
3
−
n
(
1
2
−
1
r
)
−
σ
∥
P
λ
(
P
μ
1
A
⋅
P
μ
2
C
)
∥
L
r
≲
(
λ
max
{
μ
i
}
)
γ
⋅
min
{
(
μ
1
μ
2
)
γ
,
(
μ
2
μ
1
)
γ
}
⋅
∥
P
μ
1
A
∥
B
˙
p
,
(
2
,
s
1
)
⋅
∥
P
μ
2
C
∥
B
˙
q
,
(
2
,
s
2
)
.
The proof of 53 is a simple matter of Hölders and Bernstein's inequalities, and counting weights. There are three cases corresponding to the three summing estimates above. In the first case, we assume that
. Since 53 is scale invariant, we may assume in this case that both
. Using now Hölders inequality which is permissible by 50 , followed by the Bernstein inequality, we have that:
Multiplying this last estimate by the weight
we arrive at the bound:
Then 53 follows in this case from the definition of
and the fact that
.
The other two cases, which correspond to
or vice versa are similar, so it suffices to consider the first. In this case we rescale to
. In the case where
we set
, and we again use Hölder and Bernstein to estimate:
If it is the case that
, then we simply estimate:
In either case, the claim 53 follows from the definition of
. This completes the proof of 45 . □
Before continuing on, let us note here a slight refinement of the Besov norms 41 and the embedding 45 . This involves taking into account functions which live at frequency
. If we let
denote the multiplier with symbol
, then we form the low frequency spaces:
|
(54)
|
with a similar definition for the
version
. By a straightforward adaptation of the previous argument, it is easy to see that the embedding 45 is equally valid for these low frequency spaces. We leave the details to the reader.
It will also be necessary for us to perform various dyadic decompositions with respect to the angular frequency variable. For each fixed direction
in the frequency plane
, we decompose the unit sphere
into dyadic conical regions:
|
(55)
|
where
. Here we will not bother to fix the constant in the
notation used to define the regions 55 , but we will let it change from line to line as we have done for the spatial multipliers above. We also define a smooth partition of unity adapted to these regions, which we label by
. These can always be chosen (e.g. by defining them on a larger sphere and then rescaling) so that they satisfy the differential bounds:
| |
where the implicit constants depend on
but are uniform in
. In particular, if we define the multipliers
, then the operators
are bounded on all
spaces uniformly in
and
. In fact, the following refinement of the inequality 37 holds, which we also call Bernstein:
|
(56)
|
In all of the above inequalities, we have kept
as a fixed directional value.
However, it will also be necessary for us to have an account of how our multipliers depend on this parameter. In particular, we will need to have bounds for the operators
. This is easily achieved by differentiating the associated multiplier.
In fact, one has the bounds for fixed
:
|
(57)
|
The way we shall express this bound in calculations is through the following heuristic operator identity:
|
(58)
|
which we shall take to mean that the left hand side satisfies all
space bounds as the right hand side. Notice that this relation has a preferred direction (left
right).
In practice, this means that we have the bound 56 for the operator on the left hand side of 58 with the added factor of
.
Finally, let us end this section by making the following conventions. Firstly, it will be convenient for us at times to write
for a localized object.
This should not be confused with the
component of
in the case that it is a one-form. This should usually be clear from context. Secondly, it will be necessary for us to ensure that certain of our multipliers have real symbol so that they respect the subalgebra
. This will be done by taking their real part which simply symmetrizes their (real) symbols. In particular, we will denote this by:
Secondly, we use the following bulleted notation for the sum of various cutoffs over a given range:
| |
etc. We will also use the notation
etc. for these operators applied to tensors.
Finally, we will set aside a special notation here for cutting off on angles sectors whose width depends on the frequency:
|
(59)
|
Notice that this multiplier does not satisfy good bounds of the form 57 . However, it can be dealt with using the Littlewood-Paley equivalence 38 if there is a little extra room left to sum over fixed angular dyadics. This ends our description of the basic analysis we will use in this paper.
5 Gauge construction for the initial data; Reduction to a second order system and the main a-priori estimate
We now begin our proof of the main theorem 1.1 . As we have already mentioned, one of the central components of the proof is to construct a stable set of “elliptic coordinates” on the bundle
. The way we will do this is to construct the desired frame on the
slice
. We will then show that this frame propagates as the system evolves by solving an auxiliary set of equations for the gauge potentials which respects the chosen frame automatically. The regularity of this system of equations will be provided in the usual translation invariant Sobolev spaces. We then show that our auxiliary solution is in fact a true solution to the system of equations 3 – 4 by employing a bootstrapping procedure which is similar to that used in the proof of Lemma 3.2 . The desired gauge covariant regularity, which is contained in the statement of Theorem 1.1 , will be provided by a comparison principle. These constructions are all local in time and are more or less standard. We have included them here for the convenience of the reader, the sake of completeness, and the fact that some of the formulas we develop along the way will be central to what we do in later sections.
With the local theory established, the global conclusion of Theorem 1.1 will then be a consequence of a certain a-priori estimate on the (usual Sobolev) energy of solutions to 3 – 4 in the gauge we construct. Our task will then be to show that this a-priori estimate is true for all solutions to yet another system of auxiliary equations, this time for the curvature. This can be considered to be the main estimate of the paper. The proof turns out to be quite involved, and will occupy the rest of the paper. In the next section, we will prove the main a-priori estimate itself with the help of a certain family of microlocalized space-time (Strichartz) estimates for solutions to second order covariant wave equations on bundles with connections satisfying estimates consistent with our bootstrapping assumptions.
The breakdown here is based on the Smith-Tataru (see [10] )
-parametrix idea, which allows one to reduce the needed Strichartz estimates to proving them for a suitable family of approximate frequency localized fundamental solutions. Our rendition of this is essentially equivalent to that contained in the paper [8] .
Finally, in the remaining sections of the paper we develop the linear theory. This is by far the most involved portion of the present work, and requires the construction of some fairly sophisticated oscillatory integrals and microlocal function spaces.
This material can be read without reference to the non-linear problem, as long as one is familiar with the algebraic and analytic assumptions we make on the geometry (frequency localized connection). While these come from the non-linear problem, they are of course a bit more general.
5.1 Construction of the initial frame, and the comparison principle
The first thing we do here is to put the initial connection
into the Coulomb gauge. Via the Uhlenbeck lemma 3.1 , we simply need to show that:
for
the sufficiently small parameter from line 10 (which should not be confused with the small constant from Lemma 3.1 above). This
bound follows immediately from the gauge covariant Sobolev embedding (for
even):
which in turn follows from repeated application of the usual single derivative Sobolev embeddings and the Kato estimate (which follows immediately from 1 and Cauchy-Schwatrz):
|
(60)
|
where
is any section to
and the absolute norm
is taken with respect to the Killing inner product 13 .
We may now assume that we are dealing with an initial data set:
|
(61)
|
for the system which is such that connection
satisfied the elliptic div-curl system:
|
(62)
|
and such that the compatibility condition 5 is satisfied. Furthermore, from 19 we have the bounds:
We will now use this last bound to show that the initial data set 61 is in fact in the classical Sobolev spaces
. This is a consequence of the following:
Lemma 5.1 (Comparison principle for Sobolev norms on
).
Let
be a connection on
, with
even, such that one has the potential and curvature bounds:
|
(63)
|
|
(64)
|
for
. Suppose also that
is in the gauge
. Then we have the critical classical Sobolev bounds:
|
(65)
|
|
(66)
|
Furthermore, if
is any
valued function, then we have the following inductive comparison of norms:
|
(67)
|
|
(68)
|
where the index
is such that
, and where we have set:
to be the interval gauge-covariant Sobolev space. We use an analogous definition for the space
. We also have the non-inductive equivalence between
and
:
|
(69)
|
where
,
, is a set of constants which depends only on the dimension and not on the constant
once it is sufficiently small. In particular, combining all of this, we have the following classical Sobolev bounds on the pair
:
|
(70)
|
|
(71)
|
for
.
-
Proof of Lemma 5.1 .
The proof will be accomplished via a series of inductions.
In what follows, we will assume the estimate 69 , whose proof follows from simple analysis of the elliptic system 62 in Besov spaces of the kind
. We will perform many reductions like this in the sequel so we leave this one to the reader.
The first step is to prove the critical classical Sobolev 65 . Note that the potential bounds 66 follow from this and 69 . The inductive hypothesis that we make here is that:
|
(72)
|
for
whenever
. Notice that this hypothesis is verified for
on account of the assumption 63 and by applying the Kato estimate 60 in conjunction with integer Sobolev embeddings. Notice also that by applying Riesz operator estimates to the elliptic system 62 , and using the product estimate 40 along with Sobolev embeddings we have the bounds:
| |
| |
| |
Therefore, the inductive hypothesis 72 may be assumed to also contain the estimate:
|
(73)
|
for
and
. To show that 72 holds for all
, we start with
and we compute using 40 and Sobolev embeddings that:
| |
| |
| |
| |
This inductively establishes 72 and hence proves 65 .
We now show 68 . We first deal with the leftmost inequality. Our inductive hypothesis here is that:
|
(74)
|
where
for
or
, and for all
. To compute
in terms of this, we need to split into cases depending on whether or not
.
In the former case we compute that:
| |
| |
|
(75)
|
| |
| |
In the case where
we have the inequality:
| |
|
(76)
|
| |
|
(77)
|
| |
Notice that this last line above used the
gauge covariant Sobolev embedding.
To bound the second term on this line, notice that since
and we must assume that
for the induction to make sense, we have the bound
. This allows us to bound:
Furthermore, by placing all of these calculations within an induction on the value of
itself, and using the bound 69 while noting that
we may assume the bound:
This completes our inductive proof of 74 above.
The proof of the second inequality on line 68 follows from reasoning similar as that used to prove 74 inductively. We leave it to the reader to set up the inductive hypothesis for this case and work out the details. This completes our proof of Lemma 5.1 . □
Using Lemma 5.1 and the assumed bounds 10 – 11 , we may assume that our initial data 61 is such that:
|
(78)
|
|
(79)
|
|
(80)
|
|
(81)
|
where
, and the
depend on the
in some inductive way, and we also have that
for some constant
which depends only on the dimension.
Here
and
refer to the constants introduced in the statement of Theorem 1.1 .
We now decompose the initial field strength
in a way that will be consistent with the evolution of the system 3 – 4 . This will be convenient for discussing the Cauchy problem. Our first step is to define the following elliptic quantity:
|
(82)
|
where for convenience we have labeled
. We then define the auxiliary set of quantities:
|
(83)
|
Notice that as an immediate consequence of the constraint equation 5 , the form of 82 , and the Coulomb condition
, we have the secondary Coulomb condition:
This will turn out to be important in a moment. Now, from the definition of the quantities 82 and 83 , the already established bounds 78 – 81 , and several rounds of Sobolev embeddings, we have the following differential bounds on the quantities
:
|
(84)
|
|
(85)
|
for
(after a possible slight redefinition of the constants
via multiplication by some fixed dimensional constant). We now define a Coulomb admissible initial data set to be a collection
such that:
|
(86)
|
Notice that
is uniquely determined by the
, therefore we do not need to include it in the definition of initial data. We define the Coulomb-Cauchy problem to be the task of finding a space-time connection
such that it satisfies the set of equations:
|
(87b)
|
and such that at time
we have that:
|
(88)
|
We remark briefly here that solving the problem 86 – 88 provides a solution to the original Yang Mills system 3 – 4 with Cauchy data 61 as long as we define the collection
according to the equations 82 – 83 . All we need to do to prove this assertion is to show that:
Our proof of this follows the same bootstrapping philosophy used to show the equivalence 34 in the proof of Lemma 3.2 . The claim will follow at once from equation 83 if we can first establish that:
where
is defined by 82 . Now, from the system of equations 87 we have that the quantity
is elliptically determined by the equation:
|
(89)
|
where
is the gauge covariant Laplacean. Furthermore, by using equation 83 as the definition of
, and substituting this into equation 82 , we have that the quantity
is elliptically determined by the equation:
|
(90)
|
By subtracting 90 from 89 at time
we have that:
Uniqueness now comes from the Sobolev type estimate:
which follows from the smallness condition 79 and the usual Sobolev estimates.
The details of the proof are left to the reader.
Keeping the equivalence we have just established in mind, and the first inequality contained in the comparison estimates 68 and 69 , we have reduced the demonstration of Theorem 1.1 to showing the following non-gauge covariant global regularity theorem:
Theorem 5.2 (Global regularity in the Coulomb gauge).
Let the number of spatial dimensions be
. Then there exists a set of constants
and
,
such that if
is a Coulomb admissible initial data set such that is satisfies the bounds:
|
(91a)
|
|
(91b)
|
|
(91c)
|
then if
is sufficiently small there exists a unique global solution
to the system 87 with this initial data. Furthermore, this solution obeys the following differential estimates:
|
(92a)
|
|
(92b)
|
5.2 Local existence in the Coulomb gauge
Our goal here is to reduce the proof of Theorem 5.2 to a certain a-priori estimate involving the energies of the field strength
. This amounts to proving a local existence theorem for the system 86 – 88 . The proof of this will allow us to set up a system of equations for the coulomb potentials
which will be of central importance in the sequel. We will show that:
Proposition 5.3 (Local existence in the Coulomb gauge).
Let the number of spatial dimensions be
. Then for every set of constants
,
, there exists an
which only depends on
with the following property: If
is any set of Coulomb admissible initial data such that:
|
(93)
|
|
(94)
|
then for
sufficiently small there exists a time
, which only depends on the quantities
such that there exists a unique local solution
to the system 86 – 88 with this set of initial data. Furthermore, on the time interval
one has the following norm bounds on the collection
:
|
(95)
|
|
(96)
|
|
(97)
|
|
(98)
|
-
Proof of Proposition 5.3 .
The proof will be reduced to the standard procedure of energy estimates and Sobolev embeddings. Since we are assuming that the initial data has enough smoothness to cover
, this is more or less trivial. We start by plugging 87b directly into 87a . After an application of the gauge condition
this yields a general second order system of equations which we write as:
|
(99)
|
To split this into a hyperbolic-elliptic system, we decompose the set of equations 99 into its spatial and temporal parts, and apply the Leray projection:
to the resulting spatial equation. After some rearrangement of the elliptic equation this yields the coupled system:
|
(100a)
|
|
(100b)
|
The above system of equations can be solved locally in time with the bounds 95 – 95 through a Picard iteration scheme. We leave this as an exercise for the reader. Notice that the projection
can be removed in energy estimates because it is an order zero operator. Notice also that even though the smallness of the time interval
will not make up for estimates involving the elliptic equation 100b , the critical smallness assumption 93 allows one to obtain the bootstrapping estimates 95 – 95 if one uses Littlewood-Paley decompositions and paraproducts to make sure at least one factor in the non-linearity on the right hand side of 100b goes in a critical space. This same comment goes for bounding terms on the right hand side of 100a in energy estimates when one is bootstrapping the higher norm constants
for
. Again, the smallness in time makes up for the size of the first few constants
.
Having now produced a local solution to the system 100 with the desired properties, we have shown the conclusion of Proposition 5.3 once we show that the spatial potentials which solve 100a are in fact solutions to the spatial portion of the original second order equation 99 . This will be shown through our general strategy of coming up with a quantity which yields a critical elliptic bootstrapping estimate which will force it to be zero. This time, the desired quantity turns out to be related to the conservation of electric charge for the Yang-Mills equations. We first write the spatial portion of the non-linearity on the right hand side of 99 as a vector:
|
(101)
|
We would like to show that the equations 100 force
. We compute that:
Now, using the equation 100 to compute
, this last line becomes:
| |
| |
where the equality of the second line follows on account of skew symmetry. We now isolate the interesting portion of the term on the right hand side of the last line above and use the Jacobi identity to compute that:
| |
| |
Now, again using equation 100b we have that
. Furthermore, from equation 100a we also have the identity:
Combining all of this, we have the following equality:
|
(102)
|
Finally, from the form of 101 and the already established estimates 95 – 98 as well as the boundedness properties of the operator
we have that:
for all times
. However, from the smallness bound 95 , the identity 102 , and a Sobolev embedding we also have the fixed time bound:
| |
| |
| |
Therefore, for
sufficiently small we see that we must have
as was to be shown. This completes the proof that the solution to 100 is a solution to the general system 99 , and therefore ends our proof of Proposition 5.3 . □
5.3 The second order curvature equation and the main a-priori estimate
Through a repeated application of the local existence theorem 5.3 , we may reduce the proof of the global existence theorem 5.2 to showing a-priori that any solution to the Coulomb system 86 – 88 which exists on a time interval
(possibly large!), and such that it obeys the both the initial data bounds 91a – 91c , as well as the evolution bounds 95 – 98 , in fact obeys the improved evolution bounds 92a – 92b .
Now, it turns out that the system of equations 100 is by itself not so well adapted4
to the proof of such an a-priori estimate. This stems from the fact that these equations are not covariant. This manifests itself in the projection operator
. If one were to try to write the hyperbolic system of equations 100a in terms of covariant wave operator
and a source term, the projection operator which is non-local would end up causing problems in various commutator terms. The way around this is to not only consider the system 100 , but to also work directly with the curvature in the equations 87a – 87b . This is possible because we are not attempting to set up an iteration scheme, but are instead merely trying to prove an a-priori estimate, so we may safely assume that the quantities we work with satisfy any equation which results from the system 87 . We will in fact use several such elliptic and hyperbolic equations. As a very rough description of this kind of philosophy, the reader may find it useful to keep in mind the following schematic:
| |
| |
| |
To provide the improved control on the curvature, we will employ a second order equation for it. To derive this, we write the Bianchi identities 87b in the form 4 and then contract this expression with the covariant derivative
. This yields the equations:
| |
| |
|
(103)
|
In addition to 103 and the system 100 , it will also be useful for us to employ a secondary elliptic equation. This will be for the quantity
:
|
(104)
|
This equation follows immediately from differentiating the equation 100b with respect to time, and then applying the conservation law
to the resulting expression. We are now ready to state our main a-priori estimate:
Theorem 5.4 (Main a-priori estimate for the curvature of the Coulomb system 86 – 88 ).
Let the space-time connection
on
, where
, be given such that it satisfies the following system of equations on some finite time interval
:
|
(105a)
|
|
(105b)
|
|
(105d)
|
|
(105e)
|
|
(105f )
|
Here we have split
. Let there also be given a set of fixed constants
for the indices
, such that at time
we have the initial bounds:
|
(106)
|
|
(107)
|
Then if
is chosen as to be sufficiently small on line 106 above, there exists a collection constants
, which only depend on the dimension and the collection
but not on
(once it is small enough) or the collection
, such that if at later times we have the bounds:
|
(108)
|
|
(109)
|
|
(110)
|
|
(111)
|
the following set of stronger bounds holds:
|
(112)
|
|
(113)
|
Remark 5.5.
The bounds involving 111 and 113 express the fact that the control we provide here is at the critical level. That is, bounds on the higher norms are completely irrelevant in the bootstrapping procedure, except for the fact that they are finite. The only place where we need higher norms to accomplish anything here is in the local existence theorem 5.3 . The way we will prove Theorem 5.4 is by first establishing control at the critical level through a bootstrapping argument. The control of the higher norms will then be provided through an a-priori estimate who's proof is essentially identical to that of the critical bootstrapping bound, and will therefore be left to the reader.
Remark 5.6.
The reader my find it useful to have a brief description of the various constants appearing in Proposition 5.3 and Theorem 5.4 . The constants
are input into the a-priori machine, and these are meant to cover the transition to and from estimates involving the connection and curvature. The set
is only needed to deal with the initial data. This is necessary because we must have an account of bounds involving the quantities
. The other constants
govern comparison type estimates similar to 69 . The constants
are byproducts of the proof of the a-priori estimate itself. These will very much depend on the
, but are independent of
when it is small enough. Finally, the main adjusting parameter
has two important roles. First and foremost, it is needed to prove the a-priori estimate itself. However, it has a second purpose which is also crucial, and that is to keep the dependence of
on
from creating a feedback loop. Specifically, we need our various comparison estimates to have constants which do not depend on the large constants
. Since the critical energy of the curvature can grow by a factor of
, we will need the extra influence of
to make sure this does not cycle back to
.
-
Proof that Theorem 5.4 and Proposition 5.3 together imply Theorem 5.2 .
The proof here is more or less straightforward and will be largely left to the reader. Everything relies on two sets of estimates. The first has to do with showing that the initial data bounds 91a – 91c imply the initial control assumed in 106 – 107 . This is just a matter of bounding the time derivatives
, and is why we have included the set of auxiliary constants
. Using now the field equations 3 – 4 (we have not included them in the system 105 , but we may assume they hold), we have the general schematic identity at time
:
|
(114)
|
where we have generically set
. Therefore, to establish the control 106 – 107 , we only need to prove the estimates:
|
(115)
|
assuming that the bounds 91a – 91c hold. Notice that while these initial norms do not contain estimates on the quantities
, we originally had bounds on this from lines 78 – 81 above. Also, any estimates on
which are needed in this process can be provided, for instance, through the equation 82 . Since the proof of estimate 115 is a straightforward paraproduct type bound, similar to what was done in the proof of Lemma 5.1 above, we leave it to the interested reader (see below for more details).
The second set of estimates we need to prove here has to do with the relationship between the later time norms 108 – 113 and the ones 95 – 98 contained in the proof of the local existence proposition. Since our global regularity proof is by iteration of this latter result, we need to first show that the weak control 95 – 98 implies the bootstrapping assumption 108 – 111 . This assertion is trivial for norms involving the potentials 108 and 110 , as well as the larger norms 111 just by applying the definition of curvature. Therefore, we only need to see that 95 – 96 implies the bounds 109 . We first establish the desired bounds for the undifferentiated term
.
For the spatial curvature and potentials
, this is just the comparison principle form line 69 , and we can assume that the constants
are large enough to cover that case. To deal with potentials involving time derivatives of
or the temporal potential
we have the following general calculation:
| |
| |
where the quadratic term follows from paraproduct decompositions, Hölders inequality, and Sobolev embeddings as in the proof of 69 . The desired result now follows from the smallness of
and the fact that we may assume the constant
in line 95 does not depend on it. To establish the estimate for the quantity
, we use the later time version of the identity 114 , as well as the estimate which is responsible for the first estimate on line 115 above, which is:
By again assume that the constant
is sufficiently small with respect to
we have the desired bound.
The final thing we need to do here is to show that the improved bounds 112 – 113 imply the assumed estimates of the local existence theorem 93 – 94 . This is again a comparison estimate either identical or similar to 69 . Note that we only need to bound the spatial portion of the potentials
and their time derivatives. The undifferentiated terms can be bounded directly by 69 because we may assume that the constant
on line 112 is small enough that the critical estimate 63 holds.
To deal with the time differentiated potentials
, one can simply differentiate the Hodge system 105b – 105c with respect to time and then apply essentially the same proof as was used to produce 69 . The details of this are left to the ambitious reader. □
6 Proof of the Main Bootstrapping Estimate
We are now ready to begin our proof of the (improved) main critical a-priori estimate 112 . In order to do this, we will need to bootstrap in a function space which is much stronger than the energy type spaces of Theorem 5.4 . This will cost us another bootstrapping procedure, but this will be easy to set up because it will be clear the extra norms we create have good bounds on some very small initial time interval due to the fact that we are assuming the higher energy boundedness 111 and that these norms involve integration in time. All of the norms we construct here will be of Strichartz type, with an
Besov structure in the spatial variable.
It will also be necessary for us to include an angular square sum structure in many of the estimates we prove. This may seem a bit odd at first because we will not need such bounds directly in our proof of Theorem 5.4 . These extra bounds will instead be used to give the fine control which is needed to handle the linear part of the problem. At each fixed frequency, we form the square-sum norms:
|
(116)
|
where
is taken to be a (uniformly) finitely overlapping set of spherical caps such that
, each of which has size
and constructed such a way that one has the bounds:
independent of the size of
. Here we take the condition
to mean that the variable
is essentially in the center of that spherical cap
. The exact placement is not essential. Notice that by construction, these norms are contained in the usual
spaces because we can assume that one set of angular sectors we are summing over contains the whole sphere.
Next, using the same prescription that defined the Besov spaces 41 , we define the angular square sum Besov spaces to be:
|
(117)
|
We now define the main dispersive component of the function spaces we will be working with. These are
based Strichartz spaces, built on the norms 117 and 41 . These are all defined on a finite time interval
, which will for the most part be left implicit:
|
(118)
|
|
(119)
|
To gain some intuition about these spaces, notice that they all scale like
under the change of variables 7 . Therefore, they all scale like solutions to the wave equations with
initial data. Indeed, these spaces are consistent with the available range of Strichartz estimates for the usual scalar wave equation, and it will be our goal to show that one has bounds on the norm 119 for solutions of the covariant wave operator on the left hand side of 105 .
To form the overall spaces we will bootstrap in, we add the above space-time norms to the energy type norms used in the statement of the main a-priori estimate 5.4 :
|
(120)
|
|
(121)
|
It will also be necessary for us to estimate time derivatives in the above spaces.
Since differentiation will decrease the scaling by one unit, we use the norms:
with an analogous definition for
.
6.1 Proof of the Critical Bootstrapping Estimate
We are now ready to prove the critical component of Theorem 5.4 (we will now change notation from
back to
):
Proposition 6.1 (Critical bootstrapping estimate in the
spaces).
Let the dimension be
. Let the collection
be a space-time connection curvature pair which obeys the general smoothness conditions 110 – 111 , and which satisfies the system of equations 105 . Let
be given constants such that one has the initial bounds:
|
(122)
|
Then there exists a constant
which depends only on
and the dimension such that if one has the bootstrapping bounds on a time interval
:
|
(123)
|
|
(124)
|
then for
sufficiently small, we have that the following improved bounds on the same time interval
:
|
(125)
|
The proof of Proposition 6.1 will be accomplished through the standard use of Littlewood-Paley paraproduct decompositions, and the application of space-time estimates. All of the linear bounds we will need are provided by the following, which is the main technical result of this work:
Theorem 6.2 (Gauge covariant angular square-sum Strichartz estimates for Yang-Mills connections).
Let the number of dimensions be such that
, and let
be a space-time connection defined defined on all of Minkowski space
such that it satisfies the conditions:
|
(126a)
|
|
(126b)
|
|
(126c)
|
|
(126d)
|
|
(126e)
|
|
(126f )
|
where
is an auxiliary set of
valued functions defined on all of
. The symbol
denotes a composition of the Leray projection
with some frequency cutoff function which is bounded on all mixed Lebesgue-Besov spaces of the type
. We assume also that the connection
satisfies the general smoothness bounds:
|
(127)
|
for each fixed time
. Let now
be any other
valued function which satisfies the inhomogeneous equation:
with Cauchy data:
|
(129)
|
Then if the constant
in lines 126d and 126f above is sufficiently small, one has the following family of space-time estimates:
|
(130)
|
Remark 6.3.
In the above Theorem, the Strichartz estimates have a preferred scaling. This is consistent with the application we have in mind. In general, it is not possible to prove estimates of the type 130 for higher Sobolev indices without assuming that the connection
itself has more regularity. In the case where
does have better regularity, a proof similar to that given after Proposition 7.1 below can be used to show estimates for those higher norms.
-
Proof of Proposition 6.1 .
The proof requires another bootstrapping argument. This will be done on subintervals
. Using the initial bounds 122 and the general smoothness assumption 111 we may assume that for
we have the estimate 124 . Therefore, it suffices to prove that 124 implies 125 on all subintervals
. But this is just the same as proving Proposition 6.1 itself since
is arbitrary.
The proof will be accomplished in a series of steps. Our first goal will be to derive
and
type bounds for the connection
. We will then split this connection into a sum of two pieces
, where the potentials
satisfy the criteria of Theorem 6.2 and the remainder term
obeys the better
space-time estimate. This is enough to be able to write the equation 105a schematically as:
|
(131)
|
One is then in a position where Theorem 6.2 can be applied directly, and we only need to choose our constant
depending on
and the constant which appears on line 130 . The key thing is that the dangerous term
can safely be put in
using the improved space-time estimate for
and the energy estimate for
. Throughout the proof we will use the usual splitting
of
into its temporal and spatial components.
-
estimates for
Here we write
for the spatial components of the field strength and use the Hodge system 105b – 105c to write schematically:
|
(132)
|
As a preliminary first step, we will show that the potentials
can be estimated in
with bounds comparable to
. Now, it is not too difficult to see directly from the definition that:
Next, notice that we have the bilinear estimate:
|
(133)
|
which follows integrating the bound 45 . Note that in this case, the range restrictions 46 – 50 are easily satisfied. Therefore, using the critical bounds 123 as well as the general smoothness criteria 110 (so that in particular we may assume the
norm of
is finite) we see we may absorb the quadratic term on the right hand side of 132 onto the left in the desired estimates.
Our task is now to show the more restrictive
estimates for the potentials
. Again from the definition, it is not hard to see that we have the embedding:
Therefore, keeping in mind the
bounds just proved, we see that is suffices to be able to show the bilinear estimate:
|
(134)
|
The main issue here is, of course, to be able to include the angular square sum structure. This turns out to be very simple. Notice first that by orthogonality and the general nesting 42 we have the inclusion (on any finite time interval
):
Therefore, to conclude 134 we see that it suffices to be able to show the set of bilinear estimates:
|
(135)
|
|
(136)
|
The first of these embedding follows easily from:
which in turn follows directly from 45 . The second estimate 136 above is more bilinear in nature. It follows from applying a trichotomy and then summing the following two fixed frequency bilinear inclusions:
|
(137)
|
|
(138)
|
where we have set
to be the “gap” constant. The estimates 137 – 138 follow directly from the frequency localized bounds 51 – 52 . Note that in this case, the various positivity conditions are satisfied.
-
bounds for the pair
Our first step here is to deal with the variable
. We integrate equation 105e and write it schematically as:
|
(139)
|
The desired estimate now follows by constructing
from scratch by iteration, using the already established estimates and bilinear embedding 133 and the following:
|
(140)
|
This last embedding follows in turn from the pair of estimates:
| |
| |
Both of these are easy consequences of 45 and we leave the numerology to the reader.
To establish the
bound for
, we can use the equation 105f to treat it as a separate variable. In that equation we have quantities of the form
. We can use the curvature equation 105b to swap this for spatial derivatives as follows:
|
(141)
|
This allows us to write schematically:
|
(142)
|
where
now denotes any of the full set of potentials
which we have estimated in the space
. We may now iterate the equation 142 in the space
to constructively obtain the desired bounds using the bilinear embedding:
which follows from differentiating 140 above. Notice that the needed inclusion
follows, for instance, from differentiating the embedding 133 .
-
Splitting the spatial potentials Our next goal is to split the spatial potentials
into a sum of two pieces which are each more easily managed. This will be done using the “structure” equation 105d . Using the formula 141 to get rid of terms of the form
on the right hand side of this equation, and using the various
space embeddings we have just shown (on the time interval
), we may write this equation in the schematic form:
|
(143)
|
where the quantities
obey the estimate:
where the implicit constant in the above inequality comes from the estimates just shown. Using Duhamel's principle and (sharp) time cutoffs, we now extend 143 to all possible times. This is done simply by writing:
|
(144)
|
where
denotes to propagation of
as a solution to the free scalar wave equation. Also, here
denotes the indicator function of the time interval
. This implies that we have the condition:
| |
Now, from the bootstrapping assumption 123 we have the pair of bounds:
| |
| |
Therefore, using the bounds we have just shown in conjunction with the usual Strichartz estimates for the wave equation, we have that this extension of the potentials
satisfies the bounds:
Notice that the angular square function structure inherent in the
norms is provided automatically by the fact that the usual wave equation commutes with the angular cutoffs
.
Our next step to introduce the space–time frequency cutoff
, which cuts off smoothly on the region
. That is, the compound multipliers
all have
kernels with uniform bounds. We denote by
. Our decomposition of
is now given by the formula:
| |
We now need to show that both the potential sets
and
obey good
estimates. Since the original collection of extended potentials does, we only need to prove this assertion for one of these sets. This is most easily shown for the collection
. As we have already mentioned, the cutoffs
are bounded on all mixed Lebesgue spaces. Therefore, the entire multiplier
is bounded on any mixed Lebesgue-Besov space of the type
. This implies that this multiplier is in fact bounded on the
spaces, which is enough to support our claim.
Finally, we would like to prove two fixed frequency multiplier estimates which will be useful in the sequel when dealing with the two sets of potentials
and
. The first is:
|
(145)
|
This is easily demonstrated by rescaling to frequency
and using the
bound on the convolution kernel of
. Combining this with the remarks made above, we see that we have the estimate:
In particular, from everything we have shown, the potential set
satisfies all of the requirements 126 of Theorem 6.2 when
is sufficiently small.
The second fixed frequency multiplier bound that will be of use shortly is the space–time estimate:
|
(146)
|
Here
is the multiplier with symbol
. To prove this, we employ a family of Littlewood-Paley space-time cutoffs which we denote by
. By this we mean that the space-time frequency support of these is supported where
. As usual, these are all chosen so as to have uniform
bounds on their convolution kernels. Using the support restrictions of the
multiplier, we have the formula:
Therefore, by dyadic summing and the boundedness of the multiplier
, to prove 146 it suffices to be able to show that:
This last bound follows easily from rescaling to frequency
and the appropriate differential bounds on the symbol of
which we leave to the reader.
-
bounds for the potentials
Our goal here is to show the
type Besov estimate:
|
(147)
|
By repeatedly using the estimate 146 , we have that the multiplier
is bounded on the space
. Furthermore, from all of the estimates we have shown above, and by distributing the derivative in the first term on the right hand side of 139 , we see that the right hand side of the schematics 139 and 143 are equivalent. Therefore, we have the following heuristic schematic for the potentials
:
where the pair
enjoys the bounds:
The bound 147 now follows from the bilinear estimate:
This in turn follows from the product estimate:
This last estimate follows at once from 45 . The check on the conditions 46 – 50 is left to the reader.
-
Improving the curvature This is the final part of the proof of Proposition 6.1 .
Recalling the schematic 131 and using the Strichartz estimates 130 , our goal here is to show the following four bounds:
|
(148)
|
|
(149)
|
|
(150)
|
|
(151)
|
|
(152)
|
For
sufficiently small, this will be enough for us to conclude the improved bootstrapping estimates 125 by choosing
to be such that
is equal to the constant appearing on the right hand side of estimate 130 . This works because the implicit constants which appear in 148 – 152 above have only been manufactured in the estimates of this proof, and can all be chosen to be independent of
and
if
is chosen small enough.
To prove these bounds, first notice that the estimates 148 and 150 – 152 are essentially identical. This follows from the equivalence (in terms of
spaces)
. We also have the equivalences
and
. These are given by the inclusion:
|
(153)
|
This is easily demonstrated, as we have already mentioned, by differentiating the inclusion 133 and using the boundedness of
on the various
component spaces. Therefore, to prove 148 and 150 – 152 we only need to know that:
|
(154)
|
This is yet again a consequence of our general Besov calculus 45 , and we leave the various additions to the reader.
Our final task here is to prove the estimate 149 . This needs to be frequency decomposed using a trichotomy. Specifically, we have the following set of fixed frequency estimates in the three cases (note that in the first two estimates below the square summing needs to be done inside the time integral):
|
(155)
|
|
(156)
|
|
(157)
|
where the quantity
in the last estimate 157 above can be computed to be
. The estimate 155 follows from inspection. The latter two estimates 156 – 157 follow from 51 – 51 of Remark 4.2 . This completes the proof of Proposition 6.1 . □
7 Reduction to Approximate Half-Wave Operators
This is a preliminary technical section where we reduce the proof of the Strichartz estimates 130 to a more easily managed form. This material more or less standard, and we again follow closely what was done in [8] . Our first step here is to reduce the proof of Theorem 6.2 to the following:
Proposition 7.1 (Existence of a fixed frequency parametrix).
Let the number of dimensions be
, and let
be a connection which satisfies the conditions 126 . In addition assume that we have the frequency localization condition:
|
(158)
|
where
is a frequency cutoff on the region where
, where
is some fixed parameter. Then if the constant
on lines 126d and 126f is sufficiently small, there exists a family of approximate propagation operators
(or just
for short) such that if
is any set of
–frequency initial data with Fourier support in the region
, the following estimates hold:
|
(159a)
|
|
(159b)
|
|
(159c)
|
|
(159d)
|
Here we have set
to the
normalized energy:
Finally, we have that the frequency support of the parametrix is contained in the set
, where
is as above.
-
Proof that Proposition 7.1 implies Theorem 6.2 .
The first step here is to reduce the estimate 130 to the case where
. This is done in the usual way via Duhamel's principle. We define the true propagation operator
via the formulas:
| |
and:
We then have that:
|
(160)
|
solves the problem 128 – 129 . In particular, by Minkowski's triangle inequality we easily have that:
Therefore, we are trying to show:
|
(161)
|
for any pair of functions
and any initial time
. Since it is easy to see that the conditions 126 are translation invariant, it suffices to show this estimates for
.
The estimate 161 will be shown using a bootstrapping procedure. This will be done inside of the compact intervals
. What we will do is to first assume that 161 is true for all
on all time intervals of the form
and
, where the constant on the left hand side of 161 is replaced by
. Our goal is then to improve the constant by proving the desired bound 161 on the time subintervals of
. Once this is accomplished, we can easily extend the bound 161
to all subintervals of a slightly larger time interval
, where the constant
is determined by the bound 127 . This is provided by the usual local existence theory based on energy and
estimates. Once this is done, the bootstrapping closes. Notice again that, by using the local existence theory and the bound 127 , we may begin the argument for some very small time interval
.
We are now assuming that 161 holds on our time interval
with constant
which we will decide on in a moment. We are working with a solution:
where the connection
satisfies 126 , and where we have the initial data:
|
(163)
|
We now split this initial data into a sum frequency localized pieces:
| |
| |
and then repeatedly use Proposition 7.1 to construct an approximate solution to 162 – 163 as follows:
By summing over the parametrix estimate 159a we automatically have that:
where
is some fixed constant. We choose this to be our definition of the constant on the right hand side of 161 . Thus, our goal is to conclude that:
|
(164)
|
To do this, we use the Duhamel formula 160 to express everything in terms of the operators
:
By combining the assumed estimate 161 and the approximation bounds 159b – 159c , we have that:
Therefore, by using Minkowski's triangle inequality and again using the bootstrapping assumption 161 , we see that in order to conclude 164 we only need to show the following remainder estimate on the time interval
:
|
(165)
|
To show the estimate 165 , we use a family of frequency cutoffs:
for each scale
such that they all have
kernels with uniform bounds, and such that the cutoff
is consistent with the definition of
in the statement of Proposition 7.1 . This allows us to schematically write:
(166)
□
A
̲
F
~
=
∑
λ
(
□
A
̲
∙
≪
λ
F
~
λ
+
[
∇
x
A
̲
λ
≲
∙
,
F
~
λ
]
+
[
A
̲
λ
≲
∙
,
∇
x
F
~
λ
]
+
[
[
A
̲
∙
≪
λ
,
A
̲
λ
≲
∙
]
,
F
~
λ
]
+
[
[
A
̲
λ
≲
∙
,
A
̲
λ
≲
∙
]
,
F
~
λ
]
)
.
The bound 165 for the term
is a direct consequence of repeatedly applying the estimate 159d while using the fact that each term in this sum is supported in frequency where
to gain the orthogonality needed to obtain bounds in terms of the pair
. Therefore, we are reduced to showing the following family of error estimates:
|
(167)
|
|
(168)
|
|
(169)
|
|
(170)
|
These estimates are all very similar to each other, and to estimates we have already proved in the last section, in particular 148 – 152 . To prove the first estimate 167 above, we further decompose the left hand side into frequencies and use the triangle inequality to bound: 167
Thus, by Young's inequality, it suffices to show the following family of fixed frequency estimates:
where we have set
. Notice that we have used the
norm for the
on the right hand side. This allows us to reconstruct norms through square-summing. For
this estimate is nothing but a fixed frequency version of the estimate 154 above, so it suffices to consider case
. Using the simple inclusion
, this is a consequence of the fixed frequency embedding:
|
(171)
|
which follows at once from the fixed frequency estimate 53 which helps to generate the general estimate 45 . Notice that the proof of the second estimate 168 above is very similar to what we have just done. In fact, there is more room because the derivative is on the low frequency term. We leave the details to the reader.
It remains to prove the two estimates 169 – 170 . Since these follow from essentially identical reasoning, we concentrate on proving the second of these estimates. This one in fact requires a bit more work than the fist because it has more frequency overlap. Applying a trichotomy to the product, we see that it suffices to be able to show the following three estimates:
|
(172)
|
|
(173)
|
|
(174)
|
|
(175)
|
|
(176)
|
|
(177)
|
The first two estimates 173 – 175 follow from first fixing time and then proving the fixed frequency estimate:
where
is the same constant from estimate 171 . Indeed, this last line follows from the non-time integrated version of that estimate. Applying Young's inequality to this, integrating in time and applying Cauchy-Schwartz, using the parametrix bound 159a , the product embedding 153 , and the fact that for each fixed value of
the multipliers
and
are bounded on the
spaces we arrive at the desired pair of estimates.
It remains for us to prove the last estimate 177 above. After another application of the embedding 154 and a Cauchy-Schwartz, followed by the parametrix estimate 159a , we are left with showing the bound:
This last estimate follows from applying a further trichotomy, and then using Young's inequality after reduction to the various fixed frequency versions of the product estimate 153 which are provided by the general fixed frequency estimates 51 – 51 . We leave the details to the diligent reader. This completes the proof of our reduction of Theorem 6.2 to Proposition 7.1 . □
The final thing we will do in this section is to make one further reduction of the Strichartz estimates 130 . This involves the following proposition:
Proposition 7.2 (Existence of approximate half-wave parametrices).
Let the number of dimensions be
, and let
be a connection which satisfies the conditions 126 as well as the frequency localization condition 158 for
. Then there exists pair of evolution operators
from
to
such that the fixed time adjoints
are always supported in the region
for some fixed
, and such that they obey the following estimates:
|
(178a)
|
|
(178b)
|
|
(178c)
|
|
(178d)
|
|
(178e)
|
8 Construction of the half wave operators
We now begin construction of our approximate solutions
to the reduced covariant wave equation
. This will be accomplished by integrating over a collection of gauge transformations designed to eliminate the highest order effect of troublesome term
. In order to understand what such a gauge transformation should be, we begin with a simple calculation. We consider the covariant wave equation
, where the connection
will be determined in a moment, acting on a vector valued plane wave
. Here
is a constant complex valued matrix in
, and the
are the standard plane wave optical functions:
| |
In particular,
, where the
are the associated null hyper-surface generators:
| |
With these identifications, we easily have the calculation:
|
(182)
|
Using the heuristic5
that terms of the form
and
are lower order, and splitting the potentials
into the sets
associated with the optical functions
(resp.), we see that in order eliminate the highest order term on the right hand side of 182 would need to assume this connection is in the backward (resp. forward)
-null-gauge:
|
(183)
|
Of course, it is not possible to assume that a given fixed connection will simultaneously be in the null-gauge for every direction
. However, it is more or less clear that since these gauges are of Crönstrom type, it is always possible to transform a given connection so that it is in the null-gauge for a fixed direction. This motivates the following form of an approximate solution to
:
|
(184)
|
where
is a smooth bump function such that
on the interval
and such that
outside of
(the variable width assumption of Proposition 7.2 can be achieved with similar bump functions). Here, the gauge transformation:
|
(185)
|
will be chosen so that
approximately satisfies 183 . It seems that there are in fact many choices of how to do this, although the naive choice of letting
satisfy 183 directly by solving the appropriate transport equations6
leads to group elements with poor regularity properties. Therefore, the procedure for arriving at the correct choice deserves some motivation.
The heart of the matter is two-fold. First and foremost, we need to come up with a construction that gives us explicit formulas so that we may perform certain standard calculations on the integral 184 . In particular, we will need to perform integration by parts with respect to the variable
. Since
is assumed to be non-abelian, and since we will not be able to localize things to a neighborhood of any fixed point on the group7
, this is actually a non-trivial matter. For example, it is not possible to do this directly through a use of the exponential map because we would run into trouble with conjugate points.
Secondly, we will need to replace the transport equation which defines the naive pure null-gauge transformation, with something that has more “elliptic” features.
That such a choice is possible is, strangely enough, determined by the fact that the connection
is not arbitrary, but instead evolves according to a hyperbolic equation. This is taken into account by condition 126e . This kind of structure seems to be ubiquitous in geometric wave equations, both semi and quasi-linear, and the observation that it makes the crucial difference goes back to work of Klainerman-Rodnianski on quasi-linear wave equations [5] . The particular form we will use it in here is almost identical to that of [8] , but since everything we do is non-abelian, the derivation will seem a bit different at first.
The first observation we use is that just like the Crönstrom gauge, the null-gauge allows one to recover the potentials directly from the curvature. However, since we aim to derive an (sub)-elliptic equation, we do not do this by simply integrating along null directions. Instead, we write:
|
(186)
|
Making now the approximate assumption that the
are simply a solution to the scalar wave equation
, which we write as:
|
(187)
|
the identity 186 can be written in the integral form:
|
(188)
|
Here
is the Laplacean on the plane perpendicular to the
direction in
. We would now like to make 188 our “choice” for the gauge transformed connection on the right hand side of 185 . For example, even though it was based on the approximate assumption the
satisfy the scalar wave equation, it still respects the null-gauge 183 simply by the skew-symmetry property of the curvature. Unfortunately, 188 has several undesirable features. Firstly, we would like an expression which involves the curvature of
, not the curvature
.
Secondly, the sub-Laplacean on the right hand side of this expression needs to be smoothed out in some way so that its dependence on the angular variable
is not so rough.
To get around the first of these problems, we simply pretend that the various differential operators on the right hand side of 188 are gauge covariant. Assuming this and then conjugating both sides of that expression by
, moving these group elements past the differential operators on the right, and throwing away quadratic terms from the curvature while assuming that the reduced connection
satisfies the usual homogeneous wave equation, we are left with the approximate identities:
| |
| |
To get around the second problem, we mollify the angular variable of the second term on the right hand side of this last expression. Doing this and looking back on the definition 185 , we see that we would like our group elements to be such that:
|
(189)
|
Here we have set:
where
is our small all purpose constant from line 12 above. Now the problem is, of course, that right hand side of the above formula does not in general represent a flat connection. However, as one can see immediately, its curvature is small in some sense because it is a quadratic expression. At this point, the problem now looks essentially like what happens for wave-maps8
(see e.g. [11] and [9] ). In particular, it is clear that the right way to define the group elements
so that the approximate formula 189 holds is to flatten out the right hand side of that expression as much as possible by using the potential version 3.2 of the Uhlenbeck lemma. Therefore, what we need to do is to show the fixed time estimate:
|
(191)
|
and then assume that
is chosen small enough to that we may use it as the constant in 22 . Because of its utility in the sequel, we will in fact prove the more general estimate:
|
(192)
|
where
is a dimension dependent Lebesgue index which we set to:
|
(193)
|
Here
is again the all-purpose constant which we have fixed in section 2 to be small enough so that it is compatible with its use here. Notice that 192 implies the estimate 191 thanks to the embedding 43 and the fact that for
sufficiently small there is plenty of room in the inequality
.
Now, because the norm
is
based, by orthogonality and the
estimate contained in the bootstrapping assumption 126d , we see that in order to conclude 192 it is enough to show the fixed frequency estimate (note that there are no high frequencies here):
Decomposing the spatial frequency variable into fixed dyadic angular sectors spread from the direction
:
, this estimate further reduces (after dyadic summing) to being able being able to prove that:
|
(194)
|
We are now almost at the point where we can apply the angular Bernstein inequality 56 directly, because in the current localized setting we have the symbol bounds:
|
(195)
|
where we are enforcing the heuristic notation introduced on line 58 . However, since Bernstein only nets us a savings of:
in this context, we need to be a bit more careful in order to gain an extra power of
. This is provided by the fact that the potentials
are in the Coulomb gauge. Notice that if say,
there is nothing to worry about and we have estimate 194 without any problem. On the other-hand, if it is the case that
, then we can use the fact that
is elliptic (in terms of symbol bounds) in conjunction with the gauge condition
to write:
|
(196)
|
Here
the induced connection (angular portion) on the hyperplane
perpendicular to
, and
is the associated divergence. We note here that this identity will turn out to be very useful and will be used many times throughout the sequel. With these extra savings in mind, an application of Bernstein now directly yields the desired estimate 194 .
We have now constructed the infinitesimal group elements
in equations 185 , which is explicitly defined by the formulas 31 in Lemma 3.2 applied to the connection:
|
(197)
|
This has the pleasant effect that we will never need to explicitly refer to the connection
in line 185 . We can calculate the conjugated right hand side of that expression to be:
|
(198)
|
where we have set:
|
(199)
|
Using the formulas 31 , we have the following expressions for the spatial components
:
|
(200a)
|
|
(200b)
|
In order to compute a formula for the temporal potential
, we simply use the fact that
and the formula 200b which together imply (by computing
):
|
(201)
|
where we have:
We remark here that the importance of the system of equations 200a – 201 is that they give the following decomposition of the infinitesimal gauge transformation
:
|
(202)
|
The linear term in the above expression is enough to kill off the worst error term when differentiating the parametrix 184 . It should be noted that this linear term is precisely what one gets more directly in the abelian case studied in [8] . We should also point out here that the quadratic error on the right hand side of 202 above is much more delicate than the quadratic error resulting form the cancellation involving the linear term in this expression. In order to control this, we will need the full force of the orthogonality properties of our parametrix, which are contained in the bootstrapping assumption 126d , as well as some rather technical function spaces and multilinear estimates which we will develop in Section 11 .
To close out this section, we apply the truncated covariant wave operator
to the parametrix 184 and record the various error terms which result. We gather this together in the following proposition:
Proposition 8.1 (Error terms for the differentiated parametrix).
Consider the parametrix
defined by the formula 184 , with infinitesimal gauge transformations given by equations 200a – 201 . Then one has the identity:
|
(203)
|
| |
| |
| |
Remark 8.2.
The worst error term in the expression 203 is of course the “derivative fall on high” term which is the first on the right hand side. However, using the structure equation 126e , this takes the form:
|
(204)
|
| |
| |
The key observation now is that since the operator
cuts off on such a small angular sector with respect to the spatial frequency, an application of Bernstein's inequality gains enough extra spatial derivatives to put this term in the mixed Lebesgue space
. Furthermore, the quadratic error term which is left over involves enough bilinear interactions to go in
. So in this sense, as we have mentions before, the problem reduces to something which is reminiscent of wave-maps. Of course, there is a somewhat heavy price to pay for this “renormalization”, which is that it must take place under an integral sign. Finally, it is worth pointing out that this top order cancellation is completely analogous to what happens in the abelian case [
8]
.
-
Proof of the error identity 203 .
The proof is a simple consequence of using gauge transformations in conjunction with the identity 182 . Applying the truncated covariant wave operator, and differentiating under the integral sign, we see that:
203
| |
| |
| |
|
(205)
|
| |
|
(206)
|
|
(207)
|
|
(208)
|
| |
Notice that the equality on the last line follows from:
which is a consequence of line 199 above, followed by the Jacobi identity:
| |
| |
| |
| |
| |
This completes the proof of 203 . □
9 Fixed Time
Estimates for the Parametrix
We now begin our proof of the estimates 178 for the integral operator 184 introduced in the last section. Here we cover bounds which are of non-differentiated energy type. Specifically, we will show the undifferentiated
estimate contained in 178a , as well as the multiplier-approximation bound 178d . Both of these will follow from the same set of estimates. At a heuristic level, they are not much more involved that a standard
argument followed by some integration by parts, although the details turn out to be a bit involved. Things will be computed more or less directly by an appeal to the explicit equations 200a – 201 , taking a little bit of care to use them properly. This will be done by considering them as “path lifting” formulas from Minkowski space
to the compact group
.
This allows us to employ an integral form of the intermediate value theorem from elementary calculus which is valid in the context of Lie groups. It turns out that this identity can be differentiated as many times as necessary with respect to the angular frequency variable, although this fact is provided through a surprisingly delicate bootstrapping argument. Here the unitarity of the group is needed in a crucial way to keep everything from collapsing. Once the bootstrapping is complete, the estimates themselves will be proved using a “trace-Bernstein” type inequality that we construct by hand using various multipliers. Once the integration by parts portion of things is taken care of, we will close the
estimate by showing that a “non-smooth” remainder kernel has small amplitudes after integration in the angular frequency variable. This involves some fairly technical bilinear estimates because the necessary othogonality arguments are difficult to pass through Hodge systems. The details of these procedures are as follows.
Throughout this section we will replace the specific cutoff function
appearing in the definition of parametrix 184 with an arbitrary smooth scalar bump function
that we may assume to be supported in the frequency annulus
.
At fixed time
, we define the operator
, where we have suppressed the
notation because it will be irrelevant for what we do here. Our first goal is the prove the bound:
|
(209)
|
Squaring this, it suffices to show that (here
has no relation to
and simply represents a function of the physical-space variables):
|
(210)
|
where the adjoint
is taken with respect to the Killing form 13 . A quick calculation of the kernel of this operator shows that:
|
(211)
|
where we use the
notation to emphasize the fact that this operator acts via conjugation. Our task is now to show the estimates:
|
(212)
|
Since
is essentially symmetric in
, we may concentrate on the first such estimate.
To proceed, we first decompose the product physical space
into the dyadic regions:
|
(213)
|
We then decompose the kernel
kernel into the dyadic sum:
By dyadic summing, to show 212 it suffices to be able to show the single estimate:
|
(214)
|
where
now represents a small savings in physical space decay. Now 214 would be easy to show if we had the absolute decay estimate:
and this is almost true. Unfortunately, there is a regularity problem due to the degeneracy of the sub-Laplacean
used in the connection 200 which provides the group elements
. This forces us to write the kernel
as a sum of two terms:
|
(215)
|
We will then prove that both:
|
(216)
|
|
(217)
|
To define the splitting 215 , we factor the group elements
into a product of smooth and small parts. This is completely analogous to the procedure used in [8] , but since things are non-abelian (and hence non-linear) here, the estimates required are quite a bit more involved. What we will do is construct another gauge transformation
, which is based on a further smoothing of the connection 197 .
This will produce a group element which can be treated as a standard symbol. To this end, we define the scale mollified connection:
|
(218)
|
where
is, again, the small dimensional constant from line 190 . Again, we have dropped the
notation because it is irrelevant. Following the proof of 191 , and using the fact that the multipliers
are bounded on frequency localized Lebesgue spaces, we may apply Lemma 3.2 to the connection
.
This produces a group element
, which is defined by the infinitesimal generator:
|
(219)
|
Furthermore, this generator is itself defined via the Hodge system:
|
(220a)
|
|
(220b)
|
Using this new group element
, we define the remainder group element
via the product:
To compute the infinitesimal generator of
, we first use the identity:
| |
|
(222)
|
This leads us to define the difference connection:
|
(223)
|
A quick calculation using the systems 200 and 220 shows that this new connection can be pinned down via the Hodge system:
|
(224a)
|
|
(224b)
|
where a simple computation shows that:
|
(225)
|
We now define the decomposition 215 along the following decompositions of the group element products in the kernel 211 :
|
(226)
|
|
(227)
|
Accordingly, we define:
|
(228)
|
and then define
according to the formula 215 . The idea now is that while one can only perform integration by parts in the kernel 228 above, the group element
and its inverse, which must be contained as at least one factor in the remainder, are so close to the identity matrix that the resulting difference expression can be estimated without use of the oscillations which take place under the integral sign.
We now begin our proof of the estimate 216 . To do this, we simply integrate by parts as may times as necessary with respect to the variable
in order to pick up the needed point-wise decay. Doing this, we see that in order to draw our conclusion, it suffices to show the following symbol bounds for
:
|
(229)
|
|
(230)
|
In fact, we shall prove the following more general bounds, which contain 229 – 230 as a special case, and which will be useful in the sequel:
Proposition 9.1 (Symbol bounds for the smoothed amplitudes
and
).
Let the group elements
be defined infinitesimally by the Hodge system 220 , where the parameter
is replaced by
, where
lies in the range:
|
(231)
|
Then for any integer
, one has the following symbol bounds assuming that the bootstrapping constant
from line 126d is chosen sufficiently small (with respect to each fixed
):
|
(232)
|
|
(233)
|
Here the
notation is shorthand for all
order partial derivatives involving the variable
, and
is the standard matrix vector-norm from line 15 . The implicit constants on the right hand side depend on
, but are uniform in the parameter
for each fixed
.
-
Proof of the estimates 232 – 233 .
It suffices for us to prove the first bound 232 , as the second follows from virtually identical reasoning. The goal is to reduce this via an ODE bootstrapping type argument to an associated estimate involving the connection
. This associated estimate will then be proved by another bootstrapping argument in certain mixed Lebesgue-Besov spaces naturally associated with the ODE problem from the first step. The goal of the second bootstrapping will be to reduce things to proving the Besov estimates for the connection
which appears as the linear term on the right hand side of the Hodge system 220a .
Before proceeding, we first make a preliminary reduction on the product
.
We would like be set up as to only have to handle products which involve the same space or same time variables. This is easily accomplished via the product decomposition:
|
(234)
|
It is clear that if we can produce the bounds 232 for each of the terms on the right hand side of 234 separately, then by the product rule for derivatives we have the estimate 232 for the full term. Since they require slightly different arguments, we will proceed separately for each of these two factors.
Our first task is to prove the bound 232 for the spatial product
.
This will be done inductively with respect to the value of
. Since we will proceed via a bootstrapping type procedure, we first assume that we can prove the desired bounds over small intervals and then try to use this knowledge to extend things to longer intervals. To do this, we differentiate the product
, where
is some shorter line segment inside of
, with respect to the operators
. This yields the equation:
(235)
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
y
)
)
=
∑
i
=
0
k
−
1
(
M
−
1
∇
ξ
)
k
−
i
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
x
1
)
)
⋅
(
M
−
1
∇
ξ
)
i
(
ω
g
~
−
1
(
x
1
)
ω
g
~
(
y
)
)
+
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
x
1
)
)
⋅
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
x
1
)
ω
g
~
(
y
)
)
.
In the above identity, we have dropped the dependence on time as it no longer has any bearing on how we proceed. Also
denotes an even smaller interval embedded in the overall bootstrapping line segment
. We will let this smaller segment go to zero. Before doing this, we collect the last term on the right hand side of 235 onto the left, apply the matrix norm 15 and the reverse triangle inequality, and use the isometric identity 16 to arrive at the bound:
(236)
|
∥
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
y
)
)
∥
−
∥
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
x
1
)
ω
g
~
(
y
)
)
∥
|
⩽
∑
i
=
0
k
−
1
∥
(
M
−
1
∇
ξ
)
k
−
i
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
x
1
)
)
∥
⋅
∥
(
M
−
1
∇
ξ
)
i
(
ω
g
~
−
1
(
x
1
)
ω
g
~
(
y
)
)
∥
.
We now divide both sides of this last expression by the small interval length
and let the resulting expression go the limit
. To compute this, we only need to handle the expressions:
|
(237)
|
where we have the important restriction
. We do this by using the fact that the gauge equation 219 gives us an explicit realization of the product
as an integral over the interval
:
|
(238)
|
Here the
index denotes the component of the connection
in the direction of the line segment
. Plugging this last expression into the limit 237 and using the fundamental theorem of calculus on the resulting identity we arrive at the simple equation: 237
|
(239)
|
Notice that the identity matrix on line 238 drops out because of the condition
, and that all terms where the derivatives fall on the group elements are zero because when
these are again just derivatives of the identity matrix
. Now, substituting 239 into the limiting version of 236 we have the differential inequality:
(240)
|
∥
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
y
)
)
∥
′
|
⩽
∑
i
=
0
k
−
1
∥
(
M
−
1
∇
ξ
)
k
−
i
(
ω
C
̲
~
α
(
ℓ
)
(
ℓ
)
)
∥
⋅
∥
(
M
−
1
∇
ξ
)
i
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
y
)
)
∥
.
Assuming now that we have proved the inductive bound:
which is easy when
on account of the compactness of the group
, we see that by integrating the expression
the proof of 229 at the
step boils down to being able to establish the line integral estimate:
|
(241)
|
The reason this bound will be possible is that we have taken care to make sure that there is always at least one copy of the operator
in each of the above integrals, and it is the presence of the extra factor
in conjunction with the range restriction 231 that will be enough to provide the needed integrability. In fact, using the condition that
and the Cauchy-Schwartz inequality, we see that it suffices to be able to prove the bound:
|
(242)
|
This last integral can now be bounded in terms of energy type estimates once one applies the
trace theorem to it. However, because of the various angular degeneracies involved in the potentials
, it will be necessary for us to use a more refined “trace-Bernstein” type inequality. Furthermore, since the connection
is only defined implicitly via the Hodge system 220 , it will be necessary for us to prove estimate 242 via a bootstrapping argument in mixed Lebesgue spaces.
What we will do is to show the following somewhat more restrictive estimate which yields 242 as a consequence:
Lemma 9.2.
Let the connection
be defined via the Hodge system 220 :
|
(243a)
|
|
(243b)
|
where we have set:
|
(244)
|
Furthermore, the parameter
which lies in the range 231 (although this is not essential). Then the following mixed Lebesgue space estimates of Besov type hold:
|
(245)
|
To wrap things up here, we need to prove the symbol bounds 232 – 233 for the second factor in the product 234 . By repeating the steps which started on line 235 and culminated in the differential inequality 240 for this term, we arrive at the temporal differential inequality:
(273)
|
∥
(
M
−
1
∇
ξ
)
k
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
s
)
)
∥
′
|
⩽
∑
i
=
0
k
−
1
∥
(
M
−
1
∇
ξ
)
k
−
i
(
ω
C
~
0
(
ℓ
)
)
∥
⋅
∥
(
M
−
1
∇
ξ
)
i
(
ω
g
~
−
1
(
ℓ
)
ω
g
~
(
s
)
)
∥
,
where this time
denotes a single variable which lies in the range
, and
is the temporal potential which is defined via the equation:
Via integration in time of the quantity
, and keeping in mind the derivation of the temporal potential equation 201 above, we see that to prove the estimates 232 for the product
it suffices to show (the same estimate works to establish 233 ):
Lemma 9.3.
Let the temporal potential
be defined via the elliptic equation:
|
(274)
|
where the spatial connection
is defined via the Hodge system 243 , and where we have set:
|
(275)
|
The parameter
which lies in the range 231 (this is essential).
Then the following mixed Lebesgue space estimates of Besov type hold:
|
(276)
|
-
Proof of the estimate 277 .
As with the proof of 245 above, it will be convenient to prove the somewhat more restrictive estimate:
|
(277)
|
This will again be done by essentially proving that this estimate is true for the potentials
contained in the right hand side of 274 , and then transferring that knowledge to
through that elliptic equation. A little care needs to be taken in this regard due to the effect of bad
frequency interactions coming from the
in the second term on the right hand side of 274 which sits by itself because the time derivative must be distributed. This all needs to be tempered against the fact that we need to recover enough in the low frequencies to apply
Strichartz estimates to integrate over the line segment
. The Lebesgue exponent which is important in this regard is the following:
|
(278)
|
The significance of
is that it is the smallest Lebesgue exponent such that one can recover an extra angular weight of
via running Bernstein from the Strichartz endpoint and still have an extra factor of
to spare for dyadic summing.
We proceed with our proof of 277 by first establishing a fixed time estimate.
Notice that the Besov norm
embeds into the spatial norm on the left hand side of 277 . Thus, our first step will be to establish the following fixed time estimate for
:
|
(279)
|
where
is the full space-time connection defined on lines 244 and 275 .
The important thing about estimate 279 is that we retain at least one copy of the operator
on the right hand side so that we may pass to an
integral via Cauchy-Schwartz. Our proof of 279 require that the bootstrapping constant
from line 126d is sufficiently small. Based on previous work, our task here is largely finished. Our first step here will be to differentiate the equation 277 as many times as necessary with respect to the operators
. Doing this and distributing the time derivative in the second term on the right hand side yields the equation:
|
(280)
|
| |
| |
| |
Our second step is to prove the intermediate estimate:
(281)
∥
(
M
−
1
∇
ξ
)
k
ω
C
~
0
(
t
0
)
∥
B
˙
1
,
10
n
∞
,
(
2
,
n
2
−
γ
)
≲
∥
(
M
−
1
∇
ξ
)
k
ω
A
(
M
)
~
(
t
0
)
∥
B
˙
2
,
10
n
q
γ
,
(
2
,
n
2
−
2
γ
)
+
∑
i
=
1
k
∥
(
M
−
1
∇
ξ
)
i
ω
C
̲
~
(
t
0
)
∥
B
˙
2
,
10
n
q
γ
,
(
2
,
n
2
−
γ
)
+
∑
i
=
1
k
∥
(
M
−
1
∇
ξ
)
i
∇
t
ω
C
̲
~
(
t
0
)
∥
B
˙
2
,
10
n
q
γ
,
(
2
,
n
−
2
2
−
γ
)
.
This in turn is a consequence of the three estimates:
|
(282)
|
|
(283)
|
|
(284)
|
|
(285)
|
|
(286)
|
|
(287)
|
Notice that these all combine to give 281 because the estimate 252 in conjunction with the assumption that
is sufficiently small allows one to absorb the first term on the right hand side of 287 into the left hand side. The proof of the first estimate, 282 above is a trivial consequence of the Besov nesting 42 , and the fact that we allow for an extra power of
to sum over the low frequencies to turn the
sum into and
sum.
The proof of 285 is the most involved, and is why we have been forced to work with the exponent
. There are several cases to consider, depending on whether or not the time derivative falls on the term containing at least one copy of the operator
. An inspection of the structure of the
term shows that these can all be taken into account through an application of the already established estimates 252 – 253 and 254 – 255 , and application of the bilinear embeddings:
|
(288)
|
|
(289)
|
A quick calculation shows that one has the needed gap bound (by condition 47 ):
for
sufficiently small when the dimension satisfies the bound
. For example, when
we have that
and
where
as
. Notice that there is not a whole lot of room in this. The other condition in 46 – 50 are easily verified in the above estimates. Notice that for the term in
where all the
derivatives, as well as the time derivative
fall on the linear potentials
, we use 252 and the first embedding 288 above, together with the easy bound (which follows from the truncation 126c ):
|
(290)
|
to conclude 285 for that portion of things.
To conclude our second main step in the proof of 279 , we need to establish the estimate 287 . To tie things down, we first need to know that
satisfies a critical estimate similar to 252 . This is:
|
(291)
|
This in turn is provided through applying the already established estimates 252 – 253 and 255 to the equation 274 with the help of the bilinear estimate 258 and the following embedding which follows as yet another special case of our general bound 45 :
|
(292)
|
Armed with the estimate 291 , we can proceed to prove 287 by applying the following bilinear estimates to the various terms contained in
:
|
(293)
|
|
(294)
|
We use the second embedding 294 in conjunction with the nesting 42 to derive the second term on the right hand side of 287 . We note that in estimates 293 – 294 , it is a simple matter to check the validity of the conditions 46 – 50 . We leave this as an exercise for the reader.
To complete this portion of the proof, we need to establish the implication 281
279 . This will be done once we can show that (keeping in mind the bounds of the form 290 ):
|
(295)
|
|
(296)
|
|
(297)
|
The estimate 295 is a simple consequence of applying the embedding 294 to the differentiated Hodge system 259 – 261 , while using the already established critical estimates 252 and 254 to tie things down. To prove the second estimate 297 above, we apply the time derivative
to the system 259 – 261 , and then employ the embeddings:
|
(298)
|
|
(299)
|
Notice that these estimates have the same small amount of room as 288 – 289 above when measuring the gap condition 47 for this set of exponents. Using 298 – 299 in conjunction with the already established estimates 252 – 253 and 254 – 255 , we may conclude 297 when the bootstrapping constant
is sufficiently small.
We have now established the estimate 279 . Integrating this in time, and applying a Cauchy-Schwartz with respect to the time integration and using the condition
, we have the estimate: 277
Therefore, to conclude the estimate 276 , we simply need to prove the bound:
|
(300)
|
At a heuristic level, this estimate is true because there is enough room in the norm
verses the bootstrapping norm 126d to save precisely
derivatives. This, used in conjunction with the truncation condition coming form the operator
, is enough to absorb the extra angular factor
produced by the unsmoothed derivative
. All throughout the calculation, the exponent
is high enough that the intrinsic angular singularity contained in the potentials
can be recovered by an application of Bernstein's inequality to the endpoint Strichartz spatial exponent
. We spell out briefly the details of this procedure as follows:
Freezing now the frequency and the number of
derivatives on the right hand side of 300 , and using the bootstrapping condition 126d , we see that it suffices to show the bound (note that 300 is already in square function form):
In fact, after a further localization in the angle, we will show that:
By an application of the Bernstein inequality, and recalling the definition 278 of the exponent
, this last estimate is a consequence of being able to show that:
(301)
∥
(
M
−
1
∇
ξ
)
i
∇
ξ
ω
Π
θ
P
μ
(
ω
A
(
M
)
~
)
∥
L
t
2
(
B
˙
2
,
10
n
2
(
n
−
1
)
n
−
3
,
(
2
,
n
2
−
2
γ
)
)
≲
θ
−
1
∥
P
μ
(
A
̲
∙
≪
1
)
∥
L
2
(
B
˙
2
,
10
n
2
(
n
−
1
)
n
−
3
,
(
2
,
n
−
1
2
)
)
.
Using now the heuristic operator bound 195 in conjunction with the Coulomb savings 196 and the heuristic symbol type bounds 256 , we have the following heuristic identity which follows our strict convention 58 :
Plugging this last bound into the left hand side of 301 , and rearranging the Besov weights, we have the estimate:
The truncation condition that
(note that
) now guarantees that we have the bound:
when
is sufficiently small compared to
. This completes the proof of 301 , and hence 300 , which in turn finishes our proof of estimate 277 . □
Having now established the symbol bounds 232 – 233 separately for each of the two terms in the product 234 . By using the Leibniz rule for derivatives, these together imply the bounds 232 – 233 for the full product on the left hand side of 234 .
This completes our proof of Proposition 9.1 . □
We now proceed to prove the second main estimate 217 for remainder kernel in the splitting 215 . This involves a sum of kernels, each of which according to the identities 226 – 227 has at least one copy of the terms
and
. Therefore, without loss of generality, we may assume that we are trying to prove the estimate:
|
(302)
|
where we have set:
We note here that the corresponding estimates for the other terms in
are similar and are left to the reader.
To prove 302 , we use following angular cutoff functions to split:
Therefore, using the triangle and Minkowski inequalities, we see that it suffices to prove the pair of bounds:
|
(303)
|
|
(304)
|
The proof of the first estimate, 303 , is a simple matter of integrating by parts as many times as necessary with respect to the weighted radial derivative
, taking account of the fact that
is independent of the variable
. Assuming that
is sufficiently large, we will eventually have that:
|
(305)
|
at which point we may stop the integration by parts and put absolute value signs around the remaining integral. The right hand side of 303 will then follow as a direct consequence of 305 and the simple bounds:
| |
| |
To conclude the proof of estimate 302 , we need to show the second estimate 304 above. At this point, we have stripped things down to where oscillations under the integral sign are no longer of any use, so we simply strive to estimate the absolute value of the integrand. Here the smallness of the function
is essential. To make use of this, we rearrange the order in the absolute integral and use Hölders inequality to bound:
304
(306)
(
L
.
H
.
S
.
)
≲
∫
S
n
−
1
sup
x
∈
D
σ
∥
ω
G
(
x
,
y
)
∥
d
ω
⋅
sup
ω
∫
R
x
n
χ
|
cos
(
θ
ξ
,
x
−
y
)
|
<
|
x
−
y
|
−
1
+
γ
(
x
)
χ
D
σ
(
x
)
d
x
.
To bound the second integral on the right hand side of the above product, we translate by the vector
and then apply a rotation to reduce the bound we wish to show to the following:
|
(307)
|
The validity of 307 follows trivially from the fact that if we split
, we have the bounds
and
over the range of integration thanks to the angular cutoff and the identity:
Thus, keeping in mind the bound 307 , we see from estimate 306 that the proof of 304 follows from a Cauchy-Schwartz on the sphere
and the following integrated bounds:
|
(308)
|
Due to its use in the next section, we will in fact show the following more general set of estimates which includes 308 as a special case:
Proposition 9.4 (Estimates for integrated remainder group elements ).
Let the group elements
be defined infinitesimally via the equations 222 – 223 and the Hodge system 224 , where the parameter
is replaced by
. Then upon integration, one has the following bounds:
|
(309)
|
|
(310)
|
where
is the bootstrapping constant from line 126d . The above estimates are uniform in the value of
when it is sufficiently large.
-
Proof of the estimates 309 – 310 .
As will become apparent to the reader, it suffices to show the first bound 309 , as the second follows from essentially identical reasoning.
Our first step here is to disentangle the products, and to work exclusively with either spatially separated or temporally separated products. This is accomplished via the following simple algebraic identity:
(311)
ω
h
−
1
(
t
,
x
)
ω
h
(
s
,
y
)
−
I
=
ω
h
−
1
(
t
,
x
)
ω
h
(
s
,
x
)
−
I
+
ω
h
−
1
(
t
,
x
)
ω
h
(
s
,
x
)
⋅
(
ω
h
−
1
(
s
,
x
)
ω
h
(
s
,
y
)
−
I
)
.
Working now, for the moment, with the second term in this last expression substituted into the estimate 309 we expand:
Integrating this last expression in
we are reduced to proving the following:
Lemma 9.5.
Let the (spatial) connection
be defined via the Hodge system:
|
(312a)
|
|
(312b)
|
where we have set:
|
(313)
|
and where the spatial connections
and
are defined on the lines 243 and 244 above. Then one has the following integrated estimate uniform in the parameter
:
|
(314)
|
-
Proof of the estimate 314 .
Our strategy here is similar to the previous lemmas. We first prove things for the linear term in 312b , and then use the critical embeddings 254 and 252 to transfer things to the connection
via the Hodge system 312 .
Our first step then is to show that:
|
(315)
|
In fact, we will show the following somewhat stronger estimate which will easily imply 315 , and which is more robust with respect to Hodge systems:
|
(316)
|
This last estimate is a simple matter of using Bernstein's inequality and orthogonality which will net us the factor
, followed by the condition that
at each fixed frequency thanks to the
multiplier which nets us the remaining powers of
. The implementation is as follows: We first decompose things into the sum over all frequencies
and angles
:
Keeping in mind the spatial frequency truncation of
, and by the square sum definition of the Besov norms, the triangle inequality, and dyadic summing, we see that it suffices to show the following fixed frequency estimate:
|
(317)
|
For each fixed
, we use Bernstein's inequality and the equivalence:
to compute that:
| |
| |
| |
Notice that this last line follows from the truncation condition
as well as the small constant bounds
. The proof of 317 is now a result of the following simple calculation involving Plancherel:
|
(318)
|
| |
| |
To finish the proof of 314 , we simply need to pass the estimate 316 onto the set of spatial potentials
. To do this, we set up auxiliary spaces
and
. From the estimates 254 and 252 we immediately have that:
|
(319)
|
|
(320)
|
where the index
is the exponent from the line 193 above. The desired result now follows from the bilinear estimate:
|
(321)
|
This is a simple consequence of the condition
which allows us to fulfill the condition 47 of the general embedding 45 . The result follows from integrating this bound in
. □
We now turn our attention to proving the bound 309 for the temporally separated product which is the first term on the right hand side of equation 311 above. Expand the integrand here an the derivative of another integral over time line, we have that:
After integrating in
the right hand side of this last expression, we see that we are reduced to proving that:
Lemma 9.6.
Let the quantity
be defined implicitly via the elliptic equation:
(322)
ω
C
~
~
0
=
ω
A
0
(
M
)
~
~
−
∇
t
Δ
−
1
(
[
ω
A
̲
(
M
)
~
~
,
ω
C
̲
~
]
+
[
ω
A
̲
(
M
)
~
,
ω
C
̲
~
~
]
)
−
d
*
Δ
−
1
(
[
ω
C
~
~
0
,
ω
C
̲
~
]
+
[
ω
C
~
0
,
ω
C
̲
~
~
]
)
,
where we have set:
|
(323)
|
and where the connections
and
are as in Lemma 9.5 , and where the quantity
is defined on line 275 above. Then one has the following integrated estimate uniform in the parameter
:
|
(324)
|
-
Proof of the estimate 324 .
As in the proof of the previous Lemma, our goal here is to first prove the
improvement of this claim for the terms on the right hand side of the equation 322 which do not involve the variable
. The desired bound can then be achieved via iteration or bootstrapping using the bilinear estimate 321 and the estimate 320 to deal with the term involving
on the right hand side of 322 . Therefore, we are trying to show the following three estimates:
|
(325)
|
|
(326)
|
|
(327)
|
The proof of the first estimate 325 is essentially identical to that of 316 above, once one takes into account the truncation condition 126c . The proof of the second estimate 326 follows from the
bound proved for the potentials
proved in the previous lemma, the bilinear estimate 321 , and the following:
which is a direct consequence of 291 above.
Therefore, it remains for us to prove the last bound 327 . Unfortunately, this does not follow directly from the procedure we have been using so far. The trouble is that the time derivative
will in general not cancel with the Laplacean, and it is not possible to prove a bilinear estimate which is morally of the form
due to bad
frequency interactions in dimension
. The only way around this seems to be to do something which is quite a bit more involved. The way we will prove 327 is in a series of steps designed to reduce things to a term which, in some sense, represents the central difficulty.
This last term will be dealt with using a scale of non-isotropic spaces which are similar to the ones employed in the proof of Lemma 9.2 above. The argument we will present here is largely ad-hoc, and there are many variations. Furthermore, we will proceed by proving certain estimates which may be cut out at this stage of the overall paper but will turn out to be useful in the sequel.
The first step we make here is to recall that, although we have been suppressing it, there is additional polarity information in the definition of the connections
(see 197 ). This comes from the choice of null vector-field
. For convenience, we will use here an implicitly defined notation which we call
, to denote the opposite vector-field for any given choice of polarization. That is, we always have the formula:
|
(328)
|
Now, for a given choice of polarization, we can always write
.
Therefore, modulo proving estimates which are identical to those Lemma 9.5 above, and distributing the
derivative, we that the proof of 327 can be reduced to the proof of the following three bilinear estimates:
|
(329)
|
|
(330)
|
|
(331)
|
Our first step is to prove the estimates 329 – 330 . To do this, we introduce the auxiliary index:
|
(332)
|
We now show that one has the following improvements over the estimates 255 , 253 :
|
(333)
|
|
(334)
|
With the help of 333 – 334 , the proof of the estimates 329 – 330 follows from the
bound shown in the previous Lemma, and the following bilinear embedding:
|
(335)
|
Notice that the validity of this last estimate follows from the condition 47 , because for
we have the index bounds:
which follows easily from the definitions of
. To prove 333 – 334 we proceed by first showing 333 , and then use the Hodge system 243 to show that 333 334
.
The details follow.
We are now trying to show 333 . We use the identity 328 and the definition 244 and the structure equation 126e to compute that:
(336)
ω
L
̲
ω
A
̲
(
M
)
~
=
∇
x
ω
Π
¯
M
−
1
<
∙
ω
Π
¯
(
1
2
−
δ
)
A
̲
∙
≪
1
(
∂
ω
)
−
∇
x
ω
Π
¯
M
−
1
<
∙
ω
Π
¯
(
1
2
−
δ
)
Δ
ω
⊥
−
1
P
~
(
[
B
,
H
]
)
(
∂
ω
)
.
The estimate 333 for the first term on the right hand side of this last expression is a trivial consequence the
bound (at fixed time) for that term which is provided through the energy type norm contained in the bootstrapping assumption 126d , and the Besov nesting 42 . Therefore, we strive to bound the second term on the right hand side of 336 above. To do this, we first decompose things into a sum over all possible angles spread from the
direction and write:
For each angularly localized piece in this last expression, we may make use of the Coulomb savings 196 to show the following heuristic multiplier bound (again making use of our convention explained below 58 above):
Therefore, dropping the small frequency multiplier, our goal is to show the following fixed angle estimate:
Using Bernstein's inequality on each fixed dyadic block in the Besov nesting 42 , and making use of a small numerical calculation which we leave to the reader, one finds that this last estimate is a consequence of the following non-localized Besov space estimate:
This last bound is now a consequence of the bootstrapping structure estimate 126f and the following bilinear embedding:
Notice that the reason we are forced to work with the relatively high space
is because of
frequency interactions. This is why we are forced to work in the less aesthetic space
above instead of
. This completes the proof of 333 .
Our next step is to establish the implication 333 334
. This follows immediately from differentiation of the Hodge system 243 with respect to the
vector-field, and then using the following bilinear estimate to bootstrap:
We leave it to the reader to check that the various conditions of estimate 45 are satisfied in this case.
It remains for us to show the bound 331 . To make this a bit easier, we employ the skew symmetry of the Lie brackets in that expression to write it as:
From this we see that the proof of 331 will follow once we can establish the three separate estimates:
|
(337)
|
|
(338)
|
|
(339)
|
To prove the first estimate 337 above, we make use of the fact that
obeys a better bound than either term in that expression does individually:
|
(340)
|
where we have set the index
to be:
The proof of 340 follows immediately from the entirely quadratic structure of the terms in the expression
, in conjunction with following bilinear estimate whose proof is a simple consequence of the definition of the
indices, 193 , and the general embedding 45 :
Furthermore, by taking the
derivative of the potentials in the estimate 317 , and making use of the truncation condition 126c , we easily have the following:
|
(341)
|
The proof of 337 now follows from combining estimates 340 and 341 in to the following bilinear embedding whose validity follows easily from 45 and the condition
(say for
or higher):
|
(342)
|
We have now come to the point where the current techniques reach an impasse.
Notice that while the terms
and
do seem to have a better structure at first glance via the equation 336 , it is surprisingly difficult to pass this into integrated estimates of the form 317 . This is because while the linear term on the right hand side of 336 is quite nice, the only saving grace of the quadratic term in that expression is that it can go in lower spatial
space, which is not particularly useful when half of the needed savings in the estimate 317 comes form orthogonality (meaning that anything below
gets wasted). A way to get rid of this problem is to employ non-isotropic spaces. Specifically, we define the norm:
Our goal is now to show the following estimate which represents a more manageable form of the differentiated version of 316 :
|
(343)
|
Having done this, our next goal will be to pass on estimates of this form on to the non-linear potential
. For reasons which will become apparent in a moment, it is more convenient to state this estimate for the following sum of spaces:
|
(344)
|
Once this is accomplished, the proof of 338 – 338 will follow from the two bilinear estimates:
|
(345)
|
|
(346)
|
Here the space in the first term in the product on the left hand side of 345 above is given by the norm:
That the set of potentials
is in this space with norm
follows from the explicit formula 244 and the Coulomb gauge savings 196 . Having now outlined the general strategy, we move to the proofs of the individual estimates.
To prove 343 we use the spatial truncation condition 158 , the triangle inequality, and dyadic summing to reduce things to the following single frequency estimate:
|
(347)
|
Now freeze
and run a Littlewood-Paley decomposition in the
frequency plane:
| |
|
(348)
|
where the last line follows from the truncation condition 126c and our heuristic multiplier convention. Notice that the sum restriction in these formulas comes because of the presence of the cutoff
. The extra
factor comes from this same angular cutoff and the Coulomb gauge savings 196 . Working now with the right hand side of 348 , we use Bernstein's inequality and dyadic summing to compute that:
| |
| |
| |
| |
Integrating now this last line in
, and using the orthogonality computation which began on line 318 above we have achieved 347 as was to be shown.
Our goal is now to pass the estimate 343 on to potentials
modulo terms which are in the more regular space
. To do this, we differentiate the system 312 with respect to the vector-field
, and write it heuristically as:
Therefore, the desired bound will follow from a bootstrapping argument the estimates 343 , 319 – 320 , and 333 – 334 with the help of the following three bilinear estimates:
|
(349)
|
|
(350)
|
|
(351)
|
The estimates 349 – 350 are again an integrated form of the general Besov embedding 45 , and we leave it to the reader to check that the indices
are in the right range to satisfy the conditions 47 – 50 . It remains for us to prove the inclusion 351 .
We do this now. Let
and
be two test matrices. By performing a trichotomy, we see that it suffices to prove the following three frequency localized summation estimates for fixed values of
:
|
(352)
|
|
(353)
|
|
(354)
|
|
(355)
|
|
(356)
|
|
(357)
|
The proof of 353 – 357 is essentially identical to the proof of the three estimates 265 – 269 we have shown earlier, although the proof of the last estimate 357 requires a slightly more delicate argument due to the presence of additional low frequency weights. We leave 353 – 355 to the reader. To show the last estimate above, we follow the proof of 269 which begins on line 271 , although we do so without throwing away the
multiplier so soon. This leaves us with the fixed frequency estimate, which we expand out into all frequencies in the
variable, calling the appropriate multipliers
:
| |
| |
|
(358)
|
Now we use the fact that the multiplier
only acts in the
variable. In that variable its action can be written in terms of a kernel
which has uniformly bounded
norm (in terms of the parameter
) and has amplitude
.
Therefore, via Young's and then Hölder's inequality, and a little dyadic summing, this allows us to bound:
358
| |
| |
| |
| |
This last line and the condition
allows us to safely make the sum on the left hand side of 357 and then proceed via Cauchy-Schwartz to arrive at the desired bound. This completes our proof of the bilinear estimate 351 .
The last thing we need to do here is to prove the two final estimates 345 and 346 .
The second of these is of course simply an integrated version of the general estimate 45 . Therefore we concentrate on proving the first. To do this, we proceed as we did in the proof of estimate 351 and run a trichotomy on a product of test matrices
. This leaves us with establishing the three estimates (forgetting about the extra high frequency weights which are not central):
|
(359)
|
|
(360)
|
|
(361)
|
The proofs of the two
interaction estimates, 359 – 360 , are both similar and very simple. They follow from the pair of
estimates:
|
(362)
|
|
(363)
|
The proof of 362 follows easily from the kind of angular decomposition and Bernstein inequality tricks used to prove estimate 192 above. To prove the second estimate 363 , we let
again denote a family of frequency cutoffs in the
variable and we compute via Bernstein:
| |
| |
| |
Using now 362 – 363 we have the pair of fixed frequency bounds:
| |
| |
and:
| |
| |
These may easily be summed over the respective ranges on the left hand side of 359 – 360 to yield the desired bounds.
Our final task here is to establish the
frequency interaction estimate 361 . This is where the non-isotropic spaces really shine. In what follows, we let
denote a frequency cutoff in the
frequency plane, and
a cutoff in the orthogonal direction. We compute that:
| |
| |
| |
| |
| |
| |
| |
Notice that the last line above follows from the
Sobolev embedding in the
plane. This estimate can now be safely summed using the condition that
to sum over the lower dyadics, and then using Cauchy-Schwartz to sum over the frequency localized pieces. This completes our proof of the bilinear estimate 351 , and hence our proof of the integrated bound 324 . □
Having now established the proof of both the integrated bounds 314 – 324 , we have proved the integrated group element bounds 309 – 310 . This ends our proof of Proposition 9.4 . □
9.1 Proof of the Accuracy estimate 178d
We will now give a short proof of the multiplier equivalence bound 178d . This will follow almost directly from the estimates we have already shown. We compute the kernel of the operator
to be (again suppressing
notations):
(364)
K
α
(
x
,
y
)
=
∫
R
n
e
2
π
i
(
x
−
y
)
⋅
ξ
ω
g
−
1
(
x
)
ω
g
(
y
)
[
∙
]
ω
g
−
1
(
y
)
ω
g
(
x
)
χ
α
(
ξ
)
d
ξ
−
∫
R
n
e
2
π
i
(
x
−
y
)
⋅
ξ
[
∙
]
χ
α
(
ξ
)
d
ξ
,
where
. Notice that this cutoff function satisfies the general requirements of the generic bump function
used throughout this section.
In particular, there exist constants
which depend only on
and the original
such that:
|
(365)
|
We now decompose the kernel
according to the dyadic physical space decomposition 213 . For each fixed value of the small constant
on line 178d we write this sum in terms of two pieces, a “close” part and a “far” part:
|
(366)
|
| |
To estimate the near portion of things, we do a little algebraic manipulation and write the kernel as:
By a direct application of the pair of integrated bounds 309 – 310 (with
) this last expression gives us the absolute kernel bound:
By integrating the right hand side of this last inequality we easily arrive at the pair of Schur-test bounds:
|
(367)
|
To estimate the second kernel on the right hand side of 366 , we do things separately for each term in the sum 364 . For the second term, which does not contain the group elements, a simple application of the estimate 365 and integration by parts shows that one has the absolute bounds:
|
(368)
|
| |
| |
This easily yields Schur-test bounds of the form 367 . Therefore, it remains to prove these bounds for the first integral expression on the right hand side 364 after it has been cut off in the far region
. This follows at once from writing this kernel as a sum over various dyadic regions, and using the symbol bounds 229 – 230 as well as the reduction to the integrated estimates 309 – 310 . The key thing to notice is that there are only two places where we do not pick up the factor of
in the resulting estimates. The first is in the main integration by parts argument when the derivatives
all fall on the cutoff function
. In that case we can simply use the compactness of the group elements and proceed in a way that is analogous to the computation which started on line 368 above. The second place is where we estimate the integral 303 . In that case we can easily upgrade the bound 305 to have the factor
on the right hand side. We are then essentially in the same situation as was reached starting on line 368 above. This completes our proof of the general multiplier approximation estimate 178d .
10 The Dispersive Estimate
In this section, we complete our proof of the non-microlocalized version of the Strichartz estimates contained in 178a . Using the abstract machinery of [4] , these will follow once we can show that the parametrix 184 satisfies a dispersive estimate.
If at fixed time
we write that operator as:
where we have suppressed the
notation, then we seek to prove the bound (where
has nothing to do with the original
, but just represents a function of the physical space variables):
|
(369)
|
Now, a calculation similar that used to produce 211 shows that the kernel of the above operator can be computed to be:
(370)
K
T
T
*
(
t
,
s
;
x
,
y
)
=
∫
R
n
e
2
π
i
(
(
t
−
s
)
|
ξ
|
+
(
x
−
y
)
⋅
ξ
)
ω
g
−
1
(
t
,
x
)
ω
g
(
s
,
y
)
[
∙
]
ω
g
−
1
(
s
,
y
)
ω
g
(
t
,
x
)
χ
(
ξ
)
d
ξ
.
Therefore, as is usually the case, we see that it suffices to show the fixed time uniform bound:
|
(371)
|
The proof of 371 turns out to be a straightforward consequence of the bounds established in the previous section. The strategy we follow here is almost identical.
We first decompose the
kernel into a sum of two pieces:
for which we'll show the bound 371 individually. The
kernel will be smooth enough that we can use a standard stationary phase computation on it.
The remainder kernel
will be small in absolute value without using any sophisticated integration by parts (although, as in the previous section, there will be some use for oscillations in this term also). As in the previous section, the definition of
will depend on a physical space scale, in this case the value of
. This will again be effected by the choice of an auxiliary gauge transformation
. This time we define
to be the transformation into the Coulomb gauge of the smoothed out potential:
|
(372)
|
where we define the scale
to be such that:
As before, we use the splitting 226 – 227 to compute:
(373)
K
~
T
T
*
(
t
,
s
;
x
,
y
)
=
∫
R
n
e
2
π
i
(
(
t
−
s
)
|
ξ
|
+
(
x
−
y
)
⋅
ξ
)
ω
g
~
−
1
(
t
,
x
)
ω
g
~
(
s
,
y
)
[
∙
]
ω
g
~
−
1
(
s
,
y
)
ω
g
~
(
t
,
x
)
χ
(
ξ
)
d
ξ
.
Our first step here is to notice that it suffices to show 371 for the kernel 373 under the condition that
, for if this were not the case then we could simply integrate by parts as many times as necessary with respect to the variable
in the expression 373 and easily achieve 371 . Therefore, we will now show that:
|
(374)
|
We now factor the phase in 373 as:
where we are using the frequency polar coordinates
. Integrating first on the sphere
, we see that to conclude 374 it is enough to show that:
(375)
∥
∫
S
n
−
1
e
2
π
i
λ
|
x
−
y
|
cos
(
Θ
x
−
y
,
ω
)
ω
g
~
−
1
(
t
,
x
)
ω
g
~
(
s
,
y
)
[
∙
]
ω
g
~
−
1
(
s
,
y
)
ω
g
~
(
t
,
x
)
d
ω
∥
≲
|
x
−
y
|
−
n
−
1
2
.
This last estimate will follow easily from the Morse lemma and the already established symbol bounds 232 – 233 . To implement this, we first cut off the above integral into small neighborhoods of stationary points of the phase and a remainder. We do this with the smooth partition of unity:
The cutoff
cuts off on the region where
is bounded away from
, and there we have the gradient estimate:
for a sufficiently small constant
. Using this, and integrating by parts
times while using the symbol bounds 232 – 233 , we easily have that:
This proves 375 because we may assume that
. Our goal is now to prove the localized estimate:
It will become clear that the corresponding estimate for the region where
follows from identical calculations.
Now, the angular function
has a single non-degenerate critical point in a neighborhood of the unit vector
with index
. Therefore, by the Morse lemma there exists a diffeomorphism
in a neighborhood of this point such that:
By making this change of variables, we see that we are trying to prove that:
Here
denotes the Jacobian matrix of
, and
is some smooth function which is supported where
. Making now the simple change of variables
, it suffices to be able to show that:
(376)
|
|
|
∫
R
n
−
1
e
2
π
i
|
θ
′
|
2
φ
~
(
θ
′
)
g
~
−
1
(
t
,
x
)
φ
~
(
θ
′
)
g
~
(
s
,
y
)
[
∙
]
φ
~
(
θ
′
)
g
~
−
1
(
s
,
y
)
φ
~
(
θ
′
)
g
~
(
t
,
x
)
J
~
(
θ
′
)
d
θ
′
|
|
|
≲
1
.
Here
denotes a smooth function with (large) compact support and uniform gradient bounds:
Furthermore, the function
obeys the gradient bounds:
Combining this last estimate with the symbol bounds 232 – 233 and the truncation condition
, we have the uniform gradient estimates:
| |
| |
Using these bounds, we can prove the bound 376 by treating the quantity on the left hand side as a Fresnel-type integral and performing
integrations by parts in the region where
.
To complete our proof of 371 we need to show that:
|
(377)
|
where
is the kernel which is defined by subtracting 373 from 370 . Using the splitting 226 – 227 we see that this has at least one factor involving the expressions
or
under the integral sign. There are several such combination, but we will choose to estimate only one such term and leave the others to reader as they can be treated analogously. Therefore, we may without loss of generality assume that we are trying to prove the bound:
(378)
∥
∫
0
∞
∫
S
n
−
1
e
2
π
i
λ
(
(
t
−
s
)
+
(
x
−
y
)
⋅
ω
)
ω
G
(
t
,
x
;
s
,
y
)
χ
(
λ
)
λ
n
−
1
d
λ
d
ω
∥
≲
(
1
+
|
t
−
s
|
)
−
n
−
1
2
,
where we have set:
As in the proof of 371 above for the smoothed out kernel
, we may without loss of generality assume that we trying to prove 378 in the region where
because otherwise we may integrate as many times as necessary with respect to the radial frequency variable to pick up the desired decay.
To proceed further, we will first decompose the range of frequency integration into a small set and a remainder where we can again integrate by parts with respect to
. This is accomplished by using the angular partition of unity:
To deal with the bound 378 for the first cutoff function above, we need to show that:
This bound follows easily from radial integration by parts in the inner integral, followed by the simple compactness estimate:
which is of course uniform in the variables
.
To wrap things up here, we need to show the absolute estimate:
After a Cauchy-Schwartz, this will follow once we can establish that both:
|
(379)
|
|
(380)
|
The first estimate, 379 follows from elementary bounds. Notice first that after a rotation, it suffices to assume that the vector
lies along the
direction.
Then the cutoff function is supported in the region where:
which is a conical set about the
-axis of volume no greater than a constant times
in the region where
. The second estimate 380 above we have already shown. It is a special case of the bound 309 which was proved in the previous section. This completes our proof of 377 , and hence our demonstration of the dispersive estimate 371 .
11 The Decomposable Function Spaces: Proof of the Square-Sum and Differentiated Strichartz Estimates
We now introduce a piece of machinery which will be of central importance for the remainder of the paper. This is a suitable reinterpretation of the important “decomposable function” criterion from the work [8] . In our context, we set up the general situation as follows: Suppose we are given an
valued Fourier integral operator:
|
(381)
|
where the
are arbitrary matrix valued functions, such that this operator satisfies certain mixed Lebesgue space mapping properties (uniform in
):
|
(382)
|
where
is the same operator as 381 but with phase
replaced by
. Suppose now that we are given a matrix valued function
which only depends on the angular variable
in frequency. We would like to prove estimates for the coupled operator (we only discuss left multiplication here, the case of right multiplication is analogous):
|
(383)
|
These should be done in a way that the decay properties of the function
can be used to improve the range of the estimates 382 . A robust way for doing this has been worked out in the paper of Rodnianski–Tao [8] . The answer is to fix an angular scale, say
, and then to form the norm (“classical” decomposable norm):
|
(384)
|
By decomposing the frequency variable in 383 into angular sectors of size
, a straightforward computation then shows that one has the estimate:
|
(385)
|
whenever estimate 382 holds with
and
.
There are two problems which occur when trying to apply 384 in the present context. The first is that this norm is for a single scale, which causes problems in products where many different scales interact with each other. The other problem, which is conceptually much more serious, is that the estimate 384 contains the highly singular factor of
, which needs to be eliminated with a delicate orthogonality argument, the kind which is not preserved in this problem for a variety of reasons (non-linear Hodge systems, a covariant wave equation that does not commute with angular cutoffs, etc). However, with only a slight reworking the basic idea behind 384 can be shown to be surprisingly robust. First of all, for a fixed scale we replace 384 with a square function norm which has the same effect, and which will be very easy to verify in the present context. Since we will be using multiple scales in a moment, we introduce the solid angular cutoff functions
(not to be confused with the hollow multipliers
introduced in Section 4 ), such that:
|
(386)
|
when
, for the angular sector
which we interpret as a cap in a finitely overlapping collection on the sphere
. Here the scale is determined by the condition
. On this scale, we replace 384 with the norm:
|
(387)
|
It is not difficult to see that by decomposing the integral on the right hand side of 384 into fine and course scales, and applying Hölder's on the fine (continuous) scales, that the Rodnianski-Tao norm 384 with the time integral on the outside is bounded by the norm 387 . Furthermore, it is easy to see from the proof given in [8] that having the time integral on the outside does not effect the bound 385 so long as the index
implicitly appearing in this bound is such that
. This allows one to use Minkowski's inequality to pull the square sum on the parametrix through the time integral. For us this index condition will always hold because we are working with Strichartz type norms. We leave it to the reader to work out the details of these claims.
We now form an
Banach space based on incorporating the norms 387 over all dyadic angular scales
. The elements of this space we denote by
, and we define its norm
norm as:
|
(388)
|
There is also the forgetful map from the space
to functions which define as:
|
(389)
|
and we will in practice abusively identify
with
via the map 389 . The main point is that given any function
, there may be a variety of ways which we embed
in the space
, and it is up to the structure of the application to decide how this should be done. Of course, given the square function norms 116 we are working with, our choice here is somewhat canonical.
Now, if we consider the
in 389 as embedded in the integral 383 , we easily have the estimate:
|
(390)
|
We also form spatial Besov versions of the norm 390 , which we denote as
.
This leads us to the basic notation of this section:
Definition 11.1.
For a given matrix valued function, we say it is in the decomposable space
if the following norm is finite:
|
(391)
|
We also define the low frequency analog of these spaces, which we denote by
, similarly.
We remark here that it is easy to see that the norm 391 leads to a Banach space. This will be important in a moment. Also, it is easy to show that the various Besov-Lebesgue space inclusions 42 – 44 hold for these spaces if we define
analogously to 391 . This is a simple consequence of the fact that the Littlewood-Paley theory commutes with the derivatives
. We now show that this space satisfies the expected range of bilinear Riesz operator estimates:
Lemma 11.2 (A decomposable Besov calculus).
Let the indices
,
, and
be given. Then one has the following family of bilinear estimates:
|
(392)
|
where the various indices satisfy the conditions:
|
(393)
|
|
(394)
|
|
(395)
|
|
(396)
|
|
(397)
|
|
(398)
|
-
Proof of estimate 392 .
The proof of 392 is largely a triviality given that it is true for the norms
without the decomposable structure. First of all, notice that from the definition 11.1 it suffices to establish things with the norms
replaced by their vector generalizations
.
This follows at once from working with two test matrices
and
and decomposing them into sums:
| |
where the
and
collections have norms no greater than twice that of
and
respectively.
Suppose now that we are given two test elements
and
. The we write their product under the map 389 as:
|
(399)
|
| |
| |
Freezing the scale
, we will prove the following two estimates:
|
(400)
|
|
(401)
|
We will only concentrate on 400 , as the second estimate above follows from virtually identical reasoning. Expanding out the sum in
, it suffices to show:
(402)
∥
|
D
x
|
−
σ
(
A
(
θ
1
)
⋅
C
(
θ
)
)
∥
D
θ
(
L
t
q
3
(
B
˙
1
r
3
,
(
2
,
s
3
)
)
)
≲
∥
A
(
θ
1
)
∥
D
θ
1
(
L
t
q
1
B
˙
2
r
1
,
(
2
,
s
1
)
)
⋅
∥
C
(
θ
)
∥
D
θ
(
L
t
q
2
B
˙
2
r
2
,
(
2
,
s
2
)
)
,
where we have the condition
. We now compute the norm on the right hand side of this last equation. For the remainder of the proof we fix the time variable.
This can then be dealt with at the end by integrating in time and using Hölders inequality because all of the action in the norms 387 takes place under the time integral. To proceed, we first fix the angular sector
and the number of
derivatives to compute that:
| |
| |
| |
Square summing this last expression over angular sectors, and adding over all
we arrive at the estimate:
We can now conclude 402 on account of the condition
which implies the trivial bound:
| |
| |
| |
This completes our proof of the estimate 392 . □
We now establish the link which relates the norms 391 to the
norms we have proved for the parametrix
:
Lemma 11.3 (Core decomposable estimates for the potentials
and
).
Let the sets of potentials
and
be defined as on lines 197 , 200 , and 201 above. Then one has the following family of decomposable bounds:
|
(403)
|
|
(404)
|
|
(405)
|
|
(406)
|
where
and
are the dimensional constants from lines 193 and 278 above. Furthermore, one has the following improved null-differentiated space-time bounds:
|
(407)
|
|
(408)
|
In all of these estimates, the small constant
is the same as on lines 126d and 126f above.
-
Proof of the estimates 403 – 408 .
With the current setup, the proof of these bounds is very simple and repeats many of things we have already done in previous sections.
Starting with the estimates 403 – 404 , we see that using the truncation condition 126c it suffices to prove the first collection, as the time differentiated versions will follow from these with little fuss. We now follow essentially the same steps used to prove estimates 192 and 300 . The only difference here is that we incorporate the square function norms contained in the
spaces. In what follows, we will in fact only prove the space-time estimate which is the second bound on the right hand side of 403 above. The first bound on this line follows from similar reasoning and is left to the reader. The first step is to define the scale decomposition (we now ignore
notation for the remainder of the proof ):
Our goal is now to prove the following fixed time bounds which can easily be summed over and then integrated to achieve the desired goal:
By using the square function structure contained in the definition of the various Besov and decomposable Besov norms and taking into account the low frequency truncation of the potentials
and
, the proof of this last estimate reduces to the fixed frequency bound:
Expanding now the decomposable norm on the left hand side of this last inequality, we see that the proof reduces to showing the square function bounds:
(409)
∑
k
=
0
10
n
∑
φ
sup
ω
∥
b
φ
¯
θ
(
ω
)
(
θ
∇
ξ
)
k
ω
Π
θ
P
μ
ω
A
(
t
)
∥
2
B
˙
2
q
γ
,
(
2
,
n
−
1
2
)
≲
θ
2
γ
∑
φ
:
ω
0
∈
Γ
φ
∥
ω
0
Π
~
θ
P
μ
A
̲
∙
≪
1
(
t
)
∥
2
B
˙
2
2
(
n
−
1
)
n
−
3
,
(
2
,
n
−
1
2
)
,
where
is a fixed thickening of the multiplier
such that one has the general quasi-idempotence bound:
|
(410)
|
where
is any multiplier with frequency support contained in the frequency support of
whose convolution kernel satisfies comparable
bounds. Here the statement that
is taken to mean that
is in the center of the cap
, the very same notion we used in the definition of the square function norms 116 above.
Using now the general bound 410 as well as the heuristic multiplier identity:
we have the bound: 409
The estimate 409 now follows from the Bernstein nested-Besov inclusion:
Our next goal is to pass the estimates 403 – 404 on to the non-linear set of potentials
. Since it is a-priori not clear that these functions have finite
norms, we construct the bounds from scratch by running a contraction mapping argument in these spaces on the Picard iterates of the systems 200 and 201 . To guarantee convergence of the resulting sequences, we make use specific instances of the general embedding 392 . Our general strategy here is the following. We first establish the non-time differentiated estimates 405 for the spatial potentials
. Then, assuming the non-time differentiated versions of the improved estimates 407 – 408 (whose proof relies only on the previously established bounds) we prove the time-differentiated estimates 406 . Having established these, we then prove the estimates 405 for the temporal potential
. Our next order of business is to prove the non-time differentiated versions of the improved null-differentiated bounds 407 – 408 . Finally, armed with all of this, we show the version of the estimates 407 – 408 which contain the extra time derivatives. In what follows, we will only list out the various bilinear estimates which yield the desired bounds. Since these are almost identical to many of the estimates we have dealt with in the past sections, we leave the verification of the numerology to the reader.
To prove the non-time differentiated versions of 405 for the collection
we use the pair of bounds:
|
(411)
|
|
(412)
|
To establish the first bound on line 406 we first differentiate the Hodge system 200 with respect to time and then apply the embedding:
|
(413)
|
To prove the time integrated bound which is the second on line 406 we decompose the vector-field
into
just as we did starting on line 328 above. Then, modulo estimates of the form 412 , and assuming that we have shown the non-time differentiated versions of 407 – 408 we may reduce things to the embedding:
|
(414)
|
Our next step is to prove the estimates 405 for the temporal potential
. By an inspection of the elliptic equation 201 , we see that modulo embeddings of the form 411 – 412 and the bounds we have already shown, we only need to establish things for the term
. Again expanding the time derivative as
and distributing the
derivative via the Leibniz rule, we are reduced knowing the following (which just represent another form of the embeddings 413 – 414 ):
|
(415)
|
|
(416)
|
Finally, we wish to show the improved bounds 407 – 408 . We work recursively here. First, we assume that the non-time differentiated versions of these estimates are valid. By the truncation condition 126c , we see that the proof of the estimate 407 with the extra operator
follows from the proof of this estimate without that operator. Thus, our aim is to establish the estimate 408 in the presence of the extra
derivatives. Applying this operator to the
differentiated Hodge system 200 , we see that things can be handled with the help of the two bilinear inclusions:
|
(417)
|
|
(418)
|
Notice that the numerology in these last two estimates is a bit tight in
frequency regime. In particular, the condition 394 only has room of about
in
dimensions. The next item on the stack for us is the estimates 407 – 408 without the extra derivative
. Assuming for the moment that this is true for 407 , we see that the proof of 408 in this case follows easily from
differentiating the Hodge system 200 and applying a less singular version of the estimate 417 .
Therefore, we are now at the point where everything has been reduced to the proof of the first estimate 407 . To do this we apply the following instance of the identity 336 :
|
(419)
|
The estimate 407 for the first term on the right hand side of 419 is very simple and left to the reader. It follows from steps similar to the proof we gave above of the estimates 403 . Notice that there are no singular angular factors here so there is a lot of room in this estimate if one takes into account the extra Coulomb savings 196 .
We are now trying to prove 407 for the second term on the right hand side of 419 which we decompose into angular scales as:
|
(420)
|
By the definition of the norm 391 and using some dyadic summing, we see that it suffices to bound and then sum over the fixed time-fixed frequency expressions:
(421)
∥
∇
x
ω
Π
θ
ω
Π
¯
(
1
2
−
δ
)
Δ
ω
⊥
−
1
P
~
(
[
B
,
H
]
)
(
∂
ω
)
(
t
)
∥
D
(
B
˙
2
,
10
n
p
γ
,
(
2
,
n
−
3
2
)
)
,
=
(
∑
k
=
0
10
n
∑
φ
sup
ω
∥
b
φ
¯
θ
(
θ
∇
ξ
)
k
∇
x
ω
Π
θ
ω
Π
¯
(
1
2
−
δ
)
Δ
ω
⊥
−
1
P
~
(
[
B
,
H
]
)
(
∂
ω
)
(
t
)
∥
2
B
˙
2
,
10
n
p
γ
,
(
2
,
n
−
3
2
)
)
1
2
.
For each fixed value of
, and for each fixed spatial frequency
we have the following heuristic multiplier bound one the Coulomb savings are taken into account:
Taking this into account, and using the same multiplier reductions used to prove 409 above, we have the inequality:
421
| |
| |
|
(422)
|
This last set of inequalities results from the localized Besov inclusion:
an orthogonality argument. Integrating the bound 422
in time, and using some dyadic summing, we see that our proof of 407 is reduced to showing the following:
Keeping in mind the bootstrapping estimates 126f , we see that this last line is simply a more singular version of the embedding 136 shown above. In the
case the proof follows from 137 . In the
case there is even more room and one can again use something similar to 137 . In the
case we use the embedding:
where
. This last bound follows from the general frequency localized embedding 52 . Note that in dimensions
we have the necessary condition
. This completes our proof of the estimate 407 and therefore our demonstration of Lemma 11.3 . □
11.1 Proof of the Square Sum Strichartz Estimates
We now come to what is perhaps the linchpin of our argument. These are the square sum structure estimates contained in 178a . With the current machinery in hand, these will be quite easy to establish. At the heart of things is whether the angular multipliers
“commute with the dynamics” of the covariant wave operator
. At a quick first glance using Duhamel's principle, this seems to be connected with whether one can control the commutator
. Unfortunately, it is not too difficult to see that one runs into serious difficulties as soon as
.
This is not the end of the story however, because it turns out that modulo a very nice error term, one can control the commutator with the “integrated” form the equations
. This shows one of the deep advantages to working with the parametrix as opposed to dealing directly with the equations themselves10
. We proceed as follows.
Our first step is to fix a scale
and run a cap decomposition
. The next thing we do is to decompose the parametrix
into a sum of three pieces:
| |
| |
| |
Here:
is a low-high frequency decomposition of the group element
. We define the decomposition for
similarly. Our goal is now to prove the following three estimates:
|
(423)
|
|
(424)
|
|
(425)
|
The proof of the first bound 423 follows easily from the plain endpoint Strichartz estimate we have already established. To see this, first notice that for a fixed angle one has the identity:
where
for some fixed thickening
of the spherical cap that
.
That this is the case follows easily from the fact that the Fourier transform of the function:
is a tempered distribution with support contained in an
neighborhood of the point
for some small constant
, uniform in the value of
. Using now the boundedness of the multiplier
, we only need to establish that the truncated parametrix
obeys the endpoint Strichartz estimate. We reduce this claim further by writing the integral in the form:
where
and
denote the translated group elements. Using the fact that the convolution kernel
has
norm uniform in the value of
, we are left with establishing the
and dispersive estimates of the previous sections for more general kernels of the form:
|
(426)
|
where
and
are unrelated group elements which are generated from Hodge systems and connections of the form 197 – 201 , which satisfy the general requirements 126 and 158 for
. This indeed turns out to be the case, and the key observation is that by using the identity 14 , all of the
arguments go through just as they did in previous sections.
It remains for us to prove the bounds 424 – 425 . These are essentially identical to each other so we concentrate on the proof of the first of these, leaving the other one to the reader. By an application of Bernstein's inequality and orthogonality, we see that it suffices for us to show the estimate:
|
(427)
|
At a heuristic level, this estimate is true because one has the identity
. And we see that in this case things would follow easily from the
contained in the estimates 405 . To implement this in a rigorous way, we derive the following elliptic equation for
based on the formulas 199 :
| |
| |
If we denote the (vector) kernel of operator
by
, then we have the uniform
bounds:
Using this and taking into account the previous reductions used in the proof of estimate 423 above we easily arrive at the bound:
| |
| |
where
is the family of translated kernels:
|
(428)
|
where we have also now set
. Using the decomposable estimate 390 , we now have that:
where the integral
is the same as
but with the matrix
removed.
Using now the nesting:
|
(429)
|
the estimate 405 , and the remarks made above about general kernels of the form 426 , we have the pair of estimates:
| |
uniform in the values of
. This is enough to prove the estimate 424 . This completes our proof of the square sum Strichartz estimates contained in 178a .
11.2 Proof of the Differentiated Strichartz Estimates 178b – 178c
To wrap things up for this overall section, we prove the estimates 178b – 178c .
This will follows easily from the general list of decomposable estimates contained in Lemma 11.3 . In what follows, we will only bother to prove the time differentiated estimate 178c . The proof of the gradient estimate 178b follows from identical reasoning and is left to the reader (in fact, one only need apply the plain Strichartz estimates shown in previous sections followed by a
estimate for the spatial potentials
). Time differentiating the parametrix
we see that:
| |
| |
| |
Therefore, our task is to show the pair of estimates:
|
(430)
|
|
(431)
|
The estimate 430 follows from essentially identical reasoning to that employed in the proof of estimates 424 – 425 above. The main point is to drop to
via Bernstein, and then use the
estimate for the potential
contained on line 405 above. The proof of the second estimate 431 above follows easily from the
estimate for
contained on line 405 above. Specifically, one has the nesting:
This completes our demonstration of 178b – 178c and ends this section.
12 Completion of the proof: Controlling the
Norm of the Differentiated Parametrix
Our final task here is to prove the estimate 178e which guarantees that our parametrix is a good approximation the covariant wave equation
. This essentially boils down to applying the estimates 403 – 408 to the various error terms listed on the right hand side of equation 203 above. We will prove the desired estimates for each of these terms separately.
Decomposing the term
This represents the worst error term which comes out of our approximation, as well as the main “renormalization” which the parametrix creates. In what follows we will eliminate the
notation on favor of the
notation introduced on line 328 above. Using this convention, a short computation involving the formulas 200 – 201 and the structure equation 126e yields the identity:
| |
| |
| |
|
(432)
|
Our goal is prove the following four estimates:
|
(433)
|
|
(434)
|
To prove the first estimate on line 433 , we see from the decomposable version of the Besov nesting 44 that is suffices to prove the following:
By the square sum nature of the Besov and decomposable norms, and keeping in mind the Besov version of the endpoint Strichartz estimate contained in the bootstrapping estimate 126d , we see that it suffices to prove this estimate at fixed frequency. Thus, we are trying to prove that:
|
(435)
|
Decomposing the term on the left hand side of this expression into all dyadic angular regions spread from the direction
this is further reduced to showing that:
Notice that we are only trying to show this for values
. Further computing the term on the left hand side of this last expression, and applying the heuristic multiplier bound (also using the Coulomb savings 196 ):
Plugging this into the definition of the norm
, using the multiplier-sum reductions employed in the proof of the inequality 409 , and reverting back to Besov notation we have the inequality sequence involving Bernstein's inequality 56 and a simple index manipulation:
435
| |
| |
| |
Estimate 435 now follows from the fact that:
which is a consequence of the truncation condition
and the fact that
, and the fact that we have chosen
according to 190 . This ends our proof of the first estimate on line 433 .
Our next step is to prove the second estimate on line 433 above. We will show the somewhat more regular estimate:
|
(436)
|
Decomposing the term inside the norm on the left hand side of this last inequality into dyadic angular scales, applying the definition of the fixed scale decomposable norms
, using the (fixed time) fixed frequency heuristic multiplier bound (which again takes into account the savings 196 ):
expanding the resulting expression into a trichotomy, applying the multiplier square sum reduction used previously in the proof of estimate 409 above, and keeping in mind the bootstrapping structure estimates 126f , we see that the estimate 436 reduces to the demonstration of the following three fixed time bounds:
|
(437)
|
|
(438)
|
|
(439)
|
|
(440)
|
|
(441)
|
|
(442)
|
We begin with the proof of the first estimate 438 . This is the most singular of the three. Fixing all of the spatial frequencies on the left hand side of this bound, we see that by an application of Young's inequality, it suffices to prove the following refinement:
(443)
λ
−
2
(
∑
φ
:
ω
0
∈
Γ
φ
∥
ω
0
Π
~
θ
P
λ
(
[
P
μ
1
(
B
)
(
t
)
,
P
μ
2
(
H
)
(
t
)
]
)
∥
2
L
∞
)
1
2
≲
(
μ
1
μ
2
)
γ
θ
1
+
γ
∥
P
μ
1
(
B
)
(
t
)
∥
B
˙
2
2
(
n
−
1
)
n
−
3
,
(
2
,
n
−
1
2
)
⋅
∥
P
μ
2
(
H
)
(
t
)
∥
B
˙
2
2
(
n
−
1
)
n
−
3
,
(
2
,
n
−
3
2
)
.
This bound is scale invariant, so we may assume that
. To aid in the demonstration, we introduce the auxiliary index:
Notice that this has been chosen precisely so that one has the identity:
so that ultimately we can make a reference to the fixed frequency bound 53 . The problem here is that we have
(in any dimension), so we are going to run into orthogonality issues in the square-sum on the left hand side of 443 . This will end up costing some extra powers of
, but luckily the Bernstein inequality will more than make up for this. Applying Bernstein to each term in the sum on the left hand side of 443 we arrive at the bound: 443
|
(444)
|
To get rid of the square-sum on the right hand side of this last expression, we introduce the following map from
to
:
where
is some ordering of the
spherical cap “base-points”. Notice that there are
of these. By orthogonality, and using the uniform boundedness of the multipliers
on
we have the pair of estimates:
| |
| |
By interpolating these to bounds in the pair of spaces
and
(see [1] ), we have the bound:
Plugging this last estimate into the right hand side of 444 above, and finally applying generic fixed frequency estimate 53 we have that:
443
| |
| |
The estimate 443 now follows from the bound:
which holds in dimensions
. We leave the verification of this to the reader.
This ends our demonstration of the
frequency estimate 438 . Notice that the second estimate 440 is simply a less singular version of this. In fact, repeating the above procedure, we see that in that case there is an extra factor of
in the analog of the fixed frequency bound 443 .
We have now reduced the proof of the second estimate on line 433 to the
interaction bound 442 . By applying the
version of Bernstein, using orthogonality, and then applying the general bound 52 , we have the fixed frequency estimate:
| |
| |
| |
where
. By summing this last line and then applying Cauchy-Schwartz, we easily arrive at the bound 442 .
To finish this subsection, we only need to prove the two estimates on line 434 above. To show the first estimate involving the
term, we simply expand the
derivative into the product via the Leibniz rule, and then use the decomposable bounds 403 and 405 and 407 – 408 in conjunction with the following instance of the bilinear decomposable estimate 392 :
To show the second bound on line 434 , we again use the estimates 403 and 405 , this time in conjunction with:
This completes our decomposable estimates for the error term
.
Decomposing the term
Again dropping the
notation and using the equations 200 – 201 and the identity 328 as well as the structure equation 126e , we can write this as:
| |
| |
| |
| |
We will show that all of these terms obey the estimate:
|
(445)
|
Notice that, for the most part, the terms
represent less singular versions of the
on line 432 above. In fact, they can all be treated using similar embeddings by simply wasting one derivative. Specifically, the estimate 445 for the first term
follows directly from 436 above once one takes into account the presence of the truncation 126c inherent in the projection
. To prove the estimate 445 for the portion of term
containing the
derivative, we use the same embedding employed in the proof of the estimate for
on line 434 above. This follows because one can distribute the time derivative and simply waste smoothness in the estimates 404 , 406 , and 407 – 408 . Specifically, by taking advantage of the low frequency behavior of these estimates, we have the bounds:
|
(446)
|
|
(447)
|
Using a similar strategy, we can prove the estimate 445 for the portion of
containing the
derivative (notice that the functions
are trivially decomposable) as well as the term
in the same way as we showed 434 for the term
above. All we need to do is to show the estimate:
This follows in the same way we proved the undifferentiated estimate 405 for
above, but instead of using the undifferentiated versions of 403 , 405 , and 407 – 408 , we simply use 446 – 447 . Finally, notice that the proof of the estimate 445 for the terms
and
above follows by simply multiplying (decompose twice!) the
estimate which is implied by the bounds 403 and 405 above. This completes our decomposition of the second error term on the right hand side of 203 above.
Decomposing the term
Here we again use the norm
, which we can achieve as a product of
estimates, again making an appeal to 403 and 405 above.
This completes our proof of the approximation estimate 178e and thus, at last, the proof of Proposition 7.2 which allows us to close the bootstrapping begun in Proposition 6.1 . FP. References
-
Jöran Bergh, Jörgen Löfström Interpolation spaces. An introduction. Grundlehren der Mathematischen Wissenschaften, No. 223. Springer-Verlag, Berlin-New York, 1976.
-
P. Bizoń, Z. Tabor, On blowup of Yang-Mills fields. Phys. Rev. D (3) 64 (2001), no. 12, 121701, 4 pp.
-
Thierry Cazenave, Jalal Shatah, Shadi A. Tahvildar-Zadeh Harmonic maps of the hyperbolic space and development of singularities in wave maps and Yang-Mills fields. Ann. Inst. H. Poincar Phys. Thor. 68 (1998), no. 3, 315–349.
-
Markus Keel, Terence Tao Endpoint Strichartz estimates. Amer. J. Math. 120 (1998), no. 5, 955–980.
-
Sergiu Klainerman, Igor Rodnianski Improved local well-posedness for quasilinear wave equations in dimension three. Duke Math. J. 117 (2003), no. 1, 1–124.
-
Sergiu Klainerman, Igor Rodnianski On the global regularity of wave maps in the critical Sobolev norm. Internat. Math. Res. Notices 2001, no. 13, 655–677.
-
Andrea Nahmod, Atanas Stefanov, Karen Uhlenbeck, On the well-posedness of the wave map problem in high dimensions. Comm. Anal. Geom. 11 (2003), no. 1, 49–83.
-
Igor Rodnianski, Terence Tao Global regularity for the Maxwell-Klein-Gordon equation with small critical Sobolev norm in high dimensions. Comm. Math. Phys. 251 (2004), no. 2, 377–426.
-
Jalal Shatah, Michael Struwe The Cauchy problem for wave maps. Int. Math. Res. Not. 2002, no. 11, 555–571.
-
Hart F. Smith, Daniel Tataru Sharp local well-posedness results for the nonlinear wave equation. to appear in Annals of Mathematics.
-
Terence Tao Global regularity of wave maps. I. Small critical Sobolev norm in high dimension. Internat. Math. Res. Notices 2001, no. 6, 299–328.
-
Michael E. Taylor Tools for PDE. Pseudodifferential operators, paradifferential operators, and layer potentials. Mathematical Surveys and Monographs, 81. American Mathematical Society, Providence, RI, 2000.
-
Karen K. Uhlenbeck Connections with
bounds on curvature. Comm. Math. Phys. 83 (1982), no. 1, 31–42.