An introduction to the vectorial Calculus of Variations in $\textbf{L}^\infty$ AND Aronsson PDE systems

기술 요약: $L^\infty$에서의 벡터적 변분법 및 아론슨(Aronsson) PDE 입문

1. 문제 정의 및 배경

본 논문은 적분 범함수(integral functionals) 대신 **상한 범함수(supremal functionals)**를 다루는 변분법 분야인 $L^\infty$에서의 변분법을 다룬다. 스칼라 이론(미지 함수가 $\mathbb{R}$로 사상되는 경우)은 1960년대 G. 아론슨에 의해 확립되었으나, 벡터적 경우(미지 함수 $u: \Omega \subseteq \mathbb{R}^n \to \mathbb{R}^N$, 단 $N \geq 2$)는 2010년대 초반부터 시작된 훨씬 최근의 발전이다.

핵심 문제는 벡터적 상한 범함수에 대한 견고한 변분 프레임워크의 부재이다. 고전적인 적분 설정($L^p$)에서 극소값(minimizers)은 미분을 통해 유도된 오일러-라그랑주 방정식에 의해 특징지어진다. 그러나 다음과 같은 형태의 상한 범함수는:
$$E_\infty(u, \mathcal{O}) := \text{ess sup}_{x \in \mathcal{O}} H(x, u(x), Du(x))$$
미분 가능하지 않다. 따라서 표준적인 변분 기법들은 실패한다. 더욱이, $L^\infty$에서는 상한의 비가산성(lack of additivity)으로 인해 "전역 극소값(global minimizer)"이라는 개념만으로는 불충분하며, 적절한 개념은 자신의 경계값에 대해 모든 부분 영역에서 범함수를 최소화하는 **절대 극소값(absolute minimizer)**이다.

본 논문은 이러한 범함수의 극단성 조건으로서 발생하는 PDE 시스템인 **아론슨 시스템(Aronsson systems)**의 유도와 분석에 초점을 맞추며, 특히 문제의 벡터적 성질($N \geq 2$)로 인해 발생하는 중대한 복잡성을 강조한다.

2. 방법론

저자들은 고전적인 적분 변분법과 대조하며 이 분야를 소개하기 위해 다각적인 접근 방식을 채택한다:

• 극한 절차 ($L^p$ 근사): 아론슨 시스템을 유도하는 주요 방법은 $L^p$-디리클레 적분($\int |Du|^p$)과 관련된 오일러-라그랑주 방정식의 극한을 $p \to \infty$로 취하는 것이다. 이는 극한 PDE의 구조를 드러낸다.
• 기하학적 분해: 벡터적 경우, 저자들은 구배(gradient) $Du$의 치역(range)과 그 직교 보공간(orthogonal complement) 위로의 직교 투영을 활용한다. 이를 통해 극한 PDE 시스템을 사상의 이미지에 대한 접선(tangential) 성분과 법선(normal) 성분으로 분해할 수 있다.
• 일반화된 해 (D-solutions): 계수가 불연속적일 수 있기 때문에 고전적인 해(심지어 $C^2$ 급조차)가 존재하지 않거나 점별(pointwise) 의미에서 PDE를 만족하지 않을 수 있음을 인식하여, 본 논문은 **D-해(D-solutions)**를 도입한다. 이 이론은 **영 측정(Young measures)**과 차분 몫(difference quotients)의 극한을 통한 미분의 확률적 표현(확산 미분)에 의존하며, 부분 적분이나 최대 원리를 피한다.
• 변분적 특징 규명: 특정 종류의 변분(스칼라 대 벡터, 접선 대 법선)이 아론슨 시스템의 해를 특징지울 수 있는지 조사하여, "랭크-원 절대 극소값(rank-one absolute minimizers)"과 "최소 면적(minimal area)" 조건을 구분한다.

3. 주요 기여 및 결과

3.1. 벡터적 아론슨 시스템

본 논문은 일반적인 상한 함수 $H(x, \eta, P)$에 대한 전체 벡터적 아론슨 시스템을 유도한다. 단일한 2계 퀼리리니어(quasilinear) 방정식을 생성하는 스칼라 사례와 달리, 벡터적 사례는 일반적으로 두 개의 독립적인 부분으로 구성된 시스템을 생성한다:

1. 접선 성분: 사상의 이미지를 따른 변분과 관련됨.
2. 법선 성분: 사상의 이미지에 수직인 변분과 관련됨.

모델 $\infty$-디리클레 범함수($H = |Du|$)에 대해, 시스템은 다음과 같다:
$$\Delta_\infty u := \left( Du \otimes Du + |Du|^2 [[Du]]^\perp \otimes I \right) : D^2 u = 0$$
여기서 $[[Du]]^\perp$는 $Du$의 치역에 대한 직교 보공간으로의 투영이다. 이 시스템은 다음으로 분리된다:

• $Du \, D(\frac{1}{2}|Du|^2) = 0$ (접선)
• $|Du|^2 [[Du]]^\perp \Delta u = 0$ (법선)

3.2. 상 분리(Phase Separation) 및 불연속 계수

중요한 발견은 벡터적 아론슨 시스템이 매끄러운 해에 대해서도 불연속 계수를 가질 수 있다는 점이다. 이는 구배 $Du$의 랭크(rank)가 도메인 전체에서 일정하지 않을 수 있기 때문에 발생한다.

• 상 분리: 도메인은 여러 상(phase)으로 분해된다 (예: $\text{rk}(Du)=1$인 $\Omega_1$과 $\text{rk}(Du)=2$인 $\Omega_2$).
• 인터페이스: 이러한 상들 사이의 인터페이스에서 투영 연산자 $[[Du]]^\perp$는 불연속적이 된다.
• 구조 정리: 2차원에서 $C^2$ 해의 경우, 해당 맵은 에이클로날(Eikonal) 방정식을 푸는 침투(immersion)이거나 본질적으로 스칼라 $\infty$-조화 함수(rank 1)이다.

3.3. 절대 극소성의 실패

본 논문은 스칼라 사례와 달리, 벡터적 절대 극소값이 반드시 $\infty$-조화 사상을 특징짓지는 않는다는 것을 보여준다.

• $\infty$-라플라스 시스템은 벡터적 경우에 절대 극소성을 설명하기에 충분하지 않다.
• 새로운 변분 개념인 **$\infty$-최소 맵( $\infty$-Minimal maps)**이 도입되는데, 이는 맵이 "랭크-원 절대 최소"(접선)이고 "$\infty$-최소 면적"(법선)을 가져야 함을 요구한다.
• 매끄러운 $\infty$-조화 맵이 상한 범함수의 전역 극소값이 아닌 경우에 대한 반례가 존재한다.

3.4. D-해의 존재성

고전적 해의 부재와 비방향성(non-existence) 및 비방향성 계수를 가진 시스템에 직접 적용하기 어려운 점성 해(viscosity solution) 이론의 한계를 해결하기 위해, 본 논문은 D-해에 대한 존재성 결과를 제시한다.

• 정리: 특정 구조적 가정을 가진 $H$에 대한 아론슨 시스템의 디리클레 문제에 대해, 립시츠 침투(Lipschitz submersions) 클래스 내에 무한한 집합의 D-해가 존재한다.
• 비유일성: 이는 $n=N=2$인 매끄러운 해에서도 관찰되는 현상인 비유일성을 나타낸다. 증명은 미분 포함 관계(differential inclusion)에 적용된 베이르 범주 방법(Baire category method)(Dacorogna-Marcellini)을 활용한다.

4. 의의 및 응용

본 논문은 벡터적 $L^\infty$ 변분법을 고전적 PDE 이론을 넘어서는 새로운 도구가 필요한 별개의 도전적인 분야로 위치시킨다. 그 의의는 다음과 같다:

• 이론적 깊이: 벡터적 사례가 단순히 스칼라 사례의 일반화가 아니라, 상 분리, 불연속 계수, 비유일성과 같이 변분적 지형을 근본적으로 변화시키는 고유한 구조적 특징을 가지고 있음을 확립한다.
• 응용: 저자들은 평균(적분)을 최소화하는 것보다 최대 오차(상한)를 최소화하는 것이 더 현실적인 몇 가지 실질적인 동기를 인용한다:
  • 최적 립시츠 확장: 경계 데이터의 가장 매끄러운 확장을 찾는 것.
  • 준등각 사상(Quasi-conformal Mappings) 최적화: 맵의 팽창(dilation)을 최소화하는 것.
  • 변분 데이터 동화(Variational Data Assimilation): 특히 기상 예측(4DVar)에서, 모델의 관측치로부터의 최대 편차를 최소화하여 오차의 "스파이크"를 방지하는 것이 중요하다.
  • 이미지 처리 및 공학: 최적 형상 설계, 역문제, 파괴 역학 등의 응용 분야.

결론적으로, 스칼라 이론은 잘 발달되어 있으나 벡터적 이론은 아직 초기 단계에 있으며, 아론슨 시스템이 극단성 조건을 위한 연구의 중심 객체 역할을 한다. D-해의 도입은 미분 가능성의 결여와 이러한 시스템의 비타원성(non-elliptic nature)을 다루기 위한 엄밀한 프레임워크를 제공한다.