1. Significance Statement
Quadruple definite integrals are widely used in a vast number of areas spanning mathematics and physics, from integrating over a four-dimensional volume, integrating over a Lagrangian density in field theory and four-dimensional Fourier transforms of a function of spacetime .
Some interesting areas where these integrals are used are in asymptotic expansion [
1], calculating the mean distance between two independent points within a circle [
2], providing a classical derivation of the Compton effect [
3], the radiation impedance computations of a square piston in a rigid infinite baffle [
4], the acoustic radiation impedance of a rectangular panel [
5], the statistical basis for the theory of stellar scintillation [
6], modelling in three dimensions of a guiding center plasma within the purview of gyroelastic magnetohydrodynamics [
7], and the formulation of an axisymmetric potential problem for a plane circular electrode [
8].
After perusing the current literature, the authors found many applications of quadruple integrals. In some cases these integrals were separable and in some cases asymptotic expansions were used to attain a solution. To the best of our knowledge the authors were unable to find quadruple definite integrals involving the logarithmic, exponential and polynomial functions derived in terms of a closed form solution.
In this present work we provide a formal derivation for a quadruple integral not present in the current literature. This integral features a kernel with the product of the logarithmic, exponential and polynomial functions. The log term mixes the variables so that the integral is not separable except for special values of k.
In this work our goal is to expand upon the current literature of definite quadruple integrals by providing a formal derivation in terms of the Lerch function.
2. Introduction
In this paper we derive the quadruple definite integral given by
where the parameters
and
m are general complex numbers. This definite integral will be used to derive special cases in terms of special functions and fundamental constants. The derivations follow the method used by us in [
9]. This method involves using a form of the generalized Cauchy’s integral formula given by
where
C is in general an open contour in the complex plane where the bilinear concomitant has the same value at the end points of the contour. We then multiply both sides by a function of
x,
y,
z and
t, then take a definite quadruple integral of both sides. This yields a definite integral in terms of a contour integral. Then we multiply both sides of Equation (
2) by another function of
x,
y,
z and
t and take the infinite sums of both sides such that the contour integral of both equations are the same.
3. Definite Integral of the Contour Integral
We use the method in [
9]. The variable of integration in the contour integral is
. The cut and contour are in the second quadrant of the complex
-plane. The cut approaches the origin from the interior of the second quadrant and the contour goes round the origin with zero radius and is on opposite sides of the cut. Using a generalization of Cauchy’s integral formula we form the quadruple integral by replacing
y by
and multiplying by
then taking the definite integral with respect to
,
,
and
to obtain
from Equation (3.1.3.7) in [
10] where
and using the reflection Formula (8.334.3) in [
11] for the Gamma function. We are able to switch the order of integration over
,
x,
y,
z and
t using Fubini’s theorem since the integrand is of bounded measure over the space
.
4. The Lerch Function and Infinite Sum of the Contour Integral
In this section we use Equation (
2) to derive the contour integral representations for the Lerch function.
4.1. The Lerch Function
The Lerch function has a series representation given by
where
and is continued analytically by its integral representation given by
where
, and either
, or
.
4.2. Derivation of the First Contour Integral
In this section we will derive the contour integral given by
Using Equation (
2) and replacing
y by
then multiplying both sides by
taking the infinite sum over
and simplifying in terms of the Lerch function we obtain
from Equation (1.232.3) in [
11] and
in order for the sum to converge.
4.3. Derivation of the Second Contour Integral
In this section we will derive the contour integral given by
Using Equation (
2) and replacing
y with
then multiplying both sides by
taking the infinite sum over
and simplifying in terms of the Lerch function we obtain
from Equation (1.232.3) in [
11] and
in order for the sum to converge.
4.4. Derivation of the Third Contour Integral
In this section we will derive the contour integral given by
Using Equation (
2) and replacing
y with
then multiplying both sides by
taking the infinite sum over
and simplifying in terms of the Lerch function we obtain
from Equation (1.232.3) in [
11] and
in order for the sum to converge.
4.5. Derivation of the Fourth Contour Integral
In this section we will derive the contour integral given by
Using Equation (
2) and replacing
y by
then multiplying both sides by
taking the infinite sum over
and simplifying in terms of the Lerch function we obtain
from Equation (1.232.3) in [
11] and
in order for the sum to converge.
5. Definite Integral in Terms of the Lerch Function
Theorem 1. For all , Proof. Since the right-hand side of Equation (
3) is equal to the addition of the right-hand side of Equations (
7), (
9), (
11) and (
13) we can equate the left-hand sides and simplify the gamma function to obtain the stated result. □
Proof. Use Equation (
14) and set
and simplify in terms of the Hurwitz zeta function
using entry (4) below the Table in [
12]. □
Proof. Use Equation (
14) and set
and simplify using entry (2) below Table in [
12]. □
Proof. Use Equation (
14) and set
and simplify using entry (3) in the Table below (64:12:7) [
12]. □
Proof. Use Equation (
14) and form a second equation by replacing
and take their difference. Using the resulting equation set
and simplify in terms of the Hurwitz zeta function
using entry (4) in the Table below (64:12:7) in [
12]. □
Proof. Use Equation (
18) apply l’Hopital’s rule to the right-hand side as
and set
and simplify in terms of the Harmonic number function
using Equations (44:1:1) and (64:4:1) in [
12]. □
and
Proof. Use Equation (
15) and set
and simplify by rationalizing the denominator and comparing real and imaginary parts and using Equation (9.521.1) in [
11]. Note the integrand in Equation (
21) is highly oscillatory. □
Proof. Use Equation (
15) and set
and simplify using Equation (9.521.1) in [
11]. □
Proof. Use Equation (
14) and form a second equation by replacing
and take their difference. Next, using the resulting equation set
k = −1,
a = 1,
m = 1/2,
n = −1/2,
p = 2,
q = 1 and simplify using Equations (44:1:1) and (64:4:1) in [
12]. □
Proof. Use Equation (
14) and set
and simplify in terms of the Hurwitz zeta function
using entry (4) in the Table below (64:12:7) in [
12]. Next set
and simplify. □
Proof. Use Equation (
24) take the first partial derivative with respect to
k and set
and simplify using Equation (64:10:2) in [
12]. Note the integrand is highly oscillatory. □
and
Proof. Use Equation (
15) apply l’Hopitals’ rule as
and set
and simplify by rationalizing the denominator and comparing real and imaginary parts and using Equation (9.521.1) in [
11]. □
and
Proof. Use Equation (
15) set
and simplify using Equation (64:3:5) in [
12]. □
Proof. Use Equation (
28) set
and simplify. Note the integrand is highly oscillatory. □
Proof. Use Equation (
28) set
and simplify. Note the integrand is highly oscillatory. □
6. Discussion
In the current work, the authors use their contour integration method to derive a quadruple integral based on the Lerch function that does not exist in the current literature. The formulae derived in this work use our method [
9], which can be used to derive other quadruple integrals. The authors will use their method in future work to generate more multiple definite integrals. Wolfram Mathematica was used to verify numerical values of the parameters in the integral formulae.
Author Contributions
Conceptualization, R.R.; methodology, R.R.; draft preparation, R.R.; funding acquisition, A.S.; supervision, A.S. Both authors have read and agreed to the published version of the manuscript.
Funding
This research is supported by NSERC Canada under Grant 504070.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- McClure, J.P.; Wong, R. Asymptotic expansion of a quadruple integral involving a Bessel function. J. Comput. Appl. Math. 1990, 33, 199–215. [Google Scholar] [CrossRef] [Green Version]
- Watson, G.N. A Quadruple Integral. Math. Gaz. 1959, 43, 280–283. [Google Scholar] [CrossRef]
- Raman, C.V. A classical derivation of the Compton effect. Indian J. Phys. 1928, 3, 357–369. [Google Scholar]
- Lee, J.; Seo, I. Radiation impedance computations of a square piston in a rigid infinite baffle. J. Sound Vib. 1996, 198, 299–312. [Google Scholar] [CrossRef]
- Davy, J.L.; Larner, D.J.; Wareing, R.R.; Pearse, J.R. The acoustic radiation impedance of a rectangular panel. Build. Environ. 2015, 92, 743–755. [Google Scholar] [CrossRef]
- Chandrasekhar, S. A Statistical Basis for the Theory of Stellar Scintillation. Mon. Not. R. Astron. Soc. 1952, 112, 475–483. [Google Scholar] [CrossRef] [Green Version]
- Kerbel, G.D. Gyroelastic Fluids; Lawrence Livermore Lab.: Livermore, CA, USA, 1981. [Google Scholar] [CrossRef] [Green Version]
- Temme, N.M.; de Bruin, R. Quadruple Integral Equations for the Charged Disc and Coplanar Annulus; Toegepaste Wiskunde; Stichting Mathematisch Centrum: Amsterdam, The Netherlands, 1981. [Google Scholar]
- Reynolds, R.; Stauffer, A. A Method for Evaluating Definite Integrals in Terms of Special Functions with Examples. Int. Math. Forum 2020, 15, 235–244. [Google Scholar] [CrossRef]
- Prudnikov, A.P.; Brychkov, Y.A.; Marichev, O.I. Integrals and Series, More Special Functions; USSR Academy of Sciences: Moscow, Russia, 1990; Volume 1. [Google Scholar]
- Gradshteyn, I.S.; Ryzhik, I.M. Tables of Integrals, Series and Products, 6th ed.; Academic Press: Cambridge, MA, USA, 2000. [Google Scholar]
- Oldham, K.B.; Myland, J.C.; Spanier, J. An Atlas of Functions: With Equator, the Atlas Function Calculator, 2nd ed.; Springer: New York, NY, USA, 2009. [Google Scholar]
| Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).