Una familia de espacios de funciones W^{k,p} (o H^s cuando p=2) que mide tanto la integrabilidad en p como la diferenciabilidad débil hasta el orden entero k (o el orden fraccionario s) mediante normas que combinan las normas L^p de la función y de sus derivadas débiles.

Principio

Las derivadas débiles y la integrabilidad L^p reemplazan a las derivadas puntuales clásicas y a la continuidad; las normas de Sobolev codifican la regularidad global y controlan la oscilación y la integrabilidad, y teoremas de incrustación y compacidad relacionan la pertenencia a Sobolev con la continuidad o mayor integrabilidad según la dimensión e índices.

Demostración

H^1(Ω)=W^{1,2}(Ω) es el espacio de energía natural para problemas variacionales elípticos de segundo orden: las soluciones en H^1 tienen derivadas débiles cuadrado‑integrables y satisfacen desigualdades de traza y de Poincaré que sustentan el análisis de convergencia de elementos finitos.

Aplicación incorrecta

Asumir que una función de Sobolev es continua punto por punto o diferenciable sin comprobar un teorema de incrustación (por ejemplo, funciones de W^{1,1} no tienen por qué ser continuas), lo que lleva a evaluaciones de contorno incorrectas o a interpretaciones erróneas de límites puntuales.

Consecuencia

Proporciona el marco funcional adecuado para formulaciones débiles de EDP, métodos variacionales y pruebas de existencia/unicidad; permite interpolación, aumento de regularidad y argumentos de compacidad usados en análisis de convergencia y estabilidad.

Inversión

Espacios clásicos C^k o Hölder que exigen derivadas puntuales y continuidad más fuerte; esos espacios son más pequeños pero ofrecen mayor control puntual cuando proceda.

Límite

Definido para índices k (entero) o s (fraccionario) y p en [1,∞]; las propiedades dependen de la regularidad del dominio (acotado, Lipschitz), la dimensión y los casos críticos de incrustación de Sobolev, y no captan directamente medidas singulares puntuales ni integrabilidad no local más allá de p.

Tensión semántica

Tensión entre regularidad Sobolev (integrabilidad de derivadas débiles) y regularidad puntual (C^k o Hölder); también tensión con las escalas de Besov/Triebel–Lizorkin que resuelven regularidad fraccionaria o anisótropa más fina.

Síntesis

Un espacio de Sobolev es un espacio de Banach (Hilbert cuando p=2) de funciones cuyas derivadas débiles hasta cierto orden pertenecen a L^p, proporcionando la noción adecuada de regularidad para formulaciones variacionales, estimaciones de estabilidad y el estudio de ecuaciones en derivadas parciales, y conectando integrabilidad global con comportamiento puntual local.