Espacio de Sobolev W^{K,P}

El espacio de Banach de funciones en un dominio cuyas derivadas débiles hasta el orden entero k pertenecen a L^p; equipado con la norma que combina las normas L^p de todas las derivadas de orden ≤ k, codifica tanto integrabilidad como regularidad (débil).