The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

기술 요약: 평균적으로 발산하는 드리프트(Drift)를 가진 타원형 측도(Elliptic Measure)의 배가 성질(Doubling Property)

문제 정의
본 논문은 $\mathbb{R}^n$ ($n \geq 3$) 상의 1-측면 코드 아크 도메인(1-sided chord arc domain) $\Omega$에서 정의된, 드리프트 항을 포함하는 발산 형태(divergence form)의 선형 타원형 연산자 $L$과 관련된 타원형 측도의 배가 성질을 조사한다:
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
이 논문이 다루는 핵심 과제는 드리프트 항 $B$가 기존 문헌에서 가정되었던 엄격한 점별(pointwise) 소소성(smallness) 조건 대신, 휘트니 큐브(Whitney cubes)에 대해 평균적인 의미에서 "작음" 조건을 만족할 때의 타원형 측도의 거동이다. 구체적으로, 본 논문은 드리프트가 경계까지의 거리의 역수($\delta(x)^{-1}$)처럼 발산할 수 있지만, 다음과 같은 평균적 유계성을 만족하는 경우를 고려한다:
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
여기서 $U_Q$는 경계 큐브 $Q$와 관련된 확장된 휘트니 큐브이며, $\beta$는 작은 상수이다. 이는 점별 추정치 $|B(x)| \leq \beta/\delta(x)$를 요구했던 기존 연구(예: Hofmann-Lewis [HL01])를 일반화한 것이다. 또한, 본 논문은 그린 함수(Green's function)의 하계(lower bounds)를 확립하는 데 필수적인 켤레 연산자 $L^*$의 해의 존재성 문제도 다룬다.

방법론
증명 전략은 그린 함수에 대한 점별 추정과 타원형 측도에 대한 부르가우(Bourgain) 유형의 추정이라는 두 가지 주요 요소의 확립에 의존한다.

1. 존재성 및 정칙성: 저자는 락스-밀람(Lax-Milgram) 보조정리를 사용하여 $L$과 그 켤레 연산자 $L^*$에 대한 약해解(weak solutions)의 존재성을 먼저 개략적으로 설명한다. 결정적인 단계는 관련 쌍선형 형식(bilinear forms)의 코어시비티(coercivity, 강단성)를 증명하는 것이다. 켤레 연산자의 경우, 코어시비티를 보장하기 위해 드리프트의 발산에 관한 추가 조건 $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$이 필요하다.
2. 하디 부등식(Hardy Inequalities): 본 논문은 Ahlfors-David 정규(ADR) 경계를 가진 1-측면 코드 아크 도메인에서 국소적 및 전역적 하디 부등식을 증명한다. 기존의 유도 방식들이 전역적 버전에 의존했던 것과 달리, 본 연구는 정지 시간(stopping time) 논법을 사용하여 디아딕 큐브(dyadic cubes) 상에서 직접적인 증명을 제공하며, 이는 문헌에 대한 새로운 기여로 언급된다.
3. 경계 횔더 정칙성(Boundary Hölder Regularity): Hofmann-Lewis [HL01]의 기법을 응용하여, 저자는 표면 볼(surface ball)에서 0이 되는 해들의 경계 횔더 연속성을 확립한다. 이를 위해서는 테스트 함수의 지지 집합(support)을 통해 휘트니 큐브를 분해하여 드리프트 항 $B$를 제어해야 한다. 증명은 테스트 함수의 지지 집합에 따라 큐브를 두 범주로 나누며, 평균적 소소성 조건(식 2)과 점별 유계성 조건(식 4)을 함께 활용하여 $\int |B|^2 u^2 \psi^2$ 항을 제어한다.
4. 그린 함수 추정:
   • 하계(Lower Bounds): Grüter와 Widman [GW82]의 접근 방식을 따라, 켤레 그린 함수의 존재성을 가정하여 그린 함수 $G(x,y)$의 점별 하계를 도출한다.
   • 상계(Upper Bounds): 점별 소소성이 결여되어 있기 때문에 상계를 도출하는 것은 더 까다롭다. 저자는 휘트니 큐브 내에서 드리프트 항 $|B|^2$의 **칼데론-지그문트 분해(Calderón-Zygmund decomposition)**를 채택한다. 이를 통해 드리프트가 클 수 있는 "나쁜 집합(bad set)"의 큐브들을 격리하는 동시에, "좋은 집합(good set)"에서는 드리프트가 점별로 작게 유지되도록 한다. 좋은 집합에 지지된 테스트 함수를 구성하고 전역 하디 부등식을 활용함으로써, 필요한 상계를 확립한다.
5. 부르가우 추정 및 배가 성질: 경계 횔더 정칙성과 그린 함수 추정을 결합하여, 저자는 부르가우 유형의 추정(표면 볼에 대한 타원형 측도의 균등 하계)을 도출한다. 마지막으로, Aikawa [Ai06]의 논증을 따라 이러한 요소들을 결합하여 타원형 측도의 배가 성질을 증명한다.

주요 기여 및 결과

• 드리프트 조건의 일반화: 주요 결과(정리 3)는 드리프트가 점별 조건(식 3)이 아닌, 휘트니 큐브 상에서의 평균적 소소성 조건(식 2)을 만족한다는 가정하에서 타원형 측도의 배가 성질을 확립한다. 이는 가설의 상당한 완화이며, 심지어 하프 스페이스(half-space)에서도 유효하다.
• 새로운 하디 부등식 증명: 본 논문은 정지 시간 논법을 사용하여 1-측면 코드 아크 도메인에서 국소적 및 전역적 하디 부등식에 대한 직접적인 증명을 제공하며, 이는 기존의 간접적인 증명들과 구별된다.
• 그린 함수 경계: 본 논문은 평균적 드리프트 조건 하에서 그린 함수의 점별 상계와 하계를 모두 확립한다. 특히 상계 증명은 드리프트에 대한 점별 제어가 부족한 상황을 관리하기 위해 칼데론-지그문트 분해를 활용한다.
• 켤레 존재성: 본 논문은 켤레 방정식의 해의 존재성을 위한 조건, 특히 켤레의 쌍선형 형식에 대한 드리프트의 발산 조건의 필요성을 명확히 한다.

의의 및 주장
저자는 이러한 결과들이 하프 스페이스에 대해서도 새로운 것이라고 주장하며, 거친 디리클레 해법(rough Dirichlet solvability)의 섭동 이론을 확장한다. 이 작업은 카를레슨 측도 조건(Carleson measure conditions)을 가진 하위 차수 항들에 대한 솔버빌리티(solvability)의 최근 발전(예: Hofmann-Lewis, Kenig-Pipher, 그리고 저자와 다른 연구자들의 최근 연구)과 연결된다.

저자는 본 연구를 [HP24](카를레슨 측도 적분 내의 supremum 조건을 제거한 연산자에 대한 $L^p$ 디리클레 솔버빌리티를 확립함)의 결과를 확장하기 위한 기초적인 단계로 규정한다. 본 논문은 타원형 측도의 배가 성질은 확립되었으나, 드리프트에 대한 더 일반적인 카를레슨 측도 조건 하에서 디리클레 솔버빌리티를 증명하기 위해 방법론을 완전히 적용하는 것은 향후 연구 과제가 될 것임을 명시적으로 밝히고 있다.

본 연구의 의의는 점별로는 작지 않지만 "평균적으로 작은" 드리프트를 다룰 수 있게 함으로써, 타원형 측도의 배가 성질(그리고 결과적으로 경계값 문제의 솔버빌리티)을 보장할 수 있는 타원형 연산자의 클래스를 넓혔다는 데 있다.