Podemos denotar por formula_13 el subconjunto de formula_3 que consiste en las funciones formula_8 tales que todas las derivadas funcionales de "S" en formula_8 son cero y formula_8 satisface las condiciones de contorno dadas.