数値解析 第6回 (5) 関数の内積
関数もベクトルである
次回勉強する「ガウスの積分公式」の準備として、
関数を「ベクトル」として捉え、「内積」を導入します。
「ベクトル」には「矢印」や「長さと方向を持つもの」といったイメージがありますが、
その本質は
の
たった2つだけです。
(「スカラー倍」は、初学者はとりあえず「実数倍」のことだと思っていていいです)
線形代数ではベクトル空間 ( = 線形空間 ) の公理というのが出てきて何やらややこしそうですが、
このシンプルな約束事を押さえておいてください。
ベクトルが重宝される理由は
- シンプルな約束事なので色んなものが実はベクトルとして扱えること
- シンプルな約束事なのにたくさんの定理が導かれること
- その色んなものにたくさんの定理を適用できること
です。
さて、関数も、足せて、実数倍ができます:
- 和は $f(x)+g(x)$
- 実数倍は $c\,f(x)$
ということは関数もベクトルと考えることができる訳です。
関数の内積
$\newcommand{\ip}[2]{\langle\,#1, #2\,\rangle}$
$\newcommand{\vecv}{\boldsymbol{v}}$
$\newcommand{\vecw}{\boldsymbol{w}}$
ベクトルの内積 $\ip{\ }{\ }$ とは、ベクトルのなす角度や、大きさをはかるための道具でした:
- $|\,\vecv\,|=\ip{\vecv}{\vecv}$
- $\dps{\cos \theta=\frac{\ip{\vecv}{\vecw}}{|\,\vecv\,|\,|\,\vecw\,|}}$
- $\vecv \perp \vecw$ $\Leftrightarrow$ $\ip{\vecv}{\vecw}=0$
関数に内積が定義できれば、
関数の大きさや角度を定量的に議論できることになります。
Th.1 区間 $[\,-1,1\,]$ 上の滑らかな関数 $f(x)$, $g(x)$ に対し
$\dps{\ip{f}{g}=\int_{-1}^{1}f(x)\,g(x)\,dx}$
と定めると $\ip{\ }{\ }$ は内積になる。
証明 実ベクトル空間の内積の条件は、双線形性、正値性(非退化も含む)、対称性です。
双線形性 とは
- $\ip{f}{g+h}=\ip{f}{g}+\ip{f}{h}$
- $\ip{f+g}{h}=\ip{f}{h}+\ip{g}{h}$
- $\ip{cf}{g}=\ip{f}{cg}=c\ip{f}{g}$
が成り立つことですが、これは積分の双線形性から従います。
正値性 は $\dps{\ip{f}{f}=\int_{-1}^{1}f(x)^2dx \geqq 0}$ より。
非退化 $\ip{f}{f}=0$ であれば関数として $f(x)^2=0$ すなわち $f(x)=0$ となります。
対称性 $\ip{f}{g}=\ip{g}{f}$ は定義から直ちに従います。(証明終)
Cor.2 内積に関する色々な定理はこの関数の内積でも成り立つ。
たとえば
Prop.3 ( シュバルツの不等式 )
$\dps{\left(\int_{-1}^{1}f\,g\,dx\right)^2 \leqq \left(\int_{-1}^{1}f^2\,dx\right)\left(\int_{-1}^{1}g^2\,dx\right)}$
は、2 次元数ベクトルの標準内積の
$(ax+by)^2 \leqq (a^2+b^2)(x^2+y^2)$
と同じく
$\ip{\vecv}{\vecw}^2 \leqq \ip{\vecv}{\vecv}\ip{\vecw}{\vecw}$ $\cdots\cdots$ $(\ast)$
を書き下したものです。
$(\ast)$ の証明
内積の正値性、双一次性、対称性から、任意の実数 $t$ について
$0 \leqq \ip{t\vecv+\vecw}{t\vecv+\vecw} = t^2\ip{\vecv}{\vecv}+2t\ip{\vecv}{\vecw}+\ip{\vecw}{\vecw}$
が成り立ちます。判別式を取れば
$\ip{\vecv}{\vecw}^2-\ip{\vecv}{\vecv}\ip{\vecw}{\vecw} \leqq 0$
(証明終)