Arxiv:Math/0406236V9 [Math.NT] 6 Nov 2008 U N Oeo T Atclrsolutions Particular Its of Some and Sum Function ABSTRACT

Home , Alternating factorial, Functional equation

arXiv:math/0406236v9 [math.NT] 6 Nov 2008 u n oeo t atclrsolutions particular its of some and sum function ABSTRACT. es ftepicplvlea on 6,[2.Uigtemet the function Using Kurepa’s alternating [22]. of [6], representation point new at a value principal the of sense ihrsett h function the to respect with h anojc fcnieaini hsppri h ucinlequa functional the is paper this sum in factorial consideration nating of object main The S 20) 02,1J1 81V99. 11J91, 30E20, (2000): energy. MSC Casimir function, Kurepa’s function, Gamma KEYWORDS: too. functions previous of transcendency ersnaino ueasfunction Kurepa’s of representation nee ubr.Aslto ffntoa qain()oe h se the over (1) equation functional of solution ( A numbers numbers. integer ffunctions of h am function, gamma the ue hsfnto,i h ok[2 p 0) sa lentn su alternating an as 100), (p. [12] book the A in function, this duced h ucinleuto o lentn factorial alternating for equation functional The 1 1 n eerhprilyspotdb h NR,Sri,GatNo Grant Serbia, MNTRS, the by supported partially Research = u n t atclrsolutions particular its and sum n ! A − 1 D ( ( z A IHATRAIGKRP’ FUNCTION KUREPA’S ALTERNATING WITH n OECNIEAIN NCONNECTION IN CONSIDERATIONS SOME ) = ( ) − z edtriea xeso fdmi ffunctions of domain of extension an determine We . nti ae ecnie h ucinleuto o altern for equation functional the consider we paper this In and ) N ) + 1)! stefnto fatraiglf factorial left alternating of function the is ) nvriyo egae 10 egae Serbia Belgrade, 11000 Belgrade, of University A . . . C 1 ( z 1 ( + stesto ope ubr and numbers complex of set the is aut fEetia Engineering Electrical of Faculty i nopeegmafnto n ecnie differential consider we and function gamma incomplete via ) A − -al [email protected] E-mail: ( z 1) A A rnoJ Maleˇsević J. Branko + ) n ( n − : K = ) 1 A D 1! ( ( z ( z −→ . 6,[] lo ecnie oerepresentations some consider we Also, [8]. [6], ) lentn ueasfunction Kurepa’s alternating X i − e suetenotation the use us Let =1 n 1 )=Γ( = 1) ( C − 1) ihdomain with n − z i i A 1) + ! 1 ( . z ,wihi naao fSlavić’s of analog an is which ), , osfo 6 n 1]w give we [19] and [6] from hods 144020. . D Z ⊆ A − A ( C z n ssto negative of set is A \ and ) .Gyintro- Guy R. . Z ( ffactorials of m z − rm[8 and [18] from ) infralter- for tion tn factorial ating hr is Γ where , fnatural of t A 1 ( z nthe in ) (1) (2) Sum (2) corresponds to the sequence A005165 in [23]. We call the functional equation (1) the functional equation for alternating factorial sum. In consideration which follows we consider two particular solutions of the functional equation (1).

1.1 The function A(z) An analytical extension of the function (2) over the set of complex numbers is determined by integral [18]:

∞ tz+1 − (−1)zt A(z)= e−t dt, (3) Z t +1 0 which converges for Re z > 0. For the function A(z) we use the term alternating Kurepa’s function and it is a solution of the functional equation (1). Let us observe that since A(z − 1) = Γ(z + 1) − A(z), it is possible to make analytical continuation of alternating Kurepa’s function A(z) for Re z ≤ 0. In that way, the alternating Kurepa’s function A(z) is a meromorphic function with simple poles at z = −n (n≥2). At a point z = ∞ alternating Kurepa’s function has an essential singularity. Alternating Kurepa’s function has the following residues

n−2 1 res A(z) = (−1)n (n≥2). (4) z=−n k! Xk=0 Previous results for alternating Kurepa’s function are given according to [18].

1.2 The function A1(z) The functional equation (1), besides alternating Kurepa’s function A(z), has another solution which is given by the following statement.

Theorem 1.1 Let D = C\Z. Then, series

∞ n A1(z)= (−1) Γ(z +1 − n) (5) nX=0 absolutely converges and it is a solution of the functional equation (1) over D.

Proof. Statement of the Theorem is a consequence of the Theorem 1.1 from [19].

Remark 1.2 Function A1(z), deﬁned by (5) over C, has poles at integer points z =m ∈ Z.

2 Extending the domain of functions A(z) and A1(z) in the sense of the principal value at point

Let us observe a possibility of extending the domain of the functions A(z) and A1(z), in the sense of the principal value at point, over the set of complex numbers.

2 Namely, for a meromorphic function f(z), on the basis of Cauchy’s integral formula, we deﬁne the principal value at point a as follows [2], [6]:

1 f(z) p.v. f(z) = lim dz. (6) z=a ρ→0+ 2πi I z − a |z−a|=ρ

It is obvious that the principal value at pole z = a exists as a ﬁnite complex number f(z) res . For two meromorphic functions f1(z) and f2(z) additivity is true [2]: z=a z − a

p.v. f1(z)+ f2(z) = p.v. f1(z) + p.v. f2(z). (7) z=a z=a z=a In the paper [2] it is proved that multiplicativity of the principal value does not hold. The following statement is proved in [22].

Theorem 2.1 Let f1(z) be a holomorphic function at the point a and let f2(z) be a meromorphic function with pole of the m-th order at the same point a. Then

m (k) f1 (a) k p.v. f1(z) · f2(z) = p.v. (z − a) · f2(z) . (8) z=a k! z=a kX=0

Corollary 2.2 Let f1(z) be a holomorphic function at the point a and let f2(z) be a meromorphic function with simple pole at the same point a. Then

′ p.v. f1(z) · f2(z) = f1(a) · p.v. f2(z)+ f1(a) · res f2(z). (9) z=a z=a z=a

The previous formula, in the case of the zeta function f2(z)= ζ(z), is also given in [11].

The following statement is proved in [19].

Lemma 2.3 For the function f(z) with simple pole at point z = a the following is true f(a − ε)+ f(a + ε) p.v. f(z) = lim . (10) z=a ε→0 2

Note 2.4 For any meromorphic function f(z), that possesses at worst simple poles, by formula (10) the principal value at point is defined as principal part [11], which comes from the quantum field theory [10]. Especially, using formula (10), for the zeta function, the Casimir energy in physics is given [10], [11]. For a precise de- finition of the Casimir energy see [13], [15], [20].

Corollary 2.5 For gamma function Γ(z) it is true [2], [11], [19]:

′ Γ(−n − ε)+Γ(−n + ε) n Γ (n + 1) N p.v.Γ(z) = lim = (−1) 2 (n∈ 0). (11) z=−n ε→0 2 Γ(n + 1)

3 For N it is true Remark 2.6 n ∈ 0 [2]: n − 1 ′ γ + Γ (n + 1) k = Xk=1 , (12) Γ(n + 1)2 n! where γ is Euler’s constant.

Extension of the domain of the functions A(z) and A1(z), in the sense of the principal value at point, is given by the following two theorems.

Theorem 2.7 For alternating Kurepa’s function A(z) it is true

n−1 n−1 ′ n+1−i n+1 Γ (i) N p.v.A(z)= (−1) p.v. Γ(z) =(−1) 1 − 2 (n ∈ ). (13) z=−n Γ(i) Xi=0 z=−(i−1) Xi=1

Proof. If the equality A(z) = (−1)nA(z+n)+ Γ(z+2)−...+(−1)n+1Γ(z+n+1) we consider at the point z = −n in the sense of the principal value, on the basis of (11), the equality (13) follows. Let us remark that p.v. A(z)= A(−1) = 1. z=−1 The following Ramanujan formula is true:

∞ ∞ 1+ 1 + ... + 1 (−1)n−1 2 n xn = ex xn, (14) n! n! n nX=1 nX=1 for x ∈ C (see [9], page 46., corollary 2.). On the basis of the previous formula follows: ∞ n Lemma 2.8 Let us deﬁne L2 = (−1) p.v. Γ(z), then nX=0 z=−(n−1)

∞ (−1)n−1 L =1+ eγ − e =1+ eEi(−1) ≈ 0.403652377 , (15) 2 n! n nX=1 where Ei is the function of exponential integral ∗) .

Proof. On the basis of the corollary 2.5 and the remark 2.6 we have

′ ∞ Γ (n+1) ∞ 1+ 1 + ... + 1 L =1 − =1 − 2 n − γe . (16) 2 Γ(n+1)2 n! nX=0 nX=1 By substitution x = 1 in formula (14) we obtain:

∞ ∞ 1+ 1 + ... + 1 (−1)n−1 2 n = e . (17) n! n! n nX=1 nX=1

∗) see formula (39) in this paper

4 Next, the following representation of Gompertz constant −eEi(−1) (see sequence A073003 in [23]) is true ∞ (−1)n−1 − eEi(−1) = e − γ . (18) n! n nX=1 Then, on the basis of (16), (17) and (18) follows (15).

Theorem 2.9 For the function A1(z) it is true n p.v. A1(z) = (−1) L2 + p.v. A(z) (n∈Z). (19) z=n z=n Proof. For n ≥ 0 it is true ∞ ∞ i n i p.v. A1(z) = (−1) p.v. Γ(z)=(−1) (−1) p.v. Γ(z) z=n z=n+1−i z=−(i−1) Xi=0 Xi=0 n (20) n−i n + (−1) Γ(i +1)=(−1) L2 + A(n). Xi=1 For n< 0 it is true ∞ ∞ i (−n) i p.v. A1(z)= (−1) p.v. Γ(z)=(−1) (−1) p.v. Γ(z) z=n z=n+1−i z=−i+1 Xi=0 i=(X−n) ∞ (−n)−1 − − =(−1)(−n) (−1)i p.v. Γ(z) − (−1)( n) (−1) i p.v. Γ(z) (21) z=−(i−1) z=−(i−1) Xi=0 Xi=0 (−n)−1 n (−n)+1−i n =(−1) L2 + (−1) p.v. Γ(z) =(−1) L2 + p.v. A(z). z=−(i−1) z=n Xi=0

3 Formula of Slavi´c’s type for alternating Kurepa’s function

The main result in this section is a new formula of Slavi´c’s type for alternating Kurepa’s function A(z), which is an analog of Slavi´c’s representation of Kurepa’s function K(z) [6], [8], [17]. The following statements are true. Lemma 3.1 Function ∞ ∞ (−1)k−1(n + k − 1) F (z)= zk , (22) (n + k)! nX=1 kX=2 is entire, whereas the following is true ∞ ∞ (−1)k−1(n + k − 1) F (z)= zk = −e−z − z +1. (23) (n + k)! Xk=2 nX=1

5 Proof. For z = 0 the equality (23) is true. Let us introduce a sequence of functions

∞ (−1)k−1(n + k − 1) f (z)= zk, (24) n (n + k)! kX=2 for z ∈ C (n ∈ N). Previous series converge over C because, for z 6= 0, it is true that n+1 j+n j 1 j−n n −z −n+1 −n fn(z)= (−1) − z +(−1) e (z +z ). (25) j! j! Xj=0 Let us mention that the previous equality is easily checked by the following substi- k C1) −z ∞ (−z) tution e = k=0 k! at the right side of equality of formula (25). Let ρ> 0 be ﬁxed. OverP the set D={z ∈C | 0<|z|<ρ} let us form an auxiliary function −z g(z) = (z + 1)e : D −→ C. If we denote by Rn(.) the remainder of n-th order of MacLaurin’s expansion, then for z ∈ D the following representation is trueC2) R (g(z)) f (z)= n+1 . (26) n (−z)n Then, for |z| <ρ it is true eρ(n +1+ ρ) |f (z)|≤ ρ2. (27) n (n + 2)! Indeed, for z = 0 the previous inequality is true. Over E = (0,ρ) let us form an auxiliary function h(t) = (t − 1)et + 2 : E −→ R+. For z ∈ D and t = |z| ∈ E there exists c ∈ (0,t) such thatC3) R (h(t)) h(n+2)(c) eρ(n +1+ ρ) |f (z)|≤ n+1 = t2 ≤ ρ2. (28) n tn (n + 2)! (n + 2)! For the function ∞ F (z)= fn(z), (29) nX=1 it is possible, for |z|<ρ, to apply Weierstrass’s double series Theorem [16] (page 83.). Indeed, on the basis of (24), the functions fn(z) are regular for |z|<ρ. On the basis ∞ of (27), the series n=1 fn(z) is uniformly convergent for |z|≤r<ρ, for every r<ρ. Then on the basisP of the Weierstrass’s ’s double series Theorem, for |z| <ρ, the following is true ∞ ∞ (−1)k−1(n + k − 1) F (z)= zk = −e−z − z +1, (30) (n + k)! Xk=2 nX=1 becauseC4) ∞ (−1)k−1(n + k − 1) (−1)k−1 = . (31) (n + k)! k! nX=1 Let us note that ρ> 0 can be arbitrarily large positive number. Hence, the equality (23) is true for all z ∈ C; i.e. the function F (z) is entire.

6 Lemma 3.2 For z ∈ C it is true

∞ ∞ (−1)k (z+1) zk = −e−z + (1−e) z +1. (32) (k+n)! nX=1 kX=1

Proof. On the basis of the Lemma 3.1 it is true that ∞ ∞ ∞ ∞ (−z)k (−1)k (z+1) = (zk+1 + zk) (k+n)! (k+n)! Xn=1 Xk=1 Xn=1 Xk=1 ∞ ∞ − − z (−1)k 1 (−1)k 1 = − + − zk (n+1)! (k+n−1)! (k+n)! Xn=1 Xk=2 ∞ ∞ − ∞ (33) (−1)k 1(n+k−1) z = zk − (23) (n+k)! (n+1)! Xk=2 Xn=1 Xn=1

= −e−z + (1−e) z + 1. (23)

Theorem 3.3 For alternating Kurepa’s function A(z) the following representation is true

∞ πe A(z)= − 1+ e Ei(−1) (−1)z + + (−1)nΓ(z +1 − n), (34) sin πz nX=0 where the values in the previous formula, in integer points z, are determined in the sense of the principal value at point.

Proof. For −(n+1)

+∞ n (−t)m Γ(z)= e−t − tz−1 dt. (35) Z m! 0 mX=0 Hence, for 0 < Re z < 1 and n =1, 2,... the following formula is true

+∞ n −1 (−t)m Γ(z − n)= e−t − tz−n−1 dt. (36) Z m! 0 mX=0 Further we observe the following diﬀerence

+∞ +∞ +∞ tz+1 −(−1)zt A(z) − (−1)nΓ(z+1−n)= e−t dt − e−ttz dt Z t+1 Z nX=0 0 0 (37) ∞ +∞ n (−t)m − (−1)n e−t − tz−n dt. Z m! nX=1 0 mX=0

7 For 0 < Re z < 1 the following derivation is true

+∞ A(z) − (−1)nΓ(z+1−n) Xn=0 ∞ ∞ + ∞ z z−1 n m − t −(−1) t − (−t) − = − e t dt − (−1)n e t − tz n dt t+1 m! Z Z n=1 m=0 0 0 X X ∞ ∞ ∞ z m − − t − t (−t) − = (−1)z 1e t − e t − (−1)n tz n dt t+1 t+1 m! Z n=1 m=n+1 0 X X ∞ ∞ ∞ (38) z m+n − − t t − (−1) − = (−1)z 1e t − e t +(t+1) tm n dt t+1 t+1 m! Z n=1 m=n+1 0 X X ∞ ∞ ∞ z k − − t t − (−t) = (−1)z 1e t − e t +(t+1) dt t+1 t+1 (k+n)! Z n=1 k=1 0 X X ∞ z − − t t = (−1)z 1e t + (e − 1) t − 1 dt. (32) Z t+1 t + 1 0

Integral at the right side of the equality (38), which converges in ordinary sense, will be substituted by the sum of two integrals which converge in the ordinary sense too. Namely, using the function of exponential integral, i.e. formula 8.211-1 [3]:

x et Ei(x)= dt (x< 0), (39) Z t −∞ and using the formulas 3.351-5 and 3.241-2 from [3]:

∞ ∞ e−t tz−1 π dt = −e Ei(−1) and dt = (40) Z t +1 Z t +1 sin πz 0 0 we can conclude that formula (34) is true for 0 < Rez < 1. According to Riemann’s Theorem we can conclude that formula (34) is true for each complex z. Namely, formula (34), in integer points z, is true in the sense of Cauchy’s principal value at point on the basis of the Lemma 2.8 and the Theorem 2.9.

Corollary 3.4 For alternating Kurepa’s function A(z) the following representation is true

∞ (−1)n−1 πe ∞ A(z)= e − 1 − eγ (−1)z + + (−1)nΓ(z +1 − n), (41) n! n sin πz nX=1 nX=0 where the values in the previous formula, in integer points z, are determined in the sense of the principal value at point.

8 Corollary 3.5 Function A1(z) is a meromorphic function with simple poles in integer points z = m (m∈Z) and with residue values

m−1 res A1(z) = (−1) e + res A(z) (m∈Z). (42) z=m z=m

At the point z = ∞ function A1(z) has an essential singularity.

4 Some representations of functions A(z) and A1(z) via incomplete gamma function

In this section we give some representations of functions A(z) and A1(z) via gamma and incomplete gamma functions, where the last ones are deﬁned by integrals:

z ∞ γ(a,z)= e−ttα−1 dt and Γ(a,z)= e−ttα−1 dt. (43) Z Z 0 z Parameters α and z are complex numbers and tα takes its principal value. Let us remark that the value γ(α, z) exists for Re α > 0 and the value Γ(α, z) exists for |arg z| < π. Then, we have: γ(a,z)+Γ(a,z)= Γ(a). Analytical continuation can be obtained on the basis of representation of the γ function using series. On the basis of the well-known formula 13., page 325., from [7]:

∞ tz+1 e−t dt = eΓ(z + 2)Γ(−z − 1, 1) (44) Z t +1 0 we directly get some representations of functions A(z) and A1(z) via an incomplete gamma function.

Theorem 4.1 For functions A(z) and A1(z) the following representations are true

A(z)= − 1+e Ei(−1) (−1)z + e Γ(z + 2)Γ(−z−1, 1) (45) and πe A (z)= − + e Γ(z + 2)Γ(−z−1, 1), (46) 1 sin πz where the values in the previous formula, in integer points z, are determined in the sense of the principal value at point.

Remark 4.2 Formula (45) also is given in [18].

9 5 Diﬀerential transcendency of functions A(z) and A1(z)

In this section we provide one statement about diﬀerential transcendency of some solutions of functional equation (1). Namely, using the method for proving of the diﬀerential transcendency from papers [21] and [22] we can conclude that the following statement is true:

Theorem 5.1 Let MD be a differential field of the meromorphic functions over a − domain D ⊆C\Z . If g =g(z)∈MD is one solution of the functional equation (1), then g is not a solution of any algebraic-differential equation over the field of rational functions C(z).

Corollary 5.2 Especially the functions A(z) and A1(z) are not solutions of any algebraic-diﬀerential equation over the ﬁeld of rational functions C(z).

REFERENCES

[1] H. Bateman, A. Erdelyi: Higher Transcendental Functions, Moscow, 1965. [2] D. Slavic´: On summation of series, Univerzitet u Beogradu, Publikacije Elek- trotehniˇckog Fakulteta, Serija Matematika, 302 - 319 (1970), 53-59 (available at http://pefmath2.etf.bg.ac.yu/files/85/312.pdf). [3] I. S. Gradxten, I. M. Ryжik: Tablicy integralov, summ, r dov i proizvedeni, Moskva 1971. [4] D- . Kurepa: On the left factorial function !n, Mathematica Balkanica 1 (1971), 147-153. [5] D- . Kurepa: Left factorial function in complex domain, Mathematica Balkan- ica 3 (1973), 297-307. [6] D. Slavic´: On the left factorial function of the complex argument, Mathe- matica Balkanica 3 (1973), 472-477. [7] A. P. Prudnikov, . A. Bryqkov, O. I. Mariqev: Intgraly i r dy, Moskva 1981. [8] O. I. Marichev: Handbook of Integral Transformation of Higher Transcen- dental Functions: Theory and Algorithmic Tables, Ellis Horwood Ltd., Chich- ester, 1983.

[9] B. C. Berndt: Ramanujan’s Notebooks - Part I, Springer-Verlag, 1985.

10 [10] S.K. Blau, M. Visser, A. Wipf: Gravitational Fields And The Casimir Energy, Los Alamos Report LA-UR-88-1542, (1988). [11] S.K. Blau, M. Visser, A. Wipf: Zeta Functions And The Casimir Energy, Nucl. Phys. B 310, (1988), 163-180. ( available at http://www.mcs.vuw.ac.nz/∼visser/zeta.pdf) [12] R.K. Guy: Unsolved problems in number theory, Springer-Verlag, second edition 1994. (first edition 1981.) [13] E. Elizalde, S.D. Odintsov, A. Romeo, A.A. Bytsenko, S. Zerbini: Zeta Regularization Techniques With Applications, World Scientific, 1994. [14] A. Ivic,´ Z.ˇ Mijajlovic´: On Kurepa problems in number theory, Publications de l’Institut Mathématique, SANU Beograd, 57, (71) (1995), 19-28, available at http://elib.mi.sanu.ac.yu/pages/browse journals.php. [15] K. Kirsten, E. Elizalde: Casimir energy of a massive field in a genus-1 surface, Phys. Lett. B 365 (1996) 72-78. [16] K. Knopp: Theory of Functions, Part I, Dover, 1996. (see also web site http://mathworld.wolfram.com/WeierstrasssDoubleSeriesTheorem.html) [17] G. V. Milovanovic´: A sequence of Kurepa’s functions, Scientific Review, No. 19-20 (1996), 137-146. ( available at http://gauss.elfak.ni.ac.yu/publ.html)

[18] A. Petojevic´: The function vMm(s; a,z) and some well-known sequences, Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.7. ( available at http://www.cs.uwaterloo.ca/journals/JIS/VOL5/Petojevic/petojevic5. pdf ) [19] B. Maleˇsevic´: Some considerations in connection with Kurepa’s function, Univerzitet u Beogradu, Publikacije Elektrotehniˇckog Fakulteta, Serija Matematika, 14 (2003), 26-36 (available at http://pefmath2.etf.bg.ac.yu/ files/123/939.pdf/). [20] E. Elizalde, A.C. Tort: A Note on the Casimir Energy of a Massive Scalar Field in Positive Curvature Space, Modern Physics Letters A, Vol. 19, No. 2 (2004) 111-116. [21] Z.ˇ Mijajlovic,´ B. Maleˇsevic´: Differentially transcendental functions, ac- cepted in the Bulletin of the Belgian Mathematical Society − Simon Stevin, Vol. 15, No. 2 (2008), available at http://arxiv.org/abs/math.GM/0412354. [22] Z.ˇ Mijajlovic,´ B. Maleˇsevic´: Analytical and differential–algebraic pro- perties of Gamma function, International Journal of Applied Mathematics & Statistics Volume 11, No. 7, November 2007. J. Rassias (ed.), Func- tional Equations, Integral Equations, Differential Equations & Applications.

11 http://www.ceser.res.in/ijamas/cont/2007/ams-n07-cont.html , Spe- cial Issues dedicated to the Tri-Centennial Birthday Anniversary of L. Euler, 2007., available at http://arxiv.org/abs/math.GM/0605430. [23] N.J.A. Sloane: The-On-Line Encyclopedia of Integer Sequences, published elec. at http://www.research.att.com/∼njas/sequences/.

Received : 8/2/2008

12 Some additional comments (outside the oﬃcial version)

Equation (25) ——————————————— C1) n+1 j 1 − − − − (−1)j+n − zj n +(−1)ne z(z n+1 +z n) j! j! Xj=0 n+1 ∞ j j 1 − (−1) − − = (−1)j+n − zj n +(−1)n zj (z n+1 +z n) j! j! j! Xj=0 Xj=0 n+1 n+1 ∞ ∞ j j j − 1 − (−1) − (−1) − = (−1)j+n zj n − (−1)j+n zj n +(−1)n zj+1 n +(−1)n zj n j! j! j! j! Xj=0 Xj=0 Xj=0 Xj=0 ∞ ∞ j j (−1) − (−1) − = (−1)n zj+1 n + (−1)n zj n j! j! j=Xn+1 j=Xn+2 ∞ ∞ (−1)n+k−1 (−1)n+k = (−1)n zk + (−1)n zk (n + k − 1)! (n + k)! k=2 k=2 ∞ X X − 1 1 = (−1)k 1 − zk (n + k − 1)! (n + k)! k=2 X∞ (−1)k−1(n + k − 1) = zk (z 6= 0) . (n + k)! Xk=2

Equation (26) ——————————————— C2) ∞ ∞ ∞ (−1)j (−1)j (−1)j g(z) = (z + 1) e−z = (z + 1) zj = zj+1 + zj j! j! j! Xj=0 Xj=0 Xj=0 ∞ ∞ ∞ j−1 j (−1) j (−1) j j−1 1 1 j (p) = z + z =1+ (−1) − z (j−1)! j! (j−1)! j! Xj=1 Xj=0 Xj=1 ∞ − j − 1 1 1 1 1 1 = 1+ (−1)j 1 zj = 1− z2 + z3 − z4 + z5 − z6 +... , j! 2 3 8 30 144 Xj=1 ∞ ∞ j−1 j − 1 j n+k−1 n + k − 1 n+k (q) Rn+1 g(z) = (−1) z = (−1) z ; (p) j! (n + k)! j=Xn+2 Xk=2

then: ∞ Rn+1 g(z) k−1 n + k − 1 k fn(z) = (−1) z = (z ∈D) . (n + k)! (q) (−z)n Xk=2

13 Inequalities (27), (28) ——————————————— C3) ∞ ∞ ∞ 1 1 1 h(t) = (t−1) et +2 = (t−1) tj +2 = tj+1 − tj + 2 j! j! j! Xj=0 Xj=0 Xj=0 ∞ ∞ ∞ 1 j 1 j 1 1 j (p) = 2+ t − t = 1+ − t (j−1)! j! (j − 1)! j! Xj=1 Xj=0 Xj=1 ∞ j − 1 1 1 1 1 1 = 1+ tj = 1+ t2 + t3 + t4 + t5 + t6 +... , j! 2 3 8 30 144 Xj=1

∞ ∞ j − 1 j n + k − 1 n+k (q) Rn+1 h(t) = t = t , (p) j! (n + k)! j=Xn+2 Xk=2

(r) h(k)(t) = et(t + k − 1) (k = 2, 3,...);

then, for z ∈D and t=|z|∈E=(0, ρ) the following inequalities are true: ∞ ∞ Rn h(t) n + k − 1 k n + k − 1 k +1 |fn(z)| ≤ |z| = t = (n + k)! (n + k)! (q) tn Xk=2 Xk=2 h(n+2)(c)/(n + 2)! tn+2 = by the Lagrange remainder theorem, for some c∈(0, t) tn h(n+2)(c) ec(c + n + 1) eρ(ρ + n + 1) = t2 = t2 ≤ ρ2 . (n + 2)! (r) (n + 2)! (n + 2)!

Equation (31) ——————————————— C4) ∞ ∞ (−1)k−1(n + k − 1) n + k 1 = (−1)k−1 − (n + k)! (n + k)! (n + k)! n=1 n=1 X X∞ 1 1 (−1)k−1 = (−1)k−1 − = . (n+k−1)! (n+k)! k! Xn=1