[論文レビュー] Integral representation for a class of $C^1$-convex functionals

Gianni Dal Maso, Anneliese Defranceschi+1 more|ArXiv.org|May 11, 1992

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

ひとこと要約

本稿は、ベクトル値ソボレフ空間上に定義された $C^1$-凸汎関数のクラスに対して、積分表現を確立する。具体的には、このような汎関数が $F(u,A) = \int_A f(x,u(x))\,d\mu + \nu(A)$ の形に表現可能であることを証明し、ここで $f$ は第二変数に関して凸であり、$\mu$ と $\nu$ はボレル測度である。主な貢献は、この表現が成り立つ十分条件の同定であり、障害問題の漸近的解析にとって不可欠である。

ABSTRACT

In view of the applications to the asymptotic analysis of a family of obstacle problems, we consider a class of convex local functionals $F(u,A)$, defined for all functions $u$ in a suitable vector valued Sobolev space and for all open sets $A$ in ${\bf R}^n$. Sufficient conditions are given in order to obtain an integral representation of the form $F(u,A)=\int_A f(x,u(x))\,dμ+ ν(A)$, where $μ$ and $ν$ are Borel measures and $f$ is convex in the second variable.

研究の動機と目的

• $C^1$-凸汎関数が積分表現をもつための十分条件を提供すること。
• ベクトル空間値をとるソボレフ空間上に定義された局所的凸汎関数の構造を同定すること。
• 測度と被積分関数を用いた表現を確立することで、障害問題の族の漸近的解析を支援すること。
• 標準的意味での下半連続性を満たさないが、$C^1$-凸であるような汎関数のクラスへの積分表現定理の一般化。

提案手法

• 著者たちは、開集合 $A \subset \mathbb{R}^n$ および適切なベクトル値ソボレフ空間に属する関数 $u$ に対して定義された汎関数 $F(u,A)$ を考察する。
• $F$ が局所的で、凸的かつ $C^1$-凸的であることを保証する条件を課す。ここで $C^1$-凸性とは、ゲートックス微分が適切な位相において存在し連続であることを意味する。
• 中心的な手法は、ボレル測度 $\mu$ に対する汎関数の密度を分析することであり、これにより $u(x)$ に関して凸である被積分関数 $f(x,u(x))$ が得られる。
• 絶対連続でない寄与を扱うために、特異部 $\nu(A)$ が分離され、完全な表現が保証される。
• 証明は、特にソボレフ空間上の凸汎関数の構造に注目した関数解析および測度論的手法に依存する。
• 表現は、候補となる被積分関数を構成し、近似および双対性の議論によりその一貫性を検証することで導出される。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、ソボレフ空間上の $C^1$-凸汎関数がボレル測度と凸被積分関数を含む積分として表現可能となるか？
• RQ2 このような汎関数の積分表現における特異部 $\nu(A)$ は、どのように特徴づけられるか？
• RQ3 $C^1$-凸性条件が積分表現の存在を保証するために果たす役割は何か？
• RQ4 下界半連続性を満たさないが依然として $C^1$-凸であるような汎関数に対しても、この表現は拡張可能か？
• RQ5 被積分関数 $f(x,u(x))$ の構造は、障害問題の漸近的挙動とどのように関係するか？

主な発見

• $C^1$-凸汎関数 $F(u,A)$ が積分表現 $F(u,A) = \int_A f(x,u(x))\,d\mu + \nu(A)$ をもつための十分条件が確立された。
• 被積分関数 $f(x,u)$ は第二変数に関して凸であるため、汎関数の凸構造が表現においても保たれる。
• 測度 $\mu$ は汎関数の絶対連続部分を捉え、$\nu$ は可能な特異成分を補填する。
• 表現はすべての開集合 $A \subset \mathbb{R}^n$ に対して成り立つため、汎関数の局所性が保証される。
• この結果は、特に $\Gamma$-極限汎関数の同定に役立つ基盤的ツールを提供する。
• この手法はベクトル値ソボレフ空間に適用可能であり、古典的な積分表現定理を、より広いクラスの汎関数へと一般化する。