[논문 리뷰] $\\mathcal{D}$-solutions to the system of vectorial Calculus of Variations in $L^\\infty$ via the singular value problem

Gisella Croce, Nikos Katzourakis외 1명|arXiv (Cornell University)|2016. 04. 15.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 7

한 줄 요약

이 논문은 특이값 문제를 통해 $L^\infty$에서의 벡터류 변분법에 대한 $\mathcal{D}$-해를 도입하며, 해밀토니안 $\mathrm{H}$의 볼록성 조건 없이도 완전 비선형 체계에 대한 일반화된 해로서 $W^{1,\infty}$-포화를 구성한다. 주요 기여는 일반 차원 $n \neq N$에서 특이값 문제에 대한 강한 해 존재성에 관한 새로운 결과로, 이는 바이어르 카테고리 방법과 영 연료를 통한 $\mathcal{D}$-해의 구성에 기여한다.

ABSTRACT

For $\\mathrm{H} \\in C^2(\\mathbb{R}^{N \ imes n})$ and $u : \\Omega \\subseteq \\mathbb{R}^n \ o \\mathbb{R}^N$, consider the system \\[ \\label{1}\\mathrm{A}\\_\\infty u\\, :=\\,\\Big(\\mathrm{H}\\_P \\otimes \\mathrm{H}\\_P + \\mathrm{H}[\\mathrm{H}\\_P]^\\bot \\mathrm{H}\\_{PP}\\Big)(\\mathrm{D} u): \\mathrm{D}^2 u\\, =\\,0. \ ag{1}\\]We construct $\\mathcal{D}$-solutions to the Dirichlet problem for (1), an apt notion of generalised solutions recently proposed for fully nonlinear systems. Our $\\mathcal{D}$-solutions are $W^{1,\\infty}$-submersions and are obtained without any convexity hypotheses for $\\mathrm{H}$, through a result of independent interest involving existence of strong solutions to the singular value problem for general dimensions $n\ eq N$.

연구 동기 및 목표

• 완전 비선형 체계에 대한 일반화된 해 개념인 $\mathcal{D}$-해를 $L^\infty$에서의 벡터류 변분법에 도입하기 위해.
• 해밀토니안 $\mathrm{H}$의 볼록성을 가정하지 않고도 $\mathrm{A}_{\infty}$-체계의 딜리클레 문제를 해결하기 위해.
• 일반 차원 $n \neq N$에서 특이값 문제에 대한 강한 해 존재성을 증명하기 위해, 이는 별개의 관심사로도 중요한 결과이다.
• 스칼라 경우를 초월하여 비볼록 $\mathrm{H}$를 가진 $L^\infty$ 변분 문제 이론을 벡터류 설정으로 확장하기 위해.

제안 방법

• 저자들은 헤시안 측도와 영 연료를 기반으로 한 약한* 극한을 이용한 일반화된 해 개념인 $\mathcal{D}$-해 프레임워크를 사용한다.
• 해를 $W^{1,\infty}$-포화의 공간에서 구성하기 위해 바이어르 카테고리 방법을 활용한다.
• 핵심 기술적 구성 요소는 $n \neq N$에서 $\mathrm{H}$-지정 기울기를 갖는 특이값 문제에 대한 강한 해를 구성하는 것이다.
• 시험 함수의 지지집합의 컴팩턴스와 $L^1$에서 쌍대성 쌍의 약한* 강한 연속성에 기반한 방법이다.
• 체계를 정규화된 문제의 수열로 근사하고, $L^1$ 수렴 및 $\mathrm{A}_{\infty}$-연산자의 구조를 이용해 극한으로 넘어가는 증명을 포함한다.
• 불연속 계수를 다루기 위해 $\mathrm{A}_{\infty}$-연산자의 직교 투영 $[\mathrm{H}_P]^\perp$와 텐서 구조를 분석에 활용한다.

실험 결과

연구 질문

• RQ1 $\mathrm{H}$의 볼록성 가정 없이도 $\mathcal{D}$-해를 벡터류 $L^\infty$ 변분 문제에 대해 구성할 수 있는가?
• RQ2 특이값 문제가 $L^\infty$에서 완전 비선형 체계에 대한 일반화된 해를 구성하는 데 어떤 역할을 하는가?
• RQ3 $N=1$인 스칼라 경우에서 $\mathcal{D}$-해는 점근해와 어떻게 관련이 있는가?
• RQ4 $C^1$ $\mathcal{D}$-해는 고전적 변분 의미에서 최대함수의 임계점인가?
• RQ5 일반 차원 $n \neq N$에서 바이어르 카테고리 접근법을 통해 $\mathrm{A}_{\infty}$-체계를 해결할 수 있는가?

주요 결과

• 논문은 $\mathrm{H}$가 $C^2$일 경우, 볼록성이 없더라도 $\mathrm{A}_{\infty}$-체계에 대한 $\mathcal{D}$-해의 존재성을 확립한다.
• 구성된 $\mathcal{D}$-해는 $W^{1,\infty}$-포화이므로 기울기의 정규성과 전사성을 보장한다.
• 일반 차원 $n \neq N$에서 특이값 문제에 대한 강한 해 존재성에 관한 새로운 결과가 증명되었으며, 이는 구성의 핵심 요소이다.
• 바이어르 카테고리 방법에서의 근사 수열의 극한은 $L^1$에서 수렴하며 쌍대성 쌍을 유지하여 약한* 수렴으로의 이행이 가능하다.
• $\mathcal{D}$-해 개념이 고전적 임계점 개념이 실패할 경우에도 $L^\infty$ 함수계의 변분 구조와 일관됨을 보였다.
• 이 방법은 볼록성 또는 강한 강하 조건이 필요 없어, 비볼록 $\mathrm{H}$의 광범위한 클래스, 특히 $\infty$-라플라스 체계에 적용 가능하다.