[논문 리뷰] The Variable Coefficient Thin Obstacle Problem: Higher Regularity

Herbert Koch, Angkana Rüland외 1명|arXiv (Cornell University)|2016. 05. 06.

Geometric Analysis and Curvature Flows인용 수 8

한 줄 요약

이 논문은 부분 히오그라프-레지온드르 변환과 은함수정리의 응용을 통해 변수 계수 박막 고장 문제에서 자유경계의 더 높은 정규성을 확립한다. 자유경계는 계수 정규성에 비해 하올더 정규성에서 최대 3/2 개의 도함수를 획득하며, 해석적 계수를 가질 경우 해석적이며, $W^{1,p}$ 설정에서 $p>n+1$인 표준적인 경우를 초월한 정규성 이론을 확장한다. 분석은 바우엔디-그루신 연산자와 관련된 일반화된 하올더 공간과 내재 기하학에 기반한다.

ABSTRACT

In this article we continue our investigation of the thin obstacle problem with variable coefficients which was initiated in \cite{KRS14}, \cite{KRSI}. Using a partial Hodograph-Legendre transform and the implicit function theorem, we prove higher order Hölder regularity for the regular free boundary, if the associated coefficients are of the corresponding regularity. For the zero obstacle this yields an improvement of a \emph{full derivative} for the free boundary regularity compared to the regularity of the metric. In the presence of non-zero obstacles or inhomogeneities, we gain \emph{three halves of a derivative} for the free boundary regularity with respect to the regularity of the inhomogeneity. Further we show analyticity of the regular free boundary for analytic metrics. We also discuss the low regularity set-up of $W^{1,p}$ metrics with $p>n+1$ with and without ($L^p$) inhomogeneities. Key new ingredients in our analysis are the introduction of generalized Hölder spaces, which allow to interpret the transformed fully nonlinear, degenerate (sub)elliptic equation as a perturbation of the Baouendi-Grushin operator, various uses of intrinsic geometries associated with appropriate operators, the application of the implicit function theorem to deduce (higher) regularity and the splitting technique from \cite{KRSI}.

연구 동기 및 목표

• 변수 계수를 가진 박막 고장 문제에서 정규 자유경계에 대해 고차 정규성을 확립하기.
• 계수 텐서장 $a^{ij}$의 정규성에 비해 자유경계의 정규성 향상 정도를 정량화하기.
• 비영인 장애물 및 비동차항이 존재하는 경우에 정규성 결과를 확장하고, 해석적 계수를 가질 경우 자유경계의 해석성을 분석하기.
• 저정규성 설정에서 $W^{1,p}$ 계수를 가진 경우 $p>n+1$로 확장하며, $L^p$ 비동차항이 존재하는 경우를 포함하기.
• 바우엔디-그루신 연산자와 관련된 일반화된 하올더 공간과 내재 기하학을 개발하고 적용하여 기울어진 쌍곡선 방정식을 다루기.

제안 방법

• 완전 비선형이면서 기울어진 (쌍곡선) 미분방정식을 바우엔디-그루신 연산자의 변형으로 변환하기 위해 부분 히오그라프-레지온드르 변환을 적용하기.
• 바우엔디-그루신 연산자의 내재 기하학에 적합한 일반화된 하올더 공간을 도입하여 변환된 해의 정규성을 제어하기.
• 적절한 함수 공간 프레임워크에서 은함수정리를 적용하여 계수 필드의 정규성으로부터 자유경계의 고차 정규성을 유도하기.
• KRS15b에서 제안한 분할 기법을 활용하여 자유경계 분석을 정규 및 특이 부분으로 분리하기.
• 일반화된 하올더 공간에서 바우엔디-그루신 라플라스 연산자의 핵심 추정 및 사상 성질을 확립하여 선형화된 문제를 제어하기.
• 서브리만 기하학적 설정에서 쌍대성과 소볼레프 포함을 적용하여 선형화된 방정식의 해에 대한 $L^p$ 및 하올더 추정을 유도하기.

실험 결과

연구 질문

• RQ1 변수 계수 박막 고장 문제에서 자유경계는 계수 정규성에 비해 얼마나 많은 정규성 향상을 달성하는가?
• RQ2 계수 텐서장이 해석적일 경우 자유경계가 해석적임을 입증할 수 있는가?
• RQ3 비영인 장애물 또는 비동차항이 존재할 경우 자유경계의 정규성은 어떻게 되며, 비동차항의 정규성과 비교해보면 어떠한가?
• RQ4 저정규성 설정에서 $W^{1,p}$ 계수를 가진 경우 $p>n+1$로 분석을 어떻게 확장할 수 있는가?
• RQ5 완전 비선형이면서 기울어진 설정에서 은함수정리를 적용하여 자유경계의 정규성을 유도할 수 있는가?

주요 결과

• 영 장애물 경우, 정규 자유경계는 계수 정규성에 비해 하올더 정규성에서 한 개의 전체 도함수를 획득한다.
• 비영인 장애물 또는 비동차항이 존재할 경우, 자유경계는 비동차항의 정규성에 비해 하올더 정규성에서 $\frac{3}{2}$ 개의 도함수를 획득한다.
• 계수 텐서장 $a^{ij}$가 해석적일 경우 정규 자유경계는 해석적이다.
• 이 방법은 $W^{1,p}$ 계수를 가진 저정규성 설정에서 $p>n+1$로 확장 가능하며, 적절한 조건 하에서 자유경계의 하올더 정규성을 도출한다.
• 일반화된 하올더 공간과 바우엔디-그루신 연산자와 관련된 내재 기하학은 변환된 방정식을 알려진 기울어진 쌍곡선 연산자의 변형으로 간주할 수 있도록 한다.
• 일반화된 하올더 설정에서 바우엔디-그루신 라플라스 연산자의 핵심 추정이 확립되었으며, 이는 은함수정리를 위한 $L^p$ 및 하올더 사상 성질을 뒷받침한다.