Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Théorème de Stampacchia - Wikipédia

Théorème de Stampacchia

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[modifier] Énoncé

Soient

Sous ces conditions, il existe un unique u de K tel que

(1) \quad \forall\ v\in K \quad a(u,v-u)\geq L(v-u) \quad

Si de plus la forme bilinéaire a est symétrique, alors il existe un unique u de K qui minimise la fonctionnelle I:\mathcal{H}\rightarrow\R définie par I(v)=\frac{1}{2} a(v,v)-L(v) pour tout v de \mathcal{H}, c'est-à-dire

(2) \quad \exists!\ u\in K \quad I(u) = \min_{v\in K} I(v)

[modifier] Démonstration

[modifier] Cas général

Par application du théorème de Riesz sur les formes linéaires, il existe un unique f\in\mathcal{H} tel que pour tout v\in\mathcal{H}, L(v)=\langle f,v\rangle.

Pour tout u\in\mathcal{H}, l'application v\mapsto a(u,v) est une forme linéaire continue sur \mathcal{H} et donc de la même manière, il existe un unique élément A(u)\in\mathcal{H} tel que a(u,v)=\langle A(u),v\rangle pour tout v\in\mathcal{H}. On montre facilement que l'opérateur A ainsi défini est un endomorphisme linéaire sur \mathcal{H}.

Par la continuité de a, il existe une constante c > 0 telle que \|A(u)\|^2=\langle A(u),A(u)\rangle=a(u,u)\leq c\|A(u)\|\|u\|, d'où

\qquad (3) \quad \forall\ u\in \mathcal{H} \quad \|A(u)\|\leq c\|u\|

Avec ces éléments, la relation (1) s'écrit de manière équivalente

\exists!\,u\in K \quad \forall v\in K \quad \langle f-A(u),v-u\rangle \leq 0

Pour tout réel r strictement positif, c'est également équivalent à

\exists!\,u\in K \quad \forall v\in K \quad \forall r>0 \quad \langle rf-rA(u)+u-u,v-u\rangle \leq 0

En utilisant le théorème de projection sur un convexe fermé, on a de manière équivalente

\exists!\,u\in K \quad \forall r>0 \quad u=p_K(rf-rA(u)+u)

pK est l'opérateur de projection sur K. Ainsi, pour prouver le théorème, il suffit de montrer qu'il existe un unique u\in K qui vérifie l'équation de point fixe u = P(u) où l'application P:K\rightarrow K est définie par P(v)=p_K\big(rf-rA(v)+v\big).

Pour cela, montrons que P est une application contractante. Soient x et y deux éléments de K. Comme l'opérateur de projection pK est 1-lipschitzienne, on a

\|P(x)-P(y)\| \leq \|x-y-rA(x-y)\|

D'où

\|P(x)-P(y)\|^2 \leq \|x-y\|^2 + r^2\|A(x-y)\|^2 - 2r\langle x-y,A(x-y)\rangle

Comme la forme bilinéaire a est coercive, on a \langle A(x-y),x-y\rangle=a(x-y,x-y) \geq \alpha\|x-y\|^2. Par ailleurs, en utilisant la relation (3), on a l'inégalité \|A(x-y)\|\leq c\|x-y\|. Par conséquent,

\|P(x)-P(y)\|^2 \leq \big(1+r^2c^2-2r\alpha\big)\|x-y\|^2

L'application P est contractante si et seulement si (1 + r2c2 − 2rα) < 1, c'est-à-dire si on a 0 < r < \frac{2\alpha}{c^2}. En choisissant un tel r et en utilisant le théorème de point fixe de Picard, on montre qu'il existe effectivement un unique u\in K tel que u=p_K\big(rf-rA(u)+u\big), ce qui conclut la démonstration.

[modifier] Cas symétrique

Si la forme bilinéaire a symétrique, on montre facilement qu'elle définit un produit scalaire sur \mathcal{H}. La coercivité implique que a est définie et positive. On note par \langle.,.\rangle_a ce produit scalaire qui est défini par :

\forall x,y \in \mathcal{H} \quad \langle x,y\rangle_a = a(x,y)

Par application du théorème de Riesz sur les formes linéaires, il existe un unique f\in\mathcal{H} tel que L(v)=\langle f,v\rangle_a pour tout v\in\mathcal{H}.

La relation (1) s'écrit alors de manière équivalente :

\exists!\,u\in K \quad \forall v\in K \quad \langle f-u,v-u\rangle_a \leq 0

En utilisant le théorème de projection sur un convexe fermé, on a de manière équivalente :

\exists!\,u\in K \quad u=p^a_K(f)

p^a_K est l'opérateur de projection sur K utilisant le produit scalaire défini par a. La relation (1) est donc équivalente à :

\langle f-u,f-u\rangle_a = \min_{v\in K}\ \langle f-v,f-v\rangle_a

soit encore

\langle u,u\rangle_a - 2\langle f,u\rangle_a = \min_{v\in K}\left( \langle v,v\rangle_a - 2\langle f,v\rangle_a \right)

ou bien

\frac{1}{2}a(u,u) - L(u) = \min_{v\in K}\left( \frac{1}{2}a(v,v) - L(v) \right), ce qui conclut la démonstration.

[modifier] Applications

Articles de mathématiques en rapport avec l'algèbre bilinéaire
Espace euclidien | Forme bilinéaire | Forme quadratique | Forme sesquilinéaire | Orthogonalité | Base orthonormale | Projection orthogonale | Inégalité de Cauchy-Schwarz | Inégalité de Minkowski | Matrice définie positive | Décomposition QR | Déterminant de Gram | Hermitien | Espace de Hilbert | Base de Hilbert | Théorème spectral | Théorème de Stampacchia | Théorème de Riesz | Théorème de Lax-Milgram | Théorème de représentation de Riesz
Modifier
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.
Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu