De (\ ref {syst2}) y (\ ref {syst2initial}) se deduce que podemos calcular formalmente todas las derivadasDαu en un vecindario del plano{x:xn=0}, en particular en un vecindario de\...De (\ ref {syst2}) y (\ ref {syst2initial}) se deduce que podemos calcular formalmente todas las derivadasDαu en un vecindario del plano{x:xn=0}, en particular en un vecindario de0∈R. donde seDαuj(0) definen en Lema A, es convergente en un vecindario de0∈R si existe un problema mayorizante que tiene una solución analítica realU enx=0, y