[논문 리뷰] From the free boundary condition for Hele-Shaw to a fractional parabolic equation

Héctor A. Chang‐Lara, Nestor Guillen|arXiv (Cornell University)|2016. 05. 24.

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

한 줄 요약

이 논문은 평탄성 조건 하에서 해의 호도그래프 변환이 비국소 파arabolic 방정식으로 선형화되는 것을 보여줌으로써, 일상 Hele-Shaw 문제의 자유 경계와 분수 포물선 방정식 사이의 연결 고리를 확립한다. 핵심 결과는 평탄한 점 근처에서 공간과 시간에 대해 유일한 $C^{1,\beta}$ 정규성 추정을 증명한 것으로, 비국소 포물선 방정식의 컴팩턴스 및 정규성 이론을 통해 이루어진다.

ABSTRACT

We propose a method to determine the smoothness of sufficiently flat solutions of one phase Hele-Shaw problems. The novelty is the observation that under a flatness assumption the free boundary --represented by the hodograph transform of the solution- solves a nonlinear integro-differential equation. This nonlinear equation is linearized to a (nonlocal) parabolic equation with bounded measurable coefficients, for which regularity estimates are available. This fact is used to prove a regularity result for the free boundary of a weak solution near points where the solution looks sufficiently flat. More concretely, flat means that in a parabolic neighborhood of the point the solution lies between the solutions corresponding to two parallel flat fronts a small distance apart --a condition that only depends on the the local behavior of the solution. In a neighborhood of such a point, the free boundary is given by the graph of a function whose spatial gradient enjoys a universal Hölder estimate in both space and time.

연구 동기 및 목표

• 일상 Hele-Shaw 문제의 자유 경계와 비국소 포물선 방정식 사이의 연결 고리를 확립한다.
• 해가 충분히 평탄한 점 근처에서 자유 경계의 호lder 정규성을 증명한다.
• 자유 경계 조건을 비국소 포물선 방정식으로 선형화하는 방법을 개발한다. 이 방정식은 유계 가측 계수를 가진다.
• 비국소 방정식의 정규성 이론을 적용하여 자유 경계에 대한 $C^{1,\beta}$ 추정을 이끌어낸다.
• 해의 평탄성이 자유 경계의 정규성으로 이어지며, 이는 전반적인 구조에 의존하지 않는다.

제안 방법

• 해의 호도그래프 변환을 사용하여 자유 경계를 그래프로 표현함으로써, 자유 경계 조건을 비선형 적분미분방정식으로 변환한다.
• 평탄성 가정 하에서 비선형 방정식은 시간에 따라 변하는 유계 가측 계수를 가진 분수 라플라스 연산자 $(-\triangle)^{1/2}$ 를 포함하는 포물선 방정식으로 선형화된다.
• 선형화된 방정식이 유계 가측 계수를 가진 비국소 포물선 방정식에 대해 알려진 호lder 정규성 추정을 만족함을 보였다.
• 해가 두 평탄한 프론트 사이에 있을 때, 파arabolic 이웃 영역에서 해에 대해 컴팩턴스와 극한 취득을 적용한다.
• 편미분에 대한 조건부 변환(Kelvin 및 지수형 변환)을 사용하여 호도그래프를 추정하고, $\varepsilon^\alpha N$ 의 소형성에 의해 오차 항을 통제한다.
• 증명은 점근 해 이론과 컴팩턴스에 기반하며, 극한이 분수 열 방정식을 만족함을 추출함으로써 정규성을 유도한다.

실험 결과

연구 질문

• RQ1 Hele-Shaw 문제에서 자유 경계의 정규성은 비국소 포물선 방정식과의 연결 고리로부터 유추될 수 있는가?
• RQ2 해가 어떤 점 근처에서 충분히 평탄할 경우, 자유 경계에 어떤 정규성 성질이 나타나는가?
• RQ3 자유 경계 조건의 선형화가 유계 가측 계수를 가진 비국소 포물선 방정식으로 이어지는 방식은 무엇인가?
• RQ4 해의 기울기의 시간 불규칙성이 자유 경계의 정규성에 미치는 영향은 어느 정도인가?
• RQ5 분수 열 방정식은 평탄한 점 근처에서 자유 경계의 극한을 모델링하는 데 사용될 수 있는가?

주요 결과

• 해가 $\varepsilon \in (0,\varepsilon_0)$ 범위 내에서 두 평탄한 프론트 사이에 있을 경우, 유일한 상수 $\varepsilon_0, \alpha \in (0,1)$ 및 $C > 0$ 가 존재하여 자유 경계는 $C^{1,\alpha}$ 정규성을 가진다.
• 자유 경계의 공간 기울기는 $B_{1/2}^{n-1} \times (-1/2, 0]$ 내에서 공간과 시간에 대해 유일한 호lder 추정을 가지며, $C$ 에 의해 균일하게 유계이다.
• 호도그래프의 선형화된 방정식은 유계 가측 계수를 가진 비국소 포물선 방정식이며, 특히 $(-\Delta)^{1/2}$ 와 $[\lambda, \Lambda]$ 내의 시간에 따라 변하는 계수를 포함한다.
• 선형화의 오차는 $\varepsilon \to 0$ 일 때 소멸하며, 극한 방정식은 분수 열 방정식 $\partial_t \bar{u} + a(-\Delta)^{1/2}\bar{u} = 0$ 이다.
• 자유 경계의 정규성은 해의 평탄성에 의해 결정되며, 전역적 변분적 구조나 매끄러움 가정과는 무관하다.
• 시간 도함수의 기울기가 불규칙하더라도 평탄성 조건이 만족되면 이 방법이 여전히 적용 가능하다.