[논문 리뷰] Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case

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

Advanced Harmonic Analysis Research참고 문헌 34인용 수 7

한 줄 요약

이 논문은 계수 진동에 대해 Carleson 측도 조건을 만족하는 분산형 타원형 연산자에 대해 경계의 균일한 직선성과 표면 측도에 대한 타원 측도의 절대 연속성 사이의 동치성을 확립하며, 저자들이 이전에 작은 상수의 경우에 시작한 프로그램을 완성한다. 새로운 외삽 기법과 도메인과 그의 sawtooth 부분도메인 간의 전달 메커니즘을 사용하여, 일반적인 '큰 상수' 경우에 이 결과를 증명하며, 타원형 PDE와 기하 측도 이론 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], 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. The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the "large constant case". The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

연구 동기 및 목표

• 분산형 타원형 연산자에 대해 계수 진동에 대한 Carleson 조건을 만족할 때, 경계의 균일한 직선성과 타원 측도의 A∞ 성질 사이의 완전한 동치성을 해결하는 것.
• [HMMTZ]에서의 이전 작은 상수 결과를 일반적인 큰 상수 경우로 확장하는 것.
• 타원 측도와 표면 측도 간의 상호 절대 연속성을 보장하는 계수 행렬 진동에 대한 날카운 최적 조건을 설정하는 것.
• 도메인과 그의 sawtooth 부분도메인 간에 타원 측도의 양적 절대 연속성을 전달하는 일반적인 메커니즘을 개발하는 것.
• 타원형 PDE의 Lp 데이터 맥락에서 Wiener 기준의 양적 동반자(analogue)를 제공하는 것.

제안 방법

• 스케일 불변인 작은 상수 추정을 큰 상수 결과로 자가 개선하는 강력한 외삽 기법을 사용하는 것.
• 도메인에서 sawtooth 부분도메인으로 타원 측도의 A∞ 성질을 전파할 수 있는 새로운 전달 메커니즘을 도입하는 것.
• 해와 타원 측도의 행동을 국소화하고 분석하기 위해 이산 Carleson 측도를 갖는 sawtooth 도메인을 구성하는 것.
• 필요한 Carleson 조건을 유지하면서도 타원 측도 성질을 보존하는 수정된 계수 행렬을 정의하기 위해 미세화 절차(mollification procedure)를 사용하는 것.
• 계수 행렬의 진동과 그가 타원 측도에 미치는 영향을 제어하기 위해 가중치 이론과 특이 적분 이론을 적용하는 것.
• 균일한 기하학적·해석적 추정을 보장하기 위해 코르드-아르프 도메인의 구조와 Ahlfors 정규성을 활용하는 것.

실험 결과

연구 질문

• RQ1 분산형 타원형 연산자에 대해 계수 진동에 대한 Carleson 조건을 만족할 때, 표면 측도에 대한 타원 측도의 A∞ 성질이 경계의 균일한 직선성과 동치인가?
• RQ2 [HMMTZ]에서의 작은 상수 결과를 일반적인 큰 상수 경우로 확장할 수 있는가?
• RQ3 타원 측도와 표면 측도 간의 상호 절대 연속성을 보장하는 계수 행렬 진동에 대한 최적 조건은 무엇인가?
• RQ4 타원 측도의 A∞ 성질을 도메인에서 그의 sawtooth 부분도메인으로 어떻게 전달할 수 있는가?
• RQ5 계수 진동에 대한 Carleson 조건이 균일한 직선성과 A∞ 타원 측도 사이의 동치성에 대해 날카로운가?

주요 결과

• 계수 진동에 대해 Carleson 조건을 만족하는 모든 분산형 타원형 연산자에 대해, 경계의 균일한 직선성과 타원 측도의 A∞ 성질 사이의 동치성은 상수의 크기에 관계없이 성립한다.
• 큰 상수 경우는 작은 상수 추정을 일반 경우로 자가 개선하는 외삽 기법을 통해 해결된다.
• 새로운 전달 메커니즘이 도메인에서 sawtooth 부분도메인으로 A∞ 성질을 전파할 수 있게 하여 증명에 핵심적인 역할을 한다.
• 조건 ∫∫_{B(q,r)∩Ω} osc(𝒜,X)² / δ(X) dX ≤ C r^{n-1} 은 A∞ 동치성에 대해 날카롭고 최적이며, 이를 증명한다.
• 한계 연산자 L과 관련된 타원 측도는 Lebesgue 측도에 대해 특이적이며, 이는 Carleson 조건의 날카로움을 보여준다.
• 보조정리 6.3은 진동 조건 (6.4)가 A∞ 동치성에 대해 충분하고 필수적임을 보이며, 결과는 코르드-아르프 도메인으로까지 확장된다.