[논문 리뷰] Scale-invariant Boundary Harnack Principle in Inner Uniform Domains

Janna Lierl, Laurent Saloff‐Coste|arXiv (Cornell University)|2011. 10. 12.

Holomorphic and Operator Theory참고 문헌 24인용 수 4

한 줄 요약

이 논문은 내부 균일 도메인 내 국소적이고 정규적인 딜레르흐 공간에 대해 비대칭 및 하위순서 항으로 편항된 연산자로까지 확장된 척도 불변 경계 하르낙 원리의 수립을 다룬다. 유클리드 거리 대신 내부 거리(metric)를 사용하고 체적 두배 및 하르낙 부등식을 활용하여, 계수에 비틀림과 포텐셜 항이 포함된 경우에도 $ Lu = 0 $의 양의 약한 해 비율이 경계 근처에서 균일하게 제어됨을 증명한다.

ABSTRACT

We prove a scale-invariant boundary Harnack principle in inner uniform domains in the context of local regular Dirichlet spaces. For inner uniform Euclidean domains, our results apply to divergence form operators that are not necessarily symmetric, and complement earlier results by H. Aikawa and A. Ancona.

연구 동기 및 목표

• 일반적인 국소적이고 정규적인 딜레르흐 공간에 대해 내부 균일 도메인에서 척도 불변 경계 하르낙 원리를 수립하는 것.
• 이전의 대칭성 및 균일 타원형 연산자에 대한 결과를 비대칭성 및 하위순서 항으로 편항된 연산자로 확장하는 것.
• 직접 내부 거리와 조화 함수를 분석하여 카르레 두 샹 구조가 필요 없도록 하는 것.
• 내부 거리 프레임워크에서 기하학적 및 해석적 도구를 사용하여 경계 근처에서 양의 약한 해 비율의 균일한 제어를 증명하는 것.

제안 방법

• 경계 하르낙 원리에서 유클리드 구를 대체하기 위해 도메인 $ \tilde{\rho} $ 에서 내부 거리 $ d_{\tilde{\rho}} $ 를 사용하여 구 $ B_{\tilde{\rho}}(x,r) $ 를 정의하는 것.
• 체적 두배 및 하르낙 부등식을 적용하여 그린 함수의 감쇠 및 조화 함수 비율을 제어하는 것.
• 내부 거리 구와 환경 공간 구의 연결 성분 간의 관계를 설명하는 핵심 기하학적 보조정리(보조정리 3.8)의 활용.
• 그린 함수 $ G_{Y'} $ 를 통한 비교 함수의 구성 및 하르낙 및 최대 원리에 따른 행동 분석.
• 최대 원리와 하르낙 부등식을 사용하여 $ G_{Y'}(x,y) $ 를 $ G_{Y'}(x,y^*) $ 와 $ G_{Y'}(x^*,y) $ 로 제한함으로써 비율 제어를 보장하는 것.
• 내부 균일성에 의해 연결된 사슬 논증을 통해 그린 함수와 조화 측도를 비교함으로써 도메인 전반에 걸쳐 경계를 전파하는 증명.

실험 결과

연구 질문

• RQ1 내부 균일 도메인에서 비대칭성 및 하위순서 항으로 편항된 연산자에 대해 척도 불변 경계 하르낙 원리가 확장될 수 있는가?
• RQ2 딜레르흐 공간에서 카르레 두 샹의 존재를 가정하지 않고도 경계 하르낙 원리가 성립하는가?
• RQ3 경계 하르낙 부등식의 상수들이 도메인 기하학과 연산자 계수에 어떻게 의존하는가?
• RQ4 일반적인 딜레르흐 형식에서 유클리드 구를 대체하기 위해 내부 거리를 효과적으로 사용할 수 있는가?
• RQ5 체적 두배와 내부 균일성이 경계 근처에서 양의 약한 해 비율의 균일한 제어를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 비대칭성 및 하위순서 항으로 편항된 연산자를 포함한 국소적이고 정규적인 딜레르흐 공간에 대해 척도 불변 경계 하르낙 원리는 내부 균일 도메인에서 성립한다.
• 연산자 $ Lf = \text{div}(a \nabla f) - b \nabla f + \text{div}(d f) - c f $ 에 대해 $ c - \text{div} b \rangle 0 $, $ c - \text{div} d \rangle 0 $, 그리고 타원성 $ a \rangle \rho I $ 를 만족할 경우, 원리는 $ \rho $, $ R $ 및 계수에 의존하는 상수를 가진다.
• 만약 $ b = d = c = 0 $ 이면, 경계 하르낙 부등식의 상수 $ A_0 $ 와 $ A_1 $ 는 $ R $ 에 독립적이며 척도 불변성을 나타낸다.
• 증명 과정에서 $ G_{Y'}(x,y) \triangleq \frac{G_{Y'}(x^*,y)}{G_{Y'}(x^*,y^*)} G_{Y'}(x,y^*) $ 가 균일 상수 범위 내에서 성립함을 보여주어 $ B_{\tilde{\rho}}(\rho, r) $ 에서 비율 제어가 보장된다.
• 내부 거리 구 $ B_{\tilde{\rho}}(\rho, r) $ 가 큰 내부 거리 구의 여집합에 포함됨을 보여주어 반복적인 하르낙 사슬 논증이 가능함을 입증한다.
• 대칭성 및 카르레 두 샹 가정을 제거하고 직접 내부 거리 프레임워크에서 작업함으로써 애이카와와 안코나의 결과를 일반화한다.