---
title: Incomplete Faddeeva Function
url: https://www.emergentmind.com/topics/incomplete-faddeeva-function
type: topic
---

# Incomplete Faddeeva Function

The incomplete Faddeeva function, also known as the incomplete plasma dispersion function (IPDF), is a generalization of the standard plasma dispersion function in which the defining integral is restricted to a semi-infinite domain. This function arises naturally in the context of kinetic plasma theory whenever particle velocity distributions are Maxwellian only on finite or semi-infinite intervals, such as in the presence of boundary sheaths or double layers where the electron distribution is depleted below a cutoff velocity. The IPDF encapsulates essential analytic, asymptotic, and numerical properties distinct from its complete counterpart and is instrumental in modeling linear dielectric response and wave dispersion in bounded or non-Maxwellian plasmas [1301.0943].

## 1. Definition and Mathematical Formulation

For $\Im\{w\} > 0$, the incomplete plasma dispersion function $Z(\nu,w)$ is defined as
\[
Z(\nu,w) = \frac{1}{\sqrt{\pi}} \int_{\nu}^{\infty} \frac{e^{-t^2}}{t-w}\,dt,
\]
where $\nu \in \mathbb{R}$ is the cut-off parameter. Analytic continuation to $\Im\{w\} \le 0$ follows the Landau prescription. The standard plasma dispersion function is recovered in the limit $\nu\to-\infty$:
\[
Z(w) = Z(-\infty, w) = \frac{1}{\sqrt{\pi}} \int_{-\infty}^{\infty} \frac{e^{-t^2}}{t-w}\,dt.
\]
The function $Z(w)$ is related to the Faddeeva function $w(z)$ by
\[
w(z) = e^{-z^2}\,\operatorname{erfc}(-i z), \qquad Z(w) = i\sqrt{\pi}\, w(w),
\]
valid for $\Im\{w\}>0$. Thus, the IPDF generalizes both $Z(w)$ and $w(z)$ to semi-infinite integration domains [1301.0943][1711.05291].

## 2. Analytic Properties and Relation to Complete Functions

The IPDF can be expressed as the difference between the complete plasma dispersion function and a one-sided correction integral:
\[
Z(\nu,w) = Z(w) - \frac{1}{\sqrt{\pi}} \int_{-\infty}^\nu \frac{e^{-t^2}}{t-w}\,dt.
\]
For real $w$ with $w > \nu$, the singularity at $t = w$ is located within the semi-infinite integration domain, necessitating the Plemelj formula to extract the discontinuity:
\[
Z(\nu, x \pm i0) = \frac{1}{\sqrt{\pi}}\,\mathrm{PV}\! \int_{\nu}^{\infty} \frac{e^{-t^2}}{t-x}\,dt \pm i\sqrt{\pi} H(x-\nu)e^{-x^2},
\]
where $H$ is the Heaviside function. There is a branch cut on the real axis for $x > \nu$ with a logarithmic singularity at $x = \nu$ in the real part. For arbitrary cutoffs, the relation
\[
Z(\nu, w) = Z(\nu', w) - \frac{1}{\sqrt{\pi}} \int_{\nu}^{\nu'} \frac{e^{-t^2}}{t-w}\,dt
\]
enables construction of models for piecewise Maxwellian distributions [1301.0943].

## 3. Asymptotic Expansions and Series

The asymptotic behavior of $Z(\nu,w)$ splits into two principal regimes:

- **Small $|w|$:**  
  \[
  Z(\nu,w) = i\sqrt{\pi} H(w-\nu) e^{-w^2} + \sum_{n=0}^\infty a_n(\nu) w^n
  \]
  with
  \[
  a_n(\nu) = \frac{\Gamma(-n/2, \nu^2) + 2\alpha(n+1, \nu)\gamma(-n/2, \nu^2) }{2\sqrt{\pi}},
  \]
  and $\Gamma$, $\gamma$ denoting incomplete gamma functions; $\alpha(n,\nu)$ is as defined in [1301.0943].

- **Large $|w|$:**  
  \[
  Z(\nu,w) \sim i\,\sigma(\Im w)\sqrt{\pi} H(w-\nu) e^{-w^2} - \sum_{n=1}^{\infty} \frac{b_n(\nu)}{w^n},
  \]
  with
  \[
  b_n(\nu) = \frac{\Gamma(n/2, \nu^2) + 2\alpha(n+1, \nu)\gamma(n/2, \nu^2)}{2\sqrt{\pi}},\qquad b_n(\nu) = a_{-n}(\nu).
  \]
  These coefficients enable systematic construction of Padé approximants matching the function’s asymptotic behavior [1301.0943].

## 4. Differential, Recurrence, and Moment Relations

The IPDF satisfies an inhomogeneous first-order ODE:
\[
\frac{dZ}{dw} + 2wZ = \frac{1}{\sqrt{\pi}} \left[\frac{e^{-\nu^2}}{\nu-w} - \operatorname{erfc}(\nu) \right].
\]
Higher-order derivatives obey the recurrence
\[
Z^{(n)}(w) = \frac{(n-1)! e^{-\nu^2}}{\sqrt{\pi}(\nu-w)^n} - 2\left[(n-1)Z^{(n-2)} + wZ^{(n-1)}\right],\quad n\ge2.
\]
Generalized moments,
\[
Z_n(\nu, w) = \frac{1}{\sqrt{\pi}} \int_\nu^\infty \frac{t^n e^{-t^2}}{t-w}\,dt,
\]
can be expressed via generating functions involving Hermite polynomials and the derivatives of $Z$ [1301.0943].

## 5. Numerical Evaluation Strategies

Evaluation approaches depend on the position of $w$ relative to the integration domain:

- **Direct quadrature** is effective when $w < \nu$ and the singularity lies outside.
- **Subtraction of the incomplete contribution**: For $\nu < w < \infty$,
  \[
  Z(\nu,w) = Z(w) - \frac{1}{\sqrt{\pi}} \int_{-\infty}^{\nu} \frac{e^{-t^2}}{t-w} dt
  \]
  leverages existing numerical routines for $Z(w)$ or $w(z)$.
- **Continued-fraction (McCabe–Murphy) expansions** furnish rapidly convergent approximations, merging small- and large-$w$ behaviors.
- **Padé rational approximations** of the form
  \[
  \tilde Z(\nu,w) = \frac{p_0 + p_1 w}{1 + q_1 w + q_2 w^2}
  \]
  provide practical accuracy away from the singularity at $w=\nu$.

For the complete Faddeeva function, highly accurate and efficient approximations combine continued fractions, Hui’s $P_6$, and Humlíček’s $w_4$ rational forms via region-based domain partitioning in the $(x, y)$ plane, achieving max-relative errors $<4\times10^{-5}$ across practical input ranges [1711.05291].

## 6. Applications in Plasma Kinetics and Wave Dispersion

The IPDF is of central importance when the underlying distribution functions are Maxwellian only on semi-infinite intervals, such as the “depleted Maxwellian’’ near wall sheaths. The linear dielectric function,
\[
\hat{\varepsilon}(k, \omega) = 1 + \sum_s \frac{4\pi q_s^2}{k^2 m_s} \int d^3 v \frac{k \cdot \nabla_v f_s}{\omega - k \cdot v},
\]
acquires incomplete $Z$ functions for each domain-limited interval. For a depleted electron population,
\[
f_e(v_x, v_\perp) = \frac{n_1 H(v_x - v_c)}{\pi^{3/2} v_{T1}^3} e^{-v^2/v_{T1}^2},
\]
the dielectric is
\[
\hat{\varepsilon} = 1 - \frac{\omega_{pi}^2}{k^2 v_{Ti}^2} Z'\left( \frac{\omega - k V_i}{k v_{Ti}} \right) - \frac{\omega_{p1}^2}{k^2 v_{T1}^2} Z'\left( \nu_1, \frac{\omega}{k v_{T1}} \right),
\]
where $\nu_1 = v_c / v_{T1}$. Asymptotics of each term yield ion-acoustic and Langmuir wave relations. The IPDF encodes the absence of resonant particles below the cutoff, permitting undamped or weakly damped modes at high $k$, as manifested in the discontinuous imaginary part of $Z(\nu, w)$ [1301.0943].

## 7. Practical Considerations and Algorithmic Implementation

Numerical evaluation of the related Faddeeva function, and hence $Z(w)$, leverages region-dependent rational or continued fraction approximations. The algorithm partitions the $(x, y)$ plane and selects among the following forms:
- Continued-fraction truncations for $|z|^2$ beyond specific thresholds
- Hui’s $P_6$ rational approximation for small/moderate $|z|$ 
- Humlíček’s $w_4$ approximation near the real axis

A single evaluation therefore typically demands only polynomial evaluation and a modest number of floating-point operations, achieving efficiency superior to “full-range” methods for large batches. Derivatives of $w(z)$ are computed directly via
\[
\frac{d}{dz} w(z) = \frac{2i}{\sqrt{\pi}} - 2z w(z),
\]
and Cauchy–Riemann relations yield all real derivatives necessary for applications in spectral line broadening and dielectric response computations [1711.05291].

---

**References**:  
[1301.0943]: "The incomplete plasma dispersion function: properties and application to waves in bounded plasmas"  
[1711.05291]: "Algorithm 985: Simple, efficient, and relatively accurate approximation for the evaluation of the Faddeyeva function"

Source: https://www.emergentmind.com/topics/incomplete-faddeeva-function