[논문 리뷰] Entire solutions to semilinear nonlocal equations in $\\RR^2$

Xavier Ros‐Oton, Yannick Sire|arXiv (Cornell University)|2015. 05. 26.

Advanced Mathematical Physics Problems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^2$에서 $Lu = f(u)$ 형태의 반선형 비국소적 방정식에 대해 유계 안정 해의 1차원 대칭성을 확립한다. 여기서 $L$는 컴actsupport를 가진 대칭 핵함수를 가진 일반적인 비국소적 연산자이다. Caffarelli-Silvestre 확장에 의존하지 않는 리우빌 유형 정리 접근법을 사용하여, 모든 안정 해가 1차원이어야 한다는 것을 증명한다. 이는 핵함수에 대한 자연스러운 구조적 가정 하에 광범위한 비국소적 연산자에 대해 데 지오르기 유형 결과를 확장한다.

ABSTRACT

We consider entire solutions to $L u= f(u)$ in $\\RR^2$, where $L$ is a general nonlocal operator with kernel $K(y)$. Under certain natural assumtions on the operator $L$, we show that any stable solution is a 1D solution. In particular, our result applies to any solution $u$ which is monotone in one direction. Compared to other proofs of the De Giorgi type results on nonlocal equations, our method is the first successfull attempt to use the Liouville theorem approach to get flatness of the level sets.

연구 동기 및 목표

• 분수 라플라스 연산자 외의 일반적인 비국소적 연산자에 대해 $\mathbb{R}^2$에서 데 지오르기 유형 대칭 결과를 확장한다.
• 핵함수 $K(y)$에 대해 최소한의 가정 하에 $Lu = f(u)$의 유계 안정 해에 대해 1차원 대칭성을 확립한다.
• Caffarelli-Silvestre 확장에 의존하지 않는 리우빌 정리 기반 접근법을 개발하여 비국소 대칭 문제에 대한 새로운 방법을 제공한다.
• 핵함수에 대해 (H1)–(H3)의 핵심 가정이 압축된 지원을 가진 핵함수를 포함한 광범위한 비국소적 연산자 클래스에서 성립함을 검증한다.
• 안정 해가 반드시 1차원임을 증명하여 기존 분수 라플라스 연산자에 대한 결과를 더 넓은 비국소적 설정으로 일반화한다.

제안 방법

• 에너지 함수의 2차 변분을 통한 안정성의 변분적 정의를 도입하며, 모든 $\psi \in C_c^\infty(\mathbb{R}^2)$에 대해 $\int f'(u)\psi^2 \leq \mathcal{E}(\psi, \psi)$ 를 요구한다.
• (H2)와 (H3)의 가정 하에 변분적 정의와 비변분적 정의 사이의 동치성을 확립하여 $|\nabla u| \in L^\infty$를 보장한다.
• 비대칭 문제의 절단된 고유값 문제에서 $B_R$ 내에서 양의 해 $\varphi_R$의 수열을 구성하며, $\varphi_R(0) = 1$이 되도록 정규화한다. 이는 비교 원리와 강한 최대원리를 사용하여 수행된다.
• Harnack 부등식 (H2)과 하올더 연속성 (H3)을 적용하여 $\varphi_R$의 국소 수렴하는 부분수열을 추출하여, $\mathbb{R}^2$에서 $L\varphi = f'(u)\varphi$를 만족하고 $\varphi > 0$인 양의 해 $\varphi$를 도출한다. 이는 비변분적 안정성 조건을 만족한다.
• $\varphi_R^-$를 테스트 함수로 사용하여 $\varphi_R \geq 0$임을 보이고, 이후 강한 최대원리를 통해 엄밀한 양의성을 확보한다.
• Harnack 부등식 (H2)가 하한 조건 $K(y) \geq \lambda |y|^{-n-2s}$ 를 만족하는 압축된 지원을 가진 핵함수에 대해 성립함을 보이며, 로그 레미마와 컷오프 함수 기법을 사용한다.

실험 결과

연구 질문

• RQ1 분수 라플라스 연산자 외의 일반적인 비국소적 연산자에 대해, 압축된 지원을 가진 대칭 핵함수를 가진 $\mathbb{R}^2$에서 안정 해의 1차원 대칭 결과가 확장되는가?
• RQ2 Caffarelli-Silvestre 확장에 의존하지 않고 리우빌 정리 접근법이 비국소 방정식에 성공적으로 적용될 수 있는가?
• RQ3 핵함수 $K(y)$에 대해 어떤 조건에서 Harnack 부등식이 0차 항을 포함하여 성립하여 정규성과 비교 원리가 보장되는가?
• RQ4 일반적인 비국소적 연산자에 대해 (H2)와 (H3)를 만족할 때, 변분적 정의와 비변분적 정의 사이의 동치성이 유지되는가?
• RQ5 에너지 함수의 선형화된 방정식 $L\varphi = f'(u)\varphi$ 에서 $\mathbb{R}^2$ 내 양의 해 $\varphi > 0$의 존재가 안정성의 특성화에 기여하는가?

주요 결과

• 가정 (H1)–(H3) 하에 $\mathbb{R}^2$에서 $Lu = f(u)$의 유계 안정 해 $u$는 반드시 1차원이어야 하며, 즉 어떤 $a \in \mathbb{S}^1$에 대해 $u(x) = w(x \cdot a)$ 형태를 가진다.
• 이 증명은 Caffarelli-Silvestre 확장 없이 수행되었으며, 일반적인 비국소적 연산자에 대해 이는 처음으로 이루어진 결과이다.
• 핵함수가 $K(y) \geq \lambda |y|^{-n-2s}$ 를 $B_1$에서 만족할 경우, 적절한 조건 하에 Harnack 부등식 (H2)가 성립하며, 이는 정규성과 비교 추정에 기여한다.
• 하올더 연속성 (H3)은 해 $u$가 $|\nabla u| \in L^\infty(\mathbb{R}^2)$ 를 만족함을 보장하며, 이는 안정성의 동치성과 리우빌 추론에 필수적이다.
• 절단된 영역에서의 극한 추론을 통해 $\mathbb{R}^2$에서 $L\varphi = f'(u)\varphi$를 만족하는 양의 해 $\varphi > 0$의 존재가 입증되었으며, 이는 비변분적 안정성 조건을 확인한다.
• 이 방법은 비국소 방정식에 대해 리우빌 정리 접근법을 성공적으로 적용하여, 등위면의 평탄성과 대칭 결과를 위한 새로운 길을 열어 놓는다.