Banach不動點定理與隱函數存在定理

定義 壓縮映射X是度量空間,TXX 中的映射,如果存在一個數 \alpha, 0<\alpha<1, 使得對所有的 x, y \in X,
d(Tx, Ty) \leq \alpha d(x,y),
則稱T是壓縮映射.

定理1 壓縮映射定理(不動點定理) 壓縮映射有唯一的不動點.

X是完備的度量空間,TX上的壓縮映射,那么T有且只有一個不動點(也就是說,方程Tx=x有且只有一個解).

證明 略.

定理2 隱函數存在定理 設函數f(x,y)在帶狀區域a\leq x \leq b, -\infty<y<\infty 中處處連續,且處處有關于y的偏導數f_y'(x,y). 如果還存在常數m和M,滿足0<m\leq f_y'(x,y) \leq M, m<M,
則方程f(x,y)=0在區間[a,b]上必有唯一的連續函數y=\varphi(x)作為解,即
f(x,\varphi(x))\equiv0, x \in [a,b]
證明 在完備空間 C[a,b] 中作映射 A , 使得對任意的函數\varphi \in C[a,b], 有 (A\varphi)(x)=\varphi(x)-\frac1M f(x,\varphi(x)). 按照定理條件, f(x,y) 是連續的, 因此(A\varphi)(x)也連續, 即A\varphi \in C[a,b]. 所以AC[a,b]到自身的映射.

現在證明A是壓縮映射. 任取\varphi_1, \varphi_2 \in C[a,b], 根據微分中值定理, 存在0<\theta<1, 滿足
\begin{align*}&|(A\varphi_2)(x)-(A\varphi_1)(x)|\\=& |\varphi_2(x)-\frac 1M f(x,\varphi_2(x))-\varphi_1(x)+\frac 1M f(x,\varphi_1(x))|\\=& |\varphi_2(x)-\varphi_1(x)-\notag \\ &\frac 1M f_y'[x,\varphi_1(x)+\theta(\varphi_2(x)-\varphi_1(x))]\cdot (\varphi_2(x)-\varphi_1(x))| \qquad\text{(Lagrange)}\\&\leq |\varphi_2(x)-\varphi_1(x)|(1-\frac mM).\end{align*}
由于0<\frac {m}{M}<1, 所以令\alpha=1-\frac mM, 則有0<\alpha<1, 且
|(A\varphi_2)(x)-(A\varphi_1)(x)|\leq \alpha |\varphi_2(x)-\varphi_1(x)|
C[a,b]中距離的定義, 即知
d(A\varphi_2, A\varphi_1) \leq \alpha d(\varphi_2, \varphi_1)
因此 A 是壓縮映射. 由壓縮映射原理, 存在唯一的\varphi \in C[a,b], 滿足A\varphi=\varphi, 即\varphi(x) \equiv\varphi(x)-\frac1M f(x,\varphi(x)). 因此,
f(x,\varphi(x))\equiv0,\quad \forall x\in [a,b]
證畢.

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。