[論文レビュー] Local well-posedness and global existence for the biharmonic heat equation with exponential nonlinearity

Mohamed Majdoub, Sarah Otsmane+1 more|arXiv (Cornell University)|Jun 23, 2016

Advanced Mathematical Physics Problems被引用数 6

ひとこと要約

本稿は、Orlicz空間 $ \exp L^2 $ における指数型非線形項 $ f(u) \sim e^{u^2} $ を有するビアーモニック熱方程式について、局所的well-posednessおよび大域的解の存在を確立する。$ \exp L^2_0 $ および $ \exp L^2 $ における固定点法を用い、初期データが小さい場合および原点近傍でべき乗型成長を示す場合に、一意な局所解および大域解の存在を証明する。また、ビアーモニック半群の $ L^p-L^q $ 評価を用いて、時間発展における減衰推定を得る。

ABSTRACT

In this paper we prove local well-posedness in Orlicz spaces for the biharmonic heat equation $\partial_{t} u+ Δ^2 u=f(u),\;t>0,\;x\in\R^N,$ with $f(u)\sim \mbox{e}^{u^2}$ for large $u.$ Under smallness condition on the initial data and for exponential nonlinearity $f$ such that $f(u)\sim u^m$ as $u o 0,$ $m$ integer and $N(m-1)/4\geq 2$, we show that the solution is global. Moreover, we obtain a decay estimates for large time for the nonlinear biharmonic heat equation as well as for the nonlinear heat equation. Our results extend to the nonlinear polyharmonic heat equation.

研究の動機と目的

• 指数型非線形項 $ f(u) \sim e^{u^2} $ を有するビアーモニック熱方程式について、Orlicz空間 $ \exp L^2_0(\mathbb{R}^N) $ における局所的well-posednessを確立すること。
• 原点近傍でべき乗型非線形項 $ |f(u)| \sim |u|^m $ を有する場合に、初期データが小さい条件下で大域的解の存在を証明すること。ただし $ m \geq 2 $ かつ $ N(m-1)/4 \geq 2 $ を満たす。
• ビアーモニック半群の $ L^p-L^q $ 評価を用いて、非線形ビアーモニック方程式および標準的熱方程式の解について、$ t \to \infty $ における大時間減衰推定を導出すること。
• $ d \geq 2 $ に対して一般化された多項式的熱方程式 $ \partial_t u + (-\Delta)^d u = f(u) $ へ結果を拡張すること。

提案手法

• 初期値問題を考察するための積分表現 $ u(t) = e^{-t\Delta^2}u_0 + \int_0^t e^{-(t-s)\Delta^2} f(u(s))\,ds $ の使用。
• $ \exp L^2_0(\mathbb{R}^N) $ における固定点法を用いて局所的well-posednessを、$ L^\infty(0,\infty; \exp L^2) $ における固定点法を用いて大域的解の存在を証明する。
• ビアーモニック半群 $ e^{-t\Delta^2} $ に対する $ L^p-L^q $ 評価の適用、特に $ \|e^{-t\Delta^2}\varphi\|_q \leq \mathcal{H} t^{-\frac{N}{4}(\frac{1}{p}-\frac{1}{q})} \|\varphi\|_p $ の形の評価。
• 非線形項の指数的成長を扱うために、特にルクセムブルクノルム $ \|u\|_{\exp L^2} $ を用いたOrlicz空間ノルムの使用。
• 指数的可積分性を活用し、$ \|f(u)\|_r $ を $ \|u\|_{\exp L^2} $ の項で制御するためのホルダー型およびヤング型不等式の適用。
• スケーリング $ t^{-\frac{N}{2d}(\frac{1}{p}-\frac{1}{q})} $ を有する $ e^{-t(-\Delta)^d} $ に対する $ L^p-L^q $ 評価を用いて、多項式的作用素への拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 指数型非線形項 $ f(u) \sim e^{u^2} $ を有するビアーモニック熱方程式が、Orlicz空間で局所解を有するための条件は何か？
• RQ2 原点近傍でべき乗型非線形項を有するビアーモニック方程式に対して、初期データのどの程度の小さな条件が大域的解の存在を保証するか？
• RQ3 非線形ビアーモニック熱方程式の解について、$ t \to \infty $ においてどの程度の減衰率が確立できるか？
• RQ4 ビアーモニック方程式に関する結果を、より高次の多項式的方程式 $ \partial_t u + (-\Delta)^d u = f(u) $ に拡張できるか？
• RQ5 ビアーモニック半群の $ L^p-L^q $ 評価が、解の存在および減衰にどのように影響を与えるか？

主な発見

• 初期データ $ u_0 \in \exp L^2_0(\mathbb{R}^N) $ に対して、$ \exp L^2_0(\mathbb{R}^N) $ において局所的well-posednessが成立し、一意な解 $ u \in C([0,T]; \exp L^2_0) $ が存在する。
• 初期データノルム $ \|u_0\|_{\exp L^2} \leq \varepsilon $ が十分小さい $ \varepsilon > 0 $ の下で、$ N(m-1)/4 \geq 2 $ かつ $ m \geq 2 $ の条件下で大域的解の存在が確立される。
• 解は $ \|u(t)\|_p \leq C t^{-\sigma} $ の形の減衰推定を満たし、$ \sigma = \frac{1}{m-1} - \frac{N}{2dp} > 0 $ である。この推定は、$ N $ および $ d $ に依存する特定の $ p $ の範囲で有効である。
• ビアーモニック半群 $ e^{-t\Delta^2} $ は $ \exp L^2_0(\mathbb{R}^N) $ において $ t=0 $ で連続であるが、$ \exp L^2(\mathbb{R}^N) $ では連続でない。
• 多項式的方程式 $ \partial_t u + (-\Delta)^d u = f(u) $（$ d \geq 2 $）に対しても、類似の $ L^p-L^q $ 評価および固定点法を用いて結果が拡張可能である。
• 非線形項 $ f(u) \sim e^{u^2} $ の場合、$ \exp L^2 $ は自然なフレームワークである。なぜなら、$ \exp L^2 $ はすべての $ q \geq 2 $ に対して $ L^q $ に埋め込まれ、半群作用に対して不変であるからである。