[論文レビュー] Convex integration and infinitely many weak solutions to the Perona-Malik equation in all dimensions

Seonghak Kim, Baisheng Yan|arXiv (Cornell University)|Mar 2, 2015

Numerical methods in inverse problems参考文献 15被引用数 3

ひとこと要約

本稿は、滑らかで有界な凸領域において、初期データが亜臨界、超臨界、あるいは透過臨界であっても、任意の次元でPerona-Malik方程式に対して無限に多くのリプシッツ弱解の存在を確立する。著者らは、新規の凸統合手法とバナッハ・カテゴリー法を組み合わせ、解集合が適切な関数空間において残渣的（residual）であることを証明し、1次元を超える画像処理系PDEにおける長年の未解決問題を解決する。

ABSTRACT

We prove that for all smooth nonconstant initial data the initial-Neumann boundary value problem for the Perona-Malik equation in image processing possesses infinitely many Lipschitz weak solutions on smooth bounded convex domains in all dimensions. Such existence results have not been known except for the one-dimensional problems. Our approach is motivated by reformulating the Perona-Malik equation as a nonhomogeneous partial differential inclusion with linear constraint and uncontrollable components of gradient. We establish a general existence result by a suitable Baire's category method under a pivotal density hypothesis. We finally fulfill this density hypothesis by convex integration based on certain approximations from an explicit formula of lamination convex hull of some matrix set involved.

研究の動機と目的

• 1次元を超える次元におけるPerona-Malik方程式の弱解の存在という長年の未解決問題を解決すること。
• 1次元または球対称な場合に限った先行研究を、一般の滑らかで有界な凸領域へ拡張すること。
• 滑らかで非定数の初期データ（透過臨界の場合を含む）に対して、無限に多くのリプシッツ弱解の存在を確立すること。
• 弱解に対して勾配最大値原理を確立し、勾配が初期勾配の制御可能な倍率で有界であることを示すこと。

提案手法

• Perona-Malik方程式を、線形制約と制御不能な勾配成分を有する非同次偏微分包含に再定式化する。
• 適切な関数空間におけるバナッハ・カテゴリー法を用いて、解の残渣的集合の存在を確立する。
• 小立方体や区間上に振動的補正項を貼り付けることで、近似解を構成する凸統合技術を用いる。
• 偏微分包含に関与する行列集合の明示的公式に基づく、層状凸包近似を用いて密度仮説を確立する。
• 時間的・空間的微分が制御された区分的 $ C^1 $ 関数を用いて摂動を構成し、弱形式を満たすようにする。
• 構成された解が弱形式を満たし、かつ $ L^1 $-ノルムにおいて $ \sigma(p) = \frac{p}{1+|p|^2} $ を近似することを検証する。

実験結果

リサーチクエスチョン

• RQ1 1次元を超える次元において、初期データが透過臨界であっても、Perona-Malik方程式に対して無限に多くの弱解が存在しうるか？
• RQ2 1次元または球対称な設定を超えて、凸統合技術を用いてこのような解を構成することは可能か？
• RQ3 元のPDEが不適切な問題であるにもかかわらず、弱位相における適切な関数空間において解集合が稠密または残渣的のままであるか？
• RQ4 古典的解が存在しない場合でも、これらの弱解に対して勾配最大値原理を保てるか？
• RQ5 このような解の存在に不可欠な領域の構造的性質（例：凸性）は何か？

主な発見

• 任意の $ n \geq 1 $ に対して、$ \mathbb{R}^n $ 内の滑らかで有界な凸領域上では、初期-ノイマン境界値問題が無限に多くのリプシッツ弱解を持つ。
• 滑らかで非定数の初期データ（亜臨界および超臨界領域を併せ持つ透過臨界の場合を含む）に対して、結果は成立する。
• 弱解はほぼ勾配最大値原理を満たす：任意の $ \lambda > 0 $ に対して $ \|Du\|_{L^\infty(\Omega_T)} \leq \|Du_0\|_{L^\infty(\Omega)} + \lambda $ が成り立ち、勾配の有界性が保証される。
• 解集合は適切な関数空間において残渣的であり、これは解が位相的に一般的であることを示唆する。
• 高次元における勾配制御の欠如を克服するため、有限個の小さな集合上に振動的補正項を貼り付ける新しい凸統合スキームに依拠している。
• 主な技術的進展は、バナッハ・カテゴリー法に必要な密度仮説を満たす行列集合の層状凸包の明示的構成である。