 Research
 Open access
 Published:
Some subordination involving polynomials induced by lower triangular matrices
Advances in Difference Equations volume 2020, Article number: 538 (2020)
Abstract
The article considers several polynomials induced by admissible lower triangular matrices and studies their subordination properties. The concept generalizes the notion of stable functions in the unit disk. Several illustrative examples, including those related to the Cesàro mean, are discussed, and connections are made with earlier works.
1 Introduction
Let \(\mathcal{A}\) and \(\mathcal{A}_{1}\) denote the classes consisting of functions h in the unit disk \(\mathbb{D}= \{ w : w<1\}\) that are analytic and normalized by the conditions \(\mathtt{h}(0)=0=\mathtt{h}'(0)1\) and \(\mathtt{h}(0)=1\), respectively. Further let \(\mathcal{S}^{*}(\alpha _{1})\), \(\alpha _{1} <1\), be the class consisting of functions \(\mathtt{h} \in \mathcal{A}\) starlike of order \(\alpha _{1}\) satisfying \({\mathrm{Re }} ({z \mathtt{h}'(z)}/{\mathtt{h}(z)})>\alpha _{1}\), \(z \in \mathbb{D}\), and let \(\mathcal{C}(\alpha _{1})\) be the class of convex functions of order \(\alpha _{1}\) with the characterization \({\mathrm{Re}} ( 1+{z \mathtt{h}''(z)}/{\mathtt{h}'(z)} )> \alpha _{1}\), \(z \in \mathbb{D}\). It is evident that \(f \in \mathcal{C}(\alpha _{1})\) if and only if \(z\mathtt{h}' \in \mathcal{S}^{*}(\alpha _{1})\). The usual classes of starlike univalent functions and convex univalent functions will be denoted respectively by \(\mathcal{S}^{*}:= \mathcal{S}^{*}(0)\) and \(\mathcal{C}:= \mathcal{C}(0)\). Another important subclass is \(\mathcal{K}(\alpha _{1})\) consisting of \(f \in \mathcal{A}\) closetoconvex of order \(\alpha _{1}\) satisfying \({\mathrm{Re}} ( z\mathtt{h}'(z)/{g(z)} )>0\) for some \(g \in \mathcal{S}^{\ast }(\alpha _{1})\). The class of closetoconvex univalent functions is denoted by \(\mathcal{K}:= \mathcal{K}(0)\).
If f and g are analytic in \(\mathbb{D}\), then f is subordinate to g, written \(f(z) \prec g(z)\), if there exists an analytic selfmap w in \(\mathbb{D}\) satisfying \(w(z) \leq z\) and \(f(z)=g(w(z))\). For \(f(z)=\sum_{k=0}^{\infty }a_{k} z^{k}\) and \(g(z)=\sum_{k=0}^{\infty }b_{k} z^{k}\), the convolution (or Hadamard product) \(f \ast g\) is given by the series \((f \ast g )(z)=\sum_{k=0}^{\infty }a_{k} b_{k} z^{k} \). The works of [4, 10, 12, 13, 18] provide good resources on these subjects.
This paper studies stable functions, a notion first introduced by Ruscheweyh and Salinas [17]. Let \(\mathbb{N}\) be the set of all positive integers, and \(\mathbb{N}_{0}=\mathbb{N}\cup {0}\). A function \(\mathtt{h} \in \mathcal{A}_{1}\) is nstable with respect to \(F \in \mathcal{A}_{1}\) if
where \(s_{n}(\mathtt{h},z)\) refers to the nth partial sum of the Taylor series of h about the origin. If a function h is nstable with respect to itself, then it is known as nstable function, while h is simply called stable (with respect to F) if h is nstable (with respect to F) for every \(n \in \mathbb{N}_{0}\).
In [11], stable functions were extended to include the \((n,\beta )\)Cesàro stable functions. By introducing an admissible lower triangular matrix, this paper aims to generalize the notion of stable functions.
Let \(n \in \mathbb{N}\) be fixed and \(\mathcal{G}_{n}\) be a nonempty set consisting of \((n+1) \times (n+1)\) lower triangular matrices \(G=(g_{r s})\), where the entries \(g_{r s} \geq 0\), \(r, s=0,1, \ldots , n\), and satisfy the admissibility conditions:

(i)
\(g_{r 0}=1\) for every \(r=0,1,\ldots , n\),

(ii)
for each fixed \(r \geq 1\), \(g_{r s} = g_{r1}g_{(r1)(s1)}\), \(s=1,\ldots , n\),

(iii)
for each fixed \(r \geq 1\), \(\{g_{r s}\}\) is a decreasing sequence.
The \((n+1)\)th row entities in the matrix G induce a polynomial \(P_{n}\) of degree n given by
For any \(\mathtt{h}(z)= \sum_{k=0}^{\infty }a_{k} z^{k} \in \mathcal{A}_{1}\), denote by \(P_{n}(\mathtt{h},z)\) the polynomial
It will be useful to rewrite (2) in the form
Here are some examples of admissible lower triangular matrices that will be used in the sequel.
Example 1.1
Let \(G=(g_{ik})\) be given by
If \(\mathtt{h}(z)= \sum_{k=0}^{\infty }a_{k} z^{k}\), \(a_{0}=1\), then
is the nth partial sum of the Taylor expansion of f about the origin.
Example 1.2
For \(\beta _{1} \geq 0\), let \(G=(g_{ik})\) be given by
Here \((a)_{l}\) denotes the Pochhammer symbol defined by \((a)_{0}=1\) and \((a)_{l}= a(a+1)_{l1}\), \(l \in \mathbb{N}\). If \(\mathtt{h}(z)= \sum_{k=0}^{\infty }a_{k} z^{k}\), \(a_{0}=1\), then
is the nth Cesàro mean of order \(\beta _{1}\) for f. When \(\beta _{1}=0\), it reduces to the nth partial sum. The geometric properties of Cesàro mean can be seen in [2, 14, 15].
The admissibility condition (iii) is satisfied since, for \(1 \leq k \leq i\),
Example 1.3
For \(\beta \geq 0\), let \(G=(g_{ik})\) be given by
If \(\mathtt{h}(z)= \sum_{k=0}^{\infty }a_{k} z^{k} \in \mathcal{A}_{1}\), then
Now the admissibility condition (iii) holds for \(1 \leq k \leq i\) because
The polynomial \(Q_{n}^{\beta }\) may also be expressed in terms of the Lerch transcendental function \(\Phi (z, s, a)\) [1, 5, 9] given by the series
with \(z<1\), \({\mathrm{Re}} s >0 \), and \(a \in \mathbb{C}\backslash \{0, 1, 2, \ldots \}\). Thus
Example 1.4
For \(\alpha _{1} \geq 0\), let \(G=(g_{ik})\) be given by
If \(f(z)= \sum_{k=0}^{\infty }a_{k} z^{k} \in \mathcal{A}_{1}\), then
The admissibility condition (iii) is easily seen to hold for \(1 \leq k \leq i\) since
In terms of the Lerch transcendental function,
Next consider the class \(\mathcal{R}^{*}(\alpha _{1})\) of prestarlike functions of order \(\alpha _{1}\), \(\alpha _{1} <1\), consisting of functions \(f \in \mathcal{A}\) satisfying \(f \ast k_{\alpha _{1}} \in \mathcal{S}^{*}(\alpha _{1})\). Here \(k_{\alpha _{1}}(z) := z/(1z)^{22\alpha _{1}}\) is an important member of the class \(\mathcal{S}^{*}(\alpha _{1})\). Evidently, \(\mathcal{R}^{*}(1/2) \equiv \mathcal{S}^{*}(1/2)\) and \(\mathcal{R}^{*}(0) \equiv \mathcal{C}\).
Another two functions of importance in the sequel are \(f_{\mu }\) and \(V_{\lambda , \alpha _{1}}\) given by
and
for \(z \in \mathbb{D}\).
A brief computation shows that
in \(z \in \mathbb{D}\).
The article [3] discusses the stability of the function \(\mathtt{V}_{\gamma , \beta }\) with respect to the function \(f_{\gamma }(z)=(1z)^{\gamma }\). It is worth to mention here that for \(\beta =1/2\) the stability of \(\mathtt{V}_{\gamma , 1/2}\) with respect to \(f_{\gamma }\) is equivalent to the stability (with itself) of \(f_{\gamma }\). Thus, the result [3, Theorem 1] is another generalization of the stability of \(f_{\lambda }\) proved in [17].
Definition 1.1
(Pstable)
Let \(P_{n}\) be the polynomial given by (1) which is induced by an admissible lower triangular matrix. A function \(f \in \mathcal{A}_{1}\) is said to be \(P_{n}\)stable with respect to \(F \in \mathcal{A}_{1}\) if
holds for a fixed \(n \in \mathbb{N}\). In particular, f will be called \(P_{n}\)stable if it is \(P_{n}\)stable with respect to itself. If f is \(P_{n}\)stable (with respect to F) for every \(n \in \mathbb{N}_{0}\), then f is simply said to be Pstable (with respect to F).
The article [19] also introduces a similar concept. In [19] the results encompass the generalization of the notion of the Cesàro stable functions, introduced in [11], by considering a generalized Cesàro operator
where \(\sigma _{n}^{b1,c}\) is the nth Cesàro mean of order \((b1,c)\). It is worth to mention here that \(\sigma _{n}^{b1,c}(z) \) can be induced through the admissible sequence
where
with \(1+b>c>0\).
The next section presents the main results involving subordination of the polynomial \(P_{n}(\mathtt{V}_{\lambda , \beta },z)= P_{n}(z) \ast \mathtt{V}_{ \lambda , \beta }(z)\). The results obtained will crystallize the notion of generalized stable functions. Using the polynomials induced by the admissible matrices given in Examples 1.1–1.4, the remaining sections will be devoted to the investigations of these generalized stable functions.
2 The Pstability of \(V_{\gamma ,\beta }\)
The result in this section finds conditions that establish the Pstability of \(\mathtt{V}_{\gamma ,\beta }\) with respect to \((1z)^{\gamma }\) for \(1/2\leq \beta <1\) and \(0< \gamma \leq 1\).
Recall a few basic properties and identities related to \(\mathtt{V}_{\gamma , \beta }\) from the recent article [3]. The function \(\mathtt{V}_{\gamma ,\beta }\) can be represented by the series
with
where
for \(k=1, 2,\ldots \) respectively and \([y]_{0}=1=(y)_{0}\).
Also, the function \(\mathtt{V}_{\gamma ,\beta }\) satisfies the differential equation
The basic properties of \(\mathtt{A}_{n}\) proved in [3] are summarized in the following lemma.
Lemma 2.1
Suppose that \(0 < \gamma \leq 1\)and \(1/2 \leq \beta \leq 1\). Then

(a)
\(\mathtt{A}_{n}\geq 0\),

(b)
\((m+1)(n+1)\mathtt{A}_{n+1}mn\mathtt{A}_{n}\geq 0\),
for all \(m, n \in \mathbb{N}\cup \{0\}\).
The Pstability of \(\mathtt{V}_{\gamma ,\beta }\) with respect to \((1z)^{\gamma }\) can be stated and proved as follows.
Theorem 2.2
Let \(P_{n}\)be given by (1) with \(g_{i1}\leq 1\)for \(i\geq 1\), \(\mathtt{V}_{\gamma , \beta }\)by (9), and \(P_{n}(f_{\mu },z)= P_{n}(z) \ast \mathtt{V}_{\gamma ,\beta }(z)\). For \(0 < \gamma \leq 1\)and \(1/2 \leq \beta \leq 1\), the function \(\mathtt{V}_{\gamma ,\beta }\)is Pstable with respect to \(f_{\gamma }(z)=(1z)^{\gamma }\).
Proof
It is enough to prove that
which is equivalent to
Define
Note that \(\mathtt{H}(z)<1\) is identical with the subordination given in (15), and to prove \(\mathtt{H}(z)<1\), it is required to show that the Taylor series of \(\mathtt{H}'\) about the origin has nonnegative coefficients.
A step by step computation yields the following identities:
Differentiation of (9) along with (18) gives
Next we will investigate the nonnegativity of the coefficients of the Taylor series of
about \(z=0\). A series of calculation and careful arrangement of the terms leads to
Using Lemma 2.1, it is proved in [3] that the Taylor coefficients of
about \(z=0\) are nonnegative. Consider the second expression
A computation gives
Now by the definition of \(\{g_{ij}\}\) we have \(g_{nk}\geq g_{n (k+1)}\), and from Lemma 2.1, it follows that \((m+1)(k+1)\mathtt{A}_{k+1}m k A_{k}\geq 0\). Also, \(1/2 \leq \beta \leq 1\) gives \(2\beta 1\geq 0\). This concludes that all the coefficients of Taylor series of \(\mathtt{K}_{1}(z)+(12\beta ) \mathtt{K}_{2}(z)\) are nonnegative. Consequently, the coefficients of Taylor series of \(\mathtt{H}'\) are nonnegative. Further, the nonnegativity of \(\mathtt{A}_{n}\) implies that \(P_{n} (\mathtt{V}_{\gamma ,\beta },z)\leq P_{n} (\mathtt{V}_{ \gamma ,\beta },z)\). Hence \(\mathtt{H}'(z) \leq \mathtt{H}(z)\).
Since \(\mathtt{H}(0)=0\) and \(\mathtt{H}(1)=1\), it follows that
Therefore
Equivalently,
for \(n \in \mathbb{N}\). Hence the conclusion. □
Choosing \(\{g_{nk}\}\) as per Example 1.1, Theorem 2.2 reduces to the following result given in [3] on the stability of \(\mathtt{V}_{\gamma , \beta } \).
Corollary
([3, Theorem 2.1])
For \(0< \gamma \leq 1\)and \(1/2\leq \beta <1\), \(\mathtt{V}_{\gamma , \beta } \)is stable with respect to \(f_{\gamma }(z)=1/(1z)^{\gamma }\).
Consider \(\{g_{nk}\}\) defined by Example 1.2, then Theorem 2.2 reduces to the following result which discusses the Cesàro stability of \(\mathtt{V}_{\gamma , \beta }\).
Theorem 2.3
Suppose \(\beta \geq 0\). The \(0\leq \gamma \leq 1\)and \(1/2 \leq \beta \leq 1\), the function \(\mathtt{V}_{\gamma , \beta }\)given by (9) is Cesàro stable with respect to \(f_{\gamma }=(1z)^{\gamma }\).
Consider \(\{g_{nk}\}\) as given in (11), then Theorem 2.2 can be restated as follows.
Theorem 2.4
Suppose \(b \geq c > 0\). The \(0\leq \gamma \leq 1\)and \(1/2 \leq \beta \leq 1\), the function \(\mathtt{V}_{\gamma , \beta }\)given by (9) is generalized Cesàro stable with respect to \(f_{\gamma }=(1z)^{\gamma }\).
For \(\beta =1/2\), we have \(\mathtt{V}_{\gamma , 1/2}(z)=f_{\gamma }(z)=(1z)^{\gamma }\) and Theorem 2.4 reduces to [19, Theorem 2.1] for \(\gamma \in [0,1]\).
3 Conclusion and a future problem
The polynomials induced by the lower triangular matrices play a vital role to generalize the main concept of stable functions which was defined based on subordination and the partial sum of the power series of the function. Notably, the immediate generalization of the partial sum of power series is the Cesàro sum, which is also induced in this article through a lower triangular matrix. It is evident from the articles [6–8, 11, 16, 17, 19] that there is a strong relation between stable functions and trigonometric sums. Based on this, authors suggest investigating and developing some relevant trigonometric sums that can be induced by lower triangular matrices and can be interlinked with stable functions as future work. The extension of Theorem 2.2 for \(\gamma \in [1,0)\) is another open part that needs further investigation. Finally, the solution of the following problem may extend several ideas related to the stable functions.
Problem 3.1
Find the conditions on ϱ and γ so that
References
Apostol, T.M.: Zeta and related functions. In: NIST Handbook of Mathematical Functions, pp. 601–616. U.S. Dept. Commerce, Washington (2010)
Bustoz, J.: Jacobi polynomial sums and univalent Cesàro means. Proc. Am. Math. Soc. 50, 259–264 (1975)
Chakraborty, S., Vasudevarao, A.: On stable functions. Comput. Methods Funct. Theory 18(4), 677–688 (2018)
Duren, P.L.: Univalent Functions. Springer, New York (1983)
Erdélyi, A.: Higher Transcendental Functions. Vols. I, II. McGrawHill, New York (1953)
Koumandos, S., Lamprecht, M.: On a conjecture for trigonometric sums and starlike functions, II. J. Approx. Theory 162(5), 1068–1084 (2010)
Koumandos, S., Ruscheweyh, S.: Positive Gegenbauer polynomial sums and applications to starlike functions. Constr. Approx. 23(2), 197–210 (2006)
Koumandos, S., Ruscheweyh, S.: On a conjecture for trigonometric sums and starlike functions. J. Approx. Theory 149(1), 42–58 (2007)
Lerch, M.: Note sur la fonction \({\mathfrak{K}} ( {w,x,s} ) = \sum_{k = 0} ^{\infty }{ \frac{{e^{2k\pi ix} }}{{ ( {w + k} )^{s} }}} \). Acta Math. 11(1–4), 19–24 (1887)
Lewis, J.L.: Applications of a convolution theorem to Jacobi polynomials. SIAM J. Math. Anal. 10(6), 1110–1120 (1979)
Mondal, S.R., Swaminathan, A.: Stable functions and extension of Vietoris’ theorem. Results Math. 62(1–2), 33–51 (2012)
Ruscheweyh, S.: Linear operators between classes of prestarlike functions. Comment. Math. Helv. 52(4), 497–509 (1977)
Ruscheweyh, S.: Convolutions in Geometric Function Theory. Presses Univ. Montréal, Montréal (1982)
Ruscheweyh, S.: Geometric properties of the Cesàro means. Results Math. 22(3–4), 739–748 (1992)
Ruscheweyh, S., Salinas, L.: Subordination by Cesàro means. Complex Var. Theory Appl. 21(3–4), 279–285 (1993)
Ruscheweyh, S., Salinas, L.: On starlike functions of order \(\lambda \in [1/2,1)\). Ann. Univ. Mariae CurieSkłodowska, Sect. A 54, 117–123 (2000)
Ruscheweyh, S., Salinas, L.: Stable functions and Vietoris’ theorem. J. Math. Anal. Appl. 291(2), 596–604 (2004)
Ruscheweyh, S., SheilSmall, T.: Hadamard products of Schlicht functions and the Pólya–Schoenberg conjecture. Comment. Math. Helv. 48, 119–135 (1973)
Sangal, P., Swaminathan, A.: On generalized Cesàro stable functions. Math. Inequal. Appl. 22(1), 227–247 (2019)
Acknowledgements
None.
Availability of data and materials
Not applicable.
Funding
The author T. Abdeljawad would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RGDES20170117.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mondal, S.R., Nisar, K.S. & Abdeljawad, T. Some subordination involving polynomials induced by lower triangular matrices. Adv Differ Equ 2020, 538 (2020). https://doi.org/10.1186/s13662020030023
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662020030023