[论文解读] Inhomogeneous Hopf-Oleĭnik Lemma and Applications. Part IV: Sharp Krylov Boundary Gradient Type Estimates for Solutions to Fully Nonlinear Differential Inequalities with unbounded coefficients and $C^{1,Dini}$ boundary data

J. Ederson M. Braga, Diego Moreira+1 more|arXiv (Cornell University)|Aug 8, 2016

Nonlinear Partial Differential Equations参考文献 35被引用 3

一句话总结

本文為具有無界係數和 $C^{1,Dini}$ boundary 數據的完全非線性橢圓微分不等式，建立了尖銳的 Krylov 型邊界梯度估計。透過引入非齊次 Hopf-Oleĭn 陳述的簡化證明，並應用「Lipschitz 推出 $C^{1,\alpha}$」的方法，作者推導出梯度在邊界附近的 Hölder 連續性，並以係數和數據的 $L^q$ 模範（$q>n$）表示 $u/x_n$ 和 $ abla u$ 的定量估計。結果將 Krylov 的經典估計推廣至無界右端項與一般非線性算子的情境。

ABSTRACT

In this paper we provide another application of the Inhomogeneous Hopf-Ole\uınik Lemma (IHOL) proved in \cite{BM-IHOL-PartI} or \cite{Boyan-2}. As a matter of fact, we also provide a new and simpler proof of a slightly weaker version IHOL for the uniformly elliptic fully nonlinear case which is sufficient for most purposes. The paper has essentially two parts. In the first part, we use IHOL for unbounded RHS to develop a Caffarelli's "Lipschitz implies $C^{1,α}$" approach to prove Ladyzhenskaya-Uraltseva boundary gradient type estimates for functions in $S^{*}(γ, f)$ that vanishes on the boundary. Here, unbounded RHS means that $f\in L^{q}$ with $q>n$. This extends the celebrated Krylov's boundary gradient estimate proved in \cite{Krylov}. A Phragmén-Lindelöf classification result for solutions in half spaces is recovered from these estimates. Moreover, a Hölder estimate up to the boundary (in the half-ball) for $u(x)/x_{n}$ is obtained. In the second part, we extend the previous results for functions in $S^{*}(γ, σ, f)$ where $γ,f\in L^{q}$ with $q>n$ that have a $C^{1,Dini}$ boundary data on a $W^{2,q}$ domain. Here, we use an "improvement of flatness" strategy suited to the unbounded coefficients scenario. As a consequence of that, a quantitative version of IHOL under pointwise $C^{1,Dini}$ boundary regularity is obtained.

研究动机与目标

• 將 Krylov 的經典邊界梯度估計推廣至具有無界 $L^q$ 係數與右端項（$q>n$）及 $C^{1,Dini}$ boundary 數據的完全非線性橢圓不等式。
• 提供一個新穎且簡化的非齊次 Hopf-Oleĭn 陳述（IHOL）的較弱版本的證明，足以支持主要結果。
• 在點態 $C^{1,Dini}$ boundary 正則性下，透過「平坦度改進」策略，建立 IHOL 的定量版本，適用於無界係數情形。
• 恢復 Phragmén-Lindelöf 分類結果，並在上半球中獲得 $u(x)/x_n$ 的邊界 Hölder 估計。

提出的方法

• 以歸一化、尺度不變的形式使用非齊次 Hopf-Oleĭn 陳述（IHOL），以控制解在邊界處的行為。
• 應用受 L. Caffarelli 的自由邊界理論啟發的「Lipschitz 推出 $C^{1,\alpha}$」策略，並針對邊界梯度估計進行調整。
• 為 Pucci 極值算子構造障礙函數，以控制振幅與梯度行為，適用於無界右端項。
• 採用專為無界係數設定設計的「平坦度改進」技術，實現對 $S^*(\gamma,\sigma,f)$ 中的估計，其中 $\gamma,\sigma,f\in L^q$，$q>n$，且具有 $C^{1,Dini}$ boundary 數據。
• 在二元尺度上對 $u/x_n$ 和 $ abla u$ 的振幅估計進行歸一化，以推導 Hölder 連續性。
• 運用幾何論證與調和函數梯度估計，將線性近似之振幅與梯度的 Hölder 半範數關聯起來。

实验结果

研究问题

• RQ1 Krylov 的邊界梯度估計能否推廣至具有無界 $L^q$ 係數與右端項（$q>n$）及 $C^{1,Dini}$ boundary 數據的完全非線性方程？
• RQ2 是否存在一個簡化版本的非齊次 Hopf-Oleĭn 陳述證明，足以支持完全非線性情形下的邊界梯度估計？
• RQ3 邊界梯度 Hölder 半範數對係數與數據的 $L^q$ 模範的尖銳定量依賴關係為何？
• RQ4 「Lipschitz 推出 $C^{1,\alpha}$」策略如何適應具有無界係數的非線性不等式之邊界估計？
• RQ5 能否從這些新的邊界梯度估計中恢復半空間中 Phragmén-Lindelöf 類型的分類結果？

主要发现

• 建立尖銳的邊界梯度估計：$\text{osc}_{B_r^+} |\nabla u(x',0)| \leq C (r/R_0)^\alpha \left( \text{osc}_{B_{R_0}^+} (u/x_n) + \|f\|_{L^\infty(B_{R_0}^+)} \right)$，將 Krylov 的結果推廣至無界 $f\in L^q$，$q>n$，以及完全非線性算子。
• $u/x_n$ 在 $B_r^+$ 中的振幅受控於 $C (r/R_0)^\alpha \left( \text{osc}_{B_{R_0}^+} (u/x_n) + \|f\|_{L^q(B_{R_0}^+)} \right)$，從而獲得 $u/x_n$ 在邊界附近的 Hölder 正則性。
• 在點態 $C^{1,Dini}$ boundary 正則性下，獲得 IHOL 的定量版本，其中梯度的 Hölder 半範數受 $T + \omega(r_0/4)^{-1} \|A\|_{L^\infty}$ 控制。
• 證明梯度 $ abla u$ 在邊界附近具有 Hölder 連續性，指數為 $\alpha$，且其 Hölder 半範數受一個與 $T$ 成正比的通用常數與包含 Dini 模 $\omega$ 的項的控制。
• 作為邊界梯度估計的推論，恢復了半空間中解的 Phragmén-Lindelöf 分類結果。
• 提供一個新穎、基本且幾何化的 IHOL 稍弱版本的證明，足夠支持主要結果，且比 [45, 46] 中先前版本更為簡潔。