[논문 리뷰] Convolutions of slanted half-plane harmonic mappings

Liulan Li, Saminathan Ponnusamy|arXiv (Cornell University)|2012. 06. 20.

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

한 줄 요약

이 논문은 기울인 반평면 조화 사상의 커플라션을 조사하여, 고정된 오른쪽 반평면 사상 $ f_0 \in \mathcal{S}^0(H_0) $와 기울인 반평면 조화 사상 $ f \in \mathcal{S}^0(H_\gamma) $의 커플라션이 특정 방향으로 여전히 볼록성을 유지함을 증명한다. 저자들은 씰링 방법과 변형 분석을 통해 이를 확립하였으며, Dorff 등이 제기한 열린 문제를 더 넓은 설정에서 해결하고, MATHEMATICA를 사용하여 그래픽적 예시를 제시한다.

ABSTRACT

Let ${\mathcal S^0}(H_γ)$ denote the class of all univalent, harmonic, sense-preserving and normalized mappings $f$ of the unit disk $\ID$ onto the slanted half-plane $H_γ:=\{w:\,{ m Re\,}(e^{iγ}w) >-1/2\}$ with an additional condition $f_{\bar{z}}(0)=0$. Functions in this class can be constructed by the shear construction due to Clunie and Sheil-Small which allows by examining their conformal counterpart. Unlike the conformal case, convolution of two univalent harmonic convex mappings in $\ID$ is not necessarily even univalent in $\ID$. In this paper, we fix $f_0\in{\mathcal S^0}(H_{0})$ and show that the convolutions of $f_0$ and some slanted half-plane harmonic mapping are still convex in a particular direction. The results of the paper enhance the interest among harmonic mappings and, in particular, solves an open problem of Dorff, et. al. \cite{DN} in a more general setting. Finally, we present some basic examples of functions and their corresponding convolution functions with specified dilatations, and illustrate them graphically with the help of MATHEMATICA software. These examples explain the behaviour of the image domains.

연구 동기 및 목표

• 기울인 반평면 조화 사상과의 커플라션의 볼록성 성질을 조사하는 것.
• 이전의 조화 커플라션 결과를 해석적 경우를 초월하여 확장하여, 이러한 성질이 반드시 유지되지 않는 일반적인 조화 사상의 경우에 대해 고려하는 것.
• Dorff 등이 제기한 조화 사상 설정에서 커플라션의 단일성과 볼록성에 관한 열린 문제를 해결하는 것.
• MATHEMATICA를 사용하여 커플라션 사상의 명시적 구성과 그래픽적 시각화를 제공하는 것.
• 변형과 해석적 사상 기법을 통해 커플라션 함수의 이미지 도메인을 분석하는 것.

제안 방법

• 저자들은 Clunie와 Sheil-Small의 씰링 방법을 사용하여, 그 해석적 대응을 통해 기울인 반평면 조화 사상을 구성한다.
• 그들은 $ f_0 $와 $ f $의 멱급수 계수의 하다르드 프로덕트로 조화 커플라션 $ f_0 * f $를 정의하여, 해석적 및 코-해석적 부분을 유지한다.
• 복소 변형 $ \omega(z) = g'(z)/h'(z) $ 는 방향을 유지하고 단일성을 보장하기 위해 사용되며, $ \mathbb{D} $ 내에서 $ |\omega(z)| < 1 $ 이다.
• 커플라션의 변형 $ \widetilde{\omega}(z) $ 는 명시적으로 계산되고, 그 행동이 분석되어 특정 방향에서의 볼록성을 결정한다.
• 커플라션 함수의 이미지 도메인은 $ \zeta = (1-z)/(1+z) $ 와 같은 변수 변화를 통해 실수부와 허수부를 $ \xi $ 와 $ \eta $ 로 표현함으로써 연구된다.
• MATHEMATICA를 사용하여 $ f $ 와 $ f_0 * f $ 에 대한 이미지 도메인의 행동을 시각화하는 그래픽적 예시가 생성된다.

실험 결과

연구 질문

• RQ1 고정된 오른쪽 반평면 조화 사상 $ f_0 \in \mathcal{S}^0(H_0) $ 와 기울인 반평면 조화 사상 $ f \in \mathcal{S}^0(H_\gamma) $ 의 커플라션이 특정 방향에서 여전히 볼록성을 유지하는가?
• RQ2 두 개의 단일성 조화 사상 $ f_1, f_2 \in \mathcal{S}^0(H_\gamma) $ 의 커플라션이 일반적인 조화 사상의 경우 성립하지 않는 성질에도 불구하고 단일성과 볼록성을 유지하는가?
• RQ3 커플라션 $ f_0 * f $ 의 명시적 변형 $ \widetilde{\omega}(z) $ 는 무엇이며, 이는 이미지 도메인의 기하적 성질에 어떻게 영향을 미치는가?
• RQ4 실수부와 허수부가 $ f_0 * f $ 에 대해 해석적 변수 변화를 거쳐 어떻게 변형되는가, 그리고 이는 이미지 도메인에 대해 무엇을 드러내는가?
• RQ5 이러한 커플라션의 명시적 예시를 구성하고 시각화하여 이미지 도메인의 기하적 행동을 설명할 수 있는가?

주요 결과

• 고정된 $ f_0 \in \mathcal{S}^0(H_0) $ 와 $ f \in \mathcal{S}^0(H_\gamma) $ 의 커플라션 $ f_0 * f $ 는 특정 방향에서 볼록성을 보임을 입증하였으며, 이는 기존의 해석적 경우를 초월하는 결과를 확장한다.
• 특히 $ \gamma = 0 $ 인 경우, $ f_0 $ 와 오른쪽 반평면 사상 $ f $ 의 커플라션은 $ \zeta = (1-z)/(1+z) $ 를 통해 실수부와 허수부가 명시적으로 표현된 이미지 도메인을 가진다.
• $ \gamma = \pi $ 인 경우, 커플라션의 변형 $ \widetilde{\omega}(z) = z \left( \frac{z^2 + \frac{1}{2}z - \frac{1}{2}}{1 + \frac{1}{2}z - \frac{1}{2}z^2} \right) $ 가 유도되고, $ |\widetilde{\omega}(z)| < 1 $ 이 성립함을 보여 방향 유지 성질을 보장한다.
• 예제 4에서 커플라션의 변형이 $ \widetilde{\omega}(z) = z^2 $ 로 구해지고, $ \zeta = (1+z)/(1-z) $ 를 통해 이미지 도메인이 분석되어 복잡하지만 명확한 형태를 띤다.
• $ f_0 * f $ 의 실수부와 허수부는 명시적으로 계산되어 $ \xi $ 와 $ \eta $ 로 표현되며, 이미지 도메인의 기하적 분석을 가능하게 한다.
• MATHEMATICA를 사용한 그래픽적 예시는 $ f_0 * f $ 의 이미지가 단순연결 도메인이며 매끄러운 경계를 지닌다는 것을 확인하며, 이는 이론적 특정 방향 볼록성과 일치한다.