Inequalities for formal power series and entire functions

Bessel functions Borel-associated functions confluent hypergeometric functions convolutions entire functions of exponential type exponential inequalities Hadamard product integral inequalities integral operators Laguerre polynomials trigonometric inequalities

Mathematics Subject Classification ID

Inequalities in the complex plane (30A10) Power series (including lacunary series) in one complex variable (30B10) Bessel and Airy functions, cylinder functions, ({}_0F_1) (33C10) Confluent hypergeometric functions, Whittaker functions, ({}_1F_1) (33C15)

Review text

Let \(h(z)=\sum_{n=0}^{\infty}c_n z^n\) be an entire function of exponential type. For any power series \(f(z)=\sum_{n=0}^{\infty}a_n z^n\) we denote by \((f\ast h)(z)=\sum_{n=0}^{\infty}a_n c_n z^n\) the Hadamard product or the coefficient convolution of \(h\) and \(f.\) In the paper the author uses the confluent hypergeometric function \[ _1 F_1 (a;b;z)=\sum_{n=0}^{\infty}\frac{(a)_n}{(b)_n}\frac{z^n}{n!} \quad ((b)_n=b(b+1)\cdots(b+n-1),\;n\geq 1) \] and the limit function \(\lim_{\alpha \to 0} \alpha [_1 F_1 (1;\alpha;z)-1]=ze^z\) as the fixed function \(h.\) Given a power series \(f(z)=\sum_{n=0}^{\infty}a_n z^n\), the \(\alpha-\)convolution \(f_{\ast \alpha} (\alpha > 0)\) and the \(0-\)convolution \(f_{\ast 0}\) are defined by the formulas \[ f_{\ast \alpha}(z)=f(z)\ast {_1F_1} (1;\alpha;z)=\sum_{n=0}^{\infty} \frac{a_n}{(\alpha)_n}z^n \] and \[ f_{\ast 0}(z)=f(z)\ast (ze^z)=\sum_{n=1}^{\infty} \frac{a_n}{(n-1)!}z^n. \] The following theorem is the main result of the paper. Theorem. Let \(f(z)=1+a_1 z+\cdots\) be a power series such the \(0-\)convolution \((\log f)_{\ast 0} (z)\) is analytic in a disk \(D_r=\{z: |z|< r\}.\) Then for any \(\alpha, \lambda >0\) and real \(\gamma,\) the \(\alpha-\)convolution \(f_{\ast \alpha}(z)\) is analytic in \(D_r\) and the following inequality holds: \[ \begin{multlined} \int_{0}^{1} t^{\alpha - 1}(1-t)^{\lambda - 1} e^{\gamma t}|f_{\ast \alpha} (\zeta t)|^2 \,dt\leq B(\alpha,\lambda) \exp \left\{\alpha \int_{0}^{1} t^{ - 1}(1-t)^{\alpha + \lambda - 1}[ e^{\gamma t}|\Omega (\zeta t)|^2 -1]\, dt\right\} \\ (\zeta \in D_r), \end{multlined} \] where \[ \Omega(z)=1+\alpha^{-1}(\log f)_{\ast 0} (z)=1+(\alpha^{-1}\log f(z))\ast (ze^z). \] The equality in the above inequality holds if and only if \[ f(z)=[1+(\gamma +i \theta)z/(2\zeta)]^{-\alpha}\;(\zeta \neq 0,\;\theta\text{ is a real number), or}\quad \zeta=\gamma=0. \] Some applications to the confluent hypergeometric functions, Bessel functions, Laguerre polynomials and trigonometric functions are discussed. Some generalization are given.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Inequalities for formal power series and entire functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2473988)