[논문 리뷰] Nonlinear elliptic equations with measures revisited

Haı̈m Brezis, Moshe Marcus외 1명|arXiv (Cornell University)|2013. 12. 23.

Nonlinear Partial Differential Equations참고 문헌 27인용 수 6

한 줄 요약

이 논문은 비선형성의 임계 성장으로 인해 고전적 해가 존재하지 않을 경우 비선형 타원형 방정식의 해가 존재하는지 조사한다. 절단 기반의 근사화 기법과 근사 해의 수렴성을 분석함으로써, 특이 집합의 용량과 해의 존재성 사이의 정밀한 연결을 확립하며, 라플라스 연산자와 $L^1$-함수에 관련된 용량이 고전적 $H^1$-용량의 두 배임을 증명한다.

ABSTRACT

We study the existence of solutions of the nonlinear problem $$ \left\{ \begin{alignedat}{2} -Δu + g(u) & = μ& & \quad ext{in } Ω,\\ u & = 0 & & \quad ext{on } \partial Ω, \end{alignedat} ight. $$ where $μ$ is a Radon measure and $g : \mathbb{R} o \mathbb{R}$ is a nondecreasing continuous function with $g(0) = 0$. This equation need not have a solution for every measure $μ$, and we say that $μ$ is a good measure if the Dirichlet problem above admits a solution. We show that for every $μ$ there exists a largest good measure $μ^* \leq μ$. This reduced measure has a number of remarkable properties.

연구 동기 및 목표

• 비선형성이 임계 성장을 보일 경우 비선형 타원형 방정식의 해가 존재하지 않는 메커니즘을 이해하기 위해.
• 측도 자료가 적분 가능성 임계값을 초과할 경우 원래 문제에 해가 없을 때 근사 해의 행동을 분석하기 위해.
• 특히 임계 및 초임계 영역에서 해가 존재하는 측도의 집합을 특성화하기 위해.
• 라플라스 연산자와 관련된 용량과 고전적 $H^1$-용량 사이의 정밀한 관계를 확립하기 위해.
• 근사 기법을 정교화하여 부호가 있는 측도와 더 일반적인 자료로 존재성 및 수렴 결과를 확장하기 위해.

제안 방법

• 비선형성 $g$가 임계성을 갖지 않는 증가하는 함수들의 수열 $g_n$으로 대체되는 절단 기반 근사화 기법을 도입하며, 컴팩트 집합에서 균일 수렴을 보인다.
• 쌍대성에 기반한 약한 해 정의: $u$가 (0.1)을 만족하려면 모든 $\zeta \in C^2_0(\overline{\Omega})$에 대해 $\int_\Omega u(-\Delta\zeta) + \int_\Omega g(u)\zeta = \int_\Omega \zeta\,d\mu$ 이어야 한다.
• 특히 $H^1$-용량과 $\Delta$-관련 용량 $\operatorname{cap}_{\Delta,1}$을 사용하여 해의 존재를 방해하는 특이 집합을 특성화하기 위해 용량 이론을 적용한다.
• 데이터를 정규화하고 근사 수열을 구성하기 위해 컨볼루션과 모이피케이션 기법을 활용한다.
• 초함수와 그 절단을 포함하는 구성에 의해, 시험 함수의 라플라스 연산자에 대한 $L^1$-노름과 $H^1$-용량 사이의 핵심 쌍대성을 확립한다.
• 특히, 적절히 구성된 시험 함수 수열과 용량 추정을 통해 임의의 컴팩트 $K \subset \Omega$에 대해 $\operatorname{cap}_{\Delta,1}(K) = 2\operatorname{cap}_{H^1}(K)$ 를 증명한다.

실험 결과

연구 질문

• RQ1 측도 $\mu$와 임계 또는 초임계 비선형성 $g$를 갖는 방정식 $-\Delta u + g(u) = \mu$가 어떤 조건에서 해를 가질 수 있는가?
• RQ2 측도 집중이나 임계 비선형성으로 인해 원래 문제에 해가 없을 경우, 근사 해 수열 $u_n$은 어떻게 행동하는가?
• RQ3 시험 함수의 라플라스 연산자에 대한 $L^1$-노름으로서 컴팩트 집합 $K$의 용량을 어떻게 특성화할 수 있는가?
• RQ4 $H^1$-용량과 $\Delta$-관련 용량 $\operatorname{cap}_{\Delta,1}$ 사이의 정밀한 관계는 무엇인가?
• RQ5 임계 경우에도 $\mu$를 $L^1$ 및 $L^p$ 성분으로 분해함으로써 해의 존재성을 특성화할 수 있는가?

주요 결과

• 비선형성 $g(t) = |t|^{p-1}t$이고 $p \geq \frac{N}{N-2}$이며 $\mu = \delta_a$ (디랙 측도)일 경우, 비록 비선형성이 연속적이고 비감소이더라도 방정식 $-\Delta u + g(u) = \mu$는 해가 존재하지 않는다.
• $p < \frac{N}{N-2}$일 경우, 임의의 측도 $\mu$에 대해 방정식은 해를 가짐을 확인하며, 존재성에 대한 하위임계 임계값을 확인한다.
• $\operatorname{cap}_{\Delta,1}(K)$ 는 $\varphi \in C^2_c(\Omega)$ 이고 $\varphi \geq 1$ on $K$ 인 조건에서 $\|\Delta\varphi\|_{L^1}$ 의 하한으로 정의되며, 이 용량은 $\operatorname{cap}_{\Delta,1}(K) = 2\operatorname{cap}_{H^1}(K)$ 를 만족한다.
• 절단을 통한 근사화 기법 $g_n \nearrow g$ 는 해 $u_n$ 을 유도하며, 이 수열은 약한 수렴을 보이며, $\mu$ 가 비자명하더라도 극한이 0일 수 있음을 보여주며, 해의 존재 실패를 설명한다.
• 해의 존재성은 $\operatorname{cap}_{2,p'}(A) = 0$ 인 모든 보렐 집합 $A$ 에 대해 $|\mu|(A) = 0$ 이라는 조건과 동치이며, 이는 임계 경우에 바라스-피에르 특성화를 확인한다.
• 용량 항등식의 증명은 $\|\Delta\psi_n\|_{L^1} \to 2\operatorname{cap}_{H^1}(K)$ 가 되도록 하며, $\psi_n = 1$ 이 $K$ 근처에서 성립하고 $0 \leq \psi_n \leq 1$ 인 매끄럽고 컴팩트한 초함수 수열 $\psi_n$ 의 구성에 의존한다.