# Sobolev 空間：弱微分・埋め込み定理・Rellich のコンパクト性・トレース定理 > 弱微分で定義した W^{k,p} と Fourier 変換で定義した Hˢ を比べ、Sobolev 埋め込み（Gagliardo–Nirenberg・Morrey・s > n/2）、Rellich のコンパクト性、トレース定理、Hardy の不等式、H^{1/2}(S¹)、Gaffney 不等式を証明する。 > https://rikai.mugen-giken.com/mathematics/fourier-analysis/sobolev-spaces ## 0. この記事の要点 折れ線のように角のある関数や、一点で無限大になる関数にも、「微分した」と言える場面があります。この記事は、そうした関数まで含めて「微分の大きさ」を測る空間（Sobolev 空間）を作り、微分についての情報から関数自身の大きさや連続性が読み取れることを示します。読み終えると、「微分が二乗可積分なら関数は有界か」「有界領域で Laplacian の固有値が飛び飛びになるのはなぜか」といった問いに、不等式を使って答えられるようになります。 - **弱微分**は部分積分の公式を定義に取り直したものです。$k$ 階までの弱微分が $L^p$ に入る関数の空間が $W^{k,p}$ で、Banach 空間になります。 - $p=2$ では Fourier 変換が使え、$H^s=\{u\mid\langle\xi\rangle^s\hat u\in L^2\}$ が任意の実数 $s$ で定義できます。整数 $k$ では $H^k=W^{k,2}$ です。 - **Sobolev 埋め込み**: 「微分の可積分性」は「関数自身の可積分性・連続性」に変換できます。$1\le p\lt n$ なら $\|u\|_{np/(n-p)}\le C\|\nabla u\|_p$（Gagliardo–Nirenberg–Sobolev）、$p\gt n$ なら Hölder 連続（Morrey。ある $\gamma\gt0$ で $|u(x)-u(y)|\le C|x-y|^\gamma$ が成り立つ連続性のこと）、$s\gt n/2$ なら $H^s\subset C_b$ です。 - **Rellich のコンパクト性**: 台を固定すると、$H^s$ の有界集合は $H^t$（$t\lt s$）で相対コンパクトです。有界領域の Dirichlet Laplacian（境界で値を $0$ とする Laplacian）のスペクトルが離散（固有値が飛び飛びに並ぶ）になる理由です。 - **トレース定理**: $s\gt1/2$ なら超平面への制限は $H^s(\mathbb{R}^n)\to H^{s-1/2}(\mathbb{R}^{n-1})$ に延びて全射です。「境界で $1/2$ 階の滑らかさを失う」ことの正確な形です。 - そのほか、Hardy の不等式、円周上の $H^{1/2}$ と調和拡張の Dirichlet 積分、ベクトル場の勾配を発散と回転で抑える Gaffney 不等式を扱います。 ## 1. 動機 Schrödinger 作用素 $-\Delta+V$ の自己共役性（Kato–Rellich）や二次形式の閉性（KLMN。どちらも $-\Delta+V$ が量子力学の正しい作用素になるための判定法）では、「$\psi$ と $\Delta\psi$ が $L^2$ に入るなら $\psi$ は有界」「$\nabla\psi\in L^2$ なら $\int V|\psi|^2$ が制御できる」といった評価が要になります（[自己共役性の判定](/mathematics/functional-analysis/self-adjointness-criteria)）。これらはすべて、微分についての情報を関数の大きさの情報に変える **Sobolev 型の不等式**です。 古典的な $C^k$ 空間はこの目的に向きません。$C^k$ は完備ですが Hilbert 空間ではなく、変分法で得られる極小元は $C^k$ に入るとは限りません。$\int|\nabla u|^2$ のような量で完備になる空間を作るには、微分を超関数の意味で取り、$L^p$ ノルムで測る必要があります。こうして得られるのが Sobolev 空間です。 本章では、試験関数・超関数の言葉（[Schwartz 空間と緩増加超関数](/mathematics/fourier-analysis/tempered-distributions)）と Fourier 変換の正規化 $\hat u(\xi)=\int e^{-ix\cdot\xi}u(x)\,dx$（[ℝⁿ 上のフーリエ変換](/mathematics/fourier-analysis/fourier-transform)）を使います。$\langle\xi\rangle=(1+|\xi|^2)^{1/2}$ です。 ## 2. 弱微分と W^{k,p} $U\subset\mathbb{R}^n$ を開集合、$u,v\in L^1_{\mathrm{loc}}(U)$、$\alpha\in\mathbb{N}_0^n$ とする。すべての $\varphi\in C_c^\infty(U)$ について $$ \int_Uu\,\partial^\alpha\varphi\,dx=(-1)^{|\alpha|}\int_Uv\,\varphi\,dx $$ が成り立つとき、$v$ を $u$ の $\alpha$ 階の**弱微分**といい $\partial^\alpha u=v$ と書く。$k\in\mathbb{N}_0$、$1\le p\le\infty$ について $$ W^{k,p}(U)=\{u\in L^p(U)\mid|\alpha|\le k\text{ の弱微分 }\partial^\alpha u\text{ が存在して }L^p(U)\text{ に入る}\},\qquad\|u\|_{W^{k,p}}=\sum_{|\alpha|\le k}\|\partial^\alpha u\|_p $$ と定める。$W^{k,p}_0(U)$ は $C_c^\infty(U)$ の $W^{k,p}(U)$ での閉包である。 弱微分は存在すれば a.e. で一意です。二つの候補 $v,v'$ について $\int(v-v')\varphi=0$（全 $\varphi\in C_c^\infty(U)$）なので、 の 3 から $v=v'$ a.e. です。$u$ が $C^k$ 級なら部分積分（境界項は $\varphi$ の台がコンパクトなので消える）から、古典的な導関数が弱微分です。 1. $u(x)=|x|$（$U=(-1,1)$）の弱微分は $\mathrm{sgn}\,x$ です。$\int|x|\varphi'=\int_0^1x\varphi'-\int_{-1}^0x\varphi'=-\int_0^1\varphi+\int_{-1}^0\varphi$ を部分積分で確かめられます。よって $|x|\in W^{1,\infty}(-1,1)$ です。 2. $\mathrm{sgn}\,x$ は弱微分を $L^1_{\mathrm{loc}}$ にもちません。もし $v$ があれば $\int v\varphi=-\int\mathrm{sgn}\,\varphi'=2\varphi(0)$ となり、$0$ を含まない台の $\varphi$ で $v=0$ a.e.、すると $\varphi(0)=0$ となって矛盾します。超関数としての微分は $2\delta$ で、関数ではありません。 3. $n\ge2$、$u(x)=|x|^{-a}$（$U=B(0,1)$）は、$a\lt(n-p)/p$ のとき $W^{1,p}(U)$ に入ります（）。$n\ge3$、$p=2$ では $a\lt n/2-1$ で、原点に特異性をもつ $W^{1,2}$ 関数が存在します。$W^{1,p}$ の元が連続とは限らないことの典型例です。 $W^{k,p}(U)$ は Banach 空間である。$W^{k,2}(U)$ は内積 $\sum_{|\alpha|\le k}\langle\partial^\alpha u,\partial^\alpha v\rangle$ について Hilbert 空間である。 ノルムの公理は $L^p$ のもの（）から出ます。$(u_j)$ を Cauchy 列とすると、各 $\partial^\alpha u_j$ は $L^p$ の Cauchy 列で、Riesz–Fischer の定理（）からある $u_\alpha\in L^p$ に収束します。$u=u_0$ とおきます。$\varphi\in C_c^\infty(U)$ は $L^{p'}$ に入るので、Hölder の不等式から $$ \int u\,\partial^\alpha\varphi=\lim_j\int u_j\,\partial^\alpha\varphi=\lim_j(-1)^{|\alpha|}\int\partial^\alpha u_j\,\varphi=(-1)^{|\alpha|}\int u_\alpha\varphi $$ となり、$\partial^\alpha u=u_\alpha$ です。よって $u\in W^{k,p}$ で $u_j\to u$ です。Hilbert 空間の主張はノルムの同値性（$\sum_\alpha\|\cdot\|$ と $(\sum_\alpha\|\cdot\|^2)^{1/2}$）から出ます。 $1\le p\lt\infty$、$k\in\mathbb{N}_0$ とする。 1. $u\in W^{k,p}(\mathbb{R}^n)$ ならば $\rho_\varepsilon*u\in C^\infty$ で、$\partial^\alpha(\rho_\varepsilon*u)=\rho_\varepsilon*\partial^\alpha u$（$|\alpha|\le k$）、$\rho_\varepsilon*u\to u$（$W^{k,p}$）。 2. $C_c^\infty(\mathbb{R}^n)$ は $W^{k,p}(\mathbb{R}^n)$ で稠密である。すなわち $W^{k,p}_0(\mathbb{R}^n)=W^{k,p}(\mathbb{R}^n)$。 1: $\rho_\varepsilon$ は[Schwartz 空間と緩増加超関数](/mathematics/fourier-analysis/tempered-distributions)の の軟化子です。積分記号下の微分と、$y\mapsto\rho_\varepsilon(x-y)$ が $C_c^\infty$ であることから $$ \partial^\alpha(\rho_\varepsilon*u)(x)=\int\partial_x^\alpha\rho_\varepsilon(x-y)\,u(y)\,dy=(-1)^{|\alpha|}\int\partial_y^\alpha[\rho_\varepsilon(x-y)]\,u(y)\,dy=\int\rho_\varepsilon(x-y)\,\partial^\alpha u(y)\,dy $$ です（最後に弱微分の定義を使った）。 の 1 を各 $\partial^\alpha u$ に使えば収束が出ます。 2: $\chi\in C_c^\infty$ を $|x|\le1$ で $1$ とし、$\chi_R(x)=\chi(x/R)$ とします。$\varphi\in C_c^\infty$ について $\chi_R\varphi\in C_c^\infty$ を試験関数に使うと、弱微分にも Leibniz 則 $\partial^\alpha(\chi_Ru)=\sum_{\beta\le\alpha}\binom\alpha\beta\partial^{\alpha-\beta}\chi_R\,\partial^\beta u$ が成り立ちます（$|\alpha|$ についての帰納法）。$\beta\ne\alpha$ の項は $\|\partial^{\alpha-\beta}\chi_R\|_\infty\le CR^{-1}$ を係数にもち、$\chi_R\partial^\alpha u\to\partial^\alpha u$ は優収束定理から出るので、$\chi_Ru\to u$（$W^{k,p}$）です。$\chi_Ru$ はコンパクト台をもつので、1 の $\rho_\varepsilon*(\chi_Ru)\in C_c^\infty$ で近似できます。 有界領域 $U$ では $W^{k,p}_0(U)\ne W^{k,p}(U)$ です（$k\ge1$）。例えば定数関数 $1$ は $W^{1,2}(0,1)$ に入りますが、$W^{1,2}_0(0,1)$ の元は の連続な代表元が端点で $0$ になるので、$1$ は入りません。$W_0$ は「境界で $0$」という境界条件を弱い形で課した空間です。 ## 3. Fourier 変換による Hˢ $s\in\mathbb{R}$ について、$u\in\mathcal{S}'(\mathbb{R}^n)$ で $\hat u$ が局所可積分関数かつ $\langle\xi\rangle^s\hat u\in L^2$ となるもの全体を $H^s(\mathbb{R}^n)$ とし、 $$ \langle u,v\rangle_{H^s}=(2\pi)^{-n}\int\langle\xi\rangle^{2s}\,\overline{\hat u(\xi)}\,\hat v(\xi)\,d\xi,\qquad\|u\|_{H^s}=\langle u,u\rangle_{H^s}^{1/2} $$ とおく。 $\mathcal{F}$ は $H^s$ から重み付き空間 $L^2(\mathbb{R}^n,(2\pi)^{-n}\langle\xi\rangle^{2s}d\xi)$ への全単射等長写像なので（全射性は、重み付き $L^2$ の元 $g$ が緩増加超関数を定め、$\mathcal{F}^{-1}$ が $\mathcal{S}'$ の全単射であること（）から）、$H^s$ は Hilbert 空間です。Plancherel の定理（）から $H^0=L^2$ で、ノルムも一致します。$s\le t$ なら $H^t\subset H^s$ で $\|u\|_{H^s}\le\|u\|_{H^t}$ です。$\mathcal{S}$ は各 $H^s$ で稠密です（$\mathcal{F}(\mathcal{S})=\mathcal{S}$ は重み付き $L^2$ で稠密）。 $k\in\mathbb{N}_0$ について $H^k(\mathbb{R}^n)=W^{k,2}(\mathbb{R}^n)$ であり、 $$ \sum_{|\alpha|\le k}\|\partial^\alpha u\|_2^2\le\|u\|_{H^k}^2\le k!\sum_{|\alpha|\le k}\|\partial^\alpha u\|_2^2 $$ が成り立つ。とくに $\|u\|_{H^1}^2=\|u\|_2^2+\|\nabla u\|_2^2$。 $u\in L^2$ の弱微分 $\partial^\alpha u=v\in L^2$ が存在することは、超関数の微分 $\partial^\alpha T_u$（）が $L^2$ 関数 $T_v$ であることと同値です（$C_c^\infty$ は $\mathcal{S}$ で稠密なので、$C_c^\infty$ 上の等式は $\mathcal{S}$ 上の等式に延びる。 の 4）。 から $\widehat{\partial^\alpha u}=(i\xi)^\alpha\hat u$ で、Plancherel の定理から、これは $\xi^\alpha\hat u\in L^2$ と同値で $\|\partial^\alpha u\|_2^2=(2\pi)^{-n}\int\xi^{2\alpha}|\hat u|^2$ です。多項定理から $$ \langle\xi\rangle^{2k}=(1+\xi_1^2+\cdots+\xi_n^2)^k=\sum_{|\alpha|\le k}\frac{k!}{(k-|\alpha|)!\,\alpha!}\xi^{2\alpha} $$ で、係数は $1$ 以上 $k!$ 以下なので、$\sum_{|\alpha|\le k}\xi^{2\alpha}\le\langle\xi\rangle^{2k}\le k!\sum_{|\alpha|\le k}\xi^{2\alpha}$ です。これに $(2\pi)^{-n}|\hat u|^2$ を掛けて積分すれば主張を得ます。 負の $s$ の $H^s$ は超関数を含みます。例えば $\hat\delta=1$ なので、$\delta\in H^s$ は $\int\langle\xi\rangle^{2s}d\xi\lt\infty$、すなわち $s\lt-n/2$ と同値です。$H^{-s}$ は $L^2$ の内積を通して $H^s$ の双対と同一視されます: $|\int\overline{\hat u}\hat v|\le\|\langle\xi\rangle^{-s}\hat u\|_2\|\langle\xi\rangle^s\hat v\|_2$ で、逆に $H^s$ 上の連続線形汎関数は Riesz の表現定理（）から この形に書けます。 ## 4. Sobolev 埋め込み ### 4.1. Hˢ ⊂ C_b（$s\gt n/2$） $s\gt n/2$ ならば、$u\in H^s(\mathbb{R}^n)$ は有界連続で $|x|\to\infty$ で $0$ に収束する代表元をもち、 $$ \|u\|_\infty\le(2\pi)^{-n/2}\Bigl(\int\langle\xi\rangle^{-2s}d\xi\Bigr)^{1/2}\|u\|_{H^s}. $$ $s\gt n/2$ なら $\langle\xi\rangle^{-2s}$ は可積分です。Cauchy–Schwarz の不等式で $\int|\hat u|=\int\langle\xi\rangle^{-s}\cdot\langle\xi\rangle^s|\hat u|\le\|\langle\xi\rangle^{-s}\|_2\,(2\pi)^{n/2}\|u\|_{H^s}$ なので $\hat u\in L^1$ です。$v(x)=(2\pi)^{-n}\int\hat u(\xi)e^{ix\cdot\xi}d\xi$ は有界連続で、Riemann–Lebesgue の補題（）から無限遠で $0$ に収束し、$|v|\le(2\pi)^{-n}\|\hat u\|_1$ です。$f\in\mathcal{S}$ について Fubini の定理で $\int vf=(2\pi)^{-n}\int\hat u\,\mathcal{F}f(-\cdot)=\hat u(\mathcal{F}^{-1}f)=u(f)$ なので（）、$u=v$ です。 $n\le3$ では $H^2(\mathbb{R}^n)\subset L^\infty$ で、これが $L^2+L^\infty$ ポテンシャルに対する Kato–Rellich の定理の鍵です（ は $n=3$ の場合を定数まで追跡したもの）。$s=n/2$ では埋め込みは成り立ちません（）。 ### 4.2. Gagliardo–Nirenberg–Sobolev の不等式（$p\lt n$） この節のねらいは、勾配の $L^p$ ノルムだけで $u$ 自身のより高い指数の $L^{p^*}$ ノルムが抑えられる、という不等式です。証明の方針は 2 段です。まず $p=1$ を、「$u$ は各座標方向に 1 回積分すれば勾配で抑えられる」ことと、次の補題（$n$ 個の座標方向の「影」の積分の積で全体の積分を抑える不等式）で示します。次に一般の $p$ を、$|u|$ の適当な冪に $p=1$ の結果を当てはめて導きます。 $n\ge2$ とし、$g_1,\ldots,g_n$ を $\mathbb{R}^{n-1}$ 上の非負可測関数とする。$\hat x_i\in\mathbb{R}^{n-1}$ を $x$ から第 $i$ 座標を除いたものとすると $$ \int_{\mathbb{R}^n}\prod_{i=1}^ng_i(\hat x_i)^{1/(n-1)}dx\le\prod_{i=1}^n\Bigl(\int_{\mathbb{R}^{n-1}}g_i\Bigr)^{1/(n-1)}. $$ $n$ についての帰納法です。$n=2$ では左辺は $\int\!\!\int g_1(x_2)g_2(x_1)\,dx_1dx_2$ で、Tonelli の定理から等号が成り立ちます。$n$ で正しいとし、$n+1$ 個の関数 $g_1,\ldots,g_{n+1}$（$\mathbb{R}^n$ 上）を考えます。$g_{n+1}(\hat x_{n+1})$ は $x_{n+1}$ によらないので、まず $x_{n+1}$ で積分し、$n$ 個の関数に対する一般化 Hölder の不等式 $\int\prod_{i\le n}F_i\le\prod_{i\le n}\|F_i\|_n$（Hölder の不等式 を帰納的に使う）を適用すると $$ \int\prod_{i\le n+1}g_i^{1/n}\,dx_{n+1}\le g_{n+1}^{1/n}\prod_{i\le n}G_i^{1/n},\qquad G_i=\int g_i\,dx_{n+1}. $$ $G_i$ は $x_i$ と $x_{n+1}$ を除いた $n-1$ 変数の関数です。次に $x'=(x_1,\ldots,x_n)$ で積分し、Hölder の不等式（指数 $n$ と $n/(n-1)$）と帰納法の仮定を使うと $$ \int g_{n+1}^{1/n}\prod_{i\le n}G_i^{1/n}dx'\le\Bigl(\int g_{n+1}\Bigr)^{1/n}\Bigl(\int\prod_{i\le n}G_i^{1/(n-1)}dx'\Bigr)^{(n-1)/n}\le\Bigl(\int g_{n+1}\Bigr)^{1/n}\prod_{i\le n}\Bigl(\int G_i\Bigr)^{1/n} $$ で、$\int G_i=\int g_i$（Tonelli）なので $n+1$ の場合が示されます。 $n\ge2$、$1\le p\lt n$、$p^*=np/(n-p)$ とする。すべての $u\in W^{1,p}(\mathbb{R}^n)$ について $$ \|u\|_{p^*}\le\frac{p(n-1)}{n-p}\,\|\nabla u\|_p . $$ **$p=1$、$u\in C_c^1$ の場合.** 各 $i$ について $u(x)=\int_{-\infty}^{x_i}\partial_iu\,dy_i$ なので $|u(x)|\le g_i(\hat x_i):=\int_{\mathbb{R}}|\partial_iu|\,dy_i$ です。掛け合わせて $|u(x)|^{n/(n-1)}\le\prod_ig_i(\hat x_i)^{1/(n-1)}$ で、 から $\int|u|^{n/(n-1)}\le\prod_i\|\partial_iu\|_1^{1/(n-1)}\le\|\nabla u\|_1^{n/(n-1)}$、すなわち $\|u\|_{n/(n-1)}\le\|\nabla u\|_1$ です。 **$1\lt p\lt n$、$u\in C_c^1$ の場合.** $\gamma=p(n-1)/(n-p)\gt1$ とおくと、$|u|^\gamma=(|u|^2)^{\gamma/2}$ は $C_c^1$ で $|\nabla|u|^\gamma|\le\gamma|u|^{\gamma-1}|\nabla u|$ です（$u=0$ の点では $|u|^\gamma=o(|x-x_0|)$ なので勾配は $0$）。$p=1$ の場合と Hölder の不等式（$p'=p/(p-1)$）から $$ \bigl\||u|^\gamma\bigr\|_{n/(n-1)}\le\gamma\int|u|^{\gamma-1}|\nabla u|\le\gamma\,\bigl\||u|^{\gamma-1}\bigr\|_{p'}\|\nabla u\|_p . $$ $\gamma n/(n-1)=(\gamma-1)p'=p^*$ なので、これは $\|u\|_{p^*}^\gamma\le\gamma\|u\|_{p^*}^{\gamma-1}\|\nabla u\|_p$ です。$\|u\|_{p^*}\lt\infty$ なので割って結論を得ます。 **一般の $u\in W^{1,p}$.** で $u_j\in C_c^\infty$、$u_j\to u$（$W^{1,p}$）を取り、部分列で $u_j\to u$ a.e. とします（ の証明）。Fatou の補題から $\|u\|_{p^*}\le\liminf\|u_j\|_{p^*}\le C\lim\|\nabla u_j\|_p=C\|\nabla u\|_p$ です。 指数 $p^*$ はスケーリングで決まります。$u_\lambda(x)=u(\lambda x)$ とすると $\|u_\lambda\|_q=\lambda^{-n/q}\|u\|_q$、$\|\nabla u_\lambda\|_p=\lambda^{1-n/p}\|\nabla u\|_p$ なので、$\|u\|_q\le C\|\nabla u\|_p$ が全 $\lambda$ で成り立つには $-n/q=1-n/p$、すなわち $q=p^*$ が必要です。$n\ge3$、$p=2$ では $p^*=2n/(n-2)$ で、$\|u\|_{2n/(n-2)}\le C\|\nabla u\|_2$ が Coulomb 系や Lieb–Thirring 型の評価の出発点です。最良定数と臨界の場合は次章 [補間と古典的不等式](/mathematics/fourier-analysis/interpolation-inequalities) で扱います。
1/p s 0 1 1 2 H¹ = W^{1,2} L⁶（1/p* = 1/2 − 1/3） H² = W^{2,2}（s − n/p = 1/2） 1/p = 0 で s = 1/2：有界連続
$n\ge2$、$1\le p\lt n$ なら、$p\le q\le p^*$ について $\|u\|_q\le C\|u\|_{W^{1,p}}$。 $1/q=\theta/p+(1-\theta)/p^*$ と書くと、Hölder の不等式から $\|u\|_q\le\|u\|_p^\theta\|u\|_{p^*}^{1-\theta}\le\|u\|_p+\|u\|_{p^*}$ で、 を使います。 ### 4.3. Morrey の不等式（$p\gt n$） $p\gt n$ では勾配の可積分性が高いので、関数の値の差 $|u(x)-u(y)|$ を、$x$ から $y$ へ向かう線に沿った勾配の積分で抑えられます。証明は、各点 $x$ での値と近くの球での平均値との差を評価し（第 1 段）、$x$ と $y$ の両方の近くの球を共通の平均値の橋渡しに使う（第 2 段）、という流れです。 $n\lt p\le\infty$、$\gamma=1-n/p$ とする。$u\in W^{1,p}(\mathbb{R}^n)$ は連続な代表元をもち、すべての $x,y$ で $$ |u(x)-u(y)|\le C|x-y|^\gamma\|\nabla u\|_p,\qquad\|u\|_\infty\le C\|u\|_{W^{1,p}} $$ （$C$ は $n,p$ のみによる）。 $p\lt\infty$ とし（$p=\infty$ も同様）、まず $u\in C_c^1$ とします。$|B_r|$ を半径 $r$ の球の体積とし、可測集合 $W$（$0\lt|W|\lt\infty$）上の平均を $A_W(g)=|W|^{-1}\int_Wg$ と書きます。 **第 1 段: 球上の平均との差.** $z\in B(x,r)$ について $|u(z)-u(x)|\le\int_0^1|\nabla u(x+t(z-x))|\,|z-x|\,dt$ です。$z$ で積分し、各 $t$ で線形変数変換 $w=x+t(z-x)$（$dz=t^{-n}dw$）をすると $$ \int_{B(x,r)}|u(z)-u(x)|\,dz\le r\int_0^1t^{-n}\int_{B(x,tr)}|\nabla u(w)|\,dw\,dt\le r\|\nabla u\|_p\int_0^1t^{-n}|B_{tr}|^{1-1/p}dt $$ （Hölder の不等式）。$|B_{tr}|=t^n|B_r|$ で $\int_0^1t^{-n/p}dt=(1-n/p)^{-1}$（$p\gt n$）なので、$A_{B(x,r)}(|u-u(x)|)\le C\,r^{\gamma}\|\nabla u\|_p$ です。 **第 2 段: Hölder 評価.** $r=|x-y|$、$W=B(x,r)\cap B(y,r)$ とすると、$W$ は中点を中心とする半径 $r/2$ の球を含むので $|W|\ge2^{-n}|B_r|$ です。 $$ |u(x)-u(y)|\le A_W(|u(x)-u|)+A_W(|u-u(y)|)\le2^n\bigl(A_{B(x,r)}(|u-u(x)|)+A_{B(y,r)}(|u-u(y)|)\bigr)\le C\,r^\gamma\|\nabla u\|_p . $$ また第 1 段で $r=1$ として $|u(x)|\le A_{B(x,1)}(|u|)+C\|\nabla u\|_p\le C(\|u\|_p+\|\nabla u\|_p)$ です（Hölder の不等式で $A_{B(x,1)}(|u|)\le|B_1|^{-1/p}\|u\|_p$）。 **第 3 段: 一般の $u$.** $u_j\in C_c^\infty$ を $u_j\to u$（$W^{1,p}$）と取ると、上限評価から $(u_j)$ は一様 Cauchy 列で、連続関数 $\tilde u$ に一様収束します。$L^p$ 収束の部分列は a.e. 収束するので $\tilde u=u$ a.e. で、評価は極限で保たれます。 $n=1$、$p=2$ では、$H^1(\mathbb{R})$ の元は $1/2$-Hölder 連続です（）。 ## 5. Rellich のコンパクト性 「$H^s$ で有界な列」から「$H^t$（$t\lt s$）で収束する部分列」を取り出すのが目標です。台が固定されていると $\hat u_j$ が滑らか（一様に Lipschitz）になるので、低周波の部分には Arzelà–Ascoli の定理が使えます。高周波の部分は、$t\lt s$ なので重み $\langle\xi\rangle^{2(t-s)}$ が小さく、全体の寄与が小さくなります。証明はこの低周波と高周波の分割です。 $K\subset\mathbb{R}^n$ をコンパクト集合、$0\le t\lt s$ とする。$\operatorname{supp}u_j\subset K$ かつ $\sup_j\|u_j\|_{H^s}\lt\infty$ を満たす列 $(u_j)$ は、$H^t$ で収束する部分列をもつ。 $M=\sup_j\|u_j\|_{H^s}$ とします。$u_j\in L^2$ は $K$ の外で $0$ なので $L^1$ にも入り、$\hat u_j(\xi)=\int_Ku_j(x)e^{-ix\cdot\xi}dx$ です。Cauchy–Schwarz の不等式と積分記号下の微分から $$ |\hat u_j(\xi)|\le|K|^{1/2}\|u_j\|_2\le|K|^{1/2}M,\qquad|\nabla_\xi\hat u_j(\xi)|\le\Bigl(\int_K|x|^2dx\Bigr)^{1/2}M . $$ したがって $(\hat u_j)$ は各閉球 $\bar B(0,R)$ 上で一様有界かつ同程度連続（一様 Lipschitz）です。Arzelà–Ascoli の定理（）と $R=1,2,\ldots$ についての対角線論法で、$\hat u_j$ がすべてのコンパクト集合上で一様収束する部分列（同じ記号で書く）が取れます。この部分列について、$R\gt0$ を固定すると $$ \|u_j-u_k\|_{H^t}^2=(2\pi)^{-n}\Bigl(\int_{|\xi|\le R}+\int_{|\xi|\gt R}\Bigr)\langle\xi\rangle^{2t}|\hat u_j-\hat u_k|^2\le C_R\sup_{|\xi|\le R}|\hat u_j-\hat u_k|^2+\langle R\rangle^{2(t-s)}\,4M^2 $$ です（第 2 項では $\langle\xi\rangle^{2t}=\langle\xi\rangle^{2s}\langle\xi\rangle^{2(t-s)}$ を使った）。先に $R$ を大きく取って第 2 項を小さくし、次に $j,k$ を大きくすれば第 1 項も小さくなるので、$(u_j)$ は $H^t$ の Cauchy 列です。 $U\subset\mathbb{R}^n$ が有界開集合なら、包含写像 $W^{1,2}_0(U)\to L^2(U)$ はコンパクトである。したがって、$W^{1,2}_0(U)$ を形式定義域とする Dirichlet Laplacian $-\Delta_D$ はコンパクトなレゾルベントをもち、そのスペクトルは重複度有限の固有値 $0\lt\lambda_1\le\lambda_2\le\cdots\to\infty$ からなる。 $C_c^\infty(U)$ の元を $0$ で延長すると $\mathbb{R}^n$ 上の $C_c^\infty$ 関数で、$W^{1,2}$ ノルムは変わりません。閉包を取ると、$W^{1,2}_0(U)$ は $\operatorname{supp}\subset\bar U$ を満たす $H^1(\mathbb{R}^n)$ の閉部分空間と等長に同一視されます（）。（$s=1$、$t=0$、$K=\bar U$）から、有界列は $L^2$ で収束する部分列をもちます。Dirichlet Laplacian は閉形式 $\int|\nabla u|^2$（定義域 $W^{1,2}_0$）の表す作用素（）で、$(-\Delta_D+1)^{-1}$ は $L^2$ から $W^{1,2}_0$ への有界作用素と包含写像の合成なのでコンパクトです。Hilbert–Schmidt の定理（）から固有値の主張が出ます。$\lambda_1\gt0$ は次のようにわかります。$\lambda_1=0$ なら固有関数 $u\in W^{1,2}_0(U)$、$\|u\|_2=1$ で $\int|\nabla u|^2=0$ となるものがあります。$0$ で延長した $u\in H^1(\mathbb{R}^n)$ は $|\xi|^2|\hat u|^2=0$ a.e. なので $\hat u=0$、すなわち $u=0$ となり、$\|u\|_2=1$ に矛盾します。 台を固定する仮定は外せません。$u_j(x)=u(x-je_1)$（平行移動）は $H^s$ で有界ですが、どの $H^t$ でも収束する部分列をもちません（$\|u_j-u_k\|_{L^2}^2\to2\|u\|_2^2$）。また $t=s$ も許されません。$\chi\in C_c^\infty$ を固定し $u_j(x)=\langle j\rangle^{-s}e^{ijx_1}\chi(x)$ とすると、$\hat u_j(\xi)=\langle j\rangle^{-s}\hat\chi(\xi-je_1)$ から $\|u_j\|_{H^s}$ は有界で $0$ に近づかず、一方 $L^2$ では $u_j\to0$ なので、$H^s$ で収束する部分列があれば極限は $0$ でなければならず矛盾します。 ## 6. トレース定理 $x=(x',x_n)\in\mathbb{R}^{n-1}\times\mathbb{R}$ と書き、$u\in\mathcal{S}(\mathbb{R}^n)$ に対して $\gamma u(x')=u(x',0)$ を超平面 $\{x_n=0\}$ への**トレース**（制限）とします。$L^2$ 関数は零集合の上で値をもたないので、$\gamma$ を $L^2$ に延ばすことはできません。問題は、どれだけの滑らかさがあれば延びるかです。 Fourier 側で見ると、$x_n=0$ での値は「$\xi_n$ 方向の全周波数成分の和」（積分）に当たります。その積分を Cauchy–Schwarz の不等式で抑えるとき、$\xi_n$ について $\langle\xi\rangle^{-2s}$ を積分した量が $\langle\xi'\rangle^{1-2s}$ に比例することから、滑らかさが $1/2$ だけ下がります。 $s\gt1/2$ とする。$\gamma$ は有界線形写像 $\gamma:H^s(\mathbb{R}^n)\to H^{s-1/2}(\mathbb{R}^{n-1})$ に一意に延び、$\|\gamma u\|_{H^{s-1/2}}\le c_s^{1/2}\|u\|_{H^s}$、$c_s=\frac1{2\pi}\int_{\mathbb{R}}(1+\tau^2)^{-s}d\tau$。さらに $\gamma$ は全射で、有界な右逆写像 $E:H^{s-1/2}(\mathbb{R}^{n-1})\to H^s(\mathbb{R}^n)$（$\gamma E=1$）をもつ。 **第 1 段: Fourier 側の公式.** $u\in\mathcal{S}(\mathbb{R}^n)$ について、反転公式を $\xi_n$ だけ先に積分する形に書くと $$ u(x',0)=(2\pi)^{-(n-1)}\int_{\mathbb{R}^{n-1}}e^{ix'\cdot\xi'}\,g(\xi')\,d\xi',\qquad g(\xi')=\frac1{2\pi}\int_{\mathbb{R}}\hat u(\xi',\xi_n)\,d\xi_n $$ です（Fubini）。$g\in\mathcal{S}(\mathbb{R}^{n-1})$ なので、$\mathbb{R}^{n-1}$ での反転公式の一意性（ の 2）から $\widehat{\gamma u}=g$ です。 **第 2 段: 評価.** Cauchy–Schwarz の不等式で $$ |g(\xi')|^2\le\frac1{4\pi^2}\int\langle\xi\rangle^{2s}|\hat u(\xi',\xi_n)|^2d\xi_n\cdot\int(1+|\xi'|^2+\xi_n^2)^{-s}d\xi_n . $$ 最後の積分で $\xi_n=\langle\xi'\rangle\tau$ と置換すると $\langle\xi'\rangle^{1-2s}\int(1+\tau^2)^{-s}d\tau=2\pi c_s\langle\xi'\rangle^{1-2s}$ で、$s\gt1/2$ なので有限です。両辺に $(2\pi)^{-(n-1)}\langle\xi'\rangle^{2s-1}$ を掛けて $\xi'$ で積分すると $\|\gamma u\|_{H^{s-1/2}}^2\le c_s\|u\|_{H^s}^2$ です。$\mathcal{S}$ は $H^s$ で稠密なので、$\gamma$ は一意に連続延長されます。この評価は $u\in\mathcal{S}$ を使わず $\hat u$ だけで書けているので、写像 $G:u\mapsto\frac1{2\pi}\int\hat u(\cdot,\xi_n)\,d\xi_n$ は $H^s(\mathbb{R}^n)$ 全体で定義され、重み $(2\pi)^{-(n-1)}\langle\xi'\rangle^{2s-1}$ の $L^2$ への有界写像です。$\mathcal{S}$ 上で $\widehat{\gamma u}=Gu$ なので、連続性からすべての $u\in H^s$ で $\widehat{\gamma u}=Gu$ が成り立ちます。 **第 3 段: 右逆.** $h\in H^{s-1/2}(\mathbb{R}^{n-1})$ に対し $$ \widehat{Eh}(\xi',\xi_n)=c_s^{-1}\,\hat h(\xi')\,\langle\xi'\rangle^{2s-1}\langle\xi\rangle^{-2s} $$ と定めます。第 2 段と同じ置換で $\int\langle\xi\rangle^{2s}|\widehat{Eh}|^2d\xi_n=c_s^{-2}|\hat h|^2\langle\xi'\rangle^{4s-2}\cdot2\pi c_s\langle\xi'\rangle^{1-2s}$ なので、$\|Eh\|_{H^s}^2=c_s^{-1}\|h\|_{H^{s-1/2}}^2$ です。第 2 段の最後の注意から $\widehat{\gamma Eh}=G(Eh)=c_s^{-1}\hat h\langle\xi'\rangle^{2s-1}\cdot\frac1{2\pi}\int\langle\xi\rangle^{-2s}d\xi_n=c_s^{-1}\hat h\langle\xi'\rangle^{2s-1}\cdot c_s\langle\xi'\rangle^{1-2s}=\hat h$、すなわち $\gamma Eh=h$ です。 $s=1/2$ では積分 $\int(1+\tau^2)^{-1/2}d\tau$ が発散し、実際に $H^{1/2}(\mathbb{R}^n)$ からのトレースは $L^2(\mathbb{R}^{n-1})$ に延びません（）。半空間 $\{x_n\gt0\}$ や滑らかな境界をもつ領域では、局所座標と 1 の分割でこの定理を貼り合わせて $\gamma:H^1(U)\to H^{1/2}(\partial U)$ を得ます。$W^{1,2}_0(U)$ はこの $\gamma$ の核に一致します（滑らかな境界の場合。証明は Evans §5.5 を参照）。 ## 7. Hardy の不等式 $d\ge3$ の Hardy の不等式 $\int|u|^2/|x|^2\le\frac4{(d-2)^2}\int|\nabla u|^2$（$u\in H^1(\mathbb{R}^d)$）は で、定数の最良性は で証明されています。ここでは 1 次元の半直線版を示します。境界条件の役割がよく見えるからです。 $u\in W^{1,2}_0(0,\infty)$ ならば $$ \int_0^\infty\frac{|u(x)|^2}{x^2}\,dx\le4\int_0^\infty|u'(x)|^2\,dx . $$ $u\in C_c^\infty((0,\infty))$ とします。部分積分（境界項は台がコンパクトなので $0$）で $$ \int_0^\infty\frac{|u|^2}{x^2}dx=\int_0^\infty|u|^2\Bigl(-\frac1x\Bigr)'dx=\int_0^\infty\frac{2\,\mathrm{Re}(\bar u\,u')}{x}dx\le2\Bigl(\int\frac{|u|^2}{x^2}\Bigr)^{1/2}\Bigl(\int|u'|^2\Bigr)^{1/2} $$ で、左辺は有限なので割れば $C_c^\infty$ での不等式です。一般の $u\in W^{1,2}_0$ には $u_j\in C_c^\infty$、$u_j\to u$（$W^{1,2}$）を取り、部分列の a.e. 収束と Fatou の補題で移ります。 境界条件は本質的です。$u=1$ を $[0,1]$ で、$1$ から $0$ へ $[1,2]$ で線形に落とした関数は $W^{1,2}(0,\infty)$ に入りますが、$\int_0^1x^{-2}dx=\infty$ です。$\{0\}$ の「容量」が正であることの表れで、$d\ge3$ で境界条件が不要なのは、点の容量が $0$ だからです。 ## 8. 円周上の H^{1/2} 円周 $\mathbb{T}=\mathbb{R}/2\pi\mathbb{Z}$ 上の関数 $u\in L^2(\mathbb{T})$ の Fourier 係数を $\hat u(k)=\frac1{2\pi}\int_{-\pi}^{\pi}u(\theta)e^{-ik\theta}d\theta$ とし（[フーリエ級数](/mathematics/fourier-analysis/fourier-series) と同じ）、$H^s(\mathbb{T})=\{u\mid\sum_k\langle k\rangle^{2s}|\hat u(k)|^2\lt\infty\}$ とおきます。$s=1/2$ の空間は、ループ群・共形場理論・境界値問題で特別な役割を果たします。理由は次の 2 つの表示にあります。 $u\in L^2(\mathbb{T})$ について、次の 3 つの量は（$+\infty$ を許して）等しい。 $$ 2\pi\sum_{k\in\mathbb{Z}}|k|\,|\hat u(k)|^2=\frac1{2\pi}\int_{-\pi}^{\pi}\!\!\int_{-\pi}^{\pi}\frac{|u(\theta+t)-u(\theta)|^2}{4\sin^2(t/2)}\,d\theta\,dt=\int_{\mathbb{D}}|\nabla U|^2\,dx\,dy . $$ ここで $U(re^{i\theta})=\sum_k\hat u(k)r^{|k|}e^{ik\theta}$ は $u$ の単位円板 $\mathbb{D}$ への調和拡張（Poisson 積分）である。とくに $u\in H^{1/2}(\mathbb{T})$ であることは、これらが有限であることと同値である。 **第 1 の等式.** $t$ を固定すると $u(\cdot+t)-u$ の Fourier 係数は $(e^{ikt}-1)\hat u(k)$ なので、Parseval の等式（）から $\int_{-\pi}^\pi|u(\theta+t)-u(\theta)|^2d\theta=2\pi\sum_k|e^{ikt}-1|^2|\hat u(k)|^2=2\pi\sum_k4\sin^2(kt/2)|\hat u(k)|^2$ です。$t$ で積分すると（Tonelli）、 $$ \int_{-\pi}^{\pi}\frac{\sin^2(kt/2)}{\sin^2(t/2)}dt=2\pi|k| $$ を使えば第 1 の等式です。この積分は $k\ge1$ について、Fejér 核（、$N+1=k$）の正規化 $\frac1{2\pi}\int F_{k-1}=1$ そのものです。 **第 2 の等式.** $r\lt1$ では級数は $C^\infty$ で項別微分でき、極座標で $|\nabla U|^2=|\partial_rU|^2+r^{-2}|\partial_\theta U|^2$ です。$\theta$ についての Parseval の等式から $$ \int_0^{2\pi}\bigl(|\partial_rU|^2+r^{-2}|\partial_\theta U|^2\bigr)d\theta=2\pi\sum_k2k^2r^{2|k|-2}|\hat u(k)|^2 $$ で、$r\,dr$ を掛けて $0$ から $1$ まで積分すると（単調収束定理）$\int_0^12k^2r^{2|k|-1}dr=|k|$ から $2\pi\sum_k|k||\hat u(k)|^2$ を得ます。 3 つ目の表示から、$H^{1/2}(\mathbb{T})$ は「有限な Dirichlet エネルギーをもつ円板上の関数の境界値」の空間で、トレース定理（、$s=1$）の円板版になっています。2 つ目の表示は Fourier を使わない内在的な定義で、$H^{1/2}$ が円周の微分同相（再パラメータ化）で保たれることの証明に使えます。$\sum_k|k||\hat u(k)|^2$ は $u$ の値を $\mathbb{T}$ の上で回したときの「巻き付きの大きさ」でもあり、$u=e^{im\theta}$ なら $|m|$ です。 ## 9. Gaffney 不等式 ベクトル場 $u=(u_1,\ldots,u_n)$ の勾配全体 $\nabla u=(\partial_ju_i)_{i,j}$ は、発散 $\operatorname{div}u=\sum_i\partial_iu_i$ と回転 $\operatorname{curl}u=(\partial_iu_j-\partial_ju_i)_{i\lt j}$ だけで制御できます。Maxwell 方程式や Hodge 理論、Navier–Stokes 方程式で使われる評価です。 $u\in H^1(\mathbb{R}^n;\mathbb{C}^n)$ について $$ \|\nabla u\|_2^2=\|\operatorname{div}u\|_2^2+\|\operatorname{curl}u\|_2^2,\qquad\|\operatorname{curl}u\|_2^2=\sum_{i\lt j}\|\partial_iu_j-\partial_ju_i\|_2^2 . $$ とくに $\|u\|_{H^1}^2=\|u\|_2^2+\|\operatorname{div}u\|_2^2+\|\operatorname{curl}u\|_2^2$。 Plancherel の定理と $\widehat{\partial_ju_i}=i\xi_j\hat u_i$ から、各 $\xi$ で $$ |\xi|^2|\hat u|^2=|\xi\cdot\hat u|^2+\sum_{i\lt j}|\xi_i\hat u_j-\xi_j\hat u_i|^2 $$ を示せば十分です（両辺に $(2\pi)^{-n}$ を掛けて積分する）。これは Lagrange の恒等式です。右辺を展開すると $\sum_{i,j}\xi_i\xi_j\bar{\hat u}_i\hat u_j+\sum_{i\lt j}(\xi_i^2|\hat u_j|^2+\xi_j^2|\hat u_i|^2-2\,\mathrm{Re}(\xi_i\xi_j\bar{\hat u}_i\hat u_j))$ で、交差項は打ち消し、$\sum_i\xi_i^2|\hat u_i|^2+\sum_{i\neq j}\xi_i^2|\hat u_j|^2=|\xi|^2|\hat u|^2$ が残ります。 有界で滑らかな境界をもつ領域 $U$ では、境界条件（法成分 $u\cdot\nu=0$ または接成分 $u\times\nu=0$）のもとで $\|u\|_{H^1(U)}\le C(\|u\|_{L^2}+\|\operatorname{div}u\|_{L^2}+\|\operatorname{curl}u\|_{L^2})$ が成り立ちます。これが元来の Gaffney 不等式で、証明は の部分積分版に境界の曲率から来る項 $\int_{\partial U}(\text{第二基本形式})(u,u)$ が加わり、それをトレース定理で抑えます（G. Schwarz, *Hodge Decomposition*, Lecture Notes in Math. 1607, Springer, 1995 の第 2 章）。本章では全空間の等式までを証明し、領域版は主張にとどめます。 ## 10. 演習 $n\ge2$、$1\le p\lt n$、$u(x)=|x|^{-a}$（$0\lt a$）とし $U=B(0,1)$ とする。$u\in W^{1,p}(U)$ となるのは $a\lt(n-p)/p$ のときであることを示せ（弱微分が古典的な勾配 $-a|x|^{-a-2}x$ に一致することも確かめよ）。 $|\nabla u|=a|x|^{-a-1}$ で、$\int_U|x|^{-b}dx\lt\infty\iff b\lt n$（極座標。）なので、$u\in L^p$ は $ap\lt n$、$\nabla u\in L^p$ は $(a+1)p\lt n$、すなわち $a\lt(n-p)/p$ と同値です。弱微分であること: $\varphi\in C_c^\infty(U)$ について $B(0,\varepsilon)$ の外で部分積分すると $\int_{|x|\gt\varepsilon}u\,\partial_i\varphi=-\int_{|x|\gt\varepsilon}\partial_iu\,\varphi-\int_{|x|=\varepsilon}u\varphi\,\nu_i\,dS$ です。境界項は $\le\|\varphi\|_\infty\varepsilon^{-a}|S^{n-1}|\varepsilon^{n-1}\to0$（$a\lt n-1$ は $a\lt(n-p)/p\le n-1$ から従う）で、他の項は優収束定理で $\varepsilon\to0$ の極限に移れます。 $u\in H^1(\mathbb{R})$ の連続な代表元が $|u(x)-u(y)|\le|x-y|^{1/2}\|u'\|_2$ と $\|u\|_\infty^2\le\|u\|_2\|u'\|_2$ を満たすことを、$u\in C_c^\infty$ の場合に直接示せ。 $|u(x)-u(y)|=|\int_y^xu'|\le|x-y|^{1/2}\|u'\|_2$（Cauchy–Schwarz）。また $|u(x)|^2=\int_{-\infty}^x(|u|^2)'=\int_{-\infty}^x2\,\mathrm{Re}(\bar uu')\le2\int_{-\infty}^x|u||u'|$、同様に $|u(x)|^2\le2\int_x^\infty|u||u'|$ なので、足して $2|u(x)|^2\le2\int|u||u'|\le2\|u\|_2\|u'\|_2$ です。一般の $H^1$ 関数には と の第 3 段と同じ極限操作で移ります。 $n=2$ とする。$u(x)=\chi(x)\log\log(e+1/|x|)$（$\chi\in C_c^\infty$、原点の近くで $1$）は $H^1(\mathbb{R}^2)$ に入るが有界でないことを示し、 が $s=n/2$ で成り立たないことを確かめよ。 原点の近くで $r=|x|$ とすると $|\nabla u|=\frac{1}{\log(e+1/r)}\cdot\frac{1}{e+1/r}\cdot\frac1{r^2}\le\frac{1}{r\log(1/r)}$（$r$ が小さいとき）です。$\int_{r\lt1/2}\frac{1}{r^2\log^2(1/r)}\,2\pi r\,dr=2\pi\int_{\log2}^\infty\frac{dt}{t^2}\lt\infty$（$t=\log(1/r)$）なので $\nabla u\in L^2$ で、$u\in L^2$ も明らかです。原点以外では $u$ は滑らかで、原点の近傍を除いて部分積分した境界項は $\varepsilon\log\log(1/\varepsilon)\to0$ なので古典的な勾配が弱微分です。一方 $u(x)\to\infty$（$x\to0$）で、どんな代表元も原点の近傍で本質的に有界ではありません。 $n=2$ とする。$\hat u_N(\xi)=\mathbf{1}_{\{1\le|\xi_2|\le N\}}\,\langle\xi\rangle^{-1}(\log N)^{-1/2}\phi(\xi_1)$（$\phi\in C_c^\infty(\mathbb{R})$、$\phi\ge0$、$\phi\ne0$）で $u_N\in\mathcal{S}$ に近い関数を定めると、$\|u_N\|_{H^{1/2}}$ は有界だが $\|\gamma u_N\|_{L^2}\to\infty$ となることを示せ（$\mathcal{S}$ の元で近似すれば、トレースが $H^{1/2}(\mathbb{R}^2)\to L^2(\mathbb{R})$ に有界に延びないことがわかる）。 $\|u_N\|_{H^{1/2}}^2=(2\pi)^{-2}(\log N)^{-1}\int\phi(\xi_1)^2\int_{1\le|\xi_2|\le N}\langle\xi\rangle^{-1}d\xi_2\,d\xi_1$ で、$\phi$ の台の上では $\langle\xi\rangle\ge|\xi_2|$ なので内側は $\le2\log N$、全体は有界です。一方 の第 1 段の公式から $\widehat{\gamma u_N}(\xi_1)=\frac1{2\pi}(\log N)^{-1/2}\phi(\xi_1)\int_{1\le|\xi_2|\le N}\langle\xi\rangle^{-1}d\xi_2$ で、$\phi$ の台の上で $\langle\xi\rangle\le C|\xi_2|$（$|\xi_2|\ge1$）なので積分は $\ge(2/C)\log N$、よって $\|\gamma u_N\|_2\ge c(\log N)^{1/2}\to\infty$ です。$\hat u_N$ は不連続ですが、$\hat u_N$ を $\mathcal{S}$ の関数で重み付き $L^2$ と $L^1$ の両方で近似すれば（第 1 段の公式は $\hat u\in L^1$ で意味をもつ）、同じ結論が $\mathcal{S}$ の列で得られます。 $U$ を有界開集合とする。Rellich の定理を使って、ある $C$ ですべての $u\in W^{1,2}_0(U)$ について $\|u\|_{L^2}\le C\|\nabla u\|_{L^2}$（Poincaré の不等式）が成り立つことを背理法で示せ。 成り立たないとすると $\|u_j\|_2=1$、$\|\nabla u_j\|_2\to0$ となる $u_j\in W^{1,2}_0(U)$ があります。$\|u_j\|_{H^1}$ は有界なので、 から部分列が $L^2$ で $u$ に収束し、$\|u\|_2=1$ です。$\nabla u_j\to0$ と合わせると $u_j$ は $H^1$ の Cauchy 列で、極限 $u\in W^{1,2}_0$ は $\nabla u=0$ を満たします。$0$ で延長した $u\in H^1(\mathbb{R}^n)$ について $|\xi|^2|\hat u|^2=0$ a.e. なので $\hat u=0$、すなわち $u=0$ となり、$\|u\|_2=1$ に矛盾します。 ## 参考文献 - L. C. Evans, *Partial Differential Equations*, 2nd ed., American Mathematical Society, 2010 — 第 5 章（弱微分、近似、Gagliardo–Nirenberg–Sobolev、Morrey、Rellich、トレース）。 - R. A. Adams, J. J. F. Fournier, *Sobolev Spaces*, 2nd ed., Academic Press, 2003 — 第 3 章〜第 6 章。 - E. H. Lieb, M. Loss, *Analysis*, 2nd ed., American Mathematical Society, 2001 — 第 7 章・第 8 章（Hˢ と Sobolev 不等式）。 - G. B. Folland, *Introduction to Partial Differential Equations*, 2nd ed., Princeton University Press, 1995 — 第 6 章（Fourier 変換による Sobolev 空間とトレース）。 - G. Schwarz, *Hodge Decomposition — A Method for Solving Boundary Value Problems*, Lecture Notes in Mathematics 1607, Springer, 1995 — 第 2 章（Gaffney 不等式）。