Loading

求解非线性方程

 

The bisection method

Algorithm 1.1. 二分法每次将区间减小一半,在其中有根的部分寻找连续函数 \(f:\mathbb{R}\to\mathbb{R}\) 的根.

Input: \(f:[a,b]\to\mathbb{R},\ a\in\mathbb{R},\ b\in\mathbb{R},\ M\in\mathbb{N}^+,\ \delta\in\mathbb{R}^+,\ c\in\mathbb{R}^+\)

Preconditions: \(f\in\mathcal{C}[a,b],\ \mathrm{sgn}(f(a))\neq \mathrm{sgn}(f(b))\)

Output: \(c,\ h,\ k\)

Postconditions: \(|f(c)|<\epsilon\) or \(|h|<\delta\) or \(k=M\)

// 二分法
double solve(double u, double v)
{
    double u_f = f(u), v_f = f(v);
    // 判断符号是否相同,如果相同,则退出
    if (SIGN(u_f) == SIGN(v_f))
    {
        cout << "Same sign!" << endl;
        return INFTY;
    }
    double mid, mid_f;
    // 限制最多迭代 ITERATION 次
    for (int i = 0; i < ITERATION; i++)
    {
        mid = (u + v) / 2;
        mid_f = f(mid);
        // 根据精度判断退出
        if (fabs(u - v) < ACCURACY || fabs(u_f - v_f) < ACCURACY)
        {
            break;
        }
        // 根据端点符号选取区间
        else if (SIGN(u_f) == SIGN(mid_f))
        {
            u = mid;
            u_f = f(u);
        }
        else
        {
            v = mid;
            v_f = f(v);
        }
    }
    return mid;
}

 

Algorithm 1.9. 注意到每次循环,左端和右端符号都不变,因此只需要保存端点符号和区间长度,然后计算中间点的符号并与端点符号比较来选择区间,不需要保存端点的值.

 

Q-order convergence

Definition 1.10 (Q-order convergence). 收敛序列 \(\{x_n\}\) 称为是以 Q-order \(p\) \((p\ge 1)\) 收敛到 \(L\) ,若

\[\lim_{n\to\infty}\dfrac{|x_{n+1}-L|}{|x_{n}-L|^p} = c > 0 \tag{1.1} \]

常数 \(c\) 称为渐近因子 asymptotic factor ;特别的,当 \(p=1\) 时, \(\{x_n\}\)Q-linear 收敛;当 \(p=2\) 时, \(\{x_n\}\)Q-quadratic 收敛.

 

Definition 1.11. 序列 \(\{x_n\}\) 称为是线性收敛到 \(L\) ,若

\[\exist c\in(0,1),\ \exists d>0,\quad \mathrm{s.t.}\quad \forall n\in\mathbb{N},\ |x_n-L| \le c^nd \tag{1.2} \]

收敛的阶是最大的 \(p\in\mathbb{R}^+\) ,满足

\[\exist c>0,\ \exists N\in\mathbb{N},\quad \mathrm{s.t.}\quad \forall n>N,\ |x_{n+1}-L| \le c|x_n-L|^p \tag{1.3} \]

特别的,当 \(p=2\) 时, \(\{x_n\}\) 二阶收敛.

 

Theorem 1.12 (Monotonic sequence theorem). 单调有界序列收敛.

 

Theorem 1.13 (Convergence of the bisection method). 连续函数 \(f:[a_0,b_0]\to\mathbb{R}\) 满足 \(\mathrm{sgn}(f(a_0))\neq\mathrm{sgn}(f(b_0))\) ,则二分法序列线性收敛到根 \(\alpha\) 并且有渐近因子 \(\frac{1}{2}\) .

\(Proof.\) 收敛性显然;由 \(|c_n-\alpha|\le 2^{-(n+1)}(b_0-a_0)\) ,则有渐近因子 \(\frac{1}{2}\) .

 

Newton's method

Algorithm 1.14. 牛顿法在初始位置 \(x_0\) 通过迭代公式

\[x_{n+1} = x_n - \dfrac{f(x_n)}{f^{\prime}(x_n)},\quad n\in\mathbb{N} \tag{1.4} \]

寻找连续函数 \(f:\mathbb{R}\to\mathbb{R}\) 的根.

Input: \(f:\mathbb{R}\to\mathbb{R},\ f^{\prime},\ x_0\in\mathbb{R},\ M\in\mathbb{N}^+,\ \epsilon\in\mathbb{R}^+\)

Preconditions: \(f\in\mathcal{C}^2\) 并且 \(x_0\) 足够接近 \(f\) 的根

Output: \(x,\ k\)

Postconditions: \(|f(x)|<\epsilon\) or \(k=M\)

// 牛顿法
double solve(double a, double b)
{
    double dx, root = (b + a) / 2;
    // 最多迭代 ITERATION 次
    for (int i = 0; i < ITERATION; i++)
    {
        // 判断导函数是否为0
        if (g(root) == 0)
        {
            cout << "Stop" << endl;
            return root;
        }
        dx = f(root) / g(root);
        // 误差精度小于 ACUURACY 则退出
        if (fabs(dx) < ACCURACY)
        {
            break;
        }
        root -= dx;
    }
    return root;
}

 

Theorem 1.15 (Convergence of Newton's method). 连续函数 \(f:\mathcal{B}\to\mathbb{R},\ f\in\mathcal{C}^2,\ \mathcal{B}=[\alpha-\delta,\alpha-\delta]\) 满足 \(f(\alpha)=0,\ f^{\prime}(\alpha)\neq 0\) ,若选取 \(x_0\) 距离 \(\alpha\) 足够近,则牛顿公式中的迭代序列 \(\{x_n\}\) 至少二阶收敛到根 \(\alpha\) ,即

\[\lim_{n\to\infty}\dfrac{\alpha-x_{n+1}}{(\alpha-x_n)^2} = -\dfrac{f^{\prime\prime}(\alpha)}{2f^{\prime}(\alpha)} \tag{1.5} \]

\(Proof.\)\(x_n\) 处 Taylor 展开得

\[f(\alpha) = f(x_n) + (\alpha-x_n)f^{\prime}(x_n) + \dfrac{(\alpha-x_n)^2}{2}f^{\prime\prime}(\xi) \]

其中 \(\xi\)\(\alpha\)\(x_n\) 之间。代入 \(f(\alpha) = 0\)

\[-\alpha = -x_n + \dfrac{f(x_n)}{f^{\prime}(x_n)} + \dfrac{(\alpha-x_n)^2}{2}\dfrac{f^{\prime\prime}(\xi)}{f^{\prime}(x_n)} \]

\[x_{n+1}-\alpha = x_n - \alpha - \dfrac{f(x_n)}{f^{\prime}(x_n)} = (x_n-\alpha)^2\dfrac{f^{\prime\prime}(\xi)}{2f^{\prime}(x_n)} \]

由于 \(f^{\prime}\) 的连续性和 \(f^{\prime}(\alpha)\neq 0\) ,则

\[\exists\delta_1\in(0,\delta),\quad \mathrm{s.t.}\quad \forall x\in\mathcal{B}_1=[\alpha-\delta_1,\alpha+\delta_1],\ f^{\prime}(x)\neq 0 \]

由最大最小值定理可定义

\[M = \dfrac{\max_{x\in\mathcal{B}_1}f^{\prime\prime}(x)}{2\min_{x\in\mathcal{B}_1}f^{\prime}(x)} \]

则当 \(x_0\)\(\alpha\) 足够近时, \(|x_0-\alpha|=\delta_0<\delta_1\) ,并且 \(M\delta_0<1\) ,从而有

\[|x_{n+1}-\alpha|<M|x_n-\alpha|^2 \]

由于 \(M|x_0-\alpha|<1\) ,并且容易得到

\[|x_n-\alpha|\le \dfrac{1}{M}(M|x_0-\alpha|)^{2^{n}} \]

从而 \(x_n\) 二次收敛到 \(\alpha\) .

 

Theorem 1.16. 连续函数 \(f:[a,b]\to[c,d]\) 是双射当且仅当它是严格单调的.

 

Theorem 1.17\(\mathcal{C}^2\) 函数 \(f:\mathbb{R}\to\mathbb{R}\) 满足 \(f(\alpha)=0,\ f^{\prime}>0,\ f^{\prime\prime}>0\) ,则 \(\alpha\)\(f\) 唯一的根,并且 \(\forall x_0\in\mathbb{R}\) ,牛顿迭代序列 \(\{x_n\}\) 二阶收敛到 \(\alpha\).

\(Proof.\) 由于 \(f\) 连续且严格单调,因此是双射。显然 \(\alpha\) 是唯一的根,且有

\[x_{n+1}-\alpha = (x_n-\alpha)^2\dfrac{f^{\prime\prime}(\xi)}{2f^{\prime}(x_n)} \tag{1.6} \]

则由 \(f^{\prime}>0,\ f^{\prime\prime}>0\)\(RHS>0\) ,因此 \(x_{n+1}-\alpha > 0\) ,这意味着 \(f(x_n)>f(\alpha)=0,\ \forall n>0\) , 根据迭代公式有

\[x_{n+1}-\alpha = x_n - \alpha - \dfrac{f(x_n)}{f^{\prime}(x_n)} \]

可以看到 \(\{x_n-\alpha :n>0\}\) 是单调递减的,因此是收敛的。不妨设 \(x_n\) 收敛到 \(a\) ,则

\[\dfrac{f(a)}{f^{\prime}(a)} = 0 \]

由于 \(\alpha\) 是唯一的根,只能有 \(a = \alpha\) .

 

Definition 1.18\(\mathcal{V}\) 是向量空间,子集 \(\mathcal{U}\subseteq \mathcal{V}\) ,是凸集 convex set 当且仅当

\[\forall x,y \in \mathcal{U},\ \forall t\in(0,1),\quad tx+(1-t)y\in\mathcal{U} \tag{1.7} \]

函数 \(f:\mathcal{U}\to\mathbb{R}\) 是凸函数当且仅当

\[\forall x,y \in \mathcal{U},\ \forall t\in(0,1),\quad f(tx+(1-t)y)\le tf(x)+(1-t)f(y) \tag{1.8} \]

特别的,称 \(f\) 是严格凸函数,当上述 \(\le\) 替换为 \(<\) .

 

The secant method

Algorithm 1.19. 割线法在初始位置 \(x_0\) 通过迭代公式

\[x_{n+1} = x_n - f(x_n)\dfrac{x_n-x_{n-1}}{f(x_n)-f(x_{n-1})},\quad n\in\mathbb{N}^+ \tag{1.9} \]

寻找连续函数 \(f:\mathbb{R}\to\mathbb{R}\) 的根.

Input: \(f:\mathbb{R}\to\mathbb{R},\ x_0\in\mathbb{R},\ x_1\in\mathbb{R},\ M\in\mathbb{N}^+,\ \delta\in\mathbb{R}^+,\ \epsilon\in\mathbb{R}^+\)

Preconditions: \(f\in\mathcal{C}^2;\ x_0,\ x_1\) 足够接近 \(f\) 的根

Output: \(x_n,\ x_{n-1},\ k\)

Postconditions: \(|f(x_n)|<\epsilon\) or \(|x_n-x_{n-1}|<\delta\) or \(k = M\)

// 割线法
double solve(double x_0, double x_1)
{
    double dx;
    // 最多迭代 ITERATION 次
    for (int i = 0; i < ITERATION; i++)
    {
        // 分母为0,退出
        if (f(x_1) - f(x_0) == 0)
        {
            cout << "Stop" << endl;
            return x_1;
        }
        dx = f(x_1) * (x_1 - x_0) / (f(x_1) - f(x_0));
        // 根据精度判断是否退出
        if (fabs(dx) < ACCURACY || fabs(x_1 - x_0) < ACCURACY)
        {
            break;
        }
        double tmp = x_1;
        x_1 -= dx;
        x_0 = tmp;
    }
    return x_1;
}

 

Definition 1.20. 斐波那契数列 Fibonacci numbers \(\{F_n\}\) 定义为

\[F_0 = 0,\ F_1 = 1,\quad F_{n+1} = F_n + F_{n-1} \tag{1.10} \]

 

Theorem 1.21 (Binet's formula). 黄金比例 \(r_0 = \frac{1+\sqrt{5}}{2}\) ,令 \(r_1 = 1-r_0 = \frac{1-\sqrt{5}}{2}\) ,则

\[F_n = \dfrac{r_0^n-r_1^n}{\sqrt{5}} \tag{1.11} \]

\(Proof.\) 我们定义

\[\mathbf{u}_k = \left[ \begin{matrix} F_{k+1}\\ F_k \end{matrix} \right] = A\left[ \begin{matrix} F_{k}\\ F_{k-1} \end{matrix} \right],\ A = \left[ \begin{matrix} 1 & 1\\ 1 & 0 \end{matrix} \right] \]

因此有 \(\mathbf{u}_n = A^n\mathbf{u}_0\) ,则有

\[\det(A-\lambda I) = \lambda^2-\lambda-1 = 0 \]

注意到 \(A\) 的特征值为 \(r_0,\ r_1\) ,分别对应特征向量 \(\mathbf{x}_0 = (r_0,1)^T\)\(\mathbf{x}_1 = (r_1,1)^T\) ;我们将初始向量 \(\mathbf{u}_0\) 表示为特征向量的线性组合

\[\mathbf{u_0} = \dfrac{1}{r_0-r_1}(\mathbf{x}_0-\mathbf{x}_1) \]

从而有

\[\mathbf{u_n} = \dfrac{1}{r_0-r_1}(r_0^n\mathbf{x}_0-r_1^n\mathbf{x}_1) \]

其中第二个分量的等式就是要求的结果.

 

Corollary 1.22. 比例 \(r_0,\ r_1\) 满足

\[F_{n+1} = r_0F_n + r_1^n \tag{1.12} \]

\(Proof.\) 代入通项公式容易验证.

 

Lemma 1.23 (Error relation of the secant method). 在割线法中,存在 \(\xi_n\) 处于 \(x_{n-1}\)\(x_n\) 之间,以及 \(\zeta_n\) 处于 \(\min(x_{n-1},x_n,\alpha)\)\(\max(x_{n-1},x_n, \alpha)\) 之间,使得

\[x_{n+1}-\alpha = (x_n-\alpha)(x_{n-1}-\alpha)\dfrac{f^{\prime\prime}(\zeta_n)}{2f^{\prime}(\xi_n)} \tag{1.13} \]

\(Proof.\) 定义差分为

\[f[a,b] = \dfrac{f(a)-f(b)}{a-b} \]

观察割线法的右边式子,利用 \(f(\alpha)=0\) 可以将割线法迭代公式写为

\[\begin{aligned} x_{n+1}-\alpha &= x_n - \alpha - f(x_n)\dfrac{x_n-x_{n-1}}{f(x_n)-f(x_{n-1})}\\ &= (x_n-\alpha)(x_{n-1}-\alpha)\left[\dfrac{1}{x_{n-1}-\alpha}-\dfrac{f(x_n)-f(\alpha)}{(x_n-\alpha)(x_{n-1}-\alpha)f[x_{n-1},x_n]}\right]\\ &= (x_n-\alpha)(x_{n-1}-\alpha)\left[\dfrac{1}{x_{n-1}-\alpha}-\dfrac{f[x_n,\alpha]}{(x_{n-1}-\alpha)f[x_{n-1},x_n]}\right]\\ &= (x_n-\alpha)(x_{n-1}-\alpha)\dfrac{f[x_{n-1},x_n]-f[x_n,\alpha]}{(x_{n-1}-\alpha)f[x_{n-1},x_n]} \end{aligned} \]

由中值定理存在 \(\xi_n\) 处于 \(x_{n-1}\)\(x_n\) 之间,使得

\[f[x_{n-1},x_n] = f^{\prime}(\xi_n) \]

定义函数 \(g(x) = f[x,x_n]\) ,再对 \(g(x)\) 应用中值定理,存在 \(\beta\)\(x_{n-1}\)\(\alpha\) 之间,使得

\[\dfrac{f[x_{n-1},x_n]-f[x_n,\alpha]}{x_{n-1}-\alpha} = \dfrac{g(x_{n-1})-g(\alpha)}{x_{n-1}-\alpha} = g^{\prime}(\beta) \]

并且有

\[g^{\prime}(x) = \dfrac{f^{\prime}(x)(x-x_n)-f(x)+f(x_n)}{(x-x_n)^2} \]

注意到 Taylor 展开

\[f(x_n) = f(x) + f^{\prime}(x)(x_n-x) + \dfrac{f^{\prime\prime}(\xi_n)}{2}(x_n-x)^2 \]

带回并计算 \(g^{\prime}(\beta)\)

\[\dfrac{f[x_{n-1},x_n]-f[x_n,\alpha]}{x_{n-1}-\alpha} = \dfrac{f^{\prime\prime}(\zeta_n)}{2} \]

其中 \(\zeta_n\) 处于 \(\min(x_{n-1},x_n,\alpha)\)\(\max(x_{n-1},x_n, \alpha)\) 之间.

 

Theorem 1.24 (Convergence of the secant method). 考虑 \(\mathcal{C}^2\) 函数 \(f:\mathcal{B}\to\mathbb{R},\ \mathcal{B} = [\alpha-\delta, \alpha+\delta]\) 满足 \(f(\alpha) = 0,\ f^{\prime}(\alpha)\neq 0\) ,若选取 \(x_0,\ x_1\) 足够接近根 \(\alpha\)\(f^{\prime\prime}(\alpha)\neq 0\) ,则割线法迭代序列 \(\{x_n\}\) 以阶 \(p = \frac{1+\sqrt{5}}{2}\) 收敛到根 \(\alpha\) .

 

Corollary 1.25. 考虑在根 \(\alpha\) 附近求解 \(f(x)=0\) 。令 \(m\)\(sm\) 为计算 \(f(x)\)\(f^{\prime}(x)\) 的时间,则通过牛顿法和割线法达到精度 \(\epsilon\) 所需的时间满足

\[\begin{aligned} T_N &= (1+s)m\lceil \log_2K\rceil\\ T_S &= m\lceil \log_{r_0}K\rceil + m \end{aligned} \tag{1.14} \]

其中 \(r_0 = \frac{1+\sqrt{5}}{2},\ c = \left|\frac{f^{\prime\prime}(\alpha)}{2f^{\prime}(\alpha)}\right|\)

\[K = \dfrac{\log c\epsilon}{\log c|x_0-\alpha|} \tag{1.15} \]

\(Proof.\) 通过精度分析可证,但有些繁琐,证明省略.

 

Fixed-point iterations

Definition 1.26. 函数 \(g\) 的不动点 fixed point 是一个满足 \(g(\alpha) = \alpha\) 的独立参数.

 

Lemma 1.28.\(g:[a,b]\to[a,b]\) 是连续的,则 \(g\)\([a,b]\) 上至少有一个不动点.

\(Proof.\) 函数 \(f(x) = g(x) - x\) 满足 \(f(a)\ge 0,\ f(b)\le 0\) ,由连续函数的介值定理 \(f(x)\)\([a,b]\) 上有根,即证.

 

Theorem 1.30 (Brouwer's fixed point). 任意连续函数 \(f:\mathbb{D}^n\to\mathbb{D}^n\) 其中

\[\mathbb{D}^n = \{\mathbf{x}\in\mathbb{R}^n:\Vert x\Vert\le 1\} \tag{1.16} \]

有一个不动点.

 

Definition 1.33. 不动点迭代 fixed-point iteration 是寻找 \(g\) 的不动点的公式方法,具有形式

\[x_{n+1} = g(x_n),\quad n\in\mathbb{N} \tag{1.17} \]

 

Definition 1.36. 函数 \(f:[a,b]\to[a,b]\)\([a,b]\) 上的压缩映射 contraction / contractive mapping 如果

\[\exists \lambda\in[0,1),\quad \mathrm{s.t.}\quad \forall x,y\in[a,b],\quad |f(x)-f(y)|\le \lambda|x-y| \tag{1.18} \]

 

Theorem 1.38 (Convergence of contractions). 若 \(g(x)\)\([a,b]\) 上的连续压缩函数,则它有唯一不动点 \(\alpha\) ,使得对任意 \(x_0\in[a,b]\) 的不动点迭代收敛到 \(\alpha\) 且有

\[|x_n-\alpha|\le \dfrac{\lambda^n}{1-\lambda}|x_1-x_0| \tag{1.19} \]

\(Proof.\) 由 Lemma 1.28 , \(g\) 有不动点。不妨设有两个不动点 \(\alpha,\ \beta\) ,则 \(|\alpha-\beta|=|g(\alpha)-g(\beta)|\le \lambda|\alpha-\beta|\) ,从而 \(\alpha = \beta\) ;在不动点迭代中,我们有

\[|x_{n+1}-\alpha| = |g(x_n)-g(\alpha)| \le \lambda|x_n-\alpha| \]

通过三角不等式和归纳得到

\[\begin{aligned} |x_n-\alpha| &\le \lambda^n|x_0-\alpha|\\ &\le \lambda^n(|x_1-x_0|+|x_1-\alpha|)\\ &\le \lambda^n(|x_1-x_0|+\lambda|x_0-\alpha|) \end{aligned} \]

\(n=0\) 时,有 \(|x_0-\alpha|\le \frac{1}{1-\lambda}|x_1-x_0|\) ,代回上式即证.

 

Theorem 1.39. 考虑 \(g:[a,b]\to[a,b]\) ,若 \(g\in\mathcal{C}^1[a,b]\) 并且 \(\lambda = \max_{x\in[a,b]}\left|g^{\prime}(x)\right|<1\) ,则 \(g\) 有唯一不动点 \(\alpha\) ,使得对任意 \(x_0\in[a,b]\) 的不动点迭代收敛到 \(\alpha\) ,则 Theorem 1.38 成立,以及

\[\lim_{n\to\infty} \dfrac{x_{n+1}-\alpha}{x_n-\alpha} = g^{\prime}(\alpha) \tag{1.20} \]

\(Proof.\) 很容易通过主值定理证明 \(g\) 是连续压缩函数,从而 Theorem 1.38 成立。由于存在 \(\xi\)\(x_n\)\(\alpha\) 之间,使得

\[|x_{n+1}-\alpha| = |g(x_n)-g(\alpha)| = g^{\prime}(\xi_n)|x_n-\alpha| \]

\(n\to\infty\) ,则有 \(g^{\prime}(\xi_n)\to g^{\prime}(\alpha)\) ,即证.

 

Corollary 1.40.\(\alpha\)\(g:\mathbb{R}\to\mathbb{R}\) 的不动点,且有 \(\left|g^{\prime}(\alpha)\right|<1\) 以及 \(g\in\mathcal{C}^1(\mathcal{B}),\ \mathcal{B} = [\alpha-\delta,\alpha+\delta],\ \delta>0\) ,若选取 \(x_0\) 足够接近 \(\alpha\) ,则 Theorem 1.38 成立.

\(Proof.\) 利用连续性取 \(\alpha\) 的邻域,使得 \(|g^{\prime}(x)|<1\) ,即证.

 

Corollary 1.41. 考虑 \(g:[a,b]\to[a,b]\) ,若有不动点 \(g(\alpha) = \alpha\in[a,b]\) ,则 \(x_0\) 足够接近 \(\alpha\) 的不动点迭代以 \(p\)\((p>1,\ p\in\mathbb{N})\) 收敛到 \(\alpha\) ,当

\[\left\{ \begin{aligned} &g\in\mathcal{C}^p[a,b],\\ &\forall k=1,2,\cdots,p-1,\quad g^{(k)}(\alpha) = 0,\\ &g^{(p)}(\alpha) \neq 0. \end{aligned} \right. \tag{1.21} \]

\(Proof.\) 由 Corollary 1.40 以及 \(g^{\prime}(\alpha) = 0\) ,不动点迭代唯一收敛。在 \(\alpha\) 处 Taylor 展开,存在 \(\xi\in[a,b]\) ,使得

\[\begin{aligned} E_{abs}(x_{n+1}) &= |x_{n+1}-\alpha| = |g(x_n)-g(\alpha)|\\ &= \left|\sum_{i=1}^{p-1}\dfrac{(x_n-\alpha)^i}{i}g^{(i)}(\alpha)+\dfrac{(x_n-\alpha)^p}{p!}g^{(p)}(\xi)\right|\\ &= \left|\dfrac{(x_n-\alpha)^p}{p!}g^{(p)}(\xi)\right| \end{aligned} \]

\(g^{(p)}\) 的连续性,则它在 \([a,b]\) 上有界,从而由常数 \(M\) ,满足 \(E_{abs}(x_{n+1}) < ME_{abs}^p(x_{n})\) .

 

Problem

\(\mathrm{I}.\) 考虑二分法在区间 \([1.5,3.5]\) 上作用

  • \(n\) 步区间的宽度

\[|b_n-a_n| = 2^{-n}|b_0-a_0| \]

故有第 $ n $ 步间隔为 $ 2^{-n}(3.5-1.5) = 2^{1-n}$ .

 

  • \(r\) 与区间中点距离的上确界

\[\forall c_n = (a_n+b_n)/2,\ |c_n-r|\le |b_n - a_n|/2 = 2^{-n}\le 1. \]

这里上确界不一定能到达.

 

\(\mathrm{II}.\)\(a_0>0\) 的初始区间 \([a_0,b_0]\) 上应用二分法,则满足相对精度不大于 \(\epsilon\)\(n\)

\[n\ge \dfrac{\log(b_0-a_0)-\log\epsilon-\log a_0}{\log 2} - 1 \]

\(Proof.\) 设 $ \alpha $ 为根,需要 $ \frac{|c_n-\alpha|}{\alpha}\le\epsilon$ ,其中 $ c_n = (a_n+b_n)/2$ ,则有

\[\dfrac{|c_n-\alpha|}{\alpha}\le \dfrac{|b_n-a_n|}{2a_0} = \dfrac{b_0-a_0}{2^{n+1}a_0}\le\epsilon \]

其中使用了放缩 \(\alpha \ge a_0\) ,则有

\[\begin{aligned} b_0-a_0 \le 2^{n+1}a_0\epsilon\ &\Rightarrow\ \log(b_0-a_0)\le(n+1)\log2+\log\epsilon+\log a_0\\ &\Rightarrow\ n\ge \dfrac{\log(b_0-a_0)-\log\epsilon-\log a_0}{\log2}-1 \end{aligned} \]

即证.

 

\(\mathrm{IV}.\) 考虑在 \(x_0\) 应用牛顿法,则有 \(C\)\(s\) 使得

\[e_{n+1} = Ce_n^s \]

其中 \(e_n\) 为牛顿法第 \(n\) 步的误差, \(s\) 为常数, \(C\) 依赖 \(x_n,\ f,\ f^{\prime}\) .

\(Proof.\) 对 $ f(\alpha) $ 泰勒展开则有

\[0 = f(\alpha) = f(x_n) + f^{\prime}(\xi_n)(\alpha-x_n) \]

由于 \(e_n = |x_n-\alpha|\) ,则有

\[e_{n+1} = |x_{n+1}-\alpha| = \left|x_n - \alpha - \dfrac{f(x_n)}{f^{\prime}(x_0)}\right| = \left|1-\dfrac{f^{\prime}(\xi_n)}{f^{\prime}(x_0)}\right||x_n - \alpha| = \left|1-\dfrac{f^{\prime}(\xi_n)}{f^{\prime}(x_0)}\right|e_n \]

即有

\[e_{n+1} = \left|1-\dfrac{f^{\prime}(\xi_n)}{f^{\prime}(x_0)}\right|e_n \]

即证.

 

\(\mathrm{V}.\)\(\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\) 上,迭代序列 \(x_{n+1} = \tan^{-1} x_n\) 是否收敛?

\(g(x) = \arctan x\) ,先说明它是连续压缩映射,这由

\[g:\left[-\dfrac{\pi}{2},\dfrac{\pi}{2}\right]\to\left[-\dfrac{\pi}{2},\dfrac{\pi}{2}\right],\quad g^{\prime}(x) = \dfrac{1}{1+x^2} \in (0,1) \]

得到;由 Theorem 1.38 即证收敛到 \(\alpha\in\left[-\frac{\pi}{2},\frac{\pi}{2}\right]\) ,但显然两个端点不是收敛点,因此在上 \(\left(-\frac{\pi}{2},\frac{\pi}{2}\right)\) 收敛.

 

\(\mathrm{VI}.\)\(p>1\) ,证明分数

\[x = \dfrac{1}{p+\frac{1}{p+\frac{1}{p+\cdots}}} \]

是收敛序列.

\(Proof.\) 可得递推式

\[x_n = \dfrac{1}{p+x_{n-1}},\quad n>1 \]

我们得到迭代函数

\[g(x) = \frac{1}{p+x},\quad x\in(0,+\infty) \]

说明它是连续压缩映射,首先有

\[g:(0,+\infty)\to\left(0,\dfrac{1}{p}\right),\quad \left|g^{\prime}(x)\right| = \left|\frac{1}{(p+x)^2}\right| < 1 \]

\(x_1 = \frac{1}{p},\ x_2=\frac{1}{1+\frac{1}{p}}\) ,则可将函数迭代的定义域改为

\[g:\left[\dfrac{1}{1+\frac{1}{p}},\dfrac{1}{p}\right]\to\left[\dfrac{1}{1+\frac{1}{p}},\dfrac{1}{p}\right] \]

其中左端点是由于 \(g(x)<\frac{1}{p}\) ,代入这一最大值得到的下界,从而它是连续压缩映射,迭代序列收敛到 \(\alpha\) ,有

\[\alpha = \dfrac{1}{p+\alpha}\Rightarrow \alpha = \sqrt{1+\frac{p^2}{4}}-\frac{p}{2} \]

即证.

 

\(\mathrm{VII}.\) 若在 \(\mathrm{II}\) 中有 \(a_0<0<b_0\) 则会出现什么情况?考虑类似的估计.

设 $ \alpha \neq 0$ 为根,需要 $ \frac{|c_n-\alpha|}{\alpha}\le\epsilon$ ,其中 $ c_n = (a_n+b_n)/2$ ,则有

\[\dfrac{|c_n-\alpha|}{\alpha} =\dfrac{|b_n-a_n|}{2\alpha} = \dfrac{b_0-a_0}{2^{n+1}\alpha}\le\epsilon \]

由于跨过了原点,无法放缩

\[\begin{aligned} b_0-a_0 \le 2^{n+1}\alpha\epsilon\ &\Rightarrow\ \log(b_0-a_0)\le(n+1)\log2+\log\epsilon+\log \alpha\\ &\Rightarrow\ n\ge \dfrac{\log(b_0-a_0)-\log\epsilon-\log \alpha}{\log2}-1 \end{aligned} \]

注意到当 \(\alpha\) 非常靠近 \(0\) 时,相对误差会非常大,因此无法准确测量.

posted @ 2022-02-20 12:55  Bluemultipl  阅读(140)  评论(0编辑  收藏  举报