Lemme d'Aubin–Lions
From Wikipedia, the free encyclopedia
Cet article est orphelin. Moins de trois articles lui sont liés ().
[[Lemme d'Aubin–Lions]] dans les articles relatifs au sujet.En mathématiques, le lemme (ou théorème) d'Aubin-Lions est un résultat de la théorie des espaces de Sobolev, qui fournit un critère de compacité utile dans l'étude des équations aux dérivées partielles non-linéaires. Typiquement, pour prouver l'existence de solutions on construit d'abord des solutions approchées (par exemple, par une méthode de Galerkine ou par régularisation de l'équation), puis on utilise le lemme de compacité pour montrer qu'il existe une sous-suite convergente de solutions approchées dont la limite est une solution.
Le résultat porte le nom des mathématiciens français Jean-Pierre Aubin et Jacques-Louis Lions. Dans la preuve originale d'Aubin, les espaces X0 et X1 dans l'énoncé du lemme étaient supposés être réflexifs, mais cette hypothèse a été supprimée par Simon. Pour cette raison, le résultat est parfois connu sous le nom de lemme d'Aubin–Lions–Simon.
![{\displaystyle W=\{u\in L^{p}([0,T];X_{0})\mid {\dot {u}}\in L^{q}([0,T];X_{1})\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e414f2d9fff9da29e123b9890bd46d630dac9815)
![{\displaystyle L^{p}([0,T];X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0a14d660ab4db11b75d51386f8a6c894704757b)
![{\displaystyle C([0,T];X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30f500b0e419cca3fcbf89706417b5d5608adb08)
