You are currently browsing the tag archive for the ‘weak solutions’ tag.
I’ve just uploaded to the arXiv the paper “Global existence and uniqueness results for weak solutions of the focusing mass-critical non-linear Schrödinger equation“, submitted to Analysis & PDE. This paper is concerned with solutions to the focusing mass-critical NLS equation
where the only regularity we assume on the solution is that the mass is finite and locally bounded in time. (For sufficiently strong notions of solution, the mass is in fact conserved, but part of the point with this paper is that mass conservation breaks down when the solution becomes too weak.) Note that the mass is dimensionless (i.e. scale-invariant) with respect to the natural scale invariance for this equation. For various technical reasons I work in high dimensions (this in particular allows the nonlinearity in (1) to be locally integrable in space).
In the classical (smooth) category, there is no ambiguity as to what it means for a function u to “solve” an equation such as (1); but once one is in a low regularity class (such as the class of finite mass solutions), there are several competing notions of solution, in particular the notions of a strong solution and a weak solution. To oversimplify a bit, both strong and weak solutions solve (1) in a distributional sense, but strong solutions are also continuous in time (in the space of functions of finite mass). A canonical example here is given by the pseudoconformally transformed soliton blowup solution
to (1), where Q is a solution to the ground state equation . This solution is a strong solution on (say) the time interval , but cannot be continued as a strong solution beyond time zero due to the discontinuity at t=0. Nevertheless, it can be continued as a weak solution by extending by zero at t=0 and at (or alternatively, one could extend for using (2); thus there is no uniqueness for the initial value problem in the weak solution class. Note this example also shows that weak solutions need not conserve mass; all the mass in (1) concentrates into the spatial origin as and disappears in the limit t=0).
There is a slightly stronger notion than a strong solution, which I call a Strichartz-class solution, in which one adds an additional regularity assumption . This assumption is natural from the point of view of Strichartz estimates, which are a major tool in the analysis of such equations.
There is a vast theory for the initial value problem for these sorts of equations, but basically one has the following situation: in the category of Strichartz class solutions, one has local existence and uniqueness, but not global existence (as the example (2) already shows); at the other extreme, in the category of weak solutions, one has global existence, but not uniqueness (as (2) again shows).
(This contrast between strong and weak solutions shows up in many other PDE as well. For instance, global existence of smooth solutions to the Navier-Stokes equation is one of the Clay Millennium problems that I have blogged about before, but global existence of weak solutions is quite easy with today’s technology and was first done by Leray back in 1933.)
In this paper, I introduce a new solution class, which I call the semi-Strichartz class; rather than being continuous in time, it varies right-continuously (in both the mass space and the Strichartz space) in time in the future of the initial time , and left-continuously in the past of . With this tweak of the definition, it turns out that one has both global existence and uniqueness in this class. (For instance, if one started with the initial data u(-1) given by (2) at time t=-1, the unique global semi-Strichartz solution from this initial data would be given by (2) for negative times and by zero for non-negative times.) This notion of solution is analogous (but much, much simpler than) the notion of Ricci flow with surgery used by Hamilton and Perelman; basically, every time a singularity develops, the semi-Strichartz solution removes the portion of mass that was becoming discontinuous, leaving only the non-singular portion of the solution to continue onwards in time.