[논문 리뷰] Boundary singularities of solutions to elliptic viscous Hamilton-Jacobi equations

Tai Nguyen Phuoc, Лаурент Верон|arXiv (Cornell University)|2011. 09. 13.

Nonlinear Partial Differential Equations참고 문헌 22인용 수 1

한 줄 요약

이 논문은 유계 $C^2$ 도메인 $Ω \subset \mathbb{R}^N$ 내에서 $-\Delta u + g(|∇ u|) = 0$ 형태의 타원형 점성 해밀토니안-자코비 방정식의 해에 대한 경계 특이성을 조사한다. 비선형성 $g(r) = r^q$ 이며 $1 < q < 2$일 때, 양의 해의 존재성, 유일성 및 경계 추적 성질에 초점을 맞춘다. 주요 기여는 경계 고립 특이성의 특성화와 임계 지수 $q_c = \frac{N+1}{N}$의 규명이다. 이 지수를 초월하면 해가 유계 경계 추적을 가지지 않을 수 있으며, 초임계 영역에서의 가역성 조건으로서 Bessel 용량 $C^{2-q}_{q,q'}$에 대한 절대연속 조건이 필수적임을 규명하였다.

ABSTRACT

Journal of Functional Analysis 263 (2012) 1487-1538

연구 동기 및 목표

• 경계 데이터로 양의 유계 Borel 측도 $\mu$ 가 주어진 딜리클레 문제 $-\Delta u + g(|∇ u|) = 0$ 에 대한 양의 해의 존재성과 유일성을 확립한다.
• 해의 경계 추적을 쌍 $(S(u), \mu)$ 로 정의하고, 여기서 $S(u)$ 는 특이 경계 점의 집합이고 $\mu$ 는 정규 부분에 대한 Radon 측도임을 특성화한다.
• 특히 초임계 영역 $q \geq q_c = \frac{N+1}{N}$ 에서 경계에 고립된 특이성이 제거 가능한 조건을 규명한다.
• 비선형성 $g(r) = r^q$ 이고 $q_c \leq q < 2$ 일 때, 해의 존재성에 필요한 필수 및 충분 조건을 Bessel 용량 $C^{2-q}_{q,q'}$ 으로 특성화한다.

제안 방법

• 시험 함수 $\zeta \in X(\Omega)$ 를 사용한 약한 공식화를 도입하며, $\Delta\zeta \in L^\infty(\Omega)$ 를 요구하고, $g(|∇ u|)$ 와 경계 데이터 $\mu$ 를 포함한 적분 항등식을 통해 해를 정의한다.
• 해의 존재성을 위한 충분 조건으로 적분 임계 조건 $\int_1^\infty g(s) s^{-(2N+1)/N} ds < \infty$ 를 확립한다.
• 경계 근처에서 해의 행동을 분석하고 적분 가능성과 비적분 가능성을 구분하기 위해 경계 하르나크 부등식을 적용한다.
• 초임계 영역 $q \geq q_c$ 에서 해의 존재성에 필요한 절대연속 조건을 특성화하기 위해 차원 $N-1$ 에서의 Bessel 용량 $C^{2-q}_{q,q'}$ 을 사용한다.
• 경계 데이터의 약한 수렴에 대한 안정성을 증명하기 위해, 정규화된 측도와 최대 해 $u_\nu$ 를 이용한 근사 기법을 활용한다.
• 시험 함수 $\eta_n$ 을 사용한 용량 기반의 특이점 제거 기준을 적용하여, $\|\nabla \eta_n\|_{L^{q'}} \to 0$ 일 때 해가 용량이 0인 집합을 넘어선다.

실험 결과

연구 질문

• RQ1 방정식 $-\Delta u + g(|∇ u|) = 0$ 이 주어진 양의 유계 Borel 측도 $\mu$ 를 경계 데이터로 가지는 양의 해를 갖는 조건은 무엇인가?
• RQ2 양의 해가 쌍 $(S(u), \mu)$ 로서 잘 정의된 경계 추적을 가지는 조건은 무엇이며, 특이 집합 $S(u)$ 는 어떻게 특성화되는가?
• RQ3 임계 지수 $q_c = \frac{N+1}{N}$ 는 무엇이며, 경계 특이성의 하위임계 및 초임계 행동을 어떻게 분리하는가?
• RQ4 $q \geq q_c$ 일 때, 해의 존재성을 위한 경계 측도 $\mu$ 에 대한 필수 및 충분 조건은 무엇이며, 이는 Bessel 용량과 어떻게 관련되는가?
• RQ5 어떤 컴팩트 집합 $K \subset \Omega$ 는 $\Omega \setminus K$ 에서 $-\Delta u + |\nabla u|^q = 0$ 의 해에 대해 특이점을 제거할 수 있는가?

주요 결과

• 비선형성 $g(r) = r^q$ 이고 $1 < q < q_c = \frac{N+1}{N}$ 일 때, 임의의 양의 외부 정규 Borel 측도 $\nu \not\equiv \infty$ 는 양의 해의 경계 추적으로 실현 가능하다.
• 임계 지수를 초월하는 영역 $q_c \leq q < 2$ 에서는 해의 존재성을 위한 필수 조건으로 경계 측도 $\mu$ 가 차원 $N-1$ 에서의 Bessel 용량 $C^{2-q}_{q,q'}$ 에 대해 절대연속이어야 한다.
• 모든 $x \in \partial\Omega$ 에 대해 $\int_{\Omega \cap U} g(|∇ u|) d(x) dx = \infty$ 를 만족하는 경계 점 집합 $S(u)$ 는 닫혀 있으며, 해 $u$ 는 고유한 경계 추적 $\operatorname{tr}_{\partial\Omega}(u) = (S(u), \mu)$ 를 가지며, 여기서 $\mu$ 는 $\partial\Omega \setminus S(u)$ 에 정의된 양의 Radon 측도이다.
• 특히 $q = 2$ 일 때는 임의의 양의 유계 측도 $\mu$ 에 대해 문제의 해가 존재하며, 고립된 특이점은 특이 집합의 $C^{1,2}$-용량이 0이어야만 제거 가능하다.
• $q = 1$ 일 때는 임의의 양의 해 $u$ 는 유계 양의 Borel 측도 $\mu$ 를 경계 추적으로 가지며, 동차성과 유일성으로 인해 비자명한 고립된 특이점은 존재하지 않는다.
• $q \geq q^* = \frac{N}{N-1}$ 일 때, 컴팩트 집합 $K \subset \Omega$ 는 $-\Delta u + |\nabla u|^q = 0$ 이 $\Omega \setminus K$ 에서 정의된 해에 대해 제거 가능하다. 이는 $C^{1,q'}(K) = 0$ 이고, 이러한 해는 $\Omega$ 로 매끄럽게 연장된다.