$\left(3\right)设f\left(x\right)在\left(-\infty,+\infty\right)上有定义，若f\left(x\right)在任意有限开区间\left(\alpha,\beta\right)$
内连续，则 $f\left(x\right)$ 在(-∞,+∞)上连续
$\left[解\right]$ 正确 $\cdot\forall x_0\in\left(-\infty,+\infty\right)$,存在 $\alpha,\beta$ 使得 $\alpha<x_0<\beta,即x_0\in\left(\alpha,\beta\right)$,
从而 $f(x)$ 在 $x_0$ 处连续，由 $x_0$ 的任意性知 $f(x)$ 在 $(-\infty,+\infty)$ 上连续.
(4)初等函数在定义域上连续。
(解]错误：基本初等函数在定义域上连续，但初等函数在定义域的某些点处不一定连续。例如，$f(x)=\sqrt{\cos x-1}$,其定义域为 $\left|x|x=2n\pi,n\text{ 为整数}\right|$,定义域中每个点均为孤立点，$f(x)$ 在孤立点的邻域内无定义，不能讨论在该孤立点处的连续性，即不能说 $f\left(x\right)$ 在该孤立点处连续.
如果初等函数 $f(x)$ 的定义域中某点属于定义域内某一区间，那么 $f(x)$ 在该点处必然连续，因此初等函数在其定义区间上连续。
 可导一定连续，连续一定可积，连续一定有界，可积一定有界，可积不一定连续，连续不一定可微，可微一定连续，偏导连续一定可微，偏导存在不一定连续，连续不一定偏导存在，可微不一定偏导连续，二阶混合偏导连续的偏导相等，偏导一个连续一个有界函数可微

# 二阶连续可导能否使用三次大 \(O\) 余项？

简短回答：**不能直接这么用。**  
“二阶连续可导”本身通常**不足以**支撑“三次大 \(O\) 余项”的展开；除非额外知道三阶导数存在且有界（或至少三阶差商有界），否则应改成二次小 \(o\) 余项，或者把条件加强。

---

## 1. 问题核心

如果写的是类似

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+O(h^3)
$$

这个式子要成立，通常需要：

- \(f\) 在 \(x\) 附近**三阶可导**，并且 \(f'''\) 有界；或
- 至少 \(f\) 有三阶广义导数 / 三阶差商有界；或
- 用积分余项并控制 \(f'''\)。

而“二阶连续可导”即 \(f\in C^2\)，只保证：

- \(f''\) 存在且连续；
- Taylor 展开到二阶时，余项是

$$
o(h^2)
$$

即：

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+o(h^2).
$$

注意这里不能自然写成 \(O(h^3)\)。

---

## 2. 为什么 \(C^2\) 不能推出 \(O(h^3)\)

Taylor 定理的 Peano 余项形式说：

若 \(f\) 在 \(x\) 处 \(n\) 阶可导，则

$$
f(x+h)=\sum_{k=0}^n \frac{f^{(k)}(x)}{k!}h^k+o(h^n).
$$

所以如果 \(n=2\)，只能得到：

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+o(h^2).
$$

要得到 \(O(h^3)\)，需要余项被 \(C h^3\) 控制。一般需要三阶导数存在且有界，因为 Lagrange 余项为：

$$
R_2(h)=\frac{f'''(\xi)}{3!}h^3.
$$

若 \(f'''\) 在区间上存在且有界，则

$$
R_2(h)=O(h^3).
$$

但 \(C^2\) 不保证 \(f'''\) 存在，更不保证有界。

---

## 3. 反例直觉

存在 \(C^2\) 函数，其二阶 Taylor 余项不是 \(O(h^3)\)。

例如构造一个函数，使它在某点附近 \(f''\) 连续，但 \(f''\) 的变化非常剧烈，例如模为

$$
|f(x+h)-f(x)-f'(x)h-\frac12 f''(x)h^2|
$$

只满足 \(o(h^2)\)，但除以 \(h^3\) 后无界。

一个典型思路是让三阶差商无界。虽然 \(f''\) 连续，但 \(f''\) 的连续性并不足以控制其局部 Lipschitz 或差商增长。

因此：

$$
R_2(h)=o(h^2)
$$

是正确的；

$$
R_2(h)=O(h^3)
$$

一般是不正确的。

---

## 4. 什么时候可以用三次大 \(O\)？

如果满足以下任一条件，就可以用 \(O(h^3)\)。

### 条件 A：\(f\in C^3\)，且 \(f'''\) 有界

这是最标准的。

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+O(h^3).
$$

### 条件 B：\(f'''\) 在相关区间存在，且局部有界

即使不要求 \(f'''\) 连续，只要三阶导数存在且有界，也能用 Lagrange 余项得到 \(O(h^3)\)。

### 条件 C：有更强的差商或 Lipschitz 条件

例如 \(f''\) 是 Lipschitz 的：

$$
|f''(u)-f''(v)|\le L|u-v|.
$$

那么也可以推出三阶余项为 \(O(h^3)\)。

因为：

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+\int_0^1 \frac{(1-t)^2}{2}f'''(x+th)h^3\,dt
$$

如果 \(f''\) 是 Lipschitz 的，则 \(f'''\) 几乎处处存在且有界，积分余项可控制为 \(O(h^3)\)。

---

## 5. 误差表第二步常数幂的问题

如果原本用 \(O(h^3)\) 推误差阶，那么第二步可能会写成类似

$$
C h^3
$$

或者

$$
\frac{f'''(\xi)}{6}h^3.
$$

但如果实际只有 \(C^2\)，则余项只能是

$$
o(h^2),
$$

不能写成

$$
C h^3.
$$

这会导致误差表里的幂次、常数项、收敛阶都发生变化。例如某些差分格式的局部截断误差可能从 \(O(h^3)\) 退化为 \(o(h^2)\)，整体误差阶也可能需要重新推导。

---

## 6. 结论

- **二阶连续可导 \(C^2\)**：一般只能写

$$
f(x+h)=f(x)+f'(x)h+\frac{f''(x)}{2}h^2+o(h^2).
$$

- **不能直接写**

$$
O(h^3).
$$

- 若要写 \(O(h^3)\)，需要加强为：
  - \(f\in C^3\) 且 \(f'''\) 有界；
  - 或 \(f'''\) 存在且有界；
  - 或 \(f''\) 是 Lipschitz 的；
  - 或等价的更强光滑性 / 差商有界条件。

因此，判断是正确的：**正文仅列二阶连续可导，却用了三次大 \(O\) 余项，是不严谨的；应核对更强光滑性条件，或改用二次小 \(o\)。误差表的第二步常数幂也应重新展开。**