[논문 리뷰] Hopf's lemmas for parabolic fractional Laplacians and parabolic fractional $p$-Laplacians

Pengyan Wang, Wen‐Xiong Chen|arXiv (Cornell University)|2020. 10. 02.

Nonlinear Partial Differential Equations참고 문헌 30인용 수 4

한 줄 요약

이 논문은 분수형 $p$-라플라시안 방정식에 대해 힙프의 보조정리의 포물선형 판본을 수립하여, 해가 경계 근처에서 정확한 분수형 차수 $s$로 사라짐을 증명하고, 반대칭 해가 포물선형 힙프 유형의 경계 행동을 만족함을 보였다. 이러한 결과들은 비국소 포물선형 방정식의 해에 대한 이동 평면 방법을 통해 대칭성과 단조성의 증명을 가능하게 한다.

ABSTRACT

In this paper, we first establish Hopf's lemmas for parabolic fractional equations and parabolic fractional $p$-equations. Then we derive an asymptotic Hopf's lemma for antisymmetric solutions to parabolic fractional equations. We believe that these Hopf's lemmas will become powerful tools in obtaining qualitative properties of solutions for nonlocal parabolic equations.

연구 동기 및 목표

• 비국소 분수형 $p$-라플라시안 연산자를 포함하는 포물선형 방정식에 대해 고전적 힙프의 보조정리를 확장하기 위해.
• 특히 경계에서의 법선 도함수에 관해 부족한 경계 행동 결과가 있는 포물선형 비국소 방정식에 대한 문제를 다루기 위해.
• 이동 평면 방법이 포물선형 설정에서 작동하기 위해 필수적인 반대칭 해를 위한 점근적 힙프의 보조정리를 도출하기 위해.
• 비국소 포물선형 PDE에서 대칭성, 단조성, 해의 존재하지 않음과 같은 정성적 성질을 증명하기 위한 도구를 제공하기 위해.

제안 방법

• 유계 영역 $ \Omega \times (0,T] $에서 $ \frac{\partial u}{\partial t} + (-\Delta)^s_p u = f(t,u) $의 해에 대해 포물선형 힙프의 보조정리를 수립하고, 영 Dirichlet 경계 조건을 가진다.
• 경계 근처에서 $ u(x,t_0) \geq c_0 d^s(x) $임을 증명하며, 여기서 $ d(x) = \text{dist}(x,\partial\Omega) $ 이고, 이는 경계에서 분수형 법선 도함수 $ \frac{\partial u}{\partial \nu^s} < 0 $임을 의미한다.
• 반대칭 함수 $ w_\lambda(x,t) = u(x^\lambda,t) - u(x,t) $에 대해 점근적 힙프의 보조정리를 도입하여, 반평면 $ \Sigma_\lambda $의 경계에서 $ \frac{\partial \psi_\lambda}{\partial \nu} < 0 $임을 보였다.
• $ \omega $-극한 집합 $ \omega(u) $를 사용하여 장기적 행동을 분석하고, 점근적 강한 최대원리 적용을 통해 대칭성 증명에서 모순를 이끌어내었다.
• 이동 평면 방법을 적용하기 위해 경계 행동을 이용해 평면의 초깃위치를 확인한 후, 모순을 통해 대칭성을 증명하였다.
• 다른 $ C_0(\mathbb{R}^n) $에서의 정규성과 컴팩턴스를 활용하여 극한을 통과하고 대칭적인 $ \omega $-극한 프로파일의 존재를 보장하였다.

실험 결과

연구 질문

• RQ1 분수형 $ p $-라플라시안 방정식에 대해 포물선형 힙프의 보조정리를 수립할 수 있는가?
• RQ2 포물선형 분수형 $ p $-라플라시안 방정식의 해는 영역 경계 근처에서 정확히 어떤 경계 행동을 보이는가?
• RQ3 경계 추정을 활용하여 이동 평면 방법을 비국소 포물선형 방정식에 어떻게 적용할 수 있는가?
• RQ4 이동 평면 방법의 맥락에서 반대칭 해는 어떤 점근적 경계 행동을 보이는가?
• RQ5 점근적 힙프의 보조정리를 사용하여 포물선형 분수형 $ p $-라플라시안 방정식의 해에 대한 대칭성과 단조성을 증명할 수 있는가?

주요 결과

• 영 Dirichlet 데이터를 가진 포물선형 분수형 $ p $-라플라시안 방정식의 해는 경계 근처에서 $ u(x,t_0) \geq c_0 d^s(x) $를 만족하며, 이는 분수형 법선 도함수 $ \frac{\partial u}{\partial \nu^s} < 0 $임을 의미한다.
• 경계에서 분수형 법선 도함수 $ \frac{\partial u}{\partial \nu^s} < 0 $임은 이동 평면 방법을 시작하기 위해 필수적이다.
• 반대칭 함수에 대해 점근적 힙프의 보조정리가 성립한다: $ \psi_\lambda \geq 0 $ 이고 식별적으로 0이 아니면, $ \partial \Sigma_\lambda $의 경계에서 $ \frac{\partial \psi_\lambda}{\partial \nu} < 0 $이다.
• 점근적 힙프의 보조정리는 해가 경계에서 최솟값을 갖지 않거나 식별적으로 0이 아니면, 이동 평면 방법의 두 번째 단계를 보장한다.
• 이동 평면 방법의 모순 증명은 경계에서 음의 최솟값이 존재하고 그 곳에서 기울기가 0이면, 법선 도함수의 엄격한 음성과 모순됨을 보여서 닫힌다.
• $ \omega $-극한 집합 $ \omega(u) $는 $ C_0(\mathbb{R}^n) $에서 컴팩트하며, 약간의 유계성 조건 하에 대칭적인 극한 프로파일의 존재를 보장한다.