[논문 리뷰] On the Fekete-Szegö inequality for Certain class of analytic functions

S. Sivaprasad Kumar, Virendra Kumar|arXiv (Cornell University)|2012. 02. 15.

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

한 줄 요약

이 논문은 콘볼루션 연산자 $\mathscr{L}_{g}$ 와 하위함수 $\phi$ 를 통해 정의된 새로운 해석함수의 클래스 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 에 대해 Fekete-Szegő 부등식을 수립한다. 저자들은 하위함수 이론과 계수 추정을 이용하여 기능성 $|a_3 - \mu a_2^2|$ 의 날카운 경계를 도출하며, 별개의 성질을 가진 별도의 함수들에 대한 고전적 결과를 일반화하고 Răducanu의 최근 작업을 확장한다.

ABSTRACT

In the present investigation, we derive Fekete-Szegö inequality for the class $\mathcal{S}^α_{\mathscr{L}_{g}}(ϕ)$, introduced here. In addition to that, certain applications of our results are also discussed.

연구 동기 및 목표

• 해석함수의 클래스 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 를 콘볼루션 연산자 $\mathscr{L}_{g}$ 와 하위함수 $\phi$ 를 통해 정의하고 연구한다.
• 파라미터 $\alpha$ 와 일반적인 콘볼루션 연산자를 포함시켜 단일함수의 부분류에 대한 Fekete-Szegő 문제를 일반화한다.
• 스타플라이크 및 볼록 함수에 대한 알려진 결과와, Răducanu가 $\mathcal{HS}^{*}_{m}(\alpha)$ 에 대해 최근에 얻은 결과를 더 넓은 해석적 프레임워크로 확장한다.
• 함수 $g$ 의 계수와 파라미터 $\alpha$ 를 기반으로 기능성 $|a_3 - \mu a_2^2|$ 의 날카운 추정치를 제공하며, 특수 케이스에의 응용을 포함한다.

제안 방법

• 모든 $f, g \in \mathcal{A}$ 에 대해 콘볼루션 연산자 $\mathscr{L}_{g}(f) = f * g$ 를 정의하며, 이는 Ruscheweyh 미분과 Sălăgean 미분 연산자를 일반화한다.
• 조건 $\Psi_g(f)(z) \prec \phi(z)$ 를 통해 클래스 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 를 도입한다. 여기서 $\Psi_g(f)$ 는 $\mathscr{L}_g(f)$ 의 로그미분을 포함한다.
• 하위함수 이론과 클래스 $\mathcal{P}$ 에 속하는 함수에 대한 Fekete-Szegő 부등식을 이용하여, $\mu$, $\alpha$, $g$ 의 계수 $b_2, b_3$ 에 따라 기능성 $|a_3 - \mu a_2^2|$ 의 경계를 도출한다.
• 클래스 $\mathcal{P}$ 에 속하는 함수의 계수 추정에 Lemma 1.5 를 적용하여, $\mu$ 의 다양한 범위에서 $|a_3 - \mu a_2^2|$ 의 날카운 추정치를 유도하며, 임계 값 $\sigma_1, \sigma_2, \sigma_3$ 를 사용한다.
• 세 개의 $\mu$ 간격에 대해 $|a_3 - \mu a_2^2|$ 의 명시적 경계를 도출하며, 중간 간격에서는 가중 삼각부등식을 사용하여 개선된 추정치를 얻는다.
• 극값 함수를 구성하고 Lemma 1.5 의 등호 조건을 확인하여 경계의 날카움을 검증한다.

실험 결과

연구 질문

• RQ1 일반적인 $\phi$ 에 대해 클래스 $\mathcal{S}^{\alpha}_{\mathscr{L}_{g}}(\phi)$ 에서 Fekete-Szegő 기능성 $|a_3 - \mu a_2^2|$ 의 날카운 경계는 무엇인가?
• RQ2 이 일반화된 클래스에서 파라미터 $\alpha$ 와 $g$ 의 선택은 Fekete-Szegő 부등식에 어떻게 영향을 미치는가?
• RQ3 스타플라이크, 볼록, 그리고 $\mathcal{HS}^{*}_{m}(\alpha)$ 함수에 대한 알려진 결과들이 이 프레임워크의 특수 케이스로 복원될 수 있는가?
• RQ4 가중 삼각부등식을 사용할 경우, $\mu$ 의 중간 간격에서 추정치에 어떤 개선이 가능한가?

주요 결과

• 모든 $f \in \mathcal{S}^{\alpha}_{\mathscr{L}_{g}}\left(\frac{1+z}{1-z}\right)$ 에 대해 $|a_2| \leq \frac{2}{(1+\alpha)|b_2|}$ 라는 경계가 성립하며, 이는 스타플라이크 함수에 대한 고전적 결과 $|a_2| \leq 2$ 를 일반화한다.
• 실수인 $\mu$ 에 대해 $|a_3 - \mu a_2^2|$ 의 날카운 경계는 다음과 같이 조각별로 정의된다: $\mu \leq \sigma_1$ 이면 $\frac{1}{(1+\alpha)^2|b_3|}\left(\frac{3+10\alpha-\alpha^2}{2\alpha+1} - \frac{4\mu b_3}{b_2^2}\right)$, $\sigma_1 \leq \mu \leq \sigma_2$ 이면 $\frac{1}{(2\alpha+1)|b_3|}$, $\mu \geq \sigma_2$ 이면 $\frac{1}{(1+\alpha)^2|b_3|}\left(\frac{\alpha^2-10\alpha-3}{2\alpha+1} + \frac{4\mu b_3}{b_2^2}\right)$ 이며, $\sigma_1, \sigma_2$ 는 $b_2, b_3, \alpha$ 에 따라 명시적으로 정의된다.
• 중간 간격 $\sigma_1 \leq \mu \leq \sigma_2$ 에서는 $|a_2|^2$ 를 포함하는 음이 아닌 보정 항을 추가함으로써 개선된 추정치를 얻을 수 있으며, $\mu \in [\sigma_1, \sigma_3]$ 또는 $[\sigma_3, \sigma_2]$ 에서는 더욱 날카운 경계를 얻을 수 있다.
• $\alpha = 0$ 이고 $g(z) = \frac{z}{1-z}$ 이면, 스타플라이크 함수에 대한 고전적 Fekete-Szegő 부등식 $|a_3 - \mu a_2^2| \leq \max\{1, |4\mu - 3|\}$ 이 복원된다.
• $\alpha = 1$ 이고 $g(z) = \frac{z}{1-z}$ 이면, 볼록 함수에 대한 알려진 부등식 $|a_3 - \mu a_2^2| \leq \max\{\frac{1}{3}, |\mu - 1|\}$ 이 복원된다.
• $\phi(z) = \frac{1+Cz}{1+Dz}$ 의 일반적인 경우는 복소수 모듈러스 항을 포함하는 최댓값 표현으로 경계를 얻으며, $C=1, D=-1$ 일 때는 기존 결과로 줄어든다.