Lemma数学ロードマップ

10 関数解析 · 第 7 章

非有界作用素と作用素半群

目安 8〜11 時間定理など 11演習 6 問

この章の目標

  • 閉作用素・可閉作用素・共役作用素を理解し、微分作用素について計算できる
  • 対称作用素と自己共役作用素の違いを、−i d/dt-i\ d/dt の境界条件の例で説明できる
  • 自己共役性の基本判定法を証明し、掛け算作用素などに適用できる
  • ストーンの定理とヒレ–吉田の定理の主張を理解し、熱方程式・シュレディンガー方程式の解を作用素の指数関数として表せる

前提:第2章、第3章、第6章、06-measure-integration 第7章(絶対連続関数)

7.1 なぜ非有界作用素か

量子力学では、位置は L2(R)L^2(\mathbb{R}) 上の掛け算作用素 (Qf)(x)=xf(x)(Qf)(x) = xf(x)、運動量は P=−i d/dxP = -i\ d/dx で表され、正準交換関係 PQ−QP=−iIPQ - QP = -iI を満たす。しかし有界作用素ではこれは実現できない。

命題 7.1(ヴィーラント–ヴィントナー, Wielandt–Wintner)ノルム空間 X≠{0}X \neq \lbrace 0 \rbrace 上の P,Q∈B(X)P, Q \in \mathcal{B}(X) が PQ−QP=cIPQ - QP = cI を満たせば、c=0c = 0 である。

証明. c≠0c \neq 0 とする。帰納法で PQn−QnP=ncQn−1PQ^n - Q^nP = ncQ^{n-1}(n≥1n \geq 1)が示せる。Qm=0Q^m = 0 となる m≥1m \geq 1 があれば、この式から順に Qm−1=⋯=Q0=I=0Q^{m-1} = \cdots = Q^0 = I = 0 となり矛盾。そうでなければ n∣c∣∥Qn−1∥≤2∥P∥∥Q∥∥Qn−1∥n\lvert c \rvert \lVert Q^{n-1} \rVert \leq 2\lVert P \rVert \lVert Q \rVert \lVert Q^{n-1} \rVert から、すべての nn で n∣c∣≤2∥P∥∥Q∥n\lvert c \rvert \leq 2\lVert P \rVert \lVert Q \rVert となり矛盾。□\square

ヘリンガー–テプリッツの定理(系 3.15)により、ヒルベルト空間全体で定義された対称作用素は有界なので、PP や QQ は稠密な部分空間上でしか定義できない。また熱方程式 ut=Δuu_t = \Delta u を u′=Auu' = Au とみて u(t)=etAu0u(t) = e^{tA}u_0 と解きたいが、A=ΔA = \Delta は非有界なので ∑ntnAn/n!\sum_n t^n A^n / n! は意味をもたない。本章では、定義域を明示して非有界作用素を扱う方法と、etAe^{tA} の構成(作用素半群)を学ぶ。

7.2 閉作用素

定義 7.2 X,YX, Y をバナッハ空間とする。部分空間 D(T)⊂XD(T) \subset X(定義域, domain)上の線形写像 T ⁣:D(T)→YT\colon D(T) \to Y を作用素といい、D(T)D(T) が稠密なとき稠密に定義されている (densely defined) という。G(S)⊂G(T)G(S) \subset G(T) のとき S⊂TS \subset T(TT は SS の拡張)と書く。S=TS = T は定義域も等しいことを意味する。グラフ G(T)={(x,Tx)∣x∈D(T)}G(T) = \lbrace (x, Tx) \mid x \in D(T) \rbrace が X×YX \times Y で閉のとき閉 (closed) といい、G(T)‾\overline{G(T)} がある作用素のグラフになるとき可閉 (closable) といって、その作用素を閉包 T‾\overline{T} と書く。D(T)D(T) 上のグラフノルムを ∥x∥T=∥x∥+∥Tx∥\lVert x \rVert_T = \lVert x \rVert + \lVert Tx \rVert と定める。

命題 7.3 (1) TT が閉であることと、(D(T),∥⋅∥T)(D(T), \lVert \cdot \rVert_T) がバナッハ空間であることは同値である。(2) TT が閉で単射なら T−1 ⁣:Ran⁡T→XT^{-1}\colon \operatorname{Ran} T \to X は閉である。

証明. (1) x↦(x,Tx)x \mapsto (x, Tx) は (D(T),∥⋅∥T)(D(T), \lVert \cdot \rVert_T) から G(T)G(T) への等長全単射であり、G(T)G(T) が完備であることと閉であることは同値である(命題 1.4)。(2) G(T−1)G(T^{-1}) は G(T)G(T) の成分を入れ替えたものである。□\square

複素バナッハ空間 XX 上の閉作用素 TT について、λI−T ⁣:D(T)→X\lambda I - T\colon D(T) \to X が全単射となる λ\lambda の全体をレゾルベント集合 ρ(T)\rho(T)、その補集合をスペクトル σ(T)\sigma(T) という。このとき (λI−T)−1(\lambda I - T)^{-1} は命題 7.3 の (2) により閉で、XX 全体で定義されているので、閉グラフ定理(定理 3.14)により有界である。

微分作用素を扱うため、g∈L2[0,1]g \in L^2[0,1] によって u(t)=u(0)+∫0tgu(t) = u(0) + \int_0^t g と書ける u∈C[0,1]u \in C[0,1] の全体を H1(0,1)⊂L2[0,1]H^1(0,1) \subset L^2[0,1] とし、u′:=gu' := g とおく。06-measure-integration 第7章 の定理 7.14 により、これは a.e. の導関数 u′u' が L2L^2 に属する絶対連続関数の全体である。

補題 7.4 u∈H1(0,1)u \in H^1(0,1) ならば max⁡t∣u(t)∣≤∥u∥2+∥u′∥2\max_t \lvert u(t) \rvert \leq \lVert u \rVert_2 + \lVert u' \rVert_2 である。L2[0,1]L^2[0,1] 上の作用素 u↦u′u \mapsto u'(定義域 H1(0,1)H^1(0,1))は閉であり、u↦u(0)u \mapsto u(0) と u↦u(1)u \mapsto u(1) はグラフノルムについて連続である。

証明. u(t)=u(s)+∫stu′u(t) = u(s) + \int_s^t u' より ∣u(t)∣≤∣u(s)∣+∥u′∥1\lvert u(t) \rvert \leq \lvert u(s) \rvert + \lVert u' \rVert_1 で、ss について積分して ∣u(t)∣≤∥u∥1+∥u′∥1≤∥u∥2+∥u′∥2\lvert u(t) \rvert \leq \lVert u \rVert_1 + \lVert u' \rVert_1 \leq \lVert u \rVert_2 + \lVert u' \rVert_2。グラフノルムのコーシー列 (un)(u_n) はこの評価からある u∈C[0,1]u \in C[0,1] に一様収束し、un′→gu_n' \to g(L2L^2)となる gg がある。un(t)=un(0)+∫0tun′u_n(t) = u_n(0) + \int_0^t u_n' で極限をとれば u∈H1u \in H^1, u′=gu' = g であり、un→uu_n \to u(グラフノルム)。命題 7.3 の (1) から閉である。□\square

例 7.5(可閉でない作用素)D(T)=C[0,1]⊂L2[0,1]D(T) = C[0,1] \subset L^2[0,1] 上で Tf=f(0)1Tf = f(0)\mathbf{1}(1\mathbf{1} は定数関数)とおく。fn(t)=max⁡(0,1−nt)f_n(t) = \max(0, 1 - nt) は ∥fn∥2→0\lVert f_n \rVert_2 \to 0 を満たすが Tfn=1Tf_n = \mathbf{1} なので (0,1)∈G(T)‾(0, \mathbf{1}) \in \overline{G(T)} となり、TT は可閉でない。

7.3 共役作用素

定義 7.6(共役作用素, adjoint)TT をヒルベルト空間 HH 上の稠密に定義された作用素とする。x↦⟨Tx,y⟩x \mapsto \langle Tx, y \rangle が D(T)D(T) 上で有界となる yy の全体を D(T∗)D(T^{\ast}) とする。リースの表現定理と D(T)D(T) の稠密性から、⟨Tx,y⟩=⟨x,z⟩\langle Tx, y \rangle = \langle x, z \rangle(x∈D(T)x \in D(T))を満たす zz がただ一つ存在する。T∗y=zT^{\ast}y = z と定め、T∗T^{\ast} を TT の共役作用素という。

命題 7.7 TT を稠密に定義された作用素とする。

  1. T∗T^{\ast} は閉である。また S⊂TS \subset T ならば T∗⊂S∗T^{\ast} \subset S^{\ast}。
  2. TT が可閉であることと D(T∗)D(T^{\ast}) が稠密であることは同値で、このとき T‾=T∗∗\overline{T} = T^{\ast\ast}。
  3. ker⁡T∗=(Ran⁡T)⊥\ker T^{\ast} = (\operatorname{Ran} T)^\perp。また B∈B(H)B \in \mathcal{B}(H) なら (T+B)∗=T∗+B∗(T + B)^{\ast} = T^{\ast} + B^{\ast}。

証明. ヒルベルト空間 H×HH \times H 上のユニタリ作用素 J(a,b)=(−b,a)J(a, b) = (-b, a) を考える。(y,z)∈G(T∗)(y, z) \in G(T^{\ast}) ⇔ すべての x∈D(T)x \in D(T) で ⟨(x,Tx),(−z,y)⟩=0\langle (x, Tx), (-z, y) \rangle = 0 ⇔ J(y,z)∈G(T)⊥J(y, z) \in G(T)^\perp なので、J−1=−JJ^{-1} = -J と合わせて

G(T∗)=(JG(T))⊥G(T^{\ast}) = \bigl( J G(T) \bigr)^\perp

1:直交補空間は閉だから T∗T^{\ast} は閉である。後半は G(S)⊂G(T)G(S) \subset G(T) から従う。2:JJ はユニタリで J2=−IJ^2 = -I だから JG(T∗)=(J2G(T))⊥=G(T)⊥JG(T^{\ast}) = (J^2 G(T))^\perp = G(T)^\perp である。D(T∗)D(T^{\ast}) が稠密なら T∗∗T^{\ast\ast} が定義され、G(T∗∗)=(JG(T∗))⊥=G(T)⊥⊥=G(T)‾G(T^{\ast\ast}) = (JG(T^{\ast}))^\perp = G(T)^{\perp\perp} = \overline{G(T)}。逆に 0≠w⊥D(T∗)0 \neq w \perp D(T^{\ast}) があれば、(0,w)(0, w) は JG(T∗)={(−T∗y,y)∣y∈D(T∗)}JG(T^{\ast}) = \lbrace (-T^{\ast}y, y) \mid y \in D(T^{\ast}) \rbrace に直交するので (0,w)∈G(T)⊥⊥=G(T)‾(0, w) \in G(T)^{\perp\perp} = \overline{G(T)} となり、TT は可閉でない。3:y∈ker⁡T∗y \in \ker T^{\ast} ⇔ すべての x∈D(T)x \in D(T) で ⟨Tx,y⟩=0\langle Tx, y \rangle = 0 ⇔ y⊥Ran⁡Ty \perp \operatorname{Ran} T。また ⟨(T+B)x,y⟩=⟨Tx,y⟩+⟨x,B∗y⟩\langle (T + B)x, y \rangle = \langle Tx, y \rangle + \langle x, B^{\ast}y \rangle から後半が従う。□\square

7.4 対称作用素と自己共役作用素

定義 7.8 稠密に定義された作用素 TT が T⊂T∗T \subset T^{\ast}、すなわち ⟨Tx,y⟩=⟨x,Ty⟩\langle Tx, y \rangle = \langle x, Ty \rangle(x,y∈D(T)x, y \in D(T))を満たすとき対称 (symmetric)、T=T∗T = T^{\ast}(定義域も一致)のとき自己共役 (self-adjoint) という。

対称作用素は D(T∗)⊃D(T)D(T^{\ast}) \supset D(T) が稠密なので可閉で、T⊂T‾=T∗∗⊂T∗T \subset \overline{T} = T^{\ast\ast} \subset T^{\ast}。自己共役作用素は閉である。非有界な場合、D(T∗)D(T^{\ast}) は D(T)D(T) より真に大きくなりえ、その差は境界条件に現れる。

例 7.9(−i d/dt-i\ d/dt と境界条件)H=L2[0,1]H = L^2[0,1] で、次の作用素を考える(いずれも u↦−iu′u \mapsto -iu')。

D(Tmax⁡)=H1(0,1),D(T0)={u∈H1(0,1)∣u(0)=u(1)=0},D(Tα)={u∈H1(0,1)∣u(1)=αu(0)}(α∈C, ∣α∣=1)\begin{aligned} D(T_{\max}) &= H^1(0,1), \qquad D(T_0) = \lbrace u \in H^1(0,1) \mid u(0) = u(1) = 0 \rbrace, \\ D(T_\alpha) &= \lbrace u \in H^1(0,1) \mid u(1) = \alpha u(0) \rbrace \qquad (\alpha \in \mathbb{C},\ \lvert \alpha \rvert = 1) \end{aligned}

T0⊂Tα⊂Tmax⁡T_0 \subset T_\alpha \subset T_{\max} であり、補題 7.4 よりいずれも閉である(境界値はグラフノルムについて連続)。このとき

T0∗=Tmax⁡,Tmax⁡∗=T0,Tα∗=TαT_0^{\ast} = T_{\max}, \qquad T_{\max}^{\ast} = T_0, \qquad T_\alpha^{\ast} = T_\alpha

が成り立つ。したがって T0T_0 は閉な対称作用素だが自己共役でなく、TαT_\alpha(∣α∣=1\lvert \alpha \rvert = 1)は T0T_0 の相異なる自己共役拡張であり、Tmax⁡T_{\max} は対称でない。

証明. 絶対連続関数の部分積分(06-measure-integration 第7章 問題 7.5)により、u,v∈H1(0,1)u, v \in H^1(0,1) について

⟨−iu′,v⟩−⟨u,−iv′⟩=−i(u(1)v(1)‾−u(0)v(0)‾)(1)\langle -iu', v \rangle - \langle u, -iv' \rangle = -i\bigl( u(1)\overline{v(1)} - u(0)\overline{v(0)} \bigr) \tag{1}

u∈D(T0)u \in D(T_0) なら (1) の右辺は 00 なので Tmax⁡⊂T0∗T_{\max} \subset T_0^{\ast}。逆に v∈D(T0∗)v \in D(T_0^{\ast}), w=T0∗vw = T_0^{\ast}v とし、W(t)=∫0twW(t) = \int_0^t w とおく。u∈D(T0)u \in D(T_0) に対し、部分積分と u(0)=u(1)=0u(0) = u(1) = 0 から ⟨u,w⟩=−⟨u′,W⟩\langle u, w \rangle = -\langle u', W \rangle なので、−i⟨u′,v⟩=⟨u,w⟩=−⟨u′,W⟩-i\langle u', v \rangle = \langle u, w \rangle = -\langle u', W \rangle、すなわち ⟨u′,v−iW⟩=0\langle u', v - iW \rangle = 0。ここで {u′∣u∈D(T0)}={g∈L2∣∫01g=0}={1}⊥\lbrace u' \mid u \in D(T_0) \rbrace = \lbrace g \in L^2 \mid \int_0^1 g = 0 \rbrace = \lbrace \mathbf{1} \rbrace^\perp だから、v−iW∈{1}⊥⊥=C1v - iW \in \lbrace \mathbf{1} \rbrace^{\perp\perp} = \mathbb{C}\mathbf{1}。よって v=iW+c∈H1v = iW + c \in H^1 で −iv′=w-iv' = w、すなわち T0∗⊂Tmax⁡T_0^{\ast} \subset T_{\max}。T0T_0 は閉なので、命題 7.7 の 2 より Tmax⁡∗=T0∗∗=T0T_{\max}^{\ast} = T_0^{\ast\ast} = T_0。

u,v∈D(Tα)u, v \in D(T_\alpha) なら (1) の右辺は −i(∣α∣2−1)u(0)v(0)‾=0-i(\lvert \alpha \rvert^2 - 1)u(0)\overline{v(0)} = 0 なので Tα⊂Tα∗T_\alpha \subset T_\alpha^{\ast}。逆に T0⊂TαT_0 \subset T_\alpha より Tα∗⊂T0∗=Tmax⁡T_\alpha^{\ast} \subset T_0^{\ast} = T_{\max} で、v∈D(Tα∗)v \in D(T_\alpha^{\ast}), u∈D(Tα)u \in D(T_\alpha) について (1) の左辺は 00 だから u(0)(αv(1)‾−v(0)‾)=0u(0)(\alpha\overline{v(1)} - \overline{v(0)}) = 0。u(t)=1+(α−1)tu(t) = 1 + (\alpha - 1)t とすれば v(0)‾=αv(1)‾\overline{v(0)} = \alpha\overline{v(1)}、すなわち v(1)=αv(0)v(1) = \alpha v(0) となり、v∈D(Tα)v \in D(T_\alpha)。□\square

例 7.10(スペクトル)eλ(t)=eiλte_\lambda(t) = e^{i\lambda t} は −ieλ′=λeλ-ie_\lambda' = \lambda e_\lambda を満たす。

  1. Tmax⁡T_{\max} ではすべての λ\lambda が固有値である。T0−λIT_0 - \lambda I は単射だが(u(0)=0u(0) = 0 と解の一意性)、命題 7.7 の 3 より Ran⁡(T0−λI)⊥=ker⁡(Tmax⁡−λˉI)=Ceλˉ\operatorname{Ran}(T_0 - \lambda I)^\perp = \ker(T_{\max} - \bar{\lambda} I) = \mathbb{C}e_{\bar{\lambda}} なので σ(T0)=σ(Tmax⁡)=C\sigma(T_0) = \sigma(T_{\max}) = \mathbb{C}。
  2. α=eiθ\alpha = e^{i\theta} なら σ(Tα)=θ+2πZ\sigma(T_\alpha) = \theta + 2\pi\mathbb{Z} で、すべて固有値である(問題 7.2)。
  3. D(T)={u∈H1∣u(0)=0}D(T) = \lbrace u \in H^1 \mid u(0) = 0 \rbrace, Tu=−iu′Tu = -iu' とすると、任意の λ∈C\lambda \in \mathbb{C} と f∈L2f \in L^2 について (T−λI)u=f(T - \lambda I)u = f はただ一つの解 u(t)=i∫0teiλ(t−s)f(s) dsu(t) = i\int_0^t e^{i\lambda(t-s)}f(s)\ ds をもつので、σ(T)=∅\sigma(T) = \emptyset である。

このように閉作用素のスペクトルは空にも C\mathbb{C} 全体にもなりうるが、自己共役作用素ではそうならない。系 7.12 により σ(T)⊂R\sigma(T) \subset \mathbb{R} であり、H≠{0}H \neq \lbrace 0 \rbrace なら σ(T)≠∅\sigma(T) \neq \emptyset であることも定理 7.15 と問題 7.3 からわかる(本質的値域は空でない)。

7.5 自己共役性の判定法

D(T∗)D(T^{\ast}) を例 7.9 のように決定するのは一般には難しい。次の判定法は、自己共役性を方程式 (T±iI)u=f(T \pm iI)u = f の可解性に帰着させる。

定理 7.11(自己共役性の基本判定法)TT を対称作用素とする。次は同値である。

  1. TT は自己共役である。
  2. TT は閉で、ker⁡(T∗+iI)=ker⁡(T∗−iI)={0}\ker(T^{\ast} + iI) = \ker(T^{\ast} - iI) = \lbrace 0 \rbrace。
  3. Ran⁡(T+iI)=Ran⁡(T−iI)=H\operatorname{Ran}(T + iI) = \operatorname{Ran}(T - iI) = H。

証明. x∈D(T)x \in D(T) なら ⟨Tx,x⟩∈R\langle Tx, x \rangle \in \mathbb{R} なので ⟨Tx,±ix⟩\langle Tx, \pm ix \rangle は純虚数であり、

∥(T±iI)x∥2=∥Tx∥2+∥x∥2(2)\lVert (T \pm iI)x \rVert^2 = \lVert Tx \rVert^2 + \lVert x \rVert^2 \tag{2}

1 ⇒ 2:自己共役作用素は閉である。T∗x=ixT^{\ast}x = ix なら Tx=ixTx = ix で、i∥x∥2=⟨Tx,x⟩∈Ri\lVert x \rVert^2 = \langle Tx, x \rangle \in \mathbb{R} から x=0x = 0。−i-i も同様。

2 ⇒ 3:命題 7.7 の 3 より Ran⁡(T+iI)⊥=ker⁡(T∗−iI)={0}\operatorname{Ran}(T + iI)^\perp = \ker(T^{\ast} - iI) = \lbrace 0 \rbrace なので、値域は稠密である。(T+iI)xn→y(T + iI)x_n \to y とすると、式 (2) から (xn)(x_n) と (Txn)(Tx_n) はコーシー列で xn→xx_n \to x, Txn→zTx_n \to z となり、TT が閉だから x∈D(T)x \in D(T), Tx=zTx = z, y=(T+iI)xy = (T + iI)x。よって値域は閉で、HH に等しい。T−iIT - iI も同様。

3 ⇒ 1:D(T∗)⊂D(T)D(T^{\ast}) \subset D(T) を示せばよい。y∈D(T∗)y \in D(T^{\ast}) に対し、仮定から (T−iI)x=(T∗−iI)y(T - iI)x = (T^{\ast} - iI)y となる x∈D(T)x \in D(T) がある。T⊂T∗T \subset T^{\ast} より (T∗−iI)(y−x)=0(T^{\ast} - iI)(y - x) = 0 で、ker⁡(T∗−iI)=Ran⁡(T+iI)⊥={0}\ker(T^{\ast} - iI) = \operatorname{Ran}(T + iI)^\perp = \lbrace 0 \rbrace だから y=x∈D(T)y = x \in D(T)。□\square

系 7.12 TT が自己共役ならば σ(T)⊂R\sigma(T) \subset \mathbb{R} であり、Im⁡λ≠0\operatorname{Im}\lambda \neq 0 のとき ∥(T−λI)−1∥≤1/∣Im⁡λ∣\lVert (T - \lambda I)^{-1} \rVert \leq 1/\lvert \operatorname{Im}\lambda \rvert。

証明. λ=α+iβ\lambda = \alpha + i\beta(β≠0\beta \neq 0)なら T−λI=β(S−iI)T - \lambda I = \beta(S - iI)、S=(T−αI)/βS = (T - \alpha I)/\beta で、SS は自己共役だから定理 7.11 と式 (2) を SS に適用すればよい。□\square

例 7.13(掛け算作用素)(Ω,μ)(\Omega, \mu) を σ-有限測度空間、φ\varphi を実数値可測関数とし、D(Mφ)={f∈L2∣φf∈L2}D(M_\varphi) = \lbrace f \in L^2 \mid \varphi f \in L^2 \rbrace, Mφf=φfM_\varphi f = \varphi f とおく。優収束定理により f1{∣φ∣≤n}→ff\mathbf{1}_{\lbrace \lvert \varphi \rvert \leq n \rbrace} \to f なので定義域は稠密であり、φ\varphi が実数値だから対称である。g∈L2g \in L^2 に対し f=g/(φ±i)f = g/(\varphi \pm i) は ∣f∣≤∣g∣\lvert f \rvert \leq \lvert g \rvert, ∣φf∣≤∣g∣\lvert \varphi f \rvert \leq \lvert g \rvert を満たすので、f∈D(Mφ)f \in D(M_\varphi) かつ (Mφ±iI)f=g(M_\varphi \pm iI)f = g。定理 7.11 より MφM_\varphi は自己共役である。

L2(R)L^2(\mathbb{R}) のフーリエ変換 F\mathcal{F} はユニタリで(プランシュレルの定理、18-pde 第2章)、u′^(ξ)=iξu^(ξ)\widehat{u'}(\xi) = i\xi\hat{u}(\xi) を満たすので、運動量作用素 P=F−1MξFP = \mathcal{F}^{-1}M_\xi\mathcal{F}(滑らかで急減少する uu では Pu=−iu′Pu = -iu')は自己共役である。同様に、Rd\mathbb{R}^d 上の −Δ=F−1M∣ξ∣2F-\Delta = \mathcal{F}^{-1}M_{\lvert \xi \rvert^2}\mathcal{F} も自己共役である。

補足

閉対称作用素 TT の不足指数 (deficiency indices) n±=dim⁡ker⁡(T∗∓iI)n_\pm = \dim\ker(T^{\ast} \mp iI) について、TT が自己共役拡張をもつための必要十分条件は n+=n−n_+ = n_- である(フォン・ノイマン、主張のみ)。例 7.9 の T0T_0 では ker⁡(Tmax⁡∓iI)\ker(T_{\max} \mp iI) が e∓te^{\mp t} で張られて n+=n−=1n_+ = n_- = 1 であり、自己共役拡張は TαT_\alpha(∣α∣=1\lvert \alpha \rvert = 1)で尽くされる。

7.6 ケイリー変換・スペクトル定理・ストーンの定理

R\mathbb{R} を単位円周に写す λ↦(λ−i)/(λ+i)\lambda \mapsto (\lambda - i)/(\lambda + i) を作用素に適用すると、自己共役作用素をユニタリ作用素に変換できる。

定理 7.14(ケイリー変換, Cayley transform)TT が自己共役ならば、U=(T−iI)(T+iI)−1U = (T - iI)(T + iI)^{-1} はユニタリで、I−UI - U は単射、Ran⁡(I−U)=D(T)\operatorname{Ran}(I - U) = D(T)、T=i(I+U)(I−U)−1T = i(I + U)(I - U)^{-1} である。逆に、I−UI - U が単射なユニタリ作用素 UU からこの式で定まる TT は自己共役である。

前半は、定理 7.11 と式 (2) から U ⁣:(T+iI)x↦(T−iI)xU\colon (T + iI)x \mapsto (T - iI)x が全射な等長作用素であることと、(I−U)(T+iI)x=2ix(I - U)(T + iI)x = 2ix, (I+U)(T+iI)x=2Tx(I + U)(T + iI)x = 2Tx から従う。後半は主張のみとする。

ケイリー変換 UU に定理 6.35 を適用して z↦i(1+z)/(1−z)z \mapsto i(1 + z)/(1 - z) で引き戻すと、次が得られる。

定理 7.15(非有界自己共役作用素のスペクトル定理)HH を可分なヒルベルト空間、TT を自己共役作用素とする。有限測度空間 (Z,μ)(Z, \mu)、a.e. で有限な実数値可測関数 φ\varphi、ユニタリ作用素 U ⁣:H→L2(Z,μ)U\colon H \to L^2(Z, \mu) で、定義域を含めて UTU−1=MφUTU^{-1} = M_\varphi(例 7.13)となるものが存在する。

主張のみとする(射影値測度による表示 T=∫Rλ dE(λ)T = \int_{\mathbb{R}} \lambda\ dE(\lambda) も成り立つ)。ボレル関数 ff に対し f(T)=U−1Mf∘φUf(T) = U^{-1}M_{f \circ \varphi}U と定めれば(関数計算)、ff が有界なら f(T)∈B(H)f(T) \in \mathcal{B}(H) であり、例えば eitTe^{itT} はユニタリである。

定理 7.16(ストーンの定理, Stone's theorem)TT を自己共役作用素とすると、U(t)=eitTU(t) = e^{itT} は強連続 1 径数ユニタリ群(各 U(t)U(t) はユニタリ、U(0)=IU(0) = I, U(s+t)=U(s)U(t)U(s + t) = U(s)U(t) で、各 xx について t↦U(t)xt \mapsto U(t)x は連続)である。さらに、極限 lim⁡t→0(U(t)x−x)/t\lim_{t \to 0}(U(t)x - x)/t が存在することと x∈D(T)x \in D(T) は同値で、そのとき極限は iTxiTx に等しい。逆に、任意の強連続 1 径数ユニタリ群はただ一つの自己共役作用素 TT によってこの形に書ける。

前半は定理 7.15 により T=MφT = M_\varphi の場合に帰着する。f∈D(Mφ)f \in D(M_\varphi) なら ∣(eitφ−1)f/t∣≤∣φf∣\lvert (e^{it\varphi} - 1)f/t \rvert \leq \lvert \varphi f \rvert と優収束定理から (eitφ−1)f/t→iφf(e^{it\varphi} - 1)f/t \to i\varphi f(L2L^2)であり、逆にこの商が L2L^2 で gg に収束すれば、a.e. 収束する部分列を考えて g=iφfg = i\varphi f となり φf∈L2\varphi f \in L^2 である。後半の証明の骨格は問題 7.6 で扱う。

量子力学では、ハミルトニアン AA による時間発展 ψ(t)=e−itAψ0\psi(t) = e^{-itA}\psi_0 がシュレディンガー方程式 iψ′=Aψi\psi' = A\psi を解き、∥ψ(t)∥=∥ψ0∥\lVert \psi(t) \rVert = \lVert \psi_0 \rVert(確率の保存)を満たす。ストーンの定理によれば、確率を保存する時間発展を与えるのは自己共役作用素であり、単なる対称作用素ではない。自己共役拡張の選び方(例 7.9 の α\alpha)が時間発展を決める。

7.7 C0C_0 半群とヒレ–吉田の定理

熱方程式の時間発展は t≥0t \geq 0 でしか定義されず、ノルムも保存されない。そこでユニタリ群を次のように一般化する。

定義 7.17 バナッハ空間 XX 上の有界作用素の族 (T(t))t≥0(T(t))_{t \geq 0} が T(0)=IT(0) = I, T(t+s)=T(t)T(s)T(t + s) = T(t)T(s) を満たし、各 xx で lim⁡t↓0T(t)x=x\lim_{t \downarrow 0} T(t)x = x となるとき、C0C_0 半群 (C0C_0-semigroup) という。Ax=lim⁡t↓0(T(t)x−x)/tAx = \lim_{t \downarrow 0}(T(t)x - x)/t(この極限が存在する xx の全体を D(A)D(A) とする)で定まる作用素 AA を生成作用素 (generator) という。すべての tt で ∥T(t)∥≤1\lVert T(t) \rVert \leq 1 のとき縮小半群という。

C0C_0 半群について、(i) ある M≥1M \geq 1, ω∈R\omega \in \mathbb{R} で ∥T(t)∥≤Meωt\lVert T(t) \rVert \leq Me^{\omega t}(一様有界性原理による)、(ii) AA は稠密に定義された閉作用素、(iii) x∈D(A)x \in D(A) なら u(t)=T(t)xu(t) = T(t)x は u′=Auu' = Au, u(0)=xu(0) = x のただ一つの解、が成り立つ(証明は Brezis や Yosida の本を参照)。この意味で T(t)T(t) は「etAe^{tA}」であり、AA が有界なら T(t)=∑ntnAn/n!T(t) = \sum_n t^n A^n / n! である。

定理 7.18(ヒレ–吉田の定理, Hille–Yosida theorem)バナッハ空間上の作用素 AA が縮小 C0C_0 半群の生成作用素であるための必要十分条件は、AA が稠密に定義された閉作用素で、(0,∞)⊂ρ(A)(0, \infty) \subset \rho(A) かつすべての λ>0\lambda > 0 で ∥(λI−A)−1∥≤1/λ\lVert (\lambda I - A)^{-1} \rVert \leq 1/\lambda となることである。

証明の概略. 必要性:R(λ)x=∫0∞e−λtT(t)x dtR(\lambda)x = \int_0^\infty e^{-\lambda t}T(t)x\ dt が (λI−A)−1(\lambda I - A)^{-1} を与え、∥R(λ)∥≤∫0∞e−λt dt=1/λ\lVert R(\lambda) \rVert \leq \int_0^\infty e^{-\lambda t}\ dt = 1/\lambda。十分性:吉田近似 Aλ=λA(λI−A)−1=λ2(λI−A)−1−λIA_\lambda = \lambda A(\lambda I - A)^{-1} = \lambda^2(\lambda I - A)^{-1} - \lambda I は有界で、x∈D(A)x \in D(A) なら Aλx→AxA_\lambda x \to Ax(λ→∞\lambda \to \infty)。∥etAλ∥≤e−λtetλ2∥(λI−A)−1∥≤1\lVert e^{tA_\lambda} \rVert \leq e^{-\lambda t}e^{t\lambda^2\lVert (\lambda I - A)^{-1} \rVert} \leq 1 であり、AλA_\lambda たちは互いに可換なので、esAλe(t−s)Aμxe^{sA_\lambda}e^{(t-s)A_\mu}x を ss で微分して積分すれば ∥etAλx−etAμx∥≤t∥Aλx−Aμx∥\lVert e^{tA_\lambda}x - e^{tA_\mu}x \rVert \leq t\lVert A_\lambda x - A_\mu x \rVert。よって T(t)x=lim⁡λ→∞etAλxT(t)x = \lim_{\lambda \to \infty} e^{tA_\lambda}x が(まず D(A)D(A) 上で、次に全体で)存在し、これが求める縮小半群になる。□\square

系 7.19 ヒルベルト空間上の自己共役作用素 TT が T≥0T \geq 0(⟨Tx,x⟩≥0\langle Tx, x \rangle \geq 0, x∈D(T)x \in D(T))を満たせば、−T-T は縮小 C0C_0 半群を生成する。

証明. λ>0\lambda > 0 なら λ∥x∥2≤⟨(λI+T)x,x⟩≤∥(λI+T)x∥∥x∥\lambda\lVert x \rVert^2 \leq \langle (\lambda I + T)x, x \rangle \leq \lVert (\lambda I + T)x \rVert \lVert x \rVert なので、λI+T\lambda I + T は下に有界で値域は閉(TT は閉)。Ran⁡(λI+T)⊥=ker⁡(λI+T)={0}\operatorname{Ran}(\lambda I + T)^\perp = \ker(\lambda I + T) = \lbrace 0 \rbrace より全射で、∥(λI+T)−1∥≤1/λ\lVert (\lambda I + T)^{-1} \rVert \leq 1/\lambda。定理 7.18 を A=−TA = -T に適用すればよい(得られる半群は関数計算の e−tTe^{-tT} に一致する)。□\square

7.8 応用:熱方程式とシュレディンガー方程式

[0,1][0,1] 上の熱方程式 ut=uxxu_t = u_{xx}, u(t,0)=u(t,1)=0u(t, 0) = u(t, 1) = 0, u(0,x)=f(x)u(0, x) = f(x) を考える(08-differential-equations 第7章)。例 5.19 の正規直交基底 φn(x)=2sin⁡(nπx)\varphi_n(x) = \sqrt{2}\sin(n\pi x) を用いて

D(L)={f∈L2[0,1]∣∑nn4∣⟨f,φn⟩∣2<∞},Lf=∑nn2π2⟨f,φn⟩φnD(L) = \Bigl\lbrace f \in L^2[0,1] \mid \sum_n n^4 \lvert \langle f, \varphi_n \rangle \rvert^2 < \infty \Bigr\rbrace, \qquad Lf = \sum_n n^2\pi^2 \langle f, \varphi_n \rangle \varphi_n

とおく。LL は ℓ2\ell^2 上の対角作用素にユニタリ同値なので、例 7.13 から自己共役で L≥0L \geq 0 である。f∈C2[0,1]f \in C^2[0,1], f(0)=f(1)=0f(0) = f(1) = 0 なら 2 回の部分積分で ⟨−f′′,φn⟩=n2π2⟨f,φn⟩\langle -f'', \varphi_n \rangle = n^2\pi^2\langle f, \varphi_n \rangle となるので Lf=−f′′Lf = -f'' であり、LL はディリクレ境界条件つきの −d2/dx2-d^2/dx^2 の自己共役な実現である。系 7.19 により

u(t)=e−tLf=∑ne−n2π2t⟨f,φn⟩φn(t≥0)u(t) = e^{-tL}f = \sum_n e^{-n^2\pi^2 t}\langle f, \varphi_n \rangle \varphi_n \qquad (t \geq 0)

が解を与える。∥u(t)∥≤e−π2t∥f∥\lVert u(t) \rVert \leq e^{-\pi^2 t}\lVert f \rVert(指数的減衰)であり、f∈L2f \in L^2 にすぎなくても t>0t > 0 では u(t)u(t) は滑らかになる(平滑化:問題 7.5)。一方 etLe^{tL} は有界でないので、熱方程式は時間を逆向きには解けない。

同じ LL について、ψ(t)=e−itLψ0=∑ne−in2π2t⟨ψ0,φn⟩φn\psi(t) = e^{-itL}\psi_0 = \sum_n e^{-in^2\pi^2 t}\langle \psi_0, \varphi_n \rangle \varphi_n は区間内の自由粒子のシュレディンガー方程式 iψ′=Lψi\psi' = L\psi の解を与えるユニタリ群である。∥ψ(t)∥=∥ψ0∥\lVert \psi(t) \rVert = \lVert \psi_0 \rVert(確率の保存)で、時間を逆向きにも解けるが、平滑化は起こらない(∣e−in2π2t∣=1\lvert e^{-in^2\pi^2 t} \rvert = 1)。Rd\mathbb{R}^d では etΔe^{t\Delta} はガウス核 (4πt)−d/2e−∣x∣2/(4t)(4\pi t)^{-d/2}e^{-\lvert x \rvert^2/(4t)} との畳み込みになる(18-pde 第5章)。

まとめ

  • 非有界作用素は定義域と組で扱う。閉作用素はグラフノルムで完備であり、微分作用素は H1H^1 などの適切な定義域で閉になる。
  • T∗T^{\ast} は常に閉で、TT が可閉 ⇔ D(T∗)D(T^{\ast}) が稠密(このとき T‾=T∗∗\overline{T} = T^{\ast\ast})。
  • 対称と自己共役は異なる。[0,1][0,1] 上の −i d/dt-i\ d/dt は境界条件によって、対称だが自己共役でない(T0T_0)、自己共役(TαT_\alpha)、対称でない(Tmax⁡T_{\max})のいずれにもなる。
  • 対称作用素 TT が自己共役 ⇔ Ran⁡(T±iI)=H\operatorname{Ran}(T \pm iI) = H。掛け算作用素や運動量・ラプラシアンは自己共役で、スペクトルは R\mathbb{R} に含まれる。
  • ケイリー変換によりスペクトル定理が非有界な場合に拡張され、ストーンの定理により強連続ユニタリ群 eitTe^{itT} と自己共役作用素 TT が 1 対 1 に対応する。
  • ヒレ–吉田の定理:縮小半群の生成作用素はレゾルベント評価 ∥(λI−A)−1∥≤1/λ\lVert (\lambda I - A)^{-1} \rVert \leq 1/\lambda で特徴づけられる。熱方程式は縮小半群、シュレディンガー方程式はユニタリ群で解かれる。

演習問題

問題 7.1 ★ 例 7.5 の作用素 TT について、D(T∗)={1}⊥D(T^{\ast}) = \lbrace \mathbf{1} \rbrace^\perp かつ T∗=0T^{\ast} = 0 を示し、命題 7.7 の 2 と整合することを確かめよ。

解答

⟨Tf,g⟩=f(0)⟨1,g⟩\langle Tf, g \rangle = f(0)\langle \mathbf{1}, g \rangle である。⟨1,g⟩≠0\langle \mathbf{1}, g \rangle \neq 0 なら、例 7.5 の fnf_n で ∥fn∥2→0\lVert f_n \rVert_2 \to 0, ∣⟨Tfn,g⟩∣=∣⟨1,g⟩∣\lvert \langle Tf_n, g \rangle \rvert = \lvert \langle \mathbf{1}, g \rangle \rvert となるので g∉D(T∗)g \notin D(T^{\ast})。⟨1,g⟩=0\langle \mathbf{1}, g \rangle = 0 ならこの汎関数は 00 で T∗g=0T^{\ast}g = 0。D(T∗)D(T^{\ast}) は稠密でないので、命題 7.7 の 2 からも TT は可閉でない。

問題 7.2 ★★ 例 7.9 の TαT_\alpha(α=eiθ\alpha = e^{i\theta})について、λ∉θ+2πZ\lambda \notin \theta + 2\pi\mathbb{Z} なら (Tα−λI)−1(T_\alpha - \lambda I)^{-1} は有界な核をもつ積分作用素であることを示し、σ(Tα)=θ+2πZ\sigma(T_\alpha) = \theta + 2\pi\mathbb{Z} を導け。

解答

(Tα−λI)u=f(T_\alpha - \lambda I)u = f は u′=iλu+ifu' = i\lambda u + if, u(1)=αu(0)u(1) = \alpha u(0) と同値で、u(t)=eiλtu(0)+i∫0teiλ(t−s)f(s) dsu(t) = e^{i\lambda t}u(0) + i\int_0^t e^{i\lambda(t-s)}f(s)\ ds と境界条件から u(0)=iα−eiλ∫01eiλ(1−s)f(s) dsu(0) = \frac{i}{\alpha - e^{i\lambda}}\int_0^1 e^{i\lambda(1-s)}f(s)\ ds(eiλ≠αe^{i\lambda} \neq \alpha)。代入すると u(t)=∫01k(t,s)f(s) dsu(t) = \int_0^1 k(t,s)f(s)\ ds、ただし

k(t,s)=iαeiλ(t−s)α−eiλ(s<t),k(t,s)=ieiλ(t−s+1)α−eiλ(s>t)k(t,s) = \frac{i\alpha e^{i\lambda(t-s)}}{\alpha - e^{i\lambda}} \quad (s < t), \qquad k(t,s) = \frac{ie^{i\lambda(t-s+1)}}{\alpha - e^{i\lambda}} \quad (s > t)

この uu は D(Tα)D(T_\alpha) に属する唯一の解(eiλte^{i\lambda t} は境界条件を満たさない)なので λ∈ρ(Tα)\lambda \in \rho(T_\alpha) で、kk は有界だからヒルベルト–シュミット作用素でありコンパクト(例 5.9)。λ∈θ+2πZ\lambda \in \theta + 2\pi\mathbb{Z} なら eλe_\lambda は固有関数なので、σ(Tα)=θ+2πZ\sigma(T_\alpha) = \theta + 2\pi\mathbb{Z}。

問題 7.3 ★★ 例 7.13 の MφM_\varphi について、σ(Mφ)\sigma(M_\varphi) は φ\varphi の本質的値域 {λ∈R∣∀ε>0, μ({∣φ−λ∣<ε})>0}\lbrace \lambda \in \mathbb{R} \mid \forall \varepsilon > 0,\ \mu(\lbrace \lvert \varphi - \lambda \rvert < \varepsilon \rbrace) > 0 \rbrace に等しいことを示せ。これを用いて、運動量 PP と Rd\mathbb{R}^d 上の −Δ-\Delta のスペクトルを求めよ。

解答

λ\lambda が本質的値域に属さなければ、ある ε>0\varepsilon > 0 で a.e. に ∣φ−λ∣≥ε\lvert \varphi - \lambda \rvert \geq \varepsilon なので、g↦g/(φ−λ)g \mapsto g/(\varphi - \lambda) が有界な逆を与える。属するなら、σ-有限性から Bn⊂{∣φ−λ∣<1/n}B_n \subset \lbrace \lvert \varphi - \lambda \rvert < 1/n \rbrace, 0<μ(Bn)<∞0 < \mu(B_n) < \infty がとれ、fn=1Bn/μ(Bn)1/2f_n = \mathbf{1}_{B_n}/\mu(B_n)^{1/2} は ∥fn∥=1\lVert f_n \rVert = 1, ∥(Mφ−λI)fn∥≤1/n\lVert (M_\varphi - \lambda I)f_n \rVert \leq 1/n を満たすので、有界な逆は存在しない。ユニタリ同値はスペクトルを保つので、σ(P)=R\sigma(P) = \mathbb{R}(φ(ξ)=ξ\varphi(\xi) = \xi)、σ(−Δ)=[0,∞)\sigma(-\Delta) = [0, \infty)(φ(ξ)=∣ξ∣2\varphi(\xi) = \lvert \xi \rvert^2)。

問題 7.4 ★★ f∈Cc∞(R)f \in C_c^\infty(\mathbb{R}) に対し Qf=xfQf = xf, Pf=−if′Pf = -if' とおく。(PQ−QP)f=−if(PQ - QP)f = -if を示し、不確定性原理 ∥f∥2≤2∥Qf∥∥Pf∥\lVert f \rVert^2 \leq 2\lVert Qf \rVert \lVert Pf \rVert を導け。

解答

PQf=−i(xf)′=−if−ixf′PQf = -i(xf)' = -if - ixf', QPf=−ixf′QPf = -ixf' より (PQ−QP)f=−if(PQ - QP)f = -if。P,QP, Q は Cc∞(R)C_c^\infty(\mathbb{R}) 上で対称(部分積分)なので

−i∥f∥2=⟨(PQ−QP)f,f⟩=⟨Qf,Pf⟩−⟨Pf,Qf⟩=2iIm⁡⟨Qf,Pf⟩-i\lVert f \rVert^2 = \langle (PQ - QP)f, f \rangle = \langle Qf, Pf \rangle - \langle Pf, Qf \rangle = 2i\operatorname{Im}\langle Qf, Pf \rangle

よって ∥f∥2=2∣Im⁡⟨Qf,Pf⟩∣≤2∥Qf∥∥Pf∥\lVert f \rVert^2 = 2\lvert \operatorname{Im}\langle Qf, Pf \rangle \rvert \leq 2\lVert Qf \rVert \lVert Pf \rVert。

問題 7.5 ★★ 7.8 節の熱半群について、u(t,x)=(e−tLf)(x)u(t, x) = (e^{-tL}f)(x) は (0,∞)×[0,1](0, \infty) \times [0,1] で C∞C^\infty 級で、ut=uxxu_t = u_{xx} を満たすことを示せ。

解答

cn=⟨f,φn⟩c_n = \langle f, \varphi_n \rangle とおくと ∣cn∣≤∥f∥\lvert c_n \rvert \leq \lVert f \rVert。t≥t0>0t \geq t_0 > 0 で第 nn 項 cne−n2π2tφn(x)c_n e^{-n^2\pi^2 t}\varphi_n(x) の ∂tj∂xk\partial_t^j \partial_x^k は 2∥f∥(nπ)2j+ke−n2π2t0\sqrt{2}\lVert f \rVert (n\pi)^{2j+k}e^{-n^2\pi^2 t_0} 以下で、その nn についての和は有限だから、項別微分した級数はすべて一様収束し(01-calculus 第6章)、uu は C∞C^\infty 級で、各項が ut=uxxu_t = u_{xx} を満たすから uu も満たす。

問題 7.6 ★★★(ストーンの定理の後半)U(t)U(t) を強連続 1 径数ユニタリ群とし、極限 lim⁡t→0(U(t)x−x)/t\lim_{t \to 0}(U(t)x - x)/t が存在する xx の全体を D(T)D(T)、その極限を iTxiTx とおく。7.7 節の (i)〜(iii) を用いて示せ。(1) TT は稠密に定義された閉な対称作用素である。(2) ker⁡(T∗∓iI)={0}\ker(T^{\ast} \mp iI) = \lbrace 0 \rbrace。(3) TT は自己共役で、U(t)=eitTU(t) = e^{itT}。

解答

(1) (U(t))t≥0(U(t))_{t \geq 0} は C0C_0 半群で、その生成作用素 AA について、x∈D(A)x \in D(A) なら U(−h)x−x−h=U(−h)U(h)x−xh→Ax\frac{U(-h)x - x}{-h} = U(-h)\frac{U(h)x - x}{h} \to Ax(h↓0h \downarrow 0)なので D(T)=D(A)D(T) = D(A), iT=AiT = A。(ii) より TT は稠密に定義された閉作用素である。U(t)∗=U(−t)U(t)^{\ast} = U(-t) より、x,y∈D(T)x, y \in D(T) で ⟨iTx,y⟩=lim⁡t→0⟨x,(U(−t)y−y)/t⟩=⟨x,−iTy⟩\langle iTx, y \rangle = \lim_{t \to 0}\langle x, (U(-t)y - y)/t \rangle = \langle x, -iTy \rangle、すなわち ⟨Tx,y⟩=⟨x,Ty⟩\langle Tx, y \rangle = \langle x, Ty \rangle。

(2) T∗y=iyT^{\ast}y = iy とし、x∈D(T)x \in D(T) に対し g(t)=⟨U(t)x,y⟩g(t) = \langle U(t)x, y \rangle(t≥0t \geq 0)とおく。(iii) より g′(t)=⟨iTU(t)x,y⟩=i⟨U(t)x,T∗y⟩=g(t)g'(t) = \langle iTU(t)x, y \rangle = i\langle U(t)x, T^{\ast}y \rangle = g(t) なので g(t)=etg(0)g(t) = e^t g(0)。∣g∣≤∥x∥∥y∥\lvert g \rvert \leq \lVert x \rVert \lVert y \rVert より ⟨x,y⟩=g(0)=0\langle x, y \rangle = g(0) = 0 で、D(T)D(T) は稠密だから y=0y = 0。T∗y=−iyT^{\ast}y = -iy なら h(t)=⟨U(−t)x,y⟩h(t) = \langle U(-t)x, y \rangle について同様に h′=hh' = h となる。

(3) 定理 7.11 より TT は自己共役。V(t)=eitTV(t) = e^{itT} も生成作用素 iTiT をもつ(定理 7.16)ので、x∈D(T)x \in D(T) なら U(t)xU(t)x, V(t)xV(t)x はともに u′=iTuu' = iTu, u(0)=xu(0) = x の解で、(iii) より一致する。稠密性から U(t)=V(t)U(t) = V(t)(t≥0t \geq 0)で、逆元をとれば t<0t < 0 でも一致する。

この章を読み終えたら

「読了」にすると学習記録とロードマップに反映されます。演習の自己採点もお忘れなく。

この章の誤りを報告GitHub で見る