[논문 리뷰] Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

Steve Hofmann, José María Martell외 3명|arXiv (Cornell University)|2020. 08. 11.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 타원형 측도가 $A_∞$ 반경에 있고 아르프스 정규 경계를 가진 도메인의 균일한 직선성(uniform rectifiability)을 입증한다. 타원형 계수의 타원성 상수와 계수의 진동이 소멸하는 조건 하에서, 외부 코르스크로우 조건의 실패는 모순을 초래함을 보이며, 이는 균일한 타원성 상수와 계수의 진동이 소멸하는 조건 하에서 성립한다. 콤팩트성 추론과 극한 분석을 통해, 극한 도메인이 외부 코르스크로우 조건을 만족해야 하며, 이는 가정과 모순됨을 보여, 주어진 조건 하에서 균일한 직선성이 성립함을 증명한다.

ABSTRACT

The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

연구 동기 및 목표

• 균일한 타원성 상수와 $A_\infty$ 타원형 측도 조건 하에서 아르프스 정규 경계를 가진 도메인의 균일한 직선성을 확립하는 것.
• 소멸하는 계수 진동과 $A_\infty$ 타원형 측도 조건이 균일한 직선성을 유도하는지 여부라는 열린 문제를 해결하는 것.
• 주어진 균일한 유계 조건 하에서 외부 코르스크로우 조건의 실패가 모순을 초래함을 입증하는 것.
• 콤팩트성과 블로우업 기법을 통해 상수 계수 연산자에 대한 기존 결과를 변수 계수 설정으로 확장하는 것.
• 이러한 연산자들의 수열로부터 유도되는 극한 도메인이 반드시 외부 코르스크로우 조건을 만족함을 보여, 초깃값 가정과 모순됨을 밝히는 것.

제안 방법

• 외부 코르스크로우 조건을 위반하는 도메인 수열이 존재한다고 가정하며, 타원성 상수, 아르프스 정규성, $A_\infty$ 타원형 측도에 대해 균일한 유계 조건을 만족함.
• 콤팩트성 추론을 적용하여 수렴하는 부분수열과 극한 상수 계수 타원형 연산자 수렴을 도출함.
• 타원형 측도가 $A_\infty$ 이고 균일한 타원성이 성립하면, 극한 문제에 대해 균일한 코르스크로우 상수 $N_0$ 가 존재함을 이용함.
• 극한 도메인과 연산자에 대해 정리 \ref{thm:hmu} 를 적용하여, 극한 도메인이 외부 코르스크로우 조건을 만족함을 유도함.
• 극한에서 코르스크로우 조건이 성립함을 보여, 이는 원래 수열의 모든 원소에서 실패한 가정과 모순됨을 유도함.
• 모든 상수 $M$, $C_1$, $C_{AR}$, $\Lambda/\lambda$, $C_0$, $\theta$ 의 균일한 제어를 통해 균일한 $N_0$ 가 존재함을 보장함.

실험 결과

연구 질문

• RQ1 균일한 타원성 상수, 아르프스 정규성, $A_\infty$ 타원형 측도 조건 하에서 외부 코르스크로우 조건의 실패가 유지되는가?
• RQ2 소멸하는 계수 진동과 $A_\infty$ 타원형 측도 조건을 만족하는 도메인 수열이 외부 코르스크로우 조건을 위반할 수 있는가?
• RQ3 이러한 수열의 극한 도메인이 반드시 균일한 직선성을 가진다 할 수 있는가?
• RQ4 $A_\infty$ 타원형 측도 성질과 균일한 타원성은 극한에서 외부 코르스크로우 조건을 유도하는가?
• RQ5 주어진 조건 하에서 콤팩트성 추론을 통해 균일한 직선성을 증명할 수 있는가?

주요 결과

• 균일한 타원성 상수, 아르프스 정규성, $A_\infty$ 타원형 측도 조건을 만족하면서 외부 코르스크로우 조건을 위반하는 도메인 수열의 존재는 모순을 유도함.
• 콤팩트성 추론을 통해 유도된 극한 도메인은 $M$, $C_1$, $C_{AR}$, $\Lambda/\lambda$, $C_0$, $\theta$ 에 의존하는 균일한 상수 $N_0$ 를 가진 외부 코르스크로우 조건을 만족함.
• 상수 $N_0$ 는 특정 행렬 $\mathcal{A}_0$ 에 의존하지 않고 비율 $\Lambda/\lambda$ 에만 의존하므로, 극한에서의 강건성 보장됨.
• 수열의 블로우업 극한은 관련 타원형 측도가 $A_\infty$ 인 상수 계수 타원형 연산자로 수렴함.
• 모순은 극한 도메인이 코르스크로우 조건을 만족하는 반면, 원래 수열의 어떤 원소도 만족하지 않기 때문에 발생함.
• 결과적으로 주어진 조건 하에서 도메인이 반드시 균일한 직선성을 가져야 하며, 코르스크로우 조건의 실패는 불가능함을 확인함.