Quantcast
Viewing all articles
Browse latest Browse all 2

Finite time blowup for a supercritical defocusing nonlinear Schrodinger system

I’ve just uploaded to the arXiv my paper Finite time blowup for a supercritical defocusing nonlinear Schrödinger system, submitted to Analysis and PDE. This paper is an analogue of a recent paper of mine in which I constructed a supercritical defocusing nonlinear wave (NLW) system Image may be NSFW.
Clik here to view.
{-\partial_{tt} u + \Delta u = (\nabla F)(u)}
which exhibited smooth solutions that developed singularities in finite time. Here, we achieve essentially the same conclusion for the (inhomogeneous) supercritical defocusing nonlinear Schrödinger (NLS) equation

Image may be NSFW.
Clik here to view.
\displaystyle  i \partial_t u + \Delta u = (\nabla F)(u) + G \ \ \ \ \ (1)

where Image may be NSFW.
Clik here to view.
{u: {\bf R} \times {\bf R}^d \rightarrow {\bf C}^m}
is now a system of scalar fields, Image may be NSFW.
Clik here to view.
{F: {\bf C}^m \rightarrow {\bf R}}
is a potential which is strictly positive and homogeneous of degree Image may be NSFW.
Clik here to view.
{p+1}
(and invariant under phase rotations Image may be NSFW.
Clik here to view.
{u \mapsto e^{i\theta} u}
), and Image may be NSFW.
Clik here to view.
{G: {\bf R} \times {\bf R}^d \rightarrow {\bf C}^m}
is a smooth compactly supported forcing term, needed for technical reasons.

To oversimplify somewhat, the equation (1) is known to be globally regular in the energy-subcritical case when Image may be NSFW.
Clik here to view.
{d \leq 2}
, or when Image may be NSFW.
Clik here to view.
{d \geq 3}
and Image may be NSFW.
Clik here to view.
{p < 1+\frac{4}{d-2}}
; global regularity is also known (but is significantly more difficult to establish) in the energy-critical case when Image may be NSFW.
Clik here to view.
{d \geq 3}
and Image may be NSFW.
Clik here to view.
{p = 1 +\frac{4}{d-2}}
. (This is an oversimplification for a number of reasons, in particular in higher dimensions one only knows global well-posedness instead of global regularity. See this previous post for some exploration of this issue in the context of nonlinear wave equations.) The main result of this paper is to show that global regularity can break down in the remaining energy-supercritical case when Image may be NSFW.
Clik here to view.
{d \geq 3}
and Image may be NSFW.
Clik here to view.
{p > 1 + \frac{4}{d-2}}
, at least when the target dimension Image may be NSFW.
Clik here to view.
{m}
is allowed to be sufficiently large depending on the spatial dimension Image may be NSFW.
Clik here to view.
{d}
(I did not try to achieve the optimal value of Image may be NSFW.
Clik here to view.
{m}
here, but the argument gives a value of Image may be NSFW.
Clik here to view.
{m}
that grows quadratically in Image may be NSFW.
Clik here to view.
{d}
). Unfortunately, this result does not directly impact the most interesting case of the defocusing scalar NLS equation

Image may be NSFW.
Clik here to view.
\displaystyle  i \partial_t u + \Delta u = |u|^{p-1} u \ \ \ \ \ (2)

in which Image may be NSFW.
Clik here to view.
{m=1}
; however it does establish a rigorous barrier to any attempt to prove global regularity for the scalar NLS equation, in that such an attempt needs to crucially use some property of the scalar NLS that is not shared by the more general systems in (1). For instance, any approach that is primarily based on the conservation laws of mass, momentum, and energy (which are common to both (1) and (2)) will not be sufficient to establish global regularity of supercritical defocusing scalar NLS.

The method of proof in this paper is broadly similar to that in the previous paper for NLW, but with a number of additional technical complications. Both proofs begin by reducing matters to constructing a discretely self-similar solution. In the case of NLW, this solution lived on a forward light cone Image may be NSFW.
Clik here to view.
{\{ (t,x): |x| \leq t \}}
and obeyed a self-similarity

Image may be NSFW.
Clik here to view.
\displaystyle  u(2t, 2x) = 2^{-\frac{2}{p-1}} u(t,x).

The ability to restrict to a light cone arose from the finite speed of propagation properties of NLW. For NLS, the solution will instead live on the domain

Image may be NSFW.
Clik here to view.
\displaystyle  H_d := ([0,+\infty) \times {\bf R}^d) \backslash \{(0,0)\}

and obey a parabolic self-similarity

Image may be NSFW.
Clik here to view.
\displaystyle  u(4t, 2x) = 2^{-\frac{2}{p-1}} u(t,x)

and solve the homogeneous version Image may be NSFW.
Clik here to view.
{G=0}
of (1). (The inhomogeneity Image may be NSFW.
Clik here to view.
{G}
emerges when one truncates the self-similar solution so that the initial data is compactly supported in space.) A key technical point is that Image may be NSFW.
Clik here to view.
{u}
has to be smooth everywhere in Image may be NSFW.
Clik here to view.
{H_d}
, including the boundary component Image may be NSFW.
Clik here to view.
{\{ (0,x): x \in {\bf R}^d \backslash \{0\}\}}
. This unfortunately rules out many of the existing constructions of self-similar solutions, which typically will have some sort of singularity at the spatial origin.

The remaining steps of the argument can broadly be described as quantifier elimination: one systematically eliminates each of the degrees of freedom of the problem in turn by locating the necessary and sufficient conditions required of the remaining degrees of freedom in order for the constraints of a particular degree of freedom to be satisfiable. The first such degree of freedom to eliminate is the potential function Image may be NSFW.
Clik here to view.
{F}
. The task here is to determine what constraints must exist on a putative solution Image may be NSFW.
Clik here to view.
{u}
in order for there to exist a (positive, homogeneous, smooth away from origin) potential Image may be NSFW.
Clik here to view.
{F}
obeying the homogeneous NLS equation

Image may be NSFW.
Clik here to view.
\displaystyle  i \partial_t u + \Delta u = (\nabla F)(u).

Firstly, the requirement that Image may be NSFW.
Clik here to view.
{F}
be homogeneous implies the Euler identity

Image may be NSFW.
Clik here to view.
\displaystyle  \langle (\nabla F)(u), u \rangle = (p+1) F(u)

(where Image may be NSFW.
Clik here to view.
{\langle,\rangle}
denotes the standard real inner product on Image may be NSFW.
Clik here to view.
{{\bf C}^m}
), while the requirement that Image may be NSFW.
Clik here to view.
{F}
be phase invariant similarly yields the variant identity

Image may be NSFW.
Clik here to view.
\displaystyle  \langle (\nabla F)(u), iu \rangle = 0,

so if one defines the potential energy field to be Image may be NSFW.
Clik here to view.
{V = F(u)}
, we obtain from the chain rule the equations

Image may be NSFW.
Clik here to view.
\displaystyle  \langle i \partial_t u + \Delta u, u \rangle = (p+1) V

Image may be NSFW.
Clik here to view.
\displaystyle  \langle i \partial_t u + \Delta u, iu \rangle = 0

Image may be NSFW.
Clik here to view.
\displaystyle  \langle i \partial_t u + \Delta u, \partial_t u \rangle = \partial_t V

Image may be NSFW.
Clik here to view.
\displaystyle  \langle i \partial_t u + \Delta u, \partial_{x_j} u \rangle = \partial_{x_j} V.

Conversely, it turns out (roughly speaking) that if one can locate fields Image may be NSFW.
Clik here to view.
{u}
and Image may be NSFW.
Clik here to view.
{V}
obeying the above equations (as well as some other technical regularity and non-degeneracy conditions), then one can find an Image may be NSFW.
Clik here to view.
{F}
with all the required properties. The first of these equations can be thought of as a definition of the potential energy field Image may be NSFW.
Clik here to view.
{V}
, and the other three equations are basically disguised versions of the conservation laws of mass, energy, and momentum respectively. The construction of Image may be NSFW.
Clik here to view.
{F}
relies on a classical extension theorem of Seeley that is a relative of the Whitney extension theorem.

Now that the potential Image may be NSFW.
Clik here to view.
{F}
is eliminated, the next degree of freedom to eliminate is the solution field Image may be NSFW.
Clik here to view.
{u}
. One can observe that the above equations involving Image may be NSFW.
Clik here to view.
{u}
and Image may be NSFW.
Clik here to view.
{V}
can be expressed instead in terms of Image may be NSFW.
Clik here to view.
{V}
and the Gram-type matrix Image may be NSFW.
Clik here to view.
{G[u,u]}
of Image may be NSFW.
Clik here to view.
{u}
, which is a Image may be NSFW.
Clik here to view.
{(2d+4) \times (2d+4)}
matrix consisting of the inner products Image may be NSFW.
Clik here to view.
{\langle D_1 u, D_2 u \rangle}
where Image may be NSFW.
Clik here to view.
{D_1,D_2}
range amongst the Image may be NSFW.
Clik here to view.
{2d+4}
differential operators

Image may be NSFW.
Clik here to view.
\displaystyle  D_1,D_2 \in \{ 1, i, \partial_t, i\partial_t, \partial_{x_1},\dots,\partial_{x_d}, i\partial_{x_1}, \dots, i\partial_{x_d}\}.

To eliminate Image may be NSFW.
Clik here to view.
{u}
, one thus needs to answer the question of what properties are required of a Image may be NSFW.
Clik here to view.
{(2d+4) \times (2d+4)}
matrix Image may be NSFW.
Clik here to view.
{G}
for it to be the Gram-type matrix Image may be NSFW.
Clik here to view.
{G = G[u,u]}
of a field Image may be NSFW.
Clik here to view.
{u}
. Amongst some obvious necessary conditions are that Image may be NSFW.
Clik here to view.
{G}
needs to be symmetric and positive semi-definite; there are also additional constraints coming from identities such as

Image may be NSFW.
Clik here to view.
\displaystyle  \partial_t \langle u, u \rangle = 2 \langle u, \partial_t u \rangle

Image may be NSFW.
Clik here to view.
\displaystyle  \langle i u, \partial_t u \rangle = - \langle u, i \partial_t u \rangle

and

Image may be NSFW.
Clik here to view.
\displaystyle  \partial_{x_j} \langle iu, \partial_{x_k} u \rangle - \partial_{x_k} \langle iu, \partial_{x_j} u \rangle = 2 \langle i \partial_{x_j} u, \partial_{x_k} u \rangle.

Ideally one would like a theorem that asserts (for Image may be NSFW.
Clik here to view.
{m}
large enough) that as long as Image may be NSFW.
Clik here to view.
{G}
obeys all of the “obvious” constraints, then there exists a suitably non-degenerate map Image may be NSFW.
Clik here to view.
{u}
such that Image may be NSFW.
Clik here to view.
{G = G[u,u]}
. In the case of NLW, the analogous claim was basically a consequence of the Nash embedding theorem (which can be viewed as a theorem about the solvability of the system of equations Image may be NSFW.
Clik here to view.
{\langle \partial_{x_j} u, \partial_{x_k} u \rangle = g_{jk}}
for a given positive definite symmetric set of fields Image may be NSFW.
Clik here to view.
{g_{jk}}
). However, the presence of the complex structure in the NLS case poses some significant technical challenges (note for instance that the naive complex version of the Nash embedding theorem is false, due to obstructions such as Liouville’s theorem that prevent a compact complex manifold from being embeddable holomorphically in Image may be NSFW.
Clik here to view.
{{\bf C}^m}
). Nevertheless, by adapting the proof of the Nash embedding theorem (in particular, the simplified proof of Gunther that avoids the need to use the Nash-Moser iteration scheme) we were able to obtain a partial complex analogue of the Nash embedding theorem that sufficed for our application; it required an artificial additional “curl-free” hypothesis on the Gram-type matrix Image may be NSFW.
Clik here to view.
{G[u,u]}
, but fortunately this hypothesis ends up being automatic in our construction. Also, this version of the Nash embedding theorem is unable to prescribe the component Image may be NSFW.
Clik here to view.
{\langle \partial_t u, \partial_t u \rangle}
of the Gram-type matrix Image may be NSFW.
Clik here to view.
{G[u,u]}
, but fortunately this component is not used in any of the conservation laws and so the loss of this component does not cause any difficulty.

After applying the above-mentioned Nash-embedding theorem, the task is now to locate a matrix Image may be NSFW.
Clik here to view.
{G}
obeying all the hypotheses of that theorem, as well as the conservation laws for mass, momentum, and energy (after defining the potential energy field Image may be NSFW.
Clik here to view.
{V}
in terms of Image may be NSFW.
Clik here to view.
{G}
). This is quite a lot of fields and constraints, but one can cut down significantly on the degrees of freedom by requiring that Image may be NSFW.
Clik here to view.
{G}
is spherically symmetric (in a tensorial sense) and also continuously self-similar (not just discretely self-similar). Note that this hypothesis is weaker than the assertion that the original field Image may be NSFW.
Clik here to view.
{u}
is spherically symmetric and continuously self-similar; indeed we do not know if non-trivial solutions of this type actually exist. These symmetry hypotheses reduce the number of independent components of the Image may be NSFW.
Clik here to view.
{(2d+4) \times (2d+4)}
matrix Image may be NSFW.
Clik here to view.
{G}
to just six: Image may be NSFW.
Clik here to view.
{g_{1,1}, g_{1,i\partial_t}, g_{1,i\partial_r}, g_{\partial_r, \partial_r}, g_{\partial_\omega, \partial_\omega}, g_{\partial_r, \partial_t}}
, which now take as their domain the Image may be NSFW.
Clik here to view.
{1+1}
-dimensional space

Image may be NSFW.
Clik here to view.
\displaystyle  H_1 := ([0,+\infty) \times {\bf R}) \backslash \{(0,0)\}.

One now has to construct these six fields, together with a potential energy field Image may be NSFW.
Clik here to view.
{v}
, that obey a number of constraints, notably some positive definiteness constraints as well as the aforementioned conservation laws for mass, momentum, and energy.

The field Image may be NSFW.
Clik here to view.
{g_{1,i\partial_t}}
only arises in the equation for the potential Image may be NSFW.
Clik here to view.
{v}
(coming from Euler’s identity) and can easily be eliminated. Similarly, the field Image may be NSFW.
Clik here to view.
{g_{\partial_r,\partial_t}}
only makes an appearance in the current of the energy conservation law, and so can also be easily eliminated so long as the total energy is conserved. But in the energy-supercritical case, the total energy is infinite, and so it is relatively easy to eliminate the field Image may be NSFW.
Clik here to view.
{g_{\partial_r, \partial_t}}
from the problem also. This leaves us with the task of constructing just five fields Image may be NSFW.
Clik here to view.
{g_{1,1}, g_{1,i\partial_r}, g_{\partial_r,\partial_r}, g_{\partial_\omega,\partial_\omega}, v}
obeying a number of positivity conditions, symmetry conditions, regularity conditions, and conservation laws for mass and momentum.

The potential field Image may be NSFW.
Clik here to view.
{v}
can effectively be absorbed into the angular stress field Image may be NSFW.
Clik here to view.
{g_{\partial_\omega,\partial_\omega}}
(after placing an appropriate counterbalancing term in the radial stress field Image may be NSFW.
Clik here to view.
{g_{\partial_r, \partial_r}}
so as not to disrupt the conservation laws), so we can also eliminate this field. The angular stress field Image may be NSFW.
Clik here to view.
{g_{\partial_\omega, \partial_\omega}}
is then only constrained through the momentum conservation law and a requirement of positivity; one can then eliminate this field by converting the momentum conservation law from an equality to an inequality. Finally, the radial stress field Image may be NSFW.
Clik here to view.
{g_{\partial_r, \partial_r}}
is also only constrained through a positive definiteness constraint and the momentum conservation inequality, so it can also be eliminated from the problem after some further modification of the momentum conservation inequality.

The task then reduces to locating just two fields Image may be NSFW.
Clik here to view.
{g_{1,1}, g_{1,i\partial_r}}
that obey a mass conservation law

Image may be NSFW.
Clik here to view.
\displaystyle  \partial_t g_{1,1} = 2 \left(\partial_r + \frac{d-1}{r} \right) g_{1,i\partial r}

together with an additional inequality that is the remnant of the momentum conservation law. One can solve for the mass conservation law in terms of a single scalar field Image may be NSFW.
Clik here to view.
{W}
using the ansatz

Image may be NSFW.
Clik here to view.
\displaystyle g_{1,1} = 2 r^{1-d} \partial_r (r^d W)

Image may be NSFW.
Clik here to view.
\displaystyle g_{1,i\partial_r} = r^{1-d} \partial_t (r^d W)

so the problem has finally been simplified to the task of locating a single scalar field Image may be NSFW.
Clik here to view.
{W}
with some scaling and homogeneity properties that obeys a certain differential inequality relating to momentum conservation. This turns out to be possible by explicitly writing down a specific scalar field Image may be NSFW.
Clik here to view.
{W}
using some asymptotic parameters and cutoff functions.


Viewing all articles
Browse latest Browse all 2

Trending Articles