Well-Posedness for Cauchy Problems with Singular Time-Measurable Pseudo-Differential Operators in Quasi-decreasing Weighted $\mathrm{L}_2$-Spaces

技术摘要：在拟递减加权 $L^2$ 空间中具有奇异时间可测伪微分算子的 Cauchy 问题之适定性

问题陈述
本研究探讨了由高度奇异、时间可测的伪微分算子（具体为傅里叶乘子可测族）控制的 Cauchy 问题的适定性。其控制方程为：
$$\begin{cases} \partial_t u(t, x) = \psi(t, -i\nabla)u(t, x) + f(t, x), & (t, x) \in (0, T) \times \mathbb{R}^d, \\ u(0, x) = 0, & x \in \mathbb{R}^d, \end{cases}$$
其中 $\psi(t, \xi)$ 是一个复值符号，在时间与频率上仅满足勒贝格可测性。核心挑战在于，这些符号允许在时间（接近 $t=0$ 时）和频率（当 $|\xi| \to \infty$ 时）两方面表现出任意的爆发行为。具体而言，符号可能在时间和频率上呈超指数级增长，且不要求局部可积或连续。

此类问题的标准框架通常依赖于算子连续性、有界性或特定的正则性条件（例如 Mikhlin 型条件）来建立 $L^p$ 空间中的存在性与唯一性。然而，在此设定下的极端奇异性破坏了经典演化族框架（如 Kato 理论）所要求的一致扇形区域性（uniform sectoriality）和定义域稳定性，并使得标准的变分法或半群方法无法应用。此外，缺乏局部可积性也阻碍了使用基于测试函数的标准弱形式的应用。

方法论
作者开发了一种全新的理论结构，通过在拟递减加权 $L^2$ 空间中进行分析，从而脱离了传统的连续性要求。该方法论具有以下特征：

1. 拟递减权重（Quasi-Decreasing Weights）： 分析采用了权重函数 $w(t)$，该函数严格正值且为拟递减的（即对于 $0 < s < t$，有 $w(t)/w(s) \le N_w$）。这类权重泛化了经典的非增函数和 Muckenhoupt $A_2$ 权重，允许在初始时刻 $t=0$ 附近出现任意爆发（例如 $w(t) = \exp(1/t^\alpha)$），同时保持足够的积分性质。
2. 谱极限解（Spectral-Limit Solutions）： 鉴于由于符号缺乏局部可积性，标准的弱解（通过与测试函数配对定义）可能不存在，作者引入了“谱极限解”的概念。该解被定义为与截断符号 $\psi_n$ 相关联的序列的空间傅里叶弱解的极限，其中实部和虚部均由 $n$ 控制。
3. 初等分析工具： 尽管算子具有高度复杂性，但证明过程严格依赖于初等方法。作者避开了高级泛函分析机制，而是利用了普朗歇尔定理（Plancherel's theorem）、富比尼定理（Fubini's theorem）、广义闵可夫斯基不等式以及 Cauchy–Bunyakovsky–Schwarz 不等式。
4. 三种解的概念： 本文严格定义并关联了三种解的概念：
   • 强解（Strong Solutions）： 通过时间域内的积分方程定义。
   • 空间傅里叶弱解（Spatial Fourier Weak Solutions）： 通过在频率域内针对傅里叶变换具有紧支撑的测试函数的积分恒等式定义。
   • 谱极限解（Spectral-Limit Solutions）： 定义为截断近似解的极限。

主要贡献与结果

• 任意爆发下的存在性与唯一性： 主要结果（定理 3.6）确立了在满足退化椭圆性条件（$\Re[\psi] \le 0$）且在远离 $t=0$ 的紧区间内具有时间局部可积性的条件下，在加权空间 $L^2_{loc}((0, T) \times \mathbb{R}^d, w(t)t^{-2}dtdx)$ 中存在唯一的谱极限解。至关重要的是，不对符号的增长情况施加任何上界或正则性限制。
• 局部平方可积下的空间傅里叶弱解： 在符号满足额外的局部平方可积性条件（假设 3.8）下，作者证明了存在唯一的空间傅리级弱解（定理 3.9）。该解满足极大正则性估计，并属于加权空间 $L^2_{loc}((0, T) \times \mathbb{R}^d, w(t)t^{-2}dtdx)$。
• 谱相容性下的强解： 为了建立强解的存在性与唯一性（定理 3.12），该框架除了需要满足假设 3.8 外，还要求更强的条件——即与谱函数 $\phi$ 的相容性（假设 3.11）。具体而言，符号的实部必须被一个非负谱函数控制（$\Re[\psi] \le -\phi$），且比率 $|\psi|/\phi$ 必须满足加权可积性条件。在此条件下，存在唯一的强解，且存在于加权 $L^2$ 空间与谱势空间 $H^\phi_{2,loc}$ 的交集中。
• 极大正则性估计： 文中推导了锐利的先验估计（定理 3.12），该估计控制了解的范数以及算子作用于解后的范数。这些估计依赖于拟递减常数 $N_w$，且与空间维度 $d$ 无关。
• 处理非可积符号： 该框架成功解决了由任何负阶分数阶拉普拉斯算子及具有超指数增长符号（例如 $\psi(t, \xi) = -t^\alpha e^{t^\beta} |\xi|^\gamma e^{|\xi|^\delta}$）驱动的演化方程，前提是初始数据为零。
• 对初始数据的限制： 作者明确指出，限制为齐次初始数据（$u(0, x) = 0$）是一种结构上的必要性。如果符号在 $t=0$ 附近不可积，则传播子 $\exp(\int_0^t \psi(r, \xi) dr)$ 将变得定义不明，导致非零初始数据在没有进一步可积性约束的情况下是不适定的。

意义与主张
本文声称提供了一种“全新的可解性概念”，通过绕过伪微分算子的传统连续性瓶颈，从根本上背离了常规框架。其意义在于：

1. 扩展了可解性范畴： 它证明了即使在符号完全缺乏连续性和局部可积性的情况下，仍可以确保存在性与唯一性，而这正是依赖于 Mikhlin 型定理的经典 $L^p$ 理论失效的场景。
2. 连接概率论与分析学： 通过处理具有高度不规则符号的随机过程生成器（Feller 过程和 Lévy 过程），这项工作架起了严密的调和分析机制与具有奇异特征的跳跃过程随机研究之间的桥梁。
3. 框架的普适性： 该方法论不受特定爆发速率的限制；它可以容纳任意程度的不规则性和爆发（包括在时间和频率上的爆发），正如涉及负阶分数阶拉普拉斯算子的“玩具模型”所示。

作者强调，尽管所使用的数学工具是初等的，但其结果是强大的，为由先前因其奇异性质而被认为在分析上难以处理的算子驱动的演化方程提供了一套稳健的理论。