You are currently browsing the monthly archive for December 2016.
I just learned (from Emmanuel Kowalski’s blog) that the AMS has just started a repository of open-access mathematics lecture notes. There are only a few such sets of notes there at present, but hopefully it will grow in the future; I just submitted some old lecture notes of mine from an undergraduate linear algebra course I taught in 2002 (with some updating of format and fixing of various typos).
[Update, Dec 22: my own notes are now on the repository.]
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
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.