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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references