[論文レビュー] On the Time Derivative in a Quasilinear Equation

Peter Lindqvist|arXiv (Cornell University)|Jan 7, 2016

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

ひとこと要約

本稿は、弱解 $ u $ に対して、時間微分 $ u_t $ が $ 2 \leq p < \infty $ の範囲でソボレフの意味で存在し、$ L^{p/(p-1)}_{\text{loc}}(\Omega_T) $ に属することを確立する。証明は、差分商に対するキャッキオポリ型推定式に依拠し、モーザーまたはデ・ジョルジの反復を回避する。方程式の構造とソボレフ空間論を活用することで、$ u_t $ が分布ではなく可測関数として存在することを直接示している。

ABSTRACT

The time derivative (in the sense of distributions) of the solutions to the Evolutionary p-Laplace Equation is proved to be a function in a local Lebesgue space.

研究の動機と目的

• 準線形放物型方程式の正則性理論において、長年にわたり軽視されてきた時間微分 $ u_t $ の解明を目的とする。
• 弱解に対する時間微分 $ u_t $ が、分布ではなくソボレフの意味で関数として存在することを証明すること。
• モーザーまたはデ・ジョルジの反復手法に依存せず、$ u_t $ の可 summability を直接的・初等的に証明すること。
• 標準的な仮定の下で、楕円型係数を有するより一般な方程式へ結果を拡張すること。

提案手法

• 空間的カットオフ関数と時間的カットオフ関数を含むテスト関数を用いて、差分商 $ \frac{u(x+h,t) - u(x,t)}{h} $ に対するキャッキオポリ型推定式を導出する。
• テスト関数を滑らか化するための畳み込みを適用し、弱形式における部分積分の正当化を図る。
• 任意の $ \phi \in C^1_0(\Omega_T) $ に対して、恒等式 $ \int_{\Omega_T} u \phi_t \, dx\,dt = - \int_{\Omega_T} \phi \cdot \text{div}(|\nabla u|^{p-2} \nabla u) \, dx\,dt $ を用い、$ u_t $ を発散項と関連付ける。
• 差分商の推定式を用いて、$ F = |\nabla u|^{p/2} $ の空間的弱微分の存在を確立し、ホルダーの不等式を適用して可積分性を結論づける。
• 関係式 $ \partial_{x_j}(|\nabla u|^{p-2} \nabla u) \leq C |F|^{(p-2)/p} |\partial_{x_j} F| $ を用いて勾配項を制御し、$ u_t \in L^{p/(p-1)}_{\text{loc}} $ を導出する。
• 局所化のためのカットオフ関数 $ \eta(t) $ と $ \zeta(x) $ を選択し、$ h \to 0 $ の極限を取ることで、$ F $ のソボレフ微分可能性を確認する。

実験結果

リサーチクエスチョン

• RQ1 弱解 $ u $ に対する時間微分 $ u_t $ が、分布ではなく可測関数として存在することを示せるか？
• RQ2 モーザーまたはデ・ジョルジの反復法を用いずに、$ u_t $ の可summability を証明することは可能か？
• RQ3 $ 2 \leq p < \infty $ の範囲で、$ u_t $ の最適な局所可積分クラスは何か？
• RQ4 方程式 $ u_t = \text{div}(|\nabla u|^{p-2} \nabla u) $ の構造は、どのようにして $ u_t $ が発散項から正則性を引き継ぐのか？

主な発見

• 任意の弱解 $ u $ に対して、$ 2 \leq p < \infty $ の範囲で、時間微分 $ u_t $ はソボレフの意味で存在する。
• 時間微分 $ u_t $ は局所可積分空間 $ L^{p/(p-1)}_{\text{loc}}(\Omega_T) $ に属する。これは、分布であるよりも強い性質である。
• 証明は、モーザーまたはデ・ジョルジの反復を回避しており、$ u_t $ の正則性への到達がより直接的かつアクセス可能な道筋を提供する。
• 係数行列が強楕円性条件を満たす場合、結果は有界かつ可測な係数を有する方程式へ拡張可能である。
• 重い場合 $ p > 2 $ において、$ F = |\nabla u|^{p/2} $ の有界性から $ u_t \in L^2_{\text{loc}}(\Omega_T) $ が従うが、これはより深い正則性理論を要する。
• $ 1 < p < 2 $ の場合、二階微分 $ u_{x_i x_j} $ および $ DF $ は $ L^2_{\text{loc}} $ に属するが、勾配項の負の指数が解析を複雑にする。