[논문 리뷰] The Schwarz type Lemmas and the Landau type theorem of mappings satisfying Poisson's equations

Shaolin Chen, David Kalaj|arXiv (Cornell University)|2017. 08. 13.

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

한 줄 요약

이 논문은 포아송 방정식 Δf = g 를 만족하는 복소수 값 매핑에 대해 슈바르츠 유형의 부등식과 랑드 타입 정리를 수립한다. 그린 및 포아송 커널을 통한 적분 표현을 활용하여, |f(z) − c| 및 경계 도함수에 대한 날카운 경계를 도출함으로써, 해석적 및 조화 함수에 대한 고전 결과를 일반 연속 데이터 g 를 가진 포아송 방정식의 해로 확장한다.

ABSTRACT

For a given continuous function $g:~Ω ightarrow\mathbb{C}$, we establish some Schwarz type Lemmas for mappings $f$ in $Ω$ satisfying the { m PDE}: $Δf=g$, where $Ω$ is a subset of the complex plane $\mathbb{C}$. Then we apply these results to obtain a Landau type theorem, which is a partial answer to the open problem in \cite{CP}. %The obtained results are

연구 동기 및 목표

• 해석적 및 조화 매핑에 대한 고전적 슈바르츠 및 랑드 정리를 포아송 방정식 Δf = g 를 만족하는 해로 확장하기.
• 문헌 [13] 에 제기된 열린 문제를 해결하기 위해, 포아송 방정식을 만족하는 매핑에 대한 랑드 타입 정리를 수립하기.
• 단위 원판 내에서 포아송 방정식 Δf = g 의 해 f 의 진동 및 경계 행동에 대한 날카운 추정을 도출하기.
• 고전적 슈바르츠-픽 부등식을 연산자 노름 ‖D_f(z)‖ 에 대해 일반화하여 포아송 방정식의 해로 확장하기.
• g 의 L∞-노름에 따라 의존하는 반경 r₀ 의 디스크 내에서 해 f 의 국소 단사성 및 비리프시츠 성질을 증명하기.

제안 방법

• 경계 데이터 ψ 의 포아송 적분 P_ψ 와 g 의 그린 잠재력 G_g 를 이용한 적분 표현 f = P_ψ − G_g 를 사용하기.
• f(z) 가 z=0 에서의 평균값에서 벗어나는 정도를 제한하기 위해 그린 함수 G(z,w) 와 포아송 커널 P(z,e^{it}) 에 대한 추정을 적용하기.
• f = P_f + G_g 의 분해와 ∂G_g/∂z 및 ∂G_g/∂z̄ 에 대한 추정을 통해 형식적 도함수 D_f 에 대한 경계를 도출하기.
• |z| 와 r₀ 를 포함한 적분 추정을 사용하여 디스크 𝔻_{r₀} 내에서 f 의 진동을 제어함으로써 단사성 및 비리프시츠 추정을 이끌어내기.
• f 가 반경 r₀ 의 디스크 내에서 단사성이 보장되도록 하기 위해 불등식 λ(D_f(0)) ≥ 1/(4M₂/π + 2M₁/3) 를 활용하기.
• 단사성 조건을 만족시키는 r₀ 를 구하여, 이미지 디스크 f(𝔻_{r₀}) ⊃ 𝔻_{R₀} 의 반경 R₀ 에 대한 하한을 도출하기.

실험 결과

연구 질문

• RQ1 고전적 슈바르츠 보조정리는 어떻게 포아송 방정식 Δf = g 를 만족하는 복소수 값 매핑으로 확장될 수 있는가?
• RQ2 c 가 경계에서 f 의 평균값일 때, Δf = g 의 해 f 에 대해 |f(z) − c| 의 날카운 경계는 무엇인가?
• RQ3 포아송 방정식의 해에 대해 랑드 타입 정리를 수립할 수 있으며, 경계 도함수에 대한 추정이 가능한가?
• RQ4 해 f 가 디스크 내에서 국소 단사성 및 비리프시츠 행동을 보이도록 하는 조건은 무엇인가?
• RQ5 g 의 L∞-노름은 f 에 의해 생성되는 단사 이미지 디스크의 반경에 어떻게 영향을 미치는가?

주요 결과

• 논문은 다음 부등식을 수립한다: |f(z) − (1−|z|²)/(1+|z|²) ∫₀²ᵖⁱ ψ(e^{it})dt| ≤ (4‖P_ψ‖_∞/π) arctan|z| + (‖g‖_∞/4)(1−|z|²), 이는 조화 함수에 대한 고전적 슈바르츠 보조정리를 일반화한다.
• 이 경계는 z=0 과 경계 T 에서 날카롭게 성립하며, g(z) = −4M 인 f(z) = M(1−|z|²) 의 예시로 입증된다.
• Δf = g 를 만족하고 ‖g‖_∞ < 8/(3π) 인 해 f 에 대해, 경계 도함수는 liminf_{r→1⁻} |f(ζ)−f(rζ)|/(1−r) ≥ 2/π − 3‖g‖_∞/4 를 만족하며, 이는 고전적 경계 슈바르츠 보조정리를 확장한다.
• g ≡ 0 일 때 랑드 타입 정리는 날카롭게 성립하며, 해석 함수에 대한 고전 결과를 복원한다.
• 도함수의 연산자 노름은 ‖D_f(z)‖ ≤ (4M₂/π)(1−|z|²)⁻¹ + (2/3)M₁ 를 만족하며, 여기서 M₁ = ‖g‖_∞ 이고 M₂ = ‖P_f‖_∞ 이다.
• 1/(4M₂/π + 2M₁/3) − (4M₂/π)(r₀(2−r₀))/(1−r₀)² − 2M₁[(log 4(1+r₀) − log r₀)(2+r₀)r₀] = 0 을 만족하는 r₀ 에 대해, 매핑 f 는 𝔻_{r₀} 내에서 단사적이며 f(𝔻_{r₀}) 는 반경 R₀ ≥ (2M₂/π)(r₀²(2−r₀))/(1−r₀)² 의 디스크를 포함한다.