[논문 리뷰] Higher Regularity for the fractional thin obstacle problem

Herbert Koch, Angkana Rüland외 1명|ArXiv.org|2016. 05. 21.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 10

한 줄 요약

이 논문은 분수 차원의 얇은 장벽 문제에서 정규 자유 경계의 고차 정규성을 확립하기 위해 히오그래프-레지온드르 변환을 도입하여 문제를 완전히 비선형적이고 탈중력성인 하위타원형 PDE로 변환한다. 내재 기하학과 적응된 함수 공간을 사용하여, 매끄럽거나 해석적 장벽의 경우, 자유 경계는 각각 매끄럽거나 해석적임을 증명한다. 이는 분수 바우엔디-그루신 라플라시안의 변형에 대해 해석적 은직함수정리가 적용된 결과이다.

ABSTRACT

In this article we investigate the higher regularity properties of the regular free boundary in the fractional thin obstacle problem. Relying on a Hodograph-Legendre transform, we show that for smooth or analytic obstacles the regular free boundary is smooth or analytic, respectively. This leads to the analysis of a fully nonlinear, degenerate (sub)elliptic operator which we identify as a (fully nonlinear) perturbation of the fractional Baouendi-Grushin Laplacian. Using its intrinsic geometry and adapted function spaces, we invoke the analytic implicit function theorem to deduce analyticity of the regular free boundary.

연구 동기 및 목표

• 분수 차원의 얇은 장벽 문제에서 정규 자유 경계의 고차 정규성을 확립한다.
• 장애물이 매끄럽거나 해석적일 경우 자유 경계의 구조를 분석한다.
• 문제를 완전히 비선형적이고 탈중력성인 하위타원형 PDE로 감소시키기 위한 비선형 변환 방법을 개발한다.
• 적응된 함수 공간과 해석적 은직함수정리를 사용하여 자유 경계가 장애물의 정규성과 동일한 정규성을 갖는다는 것을 증명한다.

제안 방법

• 원래의 장벽 문제를 완전히 비선형적이고 탈중력성인 하위타원형 PDE로 변환하기 위해 히오그래프-레지온드르 변환을 적용한다.
• 변환된 연산자를 분수 바우엔디-그루신 라플라시안의 변형으로 식별한다.
• 탈중력 연산자의 내재 기하학을 반영하는 가중치 함수 공간 $X_{\alpha,\epsilon}$ 와 $Y_{\alpha,\epsilon}$ 를 구성한다.
• 이 함수 공간에서 선형화된 연산자에 대한 샤펜더 유형 사전 추정과 가역성을 확립한다.
• 비선형 함수가 해석적 은직함수정리의 조건을 만족함을 증명한다.
• 해석적 은직함수정리를 적용하여 장애물이 해석적일 경우 자유 경계가 해석적임을 유도한다.

실험 결과

연구 질문

• RQ1 분수 차원의 얇은 장벽 문제에서 정규 자유 경계가 장애물의 정규성을 언제 유추하는가?
• RQ2 장애물이 해석적일 경우, 기저 연산자의 탈중력성에도 불구하고 자유 경계가 해석적임을 어떻게 증명할 수 있는가?
• RQ3 히오그래프-레지온드르 변환을 사용하여 정규성 문제를 더 나은 구조를 가진 비선형 PDE로 감소시킬 수 있는가?
• RQ4 자유 경계 근처의 특이 행동을 제어하고 은직함수정리의 적용을 가능하게 하기 위해 어떤 함수 공간이 필요한가?
• RQ5 분수 바우엔디-그루신 연산자의 내재 기하학은 해의 정규성에 어느 정도 영향을 미치는가?

주요 결과

• 장애물이 $C^{\infty}$ 일 경우 정규 자유 경계는 매끄럽고, 장애물이 해석적일 경우 자유 경계는 해석적이다.
• 히오그래프-레지온드르 변환은 문제를 분수 바우엔디-그루신 라플라시안의 변형인 완전히 비선형적이고 탈중력성인 하위타원형 PDE로 감소시킨다.
• 저자들은 탈중력 연산자의 내재 기하학에 적응된 함수 공간 $X_{\alpha,\epsilon}$ 와 $Y_{\alpha,\epsilon}$ 를 구성하였으며, 이는 바나흐 공간 성질을 만족한다.
• 이들 공간에서 선형화된 연산자에 대한 사전 샤펜더 추정이 확립되어 해의 유계성과 정규성을 보장한다.
• 선형화된 연산자가 함수 공간 $X_{\alpha,\epsilon}$ 와 $Y_{\alpha,\epsilon}$ 사이에서 가역임을 보여, 은직함수정리의 적용이 가능하다.
• 해석적 은직함수정리를 적용하여, 비균일성과 장애물에 대한 적절한 정규성 가정 하에 장애물이 해석적일 경우 자유 경계가 해석적임을 유도한다.