[論文レビュー] Gradient Estimates of Mean Curvature Equations with Neumann Boundary Condition

Xi‐Nan Ma, Jinju Xu|arXiv (Cornell University)|May 31, 2014

Nonlinear Partial Differential Equations参考文献 11被引用数 17

ひとこと要約

この論文は、最大値原理を用いて、ノイマン境界条件を満たす平均曲率方程式の内部および境界における勾配推定値を確立し、Liebem (2005) が提起した問題を解決する。著者らは境界近傍で一様な勾配バインディングを証明し、データの自然な正則性および単調性条件の下で解の存在定理を導く。

ABSTRACT

In this paper, we use the maximum principle to get the gradient estimate for the solutions of the prescribed mean curvature equation with Neumann boundary value problem, which gives a positive answer for the question raised by Lieberman \cite{Lieb13} in page 360. As a consequence, we obtain the corresponding existence theorem for a class of mean curvature equations. Moreover we can get a new proof of the gradient estimates for the mean curvature equation with prescribed contact angle boundary value problem.

研究の動機と目的

• ノイマン境界条件を満たす平均曲率方程式に関するLiebermanの未解決問題、すなわち勾配推定値についての解決。
• 所与の平均曲率方程式の解に対するノイマンデータのもとでの境界勾配推定値の確立。
• 連続性法を可能にするために、事前推定としての $ C^2 $ 推定値を導出する。
• Spruck, Lieberman, Wang の手法に裏付けられ、最大値原理の技術をノイマン設定に拡張する。
• ノイマン問題の解が存在し、一意的であるための条件を提供する。

提案手法

• 境界近傍 $ \bar{\rho}_{\text{0}} $ において、勾配量 $ |Du|^2 $ に最大値原理を適用し、巧みに構築された補助関数を用いる。
• Spruck [21]、Lieberman [14]、Wang [24] が開発した法線変位法と最大値原理の手法を用いて境界勾配推定値を求める。
• 二階微分と曲率項を含む二次形式 $ Q(x_3, \bar{x}_n) $ を構築し、境界挙動を制御する。
• 行列 $ B = B_1 + B_2 $ の逆行列に対する線形代数的推定値を用いる。ここで $ B_1 $ は正定値であり、$ B_2 $ は低次の項である。
• 下界 $ Q \to -C_{16} u_1^6 $ を導出し、境界領域におけるヘッセ行列の最悪ケース挙動を制御する。
• 連続性法を用い、$ \tau \to 1 $ のホモトピー媒介変数を用い、$ \tau=0 $ で自明な解 $ u=0 $ から出発して存在性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最大値原理を用いて、ノイマン境界条件を満たす平均曲率方程式の境界勾配推定値を得ることは可能か？
• RQ2 $ f(x,z) $ および $ \rho(x,z) $ に対して、境界近傍で一様な勾配バインディングを保証する条件は何か？
• RQ3 自然な正則性および単調性仮定のもとで、平均曲率方程式のノイマン問題は解をもつか？
• RQ4 $ C^0 $ および $ C^1 $ の事前推定値が確立可能で、連続性法が適用可能か？
• RQ5 境界の幾何構造およびノイマンデータは、$ \bar{\rho}_{\text{0}} $ 近傍での勾配挙動にどのように影響を与えるか？

主な発見

• 境界近傍 $ \bar{\rho}_{\text{0}} $ において、一様な勾配バインディング $ \text{sup}_{\bar{\rho}_{\text{0}}} |Du| \to \text{max}\big\bracevert M_1, M_2 \big\bracevert $ が確立され、ここで $ M_1 $ および $ M_2 $ は $ n, M_0, L_1, L_2, \rho, \text{dist}(\rho', \rho) $ に依存する。
• 境界勾配推定値は、$ f_z \to 0 $、$ |f| + |f_x| \to L_1 $、および $ \rho \to C^3 $ かつ $ |\rho|_{C^3} \to L_2 $ という仮定のもとで成立する。
• 内部勾配推定値は標準理論に由来し、$ M_1 $ は $ n, M_0, \text{dist}(\rho', \rho), L_1 $ のみに依存する。
• ノイマン問題 $ \text{div}\big( \frac{Du}{\text{sqrt}(1+|Du|^2)} \big) = u $、$ \frac{\rho u}{\rho \rho} = \rho(x) $ に対して、一意的な $ C^2(\bar{\rho}) $ 解をもつ存在定理（定理1.3）が証明される。
• $ C^0 $ 推定値は、Spruck [21] が提案したConcus-Finn比較原理を適応することで得られ、$ u $ の一様有界性を保証する。
• 結果は、ヘッセ方程式および高階曲率方程式に一般化可能であり、$ \rho \to C^2 $ が $ C^3 $ よりも弱い条件として十分である。