08-连续性方法

依赖于

  • 无显式依赖

被以下题目直接调用

正文部分

连续性方法是分析中非常重要的方法. 其主要思想如下:

为了证明某个命题 成立, 可以参数化这个命题, 形成一系列的命题 , 其中参数 对应于原命题, 而 对应于一个易于证明的命题. 同时我们尝试证明: (1) 所有使 成立的 构成一个闭集; (2) 若使 成立的最大的 的值为 , 则一定可以找到一个 使得 成立.

做到了以上两点, 我们就证明了 成立, 即 P 成立.

例 8.1

例 8.1

,

证明: 内严格单增.

证明 我们先证明单调性. 任取 , . 记 . 考虑

注意到 连续, 易见 为有界非空闭集. 从而 有最大值 . 我们断言 . 否则, . 由于

所以存在 使得

从而 . 与 的最大值矛盾. 所以 .

由此即得 . 由 A, B 的任意性即得 f 在 内单调增加.

进一步, 对于 , 由

得到存在 使得 . 从而结合单调性得到 , 即证 内严格单增.

例 8.2

例 8.2

对于区间 内的实函数 , 定义

这里 的取值可以是 . 依次证明

  1. , 则 内严格单增.

  2. , 则 内单调增加.

证明 (1) 任取 , . 考虑

, 知存在 使得 成立 , 故 非空有界, 从而 适定且 .

我们断言 . 否则, 存在 使得 . 由 , 存在 , 使得当 时, 有 . 这与 的定义矛盾.

进一步, 我们断言 . 否则, 由 , 存在 , 使得当 时, 有 . 这与 的定义矛盾.

所以 , 从而 . 所以由 的任意性知 内严格单增.

  1. 任取 , 令 . 则

由 (1) 可得 严格单增, 即对任何 , 有

,即得 ,即 内单调增加.

例 8.3

例 8.3

上可微, 且

证明:

证明 易见 连续可微. 记 .

,则由 的连续性可知 . 于是由 Lagrange 中值定理, 存在 , 使得 . 与 的定义矛盾.

,使得 从而 此即

例 8.4

例 8.4

. 若

证明 严格单增.

证明 任取 , . 记 . 考虑

由于

存在 使得当 时, . 因此 . 令 . 则 , 而由 的连续性知 . 若 , 利用

,使得对任何 成立。

从而

这表明 , 与 矛盾. 因此 . 所以 . 由 的任意性得到 单调增加.

最后, 对任何 , 我们有 使得

从而

因此, 内严格单增.

例 8.5

例 8.5

上有二阶导数, , 且存在常数 > 0 使得 . 证明: .

证明

适定且

易见无论 是否成立都可得

,则结论得证.否则,取 ,并记 则当 时,存在 使得

从而对上式关于 取上确界得到 . 由此即得 , 即

与 c 的定义矛盾. 所以 .

下面, 我们用分析方法研究一个代数问题. 记 实对称矩阵全体, 用 表示 为半正定矩阵, 用 表示 为正定矩阵. 可以证明, 对于 , 关于正定矩阵 具有单调性. 在接下来的两个例子中, 我们只讨论 的情形.

例 8.6

例 8.6

. 证明:

证明 先设 . 我们有

关于 严格单调.

固定 B, C > 0, 记

可以证明 . 否则, 对某个 , 有特征值 . 设相应的特征向量为 , 则

得到矛盾. 因此 . 从而 严格单增, 即 蕴涵 . 一般地, 若 , 则 ,

即得

接下来, 我们来看 的情形.

例 8.7

例 8.7

. 证明:

证明 类似于例 8.6, 只要证明当 A > B > 0 时成立 . 记 , . 则

我们断言 . 否则, 有 以及 使得 半正定但不正定. 于是

例 8.6 中的证明一样, 可得 . 进而又可推得 H > 0. 得到矛盾. 因此 . 从而 严格单增, 即 A > B > 0 蕴涵 . 以下用连续性方法证明连续函数的介值定理.

例 8.8

例 8.8

上连续, . 证明存在 使得 .

证明 , 则 非空. 记 . 则由连续性得 , 从而 .

若结论不真, 则 . 从而由 的连续性易知存在 使得当 时, . 这与 的上确界矛盾.

因此, 要证的结论成立.