Suppose that . Since and ,
The Radial Sobolev inequality and Mass conservation for the nonlinear Schrödinger equation give
Because , Young inequality and a sufficiently large fixed absorb this term into the left side of the estimate from part 5. The annular term is at most . Using the uniform lower bound from part 2 and enlarging once more yields
Since , two integrations give
The right-hand side is negative for large , contradicting . Hence the maximal forward lifespan is finite: .
Solved by gpt-5.6-sol high.
Interpolate between and and then use the preceding Sobolev embedding theorem:
Mass conservation for the nonlinear Schrödinger equation fixes , while Energy conservation for the nonlinear Schrödinger equation and imply
Since , rearrangement gives
uniformly on the maximal lifespan.
Solved by gpt-5.6-sol high.