解決済み

以下の問題がどうしてもわからないので、数学得意という方はぜひ私にこの問題の解法を授けて欲しいです。

ベストアンサー

ベストアンサー

バナッハの不動点定理(縮小写像の原理)を使います.


C([0,1])C([0,1])sup\sup ノルム(xC([0,1])x\in C([0,1]) に対し x=sup0t1x(t)\|x\| =\sup_{0 \leq t \leq 1}|x(t)| というノルム)を入れることで距離空間と考えます.この距離による収束は関数の一様収束と同値で,連続関数の一様収束極限は連続だから,C([0,1])C([0,1]) はこの距離により完備距離空間となります.


写像 T ⁣:C([0,1])C([0,1])T \colon C([0,1]) \to C([0,1])(Tx)(t)=a(t)+k01cos(tx(s))ds(Tx)(t) = a(t)+k\int_0^1 \cos (tx(s))dsで定義します.すると,「積分方程式の解」は「写像 TT の不動点」と言い換えられます.バナッハの不動点定理


「(空でない)完備距離空間上の縮小写像はただ1つの不動点を持つ」


を考えると,TT が縮小写像であることを示せば問題が解けることになります.



以下,TT が縮小写像になることを証明します.


TT が縮小写像というのは「ある0q<10 \leq q <1 があり,任意の x,yC([0,1])x,y \in C([0,1]) について TxTyqxy\|Tx-Ty\| \leq q \|x-y\| となる」ことなので,TxTyTx-Ty を計算してみます.


三角関数の和積の公式や sinθmax{1,θ}|\sin \theta| \leq \max\{1,|\theta|\} を使うと

(Tx)(t)(Ty)(t)k01cos(tx(s))cos(ty(s))ds=k012sin(tx(s)+y(s)2)sin(tx(s)y(s)2)ds2k011tx(s)y(s)2dsk01xyds=kxy\begin{align*}|(Tx)(t)-(Ty)(t)| &\leq |k|\int_0^1 \left| \cos (tx(s))- \cos (ty(s))\right|ds\\&=|k||\int_0^1 \left|-2 \sin\left(t \cdot \frac{x(s)+y(s)}{2}\right) \cdot \sin\left(t \cdot \frac{x(s)-y(s)}{2}\right)\right|ds\\&\leq |2k| \int_0^1 \left|1 \cdot t \cdot \frac{x(s)-y(s)}{2}\right|ds\\&\leq |k|\int_0^1\|x-y\|ds\\&=|k|\|x-y\|\end{align*}

となります.よってTxTy=sup0t1(Tx)(t)(Ty)(t)kxy\|Tx-Ty\|=\sup_{0 \leq t \leq 1}|(Tx)(t)-(Ty)(t)| \leq |k|\|x-y\|が成り立ち.k<1|k|<1 だったからこれは写像 TT が縮小写像であることを表しています.



質問者からのお礼コメント

質問者からのお礼コメント

神様ありがとうございます!こんな難しい問題を解けるなんて信じられません。これからの日本を発展させる上での宝です。

そのほかの回答(0件)