解決済み

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

ベストアンサー

ベストアンサー

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


C([0,1])C([0,1]) に sup⁡\sup ノルム(x∈C([0,1])x\in C([0,1]) に対し ∥x∥=sup⁡0≤t≤1∣x(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)+k∫01cos⁡(tx(s))ds(Tx)(t) = a(t)+k\int_0^1 \cos (tx(s))dsで定義します.すると,「積分方程式の解」は「写像 TT の不動点」と言い換えられます.バナッハの不動点定理


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


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



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


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


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

∣(Tx)(t)−(Ty)(t)∣≤∣k∣∫01∣cos⁡(tx(s))−cos⁡(ty(s))∣ds=∣k∣∣∫01∣−2sin⁡(t⋅x(s)+y(s)2)⋅sin⁡(t⋅x(s)−y(s)2)∣ds≤∣2k∣∫01∣1⋅t⋅x(s)−y(s)2∣ds≤∣k∣∫01∥x−y∥ds=∣k∣∥x−y∥\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*}

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



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

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

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

そのほかの回答(0件)