[논문 리뷰] Lipschitz type spaces and Landau-Bloch type theorems for harmonic functions and Poisson equations

S-H Chen, Mateljević, M.외 2명|arXiv (Cornell University)|2014. 07. 27.

Analytic and geometric function theory참고 문헌 28인용 수 3

한 줄 요약

이 논문은 ℝⁿ의 단위 구체 𝔹ⁿ에서 조화 함수 및 포아송 방정식의 해에 대해 리프시츠 유형 공간과 랜드อู-블로흐 정리 사이의 연결을 수립한다. 조화 함수에 대한 슈바르츠-픽 보조정리, 하르디 공간에서의 블로흐 유형 정리 유도, 정규가족의 논리를 활용한 포아송 방정식의 해로의 랜드오-블로흐 정리 확장, 그리고 주요 함수 ω를 통한 기울기 상한과 헬더 유형 연속성 간의 핵심 결과를 제시한다.

ABSTRACT

In this paper, we investigate some properties on harmonic functions and solutions to Poisson equations. First, we will discuss the Lipschitz type spaces on harmonic functions. Secondly, we establish the Schwarz-Pick lemma for harmonic functions in the unit ball $\IB^n$ of $\IR^n$, and then we apply it to obtain a Bloch theorem for harmonic functions in Hardy spaces. At last, we use a normal family argument to extend the Landau-Bloch type theorem to functions which are solutions to Poisson equations.

연구 동기 및 목표

• 조화 함수 및 포아송 방정식의 해가 리프시츠 유형 공간의 맥락에서 가지는 성질을 조사한다.
• 단위 구체 𝔹ⁿ에서 조화 함수에 대한 슈바르츠-픽 보조정리를 도입하여 고차원으로 일반화된 고전적 결과를 확장한다.
• 슈바르츠-픽 보조정리를 이용해 하르디 공간에서의 조화 함수에 대한 블로흐 유형 정리를 도출한다.
• 정규가족의 논리를 통해 포아송 방정식의 해로의 랜드오-블로흐 유형 정리를 확장한다.
• 조건 (2)와 (3)을 만족하는 주요 함수 ω를 통한 기울기 상한과 헬더 유형 연속성 간의 관계를 특성화한다.

제안 방법

• Ω 내의 점 x, y에 대해 |f(x)−f(y)| ≤ Cω(|x−y|) 를 만족하는 리프시츠 유형 공간 Λω(Ω)를 정의한다.
• 𝔹ⁿ에서의 조화 함수에 대한 슈바르츠-픽 보조정리를 적용하여 변형 추정 및 정규가족 기법을 도출한다.
• ω가 ∫₀^δ ω(t)/t dt ≤ Cω(δ) 및 δ∫δ^∞ ω(t)/t² dt ≤ Cω(δ) 를 만족하는 정규 주요 함수임을 조건으로 한다.
• 곡선 γ가 ∫γ ω(dG(ζ))/dG(ζ) ds(ζ) ≤ Cω(|x−y|) 를 만족하는 G 내의 Λω-확장 영역 개념을 적용한다.
• 포아송 방정식의 해의 수열을 분석하기 위해 정규가족의 논리를 활용하고, 단일성 및 덮개 정리를 도출한다.
• 자기의 앙상부르 JF(0)와 기울기 상한 M(r)을 포함한 적분 추정을 사용하여 조화 사상의 이미지 내 단일성 구의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 리프시츠 유형 공간은 Λω-확장 영역 내 조화 함수의 기울기 상한과 어떻게 관련이 있는가?
• RQ2 단위 구체 𝔹ⁿ에서의 조화 함수에 대한 슈바르츠-픽 보조정리의 정확한 형태는 무엇인가?
• RQ3 슈바르츠-픽 보조정리로부터 하르디 공간에서의 조화 함수에 대한 블로흐 유형 정리를 도출할 수 있는가?
• RQ4 어떻게 포아송 방정식의 해로의 랜드오-블로흐 정리를 확장할 수 있는가?
• RQ5 기울기 상한이 조화 함수 및 포아송 해의 헬더 연속성을 보장하기 위해 주요 함수 ω에 어떤 조건이 필요한가?

주요 결과

• 조화 함수 f가 Λω(Ω)에 속하는 것은, 모든 x ∈ Ω에 대해 |∇f(x)| ≤ C ω(dΩ(x))/dΩ(x) 를 만족할 때이고, 여기서 Ω는 Λω-확장 영역이다.
• 𝔹ⁿ에서의 조화 함수에 대한 슈바르츠-픽 보조정리는 |F′(ζ)−F′(0)| ≤ M(r) × 반경 감쇠 인자 를 유도하며, 이는 반경 ρ(r) 내에서 단일성으로 이어진다.
• 조화 사상의 이미지 f(𝔹ⁿ)는 반경 R ≥ max₀<r<1 {1 / [2nK(r)]²ⁿ⁻²M(r)[(1+√2)ⁿ−¹+√2−1]} 인 단일성 구 𝔹ⁿ(0,R) 를 포함한다.
• ℒfᴹ 내의 포아송 방정식의 해에 대해, 자코비안이 양이며 함수가 0에서 멀리 떨어져 있으면 이미지 내 반경 c₁/2의 구가 포함된다.
• 포아송 해에 대한 랜드오-블로흐 유형 정리의 증명은 위상수학적 도함수 이론과 ℒfᴹ 내의 수열이 극한 함수로 균일 수렴함에 기반한다.
• 이미지 내 단일성 구의 존재는 자코비안의 엄격한 양성과 ∂𝔹ⁿ(0,r₀)에서 |g(x)|의 하한이 존재함에 의해 보장된다.