The Fredholm determinant det(I+K) is a scalar defined for trace-class (nuclear) operators K on a Hilbert space, constructed as the convergent product ∏_j (1+λ_j) over eigenvalues λ_j of K (counted with algebraic multiplicity), equivalently via det(I+K)=exp(tr log(I+K)). It characterizes invertibility of I+K and analytic dependence on parameters.

Principle

Compactness and trace-class conditions guarantee convergence of the spectral product and existence of analytic expansions; zeros of det(I+K) correspond to −1 belonging to the spectrum of K, signaling non-invertibility and the presence of eigenvalues.

Demonstration

For an integral operator K on L^2 with square-integrable kernel k(x,y) of trace-class, the Fredholm determinant is an entire function of a spectral parameter whose zeros locate eigenvalues and determine resolvent poles in scattering problems.

Misapplication

Formally taking the product over (1+λ_j) for a non-trace-class compact operator where ∑|λ_j| diverges leads to a divergent infinite product and invalid conclusions about spectrum or invertibility.

Consequence

Fredholm determinants enable analytic continuation, determinant identities (e.g., trace formulas), counting of eigenvalues, and parametric tracking of spectral transitions in families of compact perturbations.

Reversal

In finite dimensions the determinant of a matrix gives invertibility directly from entries; the Fredholm determinant extends this concept to infinite dimensions but requires operator-class hypotheses and spectral regularization.

Boundary

Defined for trace-class (nuclear) operators; for operators outside trace class one uses regularized determinants (e.g., Carleman or ζ-regularization) or other spectral invariants. Dependence on choice of branch in log must be controlled.

Semantic Tension

Analogous to the characteristic polynomial in finite dimensions but different in analytic structure and domain: the Fredholm determinant is an analytic function under operator-class hypotheses, not a polynomial, and requires trace-class assumptions absent in finite matrices.

Synthesis

An infinite-dimensional analogue of the determinant for trace-class perturbations of the identity that encodes spectral zeros, controls invertibility of I+K and furnishes analytic tools for operator families.