[논문 리뷰] Principal eigenvalues of fully nonlinear integro-differential elliptic equations with a drift term

Alexander Quaas, Ariel Salort외 1명|arXiv (Cornell University)|2016. 05. 31.

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

한 줄 요약

이 논문은 Krein-Rutman 정리와 점근 해석적 해의 경계 정규성에 기반하여 완전 비선형 적분-미분 타원형 방정식에 비틀림 항이 포함된 주 eigenvalue의 존재성과 단순성을 확립한다. 주 eigenvalue는 고립되어 있으며, 해당 고유함수는 스케일링을 제외하고 유일하다. 이는 $ s \in (1/2,1) $ 인 유계 $ C^2 $ 영역에서 비국소적이고 비발산형 연산자에 비틀림 항이 포함된 스펙트럼 이론을 확장한다.

ABSTRACT

We study existence of principal eigenvalues of fully nonlinear integro-differential elliptic equations with a drift term via the Krein-Rutman theorem which based on regularity up to boundary of viscosity solutions. We also show the simplicity of the eigenfunctions in viscosity sense by a nonlocal version of ABP estimate.

연구 동기 및 목표

• 유계 영역 내에서 비국소적이고 완전 비선형 타원형 연산자에 비틀림 항이 포함된 경우의 스펙트럼 이론 부족 문제를 해결한다.
• 콤���트성과 Krein-Rutman 정리를 이용하여 딜리클레 경계 조건을 갖는 연산자 $-I$에 대한 주 고유값의 존재성을 확립한다.
• 스펙트럼 분석을 다루기 위해 점근 해석적 해의 경계에 대한 $C^\alpha$ 정규성을 증명한다.
• 비국소적 ABP 추정을 활용하여 점근 해석적 해의 관점에서 고유함수의 단순성을 증명한다.
• 주 고유값을 절대값 기준으로 가장 작은 값으로 특성화하고, 스케일링을 제외하고 유일하다는 것을 밝힌다.

제안 방법

• 비국소 연산자 $-I$의 역수로부터 유도된 콤팩트하고 양이며 동차인 연산자에 Krein-Rutman 정리를 적용한다.
• 경계 근처에서 최대 Pucci 연산자 추정을 통해 점근 해석적 해의 경계에 대한 $C^\alpha$ 정규성을 확립한다.
• 비국소적 아일리아크-박레프-푸시크(ABP) 추정의 비국소적 형태를 활용하여 고유함수의 단순성을 증명한다.
• 점근 해석적 부등식을 만족하는 함수들에 대한 상한을 취하여 주 고유값 $\lambda_1^+(I,\Omega)$ 및 $\lambda_1^-(I,\Omega)$를 정의한다.
• 비국소 연산자의 잘 정의됨과 고유함수의 적분 가능성 보장을 위해 가중치 $\omega_s$를 갖는 가중 $L^1$ 공간을 활용한다.
• 경계에서 0이 되는 연속 함수들의 적절한 바나흐 공간에서 콤팩트성 추론을 적용하여 고유함수를 추출한다.

실험 결과

연구 질문

• RQ1 완전 비선형 적분-미분 방정식에 비틀림 항이 포함된 경우 주 고유값의 존재성을 보장하는 조건은 무엇인가?
• RQ2 Krein-Rutman 정리는 비국소적이고 비발산형 연산자에 비틀림 항이 포함된 경우 어떻게 적응될 수 있는가?
• RQ3 점근 해석적 해의 경계 정규성이 비국소 연산자의 스펙트럼 분석에서 어떤 역할을 하는가?
• RQ4 비국소 방정식의 점근 해석적 해의 관점에서 고유함수의 단순성은 어떻게 증명할 수 있는가?
• RQ5 방정식의 포물형 형태에 대한 해의 점근적 행동은 주 고유값을 통해 어떻게 기술될 수 있는가?

주요 결과

• 모든 유계 $C^2$ 영역 $\Omega$와 $s \in (1/2,1)$ 일 때 주 고유값 $\lambda_1^+(I,\Omega)$가 존재하며 유한하다.
• 양의 고유함수 $\phi^+ \in C(\overline{\Omega}) \cap L^1(\omega_s)$ 가 존재하여 $\Omega$ 내에서 $-I\phi^+ = \lambda_1^+(I,\Omega)\phi^+$ 이고 $\mathbb{R}^n \setminus \Omega$ 에서는 $\phi^+ = 0$ 이다.
• 비국소적 ABP 추정을 통해 고유함수 $\phi^+$ 는 양의 상수배를 제외하고 유일하다.
• 주 고유값 $\lambda_1^+(I,\Omega)$ 는 연산자 $-I$ 의 모든 고유값 중 절대값 기준으로 가장 작다.
• 포물형 문제에 대한 로그적 감쇠 추정은 $\sup_{\Omega} |h(x,t)| = o(e^{-\lambda t})$ 를 만족하며, 이는 주 고유값에 의해 결정되는 지수 감쇠 속도를 나타낸다.
• 정리 7.3은 $\sup_{\Omega \times (0,\infty)} \frac{h(x,t)}{v(x)e^{-\lambda t}} \leq \sup_{\Omega} \frac{h_0^+(x)}{v(x)}$ 를 증명하여 해가 최대 지수 감쇠 속도 $\lambda_1$ 로 감쇠됨을 보여준다.