[论文解读] Optimal boundary regularity for fast diffusion equations in bounded domains

Tianling Jin, Jingang Xiong|arXiv (Cornell University)|Oct 11, 2019

Advanced Mathematical Modeling in Engineering参考文献 38被引用 7

一句话总结

本文確立了快擴散方程在光滑有界區域內有界正弱解的最優邊界正則性，解決了Berryman與Holland（1980年）提出的長期懸而未決的問題。透過利用涉及曲率類似量演化方程的幾何結構，作者證明解在空間與時間上均光滑至邊界，且正則性程度為最佳，取決於指數 $ p $ 是否為整數。

ABSTRACT

We prove optimal boundary regularity for bounded positive weak solutions of fast diffusion equations in smooth bounded domains. This solves a problem raised by Berryman and Holland in 1980 for these equations in the subcritical and critical regimes. Our proof of the a priori estimates uses a geometric type structure of the fast diffusion equations, where an important ingredient is an evolution equation for a curvature-like quantity.

研究动机与目标

• 解決Berryman與Holland於1980年提出的快擴散方程在有界區域內最優邊界正則性的開放問題。
• 建立有界正弱解在滅絕時間 $ T^* $ 附近的先驗光滑性，特別是在空間邊界 $ \partial\Omega \times (0,T^*) $ 上。
• 證明先前Berryman與Holland在子臨界與臨界Sobolev範疇中所使用的先驗光滑性假設，對解而言確實成立。
• 在空間與時間上區分指數 $ p $ 為整數或非整數的情況，明確解的最優正則性。

提出的方法

• 利用快擴散方程內在的幾何結構，特別是曲率類似量的演化方程，以捕捉其內在的拋物幾何性質。
• 應用在柱形區域中均勻拋物方程解的局部梯度與高階估計，依賴Campanato型衰減估計。
• 應用加權能量估計與Poincaré型不等式，以控制邊界附近導數的增長，其中權重取決於到邊界的距離 $ d(x) $。
• 透過快擴散方程的尺度性質與有限滅絕時間 $ T^* $，推導 $ u $ 及其導數的先驗 $ L^\nu $-型估計。
• 利用方程的結構與 $ t=0 $ 時的相容條件，在拋物柱體中透過迭代估計建立 Hölder 連續性與高階正則性。
• 使用爆破論證與緊緻性方法，推導滅絕附近的精確漸近行為，確認正則性結果的最優性。

实验结果

研究问题

• RQ1 Berryman與Holland（1980年）在邊界附近所使用的 $ u $、$ \partial_t u $、$ \nabla u $ 與 $ \nabla^2 u $ 的先驗光滑性假設，對快擴散方程的有界弱解而言，是否確實成立？
• RQ2 快擴散方程在光滑有界區域內的有界正弱解，其最優邊界正則性為何，特別是在 $ t \to T^* $ 時？
• RQ3 解的正則性如何取決於指數 $ p $ 為整數或非整數，特別是在臨界與子臨界Sobolev範疇中？
• RQ4 在給定假設下，是否可將精確的全局Harnack原理與滅絕輪廓估計提升至邊界處的完整 $ C^\infty $ 正則性？

主要发现

• 本文證明，當 $ p $ 為整數時，快擴散方程的有界非負弱解在 $ \overline{\Omega} \times (0,T^*) $ 上為 $ C^\infty $，從而解決此情況下的正則性問題。
• 當 $ p $ 非整數時，解滿足對所有 $ l \geq 0 $ 與 $ t \in (0,T^*) $，有 $ \partial_t^l u(\cdot,t) \in C^{2+p}(\overline{\Omega}) $，顯示空間上最優正則性。
• 解在滅絕附近展現精確的漸近行為 $ u(x,t) \sim d(x)(T^* - t)^{1/(p-1)} $，並在空間與時間上具有最優Hölder與導數估計。
• 作者確立能量恆等式 $ \frac{d}{dt} \int_\Omega |\nabla u|^2 = -2p \int_\Omega u^{p-1} |\partial_t u|^2 $ 無需假設光滑性，確認Berryman與Holland先前推導的正確性。
• 證明揭示快擴散方程中存在深刻的幾何結構，其中曲率類似量的演化方程在控制高階導數中扮演核心角色。
• 正則性結果為最優：當 $ p $ 非整數時，空間上 $ C^{2+p} $ 正則性為最佳，此點由精確解 $ u(x,t) = [(p-1)(1-t)/p]^{1/(p-1)} S(x) $ 所證明，其中 $ S $ 為相關橢圓問題的正解。