Abstract
In the present paper, firstly we find a number of poles of generating functions of Bernoulli numbers and associated Euler numbers, denoted by \(n ( a,\mathbf{B} ) \) and \(n ( a,E ) \), respectively. Secondly, we derive the mean value of a positive logarithm of generating functions of Bernoulli numbers and associated Euler numbers shown as \(m ( 2\pi,\mathbf{B} ) \) and \(m ( \pi,E ) \), respectively. From these properties, we find Nevanlinna characteristic functions which we stated in the paper. Finally, as an application, we show that the generating function of Bernoulli numbers is a normal function.
Similar content being viewed by others
1 Introduction and preliminaries
In the mathematical field of complex analysis, Nevanlinna theory deals with the theory of meromorphic functions. It was constructed in 1925 by Finnish mathematician Rolf Herman Nevanlinna (October 22, 1895–May 28, 1980), who made significant contributions to complex analysis. Because of devising of R. Nevanlinna, Hermann Weyl has called it “one of the few great mathematical events of (the twentieth) century” [1]. In fact, Nevanlinna theory plays an important role in transcendental meromorphic functions, analytic theory of differential and functional equations, holomorphic dynamics, minimal surfaces, and complex hyperbolic geometry, which deals with generalizations of Picard’s theorem to higher dimensions, cf. [1–8] and the references cited therein.
Nevanlinna theory defines the asymptotic distribution of solutions of the equation
In this theory, a fundamental tool is the Nevanlinna characteristic given by
which measures the rate of growth of a meromorphic function, cf. [1–7].
We now begin with the properties of Nevanlinna theory.
Theorem 1
Let \(f ( z ) \) be a meromorphic function in \(\vert z \vert \leq R\) (\(0< R<\infty\)), and let \(a_{i}\) (\(i=1,2,\ldots,M\)), \(b_{j}\) (\(j=1,2,\ldots ,N\)) be the zeros and poles of \(f ( z ) \) in \(\vert z \vert < R\), respectively. If \(z=re^{i\theta}\) (\(0< r< R\)) is a point in \(\vert z \vert < R\), distinct from \(a_{i}\) and \(b_{j}\), then
which is called Poisson–Jensen formula, see [3].
Definition 1
Let \(n ( R,f ) \) denote a number of poles in \(\vert z \vert \leq R\) so that \(n ( R,\frac {1}{f} ) \) denotes a number of zeros in \(\vert z \vert \leq R\). These values are known as
From Definition 1, one may write
which is called Nevanlinna’s counting function.
Proposition 1
If \(f ( 0 ) =\infty\),
Proposition 2
If \(f ( 0 ) =0\), under the same conditions of Theorem 1, then
In fact, \(m>0\) if the origin is a zero of order m, and \(m<0\) if the origin is a pole of order m. Then the following holds true:
Definition 2
Let x be a positive real number. The positive logarithm log+ is defined by (see [3])
Notice that the positive logarithm defined above is a continuous function of nonnegative on \(( 0,\infty ) \).
Corollary 1
From Definition 1, one has
Then we can easily derive the following integral equation from Corollary 1:
Theorem 2
If \(f ( 0 ) \neq0,\infty\), one has
Definition 3
The Nevanlinna characteristic function of \(f ( z ) \), denoted by \(T ( r,f ) \), is given by
where \(m ( r,f ) \) is mean value of the function \(\log ^{+} \vert f ( re^{i\theta} ) \vert \) on \([ 0,2\pi ] \) (see [3]).
Theorem 3
Jensen–Nevanlinna formula is known by
The works on special numbers and polynomials have a very long history. In fact, special numbers and polynomials play a significantly important role in the progress of several fields of mathematics, physics, and engineering. They have many algebraic operations. That is, because of their finite evaluation schemes and closure under addition, multiplication, differentiation, integration, and composition, they are richly utilized in computational models of scientific and engineering problems. For more information related to special numbers and polynomials, see [9–11] and the references cited therein.
By this motivation, we find a number of poles of generating functions of Bernoulli numbers and associated Euler numbers, denoted by \(n ( a,\mathbf {B} ) \) and \(n ( a,E ) \), respectively. After that, we derive the mean value of a positive logarithm of generating functions of Bernoulli numbers and associated Euler numbers shown as \(m ( 2\pi,\mathbf{B} ) \) and \(m ( \pi ,E ) \), respectively. From these properties, we find Nevanlinna characteristic functions which we stated in the following parts. In the final part of this paper, as an application, we show that the generating function of Bernoulli numbers is a normal function.
2 Nevanlinna characteristic function of generating function of Bernoulli numbers
Let \(B_{n} ( x ) \) be Bernoulli polynomials defined by means of the following generating function:
In the case when \(x=0\), we have \(B_{n} ( 0 ) :=B_{n}\) that stands for Bernoulli numbers expressed by the following generating function (cf. [9–11]):
Here we first consider the generating function of Bernoulli numbers \(B(z)\). One of the zeros of \(B(z)\) is \(z=0\). From here, we see that
It means \(B ( z ) \) has a removable singular point at \(z=0\). Then we have the following corollary.
Corollary 2
The function \(B ( z ) \) is not a meromorphic function over complex plane including \(z=0\).
We now modify the generating function of Bernoulli numbers as follows:
Corollary 3
The function \(\mathbf{B} ( z ) \) is a meromorphic function at everywhere.
Let us now consider \(\mathbf{B} ( z ) \) over the following disk:
The function \(\mathbf{B} ( z ) \) has no zeros. However, it has poles as follows:
A number of poles over disk D are as follows:
-
If \(a=\pi\), the pole is 0: that is, \(n ( a,\mathbf {B} ) =1\) where \(\mathbf{B}:=\mathbf{B} ( z ) \).
-
If \(a=2\pi\), the poles are \(-2\pi i\), 0, \(2\pi i\): that is, \(n ( a,\mathbf{B} ) =3\).
Then we have the following corollary.
Corollary 4
A number of poles of the function \(\mathbf{B} ( z ) \) over disk \(D= \{ z\in \mathbb{C} \mid \vert z \vert \leq a \} \)
where the notation \([ x ] \) denotes the largest integer less than or equal to x.
Now we give the following theorem.
Theorem 4
The function \(\mathbf{B} ( z ) \) holds for \(a=2\pi\) over disk D
Proof
Since \(\mathbf{B} ( 0 ) =\infty\), it follows from Proposition 1 that
When \(n ( 0,\mathbf{B} ) =1\), we write
When \([ \frac{t}{2\pi} ] =0\) on \([ 0,2\pi ) \), we deduce
which completes the proof. □
Theorem 5
The mean value of the function \(\mathbf{B} ( z ) \) on \([ 0,2\pi ) \) is that
where \(O ( \cdot ) \) means big O notation; for information about this notation, see [3].
Proof
Setting \(a=2\pi\) gives \(z=2\pi e^{i\theta}=2\pi ( \cos\theta +i\sin \theta ) \). By the triangle inequality \(\vert \vert z_{1} \vert - \vert z_{2} \vert \vert \leq \vert z_{1}-z_{2} \vert \), we have
From here, we obtain the following useful inequality:
Then we derive the mean value of the function \(\mathbf{B} ( z ) \) on \([ 0,2\pi ) \)
Since
with \(\vert \cos\theta \vert \geq0\), we find
Then we have
Here, when the integral \(\frac{1}{2\pi}\int_{0}^{2\pi}\log\frac {1}{ \vert \cos\theta \vert }\,d\theta\) is continuous, we get
which is the desired result. □
Theorem 6
The Nevanlinna characteristic function of the function \(\mathbf {B} ( z ) \) is that
Proof
Since it follows from Definition 3, Theorem 4, and Theorem 5, we omit the proof. □
3 Nevanlinna characteristic function of generating function of associated Euler numbers
The Euler polynomials \(E_{n} ( x ) \) are defined by means of the following generating series:
In the case when \(x=0\), we have \(E_{n} ( 0 ) :=E_{n}\) that means associated Euler numbers given by
Corollary 5
The function \(E(z)\) is a meromorphic function at everywhere.
Let us now consider \(E(z)\) over the following disk:
The function \(E(z)\) has no zeros. However, it has poles as follows:
A number of poles over disk D are as follows:
-
If \(a=\pi\), the poles are \(-\pi i\), πi: that is, \(n ( a,E ) =2\) where \(E:=E ( z ) \).
-
If \(a=3\pi\), the poles are \(-3\pi i\), \(-\pi i\), πi, \(3\pi i\): that is, \(n ( a,E ) =4\).
Then we have the following corollary.
Corollary 6
A number of poles of the function \(E ( z ) \) over disk \(D= \{ z\in \mathbb{C}\mid \vert z \vert \leq a \}\):
Now we give the following theorem.
Theorem 7
The function \(E ( z ) \) holds for \(a=\pi\) over disk D
Proof
Since \(E ( 0 ) \neq0,\infty\), it follows from Eq. (1.1) that
From Corollary 6, we have
When \([ \frac{t+\pi}{2\pi} ] =0\) on \([ 0,\pi ) \), we deduce
which completes the proof. □
Because of Theorem 7 and Definition 3, we have the following corollary.
Corollary 7
Theorem 8
The mean value of the function \(E ( z ) \) on \([ 0,\pi ) \) is that
Proof
As has been used in Theorem 5, we have
Then we write the mean value of the function \(E ( z ) \) on \([ 0,\pi ) \)
Since
with \(\vert \cos\theta \vert \geq0\), we find
Then we have
Here when the integral \(\frac{1}{\pi}\int_{0}^{\pi}\log\frac{1}{ \vert \cos\theta \vert }\,d\theta\) is continuous, we get
which is the desired result. □
Theorem 9
The Nevanlinna characteristic function of the function \(E ( z ) \) is that
Proof
Since it follows from Definition 3, Theorem 7, and Theorem 8, we omit the proof. □
4 Application
Let f be a meromorphic function in a domain \(D\subset \mathbb{C}\). A function f is a normal function if there exists a positive number K such that
for any \(\zeta\in D\), where
denotes the spherical derivative of f, cf. [7].
We now find spherical derivative of the function \(\mathbf{B} ( z ) \) given by Eq. (2.1). Since
we have
Here we consider \(z=re^{i\theta}\) with \(-\frac{\pi}{2}\leq\theta \leq \frac{\pi}{2}\) and \(r>1\). Then it becomes
By the triangle inequality \(\vert \vert z_{1} \vert - \vert z_{2} \vert \vert \leq \vert z_{1}-z_{2} \vert \), we have
It is easy to see that
We derive
Because of the inequality \(\frac{1}{2}\leq\frac{1}{1+\cos^{2}\theta }\leq 1 \), we reach the following inequality:
Since r is a real number greater than 1, we can write \(K:=e^{r} ( e^{r}+1 ) \) as follows
Thus we get the following theorem.
Theorem 10
The function \(\mathbf{B} ( z ) =\frac{1}{z}+\sum_{n=0}^{\infty}\frac{B_{n+1}}{n+1}\frac{z^{n}}{n!}\) is a normal function.
5 Conclusion and observation
Although Nevanlinna theory was studied intensively in complex analysis by many mathematicians, it was not considered to apply the tools of Nevanlinna theory to generating functions of special numbers. This work was first done in this issue. We dealt mainly with the generating functions on Nevanlinna theory. It seemed interesting with the following properties:
In fact, the identities of special numbers have been studied in great detail. From some of relations, it is possible to obtain further properties on Nevanlinna theory by making use of some of the identities. For example,
is known as a generating function of Genocchi numbers, denoted by \(G_{n}\). Comparing Eq. (3.1) with Eq. (5.1), one can easily derive
By using this relation, one may derive easily the Nevanlinna characteristic function of the generating function of Genocchi numbers the same as the Nevanlinna characteristic function of the generating function of associated Euler numbers.
References
Biographies: Rolf Herman Nevanlinna. http://www-history.mcs.st-andrews.ac.uk/Biographies/Nevanlinna.html
Hayman, W.K.: Meromorphic Functions. Clarendon, Oxford (1964)
Lo, Y.: Value Distribution Theory. Springer, Berlin (1993)
Li, P.: Entire solutions of certain type of differential equations. J. Math. Anal. Appl. 344, 253–259 (2008)
Li, P.: Entire solutions of certain type of differential equations II. J. Math. Anal. Appl. 375, 310–319 (2011)
Lu, X.L., Liao, L.W., Wang, J.: On meromorphic solutions of a certain type of nonlinear differential equations. Acta Math. Sin. Engl. Ser. 33(12), 1597–1608 (2017)
Wang, Y.-M.: On normality of meromorphic functions with multiple zeros and sharing values. Turk. J. Math. 36, 263–271 (2012)
Wu, J., Wu, Z.: Characteristic function of a meromorphic function and its derivatives. Bull. Iran. Math. Soc. 39(6), 1117–1123 (2013)
Araci, S., Acikgoz, M., Sen, E.: Some new formulae for Genocchi numbers and polynomials involving Bernoulli and Euler polynomials. Int. J. Math. Math. Sci. 2014, Article ID 760613 (2014)
Kim, T.: Some identities for the Bernoulli, the Euler and the Genocchi numbers and polynomials. Adv. Stud. Contemp. Math. 20(1), 23–28 (2010)
Srivastava, H.M.: Some generalizations and basic (or q-) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 5(3), 390–444 (2011)
Acknowledgements
The authors are very grateful to reviewers for their careful reading of our paper and for their valuable suggestions and comments, which have improved the paper’s presentation substantially.
Funding
The first author, Serkan Araci, is supported by the Research Fund of Hasan Kalyoncu University in 2018.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Araci, S., Acikgoz, M. Computation of Nevanlinna characteristic functions derived from generating functions of some special numbers. J Inequal Appl 2018, 128 (2018). https://doi.org/10.1186/s13660-018-1722-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1722-y