2023.08.22記
(1) 関数 が
条件
(イ)
(ロ)
(ハ) のとき
をみたすのは,定数 ,
,
,
がどのような条件をみたすときか.
(2) 条件(イ),(ロ),(ハ)をみたす関数 のうちで,積分
の値を最小にするものを求めよ.
2020.11.25記
関数の距離を定義する方法は沢山あるが,内積を で定義し,ノルムを
で定義すると,
の距離は
によって与えられる.この関数空間の直交基底としてルジャンドル多項式が知られている.
(他にも という基底を考えるとフーリエ級数展開が得られる).
ルジャンドル多項式が一般的にどういう風に定義されるかについては
ルジャンドル多項式 - Wikipedia
でも参照していただくとして,具体的な表現は
,
,
,
,...
となっている.この基底は直交基底(正規ではない)であり
が成立する.
本問2は,先ほどのように内積が与えられたとき,その内積から導かれる距離のもとで が
に最小二乗基準で一番近いように選ぶという問題になっている(もちろん別の内積や別の基準を与えたときは最短となる関数は,一般的には違うものとなる).
(1) (イ)(ロ)から
よって(ハ)は
のとき
となる.
これは のとき成立するので,
のとき
を示せば良く,
は
の弧,
の弧はそれぞれは下に凸であるから,この不等式が
において成立することが必要十分条件である.
よって となる.
以上から ,
,
(2) ルジャンドル多項式 を用いて
であるから,これと
との距離が最短となるのは
のときである.
よって となる.これと
から
である.
(2) 積分を真面目に計算すると となる.(1)から
であり,
のときに
となり得るので
のとき最小となる,のようになる.
なお,(ハ)の条件は次のように捉えることもできる.
(1) (イ)(ロ)から
(ハ) が必要である.
もし で不等式をみたさない場合,
3次以下の方程式 の3解は
に重複をこめて3つあるので,
と
は
以外で交わらないので
で
でなければならないが,これは
に矛盾する.
よって で不等式をみたす.
で不等式をみたさない場合も同様に矛盾する.
よってこれは十分条件でもある.
結局,答の は
の3点を通る放物線になるが,まぁ、そうなんだろうなぁと思うものの、この意味はまだよくわからない.
つまり (1) の条件と(2)を組み合わせて何をしたことになっているのかは、私にはわからない.
鉄緑の解説には最小二乗法と書いてあり,まぁ二乗を最小化する何かを求めているのだから最小二乗法ではあるのだが,最小二乗法によって何を求めようとしているのかが大切な訳で,(1) の に関する条件と (2) の
と
の距離を考えることとの意味を知りたいのだ。