User:EverettYou/Matsubara Frequency

In quantum field theory, the Matsubara frequency summation is the summation over discrete imaginary frequency. It takes the following form

$S_{\eta }={\frac {1}{\beta }}\sum _{i\omega }g(i\omega )$,

where the imaginary frequency ω is usually taken from either of the following two sets (with $n,m\in \mathbb {Z}$):

$\omega _{n}={\frac {2n\pi }{\beta }}$, bosonic frequencies,

$\omega _{m}={\frac {(2m+1)\pi }{\beta }}$, fermionic frequencies.

The summation will converge if g(z=iω) tends to 0 in z→∞ limit in a manner faster than $z^{-1}$. The summation over bosonic frequencies is denoted as S_B (with η=+1), while that over fermionic frequencies is denoted as S_F (with η=-1). η marks the statistical sign.

Matsubara Frequency Summation

General Formalism

Original integral contour surrounding poles of h(z).

Deform the contour to surround the pole of g(z).

The trick to evaluate Matsubara frequency summation is to use a Matsubara weighting function h_η(z) that has simple poles located exactly at $z=i\omega$. The weighting functions differs from the boson case η=+1 to the fermion case η=-1. The choice of weighing function will be discussed later. With the weighting function, the summation can be replaced by a contour integral in the complex plane.

$S_{\eta }={\frac {1}{\beta }}\sum _{i\omega }g(i\omega )={\frac {1}{2\pi i\beta }}\oint g(z)h_{\eta }(z)dz$.

As in Fig. 1, the weighting function generates poles (red crosses) on the imaginary axis. The contour integral picks up the residue of these poles, which is equivalent to the summation.

By deformation of the contour lines to enclose the poles of g(z) (the green cross in Fig. 2), the summation can be formally accomplished by summing the residue of g(z)h_η(z) over all poles of g(z),

$S_{\eta }=-{\frac {1}{\beta }}\sum _{z_{0}\in g(z){\text{ poles}}}\operatorname {Res} _{z\to z_{0}}\,g(z)h_{\eta }(z)$.

Note that a minus sign is produced, because the contour is deformed to enclose the poles in the clockwise direction, resulting in the negative residue.

Choice of Matsubara Weighting Function

To produce simple poles on boson frequencies $z=i\omega _{n}$, either of the following two types of Matsubara weighting functions can be chosen

$h_{B}^{(1)}(z)={\frac {\beta }{1-e^{-\beta z}}}=-\beta n_{B}(-z)=\beta (1+n_{B}(z))$,

$h_{B}^{(2)}(z)={\frac {-\beta }{1-e^{\beta z}}}=\beta n_{B}(z)$,

depending on which half plane the convergence is to be controlled in. $h_{B}^{(1)}(z)$ controls the convergence in the left half plane (Re z<0), while $h_{B}^{(2)}(z)$ controls the convergence in the right half plane (Re z>0). Here $n_{B}(z)=(e^{\beta z}-1)^{-1}$ is the Bose-Einstein distribution function.

The case is similar for fermion frequencies. There are also two types of Matsubara weighting functions that produce simple poles at $z=i\omega _{m}$

$h_{F}^{(1)}(z)={\frac {\beta }{1+e^{-\beta z}}}=\beta n_{F}(-z)=\beta (1-n_{F}(z))$,

$h_{F}^{(2)}(z)={\frac {-\beta }{1+e^{\beta z}}}=-\beta n_{F}(z)$.

$h_{F}^{(1)}(z)$ controls the convergence in the left half plane (Re z<0), while $h_{F}^{(2)}(z)$ controls the convergence in the right half plane (Re z>0). Here $n_{F}(z)=(e^{\beta z}+1)^{-1}$ is the Fermi-Dirac distribution function.

In the application to Green's function calculation, g(z) always have the structure

$g(z)=G(z)e^{-z\tau }$,

which diverges in the left half plane given 0<τ<β. So as to control the convergence, the weighting function of the first type is always chosen $h_{\eta }(z)=h_{\eta }^{(1)}(z)$. However there is no need to control the convergence if the Matsubara summation does not diverge, in that case, any choice of the Matsubara weighting function will lead to identical results.

Table of Matsubara Frequency Summations

The following table concludes the Matsubara frequency summations for some simple rational functions g(z).

$S_{\eta }={\frac {1}{\beta }}\sum _{i\omega }g(i\omega )$.

η=±1 marks the statistical sign.

$g(i\omega )$	$S_{\eta }$
$(i\omega -\xi )^{-1}$	$-\eta n_{\eta }(\xi )-1/2$[1]
$(i\omega -\xi )^{-2}$	$-\eta n_{\eta }^{\prime }(\xi )=\beta n_{\eta }(\xi )(\eta +n_{\eta }(\xi ))$
$(i\omega -\xi )^{-n}$	$-{\frac {\eta }{(n-1)!}}\partial _{\xi }^{n-1}n_{\eta }(\xi )$
${\frac {1}{(i\omega -\xi _{1})(i\omega -\xi _{2})}}$	$-{\frac {\eta (n_{\eta }(\xi _{1})-n_{\eta }(\xi _{2}))}{\xi _{1}-\xi _{2}}}$
${\frac {1}{(i\omega -\xi _{1})^{2}(i\omega -\xi _{2})^{2}}}$	${\frac {\eta }{(\xi _{1}-\xi _{2})^{2}}}\left({\frac {2(n_{\eta }(\xi _{1})-n_{\eta }(\xi _{2}))}{\xi _{1}-\xi _{2}}}-(n_{\eta }^{\prime }(\xi _{1})+n_{\eta }^{\prime }(\xi _{2}))\right)$
${\frac {1}{(i\omega -\xi _{1})^{2}-\xi _{2}^{2}}}$	$\eta c_{\eta }(\xi _{1},\xi _{2})$
${\frac {1}{(i\omega )^{2}-\xi ^{2}}}$	$\eta c_{\eta }(0,\xi )=-{\frac {1}{2\xi }}(1+2\eta n_{\eta }(\xi ))$
${\frac {(i\omega )^{2}}{(i\omega )^{2}-\xi ^{2}}}$	$-{\frac {\xi }{2}}(1+2\eta n_{\eta }(\xi ))$
${\frac {1}{((i\omega )^{2}-\xi ^{2})^{2}}}$	$-{\frac {\eta }{2\xi ^{2}}}(c_{\eta }(0,\xi )+n_{\eta }^{\prime }(\xi ))$
${\frac {(i\omega )^{2}}{((i\omega )^{2}-\xi ^{2})^{2}}}$	${\frac {\eta }{2}}(c_{\eta }(0,\xi )-n_{\eta }^{\prime }(\xi ))$
${\frac {(i\omega )^{2}+\xi ^{2}}{((i\omega )^{2}-\xi ^{2})^{2}}}$	$-\eta n_{\eta }^{\prime }(\xi )=\beta n_{\eta }(\xi )(\eta +n_{\eta }(\xi ))$
${\frac {1}{((i\omega )^{2}-\xi _{1}^{2})((i\omega )^{2}-\xi _{2}^{2})}}$	${\frac {\eta (c_{\eta }(0,\xi _{1})-c_{\eta }(0,\xi _{2}))}{\xi _{1}^{2}-\xi _{2}^{2}}}$
$\left({\frac {1}{(i\omega )^{2}-\xi _{1}^{2}}}+{\frac {1}{(i\omega )^{2}-\xi _{2}^{2}}}\right)^{2}$	$\eta \left({\frac {3\xi _{1}^{2}+\xi _{2}^{2}}{2\xi _{1}^{2}(\xi _{1}^{2}-\xi _{2}^{2})}}c_{\eta }(0,\xi _{1})-{\frac {n_{\eta }^{\prime }(\xi _{1})}{2\xi _{1}^{2}}}\right)+(1\leftrightarrow 2)$[2]
$\left({\frac {1}{(i\omega )^{2}-\xi _{1}^{2}}}-{\frac {1}{(i\omega )^{2}-\xi _{2}^{2}}}\right)^{2}$	$\eta \left(-{\frac {5\xi _{1}^{2}-\xi _{2}^{2}}{2\xi _{1}^{2}(\xi _{1}^{2}-\xi _{2}^{2})}}c_{\eta }(0,\xi _{1})-{\frac {n_{\eta }^{\prime }(\xi _{1})}{2\xi _{1}^{2}}}\right)+(1\leftrightarrow 2)$[2]

[1] Since the summation does not converge, the result may differ by a constant upon different choice of the Matsubara weighting function.

[2] (1↔2) indicates the same expression as the before but with index 1 and 2 exchanged.

Applications in Physics

Green's Function Related

Time Domain

Consider a function G(τ) defined on the imaginary time interval (0,β). It can be given in terms of Fourier series,

$G(\tau )={\frac {1}{\beta }}\sum _{i\omega }G(i\omega )e^{-i\omega \tau }$,

where the frequency only takes discrete values spaced by 2π/β.

The particular choice of frequency depends on the boundary condition of the function G(τ). In physics, G(τ) stands for the imaginary time representation of Green's function

$G(\tau )=-\langle {\mathcal {T}}_{\tau }\psi (\tau )\psi ^{*}(0)\rangle$.

It satisfies periodic boundary condition G(τ+β)=G(τ) for boson field. While for fermion field the boundary condition is anti-periodic G(τ+β)=-G(τ).

Given the Green's function G(iω) in the frequency domain, its imaginary time representation G(τ) can be evaluated by Matsubara frequency summation. Depending on the boson or fermion frequencies that is to be summed over, the resulting G(τ) can be different. To distinguish, define

$G_{\eta }(\tau )={\begin{cases}G_{B}(\tau ),&{\mbox{if }}\eta =+1\\G_{F}(\tau ),&{\mbox{if }}\eta =-1\end{cases}}$,

with

$G_{B}(\tau )={\frac {1}{\beta }}\sum _{i\omega _{n}}G(i\omega _{n})e^{-i\omega _{n}\tau }$,

$G_{F}(\tau )={\frac {1}{\beta }}\sum _{i\omega _{m}}G(i\omega _{m})e^{-i\omega _{m}\tau }$.

Note that τ is restricted in the principal interval (0,β). The boundary condition can be used to extend G(τ) out of the principal interval. Some frequently used results are concluded in the following table.

$G(i\omega )$	$G_{\eta }(\tau )$
$(i\omega -\xi )^{-1}$	$-e^{\xi (\beta -\tau )}n_{\eta }(\xi )$
$(i\omega -\xi )^{-2}$	$e^{\xi (\beta -\tau )}n_{\eta }(\xi )\left(\tau +\eta \beta n_{\eta }(\xi )\right)$
$(i\omega -\xi )^{-3}$	$-{\frac {1}{2}}e^{\xi (\beta -\tau )}n_{\eta }(\xi )\left(\tau ^{2}+\eta \beta (\beta +2\tau )n_{\eta }(\xi )+2\beta ^{2}n_{\eta }^{2}(\xi )\right)$
$(i\omega -\xi _{1})^{-1}(i\omega -\xi _{2})^{-1}$	$-{\frac {e^{\xi _{1}(\beta -\tau )}n_{\eta }(\xi _{1})-e^{\xi _{2}(\beta -\tau )}n_{\eta }(\xi _{2})}{\xi _{1}-\xi _{2}}}$
$(\omega ^{2}+m^{2})^{-1}$	${\frac {e^{-m\tau }}{2m}}+{\frac {\eta }{m}}\cosh {m\tau }\;n_{\eta }(m)$
$i\omega (\omega ^{2}+m^{2})^{-1}$	${\frac {e^{-m\tau }}{2}}-\eta \,\sinh {m\tau }\;n_{\eta }(m)$

Operator Switching Effect

The small imaginary time plays a critical role here. The order of the operators will change if the small imaginary time changes sign.

$\langle \psi \psi ^{*}\rangle =\langle {\mathcal {T}}_{\tau }\psi (\tau =0^{+})\psi ^{*}(0)\rangle =-G_{\eta }(\tau =0^{+})=-{\frac {1}{\beta }}\sum _{i\omega }G(i\omega )e^{-i\omega 0^{+}}$.

$\langle \psi ^{*}\psi \rangle =\eta \langle {\mathcal {T}}_{\tau }\psi (\tau =0^{-})\psi ^{*}(0)\rangle =-\eta G_{\eta }(\tau =0^{-})=-{\frac {\eta }{\beta }}\sum _{i\omega }G(i\omega )e^{i\omega 0^{+}}$

Distribution Function

The evaluation of distribution function becomes tricky because of the discontinuity of Green's function G(τ) at τ=0. To evaluate the summation

$G(0)=\sum _{i\omega }(i\omega -\xi )^{-1}$,

both choices of the weighting function are acceptable, but the results are different. This can be understood if we push G(τ) away from τ=0 a little bit, then to control the convergence, we must take $h_{\eta }^{(1)}(z)$ as the weighting function for $G(\tau =0^{+})$, and $h_{\eta }^{(2)}(z)$ for $G(\tau =0^{-})$.

Bosons

$G_{B}(\tau =0^{-})={\frac {1}{\beta }}\sum _{i\omega _{n}}{\frac {e^{i\omega _{n}0^{+}}}{i\omega _{n}-\xi }}=-n_{B}(\xi )$,

$G_{B}(\tau =0^{+})={\frac {1}{\beta }}\sum _{i\omega _{n}}{\frac {e^{-i\omega _{n}0^{+}}}{i\omega _{n}-\xi }}=-(n_{B}(\xi )+1)$.

Fermions

$G_{F}(\tau =0^{-})={\frac {1}{\beta }}\sum _{i\omega _{m}}{\frac {e^{i\omega _{m}0^{+}}}{i\omega _{m}-\xi }}=n_{F}(\xi )$,

$G_{F}(\tau =0^{+})={\frac {1}{\beta }}\sum _{i\omega _{m}}{\frac {e^{-i\omega _{m}0^{+}}}{i\omega _{m}-\xi }}=-(1-n_{F}(\xi ))$.

Free Energy

Bosons

${\frac {1}{\beta }}\sum _{i\omega _{n}}\ln(-i\omega _{n}+\xi )={\frac {1}{\beta }}\ln(1-e^{-\beta \xi })$,

Fermions

$-{\frac {1}{\beta }}\sum _{i\omega _{m}}\ln(-i\omega _{m}+\xi )=-{\frac {1}{\beta }}\ln(1+e^{-\beta \xi })$.

Diagrams Evaluation

Frequently encountered diagrams are evaluated here with the single mode setting. Multiple modes problem can be approached by spectral function integral.

Fermion Self Energy

$\Sigma (i\omega _{m})=-{\frac {1}{\beta }}\sum _{i\omega _{n}}{\frac {1}{i\omega _{m}+i\omega _{n}-\epsilon }}{\frac {1}{i\omega _{n}-\Omega }}={\frac {n_{F}(\epsilon )+n_{B}(\Omega )}{i\omega _{m}-\epsilon +\Omega }}$.

Particle-Particle Bubble

$\Pi (i\omega _{n})={\frac {1}{\beta }}\sum _{i\omega _{m}}{\frac {1}{i\omega _{m}+i\omega _{n}-\epsilon }}{\frac {1}{i\omega _{m}-\epsilon '}}=-{\frac {n_{F}(\epsilon )-n_{F}\left(\epsilon '\right)}{i\omega _{n}-\epsilon +\epsilon '}}$.

Particle-Hole Bubble

$\Pi (i\omega _{n})=-{\frac {1}{\beta }}\sum _{i\omega _{m}}{\frac {1}{i\omega _{m}+i\omega _{n}-\epsilon }}{\frac {1}{-i\omega _{m}-\epsilon '}}={\frac {1-n_{F}(\epsilon )-n_{F}\left(\epsilon '\right)}{i\omega _{n}-\epsilon -\epsilon '}}.$

Zero Temperature Limit

In this limit $\beta \rightarrow \infty$, the Matsubara frequency summation is equivalent to the integration of imaginary frequency over imaginary axis.

${\frac {1}{\beta }}\sum _{i\omega }=\int _{-i\infty }^{i\infty }{\frac {\mathrm {d} (i\omega )}{2\pi i}}$.

Regularization

Some of the integrals do not converge. They should be regularized by introducing the frequency cutoff $\Omega$, and then subtracting the divergent part ($\Omega$-dependent) from the integral before taking the limit of $\Omega \rightarrow \infty$. For example, the free energy is obtained by the integral of logarithm,

$\eta \lim _{\Omega \rightarrow \infty }\left[\int _{-i\Omega }^{i\Omega }{\frac {\mathrm {d} (i\omega )}{2\pi i}}\left(\ln(-i\omega +\xi )-{\frac {\pi \xi }{2\Omega }}\right)-{\frac {\Omega }{\pi }}(\ln \Omega -1)\right]=\left\{{\begin{array}{cc}0&\xi \geq 0\\-\eta \xi &\xi <0\end{array}}\right.,$

meaning that at zero temperature, the free energy simply relates to the internal energy below the chemical potential. Also the distribution function is obtained by the following integral

$\eta \lim _{\Omega \rightarrow \infty }\int _{-i\Omega }^{i\Omega }{\frac {\mathrm {d} (i\omega )}{2\pi i}}\left({\frac {1}{-i\omega +\xi }}-{\frac {\pi }{2\Omega }}\right)=\left\{{\begin{array}{cc}0&\xi \geq 0\\-\eta &\xi <0\end{array}}\right.,$

which shows step function behavior at zero temperature.

Diagram Evaluation

The contour for the first integral when ξ₁<0, ξ₂>0. Apply residue theorem to calculate the contour integral.

If the integrant tends to zero in the large iω limit in a manner faster than (iω)^-1, then the integral converges, and the corresponding Matsubara frequency summation has a definite zero temperature limit. This is always the situation in loop diagram evaluation.

$\int _{-i\infty }^{i\infty }{\frac {\mathrm {d} z}{2\pi i}}{\frac {1}{i\omega +z-\xi _{1}}}{\frac {1}{z-\xi _{2}}}={\frac {\Theta (\xi _{1})-\Theta (\xi _{2})}{i\omega -\xi _{1}+\xi _{2}}}$

$\int _{-i\infty }^{i\infty }{\frac {\mathrm {d} z}{2\pi i}}{\frac {1}{i\omega -z-\xi _{1}}}{\frac {1}{z-\xi _{2}}}={\frac {\Theta (-\xi _{1})-\Theta (\xi _{2})}{i\omega -\xi _{1}-\xi _{2}}}$

Θ(ξ) is the unit step function, Θ(ξ)=1 if ξ>0 and Θ(ξ)=0 if ξ<0. It is related to the distribution functions in the zero temperature limit as

$n_{\eta }(\xi )=\eta (\Theta (\xi )-1),n'_{\eta }(\xi )=\eta \delta (\xi ),$

$c_{\eta }(a,b)=-{\frac {\eta }{2|b|}}\Theta (|b|-|a|).$

Table of Frequency Integration

The following table concludes the frequency integrations for some simple rational functions g(z).

$S=\int _{-i\infty }^{i\infty }{\frac {\mathrm {d} z}{2\pi i}}g(z)$.

$g(z)$	$S$
$(z-\xi )^{-1}$	$-\Theta (\xi )+1/2$[1]
$(z-\xi )^{-2}$	$-\delta (\xi )$
$(z-\xi )^{-n}$	$-{\frac {1}{(n-1)!}}\partial _{\xi }^{n-1}\Theta (\xi )$
${\frac {1}{(z-\xi _{1})(z-\xi _{2})}}$	$-{\frac {\Theta (\xi _{1})-\Theta (\xi _{2})}{\xi _{1}-\xi _{2}}}$
$\prod _{i}(z-\xi _{i})^{-1}$	$-\sum _{i}\Theta (\xi _{1})\prod _{j\neq i}(\xi _{i}-\xi _{j})^{-1}$
${\frac {1}{(z-\xi _{1})^{2}(z-\xi _{2})^{2}}}$	${\frac {1}{(\xi _{1}-\xi _{2})^{2}}}\left({\frac {2(\Theta (\xi _{1})-\Theta (\xi _{2}))}{\xi _{1}-\xi _{2}}}-(\delta (\xi _{1})+\delta (\xi _{2}))\right)$
${\frac {1}{(z-\xi _{1})^{2}-\xi _{2}^{2}}}$	$-{\frac {1}{2|\xi _{2}|}}\Theta (|\xi _{2}|-|\xi _{1}|)$
${\frac {1}{z^{2}-\xi ^{2}}}$	$-{\frac {1}{2|\xi |}}$
${\frac {z^{2}}{z^{2}-\xi ^{2}}}$	$-{\frac {|\xi |}{2}}$
${\frac {1}{(z^{2}-\xi ^{2})^{2}}}$	${\frac {1}{2\xi ^{2}}}\left({\frac {1}{2|\xi |}}-\delta (\xi )\right)$
${\frac {z^{2}}{(z^{2}-\xi ^{2})^{2}}}$	$-{\frac {1}{2}}\left({\frac {1}{2|\xi |}}+\delta (\xi )\right)$
${\frac {z^{2}+\xi ^{2}}{(z^{2}-\xi ^{2})^{2}}}$	$-\delta (\xi )$
${\frac {1}{(z^{2}-\xi _{1}^{2})(z^{2}-\xi _{2}^{2})}}$	${\frac {1}{2|\xi _{1}\xi _{2}|(|\xi _{1}|+|\xi _{2}|)}}$
$\left({\frac {1}{z^{2}-\xi _{1}^{2}}}+{\frac {1}{z^{2}-\xi _{2}^{2}}}\right)^{2}$	$-{\frac {1}{2\xi _{1}^{2}}}\left({\frac {3\xi _{1}^{2}+\xi _{2}^{2}}{2|\xi _{1}|(\xi _{1}^{2}-\xi _{2}^{2})}}+\delta (\xi _{1})\right)+(1\leftrightarrow 2)$[2]
$\left({\frac {1}{z^{2}-\xi _{1}^{2}}}-{\frac {1}{z^{2}-\xi _{2}^{2}}}\right)^{2}$	${\frac {1}{2\xi _{1}^{2}}}\left({\frac {5\xi _{1}^{2}-\xi _{2}^{2}}{2|\xi _{1}|(\xi _{1}^{2}-\xi _{2}^{2})}}-\delta (\xi _{1})\right)+(1\leftrightarrow 2)$[2]

[1] Since the summation does not converge, the result may differ by a constant upon different choice of the Matsubara weighting function.

[2] (1↔2) indicates the same expression as the before but with index 1 and 2 exchanged.

Appendix: Properties of Distribution Functions

Distribution Functions

The general notation $n_{\eta }$ stands for either Bose (η=+1) or Fermi (η=-1) distribution function

$n_{\eta }(\xi )={\frac {1}{e^{\beta \xi }-\eta }}$.

If necessary, the specific notations n_B and n_F are used to indicate Bose and Fermi distribution functions respectively

$n_{\eta }(\xi )={\begin{cases}n_{B}(\xi ),&{\mbox{if }}\eta =+1\\n_{F}(\xi ),&{\mbox{if }}\eta =-1\end{cases}}$.

Relation to hyperbolic functions

The Bose distribution function is related to hyperbolic cotangent function by

$n_{B}(\xi )={\frac {1}{2}}\left(\mathrm {coth} {\frac {\beta \xi }{2}}-1\right)$.

The Fermi distribution function is related to hyperbolic tangent function by

$n_{F}(\xi )={\frac {1}{2}}\left(1-\mathrm {tanh} {\frac {\beta \xi }{2}}\right)$.

Parity

Both distribution functions do not have definite parity,

$n_{\eta }(-\xi )=-\eta -n_{\eta }(\xi )$,

in particular

$n_{F}(-\xi )=1-n_{F}(\xi ),n_{B}(-\xi )=-1-n_{B}(\xi )$.

Another formula is in terms of the $c_{\eta }$ function

$n_{\eta }(-\xi )=n_{\eta }(\xi )+2\xi c_{\eta }(0,\xi )$.

However their derivatives have definite parity.

Bose-Fermi Transmutation

Bose and Fermi distribution functions transmute under a shift of the variable by the fermionic frequency,

$n_{\eta }(i\omega _{m}+\xi )=-n_{-\eta }(\xi )$.

However shifting by bosonic frequencies does not make any difference.

Derivatives

First order

$n_{B}^{\prime }(\xi )=-{\frac {\beta }{4}}\mathrm {csch} ^{2}{\frac {\beta \xi }{2}}$,

$n_{F}^{\prime }(\xi )=-{\frac {\beta }{4}}\mathrm {sech} ^{2}{\frac {\beta \xi }{2}}$.

In terms of product:

$n_{\eta }^{\prime }(\xi )=-\beta n_{\eta }(\xi )(1+\eta n_{\eta }(\xi ))$.

In the zero temperature limit:

$n_{\eta }^{\prime }(\xi )=\eta \delta (\xi )$ as $\beta \rightarrow \infty$.

Second order

$n_{B}^{\prime \prime }(\xi )={\frac {\beta ^{2}}{4}}\mathrm {csch} ^{2}{\frac {\beta \xi }{2}}\mathrm {coth} {\frac {\beta \xi }{2}}$,

$n_{F}^{\prime \prime }(\xi )={\frac {\beta ^{2}}{4}}\mathrm {sech} ^{2}{\frac {\beta \xi }{2}}\mathrm {tanh} {\frac {\beta \xi }{2}}$.

Formula of difference

$n_{\eta }(a+b)-n_{\eta }(a-b)=-{\frac {\mathrm {sinh} \beta b}{\mathrm {cosh} \beta a-\eta \,\mathrm {cosh} \beta b}}$.

Case a=0

$n_{B}(b)-n_{B}(-b)=\mathrm {coth} {\frac {\beta b}{2}}$,

$n_{F}(b)-n_{F}(-b)=-\mathrm {tanh} {\frac {\beta b}{2}}$.

Case a→0

$n_{B}(a+b)-n_{B}(a-b)=\mathrm {coth} {\frac {\beta b}{2}}+n_{B}^{\prime \prime }(b)a^{2}+\cdots$,

$n_{F}(a+b)-n_{F}(a-b)=-\mathrm {tanh} {\frac {\beta b}{2}}+n_{F}^{\prime \prime }(b)a^{2}+\cdots$.

Case b→0

$n_{B}(a+b)-n_{B}(a-b)=2n_{B}^{\prime }(a)b+\cdots$,

$n_{F}(a+b)-n_{F}(a-b)=2n_{F}^{\prime }(a)b+\cdots$.

The function c_η

Definition:

$c_{\eta }(a,b)\equiv -{\frac {n_{\eta }(a+b)-n_{\eta }(a-b)}{2b}}$.

For Bose and Fermi type:

$c_{B}(a,b)\equiv c_{+}(a,b)$,

$c_{F}(a,b)\equiv c_{-}(a,b)$.

Relation to hyperbolic functions

$c_{\eta }(a,b)={\frac {\mathrm {sinh} \beta b}{2b(\mathrm {cosh} \beta a-\eta \,\mathrm {cosh} \beta b)}}$.

It is obvious that $c_{F}(a,b)$ is positive definite.

To avoid overflow in the numerical calculation, the tanh and coth functions are used

$c_{B}(a,b)={\frac {1}{4b}}\left(\mathrm {coth} {\frac {\beta (a-b)}{2}}-\mathrm {coth} {\frac {\beta (a+b)}{2}}\right)$,

$c_{F}(a,b)={\frac {1}{4b}}\left(\mathrm {tanh} {\frac {\beta (a+b)}{2}}-\mathrm {tanh} {\frac {\beta (a-b)}{2}}\right)$.

Case a=0

$c_{B}(0,b)=-{\frac {1}{2b}}\mathrm {coth} {\frac {\beta b}{2}}$,

$c_{F}(0,b)={\frac {1}{2b}}\mathrm {tanh} {\frac {\beta b}{2}}$.

Case b=0

$c_{B}(a,0)={\frac {\beta }{4}}\mathrm {csch} ^{2}{\frac {\beta a}{2}}$,

$c_{F}(a,0)={\frac {\beta }{4}}\mathrm {sech} ^{2}{\frac {\beta a}{2}}$.

Low temperature limit

For a=0: $c_{F}(0,b)={\frac {1}{2|b|}}$.

For b=0: $c_{F}(a,0)=\delta (a)$.

In general, $c_{F}(a,b)={\begin{cases}{\frac {1}{2|b|}},&{\mbox{if }}|a|<|b|\\0,&{\mbox{if }}|a|>|b|\end{cases}}$

Reference

[1] Agustin Nieto, Evaluating Sums over the Matsubara Frequencies. arXiv:hep-ph/9311210