[논문 리뷰] Mixed local-nonlocal operators: maximum principles, eigenvalue problems and their applications

Anup Biswas, Mitesh Modasiya|arXiv (Cornell University)|2021. 10. 13.

Spectral Theory in Mathematical Physics인용 수 4

한 줄 요약

이 논문은 라플라스 연산자와 일반적인 비국소 점프 유형 연산자를 조합한 혼합 국소-비국소 타원형 연산자의 일반적인 클래스를 제안하며, 딜리클레 문제에 대한 존재성, 유일성 및 최대원리를 확립한다. 논문은 패브어-크라hn 유형 부등식과 1차원 대칭 결과(지브스의 추측 일반화)를 증명하여, $-\Delta + (-\Delta)^s$ 유형의 연산자에 대한 이전 연구를 보다 광범위한 레비 점프 측도로 확장한다.

ABSTRACT

In this article we consider a class of non-degenerate elliptic operators obtained by superpositioning the Laplacian and a general nonlocal operator. We study the existence-uniqueness results for Dirichlet boundary value problems, maximum principles and generalized eigenvalue problems. As applications to these results, we obtain Faber-Krahn inequality and a one-dimensional symmetry result related to the Gibbons' conjecture. The latter results substantially extend the recent results of Biagi et.\ al. [7,9] who consider the operators of the form $-Δ+ (-Δ)^s$ with $s\in (0, 1)$.

연구 동기 및 목표

• 국소(라플라스) 및 비국소(일반 점프 유형) 성분을 조합한 혼합 순서 타원형 연산자에 대한 일반적인 프레임워크를 개발하는 것.
• 이러한 연산자로 정의된 딜리클레 문제에 대한 점성 해의 존재성과 유일성을 확립하는 것.
• 새로운 연산자 클래스에 대한 최대원리 및 일반화된 고유값 문제를 도출하는 것.
• 패브어-크라hn 부등식과 1차원 대칭 결과(Gibbons의 추측)를 분수 라플라스 연산자 사례를 초월해 일반화하는 것.
• -\Delta + (-\Delta)^s에 대한 이전 결과를 적분 조건을 만족하는 임의의 레비 점프 커널을 갖는 연산자로 일반화하는 것.

제안 방법

• 연산자는 $Lu = \Delta u + \int_{\mathbb{R}^d} (u(x+y) - u(x) - \mathbf{1}_{\{|y|\leq 1\}} y\cdot\nabla u(x)) j(y) \, dy$ 로 정의되며, $j$ 는 $\int (1\wedge |y|^2)j(y)\,dy < \infty$ 를 만족하는 일반적인 점프 커널이다.
• 분석은 레비 과정과의 연결을 기반으로 한다: $X = B + Y$, 여기서 $B$ 는 브라운 운동이고 $Y$ 는 점프 측도 $j(y)\,dy$ 를 갖는 순수 점프 레비 과정이며, 이는 식 (1.1) 형태의 생성자를 갖는다.
• 전반적으로 점성 해를 사용하며, 엄격한 최소 또는 최대값을 갖는 매끄러운 시험 함수와의 비교를 통한 정의를 사용한다.
• 피曼-카트 조건은 해를 $u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$ 로 표현하는 데 사용되며, $\uptau$ 는 영역 외부로 첫 번째로 나가는 시간이다.
• 이동 평면 방법을 적용하여 1차원 대칭 결과를 증명하고, 지브스의 추측을 일반 비국소 연산자로 확장한다.
• 해의 연속성과 수렴성을 증명하기 위해 근사 과정 수열에 대한 사전 추정 및 수렴 추론을 사용한다.

실험 결과

연구 질문

• RQ1 일반 점프 커널을 갖는 혼합 국소-비국소 타원형 연산자에 대해 점성 해의 존재성과 유일성을 확립할 수 있는가?
• RQ2 점프 커널에 대한 온건한 적분 조건 하에서 이 연산자 클래스에 대해 최대원리가 성립하는가?
• RQ3 라플라스 연산자와 일반 비국소 항을 조합한 연산자에 대해 패브어-크라hn 부등식을 일반화할 수 있는가?
• RQ4 1차원 대칭 결과(Gibbons의 추측)는 분수 라플라스 연산자 외의 더 넓은 연산자 클래스에서도 성립하는가?
• RQ5 이러한 혼합 순서 연산자에 대해 주요 고유값과 스펙트럼 성질은 어떻게 행동하는가?

주요 결과

• 논문은 조건 (A1)과 $f$, $g$ 의 정규성 하에서, $Lu = -f$ in $D$, $u = g$ on $D^c$ 의 딜리클레 문제에 대해 점성 해의 존재성과 유일성을 확립한다.
• 피曼-카트 유형의 표현 공식이 유도되었으며, $u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$ 로 표현되며, 이는 레비 과정의 첫 번째 외부 이탈 분포와 해를 연결한다.
• 혼합 연산자에 대해 일반화된 최대원리가 증명되었으며, 이는 비음수 해가 경계에서 최댓값을 갖는다는 것을 보장한다.
• 적절한 조건 하에서 주요 고유값 $\lambda_1$ 이 존재하고 양수이며, 이에 대응하는 양수 고유함수가 존재한다.
• 패브어-크라hn 유형의 부등식이 확립되었으며, 동일한 부피를 갖는 영역들 중에서 첫 번째 고유값이 구에서 최소화됨을 보여준다.
• 1차원 대칭 결과가 증명되었으며, 적절한 조건 하에서 반선형 방정식 $Lu = f(u)$ 의 해는 첫 번째 좌표 방향으로 대칭이며, 이는 지브스의 추측을 일반 비국소 연산자로 일반화한다.