[논문 리뷰] A New Characterisation of $\infty$-Harmonic and $p$-Harmonic Maps via Affine Variations in $L^\infty$

Nikos Katzourakis|arXiv (Cornell University)|2015. 09. 06.

Nonlinear Partial Differential Equations참고 문헌 15인용 수 14

한 줄 요약

이 논문은 $L^{\infty}$에서의 애फ인 변형을 사용하여 $\infty$-조화 및 $p$-조화 사상에 대한 새로운 변분적 특성화를 수립한다. 이는 $\infty$-라플라스 방정식과 $p$-라플라스 방정식의 해가 특정 애프린 변형 하에서 최대 에너지 $\| |Du|^2 \|_{L^\infty}$를 최소화하는 사상임을 보여준다. 결과는 $N \geq 2$에 대해 $\mathcal{D}$-해와 $N=1$에 대해 점성 해를 통해 증명되며, $L^\infty$에서의 변분법 이론을 벡터 값 설정으로 확장한다.

ABSTRACT

Let $u: Ω\subseteq \mathbb{R}^n \longrightarrow \mathbb{R}^N$ be a smooth map and $n,N \in \mathbb{N}$. The $\infty$-Laplacian is the PDE system \[ ag{1} \label{1} Δ_\infty u \, :=\, \Big(Du \otimes Du + |Du|^2[Du]^\bot\! \otimes I\Big) :D^2u\, =\, 0, \] where $[Du]^\bot := ext{Proj}_{R(Du)^\bot}$. \eqref{1} constitutes the fundamental equation of vectorial Calculus of Variations in $L^\infty$, associated to the model functional \[ ag{2} \label{2} E_\infty (u,Ω')\, =\, \big\| |Du|^2\big\|_{L^\infty(Ω')} ,\ \ \ Ω' \Subset Ω. \] We show that generalised solutions to \eqref{1} can be characterised in terms of \eqref{2} via a set of designated affine variations. For the scalar case $N=1$, we utilise the theory of viscosity solutions of Crandall-Ishii-Lions. For the vectorial case $N\geq 2$, we utilise the recently proposed by the author theory of $\mathcal{D}$-solutions. Moreover, we extend the result described above to the $p$-Laplacian, $1

연구 동기 및 목표

• 벡터 값 설정($N \geq 2$)에서 $L^\infty$에서의 애프린 변형을 사용하여 $\infty$-조화 및 $p$-조화 사상에 대한 새로운 변분적 특성화를 제공한다.
• 비발산형, 계수의 불연속성을 가진 $\infty$-라플라스 시스템의 일반화된 해를 정의하는 데서 발생하는 도전 과제를 해결한다.
• $L^\infty$에서의 변분법의 구조와 $1 < p < \infty$인 $p$-라플라스 프레임워크를 통합하는 변분 원리를 확립한다.
• $\mathcal{D}$-해를 사용하여 $L^\infty$에서의 절대 최소자와 준볼록성 이론을 일반 벡터 값 사상으로 확장한다.

제안 방법

• 논문은 해 $u$와 부분영역 $\Omega' \Subset \Omega$에 따라 달라지는 애프린 변형의 집합 $\mathcal{A}^p_{\Omega'}(u)$를 도입하며, 이는 $L^\infty$ 기능성 $E_\infty(u,\Omega') = \||Du|^2\|_{L^\infty(\Omega')}$에 맞추어져 있다.
• $N=1$인 경우, Crandall-Ishii-Lions의 점성 해 이론을 적용하여 $\infty$-조화 함수가 애프린 변형 하에서 $E_\infty$를 최소화하는 것으로 특성화된다.
• $N \geq 2$인 경우, 최근 개발된 $\mathcal{D}$-해 이론을 사용하여 $[Du]^\perp$의 투영으로 인해 발생하는 불연속 계수를 다룬다.
• 핵심 기술 도구는 분산 헤시안 $\mathcal{D}^2u$와 그 축소 지지집합 $\mathrm{supp}_*(\mathcal{D}^2u(x))$의 사용으로, 비가속도 해의 분석을 가능하게 한다.
• 증명은 애프린 변형을 따라 에너지 기능성의 하부 Dini 도함수 $\underline{D}h(0^+)$를 분석하여 최소화 조건의 필요 및 충분 조건을 유도하는 데 의존한다.
• 중요한 항등식이 확립된다: $\underline{D}h(0^+) \geq 0$이면, 그리고 그 때에만 $\Delta_\infty u = 0$이 $\mathcal{D}$-의미에서 성립하며, 이는 변형 안정성과 PDE 사이의 연결을 제공한다.

실험 결과

연구 질문

• RQ1 $N \geq 2$인 벡터 값 설정에서 $\infty$-조화 사상은 특정 애프린 변형 클래스에 대해 최대 에너지 $\| |Du|^2 \|_{L^\infty}$를 최소화하는 것으로 특성화될 수 있는가?
• RQ2 $\mathcal{D}$-해 프레임워크는 고전적 해가 존재하지 않을 경우 $\infty$-라플라스 방정식의 일반화된 해를 어떻게 특성화할 수 있는가?
• RQ3 $1 < p < \infty$인 $p$-라플라스 방정식과 $\infty$-라플라스 방정식을 동일한 $L^\infty$-유형 기능성으로 연결하는 통합된 변분 원리가 존재하는가?
• RQ4 $\infty$-조화 사상에 대해 최소화 조건을 유도하는 애프린 변형 클래스 $\mathcal{A}^p_{\Omega'}(u)$의 정확한 구조는 무엇인가?
• RQ5 기울기 범위 $R(Du)$와 투영 $[Du]^\perp$의 기하학적 성질은 애프린 변형 하에서 해의 안정성에 어떻게 영향을 미치는가?

주요 결과

• $\infty$-조화 시스템 $\Delta_\infty u = 0$이 $\Omega$에서 $\mathcal{D}$-의미로 성립하는 것은, 모든 $\Omega' \Subset \Omega$와 모든 $A \in \mathcal{A}^{\top,\infty}_{\Omega'}(u) \cup \mathcal{A}^{\bot,\infty}_{\Omega'}(u)$에 대해 $\|Du\|_{L^\infty(\Omega')} \leq \|Du + DA\|_{L^\infty(\Omega')}$이 성립할 때이고, 그 때에만 성립한다.
• $1 < p < \infty$인 경우, $p$-라플라스 방정식 $\Delta_p u = 0$은 $p$-에 의존하는 변형 클래스 $\mathcal{A}^p_{\Omega'}(u)$에 대해 동일한 최소화 조건으로 특성화되며, 이는 결과를 $p$-라플라스 프레임워크로 확장한다.
• $N=1$인 스칼라 경우, 점성 해를 통해 결과가 성립하며, 이는 $\infty$-조화 함수가 정확히 애프린 변형 하에서 $\| |Du|^2 \|_{L^\infty}$를 최소화하는 것으로 확인된다.
• $C^2$ 사상에 대해서는 $\mathcal{D}$-해가 고전적 헤시안으로 줄어들며, 변형 클래스 $\mathcal{A}^{\top,\infty}_{\Omega'}(u)$와 $\mathcal{A}^{\bot,\infty}_{\Omega'}(u)$는 $Du \neq 0$ 인 점들에서 고전적 항등식 $\mathrm{div}(A^\top Du) = 0$을 유도한다.
• 증명은 모든 이러한 애프린 변형에 대해 $\underline{D}h(0^+) \geq 0$이면, 그리고 그 때에만 $\infty$-라플라스 방정식이 $\mathcal{D}$-의미에서 0이 되며, 이는 날카로운 필요 및 충분 조건을 확립한다.
• 이 특성화는 강건하다: $[Du]^\perp$로 인해 $\infty$-라플라스 방정식의 계수가 불연속적이어도 최소화 조건은 그대로 유지되며, 해를 완전히 특성화한다.