[논문 리뷰] A priori bounds and existence of solutions for some nonlocal elliptic problems

Begoña Barrios, Leandro M. Del Pezzo외 2명|arXiv (Cornell University)|2015. 06. 13.

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

한 줄 요약

이 논문은 위상수학적 차수 이론을 이용하여 비국소 타원형 미분방정식의 양의 점성 해의 존재성을 증명한다. 이는 비국소 확산 및 기울기 항을 포함하며, 변분 방법이 비변분적 구조로 인해 실패할 수 있는 경우에도 적용 가능하다. 핵심 기여는 초임계 성장과 소규모 외란 조건 하에서도 해의 존재성을 입증한 것이다. 이는 Gidas-Spruck 방법의 스케일링 변형을 통해 사전 경계를 도출한 데 기반한다.

ABSTRACT

In this paper we show existence of solutions for some elliptic problems with nonlocal diffusion by means of nonvariational tools. Our proof is based on the use of topological degree, which requires a priori bounds for the solutions. We obtain the a priori bounds by adapting the classical scaling method of Gidas and Spruck. We also deal with problems involving gradient terms.

연구 동기 및 목표

• 비국소 확산 및 기울기 항을 포함하는 비국소 타원형 문제에 대한 해 존재성을 증명하며, 이 경우 변분 방법이 적용되지 않는다.
• 임계 성장 이하의 비선형성을 갖는 비국소 방정식의 양의 해에 대한 사전 경계를 유도한다.
• 비국소 연산자에 대해 일반적 커널이 타원성 및 정규화 조건을 만족할 때 고전적인 Gidas-Spruck 스케일링 방법을 비국소 연산자에 적응시킨다.
• 소규모 외란과 기울기 의존 항을 포함하는 방정식으로 존재성 결과를 확장한다.
• 경계 정(regularity) 추정이 부족한 상황을 극복하기 위해 스케일링된 영역에서 제어 가능한 바리에이션을 구성한다.

제안 방법

• 해에 대한 사전 경계가 필요하므로, Leray-Schauder 위상수학적 차수를 이용하여 존재성을 증명한다.
• 양의 해에 대한 사전 경계를 도출하기 위해 Gidas-Spruck 스케일링 방법의 비국소 버전을 적용한다.
• 경계 행동을 스케일링 과정에서 제어하기 위해 링형 영역에서 명시적인 바리에이션을 구성한다.
• 무한한 극한에서의 폭발을 제거하기 위해 ℝᴺ에서의 비국소 연산자에 대한 리우빌 유형 정리를 이용한다.
• 규칙성과 정규화를 확보하기 위해 커널 K에 대해 조건을 부과한다: λ ≤ K(x) ≤ Λ 이고 limₓ→₀ K(x) = 1 이다.
• 비교 원리와 강한 최대원리를 이용하여 스케일링 추론 과정에서 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 기울기 항과 임계 성장 이하의 비선형성을 포함하는 비국소 타원형 방정식의 양의 해에 대해 사전 경계를 확립할 수 있는가?
• RQ2 타원성 및 정규화 조건을 만족하는 일반적 커널을 갖는 비국소 연산자에 대해 고전적인 Gidas-Spruck 스케일링 방법이 확장 가능한가?
• RQ3 비변분적 비국소 문제에 대해 위상수학적 차수를 이용하여 해의 존재성을 증명할 수 있는가?
• RQ4 국소 경계 추정이 제공되지 않을 경우 스케일링 방법에서 경계 행동을 어떻게 제어할 수 있는가?
• RQ5 외란 항 h(x,u,∇u)에 대해 어떤 조건이 성장이 임계 이하일 때 해의 존재성을 보장하는가?

주요 결과

• p < (N+2s)/(N−2s) 일 때, 비국소 문제 (1.2)의 모든 양의 해는 사전 경계로 유계이다. 이는 초임계 지수이다.
• p, g, 및 커널 K에 대해 제시된 조건 하에서 문제 (1.2)에 적어도 하나의 양의 점성 해가 존재함을 증명하였다.
• 국소 경계 추정이 없더라도 제어 가능한 바리에이션을 구성함으로써 수정된 Gidas-Spruck 스케일링 추론을 통해 사전 경계를 확립하였다.
• Caffarelli-Silvestre 확장 방식을 피함으로써 스펙트럼 분수 라플라스 연산자에 대한 요구 조건 없이 비국소 연산자를 직접 다룰 수 있었다.
• |h(x,u,∇u)| ≤ C(|u|ʳ + |∇u|ᵗ) 를 만족하고 r < p 및 t < p 이며, 소규모 조건이 만족될 경우 기울기 의존 외란 항을 포함하는 존재성 결과가 성립한다.
• 바리에이션 비교로부터 유도된 계산 가능한 상수 C₀에 대해 λ₁ ≤ C₀ 임을 보여주는 모순 추론에 기반하여 증명이 이루어졌다. 여기서 λ₁ 은 비국소 연산자의 첫 번째 고유값이다.