[論文レビュー] Discrete approximation of functionals with jumps and creases

Andrea Braides|ArXiv.org|Oct 5, 2000

Mathematical Dynamics and Fractals参考文献 9被引用数 8

ひとこと要約

本稿は、$H^2$-正則性、関数のジャンプ、導関数のクリースを含む関数のための離散差分スキームを用いて、$γ$-収束近似を確立する。主な結果は、離散近似の最小化系列が連続的関数の最小化者に収束することであり、ジャンプおよびクリースペナルティを伴う信号再構成問題の数値的解法を可能にする。

ABSTRACT

We prove a discrete approximation of functionals with jumps and creases.

研究の動機と目的

• $H^2$-正則性、関数内のジャンプ、導関数内のクリースを含む自由不連続関数の離散的近似を提供すること。
• 2階差分に基づく離散エネルギーが連続的関数${\cal F}$に$γ$-収束することを確立すること。
• ジャンプおよびクリースペナルティを伴う連続的信号再構成問題の数値的近似として、離散的最小化問題の使用を正当化すること。
• 離散エネルギー関数に最小限の仮定を置いた場合の、離散スキームの漸近的挙動を同定すること。

提案手法

• 均等なグリッド（スパン$\lambda_n = L/n$）上での区分的定数補間の2階差分を用いて、離散エネルギー$E_n(u)$を定義する。
• $z$が小さいときには$z^2$に漸近的に収束し、$z$が大きいときには$\alpha/\lambda_n$および$\beta/(2\lambda_n)$に収束するような、離散エネルギー関数$\Psi_n(z)$の族を構築する。これにより、クリースおよびジャンプペナルティを捉える。
• $\Gamma$-収束理論を用いて、$E_n$ が$L^1(0,L)$で、$L^2(0,L)$の有界集合上で連続的関数${\cal F}(u) = \int_0^L |u''|^2 dt + \alpha \#(S(u')) + \beta \#(S(u))$に$\Gamma$-収束することを証明する。
• 有界列の前コンパクト性を$E_n$のもとで確立し、密度論的議論を用いて$\Gamma$-収束のための回復列を構築する。
• 離散問題$m_n = \min \{ E_n(u) + \int |u-g|^2 \}$の最小値が、連続問題の最小値$m$に収束することを証明する。
• 区分的アフィン補間と有限差分商の漸近的解析を用いて、$\Gamma$-収束条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 2階差分に基づく離散エネルギーは、$H^2$-関数におけるジャンプおよびクリースを含む連続的関数を近似できるか？
• RQ2 離散エネルギー関数にどのような条件下で、連続的関数への$\Gamma$-収束が成立するか？
• RQ3 離散近似は、極限において$H^2$-正則性、ジャンプ、クリースペナルティのバランスをどのように維持するか？
• RQ4 離散問題の最小化系列は、連続的問題の最小化者に収束するか？
• RQ5 二重スケール挙動は、離散エネルギー関数の漸近的挙動において果たす役割は何か？

主な発見

• 離散的関数$E_n$は、$L^2(0,L)$の有界集合上で、$L^1(0,L)$収束に関して連続的関数${\cal F}$に$\Gamma$-収束する。
• 離散問題$m_n$の最小化系列は、連続的問題の最小化者に収束し、$\lim_{n\to\infty} m_n = m$が成り立つ。
• 離散エネルギー$E_n(u)$は、$\Psi_n(z)$の漸近的スケーリングにより、2階微分の$L^2$ノルムおよびジャンプ点・クリース点の数を両方とも捉える。
• 構成により、$\lim_{\varepsilon} \Psi_\varepsilon(z) = z^2$、$\lim_{\varepsilon} \varepsilon \Psi_\varepsilon(z/\varepsilon) = \alpha$、および$\lim_{\varepsilon} 2\varepsilon \Psi_\varepsilon(z/\varepsilon^2) = \beta$が成り立ち、二重スケール挙動を反映する。
• ${\cal F}$の強制性および$\Gamma$-収束構造のおかげで、$L^1(0,L)$における最小化系列の前コンパクト性が保証される。
• 本結果は、区分的定数補間および2階差分を用いた離散スキームが、ジャンプおよびクリースペナルティを伴う信号再構成問題の数値的解法として正当化されることを示している。