[論文レビュー] A test function method for evolution equations with fractional powers of the Laplace operator

Kazumasa Fujiwara, Marcello D’Abbicco|arXiv (Cornell University)|May 25, 2020

Advanced Mathematical Physics Problems参考文献 41被引用数 6

ひとこと要約

本稿では、分数階のラプラシアン作用素とべき乗型非線形項を有する高階時間発展方程式に対して、全局的解の非存在を確立するための新しいテスト関数法を開発する。分数階微分において良好に振る舞うように設計されたテスト関数を構築することで、爆発の鋭い臨界指数を導出し、スケーリングと反例を用いて最近の全局的解の存在結果の最適性を確認する。

ABSTRACT

In this paper, we discuss a test function method to obtain nonexistence of global-in-time solutions for higher order evolution equations with fractional derivatives and a power nonlinearity, under a sign condition on the initial data. In order to deal with fractional powers of the Laplace operator, we introduce a suitable test function and a suitable class of weak solutions. The optimality of the nonexistence result provided is guaranteed by both scaling arguments and counterexamples. In particular, our manuscript provides the counterpart of nonexistence for several recent results of global existence of small data solutions to the following problem: \[ \begin{cases} u_{tt} + (-Δ)^θu_t + (-Δ)^σ u = f(u,u_t),& t>0, \ x\in\mathbb R^n,\\ u(0,x)=u_0(x), \ u_t(0,x)=u_1(x) \end{cases} \] with $f=|u|^p$ or $f=|u_t|^p$, where $θ\geq0$ and $σ>0$ are fractional powers.

研究の動機と目的

• 古典的テスト関数法が失敗する場合に特に、分数階ラプラシアン作用素を有する発展方程式に対する非存在結果の不足に対処すること。
• 小データ解に関する最近の全局的解の存在結果と、それに対応する爆発または非存在結果の欠落の間のギャップを埋めること。
• 非整数階のラプラシアン作用素を含む高階方程式に適用可能な頑健なテスト関数法を開発すること。
• 初期データに符号条件が課されたもとで、時間全域における弱解の非存在に関する鋭い臨界指数を確立すること。
• スケーリング議論と反例を用いて、非存在結果の最適性を検証すること。

提案手法

• 分数階ラプラシアン作用素を取り扱えるように特別に設計されたテスト関数のクラスを導入し、弱解の定式化と整合性を保証する。
• CórdobaとCórdoba (2003) が得た二乗関数の分数階微分に関する点ごとの推定を活用して、古典的テスト関数法を分数微分作用素に適応する。
• 分数階微分と非整数階数を扱える適切な関数空間枠組みにおいて弱解を定義する。
• 作用素 $ L $ が分数階ラプラシアンと時間微分を含む一般形の発展方程式 $ Lu = | abla_t^ u u|^p $ にこの手法を適用する。
• スケーリング解析を用いて臨界指数 $ p_c $ を特定し、非存在結果の鋭さを保証する。
• 反例の構築と文献に既知の全局的解の存在結果との比較を通じて、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 分数階ラプラシアン作用素を有する発展方程式に対して、非存在を示すためにテスト関数法を適応可能か？
• RQ2 分数階ラプラシアン作用素を有する方程式における時間全域における弱解の非存在に関する正確な臨界指数 $ p_c $ は何か？
• RQ3 臨界指数は、分数階数 $ \sigma_j $、時間微分の階数 $ m $、空間次元 $ n $ にどのように依存するか？
• RQ4 導出された非存在結果は最適であり、スケーリングと反例によってそれが確認可能か？
• RQ5 この手法は、分数階と整数階微分を混合する高階作用素へ拡張可能か？

主な発見

• 方程式 $ u_{tt} + (- abla)^\theta u_t + (- abla)^\sigma u = |u_t|^p $ に対して、$ \theta \geq 0 $、$ \sigma > 0 $、初期データに符号条件が課されたもとで、$ p \leq 1 + \frac{2\theta}{n} $ のとき、時間全域における弱解は存在しないことが示された。
• 方程式 $ u_t + (- abla)^\sigma u = u^p $ に対して、$ 1 < p \leq 1 + \frac{2\sigma}{n} $ のとき非存在が成立し、臨界指数の鋭さが確認された。
• 条件 $ 2\sigma < n + 2\theta $ のもとで、臨界指数は $ p_c = 1 + \frac{2\sigma}{n + 2\theta - 2\sigma} $ として導出された。ここで $ \theta $ は時間微分の同次パラメータ、$ \sigma $ は分数階ラプラシアンの有効次数である。
• 作用素 $ L = \partial_t^m + \sum_{j=0}^{m-1} a_j (-\nabla)^{\sigma_j} \partial_t^j $ の高階一般化に対して、臨界指数は同次関数 $ g(\eta) $ の最小値によって決定される。
• スケーリング議論により、導出された臨界指数が鋭いことが確認された。これは、存在と爆発の閾値と一致するスケーリング挙動を示すからである。
• 分数作用素の非局所的性質を尊重する適切なテスト関数の構築により、古典的テスト関数法が分数設定へ拡張可能となり、長年の制限が解消された。