[논문 리뷰] Harmonic univalent functions defined by q-calculus operators

Jay M. Jahangiri|arXiv (Cornell University)|2018. 06. 21.

Analytic and geometric function theory참고 문헌 10인용 수 11

한 줄 요약

이 논문은 복소 단위 원판 내에서 조화 단일형 함수에 대해 q-미분 연산자—특히 Salagean q-미분 연산자—의 새로운 응용을 제안한다. q-미분을 통해 정의된 새로운 조화 함수의 클래스에 대해 날카운 계수 경계, 변형 정리, 그리고 커버링 결과를 수립하며, 고전적 기하학적 함수 이론을 q-해석학 프레임워크로 확장하여 단일성과 계수 제약 조건에 대한 정확한 조건을 제공한다.

ABSTRACT

The fractional q-calculus is the q-extension of the ordinary fractional calculus and dates back to early 20-th century. The theory of q-calculus operators are used in various areas of science such as ordinary fractional calculus, optimal control, q-difference and q-integral equations, and also in the geometric function theory of complex analysis. In this article, for the first time, we apply certain q-calculus operators to complex harmonic functions and obtain sharp coefficient bounds, distortion theorems and covering results.

연구 동기 및 목표

• q-해석학 연산자를 복소 단위 원판 내 조화 단일형 함수에 확장한다.
• Salagean q-미분 연산자를 사용하여 새로운 조화 함수의 클래스를 정의하고, 단일성을 위한 필요 및 충분 조건이 되는 계수 조건을 수립한다.
• q-연산자를 통해 정의된 새로운 조화 함수의 클래스에 대해 날카운 변형 및 커버링 정리를 도출한다.
• 고전적 기하학적 함수 이론을 q-해석학적 미분 연산자의 일반화를 통해 일반화한다.
• 극값 함수와 정확한 계수 부등식을 제공하여 새로운 함수 클래스를 특성화한다.

제안 방법

• 단위 원판 내 해석 함수에 대해 q-미분 연산자 ∂ₚh(z) = [h(z) - h(qz)] / [(1 - q)z] 를 정의한다.
• q-미분의 반복 적용을 통해 Salagean q-미분 연산자 𝒟ₚ^m h(z) 를 도입하여, 𝒟ₚ^m h(z) = z + ∑[n]ₚ^m aₙ zⁿ 를 얻는다.
• 조화 함수 f = h + g̅ 에 대해 연산자를 확장하여 𝒟ₚ^m f(z) = 𝒟ₚ^m h(z) + (-1)^m 𝒟ₚ^m g(z)̅ 를 정의한다.
• 클래스 ℋₚ^m(α) 을 Re(𝒟ₚ^{m+1}f / 𝒟ₚ^m f) ≥ α 를 만족하는 조화 함수로 정의한다. 여기서 0 ≤ α < 1 이다.
• 하다마드 곱과 멱급수 전개를 사용하여 실부 조건을 통해 계수 부등식을 도출한다.
• 극값 함수와 볼록 결합 표현을 통해 경계의 날카러움을 증명한다.

실험 결과

연구 질문

• RQ1 q-해석학 연산자를 통해 정의된 조화 단일형 함수의 날카운 계수 경계는 무엇인가?
• RQ2 q-미분 연산자는 조화 함수의 기하적 성질, 예를 들어 변형과 커버링에 어떤 영향을 미치는가?
• RQ3 q-연산자를 통해 정의된 클래스 ℋₚ^m(α) 에 속하기 위한 조화 함수에 대한 필수 및 충분 조건은 무엇인가?
• RQ4 Salagean 연산자의 q-해석학적 일반화가 고전적 조화 단일형 함수 이론의 결과를 어떻게 수정하는가?
• RQ5 q-연산자로 정의된 클래스에 대한 극값 함수를 명시적으로 구성하고 특성화할 수 있는가?

주요 결과

• 클래스 ℋₚ^m(α) 는 날카운 계수 조건 ∑[n]ₚ^m([n]ₚ - α)|aₙ| + ∑[n]ₚ^m([n]ₚ + α)|bₙ| ≤ 1 - α 를 만족한다.
• f ∈ ℋₚ^m(α) 이면, 함수가 단위 원판 내에서 조화 단일형일 필요 및 충분 조건은 위 계수 부등식이 성립함이다.
• 계수 조건에서 등호가 성립하는 극값 함수는 f(z) = z + ∑(1−α)/[n]ₚ^m([n]ₚ−α) xₙ zⁿ + ḡ(z) 로 명시적으로 주어지며, 여기서 ∑|xₙ| + ∑|yₙ| = 1 이다.
• 비음수 계수를 가진 함수의 클래스 ℋ̅ₚ^m(α) 는 동일한 계수 조건을 만족하며, 그 볼록 결합은 모든 이러한 함수의 집합이다.
• 변형 및 커버링 정리를 도출하여, |z| = r < 1 일 때 |f(z)| ≤ (1 + b₁)r + (1 - α)/[2]ₚ^m([2]ₚ - α) × (1 - (1+α)/(1-α)b₁)r² 이 성립함을 보였다.
• q → 1⁻ 일 때 결과는 고전적 조화 단일형 함수 이론의 결과로 수렴하여, 기존 이론과의 일致성을 확인한다.