Una ecuación integral cuyo dominio de integración es fijo e independiente del punto de evaluación, típicamente ∫_{a}^{b} K(x,y)φ(y) dy = f(x) (primer tipo) o φ(x) − λ∫_{a}^{b} K(x,y)φ(y) dy = f(x) (segundo tipo), que con frecuencia conduce a operadores compactos en espacios de funciones.

Principio

Límites de integración fijos producen operadores globales cuyas propiedades espectrales pueden analizarse; bajo hipótesis de cuadrado-integrabilidad o continuidad de K, el operador asociado suele ser compacto, dando lugar a espectros discretos y teoría de Fredholm (índice, alternativa).

Demostración

Ejemplo clásico: ecuación de Fredholm de segundo tipo φ(x)=f(x)+λ∫_{0}^{1} K(x,y)φ(y) dy; si K es continua en [0,1]^2, el operador integral es compacto en C[0,1], lo que permite expansiones en autofunciones y discretización numérica por métodos de Nyström.

Aplicación incorrecta

Asumir invertibilidad o existencia de soluciones para cualquier λ sin comprobar el determinante de Fredholm o el índice; tratar núcleos que no cumplen hipótesis de compacidad como si aplicara la teoría de Fredholm conduce a conclusiones espectrales erróneas.

Consecuencia

Cuando se cumplen condiciones de Fredholm, existe una teoría de solvencia bien desarrollada: espacios nulos de dimensión finita, la alternativa de Fredholm que vincula soluciones homogéneas y no homogéneas, y estabilidad ante perturbaciones que respalda aproximaciones numéricas por discretizaciones de rango finito.

Inversión

A diferencia de los problemas de Volterra, las ecuaciones de Fredholm son globales y no permiten una marcha temporal simple; su inversión depende de información espectral global y puede presentar espacios nulos no triviales o resonancias para ciertos parámetros.

Límite

La denominación Fredholm se aplica a ecuaciones integrales con integrales en dominios fijos y a operadores que satisfacen hipótesis del tipo compacidad; excluye problemas de límites variables (Volterra) y operadores con espectro esencial incompatible con propiedades de Fredholm.

Tensión semántica

Existe tensión entre ecuaciones de Fredholm y formulaciones integrales de contorno: ambas producen operadores compactos en problemas elípticos pero difieren en dominio (volumen vs contorno) y en el tratamiento de núcleos singulares y condiciones de salto.

Síntesis

Una ecuación integral de Fredholm es una relación integral de límites fijos que define un operador lineal global, a menudo compacto; la teoría de Fredholm aporta estructura espectral discreta, índice y resultados de solvencia que sustentan estrategias analíticas y numéricas de solución.