[論文レビュー] A sufficient integral condition for local regularity of solutions to the surface growth model

Wojciech S. Ożański|arXiv (Cornell University)|Mar 23, 2018

Navier-Stokes equation solutions参考文献 25被引用数 10

ひとこと要約

本稿は、1次元表面成長モデル（ut + uxxxx + ∂xxu²x = 0）の弱解の局所的滑らかさの十分条件を積分的に確立する。1/q + 4/q′ ≤ 1 を満たす ux ∈ Lq′,q(Q) が空間的・時間的 C∞ 正則性を示すことを証明することで、Serrin型正則性基準を4次放物型方程式へ拡張し、3次元ナビエ＝ストークス方程式の結果と類似させ、特異集合の定義が最適であることを示唆する。

ABSTRACT

The surface growth model, $u_t + u_{xxxx} + \partial_{xx} u_x^2 =0$, is a one-dimensional fourth order equation, which shares a number of striking similarities with the three-dimensional incompressible Navier--Stokes equations, including the results regarding existence and uniqueness of solutions and the partial regularity theory. Here we show that a weak solution of this equation is smooth on a space-time cylinder $Q$ if the Serrin condition $u_x\in L^{q'}L^q (Q)$ is satisfied, where $q,q'\in [1,\infty ]$ are such that either $1/q+4/q'<1$ or $1/q+4/q'=1$, $q'<\infty$.

研究の動機と目的

• 表面成長モデルの弱解の局所的滑らかさの十分積分条件を確立すること。
• 3次元ナビエ＝ストークス方程式における Serrin 型正則性基準を、この4次偏微分方程式へ拡張すること。
• Serrin 条件が完全な C∞ 滑らかさを示すことから、 Hölder 継続性に失敗する点の集合として定義される特異集合が最適であるかどうかを明確にすること。
• 方程式の非線形項 ∂xxu²x の構造に起因して、u ではなく ux に関する条件が自然であることを示すこと。
• 部分正則性結果と完全正則性のギャップを埋めるために、Serrin 条件が滑らかさを示すが、Hölder 継続性以上のものであることを示すこと。

提案手法

• 表面成長方程式から双調和熱核を用いて ux の表現公式を導出する。
• 分数階ソボレフ空間と放物型 Poincaré 型不等式を用いて、高階微分を段階的に制御する。
• Lp 空間における演算子 ∂t − ∂xxxx の像の稠密性に基づく双調和熱方程式の解の一意性定理を適用する。
• Takahashi (1990) の手法を1次元4次放物型設定に適応し、滑らか化とエネルギー推定を用いる。
• Young の不等式と Hölder の不等式を用いて、Lorentz 空間 Lq′,q におけるノルムを制御する。
• ブートストラップ法を用いる：まず拡張された放物型 Poincaré 不等式により Hölder 継続性を証明し、次に微分推定により完全な C∞ 滑らかさを示す。

実験結果

リサーチクエスチョン

• RQ1 Serrin 型条件 ux ∈ Lq′,q(Q) かつ 1/q + 4/q′ ≤ 1 が、表面成長モデルの弱解に対して C∞ 正則性を示すか？
• RQ2 O\'za{\i}nski & Robinson (2017) が ux の L3 範囲条件のもとで Hölder 継続性を示した部分正則性結果が、同様の Lq′,q 条件のもとで完全な滑らかさに強化可能か？
• RQ3 Serrin 条件が完全な C∞ 滑らかさを示す以上、Hölder 継続性に失敗する点の集合として定義される特異集合 S が最適であるとされる根拠は何か？
• RQ4 なぜ条件が u ではなく ux に関して述べられているのか？非線形項 ∂xxu²x の構造とどのように関係しているか？
• RQ5 q=1, q′=∞ の端点ケースの役割は何か？ナビエ＝ストークス方程式において重要であるにもかかわらず、現在の解析では除外されているが、その理由は何か？

主な発見

• 弱解が 1/q + 4/q′ < 1 を満たす ux ∈ Lq′,q(Q) を満たすならば、任意の円柱 Q において空間的・時間的 C∞ 滑らかさを示す。
• 臨界ケース 1/q + 4/q′ = 1 かつ q′ < ∞ においても、同様の条件が C∞ 滑らかさを示す。これは亜臨界結果の拡張である。
• 条件 1/q + 4/q′ ≤ 1 は唯一の端点ケース q=1, q′=∞ を除く。このケースは未解決だが、正則性を示すと予想されている。
• 証明は、完全な L∞ 界の必要を回避するため、分数階ソボレフ空間の新規応用により微分を段階的に得る手法に依存している。
• 結果は、Hölder 継続性に失敗する点の集合として定義される特異集合 S が最適であることを確認している。なぜなら、Serrin 条件が完全な C∞ 滑らかさを示すからである。
• 解析により、表面成長モデルにおける Serrin 条件は空間的・時間的両方の滑らかさを導くが、ナビエ＝ストークス方程式とは異なり、時間的滑らかさは得られない。