[논문 리뷰] Fully Starlike and Convex Harmonic Mappings of order \alpha

Sumit Nagpal, V. Ravichandran|arXiv (Cornell University)|2012. 07. 17.

Analytic and geometric function theory참고 문헌 9인용 수 8

한 줄 요약

이 논문은 0 ≤ α < 1인 순수한 별형 및 순수한 볼록성 조건을 갖는 조화 사상의 개념을 도입하여, 단일 조화 사상에서의 유계성과 별형성의 비유도성 문제를 해결한다. 특정 조화 가족에 대해 순수한 별형성과 볼록성의 최선의 반경을 도출하며, 두 개의 단일 조화 볼록 사상의 콘볼루션은 비선형 방정식의 근에 의해 결정되는 특정 반경 내에서 순수한 볼록성 조건 α를 유지함을 증명한다.

ABSTRACT

The hereditary property of convexity and starlikeness for conformal mappings does not generalize to univalent harmonic mappings. This failure leads us to the notion of fully starlike and convex mappings of order \\alpha, (0\\leq \\alpha&lt;1). A bound for the radius of fully starlikeness and fully convexity of order \\alpha is determined for certain families of univalent harmonic mappings. Convexity is not preserved under the convolution of univalent harmonic convex mappings, unlike in the analytic case. Given two univalent harmonic convex mappings f and g, the problem of finding the radius r_{0} such that f*g is a univalent harmonic convex mapping in |z|&lt;r_{0}, is being considered.

연구 동기 및 목표

• 해석 함수에서 성립하는 볼록성과 별형성의 유도성 특성이 조화 사상에서는 성립하지 않기 때문에 이를 보완하고자 한다.
• 유도성 기하 성질이 손실된 조화 사상에서 순수한 별형 및 순수한 볼록 조화 사상의 새로운 클래스를 정의하고 연구하여, 부분디스크의 상이 여전히 별형 또는 볼록성을 유지하도록 보장하고자 한다.
• 두 개의 단일 조화 볼록 사상 f, g ∈ ℋ₀ᴷ에 대해 f*g의 콘볼루션이 |z| < r₀ 내에서 순수한 볼록성 조건 α를 유지하는 최적의 반경 r₀를 결정하고자 한다.
• 극한 함수와 계수 조건을 이용하여 순수한 별형성과 볼록성에 대한 최선의 반경 추정을 수립하고자 한다.
• 조화 반평면 사상 L의 극한 행동을 바탕으로 f*g가 |z| < 2−√3 내에서 순수한 볼록성임을 추측하고자 한다.

제안 방법

• 조화 사상에서 잃어버린 유도성 기하 성질을 복원하기 위해 순수한 별형 및 순수한 볼록 조화 사상의 개념을 도입한다.
• 두 조화 사상 f = h + ḡ와 g = h̃ + g̃̄의 콘볼루션(Hadamard 곱)을 사용하여 부분디스크 내의 단일성과 기하 성질을 분석한다.
• 순수한 볼록성 조건 α에 대한 반경 s₀(α)를 위한 핵심 방정식 (4.2) 유도: 2(1−α)(1−r)⁵ + α(1+r)(1−r)² − (1+r)(r²+4r+1) = 0.
• 순수한 별형성 조건 α에 대한 반경 r₀(α)를 위한 두 번째 핵심 방정식 (4.3) 유도: 12(1−α)(1−r)⁵ + α(r²+3r+6)(1−r)² − 6(1+r)³ = 0.
• 극한 함수인 조화 Koebe 함수 K(z)와 조화 반평면 사상 L(z)를 사용하여 반경 추정의 최선성(sharpness)을 증명한다.
• 이미지가 별형 또는 볼록임을 판단하기 위해 ∂/∂θ(arg f(re^{iθ}))의 변동을 분석하며, θ=0에서의 도함수 조건을 활용한다.

실험 결과

연구 질문

• RQ1 해석 함수에서 성립하는 볼록성과 별형성의 유도성 특성이 조화 설정에서 복원될 수 있는가?
• RQ2 두 개의 단일 조화 볼록 사상 f, g ∈ ℋ₀ᴷ에 대해 f*g의 콘볼루션이 순수한 볼록성 조건 α를 유지하는 가장 큰 디스크 |z| < r₀는 무엇인가?
• RQ3 계수 조건 |aₙ| ≤ (1/12)(n+1)²(2n+1) 및 |bₙ| ≤ (1/12)(n−1)²(2n−1)를 만족하는 조화 사상 f = h + ḡ에 대해 순수한 별형성 조건 α에 대한 최선의 반경 r₀(α)는 무엇인가?
• RQ4 조화 반평면 사상 L의 극한 행동을 바탕으로 f*g가 |z| < 2−√3 내에서 순수한 볼록성임을 추측한 바, 이 반경은 최적인가?
• RQ5 f₀(z) = 2z − (L*L)(z)의 자코비안과 인수 변동은 순수한 볼록성에 대한 반경 추정 s₀(α)의 최선성을 어떻게 확인하는가?

주요 결과

• f*g에 대한 순수한 볼록성 조건 α의 반경은 방정식 (4.2)의 실근 s₀(α)로 주어지며, α = 0일 때 s₀(0) ≈ 0.0712543이다.
• 순수한 별형성 조건 α의 반경은 방정식 (4.3)의 실근 r₀(α)로 주어지며, α = 0일 때 r₀(0) ≈ 0.0855165이다.
• 극한 함수 f₀(z) = 2z − (L*K)(z)를 통해 결과의 최선성이 입증되었으며, 이 함수의 자코비안은 r = s₀(0)에서 0이 된다.
• f₀의 인수 변동이 θ = 0 및 r = r₀(0)일 때 α와 같음을 확인하여 별형성 반경 추정의 최선성이 확인된다.
• ℋ₀ᴷ에 속하는 두 사상의 콘볼루션 f*g는 |z| < s₀(α) 내에서 단일적이며 순수한 볼록성 조건 α를 유지하며, s₀(0) ≈ 0.0712543이다.
• f*g가 |z| < 2−√3 ≈ 0.2679 내에서 순수한 볼록성임을 추측하며, 현재의 bound s₀(0) ≈ 0.0712543보다 더 큰 반경을 포함하므로 향후 개선 가능성을 시사한다.