[論文レビュー] Well-posedness and inverse problems for semilinear nonlocal wave equations

Yi‐Hsuan Lin, Teemu Tyni+1 more|arXiv (Cornell University)|Feb 8, 2024

Numerical methods in inverse problems被引用数 1

ひとこと要約

本稿は、分数ラプラシアンに起因する低正則性解を伴う半線形非局所波動方程式の適切性を確立し、外部のディリクレ・トゥ・ノイマン（DN）測定値から非線形項および初期データの一意回復を証明する。非局所性の強みを示すために、分数ラプラシアンの一意的拡張性（UCP）とランゲ近似性質を用い、任意の次元 n ∈ ℕ において、0 < r ≤ 1 の整数でない次数 r+1 の斉次非線形項 f(x, τ) および初期データ (u₀, u₁) が、観測可能性推定式が不要な被動測定（外部データがゼロ）のもとでも一意に決定されることを示す。

ABSTRACT

This article is devoted to forward and inverse problems associated with time-independent semilinear nonlocal wave equations. We first establish comprehensive well-posedness results for some semilinear nonlocal wave equations. The main challenge is due to the low regularity of the solutions of linear nonlocal wave equations. We then turn to an inverse problem of recovering the nonlinearity of the equation. More precisely, we show that the exterior Dirichlet-to-Neumann map uniquely determines homogeneous nonlinearities of the form $f(x,u)$ under certain growth conditions. On the other hand, we also prove that initial data can be determined by using passive measurements under certain nonlinearity conditions. The main tools used for the inverse problem are the unique continuation principle of the fractional Laplacian and a Runge approximation property. The results hold for any spatial dimension $n\in \N$.

研究の動機と目的

• 分数ラプラシアンに起因する低正則性解を伴う半線形非局所波動方程式の適切性を確立すること。
• 外部のディリクレ・トゥ・ノイマン（DN）測定値から未知の非線形項 f(x, u) を回復する逆問題に取り組むこと。
• 非線形項が未知である場合でも、被動測定（すなわち外部データがゼロ）を用いて初期データ (u₀, u₁) を一意に特定すること。
• 局所的波動方程式とは異なり、観測可能性推定式が不要であるという点で、非局所性が初期データ回復に与える利点を示すこと。
• 一意的拡張性とランゲ近似の手法を、非線形非局所波動方程式にまで拡張すること。

提案手法

• 有界リプシッツ領域 Ω ⊂ ℝⁿ における非局所波動ダイナミクスを記述するため、非整数 s > 0 の分数ラプラシアン (−Δ)^s を用いる。
• 分数ラプラシアンの一意的拡張性原理（UCP）を適用し、外部測定値から領域内部への解の消滅を伝搬させる。
• ランゲ近似性質を用いて、L²(ΩT) 内で稠密な線形波動方程式の解を構成し、非線形項の回復を可能にする。
• 非線形項 f(x, u) を L²(ΩT) および L²/(r+1)(ΩT) で制御するため、ネミツキー作用素の連続性を用い、成長条件を満たす。
• ε を小さい量として、解の漸近展開 uε = εv + Rε を行い、v は線形波動方程式を満たし、Rε は剰余項である。
• f(x, τ) の斉次性と ε → 0 のときの Rε → 0 の収束性を用い、逆問題を線形解に還元し、その後ランゲ近似を適用する。

実験結果

リサーチクエスチョン

• RQ1 半線形非局所波動方程式における非線形項 f(x, u) は、外部のディリクレ・トゥ・ノイマン（DN）マップから一意に回復可能か？
• RQ2 非線形項が未知である場合でも、被動測定（外部データがゼロ）を用いて初期データ (u₀, u₁) を一意に特定可能か？
• RQ3 局所的波動方程式とは異なり、非局所性により初期データ回復に観測可能性推定式が不要になるか？
• RQ4 線形ケース f(x, u) = a(x)u において、DNマップは初期データおよび係数 a(x) を一意に特定可能か？
• RQ5 一意的拡張性とランゲ近似の組み合わせは、非局所双曲型方程式における非線形項の回復に十分か？

主な発見

• 仮定3.4の成長条件および非負性条件を満たす非線形項 f(x, τ) に対して、方程式 ∂²ₜu + (−Δ)ˢu + f(x, u) = 0 における斉次非線形項 f(x, τ) の次数 r+1（0 < r ≤ 1）が DNマップによって一意に特定可能である。
• 非線形項の事前知識がなくても、UCP および非局所構造のおかげで、被動測定（ϕ ≡ 0）を用いた初期データ (u₀, u₁) の一意回復が可能である。
• 初期データの回復には観測可能性推定式が不要であり、これは局所的波動方程式において通常必要とされるのとは対照的である。
• 線形ケース f(x, u) = a(x)u において、a(x) ∈ Lᵖ(Ω) または L∞(Ω) で、(3.10) を満たす p を満たす場合、係数 a(x) および初期データ (u₀, u₁) は DNマップによって一意に決定される。
• 局所的逆問題で一般的に用いられる高階線形化手法を避ける一方で、単一の線形化とランゲ近似を用いることで、非局所性の強みを活かしている。
• 結果は任意の空間次元 n ∈ ℕ に対して成り立ち、n に制限はなく、有限時間区間 T > 0 に対しても有効である。