[論文レビュー] Logarithmic stability of parabolic Cauchy problems

Mourad Choulli, Masahiro Yamamoto|arXiv (Cornell University)|Feb 21, 2017

Numerical methods in inverse problems参考文献 17被引用数 10

ひとこと要約

本稿は、リプシッツ領域における放物型コーシー問題について、全領域での対数的安定性評価を確立する。$ Lu = 0 $ が $ Q = \Omega \times (t_0,t_1) $ で成り立つとき、解は部分境界 $ \Gamma_0 \times (t_0,t_1) $ 上のコーシーデータによって一意に定まることが示され、安定性は三重対数的減衰率 $ \Psi_{\varrho_0,\mu}(\varrho) = (\ln \ln \ln |\ln \varrho|)^{-\mu} $ で定量的に評価される。この結果は、$ \mathscr{Z}(Q) $ 内の滑らかな解に対して成り立ち、最小限の幾何的仮定のもとで、全領域制御への一意性の拡張を可能にする。

ABSTRACT

The uniqueness of parabolic Cauchy problems is nowadays a classical problem and since Hadamard \cite{Ha} these kind of problems are known to be ill-posed and even severely ill-posed. Until now there are only few partial results concerning the quantification of the stability for parabolic Cauchy problems. In the present article, we bring the complete answer to this issue, provided that the space domain has finite diameter with respect to the geodesic distance and assuming that solutions are sufficiently smooth.

研究の動機と目的

• 放物型コーシー問題の解の一意性を、局所的ではなく、全領域 $ Q = \Omega \times (t_0,t_1) $ にわたり定量的に評価すること。
• 測度可能係数をもつ2階放物型作用素 $ L $ に対して、$ Lu = 0 $ における全安定性評価を確立すること。
• データが小さな部分境界 $ \Gamma_0 \subset \partial\Omega $ 上にのみ与えられても、対数的減衰の観点で最適な安定性率を導出すること。
• 解が $ \mathscr{Z}^j(Q) $ に属する高階時間微分の正則性を持つ場合に、安定性結果を拡張することにより、正則性仮定のもとでの安定性を保証すること。

提案手法

• 著者らは、$ W^{1,\infty} $ 係数をもつ放物型作用素に特化したカルレマン不等式を用いて、境界データによる解の制御を実現する。
• 空間的・時間的正則性を橋渡しするための三シリンダ型補間不等式を導出し、$ \Omega \times (t_0,t_1) $ 上の $ H^1 $-ノルムの制御を可能にする。
• リプシッツ領域の正則性に基づく幾何的議論と、新規のハーディー型不等式の組み合わせにより、測地的距離の一様有界性を保証し、カルレマン推定が全領域で成り立つようにする。
• データノルムの二重対数変換を経て、三重対数的安定性関数 $ \Psi_{\varrho_0,\mu}(\varrho) $ を構築する。
• $ Lu = 0 $ から $ L\partial_t^j u = 0 $ が導かれるという事実を用い、帰納法により高階時間微分のノルム $ H^{j+3} $ の再帰的制御を可能にする。
• 局所化と有界領域におけるカルレマン推定の適用を可能にするために、切断関数と変数変換を用いる重要な技術的道具を導入する。

実験結果

リサーチクエスチョン

• RQ1 放物型コーシー問題の解の一意性は、領域 $ Q $ 全体にわたり、局所的ではなく、定量的に評価可能か？
• RQ2 データが小さな部分境界 $ \Gamma_0 \subset \partial\Omega $ 上にのみ与えられる場合、放物型コーシー問題の最適安定性率は何か？
• RQ3 安定性評価は、領域の正則性および放物型作用素の係数の性質にどのように依存するか？
• RQ4 解が $ u \in \mathscr{Z}^j(Q) $ のような高階時間正則性を持つ場合、安定性結果を拡張可能か？
• RQ5 特別な幾何的配置（例：レベル集合、滑らかな穴の境界など）を仮定しないで、全安定性評価を達成可能か？

主な発見

• 本稿は、全対数的安定性評価を確立する：$ C\|u\|_{L^2((t_0,t_1),H^1(\Omega))} \leq \|u\|_{\mathscr{Z}(Q)} \Psi_{\varrho_0,\mu}\left(\frac{\mathcal{C}(u,\Gamma_0)}{\|u\|_{\mathscr{Z}(Q)}}\right) $、ここで $ \Psi_{\varrho_0,\mu}(\varrho) = (\ln \ln \ln |\ln \varrho|)^{-\mu} $ は $ \varrho \leq \varrho_0 $ のとき成り立つ。
• 安定性率は、不適切な問題における既知の対数的減衰と一致しており、与えられた仮定のもとで、これより良い率は得られない。
• 定数 $ \mu = \min\{\alpha, s\}/4 $ は、ホルダー正則性 $ \alpha $ と時間局所化パrameter $ s \in (0,1/2) $ に依存し、正則性と減衰のトレードオフを反映している。
• 本結果は、$ \Gamma_0 $ がレベル集合や穴の境界であるなどの特別な幾何的性質を要しない任意のリプシッツ領域 $ \Omega $ に対して成り立つ。これは、先行研究とは明確に異なる。
• 安定性評価は高階時間微分に対しても拡張可能である：$ u \in \mathscr{Z}^j(Q) $ のとき、$ C\|u\|_{H^j((t_0,t_1),H^1(\Omega))} \leq (j+1)\|u\|_{\mathscr{Z}^j(Q)} \Psi_{\varrho_0,\mu}\left(\frac{\mathcal{C}_j(u,\Gamma_0)}{\|u\|_{\mathscr{Z}^j(Q)}}\right) $ が成り立つ。
• 証明の根幹には、リプシッツ領域における内在的測地的距離が、ユークリッド距離によって一様に有界であることを示す新規な幾何的議論があり、カルレマン推定が全領域にわたって成り立つために不可欠である。