[论文解读] On the maximum principle for parabolic equations with unbounded coefficients

Alexander I. Nazarov|arXiv (Cornell University)|Jul 18, 2015

Differential Equations and Boundary Problems参考文献 6被引用 3

一句话总结

本文为具有无界系数的抛物方程建立了尖锐的最大值原理估计，扩展了先前结果，允许系数属于洛伦茨型勒贝格空间 $ L_p^xL_q^t $，其中 $ \frac{n}{p} + \frac{1}{q} \leq 1 $。本文引入了一个新颖的关键引理，并证明了'复合'系数 $ b_i = \sum b_i^{(k)} $ 的估计，其中每个 $ b_i^{(k)} $ 属于此类空间，通过加权范数和博尼型最大值原理实现了最优可积性条件。

ABSTRACT

Translation of the paper "Interpolation of linear spaces and maximum estimates for solutions to parabolic equations" published in Russian in the collected volume "Partial differential equations", Akad. Nauk SSSR, Sibirsk. Otdel., Inst. Mat., Novosibirsk, 1987, 50--72. Original proofs are essentially simplified. Some gaps are fixed and some comments are added.

研究动机与目标

• 将抛物方程的最大值原理估计扩展到无界系数的情形，特别是洛伦茨型勒贝格空间 $ L_p^xL_q^t $，其中 $ \frac{n}{p} + \frac{1}{q} \leq 1 $。
• 通过允许系数 $ b_i $ 属于 $ L_p^xL_q^t $ 或以 $ b_i = \sum b_i^{(k)} $ 的'复合'形式存在，其中 $ b_i^{(k)} \in L_{p_k}^xL_{q_k}^t $，推广现有结果。
• 在这些广义系数条件下，证明抛物算子的博尼型最大值原理。
• 通过避免使用高级论证并修复先前工作中存在的漏洞，统一并简化了早期证明。

提出的方法

• 引入一个关键引理，通过涉及 $ \sigma $、$ \det(a) $ 和 $ c $ 的加权范数，为解提供关于右端项 $ f $ 的先验估计。
• 应用闵可夫斯基不等式，关联混合范数空间 $ L_p^xL_q^t $ 和 $ L_q^tL_p^x $，确保在 $ p \leq q $ 或 $ p \geq q $ 条件下嵌入的连续性。
• 通过满足一类蒙日-安培方程的 $ v $-函数进行变换，构造满足 $ \mathcal{L}B \geq |b| $ 的上解 $ B $，从而能够应用最大值原理。
• 对于复合系数，将 $ b_i $ 分解为分量 $ b_i^{(k)} $，分别构造上解 $ B_k $，并通过涉及 $ \|DB_1\|_{C_{RT}} $ 的归一化因子控制总增长。
• 结合次解与上解方法及 $ b_i^{(k)} $ 的 $ L_p $-范数估计，使用权重 $ h_k = \sigma^{-1/q_k}(\det a)^{-1/p_k} c^{n/p_k + 1/q_k - 1} |b^{(k)}| $。
• 通过反证法应用博尼型最大值原理：假设在内部最大值处 $ \mathcal{L}u < 0 $，则通过在 $ L_{p_k,q_k} $-范数下的衰减估计导致矛盾。

实验结果

研究问题

• RQ1 能否将抛物方程的最大值原理估计扩展到混合范数勒贝格空间 $ L_p^xL_q^t $ 中的无界系数，且满足 $ \frac{n}{p} + \frac{1}{q} \leq 1 $？
• RQ2 当低阶系数 $ b_i $ 不属于单一的 $ L_p^xL_q^t $ 空间，而是不同此类空间中分量之和时，该估计如何推广？
• RQ3 在何种最优可积性条件下，仍能通过最大值原理获得解的先验 $ L^\infty $-界？
• RQ4 博尼型最大值原理能否推广至具有无界系数的洛伦茨型空间中的抛物算子？
• RQ5 在不依赖有界性假设的前提下，处理复合系数时，证明策略需要做哪些修改？

主要发现

• 本文在非退化假设下，为属于 $ W^{2,1}_{n+1}(Q) \cap C(\overline{Q}) $ 的解建立了估计 $ \|u\|_{L^\infty(Q)} \leq N \left\| \frac{(\mathcal{L}u)_+}{(\sigma \det a)^{1/(n+1)}} \right\|_{n+1,Q} $。
• 对于满足 $ \frac{n}{p} + \frac{1}{q} \leq 1 $ 的系数 $ b_i \in L_p^xL_q^t(Q) $，最大值原理估计成立，常数依赖于 $ n $、$ R $ 以及 $ b_i $ 在相应空间中的范数。
• 该估计被推广至'复合'系数 $ b_i = \sum_{k=1}^m b_i^{(k)} $，其中每个 $ b_i^{(k)} \in L_{p_k}^xL_{q_k}^t(Q) $，且满足 $ \frac{n}{p_k} + \frac{1}{q_k} \leq 1 $，常数依赖于 $ \|h_k\|_{p_k,q_k,Q} $，其中 $ h_k = \sigma^{-1/q_k}(\det a)^{-1/p_k} c^{n/p_k + 1/q_k - 1} |b^{(k)}| $。
• 证明了博尼型最大值原理：若解 $ u \in W^{2,1}_{p_0,q_0,\text{loc}}(Q) $ 在 $ Q $ 的内部取得非负最大值，则在相同可积性假设下有 $ \sup_Q \frac{\mathcal{L}u}{{\bf Sp}(a)+\sigma+c} \geq 0 $。
• 该证明方法避免了对 [BL] 和 [KP] 中高级工具的依赖，简化了 [N87] 和 [N88] 中的早期论证，并修复了辅助命题中的漏洞。
• 结果在最优性意义上成立，即条件 $ \frac{n}{p} + \frac{1}{q} \leq 1 $ 无法进一步放宽，这由文献中的反例以及所用权函数的结构所证实。