Gain of regularity for equations of KdV type

This article discusses questions of the smoothness of solutions to nonlinear dispersive evolution equations. We consider equations of KdV type, that is, of the general form ∂ₜu + f(∂ₓ³u,∂ₓ²u,∂ₓu,u;\:x,t) = 0 with x∈ R . The hypothesis on the nonlinear function f is principally that ∂_{∂ₓ³u}f≧C≧0 , so that dispersive effects are dominant. We show that if the function u(0, x) decays faster than polynomially on R^+ , and possesses certain minimal regularity, then a priori the solution u(t, x) ∈ C^∞ for t > 0 . Furthermore, the relationship between the rate of decay and the amount of gain of regularity is quantified; if ∫ −∞∞u²(0,x)\:(1 + |x₊|ᵏ)\:dx < ∞ then u(t,\:.) ∈ Hlocᵏ(R) for all 0 < t ≦T , and u(t,x) ∈ L¹([0,T];Hlock + 1(R)) where T is the existence time. Résumé Cet article démontre certaines propriétés de régularité des solutions des équations d’évolution dispersives non linéaires. Nous considérons les équations du type KdV, de la forme ∂ₜu + f(∂ₓ³u,∂ₓ²u,∂ₓu,u;\:x,t) = 0 où x∈ R . L’hypothèse la plus importante sur la fonction f est que ∂_{∂ₓ³u}f≧C > 0 , pour que les effets dispersifs soient dominants. Nous montrons que, si la fonction u(0, x) décroît vers zéro plus vite que les polynomes sur R^+ , et si elle est de minimale régularité, a priori la solution u(t, x) ∈ C^∞ pour t > 0 . En plus, la relation entre la vitesse de décroissance et l’ordre de régularité supplémentaire est quantifiée; si ∫ −∞∞u²(0,x)(1 + |x₊|ᵏ)dx < ∞ alors u(t,\:.) ∈ Hlocᵏ(R) pour tout 0<t≦T , et u(t,x) ∈ L¹([0,T];Hlock + 1(R)) où T est le temps d’existence.