Fredholm determinant

In mathematics, the Fredholm determinant is a complex-valued function which generalizes the determinant of a matrix. It is defined for bounded operators on a Hilbert space which differ from the identity operator by a trace-class operator. The function is named after the mathematician Erik Ivar Fredholm.

Fredholm determinants have had many applications in mathematical physics, the most celebrated example being Gábor Szegő's limit formula, proved in response to a question raised by Lars Onsager and C. N. Yang on the spontaneous magnetization of the Ising model.

Definition

Let H be a Hilbert space and G the set of bounded invertible operators on H of the form I + T, where T is a trace-class operator. G is a group because

(I+T)^{-1} - I = - T(I+T)^{-1},

so (I+T)⁻¹-I is trace class if T is. It has a natural metric given by d(X, Y) = ||X - Y||₁, where || · ||₁ is the trace-class norm.

If H is a Hilbert space with inner product $(\cdot ,\cdot )$ , then so too is the kth exterior power $\Lambda^k H$ with inner product

(v_1 \wedge v_2 \wedge \cdots \wedge v_k, w_1 \wedge w_2 \wedge \cdots \wedge w_k) = {\rm det} \, (v_i,w_j).

In particular

e_{i_1} \wedge e_{i_2} \wedge \cdots \wedge e_{i_k}, \qquad (i_1<i_2<\cdots<i_k)

gives an orthonormal basis of $\Lambda^k H$ if (e_i) is an orthonormal basis of H. If A is a bounded operator on H, then A functorially defines a bounded operator $\Lambda^k(A)$ on $\Lambda^k H$ by

\Lambda^k(A) v_1 \wedge v_2 \wedge \cdots \wedge v_k = Av_1 \wedge Av_2 \wedge \cdots \wedge Av_k.

If A is trace-class, then $\Lambda^k(A)$ is also trace-class with

\|\Lambda^k(A)\|_1 \le \|A\|_1^k/k!.

This shows that the definition of the Fredholm determinant given by

{\rm det}\, (I+ A) = \sum_{k=0}^\infty {\rm Tr} \Lambda^k(A)

makes sense.

Properties

If A is a trace-class operator.

{\rm det}\, (I+ zA) = \sum_{k=0}^\infty z^k{\rm Tr} \Lambda^k(A)

defines an entire function such that

|{\rm det}\, (I+ zA)| \le \exp (|z|\cdot \|A\|_1).

The function det(I + A) is continuous on trace-class operators, with

|{\rm det}(I+A) -{\rm det}(I+B)| \le \|A-B\|_1 \exp (\|A\|_1 + \|B\|_1 +1).

One can improve this inequality slightly to the following, as noted in Chapter 5 of Simon:

|{\rm det}(I+A) -{\rm det}(I+B)| \le \|A-B\|_1 \exp (\max(\|A\|_1,\|B\|_1) +1).

If A and B are trace-class then

{\rm det}(I+A) \cdot {\rm det}(I+B) = {\rm det}(I+A)(I+B).

The function det defines a homomorphism of G into the multiplicative group C* of nonzero complex numbers (since elements of G are invertible).
If T is in G and X is invertible,

{\rm det}\, XTX^{-1} ={\rm det} \, T.

If A is trace-class, then

{\rm det}\, e^A = \exp \, {\rm Tr} (A).

\log {\rm det}\, (I+ zA) ={\rm Tr} (\log{(I+zA)})=\sum_{k=1}^\infty (-1)^{k+1}\frac{{\rm Tr} A^k}{k}z^k

Fredholm determinants of commutators

A function F(t) from (a, b) into G is said to be differentiable if F(t) -I is differentiable as a map into the trace-class operators, i.e. if the limit

\dot{F}(t) = \lim_{h\rightarrow 0} {F(t+h) - F(t)\over h}

exists in trace-class norm.

If g(t) is a differentiable function with values in trace-class operators, then so too is exp g(t) and

F^{-1} \dot{F} = {{\rm id} - \exp - {\rm ad} g(t)\over {\rm ad} g(t)} \cdot \dot{g}(t),

where

{\rm ad}(X)\cdot Y = XY -YX.

Israel Gohberg and Mark Krein proved that if F is a differentiable function into G, then f = det F is a differentiable map into C* with

f^{-1} \dot{f} = {\rm Tr} F^{-1} \dot{F}.

This result was used by Joel Pincus, William Helton and Roger Howe to prove that if A and B are bounded operators with trace-class commutator AB -BA, then

{\rm det}\, e^A e^B e^{-A} e^{-B} = \exp {\rm Tr} (AB-BA).

Szegő limit formula

Informal presentation for the case of integral operators

The section below provides an informal definition for the Fredholm determinant of I-T when the trace-class operator T is an integral operator given by a kernel K(x,x) . A proper definition requires a presentation showing that each of the manipulations are well-defined, convergent, and so on, for the given situation for which the Fredholm determinant is contemplated. Since the kernel K may be defined for a large variety of Hilbert spaces and Banach spaces, this is a non-trivial exercise.

The Fredholm determinant may be defined as

\det(I-\lambda T) = \sum_{n=0}^\infty (-\lambda)^n \operatorname{Tr } \Lambda^n(T) = \exp{\left(-\sum_{n=1}^\infty\frac{\operatorname{Tr}(T^n)}{n}\lambda^n\right)}

where K is an integral operator. The trace of the operator T and its alternating powers is given in terms of the kernel K by

\operatorname{Tr } T = \int K(x,x)\,dx

and

\operatorname{Tr }\Lambda^2(T) = \frac{1}{2!} \iint K(x,x)K(y,y)-K(x,y) K(y,x)\,dxdy

and in general

\operatorname{Tr } \Lambda^n(T) = \frac{1}{n!}\int\cdots\int \det K(x_i,x_j)|_{1\leq i,j\leq n}\,dx_1\cdots dx_n

The trace is well-defined for these kernels, since these are trace-class or nuclear operators.

Applications

The Fredholm determinant was used by physicist John A. Wheeler (1937, Phys. Rev. 52:1107) to help provide mathematical description of the wavefunction for a composite nucleus composed of antisymmetrized combination of partial wavefunctions by the method of Resonating Group Structure. This method corresponds to the various possible ways of distributing the energy of neutrons and protons into fundamental boson and fermion nucleon cluster groups or building blocks such as the alpha-particle, helium-3, deuterium, triton, di-neutron, etc. When applied to the method of Resonating Group Structure for beta and alpha stable isotopes, use of the Fredholm determinant: (1) determines the energy values of the composite system, and (2) determines scattering and disintegration cross sections. The method of Resonating Group Structure of Wheeler provides the theoretical bases for all subsequent Nucleon Cluster Models and associated cluster energy dynamics for all light and heavy mass isotopes (see review of Cluster Models in physics in N.D. Cook, 2006).

References

Simon, Barry (2005), Trace Ideals and Their Applications, Mathematical Surveys and Monographs, 120, American Mathematical Society, ISBN 0-8218-3581-5
Wheeler, John A. (1937), On the Mathematical Description of Light Nuclei by the Method of Resonating Group Structure, Physical Review, 52, p. 1107
Bornemann, Folkmar (2010), "On the numerical evaluation of Fredholm determinants", Math. Comp., Springer, 79: 871–915, doi:10.1090/s0025-5718-09-02280-7

This article is issued from Wikipedia - version of the 10/9/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.