Английская Википедия:Debye function
In mathematics, the family of Debye functions is defined by
- <math>D_n(x) = \frac{n}{x^n} \int_0^x \frac{t^n}{e^t - 1}\,dt.</math>
The functions are named in honor of Peter Debye, who came across this function (with n = 3) in 1912 when he analytically computed the heat capacity of what is now called the Debye model.
Mathematical properties
Relation to other functions
The Debye functions are closely related to the polylogarithm.
Series expansion
They have the series expansion[1]
- <math>D_n(x) = 1 - \frac{n}{2(n+1)} x + n \sum_{k=1}^\infty \frac{B_{2k}}{(2k+n)(2k)!} x^{2k}, \quad |x| < 2\pi,\ n \ge 1,</math>
where <math>B_n</math> is the n-th Bernoulli number.
Limiting values
- <math>\lim_{x \to 0} D_n(x) = 1.</math>
If <math>\Gamma</math> is the gamma function and <math>\zeta</math> is the Riemann zeta function, then, for <math>x \gg 0</math>,
- <math>D_n(x) = \frac{n}{x^n} \int_0^x \frac{t^n\,dt}{e^t-1} \sim \frac{n}{x^n}\Gamma(n + 1) \zeta(n + 1), \qquad \operatorname{Re} n > 0,</math>[2]
Derivative
The derivative obeys the relation
- <math>xD^{\prime}_n(x) = n(B(x)-D_n(x)),</math>
where <math>B(x)=x/(e^x-1)</math> is the Bernoulli function.
Applications in solid-state physics
The Debye model
The Debye model has a density of vibrational states
- <math>g_{\rm D}(\omega)=\frac{9\omega^2}{\omega_{\rm D}^3}</math> for <math>0\le\omega\le\omega_{\rm D}</math>
with the Debye frequency ωD.
Internal energy and heat capacity
Inserting g into the internal energy
- <math>U=\int_0^\infty d\omega\,g(\omega)\,\hbar\omega\,n(\omega)</math>
with the Bose–Einstein distribution
- <math>n(\omega)=\frac{1}{\exp(\hbar\omega/k_{\rm B}T)-1}</math>.
one obtains
- <math>U=3 k_{\rm B}T\, D_3(\hbar\omega_{\rm D}/k_{\rm B}T)</math>.
The heat capacity is the derivative thereof.
Mean squared displacement
The intensity of X-ray diffraction or neutron diffraction at wavenumber q is given by the Debye-Waller factor or the Lamb-Mössbauer factor. For isotropic systems it takes the form
- <math>\exp(-2W(q))=\exp(-q^2\langle u_x^2\rangle</math>).
In this expression, the mean squared displacement refers to just once Cartesian component ux of the vector u that describes the displacement of atoms from their equilibrium positions. Assuming harmonicity and developing into normal modes,[3] one obtains
- <math>2W(q)=\frac{\hbar^2 q^2}{6M k_{\rm B}T}\int_0^\infty d\omega\frac{k_{\rm B}T}{\hbar\omega}g(\omega)\coth\frac{\hbar\omega}{2k_{\rm B}T}=\frac{\hbar^2 q^2}{6M k_{\rm B}T}\int_0^\infty d\omega\frac{k_{\rm B}T}{\hbar\omega}g(\omega)\left[\frac{2}{\exp(\hbar\omega/k_{\rm B}T)-1}+1\right].</math>
Inserting the density of states from the Debye model, one obtains
- <math>2W(q)=\frac{3}{2}\frac{\hbar^2 q^2}{M\hbar\omega_{\rm D}}\left[2\left(\frac{k_{\rm B}T}{\hbar\omega_{\rm D}}\right)D_1\left(\frac{\hbar\omega_{\rm D}}{k_{\rm B}T}\right)+\frac{1}{2}\right]</math>.
From the above power series expansion of <math>D_1</math> follows that the mean square displacement at high temperatures is linear in temperature
- <math>2W(q)=\frac{3 k_{\rm B}T q^2}{M\omega_{\rm D}^2}</math>.
The absence of <math>\hbar</math> indicates that this is a classical result. Because <math>D_1(x)</math> goes to zero for <math>x\to\infty</math> it follows that for <math>T=0</math>
- <math>2W(q)=\frac{3}{4}\frac{\hbar^2 q^2}{M\hbar\omega_{\rm D}}</math> (zero-point motion).
References
Further reading
- Шаблон:AS ref
- "Debye function" entry in MathWorld, defines the Debye functions without prefactor n/xn
Implementations
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite journal Fortran 77 code
- Fortran 90 version
- Шаблон:Cite journal
- Шаблон:Cite journal
- C version of the GNU Scientific Library
- ↑ Шаблон:AS ref
- ↑ Шаблон:Cite book
- ↑ Ashcroft & Mermin 1976, App. L,
