[논문 리뷰] Direct epiperimetric inequalities for the thin obstacle problem and applications

Maria Colombo, Luca Spolaor외 1명|arXiv (Cornell University)|2017. 09. 10.

Advanced Mathematical Modeling in Engineering참고 문헌 25인용 수 33

한 줄 요약

이 논문은 두 번째 주파수 $\frac{3}{2}$ 와 $2m$ ($m \in \mathbb{N}$)에서 투명한 고장 문제에 대해, 균일한 함수에 대한 사전 가까움을 요구하지 않고 직접적인 에피피에리메트릭 부등식을 수립한다. 모든 특이점에서 로그형 에피피에리메트릭 부등식을 증명함으로써, 자유 경계의 정규성에 대한 새로운 자가 일관된 증명을 가능하게 하고, 특이 집합 $\mathcal{S}^{2m}$ 가 로그형 연속성 모듈러스를 가지며, 이는 $C^1$ 정규성보다 향상된 결과이다.

ABSTRACT

For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\\frac32$ and $2m$, for $m\\in \\mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension $2$, we also prove the epiperimetric inequality at any free boundary point. As a first application, we improve the set of admissible frequencies for blow ups, previously known to be $\\lambda \\in \\{\\frac32\\} \\cup [2,\\infty)$, and we classify the global $\\lambda$-homogeneous minimizers, with $\\lambda\\in [\\frac32,2+c]\\cup\\bigcup_{m\\in \\mathbb N}(2m-c_m^-,2m+c_m^+)$, showing as a consequence that the frequencies $\\frac32$ and $2m$ are isolated. Secondly, we give a short and self-contained proof of the regularity of the free boundary previously obtained by Athanasopoulos-Caffarelli-Salsa (Amer. J. Math., 130(2) (2008), 485-498) for regular points and Garofalo-Petrosyan (Invent. Math., 177(2) (2009), 415-461) for singular points, by means of an epiperimetric inequality of logarithmic type which applies for the first time also at all singular points of thin-obstacle free boundaries. In particular we improve the $C^1$ regularity of the singular set with frequency $2m$ by an explicit logarithmic modulus of continuity.

연구 동기 및 목표

• 주파수 $\frac{3}{2}$ 와 $2m$에서 투명한 고장 문제에 대해, 균일한 함수에 대한 사전 가까움을 가정하지 않고 직접적인 에피피에리메트릭 부등식을 수립한다.
• 자유 경계의 모든 특이점에서 균일하게 적용 가능한 로그형 에피피에리메트릭 부등식을 증명한다.
• 자유 경계의 정규성에 대한 자가 일관된 증명을 제공하며, 특이 집합 $\mathcal{S}^{2m}$ 의 향상된 정규성도 포함한다.
• 모든 $\lambda$-균일 최소화자에 대해 $\lambda \in \left[\frac{3}{2}, 2+c\right] \cup \bigcup_{m \in \mathbb{N}} (2m - c_m^-, 2m + c_m^+)$ 를 만족하는 경우를 분류하고, $\frac{3}{2}$ 와 $2m$ 가 고립 주파수임을 보인다.
• 특이 집합 $\mathcal{S}^{2m}$ 의 정규성을 $C^1$ 에서 명시적인 로그형 연속성 모듈러스를 가진 $C^{1,\log}$ 로 향상시킨다.

제안 방법

• 블로우업 수렴에 의존하지 않고, Weiss 및 Monneau 유형의 단조성 공식을 분석함으로써 직접적인 에피피에리메트릭 부등식을 증명하는 방법을 도입한다.
• Weiss 주파수 함수 $N^{x_0}(r,u)$ 와 그 극한 $N^{x_0}(0,u)$ 를 사용하여 자유 경계 점을 주파수에 따라 분류한다.
• 새로운 스케일링 방법과 구면 평균에 대한 $L^1$-유형 추정을 통해 $2m$-균일 함수에 대한 로그형 에피피에리메트릭 부등식을 수립한다.
• 블로우업 극한 $p_x$ 를 유효한 $C^{2m,\log}$ 함수 $F$ 로 확장하기 위해 Whitney 확장 정리를 적용하며, 특이점에서 도함수의 비퇴화성을 활용한다.
• $F$ 의 등치수준 집합에 대해 은폐 함수 정리(implicit function theorem)를 적용하여, 각 $x \in \mathcal{S}^{2m}$ 근처에서 $\mathcal{S}^{2m}_k \cap B_r(x)$ 가 $k$-차원의 $C^{1,\log}$ 부분다양체에 포함됨을 보인다.
• 로그형 감쇠를 이용한 $|x_1 - x_2|$ 에 대한 추정을 통해 $\|p_{x_1} - p_{x_2}\|_{L^\infty}$ 와 $|\lambda_{x_1} - \lambda_{x_2}|$ 의 정량적 추정을 도출하고, 이는 특이 집합의 $C^{1,\log}$ 정규성으로 이어진다.

실험 결과

연구 질문

• RQ1 투명한 고장 문제에 대해 주파수 $\frac{3}{2}$ 와 $2m$ 에서 균일한 함수에 대한 사전 가까움을 가정하지 않고도 에피피에리메트릭 부등식을 직접적으로 증명할 수 있는가?
• RQ2 자유 경계의 모든 특이점, 특히 주파수 $2m$ 를 가진 점들에서 균일하게 적용 가능한 로그형 에피피에리메트릭 부등식이 존재하는가?
• RQ3 자유 경계의 정규성은 직접적인 에피피에리메트릭 방법을 통해 재증명 가능하며, 이에 따라 특이 집합 $\mathcal{S}^{2m}$ 의 정규성도 향상되는가?
• RQ4 모든 $\lambda$-균일 최소화자에 대해 허용 가능한 주파수 $\lambda$ 는 무엇이며, $\frac{3}{2}$ 와 $2m$ 는 고립 주파수인가?
• RQ5 특이 집합 $\mathcal{S}^{2m}$ 의 최적 연속성 모듈러스는 무엇이며, 이는 $C^1$ 을 초월하여 향상될 수 있는가?

주요 결과

• 논문은 주파수 $\frac{3}{2}$ 에서 투명한 고장 문제에 대해, 균일한 함수에 대한 사전 가까움 없이도 직접적인 에피피에리메트릭 부등식을 증명한다.
• 모든 주파수 $2m$, $m \in \mathbb{N}$ 에 대해, 자유 경계의 모든 점(특이점 포함)에서 유효한 로그형 에피피에리메트릭 부등식이 수립된다.
• 블로우업에 대한 허용 가능한 주파수 집합이 $\lambda \in \left[\frac{3}{2}, 2+c\right] \cup \bigcup_{m \in \mathbb{N}} (2m - c_m^-, 2m + c_m^+)$ 로 향상되었으며, $\frac{3}{2}$ 와 $2m$ 가 고립 주파수임이 입증된다.
• 특이 집합 $\mathcal{S}^{2m}$ 는 국소적으로 $k$-차원의 $C^{1,\log}$ 부분다양체에 포함되며, 이는 기존의 $C^1$ 정규성보다 향상된 결과이다.
• 블로우업 극한 $p_x$ 는 로그형 연속성 모듈러스를 가지며, $x_1, x_2 \in \mathcal{S}^{2m} \cap K \Subset B_1$ 에 대해 $\|p_{x_1} - p_{x_2}\|_{L^\infty} \leq C (-\log|x_1 - x_2|)^{-\frac{1 - \gamma}{\gamma}}$ 를 만족한다.
• 자유 경계 정규성의 증명은 새로운 로그형 에피피에리메트릭 부등식에만 의존하며, 자가 일관된 것으로서 정규점과 특이점을 통합적으로 다룬다.