08-连续性方法
依赖于
被以下题目直接调用
正文部分
连续性方法是分析中非常重要的方法. 其主要思想如下:
为了证明某个命题 P 成立, 可以参数化这个命题, 形成一系列的命题 Pα , 其中参数 α=b 对应于原命题, 而 α=a 对应于一个易于证明的命题. 同时我们尝试证明: (1) 所有使 Pα 成立的 α∈[a,b] 构成一个闭集; (2) 若使 Pα 成立的最大的 α∈[a,b] 的值为 β<b , 则一定可以找到一个 γ>β 使得 Pγ 成立.
做到了以上两点, 我们就证明了 Pb 成立, 即 P 成立.
例 8.1
设 f∈C(a,b) ,
h→0+limhf(x+h)−f(x)>0,∀x∈(a,b).
证明: f 在 (a,b) 内严格单增.
证明
我们先证明单调性. 任取 A,B∈(a,b) , A<B . 记 δ:=B−A . 考虑
E={s∈[0,δ]∣f(A+s)⩾f(A)}.
注意到 f 连续, 易见 E 为有界非空闭集. 从而 E 有最大值 α=maxE . 我们断言 α=δ . 否则, 0⩽α<δ . 由于
h→0+limhf(A+α+h)−f(A+α)>0,
所以存在 hα∈(0,δ−α) 使得
hαf(A+α+hα)−f(A+α)>0.
从而 f(A+α+hα)>f(A+α)⩾f(A) . 与 α 为 E 的最大值矛盾. 所以 α=δ .
由此即得 f(B)⩾f(A) . 由 A, B 的任意性即得 f 在 (a,b) 内单调增加.
进一步, 对于 a<A<B<b , 由
h→0+limhf(A+h)−f(A)>0
得到存在 hA∈(0,B−A) 使得 f(A+hA)>f(A) . 从而结合单调性得到 f(B)⩾f(A+hA)>f(A) , 即证 f 在 (a,b) 内严格单增.
例 8.2
对于区间 (a,b) 内的实函数 f , 定义
F(x):=y→xlimy−xf(y)−f(x),
这里 F 的取值可以是 ±∞ . 依次证明
-
若 F(x)>0(∀x∈(a,b)) , 则 f 在 (a,b) 内严格单增.
-
若 F(x)⩾0(∀x∈(a,b)) , 则 f 在 (a,b) 内单调增加.
证明
(1) 任取 A,B∈(a,b) , A<B . 考虑
E={α∈(A,B]∣f(x)>f(A),∀A<x⩽α},
C=supE.
由 F(A)>0 , 知存在 δ>0 使得 ∀x∈(A,A+δ) 成立 f(x)>f(A) , 故 E 非空有界, 从而 C 适定且 C>A .
我们断言 C∈E . 否则, 存在 C∈(A,C] 使得 f(C)⩽f(A) . 由 F(C)>0 , 存在 δ∈(0,C−A) , 使得当 x∈(C−δ,C) 时, 有 f(x)<f(C)⩽f(A) . 这与 C 的定义矛盾.
进一步, 我们断言 C=B . 否则, 由 F(C)>0 , 存在 δ>0 , 使得当 x∈(C,C+δ) 时, 有 f(x)>f(C)>f(A) . 这与 C 的定义矛盾.
所以 C=B , 从而 f(A)<f(B) . 所以由 A,B 的任意性知 f 在 (a,b) 内严格单增.
- 任取 ε>0 , 令 g(x)=f(x)+εx . 则
y→xlimy−xg(y)−g(x)⩾ε>0,∀x>a.
由 (1) 可得 g 严格单增, 即对任何 A,B∈(a,b),A<B , 有
f(A)+εA<f(B)+εB.
令 ε→0 ,即得 f(A)⩽f(B) ,即 f 在 (a,b) 内单调增加.
例 8.3
设 f 在 R 上可微, 且
f(x+1)−f(x)=f′(x),∀x∈R,
x→+∞limf′(x)=c.
证明: f′≡c.
证明
易见 f 连续可微. 记 Ax={y∈R∣f′(y)=f′(x)} .
若 αx:=supAx<+∞ ,则由 f′ 的连续性可知 αx∈Ax . 于是由 Lagrange 中值定理, 存在 ξ∈(αx,αx+1) , 使得 f′(ξ)=f(αx+1)−f(αx)=f′(x) . 与 αx 的定义矛盾.
故 ∀x∈R,αx=+∞ 即 ∀x∈R,∃xn→+∞ ,使得 f′(x)=f′(xn) 从而 f′(x)=limn→+∞f′(xn)=limx→+∞f′(x)=c, 此即 f′≡c.
例 8.4
设 f∈C(a,b) . 若
h→0limhf(x+h)−f(x−h)>0,∀x∈(a,b),
证明
f 严格单增.
证明
任取 A,B∈(a,b) , A<B . 记 C=2A+B,A=2B−A . 考虑
E={α∈(0,Λ]∣f(C+s)⩾f(C−s),∀s∈(0,α]}.
由于
h→0limhf(C+h)−f(C−h)>0,
存在 δ∈(0,Λ) 使得当 h∈(0,δ] 时, f(C+h)>f(C−h) . 因此 δ∈E . 令 β=supE . 则 β∈[δ,Λ] , 而由 f 的连续性知 β∈E . 若 β<Λ , 利用
h→0limhf(C+β+h)−f(C+β−h)>0,h→0limhf(C−β+h)−f(C−β−h)>0,
有 η∈(0,min{Λ−β,δ}) ,使得对任何 h∈(0,η] 成立。
f(C+β+h)>f(C+β−h),f(C−β+h)>f(C−β−h).
从而
f(C+β+h)>f(C+β−h)⩾f(C−β+h)>f(C−β−h).
这表明 β+η∈E , 与 β=supE 矛盾. 因此 β=Λ . 所以 f(B)⩾f(A) . 由 A,B 的任意性得到 f 单调增加.
最后, 对任何 A,B∈(a,b),A<B , 我们有 δ∈(0,2B−A) 使得
f(2A+B+δ)>f(2A+B−δ).
从而
f(B)⩾f(2A+B+δ)>f(2A+B−δ)⩾f(A).
因此, f(x) 在 (a,b) 内严格单增.
例 8.5
设 f 在 [a,b] 上有二阶导数, f(a)=f′(a)=0 , 且存在常数 M > 0 使得 ∣f′′(x)∣⩽M∣f(x)∣(∀x∈[a,b]) . 证明: f≡0 .
证明
记
c=sup{β∈[a,b]∣f(x)=0,∀a⩽x⩽β}.
则 c∈[a,b] 适定且
f(x)=0,∀a⩽x⩽c.
易见无论 c>a 是否成立都可得
f(c)=f′(c)=0.
若 c=b ,则结论得证.否则,取 δ=min{M+11,b−c} ,并记 m=maxs∈[0,δ]∣f(c+s)∣. 则当 h∈(0,δ] 时,存在 ξ∈(0,h) 使得
∣f(c+h)∣=f(c)+f′(c)h+2f′′(c+ξ)h2=2f′′(c+ξ)h2⩽21M∣f(c+ξ)∣h2⩽21Mmδ2⩽21m.
从而对上式关于 h∈(0,δ] 取上确界得到 m⩽2m . 由此即得 m=0 , 即
f(x)=0,∀x∈[a,c+δ].
与 c 的定义矛盾. 所以 f≡0 .
下面, 我们用分析方法研究一个代数问题. 记 Sn 为 n×n 实对称矩阵全体, 用 A⩾B 表示 A−B 为半正定矩阵, 用 A>B 表示 A−B 为正定矩阵. 可以证明, 对于 α∈(0,1) , Aα 关于正定矩阵 A 具有单调性. 在接下来的两个例子中, 我们只讨论 α 取 21 和 31 的情形.
例 8.6
设 A,B∈Sn,A⩾B⩾0 . 证明:
A21⩾B21
证明
先设 A>B>0 . 我们有
A>B>0⇒A21>B21
⇕
B,C>0⇒(B+αC)21 关于 α∈[0,1] 严格单调.
固定 B, C > 0, 记
M(α)=(B+αC)21.
则
M(α)M′(α)+M′(α)M(α)=C>0,α∈[0,1].(8.1)
可以证明 M′(α)>0 . 否则, 对某个 α∈[0,1] , M′(α) 有特征值 λα⩽0 . 设相应的特征向量为 ξα , 则
0<ξαT[M(α)M′(α)+M′(α)M(α)]ξα=2λαξαTM(α)ξα⩽0.
得到矛盾. 因此 M′(α)>0 . 从而 M(α) 严格单增, 即 A>B>0 蕴涵 A21>B21 . 一般地, 若 A⩾B⩾0 , 则 ∀ε>0 ,
(A+εI)21>(B+εI)21.
令 ε→0+ 即得 A21⩾B21
接下来, 我们来看 α=31 的情形.
例 8.7
设 A,B∈Sn,A⩾B⩾0 . 证明:
A31⩾B31
证明
类似于例 8.6, 只要证明当 A > B > 0 时成立 A31>B31 . 记 C=A−B , M(α)=(B+αC)31 . 则
M2(α)M′(α)+M(α)M′(α)M(α)+M′(α)M2(α)=C>0.(8.2)
我们断言 M′(α)>0 . 否则, 有 α∈[0,1] 以及 μα⩾0 使得 H:=M′(α)+μαI 半正定但不正定. 于是
M(α)[M(α)H+HM(α)]+[M(α)H+HM(α)]M(α)=M2(α)H+2M(α)HM(α)+HM2(α)=3μαM2(α)+M(α)HM(α)+C>0.(8.3)
同例 8.6 中的证明一样, 可得 M(α)H+HM(α)>0 . 进而又可推得 H > 0. 得到矛盾. 因此 M′(α)>0 . 从而 M(α) 严格单增, 即 A > B > 0 蕴涵 A31>B31 . □以下用连续性方法证明连续函数的介值定理.
例 8.8
设 f 在 [a,b] 上连续, f(a)<η<f(b) . 证明存在 ξ∈(a,b) 使得 f(ξ)=η .
证明
令 E={x∈[a,b]∣f(x)<η} , 则 E 非空. 记 s=supE . 则由连续性得 f(s)⩽η , 从而 s<b .
若结论不真, 则 f(s)<η . 从而由 f 的连续性易知存在 δ∈(0,b−s) 使得当 x∈(s,s+δ) 时, f(x)<η . 这与 s 为 E 的上确界矛盾.
因此, 要证的结论成立.
□
评论
支持 Markdown 和 LaTeX 数学公式。