[논문 리뷰] Solutions of Vectorial Hamilton-Jacobi Equations are Rank-One Absolute Minimisers in $L^\infty$

Nikos Katzourakis|arXiv (Cornell University)|2016. 04. 04.

Mathematical and Theoretical Analysis참고 문헌 13인용 수 3

한 줄 요약

이 논문은 $H$가 연속성과 랭크-원 축약성 조건을 만족할 때, 벡터형 해밀턴-자코비 방정식 $H(x, \mathrm{D}u) = c$의 고전적 $C^1$ 해 $u$가 $L^\infty$ 기능 functional $E_\infty(u, \Omega') = \mathrm{ess}\,\sup_{\Omega'} H(\cdot, \mathrm{D}u)$에 대해 랭크-원 절대 최소화자임을 확립한다. 이 결과는 아론스턴의 $L^\infty$ 최소화 원리가 벡터값 함수로 확장된 것으로, 벡터형 $L^\infty$ 변분법 이론에서 핵심적인 격차를 해결한다.

ABSTRACT

Given the supremal functional $E_\infty(u,Ω')=ess\,\sup_{Ω'} H(\cdot,D u)$ defined on $W^{1,\infty}_{loc}(Ω,\mathbb{R}^N)$, $Ω' \Subset Ω\subseteq \mathbb{R}^n$, we identify a class of vectorial rank-one Absolute Minimisers by proving a statement slightly stronger than the next claim: vectorial solutions of the Hamilton-Jacobi equation $H(\cdot,D u)=c$ are rank-one Absolute Minimisers if they are $C^1$. Our minimality notion is a generalisation of the classical $L^\infty$ variational principle of Aronsson to the vector case and emerged in earlier work of the author. The assumptions are minimal, requiring only continuity and rank-one convexity of the level sets.

연구 동기 및 목표

• 벡터값 $L^\infty$ 변분 문제에서 $N \geq 2$일 경우 고전적인 아론스턴 이론이 기울기 계수의 불연속성으로 인해 실패함에 따라, 이론적 최소화 개념의 부재를 해결한다.
• 국소적으로 $W^{1,\infty}_{\text{loc}}(\Omega, \mathbb{R}^N)$에 속하는 벡터값 함수에 대해 절대 최소화의 자연스러운 일반화인 랭크-원 절대 최소화를 규명한다.
• 기울기에서 연속성과 랭크-원 축약성을 만족하는 $H$에 대해, 해밀턴-자코비 방정식 $H(x, \mathrm{D}u) = c$의 해가 랭크-원 절대 최소화자임을 증명한다.
• 스칼라 $\infty$-조화 이론을 벡터 사례로 확장하는 기초 결과를 제공함으로써, 벡터형 $L^\infty$ 변분법 이론을 구축한다.
• 벡터값 $\infty$-라플라스 시스템에서 $N \geq 2$일 경우 계수 행렬의 불연속성 문제를 해결하며, 이는 기존의 최소화 개념을 무효화한다.

제안 방법

• 랭크-원 절대 최소화를 아론스턴의 절대 최소화를 벡터 사례로 일반화한 것으로 정의하며, 이는 임의의 부분영역에서 $H$의 상한이 함수의 기울기 구조에 의해 최소화됨을 요구한다.
• 부드러운 모폴리피어 $\eta^{\varepsilon/k}$와 파artition of unity $\{\zeta_k\}$를 이용한 편미분 기반의 변형 기법을 통해 시험 함수 $\psi$에 대해 최소화 조건을 검증한다.
• 기울기에서의 연속성과 랭크-원 축약성을 활용하여, 변형된 기울기의 $H$의 본질적 상한을 제어하며, 연속성 모듈러스 $\omega_1, \omega_2$를 사용해 오차를 추정한다.
• 단위 벡터 $\xi$를 사용해 시험 함수 $u = \xi \cdot \psi$를 구성하고, 분해식 $\mathrm{D}u = \xi \otimes \mathrm{D}(\xi \cdot \psi) + [\xi]^\perp \mathrm{D}\psi$를 통해 기울기 $\mathrm{D}u$를 분석한다.
• 벡터 $\xi$와 $[\xi]^\perp$의 수직성 조건을 활용해 기울기 성분을 분리하고, 삼각부등식 및 연속성 추정을 통해 $H$의 본질적 상한을 유계화한다.
• $\varepsilon \to 0$으로의 극한을 취해, $\mathrm{ess}\sup_{\Omega'} H(\cdot, \mathrm{D}u) \leq \mathrm{ess}\sup_{\mathbb{B}_\rho(x_0)} H(\cdot, \mathrm{D}\psi)$를 도출함으로써 최소화 성립을 증명한다.

실험 결과

연구 질문

• RQ1 벡터형 해밀턴-자코비 방정식 $H(x, \mathrm{D}u) = c$의 고전적 $C^1$ 해는 $L^\infty$ 기능 $E_\infty(u, \Omega') = \mathrm{ess}\sup_{\Omega'} H(\cdot, \mathrm{D}u)$에 대해 랭크-원 절대 최소화자인가?
• RQ2 기울기 계수의 불연속성으로 인해 $\infty$-라플라스 시스템이 불안정한 경우, $\infty$-라플라스 시스템의 계수 행렬이 불연속일 때 절대 최소화의 개념을 어떻게 일반화할 수 있는가?
• RQ3 기울기에서의 $H$에 대해 어떤 최소한의 조건이 $H(x, \mathrm{D}u) = c$의 해가 랭크-원 의미에서 최소화자임을 보장하는가?
• RQ4 기존 아론스턴의 $L^\infty$ 변분 원리가 $\min\{n, N\} = 1$ 조건 없이도 벡터 사례로 확장 가능한가?
• RQ5 $H$의 등고선 집합의 랭크-원 축약성과 연속성이 함께 성립할 경우, 이는 $H$-해가 $L^\infty$ 의미에서 최소화자임을 보장하는가?

주요 결과

• 연속성과 랭크-원 축약성을 만족하는 $H$ 하에, 벡터형 해밀턴-자코비 방정식 $H(x, \mathrm{D}u) = c$의 고전적 $C^1$ 해는 $L^\infty$ 기능 $E_\infty(u, \Omega') = \mathrm{ess}\sup_{\Omega'} H(\cdot, \mathrm{D}u)$에 대해 랭크-원 절대 최소화자이다.
• 최소화 조건이 $\psi = u$ on $\partial \Omega'$를 만족하는 모든 $\psi$에 대해 $\mathrm{ess}\sup_{\Omega'} H(\cdot, \mathrm{D}u) \leq \mathrm{ess}\sup_{\Omega'} H(\cdot, \mathrm{D}\psi)$를 만족함으로써 최소화 성립이 입증된다.
• 기울기 계수의 불연속성 조건이 존재하더라도, 랭크-원 절대 최소화는 아론스턴의 절대 최소화 개념을 벡터 사례로 일반화하는 데 적합한 해법이다.
• 이 증명은 모폴리피어를 이용한 변형 기법과 파artition of unity를 활용하며, 오차 추정은 $H$와 $\mathrm{D}u$의 연속성 모듈러스에 의해 제어된다.
• 이 결과는 $n$이나 $N$에 제한 없이, 연속성과 랭크-원 축약성을 만족하는 일반적인 $H$에 대해 성립하며, 벡터형 $L^\infty$ 변분법 이론에서 핵심적인 열린 문제를 해결한다.
• $N \geq 2$일 경우 기울기의 계수 행렬 $[\mathrm{D}u]^\perp$의 불연속성은 최소화를 방해하지 않으며, $H$가 제시된 축약성 및 연속성 조건을 만족할 경우 최소화 성립이 보장된다.