QUARTERLY OF APPLIED MATHEMATICS
VOLUME LXX, NUMBER 1
MARCH 2012, PAGES 77–97
S 0033-569X(2011)01239-2
Article electronically published on September 16, 2011
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS:
A VISITATION OF EARLIER FORMULAS
By
EDUARDO KAUSEL (Professor of Civil and Environmental Engineering, Massachusetts Institute ofTechnology, Cambridge, Massachusetts 02139 )
and
MIRZA M. IRFAN BAIG (Simpson, Gumpertz & Heger Inc., Waltham, Massachusetts 02453 )
Abstract. This note deals with the Laplace transforms of integrands of the form
xλJα (ax)Jβ (bx), which are found in numerous fields of application. Specifically, we
provide herein both a correction and a supplement to the list of integrals given in 1997
by Hanson and Puja, who in turn extended the formulas of Eason, Noble and Sneddon
of 1956. The paper concludes with an extensive tabulation for particular cases and range
of parameters.
1. Introduction. In a classic 1956 paper, Eason, Noble and Sneddon – henceforth
ENS for short – presented a general methodology for finding integrals involving products
of Bessel functions, and provided a set of closed-form formulas for cases commonly en-
countered in engineering science and in applied mathematics. Although these integrals
extended considerably the repertoire of exact formulas available in standard tables such
as Oberhettinger’s or Gradshteyn and Ryzhik’s, even to this day programs such as Math-
ematica, Maple and Matlab’s symbolic tool seem to have remained unaware of the ENS
paper, for they are unable to provide answers to such integrals. Some four decades later,
Hanson and Puja (1997) – henceforth denoted as HP – reconsidered the ENS paper and
not only extended considerably the formulas therein, but by changing the arguments to
the functions, they arrived at alternative forms which allegedly avoided discontinuities
at certain values of the parameters. Unfortunately, once the arguments in the HP for-
mulas exceed some threshold value, the computations for some of the integrals suffer a
complete breakdown and become useless. This led us to investigate both the reasons for
the erroneous results and also to seek a corrected set of formulas, which constitutes the
subject of this paper.
Received June 2, 2010.2010 Mathematics Subject Classification. Primary 44-00, 44A10, 74-00.E-mail address: [email protected] address: [email protected]
c©2011 Brown UniversityReverts to public domain 28 years from publication
77
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
78 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
To avoid repetitions, the presentation herein will be rather terse, avoiding needless
explanations of well-known facts and/or of details which can be found in the originals of
the papers referred to. Also, to distinguish clearly between the equations and parameters
used by ENS and HP, we have adopted a revised, more general notation. We defer a
description of the problem itself until section 5 so as to summarize first some needed
preliminary definitions and properties.
2. Laplace transform and its properties. The integrals in question are the
Laplace transforms
Iλαβ ≡ Iλαβ (a, b, s) =
∫ ∞
0
xλJα (ax)Jβ (bx) e−sx dx (2.1)
with
α+ β + λ > −1 if s > 0,
α+ β + 1 > −λ > −1 if s = 0 & a �= b,
α+ β + 1 > −λ > 0 if s = 0 & a = b,
where the parameters α, β, λ are assumed to be integers and the arguments a, b, s are
real. These integrals satisfy the following symmetries and recursive properties:
Iλαβ (a, b, s) = Iλβα (b, a, s) , Iλαβ (a, b, s) =
{ (1b
)λ+1Iλαβ
(ab , 1,
sb
),(
1a
)λ+1Iλαβ
(1, b
a ,sa
),
(2.2)
α Iλαβ = 12a
(Iλ+1α−1,β + Iλ+1
α+1,β
), β Iλαβ = 1
2b(Iλ+1α,β−1 + Iλ+1
α,β+1
), (2.3)
∂Iλαβ∂a
= 12
(Iλ+1α−1,β − Iλ+1
α+1,β
),
∂Iλαβ∂b
= 12
(Iλ+1α,β−1 − Iλ+1
α,β+1
). (2.4)
A combination of two of the above yields
∂Iλαβ∂a
= Iλ+1α−1,β − α
aIλαβ ,
∂Iλαβ∂b
= Iλ+1α,β−1 −
β
bIλαβ ,
=α
aIλαβ − Iλ+1
α+1,β , =β
bIλαβ − Iλ+1
α,β+1.
(2.5)
In addition,
Iλαβ = −∂Iλ−1
αβ
∂s. (2.6)
It can also be shown via integration by parts that
(α+ β − λ) Iλ−1αβ = a Iλα−1,β + b Iλα,β−1 − s Iλαβ +
[xλJα (ax)Jβ (bx)
]x=0
,
λ Iλ−1αβ = a 1
2
(Iλα+1,β − Iλα−1,β
)+ b12
(Iλα,β+1 − Iλα,β−1
)+ s Iλαβ −
[xλJα (ax) Jβ (bx)
]x=0
(2.7)
provided α + β + λ ≥ 0. The boundary term at x = 0 vanishes if α + β + λ > 0. For
example, if λ = 0, α = β = 1, then
I−111 = 1
2
(a I00,1 + b I01,0 − s I011
), (2.8a)
0 = 12 a
(I02,1 − I00,1
)+ 1
2 b(I01,2 − I01,0
)+ s I01,1, (2.8b)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 79
both of which can be useful.
3. Definitions, parameters and fundamental relations.
A = A (a, b, s) =
√(a+ b)2 + s2, B = B (a, b, s) =
√(a− b)2 + s2, (3.1)
L1 = L1 (a, b, s) =12 (A−B) , L2 = L2 (a, b, s) =
12 (A+B) , (3.2)
κ =2√L1L2
L1 + L2=
2√ab√
(a+ b)2+ s2
=2√k
1 + k(3.3)
κ′ =√
1− κ2 =B
A=
√(a− b)
2+ s2√
(a+ b)2+ s2
=1− k
1 + k(3.4)
k =L1
L2=
ab
L22
=L21
ab=
1− κ′
1 + κ′ (3.5)
k′ =√1− k2 =
2√AB
A+B=
2√κ′
1 + κ′ (3.6)
ν =4ab
(a+ b)2 , nab =
L21
b2=
a2
L22
=a
b
L1
L2= k
a
b, nba =
L21
a2=
b2
L22
=b
a
L1
L2= k
b
a(3.7)
with
κ2 < ν < 1, k2 < nab < 1, k2 < nba < 1, nabnba = k2. (3.8)
These parameters satisfy the following useful relationships:
√ν − κ2 =
sκ
a+ b,
√1− ν =
|a− b|a+ b
,
√(1− ν) (ν − κ2)
ν=
|a− b|a+ b
s
L2 (1 + k),
(3.9)
L1 = 12 (1− κ′)
√(a+ b)2 + s2 L2 = 1
2 (1 + κ′)
√(a+ b)2 + s2 (3.10)
=1− κ′
κ
√ab, =
1 + κ′
κ
√ab,
(L1 + L2)2 = (a+ b)2 + s2, (L2 − L1)
2 = (a− b)2 + s2, (3.11)
L21 + L2
2 = 12
(A2 +B2
)= a2 + b2 + s2, L2
2 − L21 = AB = L2
2
(1− k2
)= 4ab
κ′
κ2,
(3.12)
L1L2 = 14
(A2 −B2
)= ab, L4
2 = L22
(a2 + b2 + s2
)− a2b2, (3.13)
ka− b =s2ka
L21 − a2
=s2b
b2 − L22
,s2
a2 − L21
=1
nab− 1,
s2
L22 − a2
= 1− nba, (3.14)
kb− a =s2kb
L21 − b2
=s2a
a2 − L22
,s2
b2 − L21
=1
nba− 1,
s2
L22 − b2
= 1− nab. (3.15)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
80 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
4. Elliptic integrals. All of the transforms considered in this work result in formulas
involving the complete elliptic integrals of the first, second and third kind. In addition,
ENS introduce a Λ function which coincides with Heuman’s Lambda Naught function
multiplied by 12π. In the ensuing, we use κ, ν for the ENS arguments and k, n for the HP
arguments to the elliptic integrals. These functions and their mathematical properties
are:
K (κ) =
∫ 1
0
dx√1− x2
√1− κ2x2
=
∫ π/2
0
dθ√1− κ2sin2θ
,
1st kind (4.1)
E (κ) =
∫ 1
0
√1− κ2x2 dx√
1− x2
=
∫ π/2
0
√1− κ2sin2θ dθ ,
2nd kind (4.2)
Π (ν, κ) =
∫ 1
0
dx
(1− ν x2)√1− x2
√1− κ2x2
=
∫ π/2
0
dθ(1− ν sin2θ
)√1− κ2sin2θ
,
3rd kind (4.3)
Λ (ν, κ) =
√(1− ν) (ν − κ2)√
νΠ (ν, κ) ≡ π
2Λ0 (ψ\ϑ)
= [E (κ)−K (κ)]F (ψ\ϑ′) +K (κ)E (ψ\ϑ′) ,
(ENS–3.8) (4.4)
where Λ0 is Heuman’s function, F and E are the incomplete elliptic integrals of the
first and second kind, respectively, and both ϑ = arcsinκ and ψ are defined by the
unnumbered equations above ENS-3.8:
sin2ψ =ν − κ2
νκ′2 , cos2ψ =κ2 (1− ν)
νκ′2 . (4.5)
We also define
Πab ≡ Π (nab, k) , Πba ≡ Π (nba, k) (4.6)
with nab, nba given by (3.7).
Landen transformation:
k =1− κ′
1 + κ′ , K (k) = 12 (1 + κ′)K (κ) , E (k) =
1
1 + κ′ [E (κ) + κ′K (κ)] , (4.7)
κ =2√k
1 + k, K (κ) = (1 + k)K (k) , E (κ) =
2
1 + kE (k)− (1− k)K (k) . (4.8)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 81
In Appendix A we also show that
Λ (ν, κ) =s
L2[2Π (nab, k)−K (k)] a < b
=s
L2[2Π (nba, k)−K (k)] a > b .
(4.9)
Caveat: Users of advanced software such as Mathematica, Maple and Matlab should
beware the arguments being used by the elliptic functions in these programs, for the
manuals are not crystal clear about the matter. Specifically, in Mathematica the func-
tions EllipticK and EllipticE use m = k2 as an argument, i.e. the so-called parameter,
while the same-named functions in Maple and in Matlab’s symbolic tool use instead the
modulus k. To add to the confusion, Matlab’s intrinsic numerical function ellipke also
uses the parameter m instead of the modulus k and restricts it to be real and less than
unity. In the case of multiple solutions for the Laplace transforms, Matlab often gives
only one of these, and also remains silent about some of the underlying assumptions (e.g.
a < b = 1 and so forth).
5. Description of the problem. Consider the particular case of the transform I−111 .
From ENS-4.9, this integral is
I−111 =
s
π√ab
[1
κE (κ)− κ
2ab
(a2 + b2 + 1
2s2)K (κ)
]+
a2 − b2
2π absgn (a− b) Λ (ν, κ)
+1
2
⎧⎨⎩
ba a > b,
1 a = b,ab a < b,
(5.1a)
which can be written compactly as
I−111 =
s
π√ab
[1
κE (κ)− κ
2ab
(a2 + b2 + 1
2s2)K (κ)
]
+1
4ab
{a2 + b2 +
(a2 − b2
)sgn (a− b)
[2πΛ (ν, κ)− 1
]} (5.1b)
whereas from HP-25, this same integral is
I−111 =
a
2b+
s
πabL2
[L22 E (k)−
(L22 + b2
)K (k)−
(a2 − b2
)Π (n, k)
], (5.2)
the characteristic n of which coincides with our nab in (3.7). Observe that HP-25 consists
of a single expression for the transform whatever the relative values of a, b, and also uses
different arguments and coefficients for the elliptic integrals, while ENS-4.9 exhibits an
intrinsic discontinuity at the transition a = b for all values of s. Regrettably, although
the HP expression is indeed continuous, it is not applicable and fails when a > b, as will
be seen.
Now, HP developed their formulas in the context of a problem in the theory of elasticity
concerning a circular load (i.e. “patch”) applied onto an elastic half-space and thus they
argued for the continuity of the functions on physical grounds. Quoting HP (square
brackets are ours):
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
82 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
It is apparent that when the integral evaluation does not contain Heuman’s
Lambda function, only one expression is needed to evaluate the integral
for all values of the parameters. However, when the integral evaluation
also contains Heuman’s Lambda function, two different expressions are
given for the integral depending on the relative values of [a, b]. Since
the elastic field inside the half-space is continuous and has continuous
derivatives, it is troublesome that the expressions are different depending
on being inside or outside the radius of loading. Intuition would lead
one to expect a single expression which is valid at every point in the
half-space.
Unfortunately, this appeal to physical continuity did not guarantee that the replacement
formulas proposed by HP would be correct, for they actually provide spurious results
when applied for a > b. As it turns out, two separate formulas are needed for the intervals
a < b and a > b which, although distinct, maintain the continuity of the solution and
its derivative at a = b. In the ensuing, we establish the correct mathematical connection
between the ENS and HP formulas and provide an extended set of formulas which are
free from this problem.
6. Relationship between ENS and HP. HP provide a transformation formula
HP-24 between the complete elliptic integral of the third kind with arguments ν, κ and
the elliptic integrals with arguments n, k. In our current notation and after some simple
transformations, their transformation formula would read
Π (ν, κ) =(1 + k) (a+ b)
a− b
{πL2
sH (a− b) +K (k)− 2Π (n, k)
}, (6.1)
which can also be written as
sgn (a− b) Λ (ν, κ) = πH (a− b) +s
L2[K (k)− 2Π (n, k)] , (6.2)
where H (a− b) is the Heaviside function, and n ≡ nab. They state that the proof of this
formula is contained in an earlier paper of theirs, but we have been unable to locate any
such derivation in said paper. Furthermore, that equation holds no obvious connection
to the Landen-Gauss transformation 163.02 given on page 39 in Byrd and Friedman
(1971), which appears to be restricted to the “hyperbolic” case n < k2 and thus excludes
the “circular” case at hand k2 < n. For this reason, we provide a new proof of the
HP translation formula in Appendix A, and in the process show that another formula is
needed when a > b. With reference to Appendix A, the actual transformation formulas
are:
Λ (ν, κ) =s
L2(2Πab −K (k)) a < b (6.3a)
Λ (ν, κ) =s
L2(2Πba −K (k)) a > b (6.3b)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 83
As also demonstrated in Appendix A, Πab and Πba satisfy the relationship
Πab +Πba −K =πL2
2s(6.4)
Taking into account this property, the two transformation formulas (6.3a,b) can be com-
bined into a single expression by means of Heaviside functions as follows:
Λ (ψ, κ) =s
L2{ 2Πab [1−H (a− b)] + 2ΠbaH (a− b)−K}
=s
L2
{2Πab [1−H (a− b)] + 2
[πL2
2s−Πab +K
]H (a− b)−K
}
= πH (a− b) + sgn (a− b)s
L2(K− 2Πab) ,
(6.5)
so
sgn (a− b) Λ (ψ, κ) = πH (a− b) +s
L2(K− 2Πab) , (6.6)
which does coincide with HP’s translation formula (6.2). Although this shows (6.2) to
be technically correct, HP’s integral transform formulas are still incorrect when a > b.
This is because in their final expressions for the integrals, they failed to include the
Heaviside term, which is absent when a < b, and simply assumed that the resulting
formulas for that case would be valid throughout; i.e., they reasoned that the formulas
had to be “continuous”. In addition, Πab is ill-conditioned when a > b. In retrospect, it
seems peculiar that HP should have argued against the discontinuous Lambda function
in ENS, only to replace it with yet another discontinuous function and then “forgot” –
or proceeded to deliberately ignore – this very discontinuity.
Fortunately, to circumvent this problem, it suffices to make use of (6.4) and replace
Πab in all HP formulas by Πab = K (k) −Πba + π2sL2 whenever a > b. This is possible
because for all a, b, s > 0, k < 1, nab < 1, nba < 1, in which case (6.4) has no singularities
and is a continuous function of the ratio a/b, even if (6.4) itself remains intrinsically
ill-conditioned because either Πab or Πba attains large values, especially when s is small.
This is because for a > b, nab → 1, and Πab → ∞, and vice versa for Πba.
To demonstrate the application of the preceding transformation formulas, substitute
(6.3a) into the ENS form (5.1), and consider also the equivalences 4.9, which yields
I−111 =
s
π√ab
{1 + κ′
κE (k)− 2
κ (1 + κ′)
[κ′ +
κ2
4ab
(2a2 + 2b2 + s2
)]K (k)
}
+s
πL2
a2 − b2
2 ab(K (k)− 2Πab) +
a
2b.
(6.7)
Using the definitions for k, κ and other parameters in section 3, it can be shown that
2
κ (1 + κ′)
[κ′ +
κ2
4ab
(2a2 + 2b2 + s2
)]=
1√abL2
[L22 +
12
(a2 + b2
)]. (6.8)
Hence
I−111 =
s
πabL2
[L22E (k)−
(L22 + b2
)K (k)−
(a2 − b2
)Πab
]+
a
2b, a < b, (6.9)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
84 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
which coincides with HP-25 (i.e. (5.2)). On the other hand, making use of (6.3b) instead,
we obtain
I−111 =
s
πabL2
[L22E (k)−
(L22 + a2
)K (k)−
(b2 − a2
)Πba
]+
b
2a, a > b, (6.10)
which agrees perfectly with the formula that would be obtained by simply exchanging
a, b in (6.9), which must hold because of the symmetry of I−111 with respect to the Bessel
indices. Finally, if we substitute Πab = K (k) − Πba + π2sL2 into (6.9), we once more
recover (6.10). Thus, this shows that all is consistent.
7. Tables of integrals. Although many of the integrals listed in the pages that
follow are directly based on the HP and ENS papers, we have seen fit to simplify these
expressions to the extent possible, using for this purpose the very useful equivalences and
properties given in section 3. Hence, they do not quite look like those in HP. This also
meant that each and every formula had to be carefully checked for errors, including tests
against direct numerical integration. Also, since Laplace transforms constitute improper
integrals, it was necessary for us to supplement our numerical quadrature with formulas
for integrating the tails, a task that is presented in Appendix C.
We have made an utmost effort in avoiding mistakes in both the transcription and
proofreading of the typeset document, and believe the formulas to be free from error.
Still, readers are strongly encouraged to carefully verify their own personal implementa-
tion of these formulas, not only to avoid any remaining, hidden errors, but also to avoid
errors that could have crept in during implementation of the formulas from the published
paper.
In addition, some of the integrals could be verified against tabulations such as Ober-
hettinger’s and against Matlab symbolic tools, and we identify the formulas thus checked.
In addition, we have also used the recurrence relations to verify some (but not all) of the
integrals. The reason is that although the recurrence relations involve differentiations
and can in principle be used to reduce the expressions to known integrals, the process
can be very tedious because of the complexity of the derivatives of the elliptic functions.
Indeed, even when the operations are carried out with a computer, say with Matlab, it is
often difficult to collect and factor terms in the resulting expressions, and thus, to reduce
the formulas into a recognizable form.
Finally, because many of the formulas are discontinuous when either s → 0 or a = b,
we have seen fit to provide separate tables for these cases. By and large, the tables list
the integrals in descending value of λ and in increasing order of the Bessel functions.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 85
Table 1: Integrals for α = 0, a = 0, s > 0. All of the formulas in this section have
been obtained with Matlab’s symbolic tool.
L2 =√b2 + s2 ,
I00β (0, b, s) =
∫ ∞
0
e−sx Jβ (bx) dx =1
L2
(b
L2 + s
)β
, β = 0, 1, 2, . . . ,
I−10β (0, b, s) =
∫ ∞
0
e−sx Jβ (bx)
xdx =
1
β
(b
L2 + s
)β
, β = 1, 2, 3, . . . ,
I−20β (0, b, s) =
∫ ∞
0
e−sx Jβ (bx)
x2dx =
βL2 + s
β (β2 − 1)
(b
L2 + s
)β
, β = 2, 3, 4, . . . ,
I−30β (0, b, s) =
∫ ∞
0
e−sx Jβ (bx)
x3dx
=
[ (β2 − 1
)L22 + 3s (βL2 + s)
]β (β2 − 1) (β2 − 4)
(b
L2 + s
)β
,
β = 3, 4, 5, . . . .
Table 2: Integrals for s = 0, a > 0, b > 0, in dual format.
κ =2√a b
a+ b≤ 1, k =
{ab , a < bba , a > b,
I000 (a, b, 0) =
∫ ∞
0
J0 (ax) J0 (bx) dx =2
π
1
a+ bK (κ) =
{2πbK
(ab
)a < b
2πaK
(ba
)a > b,
I001 (a, b, 0) =
∫ ∞
0
J0 (ax) J1 (bx) dx = 1b [1−H (a− b)] =
1
b
⎧⎨⎩
1 a < b12 a = b
0 a > b,
I−101 (a, b, 0) =
∫ ∞
0
J0 (ax) J1 (bx)
xdx =
1
πb[(a+ b)E (κ)− (a− b)K (κ)]
=2
π
{E(ab
)a < b[(
ba − a
b
)K
(ba
)+ a
bE(ba
)]a > b,
I−111 (a, b, 0) =
∫ ∞
0
J1 (ax) J1 (bx)
xdx =
1
2
{ab a < bba a ≥ b,
I011 (a, b, 0) =
∫ ∞
0
J1 (ax) J1 (bx) dx =a+ b
πab
[a2 + b2
(a+ b)2K (κ)−E (κ)
]
=2
π
⎧⎨⎩
1a
[K
(ab
)−E
(ab
)]a < b
∞ a = b1b
[K
(ba
)−E
(ba
)]a > b,
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
86 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
I−211 (a, b, 0) =
∫ ∞
0
J1 (ax) J1 (bx)
x2dx
=1
3πab
[(a2 + b2
)(a+ b)E (κ)−
(a2 − b2
)(a− b)K (κ)
]
=2
3π
⎧⎨⎩
1a
[(a2 + b2
)E(ab
)−
(b2 − a2
)K
(ab
)]a < b
2b a = b1b
[(a2 + b2
)E(ba
)−
(a2 − b2
)K
(ba
)]a � b .
Table 3: Integrals for a > 0, b > 0, s > 0, in ENS format. Only the integrals
provided by ENS are included in this table. For a more complete list, see the next table.
κ =2√ab√
(a+ b)2 + s2, ν =
4ab
(a+ b)2 ,
K = K (κ) , E = E (κ) , Λ = Λ (ν, κ) =|a− b|a+ b
s√(a+ b)2 + s2
Π (ν, κ) ,
I100 =sκ3
4π (1− κ2) ab√ab
E, (ENS–4.3)
I110 =κ
2πa√ab
[κ2
(a2 − b2 − s2
)4 (1− κ2) ab
E+K
], (ENS-4.8)
I111 =sκ
2π ab√ab
[(1− 1
2κ2
1− κ2
)E−K
], (ENS-4.4)
I000 =κ
π√ab
K, (ENS-4.1)
I010 = − 1
πa
κs
2√ab
K− sgn (a− b)
πaΛ +
1
aH (a− b) , (ENS-4.7)
I011 =2
π κ√ab
[(1− 1
2κ2)K−E
], (ENS-4.2)
I−110 =
1
πa
[2√ab
κE+
(a2 − b2
) κ
2√ab
K
]+
s
πasgn (a− b) Λ− s
aH (a− b) , (ENS-4.6)
I−111 =
s
π√ab
[1
κE− κ
2ab
(a2 + b2 + 1
2s2)K
]
+1
4ab
{a2 + b2 +
(a2 − b2
)sgn (a− b)
[2πΛ− 1
]}.
(ENS-4.9)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 87
Table 4: Integrals for a > 0, b > 0, s > 0, in HP format.
A =√
(a+ b)2 + s2, B =√
(a− b)2 + s2, L1 = 12(A−B) , L2 = 1
2(A+B) ,
k = L1/L2, nab = k ab, nba = k b
a, � = checked against
available ENS formsK = K (k) , E = E (k) , Πab = Π (nab, k) , Πba = Π (nba, k) ,
I100 =2s
π L32 (1− k2)
[2
1− k2E−K
], �
I110 =2
πaL32 (1− k2)
[(L2
2 − a2)K+a2 − b2 − s2
1− k2E
], �
I111 =2 s
πabL2 (1− k2)
[1 + k2
1− k2E−K
], �
I120 =2s
πL32 (1− k2)
[K− 2
1− k2E
]+
4s
π a2L2(Πab −K) , a < b,
=2s
πL32 (1− k2)
[K− 2
1− k2E
]+
4s
π a2L2
(πL2
2s−Πba
), a > b,
I121 =2
πa2bL2 (1− k2)
{(L2
2
(2− k2)− a2)K+
[a2
(s2 + a2 − b2
)L2
2 (1− k2)− 2L2
2
(1− k2)]E
},
I122 =2sL2
πa2b2
{2 (E−K) +
k2
1− k2
[2
1− k2E−K
]},
I000 =2
π L2K, �
I010 =2s
πaL2(Πab −K) , a < b,
=2s
πaL2
(π L2
2s−Πba
), a > b,
�
I011 =2
π L1(K−E) , �
I020 =2L2
πa2
[2 (E−K) +
a2
L22
K+2s2
L22
(K−Πab)
], a < b,
=2L2
πa2
[2 (E−K) +
a2
L22
K+2s2
L22
(Πba − πL2
2s
)], a > b,
I021 =2s
πaL1
[E−K+
b2
L22
(Πab −K)
], a < b,
=2s
πaL1
[E−K+
b2
L22
(πL2
2s−Πba
)], a > b,
I022 =2
3πL1
{2
k(K−E) + k (K− 2E)
},
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
88 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
I−110 =
2L2
πa
[E−K+
a2
L22
K+s2
L22
(K−Πab)
], a < b,
=2L2
πa
[E−K+
a2
L22
K+s2
L22
(Πba − πL2
2s
)], a > b,
�
I−111 =
s
πL1
[E−K+
b2
L22
(Πab −K) +a2
L22
(π L2
2s−Πab
)], a < b,
=s
πL1
[E−K+
a2
L22
(Πba −K) +b2
L22
(πL2
2s− Πba
)], a > b,
�
I−120 =
sL2
πa2
[3 (K−E)− a2
L22
K+a2 − b2 + 2s2
L22
(Πab −K)
], a < b,
=sL2
πa2
[3 (K−E)− a2
L22
K+a2 − b2 + 2s2
L22
(πL2
2s−Πba
)], a > b,
I−121 =
2
3πaL1
[(2b2 − a2 − s2
)(E−K) +
a2b2
L22
K+3b2s2
L22
(K−Πab)
], a < b,
=2
3πaL1
[(2b2 − a2 − s2
)(E−K) +
a2b2
L22
K+3b2s2
L22
(Πba − πL2
2s
)], a > b,
I−122 =
s
6πabL1
[(5a2 + 5b2 + 2s2)(E−K) +
a2b2
L22
K+3b4
L22
(Πab −K)
+3a4
L22
(πL2
2s−Πab
)], a < b,
=s
6πabL1
[(5a2 + 5b2 + 2s2)(E−K) +
a2b2
L22
K+3a4
L22
(Πba −K)
+3b4
L22
(πL2
2s−Πba
)], a > b,
I−211 =
1
3πL1
[(2a2 + 2b2 − s2)(E−K) +
4a2b2
L22
K+3b2s2
L22
(K−Πab)
+3a2s2
L22
(Πab −
πL2
2s
)], a < b,
=1
3πL1
[(2a2 + 2b2 − s2)(E−K) +
4a2b2
L22
K+3a2s2
L22
(K−Πba)
+3b2s2
L22
(Πba − πL2
2s
)], a > b,
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 89
I−220 =
L2
9πa2
[(8a2 − 4b2 + 11s2)(E−K) +
a2(6a2 − 2b2 + 3s2)
L22
K
+3s2(3a2 − 3b2 + 2s2)
L22
(K−Πab)
], a < b,
=L2
9πa2
[(8a2 − 4b2 + 11s2)(E−K) +
a2(6a2 − 2b2 + 3s2)
L22
K
+3s2(3a2 − 3b2 + 2s2)
L22
(Πba − πL2
2s
)], a > b,
I−221 =
s
12πaL1
[(5a2 − 13b2 + 2s2)(E−K)− a2(3a2 + 5b2)
L22
K
+3(a2 − b2)2 − 12b2s2
L22
(K−Πab) +3πL2a
4
2sL22
], a < b,
=s
12πaL1
[(5a2 − 13b2 + 2s2)(E−K)− a2(3a2 + 5b2)
L22
K
+3(a2 − b2)2 − 12b2s2
L22
(Πba − πL2
2s
)+
3πL2a4
2sL22
], a > b,
I−222 =
1
30π abL1
{[8(a2 − b2
)2+ 8a2b2 − s2
(9a2 + 9b2 + 2s2
)](E−K)
+ a2b24(a2 + b2
)− s2
L22
K+ 15b4s2
L22
(K−Πab) + 15a4s2
L22
(Πab −
πL2
2s
)}, a < b,
=1
30π abL1
{[8(a2 − b2
)2+ 8a2b2 − s2
(9a2 + 9b2 + 2s2
)](E−K)
+ a2b24(a2 + b2
)− s2
L22
K +15a4s2
L22
(K−Πba) + 15b4s2
L22
(Πba − πL2
2s
)}, a > b.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
90 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
Appendix A. Proof of transformation formula. Eason, Noble and Sneddon de-
fine the scaled Heuman function
Λ (ψ, κ) =
√(1− ν) (ν − κ2)√
νΠ (ν, κ) =
|a− b|(a+ b)
s√(a+ b)2 + s2
Π (ν, κ)
= [E (κ)−K (κ)]F (ψ, κ′) +K (κ)E (ψ, κ′) ,
(A.1)
where
sinψ =1
κ′
√ν − κ2
ν=
s
B, cosψ =
κ
κ′
√1− ν
ν=
|a− b|B
, tanψ =s
|a− b| . (A.2)
Thus, we need expressions to move from one set of parameters to the other. From
Gradshteyn and Ryzhik, page 907, formulas 8.121–3, 8.121–4, and page 908, formulas
8.125, 8.126, the Landen-Gauss transformations which are relevant to this proof are:
κ =2√k
1 + k, K (κ) = (1 + k)K (k) E (κ) =
2
1 + kE (k)− (1− k)K (k) (A.3a)
κ′ =1− k
1 + k, F (ψ, κ′) = (1 + k)F (ϕ, k′)
E (ψ, κ′) =2
1 + k[E (ϕ, k′) + k F (ϕ, k′)]− 1− k
1 + ksinψ
(A.3b)
where
tan (ψ − ϕ) = k tanϕ (A.3c)
Substituting these into the expansion of the scaled Heuman function above, we obtain
Λ (ψ, κ) = [E (κ)−K (κ)]F (ψ, κ′) +K (κ)E (ψ, κ′)
=
[2
1 + kE (k)− (1− k)K (k)− (1 + k)K (k)
](1 + k)F (ϕ, k′)
+ (1 + k)K (k)
{2
1 + k[E (ϕ, k′) + k F (ϕ, k′)]− 1− k
1 + ksinψ
}= 2 {[E (k)−K (k)]F (ϕ, k′) + K (k)E (ϕ, k′)} − (1− k) sinψ K (k) .
(A.4)
But
(1− k) sinψ =
(1− L1
L2
)s
L2 − L1=
s
L2, (A.5)
so
Λ (ψ, κ) = 2Λ (ϕ, k)− s
L2K (k) (A.6)
Also, expanding the expression for tan (ψ − ϕ), we obtain
k tanψtan2ϕ+ (1 + k) tanϕ− tanψ = 0, (A.7)
which is a quadratic equation in tanϕ. Its solution is
tanϕ = − 1 + k
2k tanψ
{1∓
√1 +
4k
(1 + k)2tan2ψ
}
= − 1
(1− κ′) tanψ
{1∓
√1 + κ2 tan2ψ
}.
(A.8)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 91
But
κ tanψ =√1− κ′2 s
|a− b| (A.9)
and √1 + κ2tan2ψ =
√√√√1 +4abs2[
(a+ b)2 + s2](a− b)2
=
√√√√ (a+ b)2(a− b)2 + s2(a− b)2 + 4abs2[(a+ b)2 + s2
](a− b)2
=a+ b
|a− b|
√(a− b)2 + s2√(a+ b)2 + s2
=a+ b
|a− b|κ′.
(A.10)
Hence, taking into account that k = (1− κ′) / (1 + κ′), then
tanϕ = − |a− b|(1− κ′) s
{1± a+ b
|a− b|κ′}
=1
(1− κ′) s{− |a− b| ∓ (a+ b)κ′}
=sgn (a− b)
ks
{bk − a
b− ak.
(A.11)
A) Let’s consider the first of the two solutions above. In this case,
tanϕ =bk − a
kssgn (a− b) =
s2kb
(L21 − b2) ks
sgn (a− b) =s
b (nab − 1)sgn (a− b) , (A.12)
so
tanψ
tanϕ=
s|a−b|
sb(nab−1) sgn (a− b)
=1− nab
1− ab
=1− k a
b
1− ab
→
⎧⎨⎩
> 1 a < b
±∞ a = b
< 0 a > b.
(A.13)
Case 1: a < b
Here tanψ > tanϕ, i.e., ψ > ϕ and ψ − ϕ > 0. Also, k tanϕ > 0, in which case the
angle transformation formula tan (ψ − ϕ) = k tanϕ is satisfied with positive angles in
the range[0, 12π
]. Thus, in this case,
tanϕ =1
k
√nab − k2
1− nab=
s
b (1− nab), (A.14a)
sinϕ =1
k′
√nab − k2
nab=
s
k′ L2
√1− nab
, (A.14b)
cosϕ =k
k′
√1− nab
nab=
b√1− nab
k′ L2. (A.14c)
Also
Λ (ϕ, k) ≡ Λab =
√(1− nab) (nab − k2)
nabΠ (nab, k) =
s
L2Πab, (A.15)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
92 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
so
Λ (ψ, κ) =s
L2[2Πab −K] a < b. (A.16)
Case 2: a > b
Now tanϕ < 0, i.e. ϕ < 0, which we reject.
B) Consider next the second solution for tanϕ:
tanϕ =b− ak
kssgn (a− b) =
s a
a2 − L21
sgn (a− b) =s
a (1− nba)sgn (a− b) , (A.17)
so
tanψ
tanϕ=
s|a−b|
sa(1−nba)
sgn (a− b)=
1− nba
1− ba
=1− k b
a
1− ba
→
⎧⎨⎩
< 0 a < b
±∞ a = b
> 1 a > b.
(A.18)
We see that when a < b we obtain a negative solution ϕ < 0, so we reject it as well. On
the other hand, for a > b this leads us to
tanϕ =1
k
√nba − k2
1− nba=
s
a (1− nba), (A.19a)
sinϕ =1
k′
√nba − k2
nba=
s
k′L2
√1− nba
, (A.19b)
cosϕ =k
k′
√1− nba
nba=
a√1− nba
k′ L2, (A.19c)
and
Λ (ϕ, k) ≡ Λba =
√(1− nba) (nba − k2)
nbaΠ (nba, k) =
s
L2Πba, (A.20)
so
Λ (ψ, κ) =s
L2[2Πba −K] a > b. (A.21)
An additional useful formula is derived next. From section 3, the characteristics of
Πab,Πba are nab = k ab > k2 and nba = k b
a > k2, which together satisfy the relation-
ship nab nba = k2. Hence, the special addition formula 117.02 on page 13 in Byrd and
Friedman applies to these functions:
Π(k a
b , k)+Π
(k ba , k
)= K (k) +
π
2
√k a
b(1− k a
b
) (k a
b − k2)
= K (k) +π
2
√1
k2 −(ab + b
a
)k + 1
.
(A.22)
Also
k(ab + b
a
)=
L1
L2
a2 + b2
ab=
a2 + b2
L22
=L21 + L2
2 − s2
L22
and k2 =L21
L22
, (A.23)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 93
so √1− k
(ab + b
a
)+ k2 =
√1− L2
1 + L22 − s2
L22
+L21
L22
=
√s2
L22
=s
L2. (A.24)
Hence
Πab +Πba = K (k) +πL2
2s(A.25)
Appendix B. Derivatives and continuity of Lambda function. It can be shown
that
∂Π (nab, k)
∂a=
∂Πab
∂nab
∂nab
∂a+
∂Πab
∂k
∂k
∂a=
∂Πab
∂nab
(k
b+
a
b
∂k
∂a
)+
∂Πab
∂k
∂k
∂a,
=b
2ka (ka− b)
(k + a
∂k
∂a
)(K (k) +
a
kb− aE (k)− bk
1−(ab
)2kb− a
Πab
)
+b
a− kb
(Πab −
E (k)
1− k2
)∂k
∂a,
(B.1a)
∂Πba
∂a=
∂Πba
∂nba
∂nba
∂a+
∂Πba
∂k
∂k
∂a=
b
a2
(a∂k
∂a− k
)∂Πba
∂nba+
∂Πba
∂k
∂k
∂a
=1
2k (kb− a)
(a∂k
∂a− k
)(K (k) +
b
ak − bE (k)− ak
1−(ba
)2ak − b
Πba
)
+a
b− ak
(Πba −
E (k)
1− k2
)∂k
∂a.
(B.1b)
When a = b, then
∂Πab
∂a
∣∣∣∣a=b
=1
2kb (1− k)
(k + b
∂k
∂a
∣∣∣∣a=b
)(1
1− kE (k)−K (k)
)
+1
1− k
∂k
∂a
∣∣∣∣a=b
(Πab −
E (k)
1− k2
),
(B.2a)
∂Πba
∂a
∣∣∣∣a=b
=1
2kb (1− k)
(b∂k
∂a
∣∣∣∣a=b
− k
)(1
1− kE (k)−K (k)
)
+1
1− k
∂k
∂a
∣∣∣∣a=b
(Πba −
E (k)
1− k2
),
(B.2b)
and from their difference,(∂Πab
∂a− ∂Πba
∂a
)∣∣∣∣a=b
=1
b (1− k)
(1
1− kE (k)−K (k)
)+
1
1− k
∂k
∂a
∣∣∣∣a=b
(Πab −Πba)|a=b.
(B.3)
Since (Πab −Πba)|a=b = 0, then(∂Πab
∂a− ∂Πba
∂a
)∣∣∣∣a=b
=1
b (1− k)
(1
1− kE (k)−K (k)
)∣∣∣∣a=b
�= 0, (B.4)
which shows that Πab,Πba do not continue one into the other at a = b, but have distinct
slopes at this transitional value.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
94 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
Consider next the ENS Lambda function:
Λ (ν, κ) =
√(1− ν) (ν − κ2)√
νΠ (ν, κ) = π
2Λ0 (ψ\ϑ) . (B.5)
When a = b, then ν = 1 with κ < 1 if s > 0, in which case Π (1, κ) = ∞. However,
Λ (ν, κ) remains finite because of the factor√(1− ν) → 0. The proof of this relies on the
relationship between the ENS Lambda function and Heuman’s function. Indeed, when
ν = 1 → cos2ψ = 0 → ψ = 12π, we have
Λ (1, κ) = 12πΛ0
(12π\ϑ
)= π
2 × 1 = π2 , for any κ < 1
(ϑ < 1
2π), a = b,
so the Lambda function remains finite at a = b. On the other hand, in Appendix A we
found the equivalence
Λ (ν, κ) =
{Λab
Λba=
s
L2
{2Πab −K (k) , a < b
2Πba −K (k) , a > b,(B.6)
which we have verified to be true by numerical testing. Since Πab|a=b = Πba|a=b,
it follows that Λab|a=b = Λba|a=b = Λ(1, κ) = 12π, so the Lambda function itself is
continuous at a = b. However, as we have already found out in (B.4),
∂Πab
∂a
∣∣∣∣a=b
�= ∂Πba
∂a
∣∣∣∣a=b
. (B.7)
Hence, Λ exhibits a discontinuity of slope when a = b. On the other hand, the modified
function
sgn (a− b) Λ (ν, κ) =a− b
a+ b
s
L2 (1 + k)Π (ν, κ) (B.8)
jumps from −1 through 0 to +1 in the neighborhood a = [b− ε, b, b+ ε]. Hence, the
equivalence
sgn (a− b) Λ (ν, κ) =s
L2
{K (k)− 2Πab, a < b
2Πba −K (k) , a > b(B.9)
is intrinsically discontinuous, so HP’s use of the upper expression in the domain a > b led
them necessarily to an erroneous branch. Nonetheless, despite the intrinsic discontinuity
of the Lambda function, many of the integrals and particularly those that affect HP’s
elasticity problem are still continuous up to first order; i.e., strains and stresses are
continuous. For example, in (5.1b), the discontinuous fragment is
f (a, b, s) = sgn (a− b)[2πΛ (ν, κ)− 1
]. (B.10)
Since as we have just seen that 2πΛ (1, κ) = 1, then f (a, a, s) = sgn (a− b)× 0 = 0, both
when approaching from the left or from the right, so the primitive fragment is continuous.
Also, the first derivative will contain a term of the form[2πΛ (ν, κ)− 1
]δ (a− b) , (B.11)
which despite the Dirac-delta factor is also zero at the transition, so again the first deriv-
ative of the fragment is continuous. Higher derivatives, however, will be discontinuous.
The previous results led to an interesting corollary. Since at a = b, Λaa = 12π and
Πaa = Π (k, k), then
2Π (k, k)−K (k) = πL2
2s, (B.12)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 95
where
L1 = b
(√1 +
( s
2b
)2
− s
2b
), L2 = b
(√1 +
( s
2b
)2
+s
2b
)(B.13)
and
2s
L2= 2
s
b
b
L2= 2
L2 − L1
L2= 2
(1− L1
L2
)= 2 (1− k) , (B.14)
k =L1
L2=
L21
b2=
b2
L22
, (B.15)
so
2Π (k, k)−K (k) =π
2 (1− k)(B.16)
or
(1− k) [2Π (k, k)−K (k)] =π
2(B.17)
which is valid for any 0 < k < 1. Of course, this is nothing but an alternative represen-
tation of Heuman’s lambda function satisfying the limiting condition
Λ0 (ν, κ)|ν=1 = Λ0
(12π\ϑ
)= 1. (B.18)
Appendix C. Numerical integration. To avoid mistakes, all of the integration
formulas given earlier have been verified by direct numerical integration. To this purpose,
the improper integrals are divided into two integration ranges [0, x0] and [x0,∞], where
x0 defines the start of the tail. The body is integrated by an appropriate numerical
quadrature which accounts for the rate of change of the integrands, while the tail is
obtained in closed-form using asymptotic expansions as follows:
Jm (ax) ≈√
2
πaxcos
[ax− 1
4π (1 + 2m)], (C.1)
Jn (bx) ≈√
2
πbxcos
[bx− 1
4π (1 + 2n)], (C.2)
Jm (ax)Jn (bx) ≈ 2
π
1
x√ab
cos[ax− 1
4π (1 + 2m)]cos
[bx− 1
4π (1 + 2n)]. (C.3)
But
cosϕ cosψ = 12 {cos (ϕ− ψ) + cos (ϕ+ ψ)} , (C.4)
so
cos[ax− 1
4π (1 + 2m)]cos
[bx− 1
4π (1 + 2n)]
= 12
{cos
[(a− b) x− 1
2π (m− n)]+ cos
[(a+ b) x− 1
2π (m+ n+ 1)]}
= 12
{cos (a− b) x cos 1
2π (m− n) + sin (a− b) x sin 12π (m− n)
+ cos (a+ b)x cos 12π (m+ n+ 1) + sin (a+ b)x sin 1
2π (m+ n+ 1)}.
(C.5)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
96 EDUARDO KAUSEL AND MIRZA M. IRFAN BAIG
Also
cos 12π (m− n) =
{(−1)
12 (m−n) m− n is even
0 m− n is odd,
cos 12π (m+ n+ 1) =
{0 m+ n is even
(−1)12 (m+n+1)
m+ n is odd,
(C.6a)
sin 12π (m− n) =
{0 m− n is even
(−1)12 (m−n−1)
m− n is odd,
sin 12π (m+ n+ 1) =
{(−1)
12 (m+n)
m+ n is even
0 m+ n is odd.
(C.6b)
Then again, m± n is even if both m,n are even, or both are odd, and it is odd if one is
even and the other one is odd. Hence,
Jm (ax)Jn (bx) ≈1
πx√ab
[(−1)
12 (m−n)
cos (a− b)x+ (−1)12 (m+n)
sin (a+ b) x
]even m± n,
(C.7a)
Jm (ax) Jn (bx) ≈1
πx√ab
[(−1)
12 (m−n−1)
sin (a− b) x+ (−1)12 (m+n+1)
cos (a+ b)x
]odd m± n.
(C.7b)
Observe that (−1)12 (m+n) = (−1)
12 (m−n)(−1)n �= (−1)
12 (m−n).
We now define the following exponential integrals:
C0 (A, s) =
∫ ∞
x0
e−sx cosAx dx =s cosAx0 −A sinAx0
A2 + s2e−sx0 , (C.8a)
S0 (A, s) =
∫ ∞
x0
e−sx cosAx dx =A cosAx0 + s sinAx0
A2 + s2e−sx0 , (C.8b)
C−1 (A, s) =
∫ ∞
x0
e−sx cosAx
xdx = Re {E1 [x0 (s+ i A)]} , (C.8c)
S−1 (A, s) =
∫ ∞
x0
e−sx sinAx
xdx = − Im {E1 [x0 (s+ i A)]} , (C.8d)
C−2 (A, s) =
∫ ∞
x0
e−sx cosAx
x2dx =
e−sx0 cosAx0 − Re {x0 (s+ iA)E1 [x0 (s+ iA)]}x0
,
(C.8e)
S−2 (A, s) =
∫ ∞
x0
e−sx sinAx
x2dx =
e−sx0 sinAx0 + Im {x0 (s+ iA)E1 [x0 (s+ iA)]}x0
,
(C.8f)
where E1 (z) = exponential integral, which can readily be evaluated using Matlab. We
can now express the tail Tλmn (a, b, s) of the integrals as:
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf
LAPLACE TRANSFORM OF PRODUCTS OF BESSEL FUNCTIONS 97
Even m± n:
Tλmn (a, b, s) =
∫ ∞
x0
e−sxxλJm (ax)Jn (bx) dx
=1
π√ab
[(−1)
12 (m−n)
Cλ−1 (a− b, s) + (−1)12 (m+n)
Sλ−1 (a+ b, s)
](C.9a)
Odd m± n:
Tλmn (a, b, s) =
∫ ∞
x0
e−sxxλJm (ax)Jn (bx) dx
=1
π√ab
[(−1)
12 (m−n−1)Sλ−1 (a− b, s) + (−1)
12 (m+n+1)Cλ−1 (a+ b, s)
](C.9b)
References
[1] M. Abramovitz and I. Stegun. Handbook of Mathematical Functions with Formulas, Tenth Printing.Graphs, and Mathematical Tables, U.S. National Bureau of Standards, 1972.
[2] P.F. Byrd and M.D. Friedman. Handbook of Elliptic Integrals for Engineers and Scientists, 2ndEdition (revised), Springer–Verlag, 1971. MR0277773 (43:3506)
[3] G. Eason, B. Noble and I.N. Sneddon. On certain integrals of Lipschitz-Hankel type involvingproducts of Bessel functions, Philosophical. Transactions of the Royal Society of London, Series A,247, pp. 529–551, 1955. MR0069961 (16:1107f)
[4] I.S. Gradshteyn and I. M. Ryzhik. Table of Integrals, Series and Products, Academic Press, 1980.MR0582453 (81g:33001)
[5] M.T. Hanson and I.W. Puja. The evaluation of certain infinite integrals involving products of Besselfunctions: a correlation of formula, Quarterly of Applied Mathematics, 55 (3), pp. 505–524, 1997.MR1466145 (98i:33005)
[6] A.E.H. Love. (1929). The stress produced in a semi-infinite solid by pressure on part of the boundary,Philosophical Transactions of the Royal Society of London, Series A, 228, pp. 377–420, 1929.
[7] F. Oberhettinger. Tables of Laplace transforms, Springer–Verlag, 1973. MR0352889 (50:5375)
License or copyright restrictions may apply to redistribution; see https://www.ams.org/license/jour-dist-license.pdf