Inequalities for formal power series and entire functions (Q2473988)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inequalities for formal power series and entire functions |
scientific article |
Statements
Inequalities for formal power series and entire functions (English)
0 references
5 March 2008
0 references
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.
0 references
integral inequalities
0 references
convolutions
0 references
Hadamard product
0 references
entire functions of exponential type
0 references
Borel-associated functions
0 references
integral operators
0 references
confluent hypergeometric functions
0 references
Bessel functions
0 references
Laguerre polynomials
0 references
exponential inequalities
0 references
trigonometric inequalities
0 references