[논문 리뷰] $C^\infty$ partial regularity of the singular set in the obstacle problem

Federico Franceschini, Wiktoria Zatoń|arXiv (Cornell University)|2021. 02. 01.

Geometry and complex manifolds인용 수 2

한 줄 요약

이 논문은 고전적 장애물 문제에서 특이점 집합의 $C^\infty$ 국소 정칙성을 확립하며, 특이점 집합 $\Sigma$ 가 하우스도르프 차원이 $n-2$ 이하인 집합을 제외하고는 $C^\infty$ 초곡면에 국소적으로 포함됨을 보여준다. 정칙 특이점 집합의 점들에서 해는 임의로 높은 차수의 다항식 전개를 가지며, 결과는 평면 헤일-쇼우 유동으로까지 확장되어 자유 경계에 특이점이 존재할 수 있는 시간은 최대 가чёт수임을 증명한다.

ABSTRACT

We show that the singular set $\Sigma$ in the classical obstacle problem can be locally covered by a $C^\infty$ hypersurface, up to an "exceptional" set $E$, which has Hausdorff dimension at most $n-2$ (countable, in the $n=2$ case). Outside this exceptional set, the solution admits a polynomial expansion of arbitrarily large order. We also prove that $\Sigma\setminus E$ is extremely unstable with respect to monotone perturbations of the boundary datum. We apply this result to the planar Hele-Shaw flow, showing that the free boundary can have singular points for at most countable many times.

연구 동기 및 목표

• 장애물 문제에서 특이점 집합 $\Sigma$ 의 $C^1$ 또는 $C^{1,1}$ 정칙성 이상의 $C^\infty$ 정칙성을 확립하기.
• 특이점 집합이 하우스도르프 차원이 $n-2$ 이하인 집합을 제외하고는 국소적으로 $C^\infty$ 초곡면에 포함됨을 보여주기.
• 개선된 특이점 집합 $\Sigma^\infty$ 의 점들에서 해가 임의로 높은 차수의 다항식 전개를 가짐을 증명하기.
• 경계 데이터의 단조 증가 변형에 대한 특이점 집합의 불안정성 분석하기.
• 결과를 평면 헤일-쇼우 유동에 적용하여 자유 경계에 특이점이 존재할 수 있는 시간이 최대 가чёт수임을 보여주기.

제안 방법

• 특이점 근처의 해를 모델링하기 위해 다항식 추측 $P_k(x; p_2, \dots, p_k)$ 를 사용하며, $\Delta P_k = f(x) + O(|\cdot|^k)$ 를 만족시킴.
• Figalli, Ros-Oton, Serra [6] 의 방법을 응용하여 정칙성의 차수를 5 이상으로 확장하고, $C^\infty$ 정칙성에 대한 통합 프레임워크를 도입함.
• 암시함수정리와 윌리엄슨 확장정리를 적용하여 $\Sigma^\infty$ 상에서 $x \mapsto (P_k,x)_{k \in \mathbb{N}}$ 의 잔여지도의 스무스성 확보하기.
• 비상수 $f$ 를 다루기 위해 비교원리와 장벽 구성법을 수정하여 라플라스 추정 $\Delta v = -f\chi_{\{u=0\}} + O(r^k)$ 를 처리함.
• 해와 그 도함수의 증분에 대한 호일더 및 $L^p$ 추정을 사용하여 나머지 항들을 제어함.
• 전개 오차가 $\|f\|_{C^{k+1}}$, $\mu = \inf f$, 차원 $n$ 에 따라 어떻게 의존하는지 분석하여 균일한 제어 확보하기.

실험 결과

연구 질문

• RQ1 장애물 문제에서 특이점 집합이 하우스도르프 차원 $n-2$ 이하인 집합을 제외하고는 국소적으로 $C^\infty$ 초곡면에 포함될 수 있는가?
• RQ2 개선된 특이점 집합 $\Sigma^\infty$ 의 점들에서 해가 임의로 높은 차수의 다항식 전개를 가지는가?
• RQ3 경계 데이터의 단조 증가 변형에 대해 특이점 집합은 어떻게 행동하는가? 시간과 공간 사영에서의 차원은 어떻게 되는가?
• RQ4 $C^\infty$ 정칙성에 대한 결과를 평면 헤일-쇼우 유동에 적용하여 자유 경계에 특이점이 존재하는 시간의 집합을 제어할 수 있는가?
• RQ5 만일 $f$ 가 해석적이지 않지만 스무스하다면 특이점 집합의 정확한 구조는 어떠한가? 해석적 경우와의 차이는 무엇인가?

주요 결과

• 특이점 집합 $\Sigma$ 는 하우스도르프 차원이 $n-2$ 이하인 집합 $\Sigma \setminus \Sigma^\infty$ 를 제외하고는 국소적으로 $C^\infty$ 초곡면에 포함된다. 차원 $n=2$ 에서는 이 집합이 가чёт수이다.
• 모든 점 $x \in \Sigma^\infty$ 에서 해 $u$ 는 임의의 고차수 다항식 전개를 가지며, $u(x+h) = P_{k,x}(h) + O(|h|^{k+1})$ 를 모든 $k \in \mathbb{N}$ 에 대해 만족한다. 여기서 $\Delta P_{k+2,x} = f_k(x)$ 는 $x$ 에서 $f$ 의 $k$-번째 테일러 다항식이다.
• $x \mapsto (P_{k,x})_{k \in \mathbb{N}}$ 는 $\Sigma^\infty$ 상에서 윌리엄슨의 의미에서 스무스하므로 특이점 집합의 $C^\infty$ 구조를 보장한다.
• $\Sigma^\infty$ 는 매우 불안정하다: 경계 데이터의 단조 증가 변형에 대해 $\pi_t(\Sigma^\infty)$ 는 임의의 차원 $n \geq 2$ 에서 하우스도르프 차원 0을 가진다.
• 평면의 경우($n=2$)에 $\pi_t(\Sigma)$ 는 하우스도르프 차원 0을 가지며, 이는 헤일-쇼우 유동에서 자유 경계에 특이점이 존재할 수 있는 시간이 최대 가чёт수임을 의미한다.
• 이 방법은 [6] 의 $C^5-\varepsilon$ 정칙성 결과를 통합된 추측과 라플라스 및 기울기 추정에서의 정밀한 오차 제어를 통해 전체 $C^\infty$ 정칙성으로 확장한다.