Math 2.0

Statistical mechanics, structure of matter Example

Lieb–Liniger integral equation

Example

Consider the Lieb–Liniger model of bosons on a line with delta interaction of strength c>0c > 0, in units with ℏ=2m=1\hbar = 2m = 1. In the thermodynamic limit its ground state is described by a density ρ\rho of quasi-momenta on an interval [−K,K][-K, K], with K>0K > 0. This density solves ρ(k)=12π+1π∫−KKcc2+(k−q)2 ρ(q) dq,−K≤k≤K.\rho(k) = \frac{1}{2\pi} + \frac{1}{\pi} \int_{-K}^{K} \frac{c}{c^2 + (k - q)^2} \, \rho(q) \, dq, \quad -K \le k \le K. The particle density and the ground state energy per length are n=∫−KKρ(k) dkn = \int_{-K}^{K} \rho(k) \, dk and e=∫−KKk2ρ(k) dke = \int_{-K}^{K} k^2 \rho(k) \, dk.

The equation is a Fredholm equation of the second kind on [−K,K][-K, K] with the continuous difference kernel 1πcc2+(k−q)2\frac{1}{\pi} \frac{c}{c^2 + (k - q)^2}. This kernel is positive and 1π∫−∞∞cc2+u2 du=1\frac{1}{\pi} \int_{-\infty}^{\infty} \frac{c}{c^2 + u^2} \, du = 1. So for each kk the integral of the kernel over the bounded interval [−K,K][-K, K] is strictly less than 11. By continuity and compactness, its maximum over kk is some θ<1\theta < 1. Hence the integral operator has norm θ<1\theta < 1 on C[−K,K]C[-K, K] with the supremum norm. Then the Liouville–Neumann series converges to the unique continuous solution, which is positive.

Remarks

In the limit c→∞c \to \infty the kernel tends to 00 uniformly on [−K,K]2[-K, K]^2, so ρ→12π\rho \to \frac{1}{2\pi}. Then n=Kπn = \frac{K}{\pi} and e=K33π=π2n33e = \frac{K^3}{3\pi} = \frac{\pi^2 n^3}{3}, the energy of free fermions with the same density.

Further reading

  1. Web https://en.wikipedia.org/wiki/Lieb%E2%80%93Liniger_model
About this page
TagZ219Y8PJHD
URIm2://Z219Y8PJHD
Kindexample
WritingW0 stub
MSC82B23, 45B05
Instance ofFredholm equation of the second kind

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.