[論文レビュー] Finite time blow-up for a wave equation with a nonlocal nonlinearity

Ahmad Z. Fino, Mokhtar Kirane+1 more|arXiv (Cornell University)|Aug 25, 2010

Advanced Mathematical Physics Problems参考文献 20被引用数 9

ひとこと要約

本稿は、リーマン＝リウヴィル積分を用いてモデル化された時刻に依存する非局所非線形性を有する半線形波動方程式の有限時刻 blow-up を検討する。重み付きテスト関数法とエネルギー推定を用いて、空間次元 $N$、非線形性の指数 $p$、記憶パラメータ $γ$ に依存する有限時刻 blow-up の十分条件を確立し、カトーや グラスィー＝ストロスの古典的結果を非局所設定に一般化する。

ABSTRACT

In this article, we study the local existence of solutions for a wave equation with a nonlocal in time nonlinearity. Moreover, a blow-up results are proved under some conditions on the dimensional space, the initial data and the nonlinear forcing term.

研究の動機と目的

• 時刻に依存する非局所非線形性を有する波動方程式に対して、リーマン＝リウヴィル分数階積分を含む弱解および弱い意味での解の局所的存在を確立すること。
• 半線形波動方程式の古典的 blow-up 結果を記憶型非線形性を有する方程式へ拡張すること。
• 空間次元 $N$、非線形性指数 $p$、記憶パラメータ $γ$ に依存する有限時刻 blow-up が発生する十分条件を特定すること。
• 重み付きテスト関数技法を用いて、カトーおよび グラスィー＝ストロスの臨界指数結果を非局所設定に一般化すること。

提案手法

• 自由波動の進化を表す作用素 $\dot{K}(t)$ および $K(t)$ を用いて、波動方程式を積分方程式として定式化する。
• 時間に連続する $L^2$ 値をとるソボレフ空間への関数の閉部分空間 $X(T)$ を定義し、積分方程式の適切な定義を保証する。
• 重み付きテスト関数 $\tilde{\varphi}(x,t) = (\varphi_1(x))^\ell \varphi_2(t)$ を用い、$\varphi_1(x) = \Phi(|x|/R)$ および $\varphi_2(t) = (1 - t/T)^\eta_+$ とすることで、エネルギー型不等式を導出する。
• 分数階微分 $D^{\alpha}_{t|T}$ とヤングの不等式を用いて非線形項を推定し、時間的・空間的成長を制御する。
• 変数変換 $\xi = R^{-1}x$, $\tau = T^{-1}t$ を用いたスケーリング解析により、$T \to \infty$ における漸近的挙動を抽出し、グローバル解が存在する場合に矛盾を導く。
• 初期データの正の性質を仮定したもとで、$|u|^p$ および初期データを含む積分の減衰率を分析することで、blow-up 条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 非局所波動方程式の解が有限時刻に blow-up するための $p$、$γ$、$N$ に関する条件は何か？
• RQ2 リーマン＝リウヴィル積分としてモデル化された非局所非線形性は、古典的局所ケースと比較して blow-up の臨界指数にどのように影響を与えるか？
• RQ3 カトーおよび グラスィー＝ストロスの blow-up 技法を記憶型非線形性を有する方程式に適応できるか？
• RQ4 パrameter $γ \in (0,1)$ は有限時刻 blow-up の閾値を決定する上で果たす役割は何か？
• RQ5 初期データにコンパクトな台と積分の正の性質というより弱い仮定を置いた場合、blow-up 結果はロバストか？

主な発見

• 空間次元 $N \geq 3$ かつ $γ \leq (N-2)/N$ のとき、$p \leq 1/\gamma$ ならば、任意のグローバル弱解は $\int_{\mathbb{R}^N} |u(x,t)|^p \, dx \, dt = 0$ を満たす必要があり、これは矛盾を引き起こす。
• $p < 1/\gamma$ のとき、$T \to \infty$ において $\int_0^\infty \int_{\mathcal{C}} |u|^p \varphi_1^\ell \, dx \, dt$ の発散が生じ、有限時刻 blow-up を示唆する。
• $p = 1/\gamma$ かつ $N \geq 3$ のとき、$N - 2\tilde{p} < 0$（ただし $\tilde{p} = p/(p-1)$）が成り立つと、$R \to \infty$ の極限で $\int_{\mathbb{R}^N} |u|^p \, dx \, dt = 0$ が得られ、再び初期データの正の性質と矛盾する。
• 初期データの積分 $\int_{\mathbb{R}^N} u_0 > 0$ および $\int_{\mathbb{R}^N} u_1 > 0$ を仮定した場合、blow-up 結果は成り立つ。これはカトーラインの結果を非局所設定に拡張する。
• 古典理論における臨界指数 $p_0(N)$ は非局所設定に一般化され、$p < 1/\gamma$ かつ $γ \leq (N-2)/N$、$N \geq 3$ かつ初期データの正の性質を満たす場合に blow-up が発生する。
• テスト関数およびスケーリング技法を分数階積分非線形性に適応することで、本手法は非局所波動方程式にストラウス型臨界指数枠組みを成功裏に一般化した。