The Faddeeva function or Kramp function is a scaled complex complementary error function,
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.
The decomposition into real and imaginary parts is usually written
where V and L are called the real and imaginary Voigt functions, since V(x,y) is the Voigt profile (up to prefactors).
For sign-inverted arguments, the following both apply:
and
where * denotes complex conjugate.
The Faddeeva function evaluated on imaginary arguments equals the scaled complementary error function ():
where erfc is the complementary error function. For large real x:
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]
This expression can also be broken down further in terms of changes in the real and imaginary part of the Faddeeva function and . Basically, this requires knowledge about the real and imaginary part of the product . Making use of the above definition , the derivative can therefore be split into partial derivatives with respect to and as follows:
A practical example for the use of these partial derivatives can be found here.
The Faddeeva function occurs as
meaning that it is a convolution of a Gaussian with a simple pole.
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]
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] ).
For fast but still accurate calculation of plasma dispersion function , the J-pole Pade approximation is found to be useful [23] , i.e.,
For J=8, one can use b1= -0.017340112270401 - 0.046306439626294i; b2= -0.739917811220052 + 0.839518284620274i; b3= 5.840632105105495 + 0.953602751322040i; b4= -5.583374181615043 -11.208550459628098i; c1= 2.237687725134293 - 1.625941024120362i; c2= 1.465234091939142 - 1.789620299603315i; c3= 0.839253966367922 - 1.891995211531426i; c4= 0.273936218055381 - 1.941787037576095i; b(5:8)=(b(1:4))*; c(5:8)=-(c(1:4))*,
where * denotes complex conjugate. The above approximation is valid for the upper plane. For weakly close to the real axis, i.e., not far from the real axis of the lower plane, the above approximation is also valid. For accurate calculation of , one can use
A coding of the above J-pole approach and comparison with an accurate plasma dispersion function can be found [24] .
In mathematics, the arithmetic–geometric mean of two positive real numbers x and y is the mutual limit of a sequence of arithmetic means and a sequence of geometric means. The arithmetic–geometric mean is used in fast algorithms for exponential, trigonometric functions, and other special functions, as well as some mathematical constants, in particular, computing π.
In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex-valued function of frequency. The interval at which the DTFT is sampled is the reciprocal of the duration of the input sequence. An inverse DFT (IDFT) is a Fourier series, using the DTFT samples as coefficients of complex sinusoids at the corresponding DTFT frequencies. It has the same sample-values as the original input sequence. The DFT is therefore said to be a frequency domain representation of the original input sequence. If the original sequence spans all the non-zero values of a function, its DTFT is continuous, and the DFT provides discrete samples of one cycle. If the original sequence is one cycle of a periodic function, the DFT provides all the non-zero values of one DTFT cycle.
In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals, which were first studied by Giulio Fagnano and Leonhard Euler. Their name originates from their originally arising in connection with the problem of finding the arc length of an ellipse.
In mathematics, a square root of a number x is a number y such that ; in other words, a number y whose square is x. For example, 4 and −4 are square roots of 16 because .
The Navier–Stokes equations are partial differential equations which describe the motion of viscous fluid substances. They were named after French engineer and physicist Claude-Louis Navier and the Irish physicist and mathematician George Gabriel Stokes. They were developed over several decades of progressively building the theories, from 1822 (Navier) to 1842–1850 (Stokes).
In mathematics, the error function, often denoted by erf, is a function defined as:
In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral
The Fresnel integralsS(x) and C(x) are two transcendental functions named after Augustin-Jean Fresnel that are used in optics and are closely related to the error function (erf). They arise in the description of near-field Fresnel diffraction phenomena and are defined through the following integral representations:
In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.
In mathematics, the Dawson function or Dawson integral (named after H. G. Dawson) is the one-sided Fourier–Laplace sine transform of the Gaussian function.
In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. As Grassmann algebras, they appear in quantum field theory.
In mathematics, the Jacobi elliptic functions are a set of basic elliptic functions. They are found in the description of the motion of a pendulum, as well as in the design of electronic elliptic filters. While trigonometric functions are defined with reference to a circle, the Jacobi elliptic functions are a generalization which refer to other conic sections, the ellipse in particular. The relation to trigonometric functions is contained in the notation, for example, by the matching notation for . The Jacobi elliptic functions are used more often in practical problems than the Weierstrass elliptic functions as they do not require notions of complex analysis to be defined and/or understood. They were introduced by Carl Gustav Jakob Jacobi. Carl Friedrich Gauss had already studied special Jacobi elliptic functions in 1797, the lemniscate elliptic functions in particular, but his work was published much later.
In geometry, a spherical cap or spherical dome is a portion of a sphere or of a ball cut off by a plane. It is also a spherical segment of one base, i.e., bounded by a single plane. If the plane passes through the center of the sphere, so that the height of the cap is equal to the radius of the sphere, the spherical cap is called a hemisphere.
The Voigt profile is a probability distribution given by a convolution of a Cauchy-Lorentz distribution and a Gaussian distribution. It is often used in analyzing data from spectroscopy or diffraction.
In quantum field theory, the Lehmann–Symanzik–Zimmermann (LSZ) reduction formula is a method to calculate S-matrix elements from the time-ordered correlation functions of a quantum field theory. It is a step of the path that starts from the Lagrangian of some quantum field theory and leads to prediction of measurable quantities. It is named after the three German physicists Harry Lehmann, Kurt Symanzik and Wolfhart Zimmermann.
In probability theory and statistics, the chi distribution is a continuous probability distribution over the non-negative real line. It is the distribution of the positive square root of a sum of squared independent Gaussian random variables. Equivalently, it is the distribution of the Euclidean distance between a multivariate Gaussian random variable and the origin. It is thus related to the chi-squared distribution by describing the distribution of the positive square roots of a variable obeying a chi-squared distribution.
In mathematics, the lemniscate constantϖ is a transcendental mathematical constant that is the ratio of the perimeter of Bernoulli's lemniscate to its diameter, analogous to the definition of π for the circle. Equivalently, the perimeter of the lemniscate is 2ϖ. The lemniscate constant is closely related to the lemniscate elliptic functions and approximately equal to 2.62205755. The symbol ϖ is a cursive variant of π; see Pi § Variant pi.
In mathematics, the lemniscate elliptic functions are elliptic functions related to the arc length of the lemniscate of Bernoulli. They were first studied by Giulio Fagnano in 1718 and later by Leonhard Euler and Carl Friedrich Gauss, among others.
In statistics, the Kendall rank correlation coefficient, commonly referred to as Kendall's τ coefficient, is a statistic used to measure the ordinal association between two measured quantities. A τ test is a non-parametric hypothesis test for statistical dependence based on the τ coefficient. It is a measure of rank correlation: the similarity of the orderings of the data when ranked by each of the quantities. It is named after Maurice Kendall, who developed it in 1938, though Gustav Fechner had proposed a similar measure in the context of time series in 1897.
In physics and mathematics, the solid harmonics are solutions of the Laplace equation in spherical polar coordinates, assumed to be (smooth) functions . There are two kinds: the regular solid harmonics, which are well-defined at the origin and the irregular solid harmonics, which are singular at the origin. Both sets of functions play an important role in potential theory, and are obtained by rescaling spherical harmonics appropriately: