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

볼록성 제약과 일반 라그랑주 함수를 갖는 볼록 범함수의 근사에 관하여

기본 정보

논문 ID: 2504.07783
제목: On approximation of convex functionals with a convexity constraint and general Lagrangians
저자: Young Ho Kim
분류: math.AP (편미분방정식 해석)
발표 시간: 2025년 10월 13일 (arXiv 버전)
논문 링크: https://arxiv.org/abs/2504.07783v2

초록

본 논문은 일반 라그랑주 함수류 하에서 볼록성 제약을 갖는 볼록 범함수의 최소화 문제가 Abreu형 4차 방정식의 해에 의해 근사될 수 있음을 증명한다. 이 결과는 2차 증가 라그랑주 함수만을 다룬 Le (2023)의 업적을 일반화한다.

연구 배경 및 동기

핵심 문제

본 연구가 해결하는 것은 볼록성 제약을 갖는 변분 문제이다: $\inf_{u \in S[\phi,\Omega_0]} \int_{\Omega_0} F(x, u(x), Du(x)) dx$

여기서 제약 집합은: $S[\phi,\Omega_0] = \{u : \Omega \to \mathbb{R} \text{ 볼록}, u = \phi \text{ on } \Omega \setminus \Omega_0\}$

문제의 중요성

경제학 응용: 이러한 변분 문제는 경제학의 독점자 문제(Rochet-Choné 모델)에서 나타난다
수치 계산의 어려움: 볼록성 제약의 존재로 인해 다루기 쉬운 Euler-Lagrange 방정식을 작성하기 어렵다
수치 격식의 도전: 이러한 변분 문제는 수치 계산에서 처리하기 어렵다

기존 방법의 한계

차원 제한: 이전 결과들은 2차원 경우로 제한되거나
증가 조건 제한: 라그랑주 함수가 2차 증가 조건을 만족해야 하거나
적용 범위 협소: 일반 라그랑주 함수류를 다룰 수 없다

연구 동기

근사 격식의 2차 항을 수정하여 결과를 n ≥ 2 차원 공간의 일반 라그랑주 함수 경우로 일반화한다.

핵심 기여

근사 이론의 일반화: Le 등의 결과를 2차 증가 라그랑주 함수에서 일반 라그랑주 함수류로 일반화
차원 범위 확장: n ≥ 2 차원 공간에서 근사 결과 확립
근사 격식의 개선: 기존의 2차 항을 대신하는 새로운 페널티 항 G(u-φ̃ε) 도입
존재성 이론 확립: 수정된 Abreu 방정식 해의 존재성과 수렴성 증명

방법론 상세 설명

문제 정의

변분 문제를 고려한다: $\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는 2차 증가가 아닌 일반 증가 조건을 만족한다.

핵심 기술 틀

1. 라그랑주 함수 조건

논문은 F가 다음을 만족한다고 가정한다:

(F1) F는 매끄럽고 변수 z와 p에 대해 볼록
(F2) F의 도함수는 증가 추정을 만족한다: $\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) + \frac{1}{2\varepsilon}\int_{\Omega\setminus\Omega_0}(v-\phi)^2 dx - \varepsilon\int_\Omega \log \det D^2v dx$

수정된 근사 범함수: $J_\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. 핵심 수정 사항

경계 함수 수정: $\tilde{\phi}_\varepsilon(x) = \phi(x) + \varepsilon^{1/(3n^2)}(e^{\rho(x)} - 1)$
페널티 함수: $G(x) = \int_0^{x^2} H(t) dt$ , 여기서 $H(x) = x(1 + f_0(x)g_0(x) + f_2(x)g_2(x) + xf_3(x)g_3(x))$

기술적 혁신점

비2차 페널티 항: G(u-φ̃ε)를 사용하여 일반 증가의 라그랑주 함수를 제어
경계 수정 기법: φ̃ε를 통해 함수를 "충분히" 균일 볼록하게 만들어 라그랑주 함수의 비균일 볼록성 처리
증가 함수 매칭: G의 구성이 F의 증가 성질과 정확히 일치

이론적 분석

주요 정리

정리 1.1: Ω₀과 Ω를 ℝⁿ의 매끄러운 볼록 영역이라 하고, Ω는 균일 볼록이며 Ω₀ ⋐ Ω라 하자. φ ∈ C⁵(Ω), ψ ∈ C³(Ω), φ는 볼록이고 min∂Ω ψ > 0이라 하자. F가 (F1)-(F2)를 만족한다고 하자. 0 < ε < ε₀ < 1이면:

(i) 2차 경계값 문제(1.14)는 모든 s ∈ (n,∞)에 대해 균일 볼록인 W⁴'ˢ(Ω) 해 uε를 갖는다

(ii) 해 수열(uεₖ)은 Ω의 컴팩트 부분집합에서 변분 문제의 최소화 원소로 균일 수렴한다

증명 전략

존재성 증명 (정리 1.1(i))

L∞ 추정: uε의 균일 유계성 확립
기울기 추정: 볼록성을 이용한 기울기 경계 도출
Hessian 추정: ABP 극값 원리를 통한 det D²uε의 상하 경계
정칙성 이론: Hölder 추정과 W⁴'ˢ 추정 결합
차수 이론: Leray-Schauder 차수 이론을 사용한 존재성 확립

수렴성 증명 (정리 1.1(ii))

컴팩성: 균일 추정을 이용한 부분수열 수렴
경계 조건: 극한 함수가 경계 조건을 만족함을 증명
최소성: 변분 부등식을 통한 극한 함수의 최소화 성질 증명

기술적 난제 및 해결 방안

주요 기술적 도전

1. L∞ 추정의 어려움

도전: 일반 증가 조건 하에서, 적분 $\int_{\Omega_0} F_{p_ix_i}(u_\varepsilon - \tilde{\phi}_\varepsilon) dx$ 를 2차 항으로 제어할 수 없다.

해결책: 증가에 맞는 페널티 함수 G를 구성하여: $G'(u_\varepsilon - \tilde{\phi}_\varepsilon)(u_\varepsilon - \tilde{\phi}_\varepsilon) \geq H(C_8(1 + |u_\varepsilon|))$