Faddeeva function

From HandWiki
Faddeeva function on the complex plane

The Faddeeva function or Kramp function is a scaled complex complementary error function,

[math]\displaystyle{ w(z):=e^{-z^2}\operatorname{erfc}(-iz) = \operatorname{erfcx}(-iz) =e^{-z^2}\left(1+\frac{2i}{\sqrt{\pi}}\int_0^z e^{t^2}\text{d}t\right). }[/math]

It is related to the Fresnel integral, to Dawson's integral, and to the Voigt function.

The function arises in various physical problems, typically relating to electromagnetic responses in complicated media.

  • problems involving small-amplitude waves propagating through Maxwellian plasmas, and in particular appears in the plasma's permittivity from which dispersion relations are derived, hence it is sometimes referred to as the plasma dispersion function[1][2] (although this name is sometimes used instead for the rescaled function Z(z) = iπ w(z) defined by Fried and Conte, 1961[1][3]).
  • the infrared permittivity functions of amorphous oxides have resonances (due to phonons) that are sometimes too complicated to fit using simple harmonic oscillators. The Brendel–Bormann oscillator model uses an infinite superposition of oscillators having slightly different frequencies, with a Gaussian distribution.[4] The integrated response can be written in terms of the Faddeeva function.
  • the Faddeeva function is also used in the analysis of electromagnetic waves of the type used in AM radio.[citation needed] Groundwaves are vertically polarised waves propagating over a lossy ground with finite resistivity and permittivity.
  • the Faddeeva function also describes the changes of the neutron cross sections of materials as temperature is varied.[5]

Properties

Real and imaginary parts

The decomposition into real and imaginary parts is usually written

[math]\displaystyle{ w(x+iy)=V(x,y)+iL(x,y) }[/math],

where V and L are called the real and imaginary Voigt functions, since V(x,y) is the Voigt profile (up to prefactors).

Sign inversion

For sign-inverted arguments, the following both apply:

[math]\displaystyle{ w(-z)=2e^{-z^2} - w(z) }[/math]

and

[math]\displaystyle{ w(-z)=w\left(z^*\right)^* }[/math]

where * denotes complex conjugate.

Relation to the complementary error function

The Faddeeva function evaluated on imaginary arguments equals the scaled complementary error function ([math]\displaystyle{ \mathrm{erfcx} }[/math]):

[math]\displaystyle{ w(iz)=\mathrm{erfcx}(z)=e^{z^2}\mathrm{erfc}(z) }[/math],

where erfc is the complementary error function. For large real x:

[math]\displaystyle{ \mathrm{erfcx}(x)\approx \frac{1}{\sqrt{\pi} x} }[/math]

Derivative

In some applications, it is necessary to know not only the original values of the Faddeeva function, but also its derivative (e.g. in Non-linear least squares regression in spectroscopy). Its derivative is given by:[6][7]

[math]\displaystyle{ \frac{dw\left(z\right)}{dz} = \frac{2i}{\sqrt{\pi}} - 2\cdot z\cdot w\left(z\right) }[/math]

This expression can also be broken down further in terms of changes in the real and imaginary part of the Faddeeva function [math]\displaystyle{ \Re\left(w\left(z\right)\right) = \Re_{w} }[/math] and [math]\displaystyle{ \Im\left(w\left(z\right)\right) = \Im_{w} }[/math]. Basically, this requires knowledge about the real and imaginary part of the product [math]\displaystyle{ z\cdot w\left(z\right) }[/math]. Making use of the above definition [math]\displaystyle{ z = x + iy }[/math], the derivative can therefore be split into partial derivatives with respect to [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math] as follows:

[math]\displaystyle{ \frac{d\Re_{w}}{dx} = 2\cdot\left(y\cdot\Im_{w} - x\cdot\Re_{w}\right) = \frac{d\Im_{w}}{dy} }[/math]      and      [math]\displaystyle{ \frac{d\Re_{w}}{dy} = -2\cdot\left(\frac{1}{\sqrt{\pi}} - x\cdot\Im_{w} - y\cdot\Re_{w}\right) = -\frac{d\Im_{w}}{dx} }[/math]
[math]\displaystyle{ \frac{d\Im_{w}}{dx} = 2\cdot\left(\frac{1}{\sqrt{\pi}} - x\cdot\Im_{w} - y\cdot\Re_{w}\right) = -\frac{d\Re_{w}}{dy} }[/math]      and      [math]\displaystyle{ \frac{d\Im_{w}}{dy} = 2\cdot\left(y\cdot\Im_{w} - x\cdot\Re_{w}\right) = \frac{d\Re_{w}}{dx} }[/math]

A practical example for the use of these partial derivatives can be found here.

Integral representation

The Faddeeva function occurs as

[math]\displaystyle{ w(z)=\frac{i}{\pi}\int_{-\infty}^{\infty} \frac{e^{- t^2}}{z - t} \,\mathrm{d}t = \frac{2iz}{\pi} \int_{0}^{\infty} \frac{e^{- t^2}}{z^2 - t^2} \,\mathrm{d}t, \qquad \operatorname{Im}z \gt 0 }[/math]

meaning that it is a convolution of a Gaussian with a simple pole.

History

The function was tabulated by Vera Faddeeva and N. N. Terentyev in 1954.[8] It appears as nameless function w(z) in Abramowitz and Stegun (1964), formula 7.1.3. The name Faddeeva function was apparently introduced by G. P. M. Poppe and C. M. J. Wijers in 1990;[9][better source needed] previously, it was known as Kramp's function (probably after Christian Kramp).[10]

Early implementations used methods by Walter Gautschi (1969–70; ACM Algorithm 363)[11] or by J. Humlicek (1982).[12] A more efficient algorithm was proposed by Poppe and Wijers (1990; ACM Algorithm 680).[13] J.A.C. Weideman (1994) proposed a particularly short algorithm that takes no more than eight lines of MATLAB code.[14] Zaghloul and Ali pointed out deficiencies of previous algorithms and proposed a new one (2011; ACM Algorithm 916).[2] Another algorithm has been proposed by M. Abrarov and B.M. Quine (2011/2012).[15]

Implementations

Two software implementations, which are free for non-commercial use only,[16] were published in ACM Transactions on Mathematical Software (TOMS) as Algorithm 680 (in Fortran,[17] later translated into C)[18] and Algorithm 916 by Zaghloul and Ali (in MATLAB).[19]

A free and open source C or C++ implementation derived from a combination of Algorithm 680 and Algorithm 916 (using different algorithms for different z) is also available under the MIT License,[20] and is maintained as a library package libcerf.[21] This implementation is also available as a plug-in for Matlab,[20] GNU Octave,[20] and in Python via Scipy as scipy.special.wofz (which was originally the TOMS 680 code, but was replaced due to copyright concerns[22]).

See also

References

  1. 1.0 1.1 Lehtinen, Nikolai G. (April 23, 2010). "Error functions". http://nlpc.stanford.edu/nleht/Science/reference/errorfun.pdf. 
  2. 2.0 2.1 M. R. Zaghloul and A. N. Ali, ACM Transactions on Mathematical Software 38(2)15 (2011)
  3. Richard Fitzpatrick, Plasma Dispersion Function, Plasma Physics lecture notes, University of Texas at Austin (2011/3/31).
  4. Brendel, R.; Bormann, D. (1992). "An infrared dielectric function model for amorphous solids". Journal of Applied Physics 71 (1): 1. doi:10.1063/1.350737. ISSN 0021-8979. Bibcode1992JAP....71....1B. 
  5. "OpenMC Windowed Multipole". 2020-06-01. https://docs.openmc.org/en/v0.12.0/methods/cross_sections.html?highlight=faddeeva#windowed-multipole-representation. Retrieved 2020-12-20. 
  6. Avetisov, Slava (1995). A Least-Squares Fitting Technique for Spectral Analysis of Direct and Frequency-Modulation Lineshapes (Report). Department of Physics, Lund University. https://lup.lub.lu.se/search/ws/files/5695063/2297010.pdf. 
  7. "Faddeeva (or Faddeyeva) function - 7.10 Derivatives". National Institute of Standards and Technology. 2010. https://dlmf.nist.gov/7.10. 
  8. V. N. Faddeeva and N. N. Terent'ev: Tables of values of the function [math]\displaystyle{ w(z)=\exp(-z^2)(1+2i/\sqrt{\pi}\textstyle\int_0^z\exp(t^2)\text{d}t) }[/math] for complex argument. Gosud. Izdat. Teh.-Teor. Lit., Moscow, 1954; English transl., Pergamon Press, New York, 1961. Unverified citation, copied from Poppe and Wijers (1990).
  9. Earliest search result in Google Scholar as of Oct 2012.
  10. For instance in Al'pert, Space Science Reviews 6, 781 (1967), formula (3.13), with reference to Faddeeva and Terent'ev.
  11. See references 3 and 4 in Poppe and Wijers (1990).
  12. J. Humlicek, J. Quant. Spectrosc. Radiat. Transfer 27, 437-444 (1982).
  13. G. P. M. Poppe and C. M. J. Wijers, ACM Transactions on Mathematical Software 16, 38-46 (1990).
  14. J. A. C. Weideman, SIAM J. Numer. Anal. 31, 1497-1518 (1994).
  15. S. M. Abrarov and B. M. Quine, Appl. Math. Comp. 218, 1894-1902 (2011) and arXiv:1205.1768v1 (2012).
  16. "Software Copyright Notice". http://www.acm.org/publications/policies/softwarecrnotice. ; hence they are not free in the sense of free and open-source software
  17. http://www.cs.kent.ac.uk/people/staff/trh/CALGO/680.gz[|permanent dead link|dead link}}]
  18. "Collision formulas". http://spec.jpl.nasa.gov/ftp/pub/calpgm/collisions/ZWOFZ.C. 
  19. Mofreh R. Zaghloul and Ahmed N. Ali, "Algorithm 916: Computing the Faddeyeva and Voigt Functions," ACM Trans. Math. Soft. 38 (2), 15 (2011). Preprint available at arXiv:1106.0151.
  20. 20.0 20.1 20.2 Faddeeva Package, free/open-source C++ implementation, accessed 13 October 2012.
  21. "Libcerf [MLZ Scientific Computing Group]". https://jugit.fz-juelich.de/mlz/libcerf. 
  22. "SciPy's complex erf code is not free/open-source? (Trac #1741) · Issue #2260 · scipy/scipy". https://github.com/scipy/scipy/issues/2260.