[論文レビュー] The planar Least Gradient problem in convex domains

Piotr Rybka, Ahmad Sabra|arXiv (Cornell University)|Dec 19, 2017

Numerical methods in inverse problems参考文献 11被引用数 5

ひとこと要約

本稿は、$BV$境界データを備えた凸的で非厳密凸な領域における平面的最小勾配問題の解の存在および一意性を確立する。平坦な境界部における単調性および幾何的整合性を特徴とするトレースデータに対する許容条件を導入することで、厳密凸領域への近似と$BV$コンパクト性を用いた極限操作により、既存の結果を厳密凸でない設定へと拡張する。

ABSTRACT

We study the two dimensional least gradient problem in a convex, but not necessary strictly convex region. We look for solutions in the space of $BV$ functions satisfying the boundary data $f$ in trace sense. We assume that $f$ is in $BV$ too. We state admissibility conditions on the trace and on the domain that are sufficient for existence of solutions.

研究の動機と目的

• 凸的で非厳密凸な平面領域における最小勾配問題の解の存在に関する結果の欠如に対処すること。
• 境界データ $f \in BV(\partial\Omega)$ に対して、$\min \int_\Omega |Du|$ とトレース $Tu = f$ を満たす解の存在を保証する十分条件を同定すること。
• 連続データと厳密凸領域における既知の存在結果を、不連続な$BV$データを有する凸領域へと拡張すること。
• 境界に無限個の平坦部を有する場合の取り扱いの枠組みを構築すること、ただし1点に集積すると仮定する。
• 非厳密凸設定における最小勾配関数の許容トレースの空間を特徴づけること。

提案手法

• ハウスドルフ距離で収束する厳密凸領域の列 $\Omega_n$ を用いて、凸的で非厳密凸な領域 $\Omega$ を近似する。
• 元の $f$ に収束するが、許容性を保つように $\partial\Omega_n$ 上に連続境界データ $f_n$ を構成する。
• Sternberg-Williams-Ziemer (2010) の古典的結果を用いて、$\Omega_n$ 上での最小勾配問題に対する連続解 $v_n$ の列を得る。
• $v_n$ のモジュラスの連続性に一様な有界性を確立し、$L^1$ での前コンパクト性およびトレースの収束を保証する。
• [9] のトレース拡張定理を適用して極限に移行し、$Tu = f$ を満たす $u \in BV(\Omega)$ の解を得る。
• 不連続な $f$ の場合、$C(\partial\Omega)$ 内の単調増加・減少列 $h_n$, $g_n$ による近似を行い、解 $u_n$, $v_n$ を構成し、比較原理を用いて極限に移行する。

実験結果

リサーチクエスチョン

• RQ1 境界データ $f \in BV(\partial\Omega)$ がどのような条件下で、凸的で非厳密凸な平面領域における最小勾配問題に解をもたらすか。
• RQ2 領域が厳密凸性を欠く場合に、平坦境界部における許容条件をどのように定式化すれば解の存在を保証できるか。
• RQ3 境界に無限個の平坦部を有する場合、1点に集積すると仮定すれば、存在結果を拡張できるか。
• RQ4 許容条件が満たされない場合、解はどのように振る舞い、これはレベル集合の最小面積的性質に基づく幾何的矛盾として特徴づけられるか。
• RQ5 非厳密凸領域において、最小勾配関数のトレース構造は、$L^1(\partial\Omega)$ 全体の空間とどのように異なるか。

主な発見

• 本稿は、平坦部における許容条件（単調性および幾何的整合性）を満たす境界データ $f \in C(\partial\Omega)$ を有する凸領域において、平面的最小勾配問題の解の存在および一意性を確立する。
• $f \in BV(\partial\Omega)$ の場合、同じ許容条件のもとで連続データへの近似と解の単調収束を用いて解の存在を証明する。
• 許容条件が必要であることが示され、違反した場合には解が存在しないことが、レベル集合の最小面積的性質に基づく背理法によって示される。
• 無限個の平坦境界部を有する場合、それらが1点に集積し、許容条件を満たす限り、解の存在が保証される。
• 連続であるが許容条件を違反する $f$ をもつ反例を構成し、レベル集合形成における幾何的不整合性により解が存在しないことを証明する。
• 本稿は、非厳密凸領域における不連続な$BV$データを扱うための構成的枠組みを提供し、既知の存在結果の適用範囲を拡張する。