泛函分析笔记(十) 不动点定理及其应用
文章目录
- 1. 不动点定理
- Banach 不动点定理
- 2. 不动点定理的应用
- 2.1. 非线性常微分方程解的存在性
- 2.1.1. 单摆方程
- 2.2. 非线性两点边值问题的(经典)解的存在性
1. 不动点定理
f:X→Xf:X\to Xf:X→X 是集合X到自身的一个映射,不动点就是指满足 f(x)=xf(x) = xf(x)=x 的任意点 x∈Xx\in Xx∈X
压缩映射: (X,d)(X,d)(X,d) 是一个距离空间,对映射 f:X→Xf:X\to Xf:X→X 如果存在常数k,使得 0<k<10<k<10<k<1 ,且对任何 x,y∈Xx,y\in Xx,y∈X 有 d(f(x),f(y))≤kd(x,y)d(f(x),f(y))\le kd(x,y)d(f(x),f(y))≤kd(x,y) ,则称f为压缩映射。
字面意思理解的话,就是在映射之后两点的距离变短了(0< k < 1),就是压缩了
Banach 不动点定理
设 (X,d)(X,d)(X,d) 是完备的距离空间,则任何压缩映射 f:X→Xf:X\to Xf:X→X 有且仅有一个不动点 x∈Xx\in Xx∈X
此外任意给定点 x0∈Xx_0\in Xx0∈X ,由 xn+1=f(xn),n≥0x_{n+1} = f(x_n),n\ge 0xn+1=f(xn),n≥0 定义的序列 (xn)n=0∞(x_n)_{n=0}^\infty(xn)n=0∞ 在 n→∞n\to\inftyn→∞ 时收敛于 xxx,且有
∣∣xn−x∣∣≤Ckn,n≥0,C:=d(f(x0),x0)1−k||x_n-x||\le Ck^n,n\ge 0, C:=\frac{d(f(x_0),x_0)}{1-k}∣∣xn−x∣∣≤Ckn,n≥0,C:=1−kd(f(x0),x0)
- 简单的证明
由 xn+1=f(xn),n≥0x_{n+1} = f(x_n),n\ge 0xn+1=f(xn),n≥0 定义的序列 (xn)n=0∞(x_n)_{n=0}^{\infty}(xn)n=0∞ 对任何的 p≥1p\ge 1p≥1 有(压缩映射嗷)
d(xp+1,xp)≤kd(xp,xp−1)≤⋯≤kpd(x1,x0)d(x_{p+1},x_p)\le kd(x_p,x_p-1)\le \dotsb \le k^pd(x_1,x_0)d(xp+1,xp)≤kd(xp,xp−1)≤⋯≤kpd(x1,x0)
因此对任意的 m>n≥0m>n\ge 0m>n≥0 有
d(xm,xn)≤∑p=nm−1d(xp+1,xp)≤(∑p=nm−1kp)d(x1,x0)≤kn(∑p=0m−n−1kp)d(x1,x0)≤kn1−kd(x1,x0)d(x_m,x_n)\le \mathop{\sum}\limits_{p=n}^{m-1} d(x_{p+1},x_p)\le (\mathop{\sum}\limits_{p=n}^{m-1} k^p)d(x_1,x_0)\le \\ k^n (\mathop{\sum}\limits_{p=0}^{m-n-1}k^p)d(x_1,x_0)\le \frac{k^n}{1-k}d(x_1,x_0)d(xm,xn)≤p=n∑m−1d(xp+1,xp)≤(p=n∑m−1kp)d(x1,x0)≤kn(p=0∑m−n−1kp)d(x1,x0)≤1−kknd(x1,x0)
(用了距离的不等式、前面的不等式以及一个等比数列求和)
所以这是一个Cauchy序列。(对任何正实数r>0 存在一个正整数N使得对所有的整数 m,n≥Nm,n\ge Nm,n≥N 都有 d(xm,xn)<rd(x_m,x_n)<rd(xm,xn)<r)
完备的空间 (X,d)(X,d)(X,d) 存在 x∈Xx\in Xx∈X 使 limn→∞xn=x\lim_{n\to\infty} x_n = xlimn→∞xn=x ,因此
f(x)=limn→∞f(xn)=limn→∞xn+1=xf(x) = \lim_{n\to\infty} f(x_n) = \lim_{n\to\infty} x_{n+1} = xf(x)=n→∞limf(xn)=n→∞limxn+1=x
因此x是f的不动点,设 y∈Xy\in Xy∈X 也是 f 的一个不动点,则 d(x,y)=d(f(x),f(y))≤kd(x,y)d(x,y)=d(f(x),f(y))\le kd(x,y)d(x,y)=d(f(x),f(y))≤kd(x,y) 所以y=x,f有唯一的不动点。
2. 不动点定理的应用
2.1. 非线性常微分方程解的存在性
Cauchy-Lipschitz定理(又称皮卡-林德勒夫定理 Picard-Lindelöf Theorem): 若 ∣∣⋅∣∣||\cdot||∣∣⋅∣∣ 是 RN\mathbb{R}^NRN 上的任意一个范数, T>0,g∈C([0,T]×RN;RN)T>0,\bold g\in\mathcal{C}([0,T]\times \mathbb{R}^N;\mathbb{R}^N)T>0,g∈C([0,T]×RN;RN) 是一个映射,且存在常数 γ>0\gamma>0γ>0 使得 ∣∣g(t,ω)−g(t,v)∣∣≤γ∣∣ω−v∣∣||g(t,\omega)-g(t,v)||\le\gamma||\omega-v||∣∣g(t,ω)−g(t,v)∣∣≤γ∣∣ω−v∣∣ 对一切的 t∈[0,T],ω,v∈RNt\in [0,T],\omega,v\in \mathbb{R}^Nt∈[0,T],ω,v∈RN 成立,又设 u0∈RNu_0\in\mathbb{R}^Nu0∈RN 为给定的向量,则初始问题或Cauchy问题
u′(t)=g(t,u(t))u'(t) = g(t,u(t))u′(t)=g(t,u(t))
u(0)=u0u(0) = u_0u(0)=u0
有且仅有一个解 u∈C1([0,T];RN)u\in\mathcal{C}^1([0,T];\mathbb{R}^N)u∈C1([0,T];RN)
嗯,简而言之就是是满足条件的常微分方程只有一个解。
推论:
对某个 T>0T>0T>0 ,给定一个矩阵场 A∈C([0,T];MN)A \in \mathcal{C}([0,T];\mathbb{M}^N)A∈C([0,T];MN) 和向量场 b∈C([0,T];RN)b\in\mathcal{C}([0,T];\mathbb{R}^N)b∈C([0,T];RN) ,给定向量 u0∈RNu_0\in\mathbb{R}^Nu0∈RN ,则初值问题
u′(t)=A(t)u(t)+b(t),0≤t≤Tu'(t) = A(t)u(t) + b(t),~0\le t\le Tu′(t)=A(t)u(t)+b(t), 0≤t≤T
u(0)=u0u(0) = u_0u(0)=u0
有且仅有一个解 u∈C1([0,T];RN)u\in\mathcal{C}^1([0,T];\mathbb{R}^N)u∈C1([0,T];RN)
2.1.1. 单摆方程
一个”理想摆“是一个长为 lll 的无重量刚性棒,一端可以绕着O点自由转动,质量m集中于另一端,在单摆于垂直面上运动的附加假设下,在时刻t其位置可完全通过O点垂直向下的轴于单摆自身的夹角 θ(t)\theta(t)θ(t) 确定,如图所示(百度百科)
可导出牛顿运动方程为 −mgsinθ(t)=mlθ′′(t)-mg\sin\theta(t) = ml\theta''(t)−mgsinθ(t)=mlθ′′(t) ,有 θ′′(t)=−glsinθ(t)\theta''(t) = -\frac{g}{l}\sin\theta(t)θ′′(t)=−lgsinθ(t)
初始条件 θ(0)=θ0,ω(0)=ω0\theta(0)=\theta_0,\omega(0)=\omega_0θ(0)=θ0,ω(0)=ω0
证明其有且仅有一个解 θ∈C∞([0,∞[)\theta \in \mathcal{C}^\infty ([0,\infty[)θ∈C∞([0,∞[)
定义向量场 u:[0,∞[→R2u:[0,\infty[ \to \mathbb{R}^2u:[0,∞[→R2 为 u(t)=(ui(t))i=12u(t) = (u_i(t))^2_{i=1}u(t)=(ui(t))i=12
(这里的 (ui(t))i=12(u_i(t))^2_{i=1}(ui(t))i=12 可不是平方,而是 (xj)j=1n(x_j)_{j=1}^n(xj)j=1n 里面x取u,n取2,在这里 u0,u1,u2分别是θ,θ′,θ′′u_0,u_1,u_2分别是 \theta,\theta',\theta''u0,u1,u2分别是θ,θ′,θ′′)
其中对所有的 t≥0,u1(t):=θ(t),u2(t):=θ′(t)t\ge 0 ~, u_1(t):= \theta(t),u_2(t):=\theta'(t)t≥0 ,u1(t):=θ(t),u2(t):=θ′(t) ,这个向量场
u′(t)=g(t,u(t)),t≥0u′(0)=u0u'(t) = g(t,u(t)),t\ge 0 ~~ u'(0) = u_0u′(t)=g(t,u(t)),t≥0 u′(0)=u0
向量值函数 g:[0,∞]×R2→R2g:[0,\infty]\times\mathbb{R}^2 \to \mathbb R^2g:[0,∞]×R2→R2 定义为
g(t,θ):=(θ2,−glsinθ(θ1)),(t,θ)∈[0,∞[×R2,u0:=(θ0,ω0)g(t,\theta):= (\theta_2,-\frac{g}{l}\sin\theta(\theta_1)), (t,\theta)\in [0,\infty[\times \mathbb{R}^2, u_0 :=(\theta_0,\omega_0)g(t,θ):=(θ2,−lgsinθ(θ1)),(t,θ)∈[0,∞[×R2,u0:=(θ0,ω0)
这个形式和Cauchy-Lipschitz定理的形式一样,又有
∣∣g(t,ω)−g(t,v)∣∣1=∣ω2−v2∣+gl∣sinω1−sinv1∣≤max{1,gl}∣∣ω−v∣∣1||g(t,\omega) - g(t,v)||_1 = |\omega_2-v_2| + \frac{g}{l}|\sin\omega_1 - \sin v_1|\le max\{1,\frac{g}{l}\}||\omega-v||_1∣∣g(t,ω)−g(t,v)∣∣1=∣ω2−v2∣+lg∣sinω1−sinv1∣≤max{1,lg}∣∣ω−v∣∣1
满足该定理的条件,因此对任意正的T存在唯一的解 u∈C1([0,∞[;R2)u\in \mathcal{C}^1([0,\infty[;\mathbb{R}^2)u∈C1([0,∞[;R2)
2.2. 非线性两点边值问题的(经典)解的存在性
经典解 在I是二阶连续可微在 I‾\overline{I}I 上连续的解。 而"弱"解是属于 L2(I)L^2(I)L2(I) 且在分布意义下导数也属于 L2(I)L^2(I)L2(I) 的解,先不用。
定理: 设 I=]0,1[I=]0,1[I=]0,1[ ,函数 f∈C(I‾×R)f\in\mathcal{C}(\overline{I}\times \mathbb{R})f∈C(I×R) 且存在常数 γ\gammaγ 使得
0≤λ<8,∣f(x,u)−f(x,v)∣≤γ∣u−v∣0\le\lambda<8,|f(x,u)-f(x,v)|\le \gamma|u-v|0≤λ<8,∣f(x,u)−f(x,v)∣≤γ∣u−v∣
对一切 0≤x≤1,u,v∈R0\le x\le 1,u,v\in\mathbb{R}0≤x≤1,u,v∈R 均成立,α,β∈R\alpha,\beta\in \mathbb{ R}α,β∈R 是常数,则两点边值问题
−u′′(x)=f(x,u(x)),0<x<1-u''(x) = f(x,u(x)),0<x<1−u′′(x)=f(x,u(x)),0<x<1
u(0)=α,u(1)=βu(0)=\alpha,u(1)=\betau(0)=α,u(1)=β
有且仅有一个解 u∈C(I‾)∩C2(I)u\in \mathcal{C}(\overline I)\cap \mathcal{C}^2(I)u∈C(I)∩C2(I)
其形式与非线性常微分方程解的存在性的区别是换成了加符号的二阶导数,然后多了一个点,自变量的范围限制在了(0,1),γ\gammaγ 的数值也被限制了。
泛函分析笔记(十) 不动点定理及其应用相关推荐
- 泛函分析笔记(十五) Hahn-Banach 定理、闭值域定理
文章目录 1. Hahn-Banach 定理 1.1. 几何形式的Hahn-Banach定理:凸集的分离 2. Banach 闭值域定理 1. Hahn-Banach 定理 实向量空间中: X是实向量 ...
- 泛函分析笔记1:度量空间
这一章节研究度量空间的基本结构,在开始前,我们需要思考几个问题: 什么是度量空间? 我们为什么要首先学习度量空间呢? 在这篇笔记的最后再来回答这个问题. 文章目录 1. 度量空间定义 2. 开集 2. ...
- 泛函分析笔记4:Hahn-Banach定理
前面三章讲了很多东西,但实际上都只是开胃小菜 >__<,度量空间.赋范空间.内积空间等等都是为了我们接下来要讲的四大定理做铺垫.泛函中的四大定理,即 Hahn-Banach 定理.一致有界 ...
- 机器学习笔记十四:随机森林
在上一篇机器学习笔记十三:Ensemble思想(上)中,简要的提了一下集成学习的原理和两种主要的集成学习形式. 而在这部分要讲的随机森林,就算是其中属于bagging思路的一种学习方法.为了篇幅,b ...
- python中计算排队等待时间_codewars(python)练习笔记十:计算超市排队时长
codewars(python)练习笔记十:计算超市排队时长 题目 There is a queue for the self-checkout tills at the supermarket. Y ...
- IOS之学习笔记十五(协议和委托的使用)
1.协议和委托的使用 1).协议可以看下我的这篇博客 IOS之学习笔记十四(协议的定义和实现) https://blog.csdn.net/u011068702/article/details/809 ...
- 吴恩达《机器学习》学习笔记十四——应用机器学习的建议实现一个机器学习模型的改进
吴恩达<机器学习>学习笔记十四--应用机器学习的建议实现一个机器学习模型的改进 一.任务介绍 二.代码实现 1.准备数据 2.代价函数 3.梯度计算 4.带有正则化的代价函数和梯度计算 5 ...
- 吴恩达《机器学习》学习笔记十二——机器学习系统
吴恩达<机器学习>学习笔记十二--机器学习系统 一.设计机器学习系统的思想 1.快速实现+绘制学习曲线--寻找重点优化的方向 2.误差分析 3.数值估计 二.偏斜类问题(类别不均衡) 三. ...
- 吴恩达《机器学习》学习笔记十——神经网络相关(2)
吴恩达<机器学习>学习笔记十--神经网络相关(2) 一. 代价函数 二. 反向传播算法 三. 理解反向传播算法 四. 梯度检测 五. 随机初始化 1.全部初始化为0的问题 2.随机初始化的 ...
最新文章
- api.php t.cn,PHP通过调用新浪API生成t.cn格式短网址链接的方法详解
- layui跳转html如何带参数,Layui跳转页面代码(可携带复杂参数)
- idea2019中文版
- 7000字 23张图,Pandas一键生成炫酷的动态交互式图表
- CentOS升级Python2.7及安装pip
- 【转载】最短路径之Dijkstra算法详细讲解
- string和char数组
- strassen矩阵乘法 java_Strassen 矩阵算法 Java 实现
- Linux内核之数据双链表
- ArcGIS Engine开发前基础知识(3)
- 修改本地数据库root权限密码
- 我的世界java种子 要塞,《我的世界》你绝对没见过的稀奇种子,恐龙骨架出现在要塞...
- 微前端 Micro-Frontnds - Single-SPA Application API
- 12306 验证码代码分析
- (88)信号发生器实现方法?三角波、方波、锯齿波,正弦波
- 理解exponential weighted || 指数
- Qt学习之使用QLabel实现超链接(点击QLabel直接跳转到网页链接)
- table thead tr设置表头背景色未完全覆盖的问题
- css禁止文本或文字图标点击被选中
- 我国目前大数据产业发展现状