Lemme de Bramble-Hilbert

En mathématiques, et en particulier en analyse numérique, le lemme de Bramble-Hilbert, qui porte les noms de James H. Bramble et Stephen Hilbert, donne une borne à l'erreur d'une approximation d'une fonction $\textstyle u$ par un polynôme d'ordre au plus $\textstyle m-1$ en fonction des dérivées de $\textstyle u$ d'ordre $\textstyle m$. L'erreur de l'approximation et les dérivées de $\textstyle u$ sont mesurées par des normes $\textstyle L^{p}$ sur un domaine borné dans $\textstyle \mathbb {R} ^{n}$. Le lemme est proche d'un résultat classique en analyse numérique, qui indique, par exemple, que l'erreur d'une interpolation linéaire $\textstyle u$ peut être bornée en utilisant la dérivée seconde de $\textstyle u$. Cependant, le lemme de Bramble-Hilbert s'applique pour un nombre quelconque de dimensions, et pas uniquement pour une dimension, et l'erreur d'approximation et les dérivées de $\textstyle u$ sont mesurées par des normes plus générales utilisant des moyennes, et non juste la norme de la convergence uniforme.

Des hypothèse supplémentaires sur le domaine sont nécessaires pour la validité du lemme de Bramble-Hilbert. Principalement, la frontière du domaine doit être "raisonnable". Par exemple, les domaines qui ont une pointe ou une fente avec un angle nul sont exclus. Les domaines lipschitziens sont suffisamment raisonnables. Ils comprennent les domaines convexes et les domaines avec une frontière continûment différentiable.

Le lemme de Bramble-Hilbert est principalement utilisé pour trouver des bornes de l'erreur d'interpolation de fonction $\textstyle u$ par un opérateur qui préserve les polynômes d'ordre au plus $\textstyle m-1$, en fonction des dérivées de $\textstyle u$ d'ordre $\textstyle m$. C'est une étape essentielle dans l'estimation des erreurs de la méthode des éléments finis. Le lemme de Bramble-Hilbert est appliqué alors sur le domaine formé d'un seul élément.

Le cas unidimensionnel

À une dimension et pour une fonction $\textstyle u$ qui a $\textstyle m$ dérivées sur un intervalle $\textstyle \left(a,b\right)$, le lemme se réduit à

$\inf _{v\in P_{m-1}}{\bigl \Vert }u^{\left(k\right)}-v^{\left(k\right)}{\bigr \Vert }_{L^{p}\left(a,b\right)}\leq C\left(m\right)\left(b-a\right)^{m-k}{\bigl \Vert }u^{\left(m\right)}{\bigr \Vert }_{L^{p}\left(a,b\right)},$

où $\textstyle P_{m-1}$ est l'espace de tous les polynômes d'ordre au plus $\textstyle m-1$.

Dans le cas où $\textstyle p=\infty$, $\textstyle m=2$, $\textstyle k=0$, et $\textstyle u$ est deux fois différentiable, le lemme signifie qu'il existe un polynôme $\textstyle v$ de degré un tel que pour tout $\textstyle x\in \left(a,b\right)$,

$\left\vert u\left(x\right)-v\left(x\right)\right\vert \leq C\left(b-a\right)^{2}\sup _{\left(a,b\right)}\left\vert u^{\prime \prime }\right\vert .$

Cette inégalité alors résulte de manière bien connue de l'erreur estimée pour une interpolation linéaire en choisissant $\textstyle v$ comme l'interpolant linéaire de $\textstyle u$.

Énoncé

Supposons que $\textstyle \Omega$ soit un domaine borné dans $\textstyle \mathbb {R} ^{n}$, $\textstyle n\geq 1$, avec une frontière $\textstyle \partial \Omega$ et un diamètre $\textstyle d$. $\textstyle W_{p}^{k}(\Omega )$ est l'espace de Sobolev de toutes les fonctions $\textstyle u$ sur $\textstyle \Omega$ avec des dérivées partielles au sens faible$\textstyle D^{\alpha }u$ d'ordre $\textstyle \left\vert \alpha \right\vert$ jusqu'à $\textstyle k$ dans $\textstyle L^{p}(\Omega )$. Ici, $\textstyle \alpha =\left(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n}\right)$ est un multi-indice, $\textstyle \left\vert \alpha \right\vert =$ $\textstyle \alpha _{1}+\alpha _{2}+\cdots +\alpha _{n}$ et $\textstyle D^{\alpha }$ note les dérivées $\textstyle \alpha _{1}$ fois par rapport à $\textstyle x_{1}$, $\textstyle \alpha _{2}$ fois par rapport à $\textstyle x_{2}$, et ainsi de suite. La seminorme de Sobolev sur $\textstyle W_{p}^{m}(\Omega )$ consiste en les $\textstyle L^{p}$ normes des dérivées d'ordre le plus élevé,

$\left\vert u\right\vert _{W_{p}^{m}(\Omega )}=\left(\sum _{\left\vert \alpha \right\vert =m}\left\Vert D^{\alpha }u\right\Vert _{L^{p}(\Omega )}^{p}\right)^{1/p}{\text{ si }}1\leq p<\infty$

et

$\left\vert u\right\vert _{W_{\infty }^{m}(\Omega )}=\max _{\left\vert \alpha \right\vert =m}\left\Vert D^{\alpha }u\right\Vert _{L^{\infty }(\Omega )}$

$\textstyle P_{k}$ est l'espace de tous les polynômes d'ordre au plus $\textstyle k$ sur $\textstyle \mathbb {R} ^{n}$. Notons que $\textstyle D^{\alpha }v=0$ pour tous $\textstyle v\in P_{m-1}$ et $\textstyle \left\vert \alpha \right\vert =m$. Ainsi $\textstyle \left\vert u+v\right\vert _{W_{p}^{m}(\Omega )}$ a la même valeur pour tout $\textstyle v\in P_{k-1}$.

Lemme (Bramble et Hilbert) Sous des hypothèse supplémentaires sur le domaine $\textstyle \Omega$, spécifiées plus bas, il existe une constante $\textstyle C=C\left(m,\Omega \right)$ indépendante de $\textstyle p$ et $\textstyle u$ telle que pour tout $\textstyle u\in W_{p}^{k}(\Omega )$, il existe un polynôme $\textstyle v\in P_{m-1}$ tel que pour tout $\textstyle k=0,\ldots ,m,$

$\left\vert u-v\right\vert _{W_{p}^{k}(\Omega )}\leq Cd^{m-k}\left\vert u\right\vert _{W_{p}^{m}(\Omega )}.$

Le résultat original

Le lemme a été prouvé par Bramble et Hilbert sous l'hypothèse que $\textstyle \Omega$ satisfasse la propriété forte du cône ; c'est-à-dire, qu'il existe un recouvrement ouvert fini $\textstyle \left\{O_{i}\right\}$ de $\textstyle \partial \Omega$ et des cônes correspondants $\textstyle \{C_{i}\}$ avec des sommets à l'origine tels que $\textstyle x+C_{i}$ soit contenu dans $\textstyle \Omega$ pour tout $\textstyle x$ $\textstyle \in \Omega \cap O_{i}$.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Bramble–Hilbert lemma » (voir la liste des auteurs).

Liens externes

• (en) Raytcho D. Lazarov, « Bramble–Hilbert lemma », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• (en) Jan Mandel (en), The Bramble–Hilbert Lemma. « 0710.5148 », texte en accès libre, sur arXiv.