[論文レビュー] Existence and nonexistence of solutions for the heat equation with a superlinear source term

Yohei Fujishima, Norisuke Ioku|arXiv (Cornell University)|Sep 21, 2016

Advanced Mathematical Physics Problems参考文献 17被引用数 3

ひとこと要約

本稿は、非線形熱方程式における超線形項を有する場合の局所解の存在・非存在を分類する基準を、新規の準スケーリング変換とその不変積分を用いて確立する。主な結果は、初期データの可積分性条件—関数 $ F(s) = \int_s^\infty du/f(u) $ を用いて定義される—が、解の存在を決定することを示しており、これは、以前は $ u^p $ のようなべき乗型非線形性に限られていた古典的結果を、任意の超線形 $ f $ に一般化するものである。

ABSTRACT

Classification theory on the existence and non-existence of local in time solutions for initial value problems of nonlinear heat equations are investigated. Without assuming a concrete growth rate on a nonlinear term, we reveal the threshold integrability of initial data which classify existence and nonexistence of solutions via a quasi-scaling and its invariant integral. Typical nonlinear terms, for instance polynomial type, exponential type and its sum, product and composition, can be treated as applications.

研究の動機と目的

• 一般の超線形源項 $ f(u) $ を有する熱方程式に対する局所解の存在・非存在を分類する初期データの閾値可積分性を特定すること。
• 従来、$ u^p $ のようなべき乗型非線形性にのみ成立していた古典的結果を、任意の $ C^1 $、正、増加関数 $ f(u) $ に拡張すること。
• 標準的なスケール不変性を欠く場合でも、重要な積分不変量を保つ準スケーリング変換に基づく一般枠組みを構築すること。
• 解の存在を決定づける普遍的条件として、$ \int_{\mathbb{R}^N} F(u_0(x))^{-N/2} dx $ の形をとる量を同定すること。この条件は、非線形項 $ f $ の具体的な増大度に依存しない。

提案手法

• べき乗非線形性の標準的スケーリングを一般化する、準スケーリング変換 $ u_\lambda(x,t) = F^{-1}[\lambda^{-2} F(u(\lambda x, \lambda^2 t))] $ を導入する。ここで $ F(s) = \int_s^\infty du/f(u) $ である。
• この準スケーリングのもとで、積分 $ \int_{\mathbb{R}^N} F(u(x,0))^{-N/2} dx $ が不変であることを確立し、これが解の分類に重要な不変量となることを示す。
• 変換後の方程式における剰余項を分析し、正確なスケール不変性からのずれを制御する。その際、極限 $ A = \lim_{s\to\infty} f'(s)F(s) $ に依存する。
• 不変積分を用いて閾値を定義する：$ \int F(u_0)^{-N/2} dx < \infty $ ならば解が存在する可能性がある。それ以外の場合は、ある条件下で非存在が示唆される。
• 関数空間 $ \mathcal{L}^{r}_{ul,\rho} $ および $ Y_{M,T} $ における固定点法を用いて、不変積分が有限である場合の局所解の存在を証明する。
• Lorentz型空間における補間および反復技法を用いて正則性を逐次改善し、$ u \in L^\infty_{\text{loc}}((0,T); L^\infty) $ を示すことで、解が古典的解であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 一般の超線形源 $ f(u) $ を有する熱方程式に対して、初期データ $ u_0 $ が解の存在・非存在を決定づける一般条件は何か？
• RQ2 べき乗非線形性 $ f(u) = u^p $ に対して成立していた古典的臨界指数 $ r_c = \frac{N}{2}(p-1) $ を、特定の増大度を仮定しない任意の超線形 $ f $ に一般化する方法は何か？
• RQ3 標準的スケール不変性を欠く非線形項に対し、スケール不変量を構成できるか。また、その不変量は解の挙動をどのように支配するか？
• RQ4 関数 $ F(s) = \int_s^\infty du/f(u) $ 及びその逆関数が、解の存在閾値を特徴付ける上で果たす役割は何か？
• RQ5 準スケーリング変換は、方程式を正確に保存しない場合でも、分類に必要な構造を保持するのか？

主な発見

• 方程式 $ \partial_t u = \Delta u + f(u) $ の局所解の存在・非存在は、不変積分 $ \int_{\mathbb{R}^N} F(u_0(x))^{-N/2} dx $ の収束性によって分類される。ここで $ F(s) = \int_s^\infty du/f(u) $ である。
• もし $ \int F(u_0)^{-N/2} dx < \infty $ ならば、$ f $ および $ u_0 $ にやや弱い仮定をおくことで、ある $ r $ に対して $ C([0,T); \mathcal{L}^r_{ul,\rho}) $ 内に局所古典的解が存在する。
• もし $ \int F(u_0)^{-N/2} dx = \infty $ ならば、同じ条件下で、非負の局所古典的解は存在しない。これは $ T > 0 $ が小さくても同様である。
• 本手法により、$ f(u) = u^p $ の場合の古典的臨界指数 $ r_c = \frac{N}{2}(p-1) $ が、任意の超線形 $ f $ に一般化され、閾値は今や $ F $-変換された積分に符号化されている。
• 準スケーリング変換は、$ A = \lim_{s\to\infty} f'(s)F(s) $ によって制御される剰余項を除き、方程式の構造を保存する。これにより、手法の頑健性が保証される。
• Lorentz型空間における反復的正則性改善により、$ u \in L^\infty_{\text{loc}}((0,T); L^\infty) $ が示され、解が古典的解であることが確認される。