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 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

where is now a system of scalar fields, is a potential which is strictly positive and homogeneous of degree (and invariant under phase rotations ), and 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 , or when and ; global regularity is also known (but is significantly more difficult to establish) in the *energy-critical* case when and . (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 and , at least when the target dimension is allowed to be sufficiently large depending on the spatial dimension (I did not try to achieve the optimal value of here, but the argument gives a value of that grows quadratically in ). Unfortunately, this result does not directly impact the most interesting case of the defocusing scalar NLS equation

in which ; 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 and obeyed a self-similarity

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

and obey a parabolic self-similarity

and solve the homogeneous version of (1). (The inhomogeneity emerges when one truncates the self-similar solution so that the initial data is compactly supported in space.) A key technical point is that has to be smooth everywhere in , including the boundary component . 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 . The task here is to determine what constraints must exist on a putative solution in order for there to exist a (positive, homogeneous, smooth away from origin) potential obeying the homogeneous NLS equation

Firstly, the requirement that be homogeneous implies the Euler identity

(where denotes the standard real inner product on ), while the requirement that be phase invariant similarly yields the variant identity

so if one defines the *potential energy field* to be , we obtain from the chain rule the equations

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

Now that the potential is eliminated, the next degree of freedom to eliminate is the solution field . One can observe that the above equations involving and can be expressed instead in terms of and the *Gram-type matrix* of , which is a matrix consisting of the inner products where range amongst the differential operators

To eliminate , one thus needs to answer the question of what properties are required of a matrix for it to be the Gram-type matrix of a field . Amongst some obvious necessary conditions are that needs to be symmetric and positive semi-definite; there are also additional constraints coming from identities such as

and

Ideally one would like a theorem that asserts (for large enough) that as long as obeys all of the “obvious” constraints, then there exists a suitably non-degenerate map such that . 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 for a given positive definite symmetric set of fields ). 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 ). 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 , 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 of the Gram-type matrix , 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 obeying all the hypotheses of that theorem, as well as the conservation laws for mass, momentum, and energy (after defining the potential energy field in terms of ). This is quite a lot of fields and constraints, but one can cut down significantly on the degrees of freedom by requiring that 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 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 matrix to just six: , which now take as their domain the -dimensional space

One now has to construct these six fields, together with a potential energy field , 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 only arises in the equation for the potential (coming from Euler’s identity) and can easily be eliminated. Similarly, the field 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 from the problem also. This leaves us with the task of constructing just five fields obeying a number of positivity conditions, symmetry conditions, regularity conditions, and conservation laws for mass and momentum.

The potential field can effectively be absorbed into the angular stress field (after placing an appropriate counterbalancing term in the radial stress field so as not to disrupt the conservation laws), so we can also eliminate this field. The angular stress field 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 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 that obey a mass conservation law

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 using the ansatz

so the problem has finally been simplified to the task of locating a single scalar field 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 using some asymptotic parameters and cutoff functions.

## 18 comments

Comments feed for this article

6 December, 2016 at 9:55 am

AnonymousConcerning the barrier to prove global regularity for the scalar equation (2), is there any known (nontrivial) property of (2) which is not shared by (1) ?

6 December, 2016 at 10:08 am

Terence TaoIn the case when the exponent is an odd integer such as 5 or 7, then the scalar nonlinearity is a polynomial in and its complex conjugate , which is a property that is quite heavily exploited in a number of ways (e.g. it allows for fairly explicit computation of the Fourier transform of the nonlinearity). This property would not be shared by the more general nonlinearities appearing in (2).

But most of the other properties of (2) that are used in the literature are also shared with (1), as they usually arise from some combination of the conservation laws or from the function space estimates enjoyed by the nonlinearity.

6 December, 2016 at 11:15 am

LeoDear Prof. Terence Tao,

Please excuse me if my question is not much related to this post. I’m reading your paper with M. Christ and J. Colliander about the ill-posedness of the nonlinear Schrodinger and wave equations. I’m interested in the range . For the Schrodinger equation, you used the Galilean transform and the decoherence argument. For the wave equation, as I see in this paper, you said that one can use scaling and decoherence argument to treat this range. Is the scaling and decoherence argument sufficient to prove the ill-posedness for the Schrodinger equation in the range ?

Thank you very much!

6 December, 2016 at 12:38 pm

Terence TaoIf I recall correctly, the treatment of the NLW case in the range relied on special properties of the 1D wave equation, which would not be easily replicated in the NLS context.

6 December, 2016 at 1:06 pm

LeoThank you for your response. But I still don’t get the idea. In this paper, you claimed that in the supercritical cases (Theorem 3, 4, 5 there), the proofs of ill-posedness for NLW can be proceeded in analogy with their NLS counterparts, using small dispersion analysis and scaling arguments. The proofs of these theorems do not use any special property of 1D wave equation. I see that for NLS, in the range , you use the Galilean transformation to construct the counter-example. But the NLW does not have this kind of invariance. Could you please to explain me about it?

6 December, 2016 at 4:29 pm

Terence TaoTheorems 3,4,5 do not cover the entirety of the range ; only Corollary 7 (which is based on the 1D NLW) handles all of that range. As mentioned in the paper, we were not able to adapt the Galilean invariance-based argument to the case of NLW.

7 December, 2016 at 2:07 am

LeoThank you for you answer!

6 December, 2016 at 7:18 pm

HiroPerhaps, this is not answering your question in a direct manner.

One can prove norm inflation for NLS in the range $s \in (-d/2, 0)$ (below the scaling critical regularity) by adapting the argument in Bejenaru-Tao and Iwabuchi-Ogawa. Nobu Kishimoto proved this result (unpublished note) some years ago. The argument does not use scaling in an explicit manner but uses high-to-low energy transfer.

7 December, 2016 at 2:17 am

LeoThank you for your indication!

8 December, 2016 at 5:36 am

RajeshProf Terry Tao,

Is there an 1-D NLW version which necessarily has a solution which does not blow up in finite time (shocks are allowed) provided that initial data is small (TV is small), and does not have such a solution otherwise?

Thanks and Regards

Rajesh

8 December, 2016 at 4:41 pm

Terence TaoThe 1D NLKG has global smooth solutions for small data (because the potential energy term in the conserved energy can be controlled by the Gagliardo-Nirenberg inequality) but not for large data (as can be seen by considering the ODE when is constant in space; one can then localise in space using finite speed of propagation if desired).

13 December, 2016 at 2:55 pm

Anonymous– Reference 3: The title should be typeset in italic

– Reference 7: “Schrdinger” –> “Schrödinger”

– Reference 9: “Schrodinger” –> “Schrödinger”

– Reference 13: “Schrodinger” –> “Schrödinger”

– Reference 15: Remove “pp.” and add a full stop at the end

– Reference 16: “Schrdinger” –> “Schrödinger”

– Reference 17: “Proc. Amer. Math. Soc. 15 1964 625–626.” –> “Proc. Amer. Math. Soc. 15 [“15” in bold] (1964), 625–626.”

– Reference 18: The title should be typeset in italic

– Reference 19: “ Tao, Terence” –> “ T. Terence”

– Reference 22: “ 1-28” –> “ 1–28”

– Reference 23: “Schrdinger” –> “Schrödinger”

– Reference 25: “. 10, (1943).” –> “. 10 (1943),”

[These will be corrected in the next revision of the ms, thanks – T.]13 December, 2016 at 2:57 pm

Anonymous[19]: “Tao, Terence” –> “T. Tao”

14 December, 2016 at 2:26 am

MatjazG– p. 23, Remark 6.4: “requiements” -> “requirements”

– p. 24, bottom: “continiuty” -> “continuity”

31 December, 2016 at 5:23 am

AnonymousI know its irrelevant, but happy new year prof Tao!

Your blog has been a great inspiration for me for the past year, and I will keep the hard work!

15 January, 2017 at 4:57 am

Eulogio GarciaProfessor Tao.

You may interested to know, the only equation for laminar motion. It defines all the events that originate in the motion of the fluid (vortex, oneness).

His mathematical expression is simple.

; .

for:

25 January, 2017 at 9:42 am

SergeiDear Terence Tao! At present letter I want report to you,what wish repeated send you lost letter at 28December2016(at 9:19). In your last note

you touch sufficiently interesting subject construction of scalar fieds with calculation of application support-pressing elements. Particularly attracted my heed decision of non-linear Schrödinger equation. This entered some clarity in my reflections. So,construction of scalar fields contact with problem of multinumber breachs top layer or top field of scaly smooth multimanners. This breachs in chains of differential(linear) operators. Breachs in chains reestablish relations in lower layer or lower field of support hyperflatness (n-1), which cover all breachs and change breachs into closed circuits. Interaction of this two fields to the best advantage can to reveal arab numbers, if at they to exert influence through customary operation of partition. Schematic this interaction have such appearance:

2017.4034.8069.6139

—|————(n-1)-(n-1)

2016.4032.8065.6131

—|————(n-1)-(n-1)

2015.4030.8061.6123

—|————(n-1)-(n-1) Thanks. Sergei.

25 July, 2017 at 7:39 pm

On the universality of the incompressible Euler equation on compact manifolds | What's new[…] theorem proceeds by an “elimination of variables” strategy that was used in some of my previous papers in this area, though in this particular case the Nash embedding theorem (or variants […]