[논문 리뷰] Boundary singularities of semilinear elliptic equations with Leray-Hardy potential

Huyuan Chen, Laurent Véron|arXiv (Cornell University)|2019. 10. 01.

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

한 줄 요약

이 논문은 유계 도메인 $\Omega \subset \mathbb{R}^N_+$ 내에서 $0 \in \partial\Omega$ 이며 $\mu \geq -\frac{N^2}{4}$, $g$ 는 연속적이고 비감소함수이며 $\nu$, $\lambda$ 는 Radon 측도인 반선형 타원형 방정식 $\Delta u + \frac{\mu}{|x|^2}u + g(u) = \nu$ 의 해가 존재하고 유일한지를 조사한다. 주요 기여는 $g$ 가 거듭제곱 함수일 경우 해의 존재성을 보장하는 필요충분조건을 제시하는 능력 기반 프레임워크로, 특히 측도가 경계 특이점 $0$ 에 집중되어 있는지 여부에 따라 해의 행동이 어떻게 달라지는지를 구분한다.

ABSTRACT

We study existence and uniqueness of solutions of (E 1) --$Δ$u + $μ$ |x| ^{-2} u + g(u) = $ν$ in $Ω$, u = $λ$ on $\partial$$Ω$, where $Ω$ $\subset$ R N + is a bounded smooth domain such that 0 $\in$ $\partial$$Ω$, $μ$ $\ge$ -- N 2 4 is a constant, g a continuous nondecreasing function satisfying some integral growth condition and $ν$ and $λ$ two Radon measures respectively in $Ω$ and on $\partial$$Ω$. We show that the situation differs considerably according the measure is concentrated at 0 or not. When g is a power we introduce a capacity framework which provides necessary and sufficient conditions for the solvability of problem (E 1).

연구 동기 및 목표

• 영역의 경계에 위치한 특이점에 대해 레일리-하디 포텐셜을 갖는 반선형 타원형 방정식의 해가 존재하고 유일한지를 확립하는 것.
• 측도 $\nu$ 가 특이점 $0 \in \partial\Omega$ 에 집중되어 있는지 여부에 따라 해의 성격이 어떻게 달라지는지 분석하는 것.
• 거듭제곱형 비선형성 $g(u) = |u|^{p-1}u$ 를 위한 능력 기반 프레임워크를 개발하여 해의 존재성에 대한 필요충분조건을 제공하는 것.
• 스펙트럼 매개수 $\mu$ 와 지수 $p$ 에 따라 경계 특이점 $0$ 근처에서 해의 점근적 행동을 기술하는 것.
• 이전의 내부 특이점 결과를 경계 경우로 확장하여, 특히 [15] 및 [21] 의 결과를 경계 설정으로 일반화하는 것.

제안 방법

• 영역 $\Omega$ 에서 방정식 $-\Delta u + \frac{\mu}{|x|^2}u + g(u) = \nu$ 의 약한 공식화를 사용하며, $\partial\Omega$ 에서 $u = \lambda$ 라고 정의한다. 여기서 $\nu$ 와 $\lambda$ 는 Radon 측도이다.
• 카토 유형 부등식과 에너지 추정을 적용하여 $x = 0$ 에서의 경계 특이점 근처에서 해의 행동을 분석한다.
• 경계 경우 $0 \in \partial\Omega$ 에 맞게 조정된 하디 포텐셜 기반의 베셀 능력에 기반한 능력 프레임워크를 도입한다.
• 시간에 의존하는 상미분 방정식으로 문제를 단순화하기 위해 에임덴-파울러 변환 $v(t, \sigma) = r^{-\frac{2}{p-1}} u(r, \sigma)$ 와 $t = \ln r$ 를 사용한다. 이는 구 위에서의 스펙트럼 분석을 가능하게 한다.
• 해의 이산적 구조와 $0$ 근처에서의 폭발 속도를 연구하기 위해 해석적 함수론과 스투름의 방법론을 활용한다.
• 비교 원리와 초해법을 적용하여 해의 범위를 제한하며, 특히 $p > p^*_\mu$ 일 때 $x \to 0$ 에서 $u = o(\phi_\mu)$ 임을 보여준다.

실험 결과

연구 질문

• RQ1 영역 $\Omega$ 에서 $0 \in \partial\Omega$ 이며 $u = \lambda$ 라는 경계 조건을 갖는 방정식 $-\Delta u + \frac{\mu}{|x|^2}u + g(u) = \nu$ 는 어떤 조건에서 해를 갖는가?
• RQ2 측도 $\nu$ 가 경계 특이점 $0$ 에 집중되어 있는지 여부에 따라 문제의 해의 존재성이 어떻게 달라지는가?
• RQ3 거듭제곱형 비선형성 $g(u) = |u|^{p-1}u$ 에 대해 $x = 0$ 근처에서 해의 정확한 점근적 행동은 무엇인가?
• RQ4 경계 특이성 경우에서의 초임계 및 초임계 행동을 분리하는 임계 지수 $p^*_\mu$ 는 무엇인가?
• RQ5 해의 존재성에 대한 측도 $\nu$ 의 집합을 특징짓는 능력 이론 기반 프레임워크를 구축할 수 있는가?

주요 결과

• 만약 $g(u) = |u|^{p-1}u$ 라면, 문제의 해가 존재하는 것은 유일하게 측도 $\nu$ 가 $\mu$, $N$, $p$ 와 관련된 특정 베셀 능력에 속할 때이다. 이는 필수적이고도 충분한 조건이다.
• 만약 $p > p^*_\mu$ 라면, $x \to 0$ 에서 $u(x) = o(\phi_\mu(x))$ 를 만족한다. 여기서 $\phi_\mu(x) = |x|^{-\frac{N-2}{2} + \sqrt{\mu + \frac{N^2}{4}}}$ 는 $\mathcal{L}_\mu u = 0$ 의 기본 해이다.
• 만약 $p = p^*_\mu$ 이고 $\mu = \mu_1 = -\frac{N^2}{4}$ 라면, 해는 여전히 $0$ 근처에서 $u = o(\phi_\mu)$ 를 만족하며, 해는 유일하고 약한 해이다.
• 만약 $p = p^*_\mu$ 이고 $\mu > \mu_1$ 라면, $\mathcal{E}_v \subset \{0\}$ 이므로 $\phi_\mu$ 에 비해 $u$ 는 점근적으로 영이 된다.
• 구 위에서의 축소된 방정식의 해 집합은 이산적이며, 이 집합의 유일한 원소로 수렴하는 것은 점근적 프로파일의 유일성을 의미한다.
• 만약 $p = 3$ 이고 $N + 4\sqrt{\mu - \mu_1} > 0$ 라면, 특정 스펙트럼 조건 하에서 해가 존재할 수 있는 유일한 홀수 정수 지수는 $p = 3$ 이다.