[논문 리뷰] Obstacle problems for nonlocal operators with singular kernels

Xavier Ros‐Oton, Marvin Weidner|arXiv (Cornell University)|2023. 08. 03.

Nonlinear Partial Differential Equations인용 수 4

한 줄 요약

이 논문은 적분미분 연산자에 의해 지배되는 비국소 장애물 문제에서 해의 최적 $C^{1,s}$ 정규성과 자유경계의 $C^{1,\theta}$ 정규성을 확립한다. 이 연산자는 특이하고 상대적으로 비교 불가능한 커널을 갖는다. 기존의 분수라플라스 연산자 프레임워크를 넘어서 고전 결과를 확장하기 위해, 하르нак 불등식이나 확장 문제를 필요로 하지 않는 새로운 비국소 도구를 개발한다.

ABSTRACT

In this paper we establish optimal regularity estimates and smoothness of free boundaries for nonlocal obstacle problems governed by a very general class of integro-differential operators with possibly singular kernels. More precisely, in contrast to all previous known results, we are able to treat nonlocal operators whose kernels are not necessarily pointwise comparable to the one of the fractional Laplacian. Such operators might be very anisotropic in the sense that they "do not see" certain directions at all, or might have substantial oscillatory behavior, causing the nonlocal Harnack inequality to fail.

연구 동기 및 목표

• 비국소 장애물 문제의 정규성 이론을 분수라플라스 연산자 외부로 확장함으로써, 커널이 분수라플라스 연산자의 커널과 점별 비교가 불가능한 경우를 다루는 것.
• 표준 하르нак 불등식을 위반하는 특이하고 비대칭적이거나 진동하는 커널을 갖는 비국소 연산자에 대한 정규성 결과의 부족을 해결하는 것.
• 점별 비교 조건 $K_{\text{asymp}}$가 성립하지 않는 상황에서도 해의 최적 $C^{1,s}$ 정규성과 자유경계의 $C^{1,\theta}$ 정규성을 확립하는 것.
• 확장 문제나 단조성 공식에 의존하지 않는 새로운 분석 도구를 개발하여 일반적인 안정 연산자에 적용 가능하게 하는 것.
• 특정 방향에서 소멸하거나 구 $\mathbb{S}^{n-1}$ 상에서 $L^p$-특이성을 갖는 커널을 가진 비국소 연산자에 대해 자유경계의 정규성을 해결하는 것.

제안 방법

• 동차 커널 $K(y) = |y|^{-n-2s}K(y/|y|)$를 갖는 안정적인 적분미분 연산자 $L$에 대해 장애물 문제 $\min\{Lu, u - \phi\} = 0$ 의 해의 정규성을 분석하기 위한 새로운 방법을 제안한다.
• 커널의 구조와 장애물의 미세성에 기반한 블로업 및 컴팩턴스 추론을 통해 사전 $C^{1,s}$ 정규성 추정을 확립한다.
• 자유경계 근처에서 기울기 비율 $\partial_i u / \partial_n u$ 의 행동을 제어하기 위해 니레버그–칼데론 유형의 비국소 근사법을 사용한다.
• 레벨집합의 법선 벡터의 진동을 제어하는 새로운 비국소 감쇠 추정식 $[\partial_i u - K \partial_n u](x)$ 를 적용한다.
• 기울기 추정과 비국소 경계 하르нак 원리의 비슷한 형태를 조합하여 법선 벡터의 호일더 연속성을 도출함으로써 $C^{1,\theta}$ 자유경계 정규성을 유도한다.
• 스케일링 추론과 컴팩턴스에 기반하여 해가 $(x \cdot e)_+^{1+s}$ 형태의 동차 블로업 극한으로 수렴함을 보여, 이러한 점들에서 자유경계의 정규성이 확인됨을 증명한다.

실험 결과

연구 질문

• RQ1 커널 $K$ 가 분수라플라스 연산자 커널과 점별 비교가 불가능한 경우, 비국소 장애물 문제의 해에 대해 최적의 $C^{1,s}$ 정규성을 확립할 수 있는가?
• RQ2 비국소 연산자 $L$ 이 비대칭적이거나 $\mathbb{S}^{n-1}$ 상에 특이성을 갖는 경우, 자유경계 $\partial\{u > \phi\}$ 는 어떤 정규성을 갖는가?
• RQ3 확장 문제나 단조성 공식에 의존하지 않고도 자유경계의 $C^{1,\theta}$ 정규성을 증명할 수 있는가?
• RQ4 비국소 하르нак 불등식이 성립하지 않는 상황에서 레벨집합의 법선 벡터의 진동을 어떻게 제어할 수 있는가?
• RQ5 특정 방향에서 소멸하거나 구 상에서 $L^p$-특이성을 갖는 커널을 가진 연산자로 정규성 이론을 확장할 수 있는가?

주요 결과

• 논문은 커널 $K$ 가 점별 비교 조건 $K_{\asymp}$ 를 위반하더라도, 장애물 문제 $\min\{Lu, u - \phi\} = 0$ 의 해 $u$ 에 대해 최적의 $C^{1,s}$ 정규성을 확립한다.
• 동일한 일반적인 커널 가정 하에 자유경계 $\partial\{u > \phi\}$ 는 정규점 근처에서 $C^{1,\theta}$ 정규성을 갖는다.
• 작도된 비국소 감쇠 추정식을 통해 레벨집합의 법선 벡터의 호일더 반경을 제어하는 새로운 비국소 기울기 비율 $\partial_i u / \partial_n u$ 의 추정식을 유도한다.
• 확장 문제나 단조성 공식을 회피함으로써, $\mathbb{S}^{n-1}$ 의 부분집합에서 소멸하거나 특이성을 갖는 커널을 가진 연산자의 분석이 가능해진다.
• 이 결과는 이전에 정규성 이론의 범위를 벗어났던 연산자들인 $L_1$ (이중콘의 지지), $L_2$ ($L^p$-특이 커널을 갖는), $L_3$ (비대칭 분수라플라스) 등에 적용 가능하다.
• 증명은 새로운 컴팩턴스 추론과 스케일링에 기반하며, 해의 블로업 극한이 $(x \cdot e)_+^{1+s}$ 형태의 동차 해로 수렴함을 보여, 정규점에서 기대되는 점근적 행동이 확인됨을 증명한다.