Fredholm determinant
In mathematics, a Fredholm determinant is a complex analytic function which generalizes the characteristic polynomial 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 mathematician Erik Ivar Fredholm.
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
It has a natural metric given by d(X, Y) = ||X - Y||1, where || · ||1 is the trace-class norm.
If H is a Hilbert space, then so too is the kth exterior power λk H with inner product
In particular
gives an orthonormal basis of λk H if (ei) is an orthonormal basis of H. If A is a bounded operator on H, then A functorially defines a bounded operator λk(A) on λk H by
If A is trace-class, then λk(A) is also trace-class with
This shows that the definition of the Fredholm determinant given by
makes sense.
Properties
- If A is a trace-class operator
defines an entire function such that
- The function det(I + A) is continuous on trace-class operators, with
- If A and B are trace-class then
- The function det defines a homomorphism of G into the multiplicative group C* of non-zero complex numbers.
- If T is in G and X is invertible,
- If A is trace-class, then
Fredholm determinants of commutators
Informal presentation
The section below provides an informal definition for the Fredholm determinant. 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 on a large variety of Hilbert spaces and Banach spaces, this is a non-trivial exercise.
The Fredholm determinant may be defined as
where K is an integral operator, the Fredholm operator. The trace of the operator is given by
and
and so on. The trace is well-defined for the Fredholm kernels, since these are trace-class or nuclear operators, which follows from the fact that the Fredholm operator is a compact operator.
The corresponding zeta function is
The zeta function can be thought of as the determinant of the resolvent.
The zeta function plays an important role in studying dynamical systems. Note that this is the same general type of zeta function as the Riemann zeta function; however, in this case, the corresponding kernel is not known. The hypothesis stating the existence of such a kernel is known as the Hilbert-Pólya conjecture.
External links
The Front for the Math arXiv has several papers utilizing Fredholm determinants.
References
Simon, Barry (2005), Trace Ideals and Their Applications, Mathematical Surveys and Monographs, vol. 120, American Mathematical Society, ISBN 0821835815