[논문 리뷰] Almost minimizers for certain fractional variational problems

Seongmin Jeon, Arshak Petrosyan|arXiv (Cornell University)|2019. 05. 28.

Nonlinear Partial Differential Equations참고 문헌 7인용 수 5

한 줄 요약

이 논문은 Caffarelli-Silvestre 확장에 의해 분수 미분 연산자(분수 라플라스 연산자)를 포함하는 분수 변분 문제에 대한 거의 최소화자(Almost minimizers)의 개념을 도입한다. 다양한 매개변수 범위에서, 분수 고정장 문제의 거의 최소화자와 거의 분수 조화 함수는 거의 리프시츠 연속성 또는 $C^{1,\beta}$ 정규성을 가지며, 에너지 편차를 통제하는 비국소적 설정으로 고전적 정규성 이론을 확장한다.

ABSTRACT

In this paper we introduce a notion of almost minimizers for certain variational problems governed by the fractional Laplacian, with the help of the Caffarelli-Silvestre extension. In particular, we study almost fractional harmonic functions and almost minimizers for the fractional obstacle problem with zero obstacle. We show that for a certain range of parameters, almost minimizers are almost Lipschitz or $C^{1,β}$-regular.

연구 동기 및 목표

• 분수 라플라스 연산자에 의해 지배되는 비국소적 변분 문제에서 최소화자의 이론을 '거의 최소화자'로 확장하기.
• 분수 라플라스 연산자와 관련된 가중 딜레클레 에너지에서 거의 최소화하는 함수의 정규성 성질을 연구하기.
• 에너지 편차 통제 조건 하에서 분수 고정장 문제 및 분수 조화 함수의 해에 대해 거의 $C^{1,\beta}$ 및 거의 리프시츠 연속성 정규성을 확립하기.
• 에너지 편차가 통제되는 해를 분석하기 위한 프레임워크를 제공하여 고전 결과를 비국소적 설정으로 일반화하기.

제안 방법

• Caffarelli-Silvestre 확장 설정에서 최소화에서의 에너지 편차를 통제하는 게이지 함수 $\omega(r)$를 통해 거의 $s$-분수 조화 함수를 정의한다.
• Caffarelli-Silvestre 확장을 사용하여 비국소 문제를 $\mathbb{R}^{n+1}_+$에서 가중치 $|y|^a$를 갖는 국소적 열화된 타원형 문제로 변환한다.
• 가중치 소볼레프 공간과 $L_a$-조화 함수 이론을 활용하여 확장의 정규성을 분석한다.
• 가중치 $L_a$-조화 동차 다항식의 직교 분해를 적용하고, 그 성질을 이용해 성장과 정규성을 통제한다.
• 최대원리와 가중치 구면 평균을 사용하여 $L^2$ 경계 데이터로부터 $L^\infty$ 유계성을 도출한다.
• 정규기저인 동차 조화 다항식의 급수 전개를 통해 $L_a$-조화 함수의 해석적 성질을 확립한다.

실험 결과

연구 질문

• RQ1 에너지 편차가 거의 최소화하는 함수가 최소화자와 유사한 정규성을 보일 조건은 무엇인가?
• RQ2 분수 고정장 문제의 최소화자에 대한 정규성 이론을 에너지 편차가 통제되는 함수로 확장할 수 있는가?
• RQ3 게이지 함수 $\omega(r)$가 분수 설정에서 거의 최소화자의 정규성에 미치는 영향은 무엇인가?
• RQ4 에너지 편차 제약 조건 하에서 거의 분수 조화 함수의 정확한 정규성 클래스(예: $C^{1,\beta}$)는 무엇인가?
• RQ5 확장된 공간에서의 $L_a$-조화 함수의 정규성 성질이 원래 분수 해로 어떻게 전파되는가?

주요 결과

• 에너지 편차가 $\omega(r) \to 0$를 만족하는 게이지 함수 $\omega(r)$를 갖는 거의 $s$-분수 조화 함수는 원래 정의도메인에서 거의 리프시츠 연속성을 갖는다.
• 일정 범위의 매개변수에서, 고정장이 0인 분수 고정장 문제의 거의 최소화자는 거의 $C^{1,\beta}$ 정규성을 갖는다.
• Caffarelli-Silvestre 확장은 비국소 문제를 국소적 열화된 타원형 문제로 변환하여 고전적 정규성 기법의 적용을 가능하게 한다.
• 확장된 문제의 해는 도메인 내부에서 해석적이며, 이 해석성은 $\mathbb{R}^n$ 상의 추적으로 전파된다.
• $\mathcal{L}_s(\mathbb{R}^n)$에 속하는 함수의 $L_a$-조화 확장은 $\mathbb{R}^{n+1}_\pm$에서 해석적이며 경계까지 연속적이다.
• 만약 $L_a$-조화 함수의 추적이 $\mathbb{R}^n$에서 0이면, 그 함수 자체는 확장된 공간 전체에서 식별적으로 0이 된다.