arxiv: v1 [math.ca] 4 Dec 2020

arXiv:2012.02887v1 [math.CA] 4 Dec 2020

ENRICO DE MICHELI

ABSTRACT. In this paper, we prove a new integral representation for the Bessel function of the first kindJµ(z), which holds for anyµ,z∈C.

1. INTRODUCTION

In this note, we prove the following integral representation of the Bessel function of the first kindJµ(z), which holds for unrestricted complex values of the orderµ:

(1.1) Jµ(z) = 1 2π z 2 µZ π −πe izcosθ_γ∗ µ,1₂izeiθdθ (µ_∈C_;z∈C_),

whereγ∗_{denotes the Tricomi version of the (lower) incomplete gamma function.}

Lower and upper incomplete gamma functions arise from the decomposition of the Euler integral for the gamma function:

γ(µ,w) = Z w 0 e−ttµ−1dt (Reµ>0), (1.2a) Γ(µ,w) = Z ∞ w e−ttµ−1dt (|argw_|<π). (1.2b)

Analytical continuation with respect to both parameters can be based either on the integrals in (1.2) or on series expansions ofγ(µ,w), e.g. [4, Eq. 9.2(4)]:

(1.3) γ(µ,w) = ∞

∑

which shows thatγ(µ,w)has simple poles atµ=0,−1,−2, . . .and, in general, is a multi-valued (whenµis not a positive integer) function with a branch point atw=0. Similarly, evenΓ(µ,w)is in general multi-valued but it is an entire function ofµ. Inconveniences re-lated to poles and multi-valuedness ofγcan be circumvented by introducing what Tricomi called thefundamental functionof the incomplete gamma theory [11, §2, p. 264]: (1.4) γ∗(µ,w) = w− µ Γ(µ) Z w 0 e−ttµ−1dt= e− w Γ(1+µ)M(1,1+µ;w),

whereM(a,b;z)is the Kummer confluent hypergeometric function [8, Eq. 13.2.2]. The functionγ∗(µ,w)is entire in bothwandµ, real-valued for realwandµandγ∗(−n,w) =wn

forn=0,1,2, . . .. B¨ohmer [1] and later Tricomi [10, 11] (see also [5]) assumedγ∗(µ,w)

as base point for the theory, defining the incomplete gamma functions by the relations: γ(µ,w) =Γ(µ)wµγ∗(µ,w),

(1.5)

Γ(µ,w) =Γ(µ) [1−wµγ∗(µ,w)].

(1.6)

2010Mathematics Subject Classification. 33C10,40C10,33B20.

Key words and phrases.Bessel functions, Incomplete gamma functions, Integral representations.

For a detailed account of the incomplete gamma functions theory, see [5], [9, Chapter 11] and [4, 8], where massive compilations of results are stated. For what concerns details on the Bessel function, the reader is referred to the classical treatise of Watson [12].

The strong link between Bessel functions and incomplete gamma functions has long been known. Examples of this connection are represented, e.g., by the integral representa-tions ofγ(µ,w)in terms ofJµ(z)for Reµ>0 [4, Eq. 9.3(4)] and ofΓ(µ,w)in terms of modified Bessel function of the second kindKµ(z)for Reµ<1 [8, Eq. 8.6.6]. In this re-spect, it is worth mentioning also the expansions of incomplete gamma functions in series of Bessel functions: [5, Eqs. (2.8), (2.9)], [11, Eqs. (40)], and of modified Bessel func-tions: [8, Eqs. 8.7.4, 8.7.5], [10, Eqs. (48), (49)]. Formula (1.1), whose validity extends to(µ,z)∈C2_{, makes even more explicit the intimate link between these two classes of}

functions.

Classical formulae of the Bessel function of the first kindJµ(z)given by integrals on the real line can be found in [8, Chapter 10.9], [4, Sect. 7.3] and [6, Sect. 8.41]. Many of them hold only for restricted values ofµ: for instance, the classical Bessel integral [7, p. 70], (1.7) Jµ(z) =(−i) µ π Z π 0 eizcosθcosµθdθ (µ∈Z_),

and Poisson’s integral [7, Eq. (14.5), p. 38], (1.8) Jµ(z) = 1 Γ(µ+1₂)√π z 2 µZ π 0 eizcosθ(sinθ)2µdθ (Reµ>−1 2),

hold only form_∈Z and Reµ>−1

2, respectively. Additional examples are the Gubler

representations [4, Eq. 7.3(11)], which holds for Reµ< 1

2, the Mehler-Sonine integral

formulae for|Reµ|<1

2 [4, Eq. 7.12(12)] or for|Reµ|<1 [4, Eq. 7.12(14)]. Only the

well-known Schl¨afli’s and Heine’s representations hold for unrestricted complex values of the indexµ. Schl¨afli’s representation [4, Eq. 7.3(9)] holds for µ∈C_{, with Re}z>0 (it holds also in case Rez=0 provided that Reµ>0), while the two Heine’s expressions [4, Eqs. 7.3(31) & (32)] hold forµ∈C_{, but separately in the upper and lower half-plane of}

the complexz-plane, respectively. In both cases, Schl¨afli’s and Heine’s, the representations are made up of the sum of two integrals.

Standard generalizations of Poisson’s integral are obtained via its extension to complex contour integrals, examples of which are the classical Hankel’s representations [7, Eqs. (19.7), (19.8)]. As Poisson’s representation ofJµ(z)can be seen as the generalization of Bessel’s integral to complex values ofµ with Reµ>−1

2, mere visual inspection shows

that formula (1.1) can be viewed as the generalization of Poisson’s integral to represent

Jµ(z)at values ofµ belonging to the entire complex plane, the role of(sinθ)2µ in (1.8) being now taken by the incomplete gamma functionγ∗_(µ,1

2izeiθ).

The proof of formula (1.1) is given in the next section and, essentially, makes use of elementary properties of the special functions involved. A preliminary result was given in [3].

2. INTEGRAL REPRESENTATION FORJµ(z) We denote byN_{0={0,1,2, . . .}the set of non-negative integers.}

Theorem 2.1. The following integral representation of the Bessel function of the first kind holds true for any complex order µ_∈C_{and for z∈}C_{(slit along the real negative axis}

whenµ6∈Z_): (2.1) Jµ(z) = 1 2π z 2 µZ π −π eizcosθγ∗µ,1 2ize iθ_{dθ (µ∈C;z∈C).}

Proof. Our starting point is the Gegenbauer generalization of Poisson’s integral represen-tation of the Bessel functions of the first kind [12, §3.32, Eq. (1), p. 50], which holds for

ℓ∈N_{0and Reν>−}1 2: (2.2) Jν+ℓ(z) = (−i) ℓ_Γ(2ν)ℓ! Γ(ν+1 2)Γ( 1 2)Γ(2ν+ℓ) z 2 νZ π 0

eizcosu(sinu)2νC_ℓν(cosu)du,

whereC_ℓν(t)is the Gegenbauer polynomial of orderνand degreeℓ. Now, we recall the following representation of the Gegenbauer polynomialsC_ℓν(cosu), holding for Reν>0 andℓ∈N_{0, that we proved in [2, Proposition 1]:}

(2.3) C_ℓν(cosu) = Γ(ℓ+2ν) 2ν_ℓ![Γ(ν)]2 e−iπν (sinu)(2ν−1) Z 2π−u u ei(ℓ+ν)t(cosu₋cost)ν−1dt (u∈[0,π]).

Plugging (2.3) into (2.2) and using the Legendre duplication formula for the gamma func-tion, we obtain: (2.4) J_ν+ℓ(z) =(−i) ℓ_e−iπν_zν 2πΓ(ν) Z π 0 dusinu eizcosu Z 2π−u u ei(ℓ+ν)θ(cosu₋cosθ)ν−1_dθ.

Interchanging the order of integration, (2.4) can be written as follows:

J_ν+ℓ(z) =(−i) ℓ_e−iπν_zν 2πΓ(ν) Z π 0 dθei(ℓ+ν)θ Z θ 0

eizcosu(cosu₋cosθ)ν−1_sinudu + Z 2π π dθ ei(ℓ+ν)θ Z 2π−θ 0

eizcosu(cosu₋cosθ)ν−1_sinudu

.

(2.5)

Next, changing the integration variables:θ−2π→θandu_{→ −}u, the second integral on the r.h.s. of (2.5) becomes: eiν2π Z 0 −πdθe i(ℓ+ν)θZ θ 0

eizcosu(cosu₋cosθ)ν−1sinudu,

which, inserted in (2.5), yields:

J_ν+ℓ(z) = (−i) ℓ_zν 2πΓ(ν) eiνπ Z 0 −πdθ ei(ℓ+ν)θ Z θ 0

eizcosu(cosu₋cosθ)ν−1_sinudu +e−iνπ Z π 0 d θei(ℓ+ν)θ Z θ 0

eizcosu(cosu₋cosθ)ν−1sinudu

.

(2.6)

Formula (2.6) allows us to writeJν+ℓ(z)as the Fourier coefficient of a suitable 2π-periodic function, i.e.:

(2.7) J_ν+ℓ(z) = (−i)ℓ

Z π

−π

A_ν,z(θ)eiℓθdθ (ℓ∈N_0,Reν>0),

whereA_{ν,z(θ)denotes the Abel-type integral} A_{ν,z(θ) =} z ν 2πΓ(ν)e iν[θ−πsgn(θ)]Z 1 cosθe izt_(t −cosθ)ν−1dt (Reν>0), (2.8)

and sgn(·)denotes thesign function. Changing in (2.8) the integration variable−iz(t− cosθ)→tand recalling (1.2a),A_{ν,z(θ)can be rewritten as follows:}

(2.9) A_{ν,z(θ) =} i

ν 2πe

iν[θ−πsgn(θ)]_eizcosθ_{P(ν,−iz(1−cosθ)) (Reν>0),} whereP(ν,w)=. γ(ν,w)/Γ(ν)denotes the normalised (lower) incomplete gamma func-tion.

Finally, with some algebra we obtain from (2.7) and (2.9) the representation (2.10) J_ℓ+ν(z) =i (ℓ+ν) 2π Z π −π eizcosθe−i(ℓ+ν)πsgn(θ)P(ν,−iz(1−cosθ))ei(ℓ+ν)θdθ,

which holds forℓ∈N_{0and Reν>0. Now, we want to show that the integral in (2.10) does}

not change if we substitute the factorP(ν,−iz(1₋cosθ))withP(ℓ+ν,−iz(1₋cosθ)). To this end, we recall thatP(ν,w)satisfies the following recurrence relation [8, Eq. 8.8.11]: (2.11) P(ℓ+ν,w) =P(ν,w)−wνe−w ℓ−1

∑

the sum being obviously understood to be null whenℓ=0. We have:

Z π −π eizcosθe−i(ℓ+ν)πsgn(θ)P(ℓ+ν,−iz(1−cosθ))ei(ℓ+ν)θdθ = Z π −πe izcosθ_e−i(ℓ+ν)πsgn(θ)_P(ν, −iz(1−cosθ))ei(ℓ+ν)θdθ −(−iz)νeiz ℓ−1

∑

By using formula [6, Formula 3.63.9], the rightmost integrals on the r.h.s. of (2.12) can be readily computed: Z π −πe −i(ℓ+ν)πsgn(θ)_(1−cosθ)ν+k_ei(ℓ+ν)θ dθ=2ν+k+2 Z π/2 0 (cosθ) 2(ν+k)_{cos[2(ℓ+ν)θ]dθ} = 2 1−ν−k_π (2ν+2k+1)B(2ν+k+ℓ+1,k₋ℓ+1), (2.13)

whereB(·,·)denotes the Euler beta function. For Reν>−1

2 andℓ>0, the integrals in

(2.13) are therefore null for 06k6ℓ−1. Hence, in view of this latter result, we now set µ=ℓ+ν, and from (2.10) we have:

(2.14) Jµ(z) = i µ 2π Z π −π eizcosθe−iµπsgn(θ)P(µ,−iz(1−cosθ))eiµθdθ (Reµ>0).

Now, we change the integration variableθ−πsgn(θ)→θ, write(1+cosθ) =1 2e−

iθ₍₁₊

eiθ)2_{and, in view of the 2π-periodicity of the integrand, formula (2.14) becomes:}

(2.15) Jµ(z) = i µ 2π Z π −πe −izcosθ_P(µ, −1 2ize− iθ₍ 1+eiθ)2)eiµθdθ (Reµ>0).

Note thatP(µ,w)is an entire function ofµ but it is a multi-valued function ofwwith a branch point atw=0.

Consider forλ∈[0,∞)the integral (2.16) Sz,µ(λ)=.

Z π

−πsz,µ(θ,λ)dθ (Reµ>0,z∈

where

(2.17) sz,µ(θ,λ)=. e−izcosθP(µ,yθ(λ))eiµθ (θ∈(−π,π),λ∈[0,+∞); Reµ>0), withy_θ(λ) =−1

2ize−iθ(1+eiθ)λ. Evidently, 2πJµ(z) =iµSz,µ(2). The functionSz,µ(λ)

is actually independent ofλforλ>0 and Reµ>0. To see this, we analyze the derivative ∂λSµ,z(λ). The functionsz,µ(θ,λ)is continuous in(θ,λ)∈(−π,π)×[0,∞)with (2.18) Z π −π sz,µ(θ,λ)dθ6c1(µ,z)exp h 2λ−1|z_|+ (λ₋1)|µ_|i<∞ (Reµ>0),

for finite values ofλ,c1(µ,z)being a finite constant indipendent ofλ. Similarly, recalling that∂wP(µ,w) =wµ−1e−w/Γ(µ)[8, Eq. 8.8.13], we have

(2.19) ∂λsz,µ(θ,λ) =

e−izcosθ

Γ(µ) [yθ(λ)]

µ_e−yθ(λ)_ln(1+eiθ_)eiµθ_,

which is continuous in(θ,λ)∈(−π,π)×[0,∞)with: (2.20) Z π −π ∂_λsz,µ(θ,λ)dθ6c2(µ,z)exp[2λ−1|z|+ (λ−1)|µ|] Z π −π ln(1+e iθ₎ dθ<∞ for finite values ofλ,c2(µ,z)being a finite constant indipendent ofλ. Hence, differentia-tion under the integral sign is legitimate and we have:∂λSz,µ(λ) =R₋ππ∂λsz,µ(θ,λ)dθfor λ>0.

Let us introduce the complex variablew=1+eiθand the function (2.21) f_z,µ,λ(w)=. 1 Γ(µ) −iz 2 µ exp −iz 2 w2₋wλ₋2w+2 w₋1 ! wλ µlnw (Reµ>0,λ>0). We have: (2.22) ∂_λSµ,z(λ) = I C(1,1)fz,µ,λ(w)dw,

whereC(1,1)denotes the circle with centerw=1 and radiusR=1. The points off_z,µ,λ(w)

which require attention arew=0 andw=1. We have (recall that Reµ>0):

(2.23) lim w→0fz,µ,λ(w) = −iz 2 µ _eiz Γ(µ)wlim→0w λ µ_{lnw=0 for λ >0.}

Moreover, limλ→0+limw→0fz,µ,λ(w) =0, the two limits being evidently not interchage-able. For what concerns the pointw=1, we have:

(2.24) lim w→1fz,µ,λ(w) = 1 Γ(µ) −iz 2 µ eiλz/2lim w→1lnw=0 for λ∈[0,∞).

Hence, for anyλ >0, f_z,µ,λ(w)is a single-valued holomorphic function with no singu-larities on and within the circleC(1,1). Then, by Cauchy theorem the integral in (2.22) vanishes and∂λSµ,z(λ) =0 forλ >0. Moreover, from (2.19) we have forλ=0:

(2.25) ∂λSµ,z(λ) _λ=0= 1 Γ(µ) −iz 2 Z π −πexp h −izeiθ/2iln(1+eiθ)dθ=0 For the continuity of∂λSµ,z(λ)forλ>0 which follows from (2.19) and (2.20),∂λSµ,z(λ) =

0 forλ >0 and Reµ>0. Consequently, from (2.15) we can write: (2.26) Jµ(z) = i µ 2π Z π −πe −izcosθ_P(µ, −1 2ize− iθ_)eiµθ dθ (Reµ>0).

SinceP(µ,w) =wµγ∗(µ,w)(see (1.5)), (2.26) yields: (2.27) Jµ(z) = 1 2π z 2 µZ π −π e−izcosθγ∗(µ,−1 2ize− iθ_{)dθ (Reµ>0),}

which, simply changing the integration variableθ→π−θ and by the 2π-periodicity of the integrand, finally gives formula (1.1). The restriction Reµ>0 is not necessary because both parts of the equality (2.27) are analytic functions ofµ(recall thatγ∗_{(µ,w)is entire}

inµandw) and, according to the principle of analytic continuation, the result is valid for anyµ∈C_andz_∈C_{(this latter domain being slit along the real negative axis whenµis}

not integer).

Formula (1.1) can be extended in following way. First, recall the following recurrence relation forγ∗_{(µ,w), which follows from (2.11) and (1.5):}

(2.28) γ∗(µ+n,w) =w−n γ∗(µ,w)−e−w n−1

∑

Then we considerJµ+n(z)withn>0. From (1.1) and (2.28) we have: Jµ+n(z) = (−i)n 2π z 2 µZ π −π eizcosθγ∗(µ,1 2ize iθ_)e−inθ_dθ + n₋1

∑

Now, it is easy to show that the rightmost integrals on the r.h.s. of (2.29) are null for

k₋n6₋1. Therefore, we have: (2.30) Jµ+n(z) = (−i)n 2π z 2 µZ π −π eizcosθγ∗(µ,1 2ize iθ_)e−inθ_{dθ (n>0;µ∈C,z∈C),}

that is, in(z/2)−µJµ+n(z) coincides with the nth Fourier coefficient (n>0) of the 2π

-periodic functioneizcosθ_γ∗_(µ,1

2izeiθ). Therefore, representation (1.1) can be viewed as

the particular case withn=0 of formula (2.30).

The structure of formula (1.1) yields readily new integral representations for functions related to the Bessel function of the first kind. An immediate example is given in the next proposition.

Proposition 2.2. The modified Bessel function of the first kind Iµ(z)has the following

integral representation for unrestricted complex values ofµand z:

(2.31) Iµ(z) = 1 2π z 2 µZ π −πe zcosθ_γ∗_(µ,1 2ze iθ_{)dθ (µ∈C;−π6argz<π).}

Proof. Formula (2.31) follows from the connection relation [8, Eq. 10.27.6]: (2.32) Iµ(z) =e∓iµπ/2Jµ(ze±iπ/2) −π6_±argz6π 2 .

REFERENCES

1. P.E. B¨ohmer, Differenzengleichungen und Bestimmte Integrale, K ¨ohler, Leipzig, 1939.

2. E. De Micheli, G.A. Viano, The expansion in Gegenbauer polynomials: A simple method for the fast com-putation of the Gegenbauer coefficients, J. Comput. Phys.239, 112-122 (2013).

3. E. De Micheli, Integral representation for Bessel’s functions of the first kind and Neumann series, Results Math.73:61 (2018).

4. A. Erd´elyi (Ed.), Higher Transcendental Functions, Vol. I, InBateman Manuscript Project, McGraw–Hill, New York, 1953.

5. W. Gautschi, The incomplete gamma functions since Tricomi. In: Tricomi’s Ideas and Contemporary Applied Mathematics, Atti dei Convegni Lincei147, pp.203-237. Accademia Nazionale dei Lincei, Roma, 1998. 6. I.S. Gradshteyn, I.M. Ryzhik, Table of Integrals, Series and Products, 5th Edition, Academic Press, San

Diego, 1994.

7. B.G. Koronev, Bessel Functions and their Applications, Taylor & Francis, London, 2002.

8. NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.0.15. F.W.J. Olver, A.B. Olde Daalhuis, D.W. Lozier, B.I. Schneider, R.F. Boisvert, C.W. Clark, B.R. Miller, and B.V. Saunders, eds. 9. N.M. Temme, Special Functions: An Introduction to the Classical Functions of Mathematical Physics, Wiley,

New York, 1996.

10. F.G. Tricomi, Asymptotische Eigenschaften der unvollst¨andigen Gammafunktion. Math. Z.53(2), 136-148 (1950).

11. F.G. Tricomi, Sulla funzione gamma incompleta. Ann. Math. Pura Appl.31(1), 263-279 (1950).

12. G.N. Watson, A Treatise on the Theory of Bessel Functions, Cambridge University Press, Cambridge, 1922. CONSIGLIONAZIONALE DELLERICERCHE, VIADEMARINI, 6 - 16149 GENOVA, ITALY