Riesz表示定理和Lax-Milgram定理

简书latex渲染崩坏, 已搬运至博客园 (cnblogs.com)

本文中设 $H$ 是一个 $\Phi$ ( $\Phi=\mathbb{R}$ 或 $\mathbb{C}$ )上的Hilbert空间.
命题1.设 $C$ 是 $H$ 中的一个闭凸集, $x\notin C$ , 则存在唯一的 $x_0\in C$ 使得 $\|x-x_0\|=\inf_{y\in C}\|x-y\|$ .
证明.我们先证存在性. 记 $d=\inf_{y\in C}\|x-y\|$ , 设 $\{x_n\} \subset C$ 使得 $d\le\|x_n-x\|<d+1/n$ , 我们想证 $\{x_n\}$ 收敛到某个 $x_0$ . 为此我们对 $x,x_n,x_m,x_n+x_m-x$ 写出平行四边形等式:
$2(\|x_m-x\|^2+\|x_n-x\|^2)=\|x_n-x_m\|^2+\|x_n+x_m-2x\|^2$
由此可知
$\|x_n-x_m\|^2=2(\|x_m-x\|^2+\|x_n-x\|^2)-4\left\|x-\frac{x_n+x_m}{2}\right\|^2$
$<2\left((d+1/m)^2+(d+1/n)^2\right)-4d^2=\frac{4d}{m}+\frac{4d}{n}+\frac{2}{m^2}+\frac{2}{n^2}\rightarrow0$
故 $\{x_n\}$ 是Cauchy列, 而 $H$ 完备, $C$ 闭, 故存在 $x_0\in C$ 使得 $x_n\rightarrow x_0$ , 由范数的连续性即知 $\|x-x_0\|=d$ .
我们再证唯一性. 如果 $y_0\in C$ 使得 $\|x-y_0\|=d$ , 那么我们对 $x,x_0,y_0,x_0+y_0-x$ 使用平行四边形等式得到
$\|x_0-y_0\|^2=2(\|{x_0-x\|^2+\|y_0-x}\|^2)-4\left\|x-\frac{x_0+y_0}{2}\right\|^2$
$\le4d^2-4d^2=0$
从而 $y_0=x_0$ , 这就证明了唯一性. $\rule{3mm}{3mm}$

下面我们设 $M$ 是 $H$ 的闭子空间.
命题2. $H=M\oplus M^\perp$ .
证明.我们先证明 $H=M+M^\perp$ . 任取 $x\in H$ , 如果 $x\in M$ , 当然有 $x\in M+M^\perp$ , 如果 $x\notin M$ , 那么存在 $x_M$ 使得 $\|x-x_M\|=\inf_{y\in M}\|x-y\|$ , 现在我们想证 $x-x_M\in M^\perp$ . 为此我们任取 $y\in M$ , 想证 $\langle y,x-x_M\rangle=0$ . 考虑二次函数 $f(t)=\|x-x_M-ty\|^2=\|x-x_M\|^2-2t\operatorname{Re}\langle x-x_M,y\rangle+t^2\|y\|^2$ , 由 $x_M$ 的定义知 $f$ 在 $t=0$ 处取到最小值, 故 $\operatorname{Re}\langle x-x_M,y\rangle=0$ . 以 $iy\in M$ 替换 $y$ 可得 $\operatorname{Im}\langle x-x_M,y\rangle=0$ . 从而 $\langle x-x_M,y\rangle=0$ .
这说明 $x-x_M\in M^\perp$ , 即 $x=x_M+(x-x_M)\in M+M^\perp$ , $H=M+M^\perp$ .
我们再证 $H=M\oplus M^\perp$ . 若 $x\in H$ 有两个分解 $x=x_1+x_2=y_1+y_2$ , 其中 $x_1,y_1\in M,x_2,y_2\in M^\perp$ , 则 $x_1-y_1=y_2-x_2\in M\cap M^\perp=\{0\}$ , 从而 $x_1=y_1, x_2=y_2$ . 这说明这两个分解是一样的, 故 $H=M\oplus M^\perp$ . $\rule{3mm}{3mm}$

定义1.设 $x\in H$ , 定义 $P_Mx$ 为 $x$ 在 $M$ 上的最佳逼近元.
注记.由我们之前的讨论可以知道 $x-P_Mx\in M^\perp$ .

命题3.对任何 $x\in H$ , 有 $x=P_Mx+P_{M^\perp}x$ .
证明.首先由之前的讨论我们有 $x=P_Mx+(x-P_Mx)=(x-P_{M^\perp}x)+P_{M^\perp}x$ , 这里 $x-P_Mx\in M^\perp, x-P_{M^\perp}x\in(M^\perp)^\perp$ . 如果我们能证明 $(M^\perp)^\perp=M$ , 那么由这种分解的唯一性即可推知结论.
显然 $M\subset(M^\perp)^\perp$ , 为了证明另一边, 我们任取 $y\in(M^\perp)^\perp$ . 我们有分解 $y=P_My+(y-P_My)$ , 而 $y-P_My\in M^\perp$ , 故 $0=\langle y,y-P_My\rangle=\|y-P_My\|^2$ , 从而 $y=P_My\in M$ . 这样就证明了 $(M^\perp)^\perp\subset M$ . $\rule{3mm}{3mm}$

我们现在对线性泛函的一般性质做一个小讨论.

定义2.设 $V$ 是某个域 $F$ 上的线性空间, $U$ 是它的子空间, $U$ 的余维数被定义为 $\dim V/U$ .
命题4.设 $V$ 是某个域 $F$ 上的线性空间, $0\ne f\in V^*$ 是 $V$ 上的线性函数, 则 $V$ 的子空间 $N(f):=\{x\in V|f(x)=0\}$ 的余维数为1.
证明.因 $f\ne0$ , 故 $N(f)\ne V, V/N(f)\ne\{0\}, \dim V/N(f)>0$ . 现在任取非零元素 $x+N(f),y+N(f)\in V/N(f)$ , 则 $f(x),f(y)\ne0$ . 此时我们有 $x/f(x)-y/f(y)\in N(f)$ , 从而
$\frac{x+N(f)}{f(x)}-\frac{y+N(f)}{f(y)}=N(f)$
即 $x+N(f),y+N(f)$ 线性相关, 故 $\dim V/N(f)<2$ . 故 $\dim V/N(f)=1$ . $\rule{3mm}{3mm}$

现在我们回到Hilbert空间的讨论. 我们之前证明了 $H=M\oplus M^\perp$ , 此时我们还有线性同构 $\phi:M^\perp \rightarrow H/M, x \mapsto x+M$ . 故 $M$ 的余维数就是 $M^\perp$ 的维数. 若 $f\in H^*$ 是 $H$ 上的连续线性泛函, 那么 $dim N(f)^\perp=1$ .

定理1(Riesz表示定理).设 $f\in H^*$ , 则存在唯一的 $u\in H$ 使得 $\forall v\in H$ , $f(v)=\langle v,u \rangle$ .
证明.先证存在性. 若 $f=0$ , 则取 $u=0$ 即可. 当 $f\ne0$ 时, $N(f)^\perp\ne\{0 \}$ . 我们任取 $0\ne u_1\in N(f)$ , 再令 $u=\frac{\overline{f(u_1)}}{\|u_1\|^2}u_1$ . 我们想说明这就是我们要寻找的 $u$ .
任取 $v\in H$ , 设 $P_{M^\perp}v=\lambda u$ , 则
$\langle v,u\rangle=\langle P_{M}v+P_{M^\perp}v,u\rangle=\lambda\|u\|^2=\lambda\frac{|f(u_1)|^2}{\|u_1\|^2}$
$f(v)=f(P_Mv+P_{M^\perp}v)=f(P_{M^\perp}v)=\lambda f(u)=\lambda\frac{|f(u_1)|^2}{\|u_1\|^2}=\langle v,u\rangle$
接着我们再证唯一性. 如果 $u,u'$ 都满足要求, 那么对任何 $v$ , 我们有 $\langle v,u-u'\rangle=f(v)-f(v)=0$ , 取 $v=u-u'$ 即知 $\|u-u'\|^2=0$ , 即 $u=u'$ . $\rule{3mm}{3mm}$

定理2(实的Lax-Milgram定理).设 $H$ 是 $\mathbb{R}$ 上的Hilbert空间, $B$ 是 $H\times H$ 上的双线性形式, 并且存在 $\alpha,\beta>0$ 使得 $\forall u,v\in H$ , $\left|B[u,v]\right| \le\alpha\|u\|\|v\|$ , $|B[u,u]|\ge\beta\|u\|^2$ , 则对任何 $f\in H^*$ , 存在唯一的 $u\in H$ 使得 $\forall v$ , $f(v)=B[u,v]$ .
证明.对任何 $u\in H$ , 我们定义线性泛函 $B_u(v):=B[u,v]$ , 则显然 $\|B_u\|\le\alpha\|u\|$ , 故 $B_u$ 连续. 由Riesz表示定理, 存在 $Au\in H$ 使得 $B[u,v]=\langle v,Au\rangle$ , 这样我们就定义了一个线性映射 $A:H\rightarrow H$ . 如果我们能说明 $A$ 是满的, 那么由Riesz表示定理, 存在 $w\in H$ 使得 $\forall v\in H,f(v)=\langle v,w\rangle$ , 再由 $A$ 满可设 $Au=w$ , 则 $f(v)=\langle v,w\rangle=\langle v,Au\rangle=B[u,v]$ .
现在我们集中精力证明 $A$ 满.
首先,由于 $\|Au\|^2\ge|\langle Au,Au\rangle|=|B[u,Au]|\le\alpha\|u\|\|Au\|$ , 故 $\|Au\| \le\alpha\|u\|$ , 从而 $A$ 连续. 另一方面, $\|Au\|\|u\|\ge|\langle u,Au\rangle|=|B[u,u]|\ge\beta\|u\|^2$ , 从而 $\|Au\|\ge\beta\|u\|$ , 故 $A$ 单.
我们再说明 $A$ 的值域 $R(A)$ 是闭的. 设 $Ax_n\rightarrow y$ , 则 $\{Ax_n\}$ 是Cauchy列, 由 $\|Ax_n-Ax_m\|\ge\beta\|x_n-x_m\|$ 知 $\{x_n\}$ 也是Cauchy列, 故可设 $x_n\rightarrow x$ . 由 $A$ 连续性知 $Ax_n\rightarrow Ax$ , 故 $Ax=y$ . 从而 $y\in R(A)$ , $R(A)$ 闭.
现在由于 $H=R(A)\oplus R(A)^\perp$ , 故我们只需证明 $R(A)^\perp=\{0 \}$ 即可. 任取 $v\in R(A)^\perp$ , 有 $0=|\langle v,Av\rangle|=|B[v,v]|\ge\beta\|v\|^2$ , 从而 $v=0$ . 这就说明了 $A$ 是满的, 从而定理得证. $\rule{3mm}{3mm}$

最后编辑于：2023.09.14 13:24:49

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 222,104评论 6赞 515
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 94,816评论 3赞 399
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 168,697评论 0赞 360
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 59,836评论 1赞 298
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 68,851评论 6赞 397
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 52,441评论 1赞 310
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 40,992评论 3赞 421
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 39,899评论 0赞 276
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 46,457评论 1赞 318
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 38,529评论 3赞 341
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 40,664评论 1赞 352
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 36,346评论 5赞 350
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 42,025评论 3赞 334
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 32,511评论 0赞 24
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 33,611评论 1赞 272
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 49,081评论 3赞 377
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 45,675评论 2赞 359

Riesz表示定理和Lax-Milgram定理

推荐阅读更多精彩内容