[论文解读] Differential Operators on Conic Manifolds: Maximal Regularity and Parabolic Equations

Sandro Coriasco, Elmar Schrohe+1 more|ArXiv.org|Jan 20, 2002

Advanced Mathematical Physics Problems参考文献 22被引用 17

一句话总结

本文在具有角点奇点的流形上建立了椭圆微分算子的最大正则性，并将其应用于加权Sobolev空间中证明拟线性抛物方程 $(\partial_t - a(u)\Delta)u = f(u)$ 的唯一可解性。通过分析Fuchs型算子以及 $|u|^\alpha$ 等非线性项的Lipschitz连续性，证明了在适当的 $p,q$ 和插值空间中的初值条件下，解在基于 $L_q$ 的最大正则性空间中存在且唯一。

ABSTRACT

We study an elliptic differential operator A on a manifold with conic points. Assuming A to be defined on the smooth functions supported away from the singularities, we first address the question of possible closed extensions of A to L^p Sobolev spaces and then explain how additional ellipticity conditions ensure maximal regularity for the operator A. Investigating the Lipschitz continuity of the maps f(u)=|u|^α, with real α\ge 1, and f(u)=u^α, with αa natural number, and using a result of Clément and Li, we finally show unique solvability of a quasilinear equation of the form \dot{u} - a(u) Δu = f(u) in suitable spaces.

研究动机与目标

• 在具有角点奇点的流形上建立椭圆微分算子的闭扩张与最大正则性。
• 分析非线性映射 $f(u) = |u|^\alpha$ 和 $f(u) = u^\alpha$ 在具有角点奇点的流形上的加权Sobolev空间中的Lipschitz连续性。
• 将最大正则性理论应用于证明具有如 $u - u^3$ 等非线性项的拟线性抛物方程的唯一可解性。
• 确定非线性项保持正则性并允许唯一解存在的最优指数 $\alpha$ 范围。
• 将 $L_q$-最大正则性框架推广至具有角点奇点的流形，将光滑区域上的结果推广至奇异几何结构。

提出的方法

• 使用在角点奇点附近具有 $t^{-\mu}$-退化的Fuchs型微分算子，以建模具有角点的流形上的算子。
• 构造加权锥形Sobolev空间 $\mathcal{H}^{s,\delta}_q({\mathbb{B}})$ 以处理顶点附近的奇点行为。
• 应用有界虚幂理论，建立线性化问题的最大 $L_q$-正则性。
• 利用Clément与Li的结果，将拟线性问题约化至线性最大正则性框架。
• 通过嵌入与插值估计，建立 $|u|^\alpha$ 与 $u^\alpha$ 在加权Sobolev空间中的Lipschitz连续性。
• 利用嵌入关系 $\mathcal{H}^{s,\delta}_q({\mathbb{B}}) \hookrightarrow \mathcal{H}^{s,\tilde{\gamma}}_q({\mathbb{B}})$（其中 $\tilde{\gamma} \leq \delta$）来控制非线性项。

实验结果

研究问题

• RQ1 在何种条件下，具有角点奇点的流形上的Fuchs型微分算子可延拓至 $L_p$-Sobolev空间？
• RQ2 何种额外的椭圆性条件可确保此类算子具有最大 $L_q$-正则性？
• RQ3 对于哪些指数 $\alpha \geq 1$，映射 $u \mapsto |u|^\alpha$ 在相关加权Sobolev空间中为Lipschitz连续？
• RQ4 如何将最大正则性框架推广至具有角点奇点的流形上的拟线性抛物方程？
• RQ5 对于哪些 $\alpha$ 的取值范围，方程 $(\partial_t - a(u)\Delta)u = |u|^\alpha$ 在最大正则性空间中存在唯一解？

主要发现

• 在适当的椭圆性条件下，Fuchs型算子在具有角点奇点的流形上具有最大 $L_q$-正则性，从而保证了线性化问题的适定性。
• 当 $\alpha \leq \alpha^*$ 时，映射 $u \mapsto |u|^\alpha$ 在 $\mathcal{H}^{s,\delta}_q({\mathbb{B}})$ 的有界集上为Lipschitz连续，其中 $\alpha^*$ 依赖于 $n$、$p$ 和 $q$。
• 当 $2p/q' < n+1$ 时，临界指数为 $\alpha^* = \frac{n+1-2\gamma-2\beta}{n+1-2\delta}$；当 $2p/q' \geq n+1$ 时，临界指数为 $\alpha^* = \frac{n+1}{2}(1 - \frac{1}{\alpha}) + \frac{\delta}{\alpha}$，且 $\delta < \frac{n+1}{2}$。
• 拟线性抛物方程 $(\partial_t - a(u)\Delta)u = |u|^\alpha + g$ 在 $W^1_q([0,T_1]; E_0) \cap L_q([0,T_1]; E_1) \cap \mathcal{C}([0,T_1]; E_{1-1/q,q})$ 中存在唯一解，其中 $T_1 > 0$ 足够小，且初值 $u_0 \in \mathcal{C}^\infty_{\rm comp}(\text{int}\,{\mathbb{B}})$。
• Ginzburg-Landau型方程 $\dot{u} - \Delta u = u - u^3$ 对任意初值 $u_0 \in E_{1-1/q,q}$ 在相同的最大正则性空间中存在唯一解，前提是 $p,q$ 选择得当。
• 解空间 $E_{1-1/q,q}$ 为实插值空间 $(E_1, E_0)_{1/q,q}$，且该结果对 $n \geq 4$ 和 $T_0 > 0$ 成立。