[논문 리뷰] Coefficient problems on the class $U(\lambda)$

Saminathan Ponnusamy, Karl‐Joachim Wirths|arXiv (Cornell University)|2017. 09. 19.

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

한 줄 요약

이 논문은 단일함수의 계수 문제를 다루며, $τ(λ)$ 클래스에 대한 $|a_n|$의 비예측 가능한 경계를 제공하고, $a_2$ 문제를 명시적으로 해결한다. 하위순서와 로고신스키의 정리를 사용하여 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$를 유도하며, $|\omega(z)| \leq 1$ 이고 $\omega(0) = a$인 $\omega(z)$와 관련된 극값 함수를 통해 $a_2$에 대한 정확한 경계를 증명한다. 이 작업은 $τ(λ)$에서 계수 추정에 관한 열린 추측을 발전시킨다.

ABSTRACT

For $0<\\lambda \\leq 1$, let ${\\mathcal U}(\\lambda)$ denote the family of functions $f(z)=z+\\sum_{n=2}^{\\infty}a_nz^n$ analytic in the unit disk $\\ID$ satisfying the condition $\\left |\\left (\\frac{z}{f(z)}\ ight )^{2}f'(z)-1\ ight |<\\lambda $ in $\\ID$. Although functions in this family are known to be univalent in $\\ID$, the coefficient conjecture about $a_n$ for $n\\geq 5$ remains an open problem. In this article, we shall first present a non-sharp bound for $|a_n|$. Some members of the family ${\\mathcal U}(\\lambda)$ are given by $$ \\frac{z}{f(z)}=1-(1+\\lambda)\\phi(z) + \\lambda (\\phi(z))^2 $$ with $\\phi(z)=e^{i\ heta}z$, that solve many extremal problems in ${\\mathcal U}(\\lambda)$. Secondly, we shall consider the following question: Do there exist functions $\\phi$ analytic in $\\ID$ with $|\\phi (z)|<1$ that are not of the form $\\phi(z)=e^{i\ heta}z$ for which the corresponding functions $f$ of the above form are members of the family ${\\mathcal U}(\\lambda)$? Finally, we shall solve the second coefficient ($a_2$) problem in an explicit form for $f\\in {\\mathcal U}(\\lambda)$ of the form $$f(z) =\\frac{z}{1-a_2z+\\lambda z\\int_0^z\\omega(t)\\,dt}, $$ where $\\omega$ is analytic in $\\ID$ such that $|\\omega(z)|\\leq 1$ and $\\omega(0)=a$, where $a\\in \\overline{\\ID}$.

연구 동기 및 목표

• 모르는 계수 추측을 $\mathcal{U}(\lambda)$에 대해 다루며, 특히 $n \geq 5$일 때 $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$가 증명되지 않은 경우를 대상으로 한다.
• 하위순서와 고전적 부등식을 사용하여 $\mathcal{U}(\lambda)$에서 $|a_n|$에 대한 비예측적이지만 명시적인 상한을 확립한다.
• 해석 함수 $\phi$가 $\mathbb{D}$에서 정의되고 $|\phi(z)| < 1$이며, $\phi(z) = e^{i\theta}z$의 형태가 아닌 경우, 표현식 $\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$를 통해 $\mathcal{U}(\lambda)$의 원소를 생성할 수 있는지 조사한다.
• 형식 $f(z) = z / \left(1 - a_2 z + \lambda z \int_0^z \omega(t) dt\right)$를 가진 $f \in \mathcal{U}(\lambda)$에 대해 $a_2$ 문제를 명시적으로 해결한다. 이때 $|\omega(z)| \leq 1$ 이고 $\omega(0) = a$이다.

제안 방법

• 하위순서 이론을 사용: $f \in \mathcal{U}(\lambda)$이면 $\frac{f(z)}{z} \prec \frac{1}{(1-z)(1-\lambda z)}$임을 의미하며, 이는 로고신스키의 정리를 통해 계수 비교를 가능하게 한다.
• 하나의 급수 계수의 곱에 코시-슈바르츠 부등식을 적용하여, $|a_{n+1}| \leq 1 + \sqrt{n} \sqrt{\sum_{k=1}^n \lambda^{2k}}$의 경계를 도출한다.
• $\omega(z)$를 $\omega(z) = \frac{a + z\varphi(z)}{1 + \overline{a}z\varphi(z)}$로 표현하며, $|\varphi(z)| \leq 1$ 이고, 이는 $\int_0^z \omega(t) dt$를 $B_a(z)$에 대한 하위순서를 통해 분석할 수 있도록 한다.
• $a \in \overline{\mathbb{D}}$에 대해 $B_a(z)$를 명시적으로 정의하고, 그 경계값을 사용하여 $|a_2|$를 $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$로 경계한다.
• 극값 함수를 구성하여 경계의 정확성을 입증한다. 이는 분모의 영이 없는 분석을 통해 해당 $f$가 $\mathcal{U}(\lambda)$에 속한다는 것을 확인함으로써 이루어진다.
• 다음 사실을 사용한다: $C_\omega(z) = \frac{1}{z} + \lambda \int_0^z \omega(t) dt$는 $\overline{\mathbb{D}}$에서 단일함수이므로, $a_2 \in \bigcup_{\omega(0)=a} A_2(\omega)$이다. 여기서 $A_2(\omega)$는 $\mathbb{C} \setminus C_\omega(\partial\mathbb{D})$의 유한한 성분이다.

실험 결과

연구 질문

• RQ1 선형 분수 변환 $\phi(z) = e^{i\theta}z$가 아닌 함수들 중에서 $\frac{z}{f(z)} = 1 - (1+\lambda)\phi(z) + \lambda(\phi(z))^2$가 $f \in \mathcal{U}(\lambda)$를 생성할 수 있는가?
• RQ2 하위순서와 계수 추정을 사용하여, $n=4$를 초과하는 $|a_n| \leq \sum_{k=0}^{n-1} \lambda^k$의 계수 추측을 확장할 수 있는가?
• RQ3 $f$가 $|\omega(z)| \leq 1$ 이고 $\omega(0) = a$인 $\omega(z)$로 매개변수화된 경우, $\mathcal{U}(\lambda)$에서 $|a_2|$의 정확한 최적 경계는 무엇인가?
• RQ4 경계 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$는 $n \geq 2$인 어떤 $n$에 대해서도 정확한가?
• RQ5 등호가 성립하는 경우를 달성하기 위해, $\omega(0) = a$인 $\omega(z)$로부터 $a_2$의 극값 함수를 명시적으로 구성할 수 있는가?

주요 결과

• 비예측 가능한 경계 $|a_n| \leq 1 + \lambda\sqrt{n-1}\sqrt{\sum_{k=0}^{n-2}\lambda^{2k}}$를 $n \geq 2$에 대해 확립하였다. 이는 하위순서와 코시-슈바르츠 부등식을 통해 도출되었다.
• 두 번째 계수 $a_2$는 $|a_2| \leq 1 + \lambda \max_{t \in [0,2\pi]} |B_a(e^{it})|$를 만족하며, 특정 $\omega(z)$에 대해 등호가 성립함을 보여 정확성을 입증하였다.
• $a \in \mathbb{D} \setminus \{0\}$일 때 $B_a(z)$는 $\frac{1}{z} \int_0^z \frac{a + t}{1 + \overline{a}t} dt$로 정의되며, $a = 0$일 땐 $B_0(z) = \frac{1}{2}$이고, $|a| = 1$일 땐 $B_a(z) = a$이다.
• 경계를 달성하는 극값 함수는 $\omega(z) = \frac{a + z e^{i\psi}}{1 + \overline{a} z e^{i\psi}}$로 설정하고, $a_2 = e^{-i\theta} + \lambda e^{i\theta} B_a(e^{it_0})$로 선택함으로써 구성된다. 여기서 $t_0$는 $|B_a(e^{it})|$를 최대화하는 값이다.
• $f(z) = z/D(z)$의 분모 $D(z)$는 $\mathbb{D}$ 안에 정확히 하나의 영을 가지며, 이는 $f \in \mathcal{U}(\lambda)$임을 보장한다. 이는 극값 구성이 타당함을 확인한다.
• 논문은 $a_2$의 경계가 정확함을 확인하고, $C_\omega$가 $\partial\mathbb{D}$에서의 이미지를 통해 가능한 $a_2$ 값의 집합을 완전히 특성화한다.