[论文解读] 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$-凸泛函在何种条件下可 admits 积分表示提供充分条件。
• 表征定义在取值于向量空间的索伯列夫空间上的局部凸泛函的结构。
• 通过以测度和积分核形式建立表示，支持障碍问题族的渐近分析。
• 将积分表示定理推广至一类在标准意义下不一定是下半连续但为 $C^1$-凸的泛函。

提出的方法

• 作者考虑定义在开集 $A \subset \mathbb{R}^n$ 上的泛函 $F(u,A)$ 及取值于适当向量值索伯列夫空间的函数 $u$。
• 他们施加条件以确保 $F$ 具有局部性、凸性以及 $C^1$-凸性，即 Gateaux 导数存在且在适当拓扑下连续。
• 核心方法涉及分析泛函相对于博雷尔测度 $\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)$ 可 admits 积分表示 $F(u,A) = \int_A f(x,u(x))\,d\mu + \nu(A)$ 的充分条件。
• 被积函数 $f(x,u)$ 在第二个变量上为凸，确保了泛函的凸性结构在表示中得以保持。
• 测度 $\mu$ 捕获了泛函的绝对连续部分，而 $\nu$ 则负责可能的奇异分量。
• 该表示对所有开集 $A \subset \mathbb{R}^n$ 成立，确保了泛函的局部性。
• 该结果为障碍问题族的渐近分析提供了基础工具，尤其在识别 Gamma 极限泛函方面具有重要意义。
• 该方法适用于向量值索伯列夫空间，将经典积分表示定理推广至更广泛的泛函类。