[논문 리뷰] Locally one-to-one harmonic functions with starlike analytic part

Ikkei Hotta, Andrzej Michalski|arXiv (Cornell University)|2014. 04. 07.

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

한 줄 요약

이 논문은 해석적 부분이 항성형인 국소적으로 일대일이며 방향을 유지하는 조화함수의 클래스를 특성화하며, 공해석적 부분과 전체 사상에 대해 날카운 계수, 변형, 성장, 자코비안 추정치를 유도한다. 주요 기여는 애너드어 변환을 통해 볼록 함수와의 연결을 통해 이러한 함수의 비율성과 성장에 대한 정확한 경계를 확립하는 것이다.

ABSTRACT

Let $L_H$ denote the set of all normalized locally one-to-one and sense-preserving harmonic functions in the unit disc $Δ$. It is well-known that every complex-valued harmonic function in the unit disc $Δ$ can be uniquely represented as $f = h + \overline{g}$, where $h$ and $g$ are analytic in $Δ$. In particular the decomposition formula holds true for functions of the class $L_H$. For a fixed analytic function $h$, an interesting problem arises - to describe all functions $g$, such that $f$ belongs to $L_H$. The case when $f\in L_H$ and $h$ is the identity mapping was considered [2]. More general results are given in [3], where $f\in L_H$ and letting $h$ to be a convex analytic mapping. The focus of our present research is to characterize the set of all functions $f\in L_H$ having starlike analytic part $h$. In this paper, we provide coefficient, distortion and growth estimates of $g$. We also give growth and Jacobian estimates of $f$.

연구 동기 및 목표

• 단위 원판 내에서 국소적으로 일대일이며 방향을 유지하는 조화함수의 클래스를 특성화하는 것.
• 해석적 부분 $ h $가 항성적일 때, $ f = h + \overline{g} \in L_H $가 되도록 하는 모든 공해석적 부분 $ g $의 집합을 결정하는 것.
• $ |b_1| = \alpha $를 정의하는 부분클래스 $ \check{L}_H^\alpha $에 속하는 함수에 대해 날카운 계수, 변형, 성장, 자코비안 추정치를 도출하는 것.
• $ \check{L}_H^\alpha $와 해석적 부분이 볼록인 조화함수의 클래스 사이의 연결 고리를 애너드어 변환을 통해 확립하는 것.
• $ |g(z)| $, $ |f(z)| $, $ J_f(z) $에 대한 날카운 경계를 $ \alpha = |b_1| $에 대한 명시적 의존성과 함께 제공하는 것.

제안 방법

• 단위 원판 $ \Delta $ 내에서 해석적 함수 $ h $, $ g $를 가지며 $ h(0) = 0 $, $ h'(0) = 1 $, $ g(0) = 0 $인 분해 $ f = h + \overline{g} $를 사용한다.
• 애너드어 변환을 적용하여 항성적 $ h $를 볼록 $ H $와 연결하며, $ h(z) = zH'(z) $이므로 $ H $는 정규화된 볼록 함수이며 $ H(0) = 0 $이다.
• 공해석적 부분을 $ g(z) = zG'(z) $로 정의하여 $ G $가 $ G(0) = 0 $을 만족하는 해석적 함수이며 $ |G'(0)| = \alpha $임을 보장함으로써 $ f \in \check{L}_H^\alpha $와 $ F = H + \overline{G} \in S_H $ 사이의 연결 고리를 형성한다.
• 비율성 $ \omega(z) = g'(z)/h'(z) $에 대한 경계를 유도하며, 자코비안을 제어하는 불등식 $ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $를 사용한다.
• 반경 방향의 적분 추정치를 활용하여 $ |g(z)| $를 추정하며, $ G' $의 성장 추정치와 관계 $ g(z) = zG'(z) $를 활용한다.
• 삼각부등식과 $ h(z) $에 대한 알려진 성장 추정치를 적용하여 $ |f(z)| $의 하한 및 상한을 유도하며, $ |h(z)| $와 $ |g(z)| $의 추정치를 통합한다.

실험 결과

연구 질문

• RQ1 해석적 부분 $ h $가 항성적이고 $ |b_1| = \alpha $일 때, 공해석적 부분 $ g $에 대한 날카운 계수 추정치는 무엇인가?
• RQ2 변형과 성장 추정치 $ g $와 $ f $는 $ g $의 초기 계수인 $ \alpha $에 따라 어떻게 달라지는가?
• RQ3 $ \check{L}_H^\alpha $에 속하는 $ f $에 대해 자코비안 $ J_f(z) $의 최적 경계는 무엇이며, $ \alpha $와 $ |z| $에 따라 어떻게 달라지는가?
• RQ4 함수 $ f $의 성장은 $ \alpha $에 따라 유계될 수 있으며, 이러한 경계는 날카로운가?
• RQ5 $ \check{L}_H^\alpha $는 $ S_H $, 즉 단사 조화함수의 클래스와 어떻게 관련되어 있으며, 특히 애너드어 변환을 통해 어떻게 연결되는가?

주요 결과

• 함수 $ f \in \check{L}_H^\alpha $의 비율성 $ \omega(z) $는 $ |\omega(z)| \leq \frac{\alpha + |z|}{1 + \alpha|z|} $를 만족하며, 극한 함수에서 등호가 성립할 수 있다.
• 자코비안 $ J_f(z) $는 날카운 이중 추정치를 만족한다: $$ \frac{(1-\alpha^2)(1-|z|^2)}{(1+\alpha|z|)^2} \cdot \frac{(1-|z|)^2}{(1+|z|)^6} \leq J_f(z) \leq \begin{cases} \frac{(1-\alpha^2)(1-|z|^2)}{(1-\alpha|z|)^2} \cdot \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| < \alpha, \\ \frac{(1+|z|)^2}{(1-|z|)^6}, & |z| \geq \alpha \end{cases} $$
• 공해석적 부분 $ g $는 날카운 성장 추정치를 만족한다: $$ |g(z)| \geq \begin{cases} \frac{|z|(\alpha - |z|)}{(1 - \alpha|z|)(1 + |z|)^2}, & |z| < \alpha, \\ 0, & |z| \geq \alpha \end{cases} \quad \text{and} \quad |g(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• 전체 사상 $ f $는 날카운 성장 추정치를 만족한다: $$ |f(z)| \geq \frac{(1-\alpha)|z|(1-|z|)}{(1+\alpha|z|)(1+|z|)^2} \quad \text{and} \quad |f(z)| \leq \left(\frac{1-\alpha}{1+\alpha}\right)^2 \log\left(\frac{1+\alpha|z|}{1-|z|}\right) + \frac{2|z|}{(1-|z|)^2} - \left(\frac{1-\alpha}{1+\alpha}\right)\frac{2|z|}{1-|z|} $$
• 상한 $ |f(z)| $는 추가로 $ \frac{(1+\alpha)|z|(1+|z|)}{(1+\alpha|z|)(1-|z|)^2} $로 상향 추정되며, 이는 특정 극한 함수에서 날카로운 경계이다.
• 예제 1.3의 극한 함수 $ f_\zeta $는 $ |z| < \alpha $일 때 $ |g(z)| $의 하한 경계에서 등호를 만족하여 추정치의 날카로움을 확인한다.