q 별함수와 고전 별함수의 날카로운 경계

초록

본 논문은 Ma‑Minda 함수 ξq(z)= (1+sin(qz))/(1‑qz)와 그 고전극한 ξ(z)= (1+sin z)/(1‑z)에 대응하는 두 새로운 q‑별함수 클래스 S*{ξ_q}와 S*{ξ}를 정의하고, 이들에 대한 서브오디네이션, 성장·왜곡·회전 정리와 함께 초기 계수·Fekete‑Szegö·Kruskal·Zalcman 부등식, 그리고 Hankel·Toeplitz 행렬식의 최적 상한을 엄격히 구한다.

상세 분석

논문은 먼저 q‑미분 연산자 d_q를 도입하여 q‑별함수 클래스 S*{ξ_q}= { f∈A : z d_q f(z)/f(z) ≺ ξ_q(z) } 를 정의하고, q→1⁻ 한계에서 고전 클래스 S*{ξ}= { f∈A : z f′(z)/f(z) ≺ ξ(z) } 로 수렴함을 보인다. ξ_q와 ξ는 모두 Ma‑Minda 조건을 만족하는데, 이는 실수부가 양수이며 0에서의 도함수가 양수임을 의미한다. 이를 바탕으로 서브오디네이션 정리, 성장·왜곡·회전 정리를 각각 전개하여 함수값과 도함수의 절대값 및 위상에 대한 정확한 경계식을 얻는다.

계수 추정에서는 Schwarz 함수 w(z)=∑b_n z^n (|w(z)|<1) 를 이용해 z f′/f = ξ_q(w(z)) 혹은 ξ(w(z)) 로 전개하고, 양변을 전개하여 a_2, a_3, a_4를 b_n에 대한 선형·이차식으로 표현한다. Lemma 2.1‑2.5에서 제공되는 b_n에 대한 최적 부등식을 적용해 |a_2|≤1, |a_3|≤1, |a_4|≤17/18을 얻으며, 극값은 ξ에 대한 극점 함수 ˜f(z)=z exp∫_0^z (ξ(t)−1)/t dt 로 달성된다.

Fekete‑Szegö 부등식은 a_3−μa_2^2 를 Carathéodory 함수 p(z)와 연결시켜 Lemma 2.3을 이용해 |a_3−μa_2^2| ≤ ½ max{1, (2μ−3)/2} 를 얻는다. μ=1을 대입하면 전통적인 |a_3−a_2^2|≤½ 가 도출된다.

Hankel 행렬식 H_{2,1}=a_1a_3−a_2^2 와 H_{2,2}=a_2a_4−a_3^2 에 대해서는 b_n의 관계식과 Lemma 2.2, 2.4, 2.5를 조합해 각각 |H_{2,1}|≤½, |H_{2,2}|≤¼ 를 얻는다. Toeplitz 행렬식의 경우 T_{2,3}=a_2^3−a_2a_4 가 0≤|T_{2,3}|≤¼ 로 제한되고, 고차 Toeplitz T_{3,2} 에 대해서는 복잡한 다항식 형태의 상한을 구해 최종적으로 |T_{3,2}|≤1/324 를 증명한다. 모든 상한은 극값 함수 ˜f 혹은 ˜f_1을 통해 날카롭게 달성됨을 확인한다.

q‑버전 S*_{ξ_q}에 대해서는 동일한 방법론을 적용할 수 있음을 언급하고, q‑미분 연산과 Jackson q‑계수를 이용한 적분 표현을 제시한다. 다만 논문 본문에서는 주로 고전 클래스에 대한 상세 증명을 제공하고, q‑클래스는 유사한 구조를 갖는다는 점을 강조한다. 전체적으로 기존 q‑별함수 연구에서 부족했던 계수와 행렬식 상한의 날카로운 추정을 체계적으로 완성한 점이 큰 의의이다.