{An orderly linear PDE system with analytic initial conditions with a non analytic solution}

François Lemaire (1, 2)

1 CALFOR - Calcul Formel
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille

We give a linear PDE system, with analytic initial conditions given w.r.t an orderly ranking, the solution of which is not analytic (moreover the solution is not Gevrey for any order). This examples proves that the analyticity Riquier theorem (generalization of the Cauchy-Kovalevskaya theorem) does not generalize to PDE systems endowed with orderly rankings.

Domaines: Calcul formel [cs.SC]

François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}. Journal of Symbolic Computation, 2003, 35 (5), pp.487-498. ⟨hal-00545215⟩