📚 الرئيسية

مسابقة دكتوراه 2019Université Echahid Hamma Lakhdar d'El Oued — الموضوع 01

مسابقة تخصص · Analyse Fonctionnelle · المعامل: 3 · المدة: 2سا

Concours d'accès au doctorat 3e cycle LMD 2019/2020, spécialité Mathématiques Appliquées, Épreuve Analyse fonctionnelle et applications (Variante 2), Université Echahid Hamma Lakhdar d'El Oued, 19/10/2019, durée 2h, coefficient 3.

التمرين 1

Graphe fermé de l'opérateur de dérivation non continu

#closed-graph#unbounded-operator#derivative-operator#sup-norm

Soit E=C1([0,1])E=C^1([0,1]) l'espace des fonctions C1C^1 à valeurs complexes et F=C([0,1])F=C([0,1]), tous deux munis de la norme \|\cdot\|_\infty. Soit T:EFT:E\to F défini par Tf=fTf=f'. On note G(T)={(f,Tf):fE}G(T)=\{(f,Tf):f\in E\} le graphe de TT. 1) Montrer que G(T)G(T) est fermé dans E×FE\times F. 2) Montrer que TT n'est pas continue.

الحل

1) Soit (fn,fn)(f,g)(f_n,f_n')\to(f,g) dans E×FE\times F, i.e. fnff_n\to f et fngf_n'\to g uniformément. Un théorème classique d'analyse : si fnff_n\to f et fngf_n'\to g uniformément, alors ff est C1C^1 et f=gf'=g. Donc (f,g)=(f,Tf)G(T)(f,g)=(f,Tf)\in G(T) : le graphe est fermé.

2) Prenons fn(x)=1nsin(n2x)f_n(x)=\frac1n\sin(n^2x) (ou xnx^n). Alors fn=1n0\|f_n\|_\infty=\frac1n\to0 mais Tfn=ncos(n2x)=n\|Tf_n\|_\infty=\|n\cos(n^2x)\|_\infty=n\to\infty. Donc TT n'est pas bornée : TT n'est pas continue. (Noter que EE muni de \|\cdot\|_\infty n'est pas complet, ce qui n'entre pas en contradiction avec le théorème du graphe fermé.)

التمرين 1

Déterminant associé à trois points d'une fonction convexe

#convexité#déterminant#pentes

Soit ff une fonction convexe sur un intervalle réel II, et a<b<ca<b<c trois points de II. Montrer que le déterminant de

(1af(a)1bf(b)1cf(c))\begin{pmatrix}1&a&f(a)\\1&b&f(b)\\1&c&f(c)\end{pmatrix}

est positif ou nul.

الحل

En développant, le déterminant vaut (ba)(f(c)f(b))(cb)(f(b)f(a))(b-a)\bigl(f(c)-f(b)\bigr)-(c-b)\bigl(f(b)-f(a)\bigr), soit (ba)(cb)(f(c)f(b)cbf(b)f(a)ba)(b-a)(c-b)\Bigl(\frac{f(c)-f(b)}{c-b}-\frac{f(b)-f(a)}{b-a}\Bigr). La convexité de ff rend les pentes croissantes, donc le facteur entre parenthèses est 0\ge0, et le déterminant est 0\ge0.

التمرين 2

Champ numérique, rayon numérique et norme d'un opérateur

#numerical-range#numerical-radius#operator-norm#normal-operator#hilbert-space

Soit HH un espace de Hilbert complexe séparable de dimension infinie et L(H)\mathcal L(H) l'algèbre des opérateurs bornés. Pour TL(H)T\in\mathcal L(H), W(T)={Tx,yxy:0x1,0y1}W(T)=\{\frac{|\langle Tx,y\rangle|}{\|x\|\|y\|}:0\ne\|x\|\le1,0\ne\|y\|\le1\}. 1) Montrer que T=supW(T)\|T\|=\sup W(T). 2) On note le rayon numérique ω(T)=sup{Tx,x:x=1}\omega(T)=\sup\{|\langle Tx,x\rangle|:\|x\|=1\}. a) Montrer 12Tω(T)T\frac12\|T\|\le\omega(T)\le\|T\|. b) Montrer ω(T2)ω(T)2\omega(T^2)\le\omega(T)^2. c) Si TT est normal, montrer ω(T)=T\omega(T)=\|T\|.

الحل

1) Par Cauchy-Schwarz, Tx,yTxyTxy|\langle Tx,y\rangle|\le\|Tx\|\|y\|\le\|T\|\|x\|\|y\|, donc supW(T)T\sup W(T)\le\|T\|. Réciproquement, en prenant y=Tx/Txy=Tx/\|Tx\|, Tx,yx=Txx\frac{|\langle Tx,y\rangle|}{\|x\|}=\frac{\|Tx\|}{\|x\|}, dont le sup est T\|T\|. Donc T=supW(T)\|T\|=\sup W(T).

2a) ω(T)T\omega(T)\le\|T\| est immédiat (Cauchy-Schwarz). Pour la borne inférieure, l'identité de polarisation exprime Tx,y\langle Tx,y\rangle comme combinaison de termes Tz,z\langle Tz,z\rangle, donnant Tx,y2ω(T)|\langle Tx,y\rangle|\le2\omega(T) pour x,y1\|x\|,\|y\|\le1, d'où T2ω(T)\|T\|\le2\omega(T), soit 12Tω(T)\frac12\|T\|\le\omega(T).

b) Pour x=1\|x\|=1, T2x,x=Tx,TxTxTx|\langle T^2x,x\rangle|=|\langle Tx,T^*x\rangle|\le\|Tx\|\|T^*x\| ; un argument via la sous-multiplicativité du rayon numérique (inégalité de puissance) donne ω(T2)ω(T)2\omega(T^2)\le\omega(T)^2.

c) Si TT est normal, T=r(T)\|T\|=r(T) (rayon spectral) et pour un opérateur normal ω(T)=r(T)=T\omega(T)=r(T)=\|T\|. Donc ω(T)=T\omega(T)=\|T\|.

التمرين 2

Cônes convexes et ensembles équilibrés

#cône convexe#ensemble équilibré#enveloppe convexe

(a) Soit EE un espace vectoriel et AEA\subset E un cône (i.e. xA,λ0:λxA\forall x\in A,\forall\lambda\ge0:\lambda x\in A). Montrer que AA est un cône convexe si et seulement si x,yA,λ0:λxA\forall x,y\in A,\forall\lambda\ge0:\lambda x\in A et x+yAx+y\in A. (b) Si AA est convexe et 0A0\in A, montrer que 0<αβαAβA0<\alpha\le\beta\Rightarrow\alpha A\subset\beta A. (c) Une partie AA est équilibrée si xA,α1:αxA\forall x\in A,\forall|\alpha|\le1:\alpha x\in A. Montrer que si AA est équilibrée, alors son enveloppe convexe co(A)\mathrm{co}(A) l'est aussi.

الحل

(a) Si AA est un cône convexe : pour x,yAx,y\in A, 12(x+y)A\tfrac12(x+y)\in A (convexité) puis x+yAx+y\in A (cône). Réciproquement, stabilité par somme et par λ0\lambda\ge0 donne λx+(1λ)yA\lambda x+(1-\lambda)y\in A, donc convexité. (b) Pour xAx\in A, comme 0A0\in A et AA convexe, αβx=αβx+(1αβ)0A\frac\alpha\beta x=\frac\alpha\beta x+(1-\frac\alpha\beta)\cdot0\in A, donc αxβA\alpha x\in\beta A. (c) Pour λ1|\lambda|\le1, λAA\lambda A\subset A donc λco(A)=co(λA)co(A)\lambda\,\mathrm{co}(A)=\mathrm{co}(\lambda A)\subset\mathrm{co}(A) : co(A)\mathrm{co}(A) est équilibrée.

التمرين 3

Décomposition cartésienne d'un opérateur et normalité

#operator-theory#self-adjoint#normal-operator#cartesian-decomposition#invertibility

Soit HH un espace de Hilbert complexe et AL(H)A\in\mathcal L(H). 1) Montrer que A=T+iSA=T+iS avec T,ST,S auto-adjoints si et seulement si T=12(A+A)T=\frac12(A+A^*) et S=12i(AA)S=\frac1{2i}(A-A^*). 2) Montrer que AA est normal si et seulement si TS=STTS=ST. 3) Supposons AA normal ; montrer que AA est inversible si et seulement si TT est inversible, en justifiant A1=A(T2+S2)1A^{-1}=A^*(T^2+S^2)^{-1}.

الحل

1) Si A=T+iSA=T+iS avec T=TT=T^*, S=SS=S^*, alors A=TiSA^*=T-iS, d'où T=12(A+A)T=\frac12(A+A^*) et S=12i(AA)S=\frac1{2i}(A-A^*). Réciproquement ces formules définissent des opérateurs auto-adjoints (T=TT^*=T, S=SS^*=S) vérifiant T+iS=AT+iS=A.

2) AA=(T+iS)(TiS)=T2+S2+i(STTS)AA^*=(T+iS)(T-iS)=T^2+S^2+i(ST-TS) et AA=T2+S2+i(TSST)A^*A=T^2+S^2+i(TS-ST). Donc AAAA=2i(STTS)AA^*-A^*A=2i(ST-TS), qui est nul si et seulement si TS=STTS=ST : AA normal     TS=ST\iff TS=ST.

3) Pour AA normal, AA=AA=T2+S2A^*A=AA^*=T^2+S^2 (car les termes croisés disparaissent). Si TT est inversible... plus généralement AA inversible     AA=T2+S2\iff A^*A=T^2+S^2 inversible. Quand c'est le cas, A1=(AA)1A=A(T2+S2)1A^{-1}=(A^*A)^{-1}A^*=A^*(T^2+S^2)^{-1} (en utilisant la commutation dans le cas normal). L'équivalence avec l'inversibilité de TT découle de T2+S2T2T^2+S^2\ge T^2 et de la positivité des opérateurs auto-adjoints en jeu.

التمرين 3

Dérivée directionnelle d'une fonction convexe

#dérivée directionnelle#convexité#homogénéité positive

Soit EE un espace vectoriel normé et f:ERf:E\to\mathbb{R}. La dérivée directionnelle de ff en x0x_0 dans la direction uu est

f(x0;u)=limε0f(x0+εu)f(x0)ε.f'(x_0;u)=\lim_{\varepsilon\to0}\frac{f(x_0+\varepsilon u)-f(x_0)}{\varepsilon}.

(a) Montrer que si ff est convexe, f(x0;u)f'(x_0;u) existe pour tout x0dom(f)x_0\in\mathrm{dom}(f) et tout uEu\in E. (Indication : h(ε)=f(x0+εu)h(\varepsilon)=f(x_0+\varepsilon u) est convexe et admet une dérivée à droite en 00.) (b) Montrer que g:uf(x0;u)g:u\mapsto f'(x_0;u) est convexe et positivement homogène (g(λu)=λg(u)g(\lambda u)=\lambda g(u), λ0\lambda\ge0).

الحل

(a) h(ε)=f(x0+εu)h(\varepsilon)=f(x_0+\varepsilon u) est convexe en ε\varepsilon ; le taux d'accroissement h(ε)h(0)ε\frac{h(\varepsilon)-h(0)}\varepsilon est croissant en ε>0\varepsilon>0 et minoré, donc la dérivée à droite existe, ce qui donne f(x0;u)f'(x_0;u). (b) Pour λ0\lambda\ge0, f(x0;λu)=limf(x0+ελu)f(x0)ε=λlimf(x0+(λε)u)f(x0)λε=λf(x0;u)f'(x_0;\lambda u)=\lim\frac{f(x_0+\varepsilon\lambda u)-f(x_0)}\varepsilon=\lambda\lim\frac{f(x_0+(\lambda\varepsilon)u)-f(x_0)}{\lambda\varepsilon}=\lambda f'(x_0;u) : homogénéité positive. La convexité de gg découle de celle de ff (inégalité de convexité passée à la limite).