Log-Lipschitz regularity and uniqueness of the flow for a field in $ \mathbf{(}\mathrm{W}_{\mathrm{loc}}^{\mathbf{n/p+1,p}}\mathbf{(}\mathbb{R}^{\mathbf{n}}\mathbf{))}^{\mathbf{n}}$

Enrique Zuazua

doi:10.1016/S1631-073X(02)02426-3

Log-Lipschitz regularity and uniqueness of the flow for a field in

{(W_{loc}^{𝐧 / 𝐩 + 1, 𝐩} (ℝ^{𝐧}))}^{𝐧}

[Régularité Log-Lipschitz et unicité du flot pour les champs de vecteurs

{(W_{loc}^{𝐧 / 𝐩 + 1, 𝐩} (ℝ^{𝐧}))}^{𝐧}

]

Enrique Zuazua ¹

¹ Departamento de Matemáticas, Universidad Autónoma, 28049 Madrid, Spain

Comptes Rendus. Mathématique, Volume 335 (2002) no. 1, pp. 17-22

Abstract (VO)
Résumé

We consider the initial value problem $\dot{x} = b (x), t > 0; x (0) = x_{0},$ with $x = x (t) \in ℝ^{n}$ . We prove that local existence and uniqueness of solutions holds when the field b belongs to ${(W_{loc}^{n / p + 1, p} (ℝ^{n}))}^{n}$ . This case corresponds to the limit regularity one in Sobolev terms since uniqueness may fail when $b \in (W_{loc}^{s, p} (ℝ^{n}))$ with s<n/p+1 but holds immediately when s>n/p+1 because of the Sobolev imbedding from ${(W_{loc}^{s, p} (ℝ^{n}))}^{n}$ into the space of locally Lipschitz fields. The proof of uniqueness relies on a Log-Lipschitz continuity property we prove for vector fields in this Sobolev class. When p=2 the proof is carried out by means of Fourier series, decomposing the field into the low and high frequencies. When p≠2 the proof uses Trudinger's inequality and the strategy of proof of Morrey's theorem.

On considère le problème de Cauchy pour un système d'équations différentielles ordinaires $\dot{x} = b (x), t > 0; x (0) = x_{0}$ où l'état $x = x (t) \in ℝ^{n}$ et où b est un champ de vecteurs dans ${(W_{loc}^{n / p + 1, p} (ℝ^{n}))}^{n}$ . On démontre que, pour tout $x_{0} \in ℝ^{n}$ , il existe une unique solution locale (en temps). Ceci correspond à un cas limite du point de vue de l'appartenance à des espaces de Sobolev. En effet, si s<n/p+1 il existe des champs de vecteurs $b \in {(W_{loc}^{s, p} (ℝ^{n}))}^{n}$ pour lesquels l'unicité n'est pas satisfaite. Par contre, lorsque s>n/p+1 l'unicité est trivialement vraie car b est localement Lipschitz grâce aux inclusions de Sobolev. La preuve consiste à démontrer que le champ de vitesses vérifie une condition de continuité de type Log-Lipschitz permettant de vérifier que la condition classique d'unicité d'Osgood est satisfaite. Lorsque p=2 la preuve se fait à l'aide des séries de Fourier. Lorsque p≠2 on utilise l'inégalité de Trudinger et la stratégie de la preuve du théorème de Morrey.

Reçu le : 2002-03-19
Accepté le : 2002-04-28
Publié le : 2002-01-01

DOI : 10.1016/S1631-073X(02)02426-3

Affiliations des auteurs :

Enrique Zuazua ¹

¹ Departamento de Matemáticas, Universidad Autónoma, 28049 Madrid, Spain

@article{CRMATH_2002__335_1_17_0,
     author = {Enrique Zuazua},
     title = {Log-Lipschitz regularity and uniqueness of the flow for a field in $ \mathbf{(}\mathrm{W}_{\mathrm{loc}}^{\mathbf{n/p+1,p}}\mathbf{(}\mathbb{R}^{\mathbf{n}}\mathbf{))}^{\mathbf{n}}$},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {17--22},
     year = {2002},
     publisher = {Elsevier},
     volume = {335},
     number = {1},
     doi = {10.1016/S1631-073X(02)02426-3},
     language = {en},
}

TY  - JOUR
AU  - Enrique Zuazua
TI  - Log-Lipschitz regularity and uniqueness of the flow for a field in $ \mathbf{(}\mathrm{W}_{\mathrm{loc}}^{\mathbf{n/p+1,p}}\mathbf{(}\mathbb{R}^{\mathbf{n}}\mathbf{))}^{\mathbf{n}}$
JO  - Comptes Rendus. Mathématique
PY  - 2002
SP  - 17
EP  - 22
VL  - 335
IS  - 1
PB  - Elsevier
DO  - 10.1016/S1631-073X(02)02426-3
LA  - en
ID  - CRMATH_2002__335_1_17_0
ER  -

%0 Journal Article
%A Enrique Zuazua
%T Log-Lipschitz regularity and uniqueness of the flow for a field in $ \mathbf{(}\mathrm{W}_{\mathrm{loc}}^{\mathbf{n/p+1,p}}\mathbf{(}\mathbb{R}^{\mathbf{n}}\mathbf{))}^{\mathbf{n}}$
%J Comptes Rendus. Mathématique
%D 2002
%P 17-22
%V 335
%N 1
%I Elsevier
%R 10.1016/S1631-073X(02)02426-3
%G en
%F CRMATH_2002__335_1_17_0

Enrique Zuazua. Log-Lipschitz regularity and uniqueness of the flow for a field in $ \mathbf{(}\mathrm{W}_{\mathrm{loc}}^{\mathbf{n/p+1,p}}\mathbf{(}\mathbb{R}^{\mathbf{n}}\mathbf{))}^{\mathbf{n}}$. Comptes Rendus. Mathématique, Volume 335 (2002) no. 1, pp. 17-22. doi: 10.1016/S1631-073X(02)02426-3

Bibliographie
Cité par

[1] R.A. Adams Sobolev Spaces, Academic Press, 1975

[2] J.Y. Chemin; N. Lerner Flot de champs de vecteurs non Lipschitziens et équations de Navier–Stokes, J. Differential Equations, Volume 121 (1995), pp. 314-328

[3] F. Colombini; N. Lerner Sur les champs de vecteurs peu réguliers, Séminaire X-EDP, 2000–2001, Exp. No. XV, École Polytechnique, Palaiseau, 2001

[4] B. Desjardins Linear transport equations with initial values in Sobolev spaces and application to the Navier–Stokes equations, Differential Integral Equations, Volume 10 (1997) no. 3, pp. 577-586

[5] R. Diperna; P.-L. Lions Ordinary differential equations, transport theory and Sobolev spaces, Invent. Math., Volume 98 (1989), pp. 511-547

[6] L.C. Evans Partial Differential Equations, Grad. Stud. Math., 19, American Mathematical Society, 1998

[7] N. Fusco; P.-L. Lions; C. Sbordone Sobolev imbedding theorems in borderline cases, Proc. Amer. Math. Soc., Volume 124 (1996) no. 2, pp. 561-565

[8] D. Gilbarg; N.S. Trudinger Elliptic Partial Differential Equations of Second Order, Springer-Verlag, 2001

[9] P.-L. Lions Sur les équations différentielles ordinaires et les équations de transport, C. R. Acad. Sci. Paris, Série I, Volume 326 (1998), pp. 833-838

[10] V.J. Sedenko A proof of a uniqueness theorem for generalized solutions of initial-boundary value problems for Marguerre–Vlasov equations of the vibration of shells with damped boundary conditions, Appl. Math. Optim., Volume 39 (1999) no. 3, pp. 309-326

[11] E. Stein Singular Integrals and the Differentiablity Properties of Functions, Princeton University Press, 1970

Cité par Sources :

Commentaires - Politique