Next Article in Journal
PointSCNet: Point Cloud Structure and Correlation Learning Based on Space-Filling Curve-Guided Sampling
Next Article in Special Issue
Parameter Estimation for a Type of Fractional Diffusion Equation Based on Compact Difference Scheme
Previous Article in Journal
Various Approaches to the Quantitative Evaluation of Biological and Medical Data Using Mathematical Models
Previous Article in Special Issue
A Note on a Fourier Sine Transform
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Quadruple Integral Involving Product of the Struve Hv(βt) and Parabolic Cylinder Du(αx) Functions

Department of Mathematics and Statistics, York University, Toronto, ON M3J 1P3, Canada
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(1), 9; https://doi.org/10.3390/sym14010009
Submission received: 30 November 2021 / Revised: 10 December 2021 / Accepted: 20 December 2021 / Published: 22 December 2021

Abstract

:
The objective of the present paper is to obtain a quadruple infinite integral. This integral involves the product of the Struve and parabolic cylinder functions and expresses it in terms of the Hurwitz–Lerch Zeta function. Almost all Hurwitz-Lerch Zeta functions have an asymmetrical zero distributionSpecial cases in terms fundamental constants and other special functions are produced. All the results in the work are new.

1. Significance Statement

In 1927, Watson et al. [1] published work on the infinite integral involving the product of the Struve H v ( β t ) and parabolic cylinder D u ( α x ) functions expressed in terms of the quotient of gamma functions. In 1945, Mitra [2] extended the work achieved by Watson et al. by deriving and evaluating other forms of these infinite integrals involving the product of Struve and parabolic cylinder functions. In this current work, we take this previous important work a step further by deriving a quadruple definite integral involving these special functions. We will derive a quadruple integral and express in terms of a Hurwitz–Lerch Zeta function. Special cases are derived in terms of the Polylogarithm function L i k ( z ) , Catalan’s constant C, Hurwitz Zeta function ζ ( s , v ) , the Harmonic function H n , the Zeta function of Riemann ζ ( k ) , and log ( 2 ) . An interesting invariant property of the indices in the Struve H v ( β t ) and parabolic cylinder D u ( α x ) functions is evaluated. This invariant property, related to multiple integrals, is a new topic to the best of our knowledge. We will be investigating this property along with other multiple integrals in future work. We will be looking at any similarities this property has to multiple definite integral of these functions and any real world applications which they possess.

2. Introduction

In this paper we derive the quadruple definite integral given by:
0 0 0 0 x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 log k a t x y z d x d y d z d t
where the parameters k , a , α , β , u , v , and m are general complex numbers and R e ( u ) < R e ( m ) < 1 / 2 , R e ( m ) < R e ( v ) . 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 [3]. This method involves using a form of the generalized Cauchy’s integral formula given by:
y k Γ ( k + 1 ) = 1 2 π i C e w y w k + 1 d w .
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 used the method in [3]. The variable of integration in the contour integral is r = w + m . The cut and contour are in the first quadrant of the complex r-plane. The cut approaches the origin from the interior of the first quadrant; 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 with log a t x y z and multiplying by x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 , then taking the definite integral with respect to x ( 0 , ) , y ( 0 , ) , z ( 0 , ) , and t ( 0 , ) to obtain
1 Γ ( k + 1 ) 0 0 0 0 x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 log k a t x y z d x d y d z d t = 1 2 π i 0 0 0 0 C a w w k 1 x 1 2 ( m w ) t m v + w 1 y 1 2 ( m w ) u + 1 z m + 2 v w + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 d w d x d y d z d t = 1 2 π i C 0 0 0 0 a w w k 1 x 1 2 ( m w ) t m v + w 1 y 1 2 ( m w ) u + 1 z m + 2 v w + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 d x d y d z d t d w = 1 2 π i C π 3 / 2 a w w k 1 α m + w 2 1 sec 1 2 π ( m + w ) 2 1 4 ( 5 ( m + w ) + 2 ( u 2 v 7 ) ) β m + v w b 3 ( m + w ) 4 + u 2 v 2 d w
from Equation (3.326.2) in [4], equations (3.9.1.3) and (3.15.1) in [5] where R e ( β ) > 0 , 0 < R e ( w + m ) < 3 / 2 , | R e ( w + m + β ) | < 1 , | arg α | < π / 4 , and using the reflection formula (8.334.3) in [4] for the Gamma function. We are able to switch the order of integration over x, y, z, and t using Fubini’s theorem for multiple integrals see (9.112) in [6], as the integrand is of bounded measure over the space C × ( 0 , ) × ( 0 , ) × ( 0 , ) × ( 0 , ) .

4. The Hurwitz–Lerch Zeta Function and Infinite Sum of the Contour Integral

In this section we use Equation (2) to derive the contour integral representations for the Hurwitz–Lerch Zeta function.

4.1. The Hurwitz–Lerch Zeta Function

The Hurwitz–Lerch Zeta function (25.14) in [7] and [8] has a series representation given by
Φ ( z , s , v ) = n = 0 ( v + n ) s z n
where | z | < 1 , v 0 , 1 , . . and is continued analytically by its integral representation given by
Φ ( z , s , v ) = 1 Γ ( s ) 0 t s 1 e v t 1 z e t d t = 1 Γ ( s ) 0 t s 1 e ( v 1 ) t e t z d t
where R e ( v ) > 0 , and either | z | 1 , z 1 , R e ( s ) > 0 , or z = 1 , R e ( s ) > 1 .

4.2. Infinite Sum of the Contour Integral

Using Equation (2) and replacing y with log ( a ) + log ( α ) 2 + 3 log ( b ) 4 log ( β ) + 1 2 i π ( 2 y + 1 ) + 5 log ( 2 ) 4 , then multiplying both sides by π 3 / 2 ( 1 ) y α m 2 1 e 1 2 i π m ( 2 y + 1 ) 2 1 4 ( 5 m + 2 ( u 2 v 7 ) ) + 1 β v m b 3 m 4 + u 2 v 2 , taking the infinite sum over y [ 0 , ) , and simplifying in terms of the Hurwitz–Lerch Zeta function we obtain
1 Γ ( k + 1 ) π k + 3 2 e 1 2 i π ( k + m ) α m 2 1 2 1 4 ( 5 m + 2 ( u 2 v 5 ) ) β v m b 3 m 4 + u 2 v 2 Φ e i m π , k , i ( 4 log ( a ) 3 log ( b ) 2 log ( α ) + 4 log ( β ) 5 log ( 2 ) 2 i π ) 4 π = 1 2 π i y = 0 C π 3 / 2 ( 1 ) y w k 1 α m 2 1 β v m b 3 m 4 + u 2 v 2 2 1 4 ( 5 m + 2 u 4 v + 5 w 10 ) exp 1 4 ( w ( 4 log ( a ) + 2 log ( α ) + 3 log ( b ) 4 log ( β ) ) + 2 i π ( 2 y + 1 ) ( m + w ) ) d w = 1 2 π i C y = 0 π 3 / 2 ( 1 ) y w k 1 α m 2 1 β v m b 3 m 4 + u 2 v 2 2 1 4 ( 5 m + 2 u 4 v + 5 w 10 ) exp 1 4 ( w ( 4 log ( a ) + 2 log ( α ) + 3 log ( b ) 4 log ( β ) ) + 2 i π ( 2 y + 1 ) ( m + w ) ) d w = 1 2 π i C π 3 / 2 a w w k 1 α 1 2 ( m + w 2 ) sec 1 2 π ( m + w ) 2 1 4 ( 5 m + 2 u 4 v + 5 w 14 ) β m + v w b 1 4 ( 3 m + 2 u 4 v + 3 w 8 ) d w
from Equation (1.232.2) in [4] where I m ( π 2 ( m + w ) ) > 0 in order for the sum to converge.

5. Definite Integral in Terms of the Hurwitz–Lerch Zeta Function

Theorem 1.
For all k , a , α , β , u , v , m C , R e ( b ) > 0 , R e ( u ) < R e ( m ) < 1 / 2 , and R e ( m ) < R e ( v ) , then
0 0 0 0 x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 log k a t x y z d x d y d z d t = π k + 3 2 e 1 2 i π ( k + m ) α m 2 1 2 1 4 ( 5 m + 2 ( u 2 v 5 ) ) β v m b 3 m 4 + u 2 v 2 Φ e i m π , k , i ( 4 log ( a ) 3 log ( b ) 2 log ( α ) + 4 log ( β ) 5 log ( 2 ) 2 i π ) 4 π
Proof. 
The right-hand sides of relations (3) and (6) are identical; hence, the left-hand sides of the same are identical too. Simplifying with the Gamma function yields the desired conclusion. □
Example 1.
The degenerate case
0 0 0 0 x m / 2 t m v 1 2 1 4 ( 5 m + 2 ( u 2 v 5 ) ) y m 2 u + 1 z m + 2 v + 1 b 3 m 4 + u 2 v 2 D u ( x α ) H v ( t β ) e b y 2 + z 2 1 4 α 2 x 2 d x d y d z d t = π 3 / 2 α m 2 1 sec π m 2 2 1 4 ( 5 m + 2 ( u 2 v 7 ) ) β v m b 3 m 4 + u 2 v 2
Proof. 
Use Equation (7) and set k = 0 and simplify using entry (2) in Table below (64:12:7) in [9]. □
Example 2.
The Polylogarithm function L i k ( z )
0 0 0 0 x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u x 2 H v ( 2 t ) e x 2 16 2 3 y 2 + z 2 log k i t x y z d x d y d z d t = π k + 3 2 e 1 2 i π ( k + m ) i π m Li k e i m π 2 1 4 ( 5 m + 2 ( u 2 v 5 ) ) + 1 3 3 m 4 + u 2 v 2 3 m 2 + v + 1
Proof. 
Use Equation (7) and set a = i , β = 2 , b = 2 1 / 3 , α = 1 / 2 simplify using Equation (64:12:2) in [9]. □
Example 3.
Catalan’s constant C
0 0 0 0 t v 1 2 y 3 4 u z 2 v + 1 2 D u x 2 H v ( 2 t ) e x 2 16 2 3 y 2 + z 2 x 4 log 2 i t x y z d x d y d z d t = ( 1 ) 3 / 4 π 2 + 48 i C 2 1 6 ( 4 u 2 v 37 ) 3 π
Proof. 
Use Equation (9) and set k = 2 , m = 1 / 2 and simplify using Equation (2.1.2.2.7) in [10]. □

6. The Invariance of Indices u and v Relative to the Hurwitz–Lerch Zeta Function

In this section, we evaluate Equation (7) such that the indices of the Struve H v ( β t ) and parabolic cylinder D u ( α x ) functions are independent of the right-hand side. These types of integrals could involve properties related to orthogonal functions. This invariant property occurs as a result of how the gamma function is chosen for the definite integral of the contour integral to reduce to a trigonometric function. The derivation of this invariant property is not dependent on all the parameters involved.
Example 4.
The Polylogarihm function L i k ( z )
0 0 0 0 x m / 2 t m v 1 y m 2 u + 1 z m + 2 v + 1 D u x 2 H v ( t ) e 1 16 x 2 8 y 2 + z 2 log k i t x y z d x d y d z d t = 2 π k + 3 2 e 1 2 i π ( k m ) Li k e i m π
Proof. 
Use Equation (7) and set a = i , β = 1 , b = 1 / 2 , α = 1 / 2 ; simplify using Equation (64:12:2) in [9]. □
Example 5.
The inverse hyperbolic cosine function cosh 1 ( x )
0 0 0 0 t v 3 5 y 4 5 u z 2 v + 3 5 D u x 2 H v ( t ) e 1 16 x 2 8 y 2 + z 2 x 5 log i t x y z d x d y d z d t = 1 40 2 π + 10 π 2 i 5 5 π 2 π 5 i cosh 1 3 2
Proof. 
Use Equation (11) and set k = 1 , m = 2 / 5 and simplify. □
Example 6.
The Hurwitz Zeta function ζ ( s , v )
0 0 0 0 t v 1 y 1 u z 2 v + 1 D u x 4 H v ( t ) e 1 64 x 2 32 y 2 + z 2 log k i t x y z d x d y d z d t = e i π k 2 ( 2 π ) k + 3 2 ζ k , 1 2 + i log ( 2 ) 4 π ζ k , 1 + i log ( 2 ) 4 π
Proof. 
Use Equation (7) and set m = 0 , a = i , b = 1 / 2 , α = 1 / 4 , β = 1 and simplify using entry (4) in Table below (64:12:70) in [9]. □
Example 7.
The Harmonic number function H n
0 0 0 0 y 4 / 3 z 7 D 1 3 x 4 H 3 ( t ) e 1 64 x 2 32 y 2 + z 2 t 4 log i t x y z d x d y d z d t = i 2 π H i log ( 2 ) 4 π H 1 2 + i log ( 2 ) 4 π
Proof. 
Use Equation (13) and set u = 1 / 3 , v = 3 and apply l’Hopital’s rule as k 1 and simplify using Equation (14) in [11]. □
Example 8.
The Zeta function of Riemann ζ ( k )
0 0 0 0 t v 1 y 1 u z 2 v + 1 D u x 2 H v ( t ) e 1 16 x 2 8 y 2 + z 2 log k i t x y z d x d y d z d t = 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k )
Proof. 
Use Equation (7) and set a = i , m = 0 , b = 1 / 2 , β = 1 , α = 1 / 2 and simplify using entry (4) in Table below (64:12:7) and entry (2) in table (64:7) in [9]. □
Example 9.
The fundamental constant log ( 2 )
0 0 0 0 t v 1 y 1 u z 2 v + 1 D u x 2 H v ( t ) e 1 16 x 2 8 y 2 + z 2 log i t x y z d x d y d z d t = i 2 π log ( 2 )
Proof. 
Use Equation (15) and apply l’Hopitals’ rule as k 1 and simplify using Equation (25.6.11) in [7]. □
Example 10.
Apéry’s constant ζ ( 3 )
0 0 0 0 t v 1 y 1 u z 2 v + 1 D u x 2 H v ( t ) e 1 16 x 2 8 y 2 + z 2 log 3 i t x y z d x d y d z d t = 3 i ζ ( 3 ) 2 2 π 3 / 2
Proof. 
Use Equation (15) and set k = 3 and simplify. □

Plots of a Special Case Involving ζ ( k )

In this section, we evaluate the right-hand side of Equation (15) for complex values of the parameter k. The Figure 1, Figure 2 and Figure 3 are below:

7. Conclusions and Observation

In this paper, we have presented a novel method for deriving a new integral transform involving the product of the Struve and parabolic cylinder functions along with some interesting definite integrals using contour integration. We also derived an invariant index form of the quadruple integral. We observed that the single integral of the product of the Struve and parabolic cylinder functions is in terms of the gamma function, while the higher dimensional integrals of the product of these functions can be constant. We will be investigating this property in future work. The Figure 1, Figure 2, Figure 3, and results presented were numerically verified for real, imaginary, and complex values of the parameters in the integrals using Mathematica by Wolfram.

Author Contributions

Conceptualization, R.R.; methodology, R.R.; writing—original draft preparation, R.R.; writing—review and editing, R.R. and A.S.; and funding acquisition, A.S. All 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

  1. Watson, G.; Whittaker, N.; Taylor, E. A course of Modern Analysis, 3rd ed.; Cambridge Mathematical Library: Cambridge, UK, 1927; p. 353. [Google Scholar]
  2. Mitra, S. On certain infinite integrals involving Struve functions and Parabolic cylinder functions. Proc. Edinb. Math. Soc. 1946, 7, 171–173. [Google Scholar] [CrossRef] [Green Version]
  3. 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]
  4. Gradshteyn, I.S.; Ryzhik, I.M. Tables of Integrals, Series and Products, 6th ed.; Academic Press: Cambridge, MA, USA, 2000. [Google Scholar]
  5. Brychkov, Y.A.; Marichev, O.I.; Savischenko, N.V. Handbook of Mellin Tranforms; CRC Press: Boca Raton, FL, USA, 2019; p. 149. [Google Scholar]
  6. Harrison, M.; Waldron, P. Mathematics for Economics and Finance; Taylor & Francis: Abingdon, UK, 2011. [Google Scholar]
  7. Olver, F.W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. (Eds.) NIST Digital Library of Mathematical Functions; With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2723248 (2012a:33001); U.S. Department of Commerce, National Institute of Standards and Technology: Washington, DC, USA; Cambridge University Press: Cambridge, UK, 2010. [Google Scholar]
  8. Laurincikas, A.; Garunkstis, R. The Lerch Zeta-Function; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2013. [Google Scholar]
  9. 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]
  10. Lewin, L. Polylogarithms and Associated Functions; North-Holland Publishing Co.: New York, NY, USA, 1981. [Google Scholar]
  11. Adamchik, V.S. Polygamma Functions of Negative Order. J. Comput. Appl. Math. 1999, 100, 191–199. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Plot of real part of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Figure 1. Plot of real part of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Symmetry 14 00009 g001
Figure 2. Plot of imaginary part of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Figure 2. Plot of imaginary part of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Symmetry 14 00009 g002
Figure 3. Plot of arg of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Figure 3. Plot of arg of 2 2 k + 1 1 e i π k 2 π k + 3 2 ζ ( k ) .
Symmetry 14 00009 g003
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Reynolds, R.; Stauffer, A. A Quadruple Integral Involving Product of the Struve Hv(βt) and Parabolic Cylinder Du(αx) Functions. Symmetry 2022, 14, 9. https://doi.org/10.3390/sym14010009

AMA Style

Reynolds R, Stauffer A. A Quadruple Integral Involving Product of the Struve Hv(βt) and Parabolic Cylinder Du(αx) Functions. Symmetry. 2022; 14(1):9. https://doi.org/10.3390/sym14010009

Chicago/Turabian Style

Reynolds, Robert, and Allan Stauffer. 2022. "A Quadruple Integral Involving Product of the Struve Hv(βt) and Parabolic Cylinder Du(αx) Functions" Symmetry 14, no. 1: 9. https://doi.org/10.3390/sym14010009

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop