[論文レビュー] Quantitative estimates on Jacobians for hybrid inverse problems

Giovanni Alessandrini, Vincenzo Nesi|arXiv (Cornell University)|Jan 13, 2015

Advanced Mathematical Modeling in Engineering参考文献 27被引用数 4

ひとこと要約

本稿は、発散型楕円型方程式の解たるσ-調和写像のヤコビアン行列式に関する定量的下界を、所与のディリクレ境界条件のもとで確立する。これはハイブリッド逆問題の安定性および可逆性、および複合材料における有効性質の推定に不可欠である。主な貢献は、次元が3以上の場合、一般にこのような下界が達成不可能であることを示したことである。これは、滑らかでほぼ等方的係数に対しても、ヤコビアンが0に等しくなったり符号が変わる例が存在するためである。

ABSTRACT

We consider $σ$-harmonic mappings, that is mappings $U$ whose components $u_i$ solve a divergence structure elliptic equation ${ m div} (σ abla u_i)=0$, for $i=1,\ldots,n $. We investigate whether, with suitably prescribed Dirichlet data, the Jacobian determinant can be bounded away from zero. Results of this sort are required in the treatment of the so-called hybrid inverse problems, and also in the field of homogenization studying bounds for the effective properties of composite materials.

研究の動機と目的

• ハイブリッド逆問題における安定な再構成に不可欠な、σ-調和写像のヤコビアン行列式に関する定量的下界を確立すること。
• ディリクレ境界条件をどのように選べば、σ-調和写像のヤコビアンが0から離れて保たれるかを調査すること。
• 特に複合材料および逆問題の文脈において、ヤコビアンの非退化性の失敗を分析すること。
• ヤコビアンの符号変化および退化が、逆再構成の安定性および一意性に与える影響を明らかにすること。
• 補償コンパクトネスおよびノルムラグランジアン法が、マルチフェーズ複合材料におけるヤコビアン挙動を制御する際に、どのような限界を有するかを評価すること。

提案手法

• 領域Ω内で各uᵢがdiv(σ∇uᵢ) = 0を満たすσ-調和写像U = (u₁,…,uₙ)を分析する。
• ハイブリッド逆問題における可逆性および安定性の観点から、ヤコビアン行列式|det DU|を主要な量として検討する。
• 滑らかで異方的σおよびC¹,¹級のUを備えたR³における明示的反例を構築し、det DUが半空間上で0に等しくなり、他方で正であることを示す。
• 2相からなるパラメータ化されたσの族と非線形写像Uを用いて、det DUが半空間上で0、他方で正であることを示す。
• a₀ → 0としての漸近解析を適用し、不連続σを有する極限状態への収束を示し、det DUの非一意的継続性を示す。
• 補償コンパクトネス理論およびノルムラグランジアンを用いて、マルチフェーズ設定における標準的評価の失敗を説明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなσに対して、ヤコビアン行列式が0から離れて保たれるようなディリクレ境界条件を、普遍的に選べるか？
• RQ2 次元n ≥ 3におけるσ-調和写像の|det DU|に関する定量的評価は何か？
• RQ3 変数係数楕円型系において、ヤコビアン行列式はどの程度、一意的継続性を満たすか？
• RQ4 なぜ、ウィーナー評価のような標準的均質化技法が3相複合材料において最適推定をもたらさないのか？
• RQ5 ハイブリッド逆問題において、境界データからヤコビアンの退化を制御または予測できるか？

主な発見

• 次元n ≥ 3において、滑らかで異方的導電率テンソルσおよびそれに対応するσ-調和写像Uが存在し、det DUが半空間上で0に等しくなり、他方で正である。
• σが恒等行列にいくらでも近い場合（a₀ → 0）でさえ、det DUが正の測度の集合上で0に等しくなることがある。
• ヤコビアン行列式は、不連続σを有する極限例によって示されるように、一意的継続性を満たさない。
• 2相の区分的定数σに対して、C¹,¹級写像Uが存在し、x₃ > 0ではdet DU = 2a₀(1−a₀²)x₃ > 0、x₃ ≤ 0では0である。
• ヤコビアンの非退化性の失敗は、次元が高次であることに起因し、周期的または滑らかな境界データのみでは是正できない。
• 補償コンパクトネス法によりウィーナー評価が得られるが、これは3相以上では最適でなく、ヤコビアンの挙動が最適評価の達成を妨げている。