关于偏微分方程爆破准则及局部适定性与极大时间关联的技术问询
嘿，咱们来好好拆解你提出的这些关于非线性PDE爆破和局部适定性的核心问题——这些都是PDE理论里很关键的基础点，我来一步步给你讲清楚：
Let $u(t,x)$ be solution to some nonlinear PDE. (like Schrödinger, wave etc.)
We know that there are many well-posedness problems. Especially for the local well-posedness theory, some of them showed maximality of solution, which existing time is no longer extended to bigger time, and solution is blow-up, which solution norm of solution space is blowing up.
When proving blow-up, the thing 'we can find maximal solution $u$' is good fact since we may show it by contradiction by assuming that norm of solution is finite.
However, what if the existence of maximal time is not guaranteed?
问题1：证明局部适定性是否意味着依赖于初值的局部时间$T$就是极大时间？
当然不是。局部适定性只保证了存在一个依赖初值$u_0$的小时间区间（比如$[0,T)$或者$[0,T]$，具体取决于你的适定性框架），使得在这个区间上有唯一解，但它完全没说这个$T$不能再延长。
举个常见的例子：次临界非线性薛定谔方程的局部解，其实可以延拓到整个时间轴$[0,\infty)$，这时候最初的局部时间$T$显然不是极大的——它只是解存在的一个“小起点”，而非终点。
问题1-1：或者说，局部适定性是否能保证极大时间$T^*$的存在性？
一般来说，是的——只要你的局部适定性定理满足一个关键的“延拓性条件”：
- 假设解在$[0,T)$上存在，且$\sup_{t \in [0,T)} |u(t)|_X < \infty$（$X$是初值所在的解空间），那么解可以延拓到某个更大的区间$[0,T+\epsilon)$，其中$\epsilon>0$。
基于这个条件，我们可以构造极大时间$T^$：把所有能延拓的时间区间的上确界取出来，也就是
$$T^ = \sup { T > 0 \mid \text{解在}[0,T] \text{上存在且唯一} }$$
这时候只有两种可能：
- $T^* = \infty$：解是全局存在的；
- $T^* < \infty$：解无法延拓到$T^$之后，这时候根据延拓性条件，必然有$\limsup_{t \to T^} |u(t)|_X = \infty$（否则就能继续延拓，和$T^*$是上确界矛盾）。
绝大多数我们研究的经典非线性PDE（比如薛定谔、波动、KdV方程）的局部适定性定理都包含这个延拓性质，所以极大时间$T^*$的存在性是有保障的。
问题2：能否在不假设$T$是极大时间的情况下证明如下爆破准则？
假设对某个初值$u_0 \in X$，存在唯一解$u \in C([0,T],X)$，若$T<\infty$，则$\lim_{t\rightarrow T}|u(t)|{X}=\infty$（或$\lim\sup{t\rightarrow T} |u(t)|_{X}=\infty$）
答案是不行，甚至这个陈述在不假设$T$是极大时间的情况下是不成立的。
举个反例：假设某个PDE有全局解$u \in C([0,\infty),X)$，那随便取一个有限的$T<\infty$，解在$[0,T]$上当然存在且唯一，而且$|u(T)|_X$是有限的——这显然和准则里的“范数趋于无穷”矛盾。
这个爆破准则的核心其实是和极大时间的定义绑定的：只有当$T$是解的极大存在时间（即解无法延拓到$T$之后）时，根据前面的延拓性条件，我们才能推出范数在$t\to T$时趋于无穷（否则就能继续延拓，和$T$是极大时间矛盾）。脱离了“$T$是极大时间”这个前提，准则就失去了成立的基础。
备注：内容来源于stack exchange，提问作者Idkwhat
