[논문 리뷰] Semilinear fractional elliptic equations involving measures

Huyuan Chen, Лаурент Верон|arXiv (Cornell University)|2013. 05. 04.

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

한 줄 요약

이 논문은 $\alpha \in (0,1)$ 인 분수라플라스 연산자 $(-\Delta)^\alpha$ 를 포함하는 반선형 분수타원형 방정식에 대한 약한 해의 존재성과 유일성을 확립한다. 하위임계 비선형성의 경우, 임의의 라돈 측도에 대해 해가 존재하지만, 초임계 거듭제곱형 비선형성 $g(u) = |u|^{k-1}u$ 의 경우, 해가 존재하는 것은 특정 베셀 용량 $C_{2\alpha,k'}$ 에 대해 절대연속인 측도일 때에만 가능하다. 이 결과들은 고전적인 라플라스 연산자에 대한 결과들을 분수 설정으로 일반화한다.

ABSTRACT

We study the existence of weak solutions of (E) $ (-Δ)^αu+g(u)=ν$ in a bounded regular domain $Ω$ in $\R^N (N\ge2)$ which vanish on $\R^N\setminusΩ$, where $(-Δ)^α$ denotes the fractional Laplacian with $α\in(0,1)$, $ν$ is a Radon measure and $g$ is a nondecreasing function satisfying some extra hypothesis. When $g$ satisfies a subcritical integrability condition, we prove the existence and uniqueness of a weak solution for problem (E) for any measure. In the case where $ν$ is Dirac measure, we characterize the asymptotic behavior of the solution. When $g(r)=|r|^{k-1}r$ with $k$ supercritical, we show that a condition of absolute continuity of the measure with respect to some Bessel capacity is a necessary and sufficient condition in order (E) to be solved.

연구 동기 및 목표

• 분수라플라스 연산자 $(-\Delta)^\alpha$ 를 포함하는 반선형 타원형 방정식에 대한 약한 해의 존재성과 유일성 결과를 고전적인 라플라스 연산자에서 분수라플라스 연산자 $(-\Delta)^\alpha$ ($\alpha \in (0,1)$) 로 확장한다.
• 유계 $C^2$ 영역 $\Omega$ 내에서 $(-\Delta)^\alpha u + g(u) = \nu$ 의 가역성 조건을 규명한다. 여기서 $\nu$ 는 라돈 측도이며 $g$ 는 비감소 함수이다.
• 비선형성 $g(u) = |u|^{k-1}u$ 이고 $k$ 가 초임계일 경우, 약한 해의 존재에 대한 필요충분조건을 규명한다.
• 고전적인 라플라스 연산자에 대한 $C_{2,p'}$ 용량과 유사하게, 분수방정식에서 측도 자료의 임계성을 특징짓는 데서 베셀 용량의 역할을 일반화한다.

제안 방법

• 약한 해는 분수라플라스 연산자의 행동이 유계이고 정칙이 되도록 보장하는 테스트 함수 공간 $\mathbb{X}_\alpha$ 를 사용한 쌍대성 정의를 통해 정의된다.
• 하위임계 $g$ 에 대해선 마르친키에비치 공간에서의 선형 추정과 $\rho^\alpha$ 에 의해 가중된 $g(u)$ 에 대한 사전 추정을 사용하여 존재성과 유일성을 증명한다. 여기서 $\rho$ 는 경계까지의 거리이다.
• 거듭제곱 형태의 경우 $g(u) = |u|^{k-1}u$, 논문은 절단 방법을 사용한다: 비선형성을 국소화하기 위해 $T_n(u)$ 를 정의하고, 정규화된 문제들의 수열을 풀어낸다.
• 절대연속성의 필요성과 충분성은 허들러 부등식과 리프스 잠재력의 소볼레프 포함을 사용한 테스트 함수 추정과 용량 추정을 통해 입증된다.
• 쌍대성 추론을 통해 $C_{2\alpha,k'}(K) = 0$ 이면 $\nu(K) = 0$ 이 됨을 보여, 용량 조건의 필요성을 증명한다.
• 논문은 녹그린 커널 $G$ 와 그 성질을 사용하여 해를 $\mathbb{G}[\nu]$ 를 통해 통제하고, $W^{2\alpha,k'}$ 공간에서 리프스 잠재력의 정칙성 결과를 적용한다.

실험 결과

연구 질문

• RQ1 비선형성 $g$ 와 측도 $\nu$ 가 어떤 조건을 만족할 경우, 유계 $C^2$ 영역 $\Omega$ 내에서 분수타원형 방정식 $(-\Delta)^\alpha u + g(u) = \nu$ 가 약한 해를 갖는가?
• RQ2 비선형성 $g(u) = |u|^{k-1}u$ 이고 $k$ 가 초임계일 경우, 베셀 용량 $C_{2\alpha,k'}$ 가 방정식의 가역성에 어떤 정확한 역할을 하는가?
• RQ3 비선형성 $g$ 에 대한 하위임계 적분 조건이 임의의 라돈 측도 $\nu$ 에 대해 약한 해의 존재성과 유일성을 보장하는 방식은 무엇인가?
• RQ4 측도 $\nu$ 가 딜라르 측도일 경우, 해의 점근적 행동은 어떻게 특징지을 수 있는가?
• RQ5 비선형성 $g(u) = |u|^{k-1}u$ 이고 $k$ 가 초임계일 경우, 절대연속성 조건 $\nu \ll C_{2\alpha,k'}$ 는 존재에 대해 필수적이고 충분한가?

주요 결과

• 모든 비감소 $g$ 가 하위임계 적분 조건을 만족할 경우, 임의의 라돈 측도 $\nu$ 에 대해 $\int_\Omega \rho^\beta d|\nu| < \infty$ 를 만족하는 어떤 $\beta \in [0,\alpha]$ 가 존재하면, 문제 $(-\Delta)^\alpha u + g(u) = \nu$ 는 유일한 약한 해를 갖는다.
• 측도 $\nu$ 가 델타 측도일 경우, 해는 녹그린 커널의 특이성에 의해 농도 지점 근처에서 정확한 점근적 행동을 보인다.
• 거듭제곱 비선형성 $g(u) = |u|^{k-1}u$ 이고 $k > 1$ 이 초임계일 경우, 해가 존재하는 것은 $\nu$ 가 특정 베셀 용량 $C_{2\alpha,k'}$ 에 대해 절대연속일 때에만 가능하다. 여기서 $k'$ 는 $k$ 의 허들러 쌍대이다.
• 용량 조건의 필요성은 $W^{2\alpha,k'}$ 노름이 0으로 수렴하는 테스트 함수 수열 $\phi_n$ 을 구성함으로써 입증된다. 이에 따라 $C_{2\alpha,k'}(K) = 0$ 이면 $\nu(K) = 0$ 이 되며, 이는 측도가 용량이 0인 집합에서 0이 되어야 한다는 것을 의미한다.
• 충분성은 $\nu$ 를 $W^{-2\alpha,k}(\Omega)$ 에 속하는 측도로 근사하고, 절단된 비선형성을 가진 정규화된 문제들을 풀며, $L^1(\Omega)$ 와 $L^k(\Omega, \rho^\alpha dx)$ 에서의 수렴을 이용해 극한으로 넘어가는 방식으로 증명된다.
• 부호가 있는 측도의 경우, 조건 $C_{2\alpha,k'}(K) = 0 \Rightarrow |\nu|(K) = 0$ 이 가역성에 충분하지만, 그 필요성은 아직 열려있다.