The Application of Real Convolution for Analytically Evaluating Fermi-Dirac-Type and Bose-Einstein-Type Integrals

Selvaggi, Jerry P.; Selvaggi, Jerry A.

doi:https://doi.org/10.1155/2018/5941485

Journal of Complex Analysis

On this page

Abstract Introduction Conclusion Appendix Disclosure Conflicts of Interest References Copyright Related Articles

Research Article | Open Access

Volume 2018 | Article ID 5941485 | https://doi.org/10.1155/2018/5941485

The Application of Real Convolution for Analytically Evaluating Fermi-Dirac-Type and Bose-Einstein-Type Integrals

Jerry P. Selvaggi¹and Jerry A. Selvaggi²

Academic Editor: N. K. Govil

Received13 Sept 2017

Revised06 Mar 2018

Accepted20 Mar 2018

Published06 May 2018

Abstract

The Fermi-Dirac-type or Bose-Einstein-type integrals can be transformed into two convergent real-convolution integrals. The transformation simplifies the integration process and may ultimately produce a complete analytical solution without recourse to any mathematical approximations. The real-convolution integrals can either be directly integrated or be transformed into the Laplace Transform inversion integral in which case the full power of contour integration becomes available. Which method is employed is dependent upon the complexity of the real-convolution integral. A number of examples are introduced which will illustrate the efficacy of the analytical approach.

1. Introduction

This article presents an extension to the method developed by J. A. Selvaggi and J. P. Selvaggi [1] for analytically evaluating Fermi-Dirac-type and Bose-Einstein-type integrals. The Fermi-Dirac and Bose-Einstein integrals occupy an important role in areas such as solid-state physics and statistical mechanics. There exists numerous approximate analytical methods for evaluating these integrals, but none of the published methods give a general technique for analytically evaluating these integrals valid for the full range of the degeneracy parameter. This article illustrates a general method for attacking these integrals using real convolution.

The right-hand side of (1) and (2) will be defined as Fermi-Dirac-type integral and the Bose-Einstein-type integral, respectively.Analytical evaluation of these integrals yields the functions and . These functions will be defined as the Fermi-Dirac function and the Bose-Einstein function, respectively. The parameter, , is called the degeneracy parameter, a term encountered in statistical mechanics. However, as far as the integrals in (1) and (2) are concerned, represents any real number. In general, integrals of this type do not allow for closed-form solutions in terms of elementary functions. This article introduces a general method for analytically evaluating the integrals given in (1) and (2) for various functions, . The denominator of the integrands in (1) or (2) is exactly that found in the familiar Fermi-Dirac [2–4] or Bose-Einstein integrals [5, 6]. These integrals are often encountered in statistical and quantum statistical mechanics [7–9]. The authors will mainly consider the Fermi-Dirac functions and Bose-Einstein functions within that domain for which . If , (1) and (2) may be solved by elementary methods.

Numerous techniques have been employed to analytically approximate and numerically evaluate the half-order Fermi-Dirac functions [2, 10–18] and half-order Bose-Einstein functions [5, 17, 18] (see Appendix). A relatively new representation for these integrals, for , is the Polylogarithm function [19–22]. This function has been studied extensively in the literature. In fact, mathematical software such as Mathematica [23] uses a Polylogarithm algorithm to numerically compute the Fermi-Dirac and Bose-Einstein integrals. However, the authors will illustrate that the application of real convolution allows for the complete analytical evaluation of the integrals in (1) and (2) for a wide range of functions, . The authors have already employed this technique [1] to analytically evaluate the integral in (1) for the well-known and important case of the half-order Fermi-Dirac functions where . A few examples will be considered which will help to illustrate the efficacy of the method. Each solution was numerically checked by employing Mathematica [23] and other numerical algorithms.

2. Theoretical Development

Rewrite the integrals given in (1) and (2) in terms of two convergent real-convolution integrals [24]. The observation that real convolution can be employed is the main focus of this article. In fact, once the integrals are transformed into the proper real-convolution form, the difficulty in analytically evaluating (1) and (2) may be substantially reduced.

In order to see that (1) and (2) can each be transformed into two convergent real-convolution integrals requires that each integral be put into the proper form. To this end, rewrite (1) and (2) as follows:valid .

The denominators in each of the integrals in (3) and (4) can be expanded in a binomial expansion. Each expansion results in a convergent integral within its limits of integration. Employing (3) and expanding the denominator of both integrals in their appropriate binomial expansion yieldsLikewise, (4) can be rewritten as

Depending upon the complexity of the function, , direct integration may be possible. However, the authors will develop the necessary mathematical machinery employing the Laplace Transform inversion integral and contour integration of complex variable theory in order to analytically evaluate (5) and (6). The two integrals within the summation in (5), for example, are real-convolution integrals [24] defined as follows:where is defined as the Laplace Transform of . Both expressions are valid for One can eventually relax the restriction on to include . Substituting (7) into (5) yields the following:Equation (8) represents an exact alternative expression for (1). The only restriction put upon is that it must be a function which allows the integral in (1) to be convergent. Of course, must have a Laplace Transform. The same procedure illustrated above yields the following expression for the Bose-Einstein-type integral.

The first integral, shown in (8) or (9), may be quite simple for practical problems if is an analytically integrable function. The second integral, shown in (8) or (9), is the inverse Laplace Transform [24–26] defined as follows:where

The contour defined by the limits of integration in (10a) is called the Bromwich Contour [24–26]. Of course, there is no guarantee that the analytical evaluation of the inversion integral of (10a) will be an easy task. However, for many practical problems found in the literature, this appears not to be a problem.

3. Application of Real Convolution

3.1. Example 1

This simple example is used to verify the method developed in Section 2. Let and evaluate the expression for the Fermi-Dirac function by employing (8). The result is as follows:

Evaluate the inversion integral in by applying the theory of residues of complex variable theory. This is accomplished by choosing the appropriate contour in the complex plane. Figure 1 represents just one possible contour chosen to evaluate the integral in . The contour is closed in the left-hand plane in order to ensure convergence.

Employing the contour of Figure 1 yields the following:The integral around path 2 for the contour of Figure 1 contributes zero due to Jordan’s Lemma [25]. We now have the following expression valid :

Case 1 ().

Case 2 ().

Case 3 (). The Fermi-Dirac function, , for any value of can easily be evaluated. Employing (5), instead of (8), for yields the following: Alternatively, (5) can be employed to evaluate for any . However, employing contour integration avails one of all the mathematical machineries of complex variable theory and allows one to tackle a wide range of integrals that may otherwise be rather complicated to evaluate by alternative methods. The same analysis can be employed to analytically evaluate the Bose-Einstein function, , for .

3.2. Example 2

As a second example, consider a slightly more complicated function. Let , and find the expression for the Fermi-Dirac function. Employing (8) and using the contour of Figure 1 yield the following: The same analysis can be used to compute the Bose-Einstein function by employing (6) or (9).

3.3. Example 3

Consider an even more difficult problem. Substituting into (1) and (2) yields the well-known half-order Fermi-Dirac function, , and the half-order Bose-Einstein function, , respectively (see Appendix). The half-order Fermi-Dirac function has already been analytically evaluated by J. A. Selvaggi and J. P. Selvaggi [1]. Let us attempt to analytically evaluate the half-order Bose-Einstein function, , and use the result to find an alternative expression for the half-order Fermi-Dirac function not discussed in J. A. Selvaggi and J. P. Selvaggi [1]. The half-order Bose-Einstein function is given by valid The Laplace Transform of is . Employ (9) to evaluate the integral in as follows:

The analytical evaluation of the inversion integral given in is expedited by employing the contour shown in Figure 2. The authors call this the Fermi-Dirac contour because of its utility in aiding in the analytical evaluation of the half-order Fermi-Dirac functions, and . Once again, the Fermi-Dirac contour is closed in the left-hand plane in order to ensure convergence.

Employing contour integration in the complex plane and applying the theory of residues yield the following: Only the line integrals along paths 1 (Bromwich Contour), 3, and 5 in Figure 2 contribute a nonzero quantity to the closed line integral on the left-hand side of . The closed line integral on the left-hand side of encloses only simple poles since the branch point at the origin has been excluded from the contour of integration. The mathematical details are found in J. A. Selvaggi and J. P. Selvaggi [1]. The result is as follows:After simplifying the algebra, the Inverse Laplace Transform becomes

Once again, the mathematical details used in obtaining are given in J. A. Selvaggi and J. P. Selvaggi [1]. Employing and yields the following half-order Bose-Einstein function.The functions and are the Complimentary and Imaginary Error functions, respectively. The evaluation of is solved by elementary methods and will not be discussed in this article. The half-order Fermi-Dirac function is found by employing the following duplication formula:This expression is discussed in Clunie [5] and Dingle [6], and it links the Bose-Einstein functions to the Fermi-Dirac functions. When and , the following expression is found:Employing and yields the half-order Fermi-Dirac function as follows:Equation can easily be checked by the application of (8). In doing so, one obtains [1]

Equations and yield different-looking results but are actually identities. Either or can be used to define the half-order Fermi-Dirac function. Alternatively, (5) and (6) could be used to analytically evaluate the half-order Fermi-Dirac function or the half-order Bose-Einstein function, respectively, without employing contour integration.

3.4. Example 4

As a final example, and the most difficult of the four examples discussed in this article, the authors will analytically evaluate the incomplete half-order Fermi-Dirac function [27] defined as follows:valid and . Rewrite as follows:To evaluate , let in the second integral of . The result is as follows:Some care must be taken when considering . There are three cases which need to be considered. These cases are as follows.

Case 1. Find .

Case 2. Find .

Case 3. Find .

The authors will only analyze Case 1 since the other cases follow the same procedure. One can rewrite , employing , as follows:An expression for the half-order Fermi-Dirac function is given by . Evaluate using (8) with given byEmploying , , and (8) yields the following expression for : whereTake note that in (8) has been replaced by in the evaluation of . This is true because the effective degeneracy parameter in is . Evaluate by employing the Fermi-Dirac contour and substituting the result in . This yields the following: Finally, employing , , and yields the analytical solution for the incomplete half-order Fermi-Dirac function valid and .The result given by is easily checked numerically by employing Mathematica [23]. Also, it is in complete numerical agreement with that published by Keller and Fenwick [27]. The authors believe that exists nowhere else in the published literature. It is a simple matter to repeat the process to analytically evaluate the incomplete half-order Bose-Einstein function.

We leave it to the interested reader to verify that the incomplete half-order Fermi-Dirac functions for Cases 2 and 3, respectively, are as follows:

4. Remarks and Conclusion

This article illustrates the utility of real convolution for analytically evaluating the Fermi-Dirac-type and Bose-Einstein-type functions. These functions occupy a very important role in statistical mechanics, quantum statistical mechanics, solid-state physics, and others. The chosen technique is a generalization of the method developed by the authors [1]. A few examples are used to illustrate the efficacy of the method. In particular, the authors chose to look at the well-known half-order Fermi-Dirac and half-order Bose-Einstein functions because of their importance in a number of areas of physics and engineering. However, the method developed in this paper is quite general and may be employed to analytically evaluate integrals given by (1) or (2) with an arbitrary . Of course, the functional form of may be such that the integrals in (1) or (2) will be very difficult for analytical evaluation.

It is emphasized that one may choose to directly integrate the Fermi-Dirac-type or the Bose-Einstein-type functions by employing a direct method as exhibited by (5) or (6), or by contour integration as exhibited by (8) or (9). The method that is chosen lies with the discretion of the practitioner. However, the application of real convolution and contour integration was the main focus of the article because the Fermi-Dirac-type functions and Bose-Einstein-type functions perfectly fit the form of real-convolution integrals.

Although this article focused on analytical solutions, a few comments should be made concerning numerical analysis. For example, a recent article written by Mohankumar and Natarajan [28] gives a very accurate method for numerically computing the Generalized Fermi-Dirac integrals. Also, recent articles by Changshi [29] and Fukushima [30] give excellent methods for numerically computing Fermi-Dirac-type integrals. There are many other published methods that work very well for numerically computing the Fermi-Dirac-type and Bose-Einstein-type integrals. The authors of this article employed the method developed by Chevillard and Revol [31, 32] and achieved promising numerical results. However, there will always be new and improved methods of numerical computation and the authors simply cannot predict with any certainty if the analytical solutions developed in this paper will be of greater or lesser utility than any other method when it comes to its use in numerical analysis. However, what the authors can state with certainty is that a very simple procedure has been developed for analytically evaluating Fermi-Dirac-type and Bose-Einstein-type integrals for a wide range of functions, . The technique employed for doing this may lead to new ideas for numerical formulations as well as asymptotic formulations and may provide new computational insight.

Analytical expressions can help aid in the development of approximate solutions [33, 34] as well as in the development of asymptotic solutions [35] which are used extensively for numerical computation. Often, a complete analytical solution can help to aid in the development of numerical algorithms as well as to give the researcher insight into how the parameters of an integral fit within the form of the solution. The authors believe that when an analytical solution can be found, even if mathematically complex, it can be of great utility. In fact, the analytical solutions developed in this article coupled with the methods developed by Chevillard and Revol [31, 32] have aided the authors in the development of various algorithms for numerically computing the half-order Fermi-Dirac and half-order Bose-Einstein functions. Chevillard’s method is based upon a set of algorithms for numerically computing error functions with great accuracy. The results, as stated earlier, appear to be quite promising. Further research is ongoing.

One must be cognizant, however, that analytical solutions are not necessarily used for high-precision numerical computations especially if the analytical solution is in the form of an infinite series. Often the series may be slower to converge for various values of its parameters, and this requires one to find a more efficient numerical or asymptotic solution. As stated earlier, many such algorithms currently exist in the literature.

One final point should be stressed. The method developed in this paper has recently been employed for analytically evaluating the Gauss-Fermi integral [36]. This integral was previously known to not have a complete analytical solution [37]. This is one more indication of the efficacy of the method for analytically evaluating Fermi-Dirac-type or Bose-Einstein-type integrals for a variety of functions,, illustrated in (1) and (2).

Appendix

Any one of the half-order Fermi-Dirac or half-order Bose-Einstein functions enables any other half-order Fermi-Dirac or half-order Bose-Einstein functions to be evaluated . This is illustrated in Dingle [3, 6] as follows: Employing (A.1), and the known recurrence relationships [3, 6] given byyields all the half-order Fermi-Dirac functions or half-order Bose-Einstein functions. For example, evaluate and as follows: Likewise, evaluate and as follows:All half-order Fermi-Dirac and half-order Bose-Einstein functions are easily evaluated using (A.1) and (A.2).

Disclosure

Jerry P. Selvaggi is a Former Visiting Associate Professor at SUNY New Paltz, New Paltz, NY 12561. Jerry A. Selvaggi is a Retired Professor at Gannon University, Erie, PA 16501.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

J. A. Selvaggi and J. P. Selvaggi, “The analytical evaluation of the half-order Fermi-Dirac integrals,” Open Mathematics Journal, vol. 5, pp. 1–7, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
J. S. Blakemore, “Approximations for Fermi-Dirac integrals, especially the function F_1/2(η) used to describe electron density in a semiconductor,” Solid-State Electronics, vol. 25, no. 11, pp. 1067–1076, 1982.
View at: Publisher Site | Google Scholar
R. B. Dingle, “The fermi-dirac integrals ,” Applied Scientific Research, vol. 6, no. 1, pp. 225–239, 1957.
View at: Publisher Site | Google Scholar
J. McDougall and E. C. Stoner, “The Computation of Fermi-Dirac Functions,” Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences, vol. 237, no. 773, pp. 67–104, 1938.
View at: Publisher Site | Google Scholar
J. Clunie, “On Bose-Einstein functions,” Proceedings of the Physical Society. Section A, vol. 67, no. 7, article no. 308, pp. 632–636, 1954.
View at: Publisher Site | Google Scholar
R. B. Dingle, “The Bose-Einstein integrals ,” Applied Scientific Research, Section A, vol. 6, pp. 240–244, 1957.
View at: Google Scholar
K. Huang, Statistical Mechanics, John Wiley & Sons, Inc., New York, NY, USA, 2nd edition, 1963.
View at: MathSciNet
L. E. Reichl, A Modern Course in Statistical Physics, Wiley-VCH, Berlin, Germany, 2nd edition, 2004.
View at: MathSciNet
R. N. Hill, “A note on certain integrals which appear in the theory of the ideal quantum gases,” American Journal of Physics, vol. 38, pp. 1440–1447, 1970.
View at: Publisher Site | Google Scholar | MathSciNet
W. J. Cody and H. C. Thacher, “Rational Chebyshev approximations for fermi-dirac integrals of orders -1/2, 1/2 and 3/2,” Mathematics of Computation, vol. 21, no. 97, pp. 30–40, 1967.
View at: Publisher Site | Google Scholar
T. M. Garoni, N. E. Frankel, and M. L. Glasser, “Complete asymptotic expansions of the Fermi-Dirac integrals ,” Journal of Mathematical Physics, vol. 42, no. 4, pp. 1860–1868, 2001.
View at: Publisher Site | Google Scholar | MathSciNet
M. Goano, “Algorithm 745: Computation of the Complete and Incomplete Fermi-Dirac Integral,” ACM Transactions on Mathematical Software, vol. 21, no. 3, pp. 221–232, 1995.
View at: Publisher Site | Google Scholar
M. Goano, “Series expansion of the Fermi-Dirac integral over the entire domain of real j and x,” Solid-State Electronics, vol. 36, no. 2, pp. 217–221, 1993.
View at: Publisher Site | Google Scholar
A. J. Macleod, “Algorithm 779: Fermi-Dirac Functions of Order -1/2, 1/2, 3/2, 5/2,” ACM Transactions on Mathematical Software, vol. 24, no. 1, pp. 1–12, 1998.
View at: Publisher Site | Google Scholar
N. Mohankumar, “Two new series for the Fermi-Dirac integral,” Computer Physics Communications, vol. 176, no. 11-12, pp. 665–669, 2007.
View at: Publisher Site | Google Scholar
N. Mohankumar and A. Natarajan, “The accurate numerical evaluation of half‐order Fermi‐Dirac Integrals,” Physica Status Solidi (b) – Basic Solid State Physics, vol. 188, no. 2, pp. 635–644, 1995.
View at: Publisher Site | Google Scholar
M. A. Chaudhry and A. Qadir, “Operator representation of Fermi-Dirac and Bose-Einstein integral functions with applications,” International Journal of Mathematics and Mathematical Sciences, vol. 2007, Article ID 80515, 9 pages, 2007.
View at: Publisher Site | Google Scholar | MathSciNet
E. W. Ng, C. J. Devine, and R. F. Tooper, “Chebyshev polynomial expansion of Bose-Einstein functions of orders 1 to 10,” Mathematics of Computation, vol. 23, pp. 639–643, 1969.
View at: Publisher Site | Google Scholar | MathSciNet
D. Cvijovi, “New integral representations of the polylogarithm function,” Proceedings of the Royal Society A Mathematical, Physical and Engineering Sciences, vol. 463, no. 2080, pp. 897–905, 2007.
View at: Publisher Site | Google Scholar | MathSciNet
M. H. Lee, “Polylogarithms and Riemann's ζ function,” Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, vol. 56, no. 4, pp. 3909–3912, 1997.
View at: Publisher Site | Google Scholar | MathSciNet
M. H. Lee, “Polylogarithmic analysis of chemical potential and fluctuations in a -dimensional free Fermi gas at low temperatures,” Journal of Mathematical Physics, vol. 36, no. 3, pp. 1217–1231, 1995.
View at: Publisher Site | Google Scholar | MathSciNet
M. D. Ulrich, W. F. Seng, and P. A. Barnes, “Solutions to the Fermi-Dirac Integrals in Semiconductor Physics Using Polylogarithms,” Journal of Computational Electronics, vol. 1, no. 3, pp. 431–434, 2002.
View at: Publisher Site | Google Scholar
Wolfram Research, Inc., MATHEMATICA, version 11.2, Wolfram Research, Inc., Champaign, Ill, USA, 2017.
I. N. Sneddon, Fourier Transforms, McGraw-Hill, New York, NY, USA, 1951.
View at: MathSciNet
N. W. McLachlan, Complex Variable Theory & Transform Calculus, Cambridge University Press, 2nd edition, 1955.
B. van der Pol and H. Bremmer, Operational Calculus, Based on the Two-Sided Laplace Integral, Cambridge University Press, 1955.
View at: MathSciNet
G. Keller and M. Fenwick, “Tabulation of the incomplete Fermi-Dirac functions,” The Astrophysical Journal, vol. 117, pp. 437–446, 1953.
View at: Publisher Site | Google Scholar | MathSciNet
N. Mohankumar and A. Natarajan, “On the very accurate numerical evaluation of the generalized Fermi-Dirac integrals,” Computer Physics Communications, vol. 207, pp. 193–201, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
L. Changshi, “More precise determination of work function based on Fermi-Dirac distribution and Fowler formula,” Physica B: Condensed Matter, vol. 444, pp. 44–48, 2014.
View at: Publisher Site | Google Scholar
T. Fukushima, “Precise and fast computation of inverse Fermi-Dirac integral of order 1/2 by minimax rational function approximation,” Applied Mathematics and Computation, vol. 259, pp. 698–707, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
S. Chevillard, “The functions erf and erfc computed with arbitrary precision and explicit error bounds,” Information and Computation, vol. 216, pp. 72–95, 2012.
View at: Publisher Site | Google Scholar
S. Chevillard and N. Revol, “Computation of the error function erf in arbitrary precision with correct rounding,” in Proceedings of the 8th Conference on Real Numbers and Computers, pp. 27–36, 2008.
View at: Google Scholar
O. N. Koroleva, A. V. Mazhukin, V. I. Mazhukin, and P. V. Breslavskiy, “Analytical Approximation of the Fermi-Dirac Integrals of Half-Integer and Integer Orders,” Mathematical Models and Computer Simulations, vol. 9, pp. 383–389, 2017.
View at: Google Scholar
F. J. Fernandez Velicia, “High-precision analytic approximations for the Fermi-Dirac functions by means of elementary functions,” Physical Review A: Atomic, Molecular and Optical Physics, vol. 34, no. 5, pp. 4387–4395, 1986.
View at: Publisher Site | Google Scholar | MathSciNet
J. Boersma and M. L. Glasser, “Asymptotic expansion of a class of Fermi-Dirac integrals,” SIAM Journal on Mathematical Analysis, vol. 22, no. 3, pp. 810–820, 1991.
View at: Publisher Site | Google Scholar | MathSciNet
J. P. Selvaggi, “Analytical evaluation of the charge carrier density of organic materials with a Gaussian density of states revisited,” Journal of Computational Electronics, vol. 17, no. 1, pp. 61–67, 2017.
View at: Publisher Site | Google Scholar
G. Paasch and S. Scheinert, “Charge carrier density of organics with Gaussian density of states: Analytical approximation for the Gauss-Fermi integral,” Journal of Applied Physics, vol. 107, no. 10, pp. 104501-1–104501-4, 2010.
View at: Publisher Site | Google Scholar

Copyright

Copyright © 2018 Jerry P. Selvaggi and Jerry A. Selvaggi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

1644

Downloads

297

Citations