[논문 리뷰] Uniform rectifiability, elliptic measure, square functions, and $\varepsilon$-approximability via an ACF monotonicity formula

Jonas Azzam, John B. Garnett외 2명|arXiv (Cornell University)|2016. 12. 08.

Advanced Harmonic Analysis Research참고 문헌 16인용 수 18

한 줄 요약

이 논문은 계수 행렬 A에 대한 약간의 정규성과 Carleson 유형 조건이 만족될 경우, 유일한 n-직선성의 경계 ∂Ω ⊂ ℝⁿ⁺¹ (n ≥ 2)가 유클리드 공간 ℝⁿ⁺¹에서 유일한 n-직선성임을 보여주며, 이는 유일한 타원형 연산자 L 및 그 켤레 연산자 L*의 유계해에 대한 ε-근사 가능성과 제곱함수 Carleson 측도 추정에 대해 등가임을 증명한다. 주요 기여는 비대칭이고 국소 리프시츠 조건을 만족하는 타원형 연산자에 대해 광범위한 클래스에 적용 가능한 새로운 ACF 단조성 공식의 개발이며, 이를 통해 기하학적 직선성과 해의 해석적 성질 사이의 등가성을 입증한다.

ABSTRACT

Let $Ω\subset\mathbb{R}^{n+1}$, $n\geq2$, be an open set with Ahlfors-David regular boundary that satisfies the corkscrew condition. We consider a uniformly elliptic operator $L$ in divergence form associated with a matrix $A$ with real, merely bounded and possibly non-symmetric coefficients, which are also locally Lipschitz and satisfy suitable Carleson type estimates. In this paper we show that if $L^*$ is the operator in divergence form associated with the transpose matrix of $A$, then $\partialΩ$ is uniformly $n$-rectifiable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ is $\varepsilon$-approximmable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ satisfies a suitable square-function Carleson measure estimate. Moreover, we obtain two additional criteria for uniform rectifiability. One is given in terms of the so-called $S

연구 동기 및 목표

• 유일한 n-직선성을 갖는 ∂Ω의 특성화를 타원형 방정식 해의 해석적 성질을 통해 수행하는 것.
• 유일한 n-직선성과 유계 L- 및 L*-조화함수의 ε-근사 가능성 사이의 등가성 수립.
• 유일한 n-직선성이 유계 L- 및 L*-조화함수에 대한 제곱함수 Carleson 측도 추정과 등가임을 증명하는 것.
• Carleson 계수를 갖는 비대칭이고 국소 리프시츠 조건을 만족하는 타원형 연산자에 대해 새로운 ACF 단조성 공식 개발 및 적용.
• L- 및 L*-조화측도에 대한 약한 A∞-형 조건이 유일한 n-직선성과 어떻게 관련되는지 밝히는 것.

제안 방법

• 실계수, 유계, 비대칭, 국소 리프시츠 조건을 만족하며 Carleson 유형 추정을 갖는 유일한 타원형 연산자에 대해 일반화된 Alt-Caffarelli-Friedman (ACF) 단조성 공식 유도.
• ACF 공식을 이용해 이분할 큐브에서 에너지 및 조화측도의 감쇠를 제어함으로써 코로나 분해의 구성이 가능해짐.
• L-조화함수 및 L*-조화함수 측도에 기반한 혼합 코로나 분해를 정지 시간 및 이분할 격자 기법을 활용해 구성.
• 주요 등가성 증명에서 연결성과 에너지 감쇠를 제어하기 위해 3종류의 이분할 큐브(유형 0, 1, 2, 3) 도입 및 분석.
• ACF 공식을 적용하여 WHSA(약한 조화 제곱함수 추정), BATPP(ACF 유형 함수의 유계성), WTS(약한 접선공간) 조건을 증명하고, 이를 직선성과 연결.
• 소볼레프 공간 추정 및 하디-리틀우드 최대함수 기법을 사용해 경계 근처에서 해의 L² 노름과 점별 감쇠를 제어함.

실험 결과

연구 질문

• RQ1 계수 행렬 A에 어떤 조건이 만족되어야 도메인 Ω ⊂ ℝⁿ⁺¹ (n ≥ 2)의 경계 ∂Ω가 유일한 n-직선성이 되는가?
• RQ2 모든 유계해 Lu = 0 및 L*v = 0가 Ω 내에서 조화함수에 의해 ε-근사 가능해지는 조건은 무엇인가?
• RQ3 유계 L- 및 L*-조화함수는 언제 제곱함수 Carleson 측도 추정을 만족하는가?
• RQ4 Carleson 계수를 갖는 비대칭이고 국소 리프시츠 조건을 만족하는 타원형 연산자에 대해 일반화된 ACF 단조성 공식을 어떻게 구성할 수 있는가?
• RQ5 L- 및 L*-조화측도에 대한 약한 A∞-형 조건과 ∂Ω의 유일한 n-직선성 사이의 관계는 무엇인가?

주요 결과

• 모든 유계 L- 및 L*-조화함수에 대한 ε-근사 가능성과 ∂Ω의 유일한 n-직선성은 등가이다.
• 모든 유계 L- 및 L*-조화함수에 대한 제곱함수 Carleson 측도 추정과 ∂Ω의 유일한 n-직선성은 등가이다.
• ACF 단조성 공식은 비대칭이고 국소 리프시츠 조건을 만족하는 타원형 연산자에 대해 광범위한 클래스로 확장되었으며, 이는 증명의 핵심 요소이다.
• L-조화측도 및 L*-조화측도가 약한 A∞-형 조건을 만족한다면, ∂Ω는 유일한 n-직선성이 된다.
• 논문은 약한 A∞-형 가정 하에 타원측도에 대한 새로운 코로나 분해를 수립하였으며, 이를 유일한 n-직선성과 연결하였다.
• 저자들은 주어진 가정 하에 WHSA, BATPP, WTS 조건이 유일한 n-직선성과 등가임을 증명하였다.