[논문 리뷰] Square function/non-tangential maximal function estimates and the dirichlet problem for non-symmetric elliptic operators

Steve Hofmann, Carlos E. Kenig외 2명|arXiv (Cornell University)|2012. 02. 11.

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

한 줄 요약

이 논문은 상반평면에서 비대칭이고 비발산형 타입의 타원형 방정식의 해에 대해 $S<N$ 및 $N<S$ 추정을 $
\epsilon$-근사 가능성과 제곱함수/비탄성 최대함수 기법을 사용하여 수립한다. 핵심 결과는 $L$-조화측도가 표면측도에 대해 $A_\infty$ 클래스에 속한다는 것이며, 이는 차원 $n \geq 2$ 에서 어떤 $p<\infty$ 에 대해 $L^p$ 딜리클레 문제의 해법 가능성을 시사한다. 이는 이전에 $n=1$ 에서만 알려진 결과를 확장한 것이다. 증명은 정지시간 기법, 카르레손 측도 추정, 조화측도의 라돈-니코다임 미분에 대한 역 헬더 부등식에 기반한다.

ABSTRACT

We consider divergence form elliptic operators L = - div A(x) abla, defined in the half space R^{n+1}_+, n \geq 2, where the coefficient matrix A(x) is bounded, measurable, uniformly elliptic, t-independent, and not necessarily symmetric. We establish square function/non-tangential maximal function estimates for solutions of the homogeneous equation Lu = 0, and we then combine these estimates with the method of "ε-approximability" to show that L-harmonic measure is absolutely continuous with respect to surface measure (i.e., n-dimensional Lebesgue measure) on the boundary, in a scale-invariant sense: more precisely, that it belongs to the class A_\infty with respect to surface measure (equivalently, that the Dirichlet problem is solvable with data in L^p, for some p &lt; \infty). Previously, these results had been known only in the case n = 1.

연구 동기 및 목표

• 비대칭 타원형 연산자에 대한 $L^p$ 딜리클레 문제 해법 가능성을 기존에 $n=1$ 에서만 알려진 바에 비해 $n \geq 2$ 차원으로 확장한다.
• 해 $Lu=0$ 에 대해 제곱함수 $S(u)$ 와 비탄성 최대함수 $N_*(u)$ 사이의 국소적 및 전역적 $L^p$ 유계성을 수립한다.
• $L$-조화측도가 표면측도에 대해 $A_\infty$ 클래스에 속함을 증명하여 척도 불변 절대연속성을 보장한다.
• $\epsilon$-근사 가능성 기법을 개발하고 적용하여 제곱함수 추정과 조화측도의 $A_\infty$ 성질을 연결한다.

제안 방법

• 수직 제곱함수 분해를 통해 $\nabla u$ 를 다루어 문제를 텐트 영역에서의 기울기 제어로 환원함으로써 $S<N$ 추정을 수립한다.
• 제곱함수와 비탄성 최대함수 $N_*$ 사이의 관계를 연결하기 위해 '좋은-$\lambda$' 부등식을 사용하여 큰 $p$ 에 대한 $L^p$ 유계성을 확보한다.
• 정지시간 구성 기법을 통해 영역을 이진 큐브로 분할하고, 진동이 작은 '파랑' 직사각형과 진동이 큰 '빨강' 직사각형을 구분하여 근사화한다.
• 유계성과 카르레손 측도 추정을 활용해, '파랑' 직사각형에서 $u$ 를 오차 $\leq \epsilon/5$ 이내로 근사하는 함수 $\varphi_1$ 를 구성한다.
• 빨강 직사각형에서는 $\varphi_2 = u$ 로 정의하고, 부풀린 텐트에서 $L^2$ 와 $L^1$ 추정을 통해 $\varphi_2$ 의 기울기가 카르레손 측도로 제어됨을 보여준다.
• 기울기 $\nabla u \cdot \chi_{\mathcal{R}}$ 가 카르레손 측도임과 동시에 $\varphi_2$ 의 점프가 표면측도로 제어됨을 이용해, $u$ 가 매끄러운 함수로 $
  \epsilon$-근사 가능함을 결론짓는다.

실험 결과

연구 질문

• RQ1 비대칭이고 $t$-독립적인 타원형 연산자에 대해 $n \geq 2$ 차원에서 $S<N$ 및 $N<S$ 추정을 수립할 수 있는가?
• RQ2 $\epsilon$-근사 가능성 방법이 비대칭 연산자로까지 확장되어 조화측도의 $A_\infty$ 성질을 증명하는 데 쓰일 수 있는가?
• RQ3 계수 행렬 $A(x)$ 가 비대칭이고 $t$-독립적일 때, 어떤 $p<\infty$ 에 대해 $L^p$ 딜리클레 문제가 해법 가능한가?
• RQ4 이러한 연산자에 대해 조화측도의 $A_\infty$ 성질을 척도 불변 방식으로 확립할 수 있는가?
• RQ5 제곱함수와 비탄성 최대함수는 비대칭 연산자에 대한 딜리클레 문제 해법 가능성의 특성화에 어떤 역할을 하는가?

주요 결과

• 이 논문은 $n \geq 2$ 에서 상반평면 $\mathbb{R}^{n+1}_+$ 에서 비대칭 연산자에 대해 $Lu=0$ 의 해에 대해 $S<N$ 추정을 수립하였으며, 이는 이전까지 비대칭 연산자에 대해 알려지지 않은 결과이다.
• 국소적 $N<S$ 유계성이 입증되었으며, 이는 전역 결과의 확장이며 척도 불변 분석을 가능하게 한다.
• $\epsilon$-근사 가능성 기법이 비대칭 연산자에 성공적으로 적용되어 제곱함수 추정과 조화측도의 $A_\infty$ 성질을 연결하였다.
• $L$-조화측도가 표면측도에 대해 $A_\infty$ 클래스에 속함을 보였으며, 이는 어떤 $p<\infty$ 에 대해 $L^p$ 딜리클레 문제가 해법 가능함을 시사한다.
• 라돈-니코다임 미분 $k = d\omega/dx$ 에 대한 역 헬더 부등식이 큐브 전역에서 균일하게 성립하며, 지수 $q>1$ 는 $A_\infty$ 상수에 따라 달라진다.
• $\nabla u \cdot \chi_{\mathcal{R}}$ 가 카르레손 측도 조건을 만족함을 입증하였으며, 이 상수는 $\lambda$, $n$, $A$ 의 $L^\infty$ 노름에 따라 달라지며, 이는 $u$ 의 $
  \epsilon$-근사 가능성 보장한다.