Para una formula_10 suficientemente suave, el operador definido anteriormente es compacto en un espacio de Banach razonable, tales como un espacio "L".