2025-11-10T02:57:47.300572

On approximation of convex functionals with a convexity constraint and general Lagrangians

Kim
In this note, we prove that minimizers of convex functionals with a convexity constraint and a general class of Lagrangians can be approximated by solutions to fourth-order equations of Abreu type. Our result generalizes that of Le (Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations. Adv. Math. 434 (2023)) where the case of quadratically growing Lagrangians was treated.
academic

On approximation of convex functionals with a convexity constraint and general Lagrangians

基本信息

  • 论文ID: 2504.07783
  • 标题: On approximation of convex functionals with a convexity constraint and general Lagrangians
  • 作者: Young Ho Kim
  • 分类: math.AP (Analysis of PDEs)
  • 发表时间: 2025年10月13日 (arXiv版本)
  • 论文链接: https://arxiv.org/abs/2504.07783v2

摘要

本文证明了带有凸性约束的凸泛函在一般拉格朗日函数类下的最小化问题可以通过Abreu型四阶方程的解来逼近。该结果推广了Le (2023)的工作，后者只处理了二次增长拉格朗日函数的情况。

研究背景与动机

核心问题

该研究要解决的是带有凸性约束的变分问题： inf⁡u∈S[ϕ,Ω0]∫Ω0F(x,u(x),Du(x))dx\inf_{u \in S[\phi,\Omega_0]} \int_{\Omega_0} F(x, u(x), Du(x)) dx

其中约束集合为： S[ϕ,Ω0]={u:Ω→R convex,u=ϕ on Ω∖Ω0}S[\phi,\Omega_0] = \{u : \Omega \to \mathbb{R} \text{ convex}, u = \phi \text{ on } \Omega \setminus \Omega_0\}

问题重要性

  1. 经济学应用：该类变分问题出现在经济学中的垄断者问题（Rochet-Choné模型）
  2. 数值计算困难：由于凸性约束的存在，很难写出可处理的Euler-Lagrange方程
  3. 数值格式挑战：此类变分问题在数值计算中难以处理

现有方法局限性

  1. 维度限制：之前的结果要么局限于二维情况
  2. 增长条件限制：要么需要拉格朗日函数满足二次增长条件
  3. 适用范围窄：无法处理一般的拉格朗日函数类

研究动机

通过修改逼近格式中的二次项，将结果推广到n ≥ 2维空间中的一般拉格朗日函数情况。

核心贡献

  1. 推广了逼近理论：将Le等人的结果从二次增长拉格朗日函数推广到一般拉格朗日函数类
  2. 扩展了维度范围：在n ≥ 2维空间中建立了逼近结果
  3. 改进了逼近格式：通过引入新的惩罚项G(u-φ̃ε)替代原来的二次项
  4. 建立了存在性理论：证明了修正Abreu方程解的存在性和收敛性

方法详解

任务定义

考虑变分问题： min⁡u∈S[ϕ,Ω0]J(u)=min⁡u∈S[ϕ,Ω0]∫Ω0F(x,u(x),Du(x))dx\min_{u \in S[\phi,\Omega_0]} J(u) = \min_{u \in S[\phi,\Omega_0]} \int_{\Omega_0} F(x, u(x), Du(x)) dx

其中F满足一般增长条件而非二次增长条件。

核心技术框架

1. 拉格朗日函数条件

论文假设F满足：

  • (F1) F光滑且在变量z和p上凸
  • (F2) F的导数满足增长估计： ∣∂F∂z∣+∣∂F∂pi∣≤f0(∣z∣)g0(∣p∣)\left|\frac{\partial F}{\partial z}\right| + \left|\frac{\partial F}{\partial p_i}\right| \leq f_0(|z|)g_0(|p|)

2. 修正的逼近泛函

原来的逼近泛函： J(v)+12ε∫Ω∖Ω0(v−ϕ)2dx−ε∫Ωlog⁡det⁡D2vdxJ(v) + \frac{1}{2\varepsilon}\int_{\Omega\setminus\Omega_0}(v-\phi)^2 dx - \varepsilon\int_\Omega \log \det D^2v dx

修正后的逼近泛函： Jε(u)=∫Ω0F(x,u,Du)dx+1ε∫Ω∖Ω0G(u−ϕ~ε)dx−ε∫Ωlog⁡det⁡D2udxJ_\varepsilon(u) = \int_{\Omega_0} F(x,u,Du) dx + \frac{1}{\varepsilon}\int_{\Omega\setminus\Omega_0} G(u-\tilde{\phi}_\varepsilon) dx - \varepsilon\int_\Omega \log \det D^2u dx

3. 关键修正

  • 边界函数修正：ϕ~ε(x)=ϕ(x)+ε1/(3n2)(eρ(x)−1)\tilde{\phi}_\varepsilon(x) = \phi(x) + \varepsilon^{1/(3n^2)}(e^{\rho(x)} - 1)
  • 惩罚函数：G(x)=∫0x2H(t)dtG(x) = \int_0^{x^2} H(t) dt，其中H(x)=x(1+f0(x)g0(x)+f2(x)g2(x)+xf3(x)g3(x))H(x) = x(1 + f_0(x)g_0(x) + f_2(x)g_2(x) + xf_3(x)g_3(x))

技术创新点

  1. 非二次惩罚项：用G(u-φ̃ε)替代二次项，能够控制一般增长的拉格朗日函数
  2. 边界修正技术：通过φ̃ε使函数"充分"一致凸，处理非一致凸的拉格朗日函数
  3. 增长函数匹配：G的构造精确匹配F的增长性质

理论分析

主要定理

定理 1.1：设Ω₀和Ω是ℝⁿ中的光滑凸域，Ω一致凸且Ω₀ ⋐ Ω。设φ ∈ C⁵(Ω)，ψ ∈ C³(Ω)，φ凸，且min∂Ω ψ > 0。设F满足(F1)-(F2)。如果0 < ε < ε₀ < 1，则：

(i) 第二边值问题(1.14)有一致凸的W⁴'ˢ(Ω)解uε，对所有s ∈ (n,∞)

(ii) 解序列(uεₖ)在Ω的紧子集上一致收敛到变分问题的最小化元

证明策略

存在性证明（定理1.1(i)）

  1. L∞估计：建立uε的一致有界性
  2. 梯度估计：利用凸性得到梯度界
  3. Hessian估计：通过ABP极值原理得到det D²uε的上下界
  4. 正则性理论：结合Hölder估计和W⁴'ˢ估计
  5. 度理论：使用Leray-Schauder度理论建立存在性

收敛性证明（定理1.1(ii)）

  1. 紧性：利用一致估计得到子序列收敛
  2. 边界条件：证明极限函数满足边界条件
  3. 最小性：通过变分不等式证明极限函数是最小化元

技术难点与解决方案

关键技术挑战

1. L∞估计的困难

挑战：一般增长条件下，积分∫Ω0Fpixi(uε−ϕ~ε)dx\int_{\Omega_0} F_{p_ix_i}(u_\varepsilon - \tilde{\phi}_\varepsilon) dx不能被二次项控制。

解决方案：构造匹配增长的惩罚函数G，使得： G′(uε−ϕ~ε)(uε−ϕ~ε)≥H(C8(1+∣uε∣))G'(u_\varepsilon - \tilde{\phi}_\varepsilon)(u_\varepsilon - \tilde{\phi}_\varepsilon) \geq H(C_8(1 + |u_\varepsilon|))

2. 非一致椭圆性

挑战：拉格朗日函数的非一致凸性导致椭圆性退化。

解决方案：通过边界函数修正φ̃ε，引入足够的一致凸性。

3. 奇异Abreu方程

挑战：方程(1.14)中的项∂∂xi(∂F∂pi)\frac{\partial}{\partial x_i}\left(\frac{\partial F}{\partial p_i}\right)依赖于D²uε，在凸函数假设下只是测度。

解决方案：使用变换技术和扭曲Harnack不等式处理奇异性。

实验验证

理论验证

论文主要是理论工作，通过严格的数学证明验证了以下关键结果：

  1. 一致估计：证明了解序列的L∞, W¹'∞, W⁴'ˢ估计
  2. 收敛性：证明了在紧子集上的一致收敛
  3. 最小性：证明了极限函数确实是原变分问题的最小化元

应用实例

论文提及的一个具体例子是拉格朗日函数： F(x,z,p)=e∣p∣2F(x,z,p) = e^{|p|^2}

这个函数不满足二次增长条件，但满足论文的一般增长条件(F1)-(F2)。

相关工作

历史发展

  1. Carlier-Radice (2019)：首次引入Abreu方程逼近，但仅限于F = F(x,z)
  2. Le (2020-2023)：推广到F(x,z,p) = F⁰(x,z) + F¹(x,p)的情况，但需要二次增长
  3. Le-Zhou (2021)：二维情况的一般拉格朗日函数
  4. 本文：n ≥ 2维的一般拉格朗日函数

技术联系

  • Monge-Ampère方程理论：利用了Savin、Trudinger-Wang等人的边界正则性理论
  • 线性化Monge-Ampère方程：基于Le-Savin的边界正则性结果
  • 扭曲Harnack不等式：使用了Le的最新结果

结论与讨论

主要结论

  1. 成功将凸泛函逼近理论推广到一般拉格朗日函数类
  2. 在n ≥ 2维空间建立了完整的存在性和收敛性理论
  3. 提供了处理非二次增长拉格朗日函数的有效方法

局限性

  1. 光滑性要求：需要φ ∈ C⁵，ψ ∈ C³的高正则性
  2. 几何限制：要求域Ω一致凸
  3. 增长条件：虽然推广了二次增长，但仍需要特定的增长估计

未来方向

  1. 数值实现：将理论结果转化为实际可计算的数值格式
  2. 正则性降低：研究更低正则性条件下的结果
  3. 非凸域：推广到非凸域的情况

深度评价

优点

  1. 理论突破：显著推广了现有理论，移除了二次增长限制
  2. 技术创新：惩罚函数G的构造巧妙，精确匹配拉格朗日函数的增长
  3. 证明严谨：使用了现代偏微分方程的先进技术
  4. 写作清晰：数学表述准确，逻辑清楚

不足

  1. 应用验证有限：缺乏具体的数值实验验证理论结果
  2. 条件较强：对函数正则性和域的几何性质要求较高
  3. 构造复杂：修正函数φ̃ε和G的构造较为技术化

影响力

  1. 理论贡献：为变分问题逼近理论提供了重要推广
  2. 方法价值：所用技术可能适用于其他类似问题
  3. 应用前景：为经济学、优化等领域提供了理论基础

适用场景

  1. 理论研究：偏微分方程、变分法、凸分析研究
  2. 数值计算：为开发新的数值方法提供理论指导
  3. 应用数学：经济学中的最优传输、垄断理论等问题

参考文献

本文引用了16篇重要文献，主要包括：

  • Abreu关于toric流形Kähler度量的开创性工作
  • Carlier-Radice关于Abreu方程逼近的基础工作
  • Le关于奇异Abreu方程的系列重要结果
  • Savin、Trudinger-Wang等人关于Monge-Ampère方程的正则性理论

总评：这是一篇高质量的理论数学论文，在变分问题逼近理论方面取得了重要进展。虽然主要是理论工作，但为相关应用领域提供了坚实的数学基础。论文的技术含量高，证明严谨，是该领域的重要贡献。