[논문 리뷰] Boundary trace of positive solutions of semilinear elliptic equations in Lipschitz domains

Moshe Marcus, Лаурент Верон|ArXiv.org|2009. 07. 06.

Advanced Mathematical Modeling in Engineering참고 문헌 19인용 수 4

한 줄 요약

이 논문은 유계 리프시츠 도메인에서 $-\Delta u + g(u) = 0$ 형태의 반선형 타원형 방정식에 대한 양해의 존재성과 유일성을 확립한다. 여기서 $g(u) = |u|^{q-1}u$이며 $q > 1$이다. 조화 측도와 베셀 용적을 사용하는 추적 이론을 도입하여, 다면체 경계에서의 특이점이 유일하게 제거 가능할 조건을 규명하고, $k$차원 모서리에서 음수 지수를 가진 베소프 공간을 통해 양호한 측도를 특성화한다. 특히, 초임계적 $q$와 접선 원뿔 조건 하에서 임의의 양의 경계 추적을 갖는 해의 존재성과 유일성을 확립한다.

ABSTRACT

We study the generalized boundary value problem for nonnegative solutions of $-Δu+g(u)=0$ in a bounded Lipschitz domain $\Gw$, when $g$ is continuous and nondecreasing. Using the harmonic measure of $\Gw$, we define a trace in the class of outer regular Borel measures. We amphasize the case where $g(u)=|u|^{q-1}u$, $q>1$. When $\Gw$ is (locally) a cone with vertex $y$, we prove sharp results of removability and characterization of singular behavior. In the general case, assuming that $\Gw$ possesses a tangent cone at every boundary point and $q$ is subcritical, we prove an existence and uniqueness result for positive solutions with arbitrary boundary trace. We obtain sharp results involving Besov spaces with negative index on k-dimensional edges and apply our results to the characterization of removable sets and good measures on the boundary of a polyhedron.

연구 동기 및 목표

• 유계 리프시츠 도메인에서 $g$가 연속적이고 비감소일 때, $-\Delta u + g(u) = 0$의 양해에 대한 추적 이론을 개발한다.
• 부드러운 도메인에서의 결과를 리프시츠 도메인으로 확장하며, 특히 측도 자료와 거듭제곱 비선형성 $g(u) = |u|^{q-1}u$의 경우를 다룬다.
• 다면체 도메인의 경계에서 제거 가능한 특이 집합과 '양호한' 측도를 용적과 베소프 공간 조건을 통해 특성화한다.
• 초임계적 $q$와 접선 원뿔 조건 하에서 임의의 양의 경계 추적을 갖는 해의 존재성과 유일성을 확립한다.

제안 방법

• 영역 $\Omega$와 관련된 조화 측도 $\omega$를 사용하여 외부 정규 보렐 측도의 클래스에서 경계 추적을 정의한다.
• 테스트 함수가 포함된 $X(\Omega) = \{\eta \in W^{1,2}_0(\Omega) : \rho^{-1}\Delta\eta \in L^\infty(\Omega)\}$에서의 약한 $L^1$ 공식화를 도입한다. 여기서 $\rho$는 $-\Delta$의 첫 번째 고유함수이다.
• 특이 행동을 분석하기 위해 $k$차원 모서리 $A$ 위의 베소프 공간 $B^{-s,p}(d_A)$에 대한 조화 상승 개념을 적용한다.
• 경계 하르나크 원리와 켈러-오스러 추정을 활용하여 경계점 근처의 성장률을 통제하고 하르나크 유형 부등식을 유도한다.
• 해가 존재하는 측도의 공간 $M_{\rho,q}$의 쌍대공간을 통해 $C_{\rho,q'}$ 용적을 정의하고, 이를 제거 가능한 집합과 연결한다.
• 원추 영역에서의 마틴 핵심함수와 분리 가능한 조화 함수를 사용하여 임계 지수와 수용 조건을 분석한다.

실험 결과

연구 질문

• RQ1 리프시츠 도메인에서 $-\Delta u + |u|^{q-1}u = 0$의 양해가 잘 정의된 경계 추적을 갖는 조건은 무엇인가?
• RQ2 거칠게 표현하면, $g(u) = |u|^{q-1}u$의 거듭제곱 비선형성을 갖는 해에 대해 컴acts 집합 $K \subset \partial\Omega$가 언제 제거 가능한가?
• RQ3 다각형 도메인에서 특이 집합의 용적과 관련하여 $k$차원 모서리에서 음수 지수를 가진 베소프 공간은 어떤 관계를 가진다?
• RQ4 임의의 양의 경계 추적을 갖는 해의 존재성과 유일성을 보장하기 위한 $q$의 정확한 조건과 도메인의 기하학적 조건은 무엇인가?
• RQ5 원추 영역에서의 조화 측도와 마틴 핵심함수는 해가 특이 행동을 보일 임계값 $q$를 어떻게 결정하는가?

주요 결과

• 유계 리프시츠 도메인 $\Omega$에서 각 경계점에서 접선 원뿔이 존재하고 $q$가 초임계적일 경우, 외부 정규 보렐 측도의 의미에서 임의의 양의 경계 추적을 갖는 유일한 양해가 존재한다.
• 컴팩트 집합 $K \subset \partial\Omega$는 모든 $k,j$에 대해 $C_{s(k,j),q'}(K \cap L_{k,j}) = 0$이면 제거 가능하다. 여기서 $s(k,j)$는 $k$차원 모서리 $L_{k,j}$의 기하학적 특성에 의해 정의된다.
• 측도 $\mu \in \mathfrak{M}(\partial\Omega)$는 $C_{\rho,q'}$-용적이 0인 집합을 가로지르지 않으면서만 $q$-양호하다. $C_{\rho,q'}(K) = 0$이면 $M_{\rho,q}(K) = \{0\}$이다.
• 정점이 $y$인 원추 영역에서는 제거 가능성과 특이 행동에 대해 정밀한 결과를 도출하였으며, 임계값 $q$는 기하학적 특성과 마틴 핵심함수에 의해 결정된다.
• 리프시츠 도메인에서 경계 하르나크 부등식은 균일하게 성립한다: $c^{-1} \frac{u_1(z')}{u_1(z)} \leq \frac{u_2(z')}{u_2(z)} \leq c \frac{u_1(z')}{u_1(z)}$이며, 양해가 $\partial\Omega$의 상대적으로 열린 부분집합에서 0이 되는 경우에 대해 성립한다. 상수 $c$는 $N$, $q$, 그리고 리프시츠 특성에만 의존한다.
• $k$차원 모서리 $A$ 위에서 $B^{-s,p}(d_A)$의 조화 상승은 잘 정의되어 있으며, 이는 용적과 적분 가능성에 기반한 해의 특이 행동을 특성화한다.