Espace de Sobolev W^{K,P}

L'espace de Banach des fonctions sur un domaine dont les dérivées faibles d'ordre entier ≤ k appartiennent à L^p ; muni de la norme combinant les normes L^p de toutes les dérivées d'ordre ≤ k, il encode à la fois l'intégrabilité et la régularité (faible).