陳恕行《現(xiàn)代偏微分方程導論》第一章習題參考答案

簡書latex渲染崩壞, 搬運到了陳恕行《現(xiàn)代偏微分方程導論》第一章習題參考答案 - dxww - 博客園 (cnblogs.com)

可能有錯誤, 如果發(fā)現(xiàn)請在評論區(qū)指出.

第一節(jié)

1. 證明 $C_c^\infty( {\mathbb{ R } }^n)$ 在 $L^p({ \mathbb{ R } }^n)$ 和 $C^0(\mathbb{R}^n)$ 中稠密.
證明. 先證明 $L^p$ 的情形, 設 $u\in L^p$ . 對任何 $\varepsilon>0$ , 取 $R$ 充分大, 使得 $\|u\|_{L^p(B_R(0)^c)}<\varepsilon/2$ . 再取 $\rho>0$ , 使得 $\|(u\chi_{B_R(0)})_\rho-u\chi_{B_R(0)}\|_{L^p}<\varepsilon/2$ . 有了這些, 立刻可以驗證 $\|u-(u\chi_{B_R(0)})_\rho\|_{L^p}<\varepsilon$ , 而 $(u\chi_{B_R(0)})_\rho\in C_c^\infty$ , 由此即得結論.
再來證 $C^0(\mathbb{R}^n)=\{u\in C(\mathbb{R}^n)|\lim_{|x|\rightarrow\infty}u(x)=0\}$ 的情形. 和上面差不多, 不過直接截斷換為光滑截斷比較好. 即取 $R$ 充分大使得 $\|u-u\chi_R\|_{L^\infty}<\varepsilon/2$ , 這里 $\chi_R=(\chi_{B_R(0)})_{1}$ 是球 $B_R(0)$ 的示性函數(shù)做半徑為1(1是瞎選的, 10也行)的正則化. 再注意 $\|(u\chi_R)_\rho-u\chi_R\|_{L^\infty}\leq\omega(u\chi_R,\rho)$ , 其中 $\omega(f,\rho)=\sup_{|x-y|\le\rho}|f(x)-f(y)|$ 是 $f$ 的連續(xù)模. 由 $u\chi_R$ 的一致連續(xù)性, 我們可以取 $\rho$ 充分小, 使得 $\|(u\chi_R)_\rho-u\chi_R\|_{L^\infty}<\varepsilon/2$ . 現(xiàn)在立刻可以驗證 $\|u-(u\chi_R)_\rho\|_{L^\infty}<\varepsilon$ , 由此即得結論. $\blacksquare$

2. 證明: 若 $u\in C^\infty(\mathbb{R}^n)$ , 則 $J_\varepsilon u\rightarrow u(C^\infty(\mathbb{R}^n))$ ; 若 $u\in C_c^\infty({\mathbb{R}}^n)$ , 則 $J_\varepsilon u\rightarrow u(C_c^\infty( { \mathbb{ R } }^n))$ , 其中 $J_\varepsilon u$ 是 $u$ 的正則化.
證明. 我們只需要證明 $C^\infty( {\mathbb{R}}^n)$ 的情形, 因為如果 $u\in C_c^\infty$ , 那么正則化 $u_\rho$ 在 $\rho<1$ 時當然是具有一致的緊支集的, 例如 $\overline{\operatorname{supp}u+B_1(0)}$ .
下面我們設 $u\in C^\infty(\mathbb{R}^n)$ , 我們需要證 $\forall\alpha\in\mathbb{N}^n$ , $\forall R>0$ , 有 $\|\partial^\alpha u_\rho-\partial^\alpha u\|_{L^\infty(B_R(0))}\rightarrow0$ . 而簡單的計算表明 $\|\partial^\alpha u_\rho-\partial^\alpha u\|_{L^\infty(B_R(0))}\le\rho\|\nabla\partial^\alpha u\|_{L^\infty(B_{R+\rho}(0))}$ , 由此即得結論. $\blacksquare$

3. 證明 $C_c^\infty( \mathbb{ R }^n )$ 是完備的.
證明. 設 $\{u_m\}$ 是 $C_c^\infty$ 基本列, 即存在緊集 $K$ , 使得 $\forall m\ge1$ , $\operatorname{supp}u_m\subset K$ , 且 $\forall\alpha\in\mathbb{N}^n$ , $\|\partial^\alpha u_k-\partial^\alpha u_l\|_{L^\infty(K)}\rightarrow0$ . 由條件, 存在 $u^\alpha\in C(\mathbb{R}^n)$ 使得在 $\mathbb{R}^n$ 上 $\partial^\alpha u_m\rightrightarrows u^\alpha$ , 且 $\operatorname{supp}u^\alpha\subset K$ .
記 $u=u^0$ . 現(xiàn)在我們來驗證 $\partial^\alpha u=u^\alpha$ . 事實上由歸納法, 我們只需要驗證 $\partial_ju=u^{e_j}$ . 注意 $u_m(x+te_j)=u_m(x)+\int_0^t\partial_ju_m(x+se_j)ds$ , 由 $u_m,\partial_ju_m$ 的一致收斂性得到 $u(x+te_j)=u(x)+\int_0^tu^{e_j}(x+se_j)ds$ , 于是可以利用導數(shù)定義驗證 $\partial_ju(x)=u^{e_j}(x)$ . 這樣我們就驗證好了 $\partial^\alpha u=u^\alpha$ , 所以 $u\in C_c^\infty(\mathbb{R}^n)$ , 且 $\operatorname{supp}u\subset K$ .
最后我們需要驗證 $u_m\rightarrow u(C_c^\infty(\mathbb{R}^n))$ . 共同的支集已經(jīng)驗證好了, 現(xiàn)在我們需要說明 $\|\partial^\alpha u_m-\partial^\alpha u\|_{L^\infty(K)}\rightarrow0$ , 而這就是之前已經(jīng)說明了的 $\partial^\alpha u_m\rightrightarrows u^\alpha=\partial^\alpha u$ . $\blacksquare$

4. 證明速降函數(shù)關于卷積運算封閉.
證明. 設 $u,v\in\mathscr{S}(\mathbb{R}^n)$ , 我們來驗證 $u\ast v\in{ \mathscr{S}}(\mathbb{R}^n)$ .
$u\ast v\in C^\infty( \mathbb{ R } ^n )$ 是容易的, 我們只需要驗證 $\forall m\ge1$ , $\forall\alpha\in\mathbb{N}^n$ , 有 $\|(1+|x|)^m\partial^\alpha(u\ast v)\|_{L^\infty}<\infty$ 即可.
注意 $1+|x|\le(1+|x-y|)(1+|y|)$ , 我們可以直接計算:
$\left|(1+|x|)^m\partial^\alpha(u\ast v)(x)\right|=(1+|x|)^m\left|\int u(x-y)\partial^\alpha v(y)dy\right|$
$\le\int (1+|x-y|)^m|u(x-y)|\cdot(1+|y|)^m|\partial^\alpha v(y)|dy$
$\le\|(1+|x|)^mu\|_{L^2}\|(1+|x|)^m\partial^\alpha v\|_{L^2}<\infty$
這就是我們想要的. $\blacksquare$

注. $\{\|(1+|x|)^m\partial^\alpha\varphi\|_{L^\infty}\}_{m,\alpha}$ , $\{\|(1+|x|^2)^m\partial^\alpha\varphi\|_{L^\infty}\}_{m,\alpha}$ , $\{\|(1+|x|^2)^{m/2}\partial^\alpha\varphi\|_{L^\infty}\}_{m,\alpha}$ , $\{\|x^\alpha\partial^\beta\varphi\|_{L^\infty}\}_{\alpha,\beta}$ , $\{\|x^\alpha\partial^\beta\varphi\|_{L^p}\}_{\alpha,\beta}$ ( $1\le p\le\infty$ )等等均是 $\mathscr{S}(\mathbb{R}^n)$ 的等價半范數(shù)族, 它們誘導出同樣的拓撲. 所以平時哪個方便用哪個.

5. 問: 是否存在 $0\not\equiv\varphi\in C_c^{\infty}({\mathbb{R}}^n)$ , 使得存在一常數(shù) $C$ 與 $\alpha$ 無關, $\|\partial^\alpha\varphi\|_{L^\infty}\leq C$ .
解. 不存在. 反證法, 假設存在這樣的 $\varphi$ , 我們來導出矛盾.
由條件, 我們可以得知 $\varphi\in C^\omega(\mathbb{R}^n)$ , 這只消對Taylor定理里的余項簡單估計一下即得. 取 $x_0\in(\operatorname{supp}\varphi)^c$ , 由于 $\varphi$ 在 $x_0$ 處的各階導數(shù)都是0, 所以把 $\varphi$ 在 $x_0$ 處展開即可得到 $\varphi\equiv0$ , 矛盾. $\blacksquare$

6. 證明任一具有 $C^\infty( {\mathbb{R}}^n)$ 系數(shù)的微分算子 $P(x,\partial)$ 都是 $C_c^\infty( \mathbb{ R } ^n)\rightarrow C_c^\infty( \mathbb{R}^n )$ 或 $C^\infty(\mathbb{R}^n)\rightarrow C^\infty(\mathbb{R}^n)$ 的線性連續(xù)映照.
證明. 注意到 $P(x,\partial)=\sum_{|\alpha|\le\deg P}c_\alpha(x)\partial^\alpha$ , 我們只需要證明兩件事情: ①乘一個 $C^\infty$ 函數(shù)是連續(xù)線性映射; ②求導是連續(xù)線性映射. 無需贅言, 加法對拓撲線性空間來說自然是連續(xù)的.
由于乘光滑函數(shù)和求導保持支集不變, 我們只需要證明這兩個操作在 $C^\infty({\mathbb{R}}^n)$ 上是連續(xù)的就好了. 對于線性映射來說, 驗證它連續(xù), 只需要驗證它在原點處連續(xù).
①設 $c\in C^\infty(\mathbb{R}^n)$ , 我們來證 $\varphi\mapsto c\varphi$ 是 $C^\infty({\mathbb{R}}^n)$ 到 $C^\infty({\mathbb{R}}^n)$ 的連續(xù)映射(線性是明顯的). 取 $\varphi_m\rightarrow0(C^\infty( \mathbb{R}^n))$ , 我們只需證明 $c\varphi_m\rightarrow0(C^\infty( \mathbb{R}^n))$ . 或者說, 我們只需證明對任何緊集 $K$ , $\forall\alpha\in\mathbb{N}^n$ , 有 $\|\partial^\alpha(c\varphi)\|_{L^\infty(K)}\rightarrow0$ . 而 $\|\partial^\alpha(c\varphi)\|_{L^\infty(K)}\le\sum_{\beta\le\alpha}\binom{\alpha}{\beta}\|\partial^{\alpha-\beta}c\|_{L^\infty(K)}\|\partial^\beta\varphi\|_{L^\infty(K)}$ , 即 $\|\partial^\alpha(c\varphi)\|_{L^\infty(K)}\lesssim_{c,\alpha}\sum_{\beta\le\alpha}\|\partial^\beta\varphi\|_{L^\infty(K)}$ , 由于 $\|\partial^\beta\varphi\|_{L^\infty(K)}$ 們趨于0, 故 $\|\partial^\alpha(c\varphi)\|_{L^\infty(K)}\rightarrow0$ .
②我們來證 $\partial^\alpha:C^\infty(\mathbb{R}^n)\rightarrow C^\infty(\mathbb{R}^n)$ 是連續(xù)線性映射. 線性是明顯的. 為證連續(xù), 任取 $\varphi_m\rightarrow0(C^\infty( \mathbb{R}^n))$ , 來證 $\partial^\alpha\varphi_m\rightarrow0(C^\infty( \mathbb{R}^n))$ . 這按定義驗證是非常直接的. $\blacksquare$

7. 證明空間 $\mathscr{S}(\mathbb{R}^n)$ 按其自身拓撲是完備的.
證明. 取 $\mathscr{S}(\mathbb{R}^n)$ 中的Cauchy列 $\{u_m\}$ , 即 $\forall\alpha,\beta\in\mathbb{N}^n$ , $p_{\alpha\beta}(u_k-u_l)=\|x^\alpha\partial^\beta(u_k-u_l)\|_{L^\infty}\rightarrow0$ .
取 $\alpha=0$ 即可知 $\{u_m\}$ 亦是 $C^\infty({\mathbb{R}}^n)$ 中的Cauchy列, 故存在 $u\in C^\infty(\mathbb{R}^n)$ 使得 $u_m\rightarrow u(C^\infty({\mathbb{R}}^n))$ .
我們來驗證 $u\in\mathscr{S}(\mathbb{R}^n)$ . 取 $N\ge1$ , 使得當 $k,l\ge N$ 時 $p_{\alpha\beta}(u_k-u_l)\le1$ . 則固定 $x\in\mathbb{R}^n$ , 有 $|x^\alpha\partial^\beta(u_k-u_l)(x)|\le1$ , 由于 $\partial^\beta u_l(x)\rightarrow\partial^\beta(x)$ , 我們令 $l\rightarrow\infty$ , 有 $|x^\alpha\partial^\beta(u_k-u)(x)|\le1$ . 故 $|x^\alpha\partial^\beta u(x)|\le1+|x^\alpha\partial^\beta u_k(x)|\le1+p_{\alpha\beta}(u_k)$ , 考慮到 $x$ 的任意性, 我們即有 $p_{\alpha\beta}(u)\le1+p_{\alpha\beta}(u_k)<\infty$ . 故 $u\in\mathscr{S}(\mathbb{R}^n)$ .
最后我們驗證 $u_m\rightarrow u(\mathscr{S}(\mathbb{R}^n))$ , 即 $\forall\alpha\forall\beta$ , $p_{\alpha\beta}(u_m-u)\rightarrow0$ . 和上一段差不多, 對任何 $\varepsilon>0$ , 取 $N\ge1$ 使得 $\forall k,l\ge N$ , 有 $p_{\alpha\beta}(u_k-u_l)<\varepsilon$ , 然后用和上一段類似的論證得到 $p_{\alpha\beta}(u_k-u)\le\varepsilon$ . $\blacksquare$

8. 設 $u\in\mathscr{S}(\mathbb{R}^n)$ , 證明 $u_\varepsilon\rightarrow u(\mathscr{S}(\mathbb{R}^n))$ .
證明. 我們要證明 $p_{m\beta}(u_\varepsilon-u)=\|(1+|x|)^m\partial^\alpha(u_\varepsilon-u)\|_{L^\infty}\rightarrow0$ . 事實上我們只需要對 $\beta=0$ 證明就夠了, 因為 $p_{m\beta}(u_\varepsilon-u)=p_{m,0}((\partial^\beta u)_\varepsilon-\partial^\beta u)$ , 而 $\partial^\beta u$ 也是速降函數(shù).
我們直接計算:
$\left|(1+|x|)^m(u_\varepsilon-u)(x)\right|=(1+|x|)^m\left|\int (u(x-y)-u(x))\eta_\varepsilon(y)dy\right|$
$\le\varepsilon(1+|x|)^m\|\nabla u\|_{L^\infty(B_\varepsilon(x))}\overset{\text{設}\varepsilon<1}{\le}\varepsilon(1+|x|)^m\|\nabla u\|_{L^\infty(B_1(x))}$
對任何 $y\in B_1(x)$ , 利用 $1+|x|\le(1+|y|)(1+|x-y|)$ , 有
$|\nabla u(y)|=(1+|y|)^{-k}\cdot(1+|y|^{k})|\nabla u(y)|$
$\le(1+|x|)^{-k}(1+|x-y|)^k\|(1+|y|^k)\nabla u(y)\|_{L^\infty_y}$
$\le2^k(1+|x|)^k\sum_{j=1}^np_{k,e_j}(u)$
這里 $k$ 是隨意的正整數(shù), 現(xiàn)在我們取 $k=m$ , 代入之前的估計, 即得
$p_{m,0}(u_\varepsilon-u)\le2^m\varepsilon\sum_{j=1}^np_{m,e_j}(u)\overset{\varepsilon\rightarrow0}{\rightarrow}0$
這正是我們想要的. $\blacksquare$

9. 證明 $\varphi_m\rightarrow0(\mathscr{S}(\mathbb{R}^n))$ 與下面兩條件之一等價:
(1) 對任一重指標 $\alpha$ , $\|\partial^\alpha\varphi_m\|_{L^\infty}\rightarrow0$ , 且對任何重指標 $\alpha,\beta$ , $\|x^\alpha\partial^\beta\varphi_m\|_{L^\infty}\le C_{\alpha,\beta}$ .
(2) 對任一正整數(shù) $\nu$ , 在 $m\rightarrow\infty$ 時, 有 $\sup_{|\alpha|\le\nu,x\in\mathbb{R}^n}(1+|x|^2)^\nu|\partial^\alpha\varphi_m|\rightarrow0$ .
證明. 由第4題下面的注記, $\varphi_m\rightarrow0(\mathscr{S}(\mathbb{R}^n))$ 推出(1)或(2)是容易的(當然前提是證明了那些確實是等價范數(shù), 至于等價范數(shù)的證明, 可以利用 $(1+|x|^2)^\nu\approx_{\nu}\sum_{|\alpha|\le\nu}|x^\alpha|$ ). 所以我們只需要分別證明(1)推出收斂, 以及(2)推出收斂即可. 但是(2)推收斂也是因為等價范數(shù), 所以我們現(xiàn)在只需要從(1)推收斂.
假設(1)成立, 則 $\|x^\alpha\partial^\beta\varphi\|_{L^\infty}^2=\|x^{2\alpha}|\partial^\beta\varphi|^2\|_{L^\infty}$ $\le\|x^{2\alpha}\partial^\beta\varphi\|_{L^\infty}\|\partial^\beta\varphi\|_{L^\infty}$ $\le C_{2\alpha,\beta}\|\partial^\beta\varphi\|_{L^\infty}\rightarrow0$ , 這就是我們需要的. $\blacksquare$

10. 設 $\varphi\in C_c^\infty(B_1(0))$ , $x_j$ 為趨于 $\infty$ 的一個點列, $|x_{j+1}|>|x_j|+2$ , 試證
$\gamma(x):=\sum_{j=1}^\infty\frac{\varphi(x-x_j)}{(1+|x_j|^2)^j }\in\mathscr{S}(\mathbb{R}^n).$
證明. 由于上邊這個求和是局部有限的, 所以很容易驗證 $\gamma\in C^\infty(\mathbb{R}^n)$ , 且 $\partial^\alpha\gamma(x):=\sum_{j=1}^\infty\frac{{\partial^\alpha}\varphi(x-x_j)}{(1+|x_j|^2)^j }$ . 現(xiàn)在我們只需要驗證對任何 $m\ge0$ , $\forall\alpha\in\mathbb{N}^n$ , 有 $\|(1+|x|^2)^m\partial^\alpha\gamma\|_{L^\infty}<\infty$ 即可.
注意 $\varphi(x-x_j)$ 的支集兩兩不交, 所以我們有:
$|(1+|x|^2)^m\partial^\alpha\gamma(x)|=(1+|x|^2)^m \sum_{j=1}^\infty\frac{|\partial^\alpha\varphi(x-x_j)|}{(1+|x_j|^2)^j }$
$\le\sup_{j\ge1}\left\|(1+|x|^2)^m\frac{ |\partial^\alpha\varphi(x-x_j)|}{(1+|x_j|^2)^j }\right\|_{L^\infty_x(B_1(x_j))}$
$\le\sup_{j\ge1}(1+(|x_j|+1)^2)^m(1+|x_j|^2)^{-j}\|\partial^\alpha\varphi\|_{L^\infty}$
$\le3^m\sup_{j\ge1}(1+|x_j|^2)^{m-j}\|\partial^\alpha\varphi\|_{L^\infty}\lesssim_{m,\{x_j\}}\|\partial^\alpha\varphi\|_{L^\infty}$
所以 $\|(1+|x|^2)^m\partial^\alpha\gamma\|_{L^\infty}\lesssim_{m,\{x_j\}}\|\partial^\alpha\varphi\|_{L^\infty}<\infty$ . 這就證好了. $\blacksquare$

第二節(jié)

例 2.5. 設 $f_\nu(x)=\frac{1}{\pi}\frac{\sin\nu x}{x}$ , 證明 $\nu\rightarrow\infty$ 時, $f_\nu\rightarrow\delta(\mathscr{D}'(\mathbb{R}))$ .
證明. 只需任取 $\varphi\in C_c^\infty(\mathbb{R})$ , 證明 $\langle f_\nu,\varphi\rangle\rightarrow\varphi(0)$ 即可.
直接計算, 設 $\operatorname{supp}\varphi\subset[-R,R]$ , 并且任取 $\varepsilon>0$ , 有:
$\langle f_\nu,\varphi\rangle=\frac{1}{\pi}\int_{|x|\le R}\frac{\sin\nu x}{x}\varphi(x)dx$
$=\frac{1}{\pi}\int_{\varepsilon\le|x|\le R}\frac{\sin\nu x}{x}\varphi(x)dx+\frac{1}{\pi}\int_{|x|\le\varepsilon}\frac{\sin\nu x}{x}\varphi(x)dx$
$=A+B$
$A$ 在 $\nu\rightarrow\infty$ 由Riemann-Lebesgue定理是趨于零的, 現(xiàn)在我們來處理 $B$ .
$|B-\varphi(0)|=\left|\frac{1}{\pi}\int_{|x|\le\varepsilon}\frac{\sin\nu x}{x}\varphi(x)dx-\varphi(0)\right|$
$\overset{y=\nu x}{=}\left|\frac{2}{\pi}\int_0^{\nu\varepsilon}\frac{\sin y}{y}\varphi(y/\nu)dy-\frac{2}{\pi}\int_0^{+\infty}\frac{\sin y}{y}\varphi(0)dy\right|$
$\le\frac{2}{\pi}\left|\int_0^{\nu\varepsilon}\frac{\sin y}{y}(\varphi(y/\nu)-\varphi(0))dy\right|+\left|\frac{2}{\pi}\int_{\nu\varepsilon}^{+\infty}\frac{\sin y}{y}\varphi(0)dy\right|$
$\le\frac{2}{\pi}\int_0^{\nu\varepsilon}\frac{1}{y}\|\varphi'\|_{L^\infty}\frac{y}{\nu}dy+o_{\nu\rightarrow\infty}(1)$
$=\frac{2 \varepsilon\|\varphi'\|_{L^\infty}}{\pi}+o_{\nu\rightarrow\infty}(1)$
故 $\limsup_{\nu\rightarrow\infty}|B-\varphi(0)|\lesssim_\varphi\varepsilon$ , 可是 $\varepsilon$ 是任意的, 所以只能有 $\lim_{\nu\rightarrow\infty}B=\varphi(0)$ . 所以 $\langle f_\nu,\varphi\rangle\rightarrow\varphi(0)$ . $\blacksquare$

定理2.9 證明的修正:
首先重新陳述一遍定理: 設 $\Omega$ 是 $\mathbb{R}^n$ 中的連通開集(即開區(qū)域), $T\in\mathscr{D}'(\Omega)$ , 且 $T$ 的各階導數(shù)為零, 則 $T$ 是常數(shù).
書上為了證明 $T$ 是常數(shù), 要先證明 $T_\varepsilon$ 是常數(shù). 而要得到 $T_\varepsilon$ 是常數(shù), 我們需要 $\Omega_\varepsilon=\{x\in\Omega|\mathrm{dist}(x,\partial\Omega)>\varepsilon\}$ 是連通的, 但這是不一定對的. 事實上我們可以構造出一個開區(qū)域 $\Omega$ , 使得 $\forall\varepsilon>0$ , $\Omega_\varepsilon$ 都不是連通的.
這里試圖給出一個修正了的證明.
對任何 $x\in\Omega$ , 令 $B_x=B(x,\mathrm{dist}(x,\partial\Omega)/2)$ . 我們來證明, 對任何 $x\in\Omega$ , 存在 $\lambda_x\in\mathbb{C}$ , 使得對任何 $\varphi\in C_c^\infty(B_x)$ , 有 $\langle T,\varphi\rangle=\lambda_x\int_\Omega\varphi dx$ .
這是容易的, 因為我們可以取 $\rho<\mathrm{dist}(x,\partial\Omega)/2$ , 考慮正則化 $T_\rho\in C^\infty(B_x)$ , 由于 $T_\rho$ 各階導數(shù)為零, 故 $T_\rho$ 在 $B_x$ 上是常數(shù), 比方說是 $\lambda_{x,\rho}$ . 由于 $\rho\rightarrow0$ 時 $T_{\rho}\rightarrow T(\mathscr{D'}(B_x))$ , 故 $\lim_{\rho\rightarrow0}\lambda_{x,\rho}$ 必然存在, 記為 $\lambda_x$ . 可以驗證 $\lambda_x$ 具有我們所說的性質.
注意到一個簡單的事實: 如果 $B_x\cap B_y\ne\emptyset$ , 則 $\lambda_x=\lambda_y$ . 這任取 $\varphi\in C_c^\infty(B_x\cap B_y)$ 作用上 $T$ 即可驗證.
接下來, 我們證明對任何 $x,y\in\Omega$ , 均有 $\lambda_x=\lambda_y$ . 由于 $\Omega$ 是連通的(自然也是道路連通的), 故存在連續(xù)映射 $\gamma:[0,1]\rightarrow\Omega$ , 使得 $\gamma(0)=x$ , $\gamma(1)=y$ . 由于 $\gamma([0,1])$ 是緊的, 所以存在 $\{x_i\}_{i=1}^N\subset\Omega$ , 使得 $\gamma([0,1])\subset\cup_i B_{x_i}$ . 注意 $\{\gamma^{-1}(B_{x_i})\}$ 是 $[0,1]$ 的開覆蓋, 取這個開覆蓋的Lebesgue數(shù) $L$ , 則當 $1/M<L$ 時, $[0,1]$ 的 $M$ 等分 $0=t_0<t_1<\cdots<t_M=1$ 滿足: 相鄰的每兩個點 $t_j$ 和 $t_{j+1}$ 會落在同一個某個 $\gamma^{-1}(B_{x_i})$ 里. 顯然 $B_{\gamma(t_j)}\cap B_{x_i}\ne\emptyset$ , $B_{\gamma(t_{j+1})}\cap B_{x_i}\ne\emptyset$ , 于是根據(jù)上一段的討論有 $\lambda_{\gamma(t_j)}=\lambda_{x_i}=\lambda_{\gamma(t_{j+1})}$ . 最后我們得到 $\lambda_x=\lambda_{\gamma(t_0)}=\cdots=\lambda_{\gamma(t_M)}=\lambda_y$ .
現(xiàn)在我們知道存在 $\lambda\in\mathbb{C}$ , 使得 $\forall x\in\Omega$ , 有 $\lambda_x=\lambda$ . 我們現(xiàn)在來證明 $\forall\varphi\in C_c^\infty(\Omega)$ , 有 $\langle T,\varphi\rangle=\lambda\int_\Omega\eta dx$ .
注意 $\{B_x\}_{x\in\Omega}$ 是緊集 $\operatorname{supp}\varphi$ 的開覆蓋, 故存在有限子覆蓋 $\{B_{x_i}\}$ , 然后取附屬于該子覆蓋的單位分解 $\eta_i\in C_c^\infty(B_{x_i})$ , 滿足在 $\operatorname{supp}\varphi$ 上 $\sum_i\eta_i=1$ . 則 $\langle T,\varphi\rangle$ $=\sum_i\langle T,\varphi\eta_i\rangle=\sum_i\lambda_{x_i}\int_\Omega\varphi\eta_i dx$ $=\lambda\sum_i\int_\Omega\varphi\eta_i dx=\lambda\int_\Omega\varphi dx$ . $\blacksquare$

1. 問下列函數(shù)屬于哪個廣義函數(shù)空間:
(1) $f(x)=e^x\cos x$ ;
(2) $f(x)=\left\{\begin{aligned}&1,\ |x|\le1\\ &0,\ |x|>1\end{aligned}\right.$ .
(3) $\langle f,\varphi\rangle=\sum_{\nu=1}^m\varphi^{(\nu)}(0)$ , $\forall\varphi\in C^m(\mathbb{R}^1)$ .
解. (1) $\mathscr{D}'(\mathbb{R}^1)$ ; (2) $\mathscr{E}'(\mathbb{R}^1)$ ; (3) $\mathscr{E}'(\mathbb{R}^1)$ . $\blacksquare$

2. 設 $u(x)=\left\{\begin{aligned}&1,\ |x|\le1\\ &0,\ |x|>1\end{aligned}\right.$ , 試問 $u$ 的支集是什么? 它的正則化 $u_\varepsilon$ 的支集是什么?
解. $\operatorname{supp}u=[-1,1]$ , $\operatorname{supp}u_\varepsilon=[-1-\varepsilon,1+\varepsilon]$ . $\blacksquare$

3. 證明: 若 $f_m\in C({\mathbb{R}})$ , $f_m\ge0$ , 且 $\forall r>0$ , $\forall R>r$ , $f_m$ 在 $[r,R]$ 和 $[-R,-r]$ 上一致趨于零, 并使 $\int_{-r}^r f_m(x)dx\rightarrow1$ , 則 $m\rightarrow\infty$ 時 $f_m\rightarrow\delta(\mathscr{D}'(\mathbb{R}))$ .
證明. 任取 $\varphi\in C_c^\infty(\mathbb{R})$ , 我們來證明 $\langle f_m,\varphi\rangle\rightarrow\varphi(0)$ . 固定 $\varepsilon>0$ , 取 $r>0$ 使得 $\forall x\in[-r,r]$ 有 $|\varphi(x)-\varphi(0)|<\varepsilon$ . 又取 $R$ 充分大使得 $R>r$ 并且 $\operatorname{supp}\varphi\subset[-R,R]$ . 我們來計算:
$\left|\int_{\mathbb{R}}f_m(x)\varphi(x)dx-\varphi(0)\right|$
$\le\left|\int_{|x|\le r}f_m(x)\varphi(x)dx-\varphi(0)\right|+\left|\int_{|x|\ge r}f_m(x)\varphi(x)dx\right|$
$=A+B$
一個個算:
$A\le\left|\int_{|x|\le r}f_m(x)(\varphi(x)-\varphi(0))dx\right|+\left|\int_{|x|\le r}f_m(x)\varphi(0)dx-\varphi(0)\right|$
$\le\varepsilon\int_{|x|\le r}f_m(x)dx+|\varphi(0)|\left|\int_{|x|\le r}f_m(x)dx-1\right|$
$=\varepsilon(1+o_{m\rightarrow\infty}(1))+o_{m\rightarrow\infty}(1)=\varepsilon+o_{m\rightarrow\infty}(1)$
再來看 $B$ :
$B\le\|\varphi\|_{L^\infty}\left|\int_{r\le|x|\le R}f_m(x)dx\right|=o_{m\rightarrow\infty}(1)$
故 $\limsup_{m\rightarrow\infty}\left|\int_{\mathbb{R} }f_m(x)\varphi(x)dx-\varphi(0)\right|\le\varepsilon$ , 由 $\varepsilon$ 的任意性即得結論. $\blacksquare$

4. 證明在廣義函數(shù)意義下下列極限成立:
(1) $\lim_{\varepsilon\rightarrow0}\frac{\varepsilon}{\varepsilon^2+x^2}=\pi\delta(x)$ ;
(2) $\lim_{\varepsilon\rightarrow0}\frac{1}{\sqrt{\pi\varepsilon}}e^{-\frac{x^2}{\varepsilon}}=\delta(x)$
證明. 我們統(tǒng)一處理這兩個極限.
假設 $f\in C^\infty(\mathbb{R})$ 滿足: ① $f\ge0$ ; ② $\int f=1$ . 令 $f_{\varepsilon}(x)=\frac{1}{\varepsilon}f(\frac{x}{\varepsilon})$ , 我們來證明 $f_\varepsilon\rightarrow\delta(\mathscr{D}'({\mathbb{R}}))$ .
任取 $\varphi\in C_c^\infty(\mathbb{R})$ , 我們來證明 $\int f_\varepsilon\varphi\rightarrow\varphi(0)$ .
$\left|\int_{ \mathbb{R}}f_\varepsilon(x)\varphi(x)dx-\varphi(0)\right|\le\frac{1}{\varepsilon}\int_{\mathbb{R}}f\left(\frac{x}{\varepsilon}\right)|\varphi(x)-\varphi(0)|dx$
$\overset{y=x/\varepsilon}{=}\int_{\mathbb{R}}f(y)|\varphi(\varepsilon y)-\varphi(0)|dy\le\varepsilon\|\varphi'\|_{L^\infty}\operatorname{diam}(\operatorname{supp}\varphi)$
從而 $\limsup_{\varepsilon\rightarrow0}\left|\int f_\varepsilon\varphi-\varphi(0)\right|=0$ . $\blacksquare$

5. 設 $f_\varepsilon(x)=(x+i\varepsilon)^{-1}+(x-i\varepsilon)^{-1}$ , 證明 $\lim_{\varepsilon\rightarrow0}f_\varepsilon$ 在 $\mathscr{D}'(\mathbb{R})$ 中存在
證明1. 本來我們最好是證明 $f_{\varepsilon}\rightarrow 2P.V.(\frac{1}{x})$ , 但是我們偷個懶. 我們只需要任取 $\varphi\in C_c^\infty(\mathbb{R})$ , 證明 $\lim_{\varepsilon\rightarrow0}\langle f_\varepsilon,\varphi\rangle$ 存在就行了. 這是因為根據(jù)Rudin的泛函分析書里的定理2.7, 如果 $\Lambda_k$ 是某拓撲線性空間 $X$ 上的連續(xù)線性泛函, 并且 $\forall x\in X$ , $\lim_k\Lambda_kx=\Lambda x$ 存在, 那么 $\Lambda$ 也是 $X$ 上的連續(xù)線性泛函.
任取 $\varepsilon_1,\varepsilon_2>0$ , 我們來估計 $|\langle f_{\varepsilon_1}-f_{\varepsilon_2},\varphi\rangle|$ . 注意 $f_\varepsilon$ 是奇函數(shù), 并且 $f_{\varepsilon_1}-f_{\varepsilon_2}\in L^1(\mathbb{R})$ , 所以 $\int(f_{\varepsilon_1}-f_{\varepsilon_2})=0$ . 從而我們有
$|\langle f_{\varepsilon_1}-f_{\varepsilon_2},\varphi\rangle|=\left|\int(f_{\varepsilon_1}-f_{\varepsilon_2})\varphi dx\right|$
$=\left|\int(f_{\varepsilon_1}-f_{\varepsilon_2})(\varphi-\varphi(0))dx\right|\le\|\varphi'\|_{L^\infty}\int|x||f_{\varepsilon_1}-f_{\varepsilon_2}|dx$
$\le 2\|\varphi'\|_{L^\infty}|\varepsilon_1^2-\varepsilon_2^2|\int_0^\infty\frac{2x^2}{(x^2+\varepsilon_1^2)(x^2+\varepsilon_2^2) }dx$
$=4\|\varphi'\|_{L^\infty}\int_0^\infty\left|\frac{\varepsilon_1^2}{x+\varepsilon_1^2}-\frac{\varepsilon_2^2}{x+\varepsilon_2^2}\right|dx$
$=4\|\varphi'\|_{L^\infty}\left| \int_0^\infty\frac{\varepsilon_1^2}{x+\varepsilon_1^2}dx-\int_0^\infty \frac{\varepsilon_2^2}{x+\varepsilon_2^2}dx\right|$
$=2\pi\|\varphi'\|_{L^\infty}|\varepsilon_1-\varepsilon_2|$
由此即可得到 $\lim_{\varepsilon\rightarrow0}\langle f_\varepsilon,\varphi\rangle$ 是存在的. $\blacksquare$
證明2. 我們直接來證明 $f_{\varepsilon}\rightarrow 2P.V.(\frac{1}{x})$ . 取定 $\varphi\in C_c^\infty(\mathbb{R})$ . 對任何 $h>0$ , 我們取 $\delta\in(0,1)$ 使得 $\operatorname{supp}\varphi\subset[-\delta^{-1},\delta^{-1}]$ , 并且 $2\delta\|\varphi'\|_{L^\infty}<h/3$ , 以及
$\left|\langle 2 P.V.\frac{1}{x},\varphi\rangle-\int_{\delta\le|x|\le\delta^{-1}}\frac{2\varphi(x)}{x}dx\right|<\frac{h}{3}$
再取 $\varepsilon$ 充分小, 使得 $\frac{2\varepsilon^2}{\delta^4}\|\varphi\|_{L^\infty}< h/3$ . 在取定此 $\delta,\varepsilon$ 之后, 我們來計算:
$| \langle f_\varepsilon,\varphi\rangle-\langle 2P.V.\frac{1}{x},\varphi\rangle|\le\left|\langle f_\varepsilon,\varphi\rangle-\int_{\delta\le|x|\le\delta^{-1}}\frac{2\varphi(x)}{x}dx\right|$
$+ \left|\langle 2P.V.\frac{1}{x},\varphi\rangle-\int_{\delta\le|x|\le\delta^{-1}}\frac{2\varphi(x)}{x}dx\right|$
$\le\left|\int_{\delta\le|x|\le\delta^{-1}}\left(\frac{2x}{x^2+\varepsilon^2}-\frac{2}{x}\right)\varphi(x)dx\right|+\left|\int_{|x|\le\delta}\frac{2x}{x^2+\varepsilon^2}\varphi(x)dx\right|+\frac{h}{3}$
$\le\|\varphi\|_{L^\infty}\int_{\delta\le|x|\le\delta^{-1}}\frac{2\varepsilon^2}{|x|( x^2+\varepsilon^2)}dx$
$+\left|\int_{|x|\le\delta}\frac{2x}{x^2+\varepsilon^2}(\varphi(x)-\varphi(0))dx\right|+\frac{h}{3}$
$\le\|\varphi\|_{L^\infty}\frac{2\varepsilon^2}{\delta^4}+\|\varphi'\|_{L^\infty}\int_{|x|\le\delta}\frac{2x^2}{x^2+\varepsilon^2}dx+\frac{h}{3}$
$\le\frac{2h}{3}+2\delta\|\varphi'\|_{L^\infty}<h$
所以 $\lim_{\varepsilon\rightarrow0}\langle f_\varepsilon,\varphi\rangle=\langle 2P.V.(1/x),\varphi\rangle$ . $\blacksquare$

最后編輯于：2023.09.13 23:01:33

?著作權歸作者所有,轉載或內容合作請聯(lián)系作者

人面猴
序言：七十年代末鸯旁，一起剝皮案震驚了整個濱河市寿弱，隨后出現(xiàn)的幾起案子，更是在濱河造成了極大的恐慌，老刑警劉巖都哭，帶你破解...
沈念sama閱讀 218,386評論 6贊 506
死咒
序言：濱河連續(xù)發(fā)生了三起死亡事件，死亡現(xiàn)場離奇詭異，居然都是意外死亡，警方通過查閱死者的電腦和手機骇钦，發(fā)現(xiàn)死者居然都...
沈念sama閱讀 93,142評論 3贊 394
救了他兩次的神仙讓他今天三更去死
文/潘曉璐我一進店門，熙熙樓的掌柜王于貴愁眉苦臉地迎上來竞漾，“玉大人眯搭，你說我怎么就攤上這事〕氩洌” “怎么了坦仍？”我有些...
開封第一講書人閱讀 164,704評論 0贊 353
道士緝兇錄：失蹤的賣姜人
文/不壞的土叔我叫張陵，是天一觀的道長叨襟。經(jīng)常有香客問我，道長幔荒，這世上最難降的妖魔是什么糊闽？我笑而不...
開封第一講書人閱讀 58,702評論 1贊 294
?港島之戀（遺憾婚禮）
正文為了忘掉前任，我火速辦了婚禮爹梁，結果婚禮上右犹，老公的妹妹穿的比我還像新娘。我一直安慰自己姚垃，他們只是感情好念链，可當我...
茶點故事閱讀 67,716評論 6贊 392
惡毒庶女頂嫁案：這布局不是一般人想出來的
文/花漫我一把揭開白布。她就那樣靜靜地躺著，像睡著了一般掂墓。火紅的嫁衣襯著肌膚如雪谦纱。梳的紋絲不亂的頭發(fā)上，一...
開封第一講書人閱讀 51,573評論 1贊 305
城市分裂傳說
那天君编，我揣著相機與錄音跨嘉，去河邊找鬼。笑死吃嘿，一個胖子當著我的面吹牛祠乃，可吹牛的內容都是我干的。我是一名探鬼主播兑燥，決...
沈念sama閱讀 40,314評論 3贊 418
雙鴛鴦連環(huán)套：你想象不到人心有多黑
文/蒼蘭香墨我猛地睜開眼亮瓷，長吁一口氣：“原來是場噩夢啊……” “哼！你這毒婦竟也來了降瞳？” 一聲冷哼從身側響起嘱支，我...
開封第一講書人閱讀 39,230評論 0贊 276
萬榮殺人案實錄
序言：老撾萬榮一對情侶失蹤，失蹤者是張志新（化名）和其女友劉穎力崇，沒想到半個月后斗塘，有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體，經(jīng)...
沈念sama閱讀 45,680評論 1贊 314
?護林員之死
正文獨居荒郊野嶺守林人離奇死亡亮靴，尸身上長有42處帶血的膿包…… 初始之章·張勛以下內容為張勛視角年9月15日...
茶點故事閱讀 37,873評論 3贊 336
?白月光啟示錄
正文我和宋清朗相戀三年馍盟，在試婚紗的時候發(fā)現(xiàn)自己被綠了。大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片茧吊。...
茶點故事閱讀 39,991評論 1贊 348
活死人
序言：一個原本活蹦亂跳的男人離奇死亡贞岭，死狀恐怖，靈堂內的尸體忽然破棺而出搓侄，到底是詐尸還是另有隱情瞄桨，我是刑警寧澤，帶...
沈念sama閱讀 35,706評論 5贊 346
?日本核電站爆炸內幕
正文年R本政府宣布讶踪，位于F島的核電站芯侥，受9級特大地震影響，放射性物質發(fā)生泄漏乳讥。R本人自食惡果不足惜柱查，卻給世界環(huán)境...
茶點故事閱讀 41,329評論 3贊 330
男人毒藥：我在死后第九天來索命
文/蒙蒙一、第九天我趴在偏房一處隱蔽的房頂上張望云石。院中可真熱鬧唉工，春花似錦、人聲如沸汹忠。這莊子的主人今日做“春日...
開封第一講書人閱讀 31,910評論 0贊 22
一樁弒父案雹熬，背后竟有這般陰謀
文/蒼蘭香墨我抬頭看了看天上的太陽。三九已至谣膳，卻和暖如春竿报，著一層夾襖步出監(jiān)牢的瞬間，已是汗流浹背参歹。一陣腳步聲響...
開封第一講書人閱讀 33,038評論 1贊 270
情欲美人皮
我被黑心中介騙來泰國打工仰楚，沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留，地道東北人犬庇。一個月前我還...
沈念sama閱讀 48,158評論 3贊 370
代替公主和親
正文我出身青樓僧界，卻偏偏與公主長得像，于是被迫代替她去往敵國和親臭挽。傳聞我的和親對象是個殘疾皇子捂襟，可洞房花燭夜當晚...
茶點故事閱讀 44,941評論 2贊 355

陳恕行《現(xiàn)代偏微分方程導論》第一章習題參考答案

第一節(jié)

第二節(jié)

推薦閱讀更多精彩內容