Inégalité de Poincaré

Inégalité de Poincaré

En mathématiques, l'inégalité de Poincaré (du nom du mathématicien français Henri Poincaré) est un résultat de la théorie des espaces de Sobolev.

Cette inégalité permet de borner une fonction à partir d'une estimation sur ses dérivées et de la géométrie de son domaine de définition. Ces estimations sont d'une grande importance pour la méthode moderne directe du calcul des variations. Un résultat voisin est l'inégalité de Friedrichs (en).

Sommaire

L'inégalité de Poincaré classique

Soit p, tel que 1 ≤ p < ∞ et Ω un ouvert de largeur finie (borné dans une direction). Alors il existe une constante C, dépendant uniquement de Ω et p , telle que, pour toute fonction u de l'espace de Sobolev W01,p(Ω),

\| u \|_{L^{p} (\Omega)} \leq C \| \nabla u \|_{L^{p} (\Omega)},

L'inégalité de Poincaré-Wirtinger

Soient p, tel que 1 ≤ p ≤ ∞ et Ω un domaine (en) (i.e. un ouvert connexe) lipschitzien (en) (i.e. borné et « à frontière lipschitzienne ») de l'espace euclidien Rn. Alors il existe une constante C, dépendant uniquement de Ω et p, telle que, pour toute fonction u de l'espace de Sobolev W1,p(Ω),

\| u - u_{\Omega} \|_{L^{p} (\Omega)} \leq C \| \nabla u \|_{L^{p} (\Omega)},

u_{\Omega} = \frac{1}{|\Omega|} \int_{\Omega} u(y) \, \mathrm{d} y

est la valeur moyenne de u sur Ω, le nombre |Ω| désignant la mesure de Lebesgue du domaine Ω.

Généralisations

L'inégalité de Poincaré peut se généraliser à d'autres espaces de Sobolev. Par exemple, l'inégalité de Poincaré suivante[1] est associée à l'espace de Sobolev H1/2(T2), c.à.d l'espace des fonctions u de l'espace L2 du tore unitaire T2 dont la transformée de Fourier la fonction û satisfait

[ u ]_{H^{1/2} (\mathbf{T}^{2})}^{2} = \sum_{k \in \mathbf{Z}^{2}} | k | \big| \hat{u} (k) \big|^{2} < + \infty.

Il existe une constante C telle que, pour toute fonction u ∈ H1/2(T2) nulle sur un ouvert E de T2,

\int_{\mathbf{T}^{2}} | u(x) |^{2} \, \mathrm{d} x \leq C \left( 1 + \frac1{\mathrm{cap} (E \times \{ 0 \})} \right) [ u ]_{H^{1/2} (\mathbf{T}^{2})}^{2},

où cap(E × {0}) représente la capacité harmonique (en) de E × {0} vu comme sous-ensemble de R3.

Constante de Poincaré

La constante optimale C dans l'inégalité de Poincaré est parfois appelée constante de Poincaré du domaine Ω. En général, déterminer la constante de Poincaré est une tâche très difficile qui dépend de la valeur de p et de la géométrie du domaine Ω. Dans certains cas des bornes peuvent être données. Par exemple, si Ω est un domaine lipschitzien convexe de diamètre d, alors la constante de Poincaré vaut au plus d/2 pour p = 1, d/π pour p = 2[2].

Cependant il est possible de déterminer concrètement la constante C pour certains cas particuliers. Par exemple, pour p = 2 :

  • en dimension 2, il est bien connu[3] que sur le domaine du triangle isocèle rectangle unitaire, C = 1/π ( < d/π où d=2) ;
  • en dimension 1, l'inégalité de Wirtinger donne, pour un intervalle de longueur d, C = d/(2π) ( < d/π).

Notes et références

Notes

  1. (en) Adriana Garroni, Stefan Müller, « Γ-limit of a phase-field model of dislocations », dans SIAM J. Math. Anal., vol. 36, 2005, p. 1943–1964 (electronic) [lien DOI]  Math. Reviews
  2. (en) Gabriel Acosta, Ricardo G. Durán, « An optimal Poincaré inequality in L1 for convex domains », dans Proc. Amer. Math. Soc., vol. 132, no 1, 2004, p. 195–202 [texte intégral] 
  3. Cf par exemple (en) Kikuchi Fumio, Liu Xuefeng, « Estimation of interpolation error constants for the P0 and P1 triangular finite elements », dans Comput. Methods. Appl. Mech. Engrg., vol. 196, 2007, p. 3750–3758 (ISSN 0045-7825) [lien DOI]  Math. Reviews

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Inégalité de Poincaré de Wikipédia en français (auteurs)

См. также в других словарях:

  • Inégalité de Poincaré-Wirtinger — Inégalité de Poincaré En mathématiques, l Inégalité de Poincaré (du nom du mathématicien français Henri Poincaré) est un résultat de la Théorie des espaces de Sobolev. Cette inégalité permet de borner une fonction à partir d une estimation sur… …   Wikipédia en Français

  • Poincare — Poincaré Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Henri Poincaré (1854 1912), mathématicien et philosophe français cousin de Raymond Poincaré. Lucien Poincaré (1862 1920), haut… …   Wikipédia en Français

  • Poincaré — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronyme 2 Mathématiques 3 …   Wikipédia en Français

  • inégalité — [ inegalite ] n. f. • 1660; inéqualité 1290; lat. inæqualitas I ♦ 1 ♦ Défaut d égalité. ⇒ différence. Inégalité de deux hauteurs, des parts. Inégalité des éléments. ⇒ disparité. Inégalité entre l offre et la demande. ⇒ déséquilibre. Inégalité d… …   Encyclopédie Universelle

  • Inégalité d'Heisenberg — Principe d incertitude Vues spatiale (position) et fréquentielle (impulsion) de (a) une onde, (b) un paquet d onde et (c) un corpuscule.L onde étant de fréquence pure, son impulsion est définie mais elle n est pas localisée dans l espace.… …   Wikipédia en Français

  • Inégalité de Heisenberg — Principe d incertitude Vues spatiale (position) et fréquentielle (impulsion) de (a) une onde, (b) un paquet d onde et (c) un corpuscule.L onde étant de fréquence pure, son impulsion est définie mais elle n est pas localisée dans l espace.… …   Wikipédia en Français

  • Henri Poincaré — Pour les articles homonymes, voir Poincaré. Henri Poincaré Henri Poincaré Naissance 29 avril  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste d'équations et formules — Ceci est une Liste des équations et formules par ordre alphabétique. Cette liste contient les équations, les formules, les relations et autres identités, égalités ou inégalités. Sommaire : Haut A B C D E F G H I J K L M N O P Q R S T U V W X …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»