分析学中的连续性方法

连续性方法是数学中的重要方法,在数学分析、微分方程等方向有重要应用,而我之前居然不知道这个词。参考了一些资料进行整理,但是毕竟是个很大的体系,只列出了部分知识点。参考资料见:

1.https://www.bilibili.com/video/BV12a411Y71B?p=48&vd_source=84d747ae63525b79ef57f7be80b7c9f9(梅加强老师《数学分析》,中国大学MOOC)
2.知乎文章:研数学 习物理《基础的方法,强大的应用——几何分析中的连续性方法》
3.https://www.bilibili.com/video/BV12a411Y71B/?p=48&vd_source=84d747ae63525b79ef57f7be80b7c9f9(B站视频“[L^p理论]4.连续性方法”)

我为什么想到这个方法

我们知道代数学基本定理有多种证明方法。这学期学代数拓扑,老师给了一个代数拓扑的证法,其基本思路是用反证法:对首一多项式 P ( z ) P(z) P(z),对任意 r ≥ 0 r\geq 0 r0,构造从 S 1 S^1 S1 S 1 S^1 S1的连续映射 f r ( z ) f_r(z) fr(z),将模长为1的复数 z z z映到 P ( r z ) / ∣ ∣ P ( r z ) ∣ ∣ P(rz)/||P(rz)|| P(rz)/∣∣P(rz)∣∣。一方面 f r ( z ) f_r(z) fr(z)与常值映射 f 0 ( z ) = a 0 / ∣ ∣ a 0 ∣ ∣ f_0(z)=a_0/||a_0|| f0(z)=a0/∣∣a0∣∣同伦,所以 f r ( z ) f_r(z) fr(z)零伦;另一方面 r r r充分大时, f r ( z ) f_r(z) fr(z)又与 z n z^n zn同伦,而后者不是零伦的,导出矛盾。
其思路主要是利用映射的同伦,而这无非是将一个连续映射变成另一个连续映射。于是我在想:对于解方程 f ( x ) = 0 f(x)=0 f(x)=0,它是否有解兴许不好判断,但是把 f f f同伦地变成另一个映射 g g g g ( x ) = 0 g(x)=0 g(x)=0好解,就可以反推 f f f的性质(代数学基本定理也正是判断 f ( z ) = 0 f(z)=0 f(z)=0是否有解)。于是问了老师,知道了这个方法。

连续性方法的基本原理

P ( t ) P(t) P(t)是一族依赖于参数 t t t的命题, P ( a ) P(a) P(a)成立,且满足以下两个条件:
(1)当 P ( t ) P(t) P(t)成立时,存在 δ > 0 \delta>0 δ>0,使得 P ( t + δ ) P(t+\delta) P(t+δ)也成立(或 P ( t − δ ) P(t-\delta) P(tδ)也成立);
(2)当 P ( t n ) P(t_n) P(tn)均成立时, P ( l i m n → ∞ t n ) P(lim_{n\rightarrow \infty} t_n) P(limntn)也成立。
则: P ( t ) P(t) P(t)对所有可能的 t ≥ a t\geq a ta(或 t ≤ a t\leq a ta)都成立。
泛函分析中的连续性方法: X , Y X,Y X,Y是两个Banach空间, T 0 , T 1 ∈ L ( X , Y ) T_0,T_1\in L(X,Y) T0,T1L(X,Y),令 T t = ( 1 − t ) T 0 + t T 1 , t ∈ [ 0 , 1 ] T_t=(1-t)T_0+tT_1,t\in[0,1] Tt=(1t)T0+tT1,t[0,1]。如果存在 C > 0 C>0 C>0,使得 ∣ ∣ T t x ∣ ∣ Y ≥ C ∣ ∣ x ∣ ∣ X , ∀ x ∈ X ||T_tx||_Y\geq C||x||_X,\forall x\in X ∣∣TtxYC∣∣xX,xX,那么 T 0 T_0 T0满射当且仅当 T 1 T_1 T1满射。(此定理可以证明PDE解的存在性)

应用举例

例1: f ∈ C 0 [ a , b ] f\in C^0 [a,b] fC0[a,b],如果任给 t ∈ [ a , b ) t\in [a,b) t[a,b) δ > 0 \delta >0 δ>0,均存在 t ′ ∈ ( t , t + δ ) t'\in (t,t+\delta) t(t,t+δ)使得 f ( t ′ ) ≥ f ( t ) f(t')\geq f(t) f(t)f(t),则 f f f为单调递增函数。
证明: 先来说明 f ( b ) ≥ f ( a ) f(b)\geq f(a) f(b)f(a)。记 I = { t ∈ [ a , b ] ∣ f ( t ) ≥ f ( a ) } I=\{t\in [a,b]|f(t)\geq f(a)\} I={t[a,b]f(t)f(a)},显然 a ∈ I a\in I aI。令 β = s u p I \beta=sup I β=supI,则 β ∈ [ a , b ] \beta\in[a,b] β[a,b],我们断言 β = b \beta=b β=b
用反证法。假设 β < b \beta<b β<b,由上确界的刻画知存在一列 { t n } ⊂ I , t n → β \{t_n\}\subset I,t_n\rightarrow \beta {tn}I,tnβ。此时 f ( t n ) ≥ f ( a ) f(t_n)\geq f(a) f(tn)f(a),令 n → ∞ n\rightarrow \infty n,由 f f f连续性知道 f ( β ) ≥ f ( a ) f(\beta)\geq f(a) f(β)f(a),从而 β ∈ I \beta\in I βI。再由已知条件可知存在 β ′ > β \beta'>\beta β>β使得 f ( β ′ ) ≥ f ( β ) f(\beta')\geq f(\beta) f(β)f(β),此时 β ′ ∈ I \beta'\in I βI,这与 β \beta β是上确界矛盾。
β = b \beta=b β=b处重复前面的论证,利用 f f f的连续性知道 b ∈ I b\in I bI,即 f ( b ) ≥ f ( a ) f(b)\geq f(a) f(b)f(a)
再设 x , y ∈ [ a , b ] x,y\in[a,b] x,y[a,b],且 x < y x<y x<y。在区间 [ x , y ] [x,y] [x,y]中重复上述论证即知 f ( y ) ≥ f ( x ) f(y)\geq f(x) f(y)f(x),因此 f f f为单调递增函数。
问题:如果题干条件改为“任给 t ∈ [ a , b ) t\in [a,b) t[a,b),均存在 t ′ > t t'>t t>t使得 f ( t ′ ) ≥ f ( t ) f(t')\geq f(t) f(t)f(t)”,结论是否成立?
例2: f ∈ C 0 [ a , b ] f\in C^0 [a,b] fC0[a,b] X ⊂ [ a , b ] X\subset [a,b] X[a,b]为可数集,当 x ∈ [ a , b ] /   X x\in [a,b]/\ X x[a,b]/ X时, f ′ ( x ) = 0 f'(x)=0 f(x)=0,则 f f f为常值函数。
证明: 先来说明 f ( b ) = f ( a ) f(b)=f(a) f(b)=f(a)。记 X = { x 1 , x 2 , ⋯   } X=\{x_1,x_2,\cdots\} X={x1,x2,},当 n ≥ 1 n\geq 1 n1时,令
I n = { x ∈ [ a , b ] ∣ ∣ f ( x ) − f ( a ) ∣ ≤ 1 n ( x − a ) + ∑ { k ∣ x k < x } 1 n 2 k } I_n=\{x\in[a,b]||f(x)-f(a)|\leq \frac{1}{n}(x-a)+\sum_{\{k|x_k<x\}}\frac{1}{n2^k}\} In={x[a,b]∣∣f(x)f(a)n1(xa)+{kxk<x}n2k1}
显然 a ∈ I n a\in I_n aIn,记 β n = s u p I n \beta_n=supI_n βn=supIn,则 β n ∈ [ a , b ] \beta_n\in [a,b] βn[a,b]。由 f f f连续不难看出 β n ∈ I n \beta_n\in I_n βnIn。我们断言 β n = b \beta_n=b βn=b
用反证法。假设 β n < b \beta_n<b βn<b,分两种情况讨论。
(1)若 β n ∉ X \beta_n\notin X βn/X,此时 f ′ ( β n ) = 0 f'(\beta_n)=0 f(βn)=0。根据导数的定义知道存在 β ′ > β n \beta'>\beta_n β>βn使得 ∣ f ( β ′ ) − f ( β n ) ∣ ≤ ( β ′ − β n ) / n |f(\beta')-f(\beta_n)|\leq (\beta'-\beta_n)/n f(β)f(βn)(ββn)/n。此时(希望导出 β ′ ∈ I n \beta'\in I_ n βIn的矛盾):
∣ f ( β ′ ) − f ( a ) ∣ ≤ ∣ f ( β ′ ) − f ( β n ) ∣ + ∣ f ( β n ) − f ( a ) ∣ ≤ β ′ − β n n + β n − a n + ∑ { k ∣ x k < β n } 1 n 2 k ≤ β ′ − a n + ∑ { k ∣ x k < β ′ } 1 n 2 k |f(\beta')-f(a)|\leq |f(\beta')-f(\beta_n)|+|f(\beta_n)-f(a)|\\ \leq\frac{\beta'-\beta_n}{n}+\frac{\beta_n-a}{n}+\sum_{\{k|x_k<\beta_n\}}\frac{1}{n2^k} \\\leq\frac{\beta'-a}{n}+\sum_{\{k|x_k<\beta'\}}\frac{1}{n2^k} f(β)f(a)f(β)f(βn)+f(βn)f(a)nββn+nβna+{kxk<βn}n2k1nβa+{kxk<β}n2k1
(2)若 β n ∈ X \beta_n\in X βnX,此时 β n = x m \beta_n=x_m βn=xm。由 f f f连续性知道存在 β ′ > β n \beta'>\beta_n β>βn使得 ∣ f ( β ′ ) − f ( β n ) ∣ < 1 / n 2 m |f(\beta')-f(\beta_n)|<1/n2^m f(β)f(βn)<1/n2m。此时(仍希望导出 β ′ ∈ I n \beta'\in I_ n βIn的矛盾):
∣ f ( β ′ ) − f ( a ) ∣ ≤ ∣ f ( β ′ ) − f ( β n ) ∣ + ∣ f ( β n ) − f ( a ) ∣ ≤ 1 n 2 m + β n − a n + ∑ { k ∣ x k < β n } 1 n 2 k = β n − a n + ∑ { k ∣ x k ≤ β n } 1 n 2 k ≤ β ′ − a n + ∑ { k ∣ x k < β ′ } 1 n 2 k |f(\beta')-f(a)|\leq |f(\beta')-f(\beta_n)|+|f(\beta_n)-f(a)|\\ \leq\frac{1}{n2^m}+\frac{\beta_n-a}{n}+\sum_{\{k|x_k<\beta_n\}}\frac{1}{n2^k} \\=\frac{\beta_n-a}{n}+\sum_{\{k|x_k\leq \beta_n\}}\frac{1}{n2^k} \\\leq\frac{\beta'-a}{n}+\sum_{\{k|x_k< \beta'\}}\frac{1}{n2^k} f(β)f(a)f(β)f(βn)+f(βn)f(a)n2m1+nβna+{kxk<βn}n2k1=nβna+{kxkβn}n2k1nβa+{kxk<β}n2k1
以上我们证明了 b = β n ∈ I n b=\beta_n\in I_n b=βnIn,特别地
∣ f ( b ) − f ( a ) ∣ ≤ b − a n + ∑ k = 1 ∞ 1 n 2 k = 1 n ( b − a ) + 1 n |f(b)-f(a)|\leq \frac{b-a}{n}+\sum_{k=1}^{\infty}\frac{1}{n2^k}=\frac{1}{n}(b-a)+\frac{1}{n} f(b)f(a)nba+k=1n2k1=n1(ba)+n1
n → ∞ n\rightarrow\infty n知道 f ( b ) = f ( a ) f(b)=f(a) f(b)=f(a)。当 x ∈ ( a , b ] x\in(a,b] x(a,b]时,在 [ a , x ] [a,x] [a,x]中重复以上论证过程得 f ( x ) = f ( a ) f(x)=f(a) f(x)=f(a)

  • 34
    点赞
  • 27
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值