[논문 리뷰] Absolutely Minimising Generalised Solutions to the Equations of Vectorial Calculus of Variations in $L^\infty$

Nikos Katzourakis|arXiv (Cornell University)|2015. 02. 04.

Model Reduction and Neural Networks참고 문헌 30인용 수 19

한 줄 요약

이 논문은 $L^∞$에서 초등함수 기능에 대한 벡터형 절대 최소화자를 $L^p$ 근사와 새로운 개념인 $\mathcal{D}$-해법을 통해 존재함을 증명한다. 이 최소화자가 벡터형 $\infty$-라플라스계의 일반해임을 증명하고, $p\to\infty$일 때 $L^p$ 최소화자의 극한임을 보이며, 일부 영역을 제외한 영역에서 부분적으로 $C^2$임을 규명하여, $L^\infty$에서의 벡터형 변분법 이론의 핵심적 간극을 메운다. 연구 결과는 기상학적 자료 융합에서 유래되었으며, 아론스턴의 이론을 벡터형으로 확장하고 완전한 해석적 특성화를 제공한다.

ABSTRACT

Consider the supremal functional \[ ag{1} \label{1} E_\infty(u,A) \,:=\, \|L(\cdot,u,D u)\|_{L^\infty(A)},\quad A\subseteq Ω, \] applied to $W^{1,\infty}$ maps $u:Ω\subseteq \mathbb{R}\longrightarrow \mathbb{R}^N$, $N\geq 1$. Under certain assumptions on $L$, we prove for any given boundary data the existence of a map which is: i) a vectorial Absolute Minimiser of \eqref{1} in the sense of Aronsson, ii) a generalised solution to the ODE system associated to \eqref{1} as the analogue of the Euler-Lagrange equations, iii) a limit of minimisers of the respective $L^p$ functionals as $p ightarrow\infty$ for any $q\geq 1$ in the strong $W^{1,q}$ topology \& iv) partially $C^2$ on $Ω$ off an exceptional compact nowhere dense set. oi {Our method is based on $L^p$ approximations and stable a priori partial regularity estimates. For item ii) we utilise the recently proposed by the author notion of $\mathcal{D}$-solutions in order to characterise the limit as a generalised solution. Our results are motivated from and apply to Data Assimilation in Meteorology.}

연구 동기 및 목표

• 스칼라에서의 아론스턴 이론을 $L^\infty$ 변분법의 벡터형으로 확장한다.
• 최근 도입된 $\mathcal{D}$-해법 프레임워크를 사용하여, 새로운 벡터형 $\infty$-라플라스계의 일반해의 존재를 확립한다.
• $p \to \infty$일 때 $L^p$ 최소화자의 극한을 임의의 $q \geq 1$에 대해 $W^{1,q}$ 위상에서 특성화하고, 기울기의 강한 수렴을 보장한다.
• 최소화자가 일부 영역을 제외한 영역에서 부분적으로 $C^2$ 정칙성을 가짐을 증명한다.
• 특히 기상학에서 자연스럽게 나타나는 벡터형 $L^\infty$ 최소화 문제에 대한 엄밀한 해석적 기초를 제공한다.

제안 방법

• $E_\infty(u,A) = \|\mathscr{L}(\cdot,u,Du)\|_{L^\infty(A)}$의 초등함수 기능에 대한 $L^p$ 근사를 사용하여 $p \to \infty$일 때 최소화자 수열을 구성한다.
• 안정적인 사전 부분 정칙성 추정을 적용하여 $L^p$ 최소화자의 행동을 제어하고 수렴 성질을 보장한다.
• $\mathcal{D}$-해법의 개념을 도입하고, 이는 영향을 미치는 청소년 측도 기반의 일반해 개념으로, $L^\infty$ 설정에서 $L^p$ 최소화자의 극한을 특성화한다.
• 두 번째 도함수와 관련된 청소년 측도의 약한* 수렴을 사용하여, 정규성 집합 $\Omega^\infty$에서 극한이 $\mathcal{D}$-해법임을 확인한다.
• 비탈리 수렴 정리를 활용하여 기울기 $Du^m \to Du^\infty$의 강한 $W^{1,q}$ 수렴을 확립한다. 이는 등가적 적분 가능성과 점별 거의 everywhere 수렴을 기반으로 한다.
• 기울기를 $\mathscr{V}(\cdot,u)$와 잔여항 $v^m$으로 분해하고, $m \to \infty$일 때 잔여항이 $L^3$ 노름에서 0이 됨을 보인다.

실험 결과

연구 질문

• RQ1 일반적인 라그랑지안 가정 하에 $L^\infty$에서 초등함수 기능에 대한 벡터형 절대 최소화자가 존재할 수 있는가? 이는 아론스턴의 스칼라 이론을 확장하는가?
• RQ2 전통적인 $C^2$ 해가 존재하지 않을 경우, 벡터형 $\infty$-라플라스계의 일반해는 어떻게 정의되고 특성화될 수 있는가?
• RQ3 $p \to \infty$일 때 $L^p$ 최소화자와 그 $L^\infty$ 극한 사이의 관계는 어떤가? 이는 강한 $W^{1,q}$ 위상에서 어떻게 나타나는가?
• RQ4 최소화자가 어느 정도 부분적으로 $C^2$ 정칙성을 가지며, 특이점은 어디에 존재하는가?
• RQ5 $\mathcal{D}$-해법 프레임워크는 벡터형에서의 $L^\infty$ 오일러-라그랑주계의 해를 일관적이고 안정적으로 특성화할 수 있는가?

주요 결과

• 논문은 라그랑지안 $\mathscr{L}$에 대한 표준적인 $C^2$ 조건 하에서 기능 $E_\infty(u,A) = \|\mathscr{L}(\cdot,u,Du)\|_{L^\infty(A)}$에 대한 벡터형 절대 최소화자가 존재함을 증명한다.
• 극한 맵 $u^\infty$는 $L^\infty$에서 기본 방정식의 $\mathcal{D}$-해법임을 보이며, 새로운 해 개념에 따라 일반화된 오일러-라그랑주계를 만족한다.
• $L^p$ 최소화자 수열 $u^m$은 $p \to \infty$일 때 임의의 $q \geq 1$에 대해 $W^{1,q}(\Omega,\mathbb{R}^N)$에서 $u^\infty$로 강하게 수렴하며, $Du^m \to Du^\infty$ 거의 everywhere 및 $L^q$에서 수렴한다.
• 최소화자 $u^\infty$는 $\Omega^\infty$에서 부분적으로 $C^2$이며, 이는 $\Omega$의 전체 측도 부분집합이며, 두 번째 도함수에서 특이성이 발생할 수 있는 컴팩트하고 밀도가 없는 예외 집합을 제외한 영역이다.
• 정규성 집합 $\Omega^\infty$에서 두 번째 도함수 청소년 측도 $\mathcal{D}^2u^\infty(x)$는 $\mathrm{D}^2u^\infty(x)$에 대한 딜라크 질량이므로, 이곳에서 강한 해 행동을 확인한다.
• 극한 맵 $u^\infty$는 일반화된 의미에서 벡터형 $\infty$-라플라스계를 만족하며, $\Omega^\infty$의 여집합에서 방정식의 우변이 거의 everywhere에서 0이 되어 $\mathcal{D}$-해법 정의와 일관된다.