111 年 國立成功大學數學系應用數學研究所《高等微積分》

📄 試題原卷 免費註冊後即可對照原始考卷 PDF免費註冊

第 1 題5 分

  1. A vector field V on R³ is called conservative if V = ∇f for some differentiable
    function f.
    (a) (5 points) Prove that if a smooth vector field V = (V₁, V₂, V₃) (i.e. Vᵢ's are
    smooth) is conservative on some domain U ⊂ R³, then
    curl V=(∂V3∂y−∂V2∂z,∂V1∂z−∂V3∂x,∂V2∂x−∂V1∂y)=(0,0,0)\text{curl } V = \left( \frac{\partial V_3}{\partial y} - \frac{\partial V_2}{\partial z}, \frac{\partial V_1}{\partial z} - \frac{\partial V_3}{\partial x}, \frac{\partial V_2}{\partial x} - \frac{\partial V_1}{\partial y} \right) = (0,0,0)
    on U.

登入後即可作答並保存紀錄。

這一題的完整詳解

此題考察保守向量場的性質。一個向量場若為保守場,則其必為無旋場(curl 為零)。

證明:
若向量場 VV 在定義域 UU 上為保守場,則存在一個可微函數 ff 使得 V=∇fV = \nabla f。
向量場 VV 的三個分量為 V1=∂f∂xV_1 = \frac{\partial f}{\partial x}, V2=∂f∂yV_2 = \frac{\partial f}{\partial y}, V3=∂f∂zV_3 = \frac{\partial f}{\partial z}。
向量場的旋度 (curl) 定義為:
curl V=∇×V=(∂V3∂y−∂V2∂z,∂V1∂z−∂V3∂x,∂V2∂x−∂V1∂y)\text{curl } V = \nabla \times V = \left( \frac{\partial V_3}{\partial y} - \frac{\partial V_2}{\partial z}, \frac{\partial V_1}{\partial z} - \frac{\partial V_3}{\partial x}, \frac{\partial V_2}{\partial x} - \frac{\partial V_1}{\partial y} \right)
我們計算旋度的三個分量:
第一個分量:
∂V3∂y−∂V2∂z=∂∂y(∂f∂z)−∂∂z(∂f∂y)=∂2f∂y∂z−∂2f∂z∂y\frac{\partial V_3}{\partial y} - \frac{\partial V_2}{\partial z} = \frac{\partial}{\partial y} \left( \frac{\partial f}{\partial z} \right) - \frac{\partial}{\partial z} \left( \frac{\partial f}{\partial y} \right) = \frac{\partial^2 f}{\partial y \partial z} - \frac{\partial^2 f}{\partial z \partial y}

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 1 題10 分

  1. A vector field V on R³ is called conservative if V = ∇f for some differentiable
    function f.
    (b) (10 points) Is the converse of (a) true? Prove it or disprove with a coun-
    terexample.

登入後即可作答並保存紀錄。

這一題的完整詳解

此題考察保守向量場的逆敘述。我們需要判斷一個無旋向量場是否一定是保守向量場。

解答:
向量場的旋度為零(即 curl V=(0,0,0)\text{curl } V = (0,0,0))並不保證該向量場一定是保守向量場。這個結論在單連通 (simply connected) 的區域上是成立的,但對於非單連通的區域則不一定。

考慮一個定義在 R2∖{0}\mathbb{R}^2 \setminus \{0\} 上的向量場(這是一個非單連通的區域)。
設 V(x,y)=(−yx2+y2,xx2+y2)V(x,y) = \left( \frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2} \right)。

我們首先計算其旋度:
V1=−yx2+y2V_1 = \frac{-y}{x^2+y^2}, V2=xx2+y2V_2 = \frac{x}{x^2+y^2}。
∂V2∂x=1⋅(x2+y2)−x⋅(2x)(x2+y2)2=x2+y2−2x2(x2+y2)2=y2−x2(x2+y2)2\frac{\partial V_2}{\partial x} = \frac{1 \cdot (x^2+y^2) - x \cdot (2x)}{(x^2+y^2)^2} = \frac{x^2+y^2-2x^2}{(x^2+y^2)^2} = \frac{y^2-x^2}{(x^2+y^2)^2}
∂V1∂y=−1⋅(x2+y2)−(−y)⋅(2y)(x2+y2)2=−x2−y2+2y2(x2+y2)2=y2−x2(x2+y2)2\frac{\partial V_1}{\partial y} = \frac{-1 \cdot (x^2+y^2) - (-y) \cdot (2y)}{(x^2+y^2)^2} = \frac{-x^2-y^2+2y^2}{(x^2+y^2)^2} = \frac{y^2-x^2}{(x^2+y^2)^2}

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 2 題15 分

  1. (15 points) Let {Kα}α∈A be a family of compact subsets of a metric space (X, d)
    such that any finite intersection of Kα's is nonempty (i.e. ∩{i=1}^n K{α_i} ≠ ∅ for all
    finite subset {α_1, ..., α_n} ⊂ A), prove that
    ⋂α∈AKα≠∅\bigcap_{\alpha \in A} K_\alpha \neq \emptyset

登入後即可作答並保存紀錄。

這一題的完整詳解

此題考察緊緻集合在度量空間中的性質,特別是關於集合族交集的性質。這是所謂的「有限交集性質」推廣到無限集合族的情形。

證明:
我們需要證明,如果一個度量空間中的一個集合族 {Kα}α∈A 滿足「任何有限子集的交集非空」,那麼整個集合族的交集也非空。
我們將使用反證法。假設 ⋂α∈AKα=∅\bigcap_{\alpha \in A} K_\alpha = \emptyset。

由於每個 KαK_\alpha 都是緊緻的,並且緊緻集合在度量空間中是閉合的。
考慮一個有限的子集 {α1,α2,…,αn}⊂A\{ \alpha_1, \alpha_2, \dots, \alpha_n \} \subset A。
根據題目假設, Kα1∩Kα2∩⋯∩Kαn≠∅K_{\alpha_1} \cap K_{\alpha_2} \cap \dots \cap K_{\alpha_n} \neq \emptyset。
令 Fn=Kα1∩Kα2∩⋯∩KαnF_n = K_{\alpha_1} \cap K_{\alpha_2} \cap \dots \cap K_{\alpha_n}。
則 {Fn}n∈N\{ F_n \}_{n \in \mathbb{N}} 是一個由非空閉合集合組成的序列。

我們需要構造一個反例來證明這個陳述不總是正確的,如果 X 不是完備的。
然而,題目給定的條件是 X 是一個度量空間,並且 Kα 是緊緻集合。緊緻集合本身就具有完備性。
因此,我們需要仔細運用緊緻性的定義。

令 A 為一個索引集合, {Kα}α∈A 是度量空間 (X, d) 中的緊緻子集。
假設對於任何有限的 {α1,...,αn}⊆A\{α_1, ..., α_n\} \subseteq A,都有 ⋂i=1nKαi≠∅\bigcap_{i=1}^n K_{α_i} \neq \emptyset。
我們要證明 ⋂α∈AKα≠∅\bigcap_{\alpha \in A} K_\alpha \neq \emptyset。

證明:
我們構造一個集合序列。
令 A1A_1 是 A 的一個有限子集。根據假設,⋂α∈A1Kα≠∅\bigcap_{\alpha \in A_1} K_\alpha \neq \emptyset。
令 A2A_2 是 A 的另一個有限子集,且 A1⊂A2A_1 \subset A_2。根據假設,⋂α∈A2Kα≠∅\bigcap_{\alpha \in A_2} K_\alpha \neq \emptyset。
我們可以構造一個索引集合的遞增序列 A1⊂A2⊂A3⊂…A_1 \subset A_2 \subset A_3 \subset \dots,其中每個 AiA_i 都是有限的。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 3 題10 分

  1. (10 points) Prove, for s > 1, that
    ∑n=1∞1ns[x]=s∫1∞[x]xs+1dx\sum_{n=1}^{\infty} \frac{1}{n^s [x]} = s \int_{1}^{\infty} \frac{[x]}{x^{s+1}} dx
    where [x] is the greatest integer ≤ x.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題利用階梯函數 [x][x] 在每個區間 [n,n+1)[n,n+1) 上皆為常數 nn,將積分拆成無窮級數,再以望遠鏡消去證明恆等式。

題目左側的 [x][x] 與求和指標 nn 不一致,應為排版或轉錄誤植;以下依右側公式及標準結果,將左側解讀為

∑n=1∞1ns.\sum_{n=1}^{\infty}\frac{1}{n^s}.

由於 s>1s>1,pp-級數 ∑1/ns\sum 1/n^s 收斂,且右側積分亦收斂。

解題方法

將區間 [1,∞)[1,\infty) 分割為

[1,∞)=⋃n=1∞[n,n+1).[1,\infty)=\bigcup_{n=1}^{\infty}[n,n+1).

在 x∈[n,n+1)x\in[n,n+1) 時,有

[x]=n.[x]=n.

因此

s∫1∞[x]xs+1 dx=s∑n=1∞∫nn+1nxs+1 dx=∑n=1∞sn∫nn+1x−s−1 dx.\begin{aligned} s\int_1^\infty \frac{[x]}{x^{s+1}}\,dx &=s\sum_{n=1}^{\infty}\int_n^{n+1}\frac{n}{x^{s+1}}\,dx\\ &=\sum_{n=1}^{\infty}sn\int_n^{n+1}x^{-s-1}\,dx. \end{aligned}

計算每一段積分:

∫nn+1x−s−1 dx=[−1sx−s]nn+1=1s(n−s−(n+1)−s).\int_n^{n+1}x^{-s-1}\,dx = \left[-\frac{1}{s}x^{-s}\right]_{n}^{n+1} = \frac{1}{s}\left(n^{-s}-(n+1)^{-s}\right).

代回可得

s∫1∞[x]xs+1 dx=∑n=1∞n(n−s−(n+1)−s)=∑n=1∞(n1−s−n(n+1)s).\begin{aligned} s\int_1^\infty \frac{[x]}{x^{s+1}}\,dx &=\sum_{n=1}^{\infty} n\left(n^{-s}-(n+1)^{-s}\right)\\ &=\sum_{n=1}^{\infty} \left(n^{1-s}-\frac{n}{(n+1)^s}\right). \end{aligned}

對第二項令 m=n+1m=n+1,則 n=m−1n=m-1,故

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 4 題15 分

  1. (15 points) Let {fn}n be a sequence of real-valued functions defined on a com-
    pact metric space (K, d) so that
    • fn ≥ fn+1 ≥ 0 ∀n
    • fn → 0 pointwise.
    Prove that fn converges to 0 uniformly.
    (Hint: Problem 2 can be helpful.)

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考察 Dini 定理 的特殊情形:

  • KK 是緊緻度量空間;
  • 每個 fnf_n 連續;
  • fn≥fn+1≥0f_n\geq f_{n+1}\geq 0;
  • fn(x)→0f_n(x)\to 0 對每個 x∈Kx\in K 成立。

要證明一致收斂,須驗證:對任意 ε>0\varepsilon>0,存在 NN,使得對所有 n≥Nn\geq N 與所有 x∈Kx\in K,

∣fn(x)−0∣<ε.|f_n(x)-0|<\varepsilon.

由於 fn≥0f_n\geq 0,故 ∣fn(x)∣=fn(x)|f_n(x)|=f_n(x)。

題目文字未明列「每個 fnf_n 連續」;此條件不可省略。若沒有連續性,命題一般不成立。例如在 K=[0,1]K=[0,1] 上令

fn(x)={1,0<x<1n,0,其他情形.f_n(x)= \begin{cases} 1, & 0<x<\dfrac1n,\\ 0, & \text{其他情形}. \end{cases}

則 fn≥fn+1≥0f_n\geq f_{n+1}\geq 0,且逐點收斂至 00,但對所有 nn 都有 sup⁡x∈Kfn(x)=1\sup_{x\in K}f_n(x)=1,所以不一致收斂。以下依本題標準版本,假設每個 fnf_n 皆連續。

解題方法

固定任意 ε>0\varepsilon>0,考慮集合

En={x∈K:fn(x)≥ε}.E_n=\{x\in K:f_n(x)\geq\varepsilon\}.

因為 fnf_n 連續,而 [ε,∞)[\varepsilon,\infty) 是閉集,所以 EnE_n 是 KK 中的閉集。又因為 KK 緊緻,故每個 EnE_n 也是緊緻集。

由 fn≥fn+1f_n\geq f_{n+1},可得

En+1⊆En.E_{n+1}\subseteq E_n.

因此 {En}\{E_n\} 是一列遞減的閉集。

另一方面,對任意 x∈Kx\in K,由 fn(x)→0f_n(x)\to0,存在 NxN_x 使得當 n≥Nxn\geq N_x 時,

fn(x)<ε.f_n(x)<\varepsilon.

因此 x∉Enx\notin E_n,從而

⋂n=1∞En=∅.\bigcap_{n=1}^{\infty}E_n=\varnothing.

現在使用緊緻性的巢狀閉集性質:若每個 EnE_n 都非空,且

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 5 題5 分

  1. (a) (5 points) State the Inverse Function Theorem for a function F: Rⁿ → Rⁿ.

登入後即可作答並保存紀錄。

這一題的完整詳解

此題要求陳述反函數定理 (Inverse Function Theorem)。

【反函數定理 (Inverse Function Theorem)】
設 F:Rn→RnF: \mathbb{R}^n \to \mathbb{R}^n 是一個 C1C^1 函數(即 FF 的所有第一階偏導數存在且連續)。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 5 題10 分

  1. (b) (10 points) Use the Rank Theorem below to prove the Inverse Function
    Theorem.
    Rank Theorem: Let F: Rⁿ → Rᵐ be a differentiable function so that DFp
    has rank k at some p ∈ Rⁿ. Then, there exist open neighborhoods U of p and
    V of F(p), and C¹ maps
    φ: U → φ(U) ⊂ Rⁿ, ψ: V → ψ(V) ⊂ Rᵐ,
    both invertible with C¹ inverses, so that
    ψ∘F∘φ−1(x1,...,xk,xk+1,...,xn)=(x1,...,xk,0,...,0)\psi \circ F \circ \varphi^{-1}(x_1, ..., x_k, x_{k+1}, ..., x_n) = (x_1, ..., x_k, 0, ..., 0)

登入後即可作答並保存紀錄。

這一題的完整詳解

此題要求利用 Rank Theorem 來證明 Inverse Function Theorem。Rank Theorem 提供了一種在某點附近將函數局部線性化的方法。Inverse Function Theorem 的核心是證明在某點的雅可比矩陣可逆時,函數局部存在逆映射。

證明 Inverse Function Theorem 使用 Rank Theorem:
設 F:Rn→RnF: \mathbb{R}^n \to \mathbb{R}^n 是一個 C1C^1 函數,且其在點 a∈Rna \in \mathbb{R}^n 的雅可比矩陣 JF(a)J_F(a) 是可逆的。
由於 JF(a)J_F(a) 可逆,其秩 (rank) 為 nn。
根據 Rank Theorem,存在點 aa 的開鄰域 UU 和 F(a)F(a) 的開鄰域 VV,以及 C1C^1 的同胚映射(可逆且逆映射也是 C1C^1 的)
φ:U→φ(U)⊂Rn\varphi: U \to \varphi(U) \subset \mathbb{R}^n
ψ:V→ψ(V)⊂Rn\psi: V \to \psi(V) \subset \mathbb{R}^n
使得對於 x∈Ux \in U,y=F(x)∈Vy = F(x) \in V,z=φ(x)∈φ(U)z = \varphi(x) \in \varphi(U),w=ψ(y)∈ψ(V)w = \psi(y) \in \psi(V),有
ψ(F(x))=ψ(F(φ−1(z)))=(local linear form of F)\psi(F(x)) = \psi(F(\varphi^{-1}(z))) = (\text{local linear form of } F)
令 G=ψ∘F∘φ−1G = \psi \circ F \circ \varphi^{-1}。
Rank Theorem 告訴我們,存在 UU 和 VV,以及 C1C^1 的同胚映射 φ\varphi 和 ψ\psi,使得 GG 的形式為:
如果 z=(z1,…,zn)∈φ(U)z = (z_1, \dots, z_n) \in \varphi(U),則 G(z)=(z1,…,zn,0,…,0)G(z) = (z_1, \dots, z_n, 0, \dots, 0)。
這裡,由於我們處理的是 Rn→Rn\mathbb{R}^n \to \mathbb{R}^n 的映射,所以 Rank Theorem 形式為:
ψ∘F∘φ−1(z1,…,zn)=(z1,…,zn)\psi \circ F \circ \varphi^{-1}(z_1, \dots, z_n) = (z_1, \dots, z_n)
這裡的 Rank Theorem 形式給的是:
ψ∘F∘φ−1(x1,...,xk,xk+1,...,xn)=(x1,...,xk,0,...,0)\psi \circ F \circ \varphi^{-1}(x_1, ..., x_k, x_{k+1}, ..., x_n) = (x_1, ..., x_k, 0, ..., 0)
其中 kk 是秩。
由於 JF(a)J_F(a) 是可逆的,其秩 k=nk = n。
所以,Rank Theorem 的形式變為:
ψ∘F∘φ−1(x1,...,xn)=(x1,...,xn)\psi \circ F \circ \varphi^{-1}(x_1, ..., x_n) = (x_1, ..., x_n)
令 H(z)=ψ(F(φ−1(z)))H(z) = \psi(F(\varphi^{-1}(z)))。
則 H(z)=zH(z) = z 對於所有 z∈φ(U)z \in \varphi(U)。
這意味著 HH 是恆等映射 Id\text{Id}。
H=ψ∘F∘φ−1H = \psi \circ F \circ \varphi^{-1}。

我們需要證明 FF 在 aa 點附近存在逆映射。
考慮映射 FF。
我們有 F=ψ−1∘H∘φF = \psi^{-1} \circ H \circ \varphi。
由於 H(z)=zH(z) = z,所以 F=ψ−1∘φF = \psi^{-1} \circ \varphi。
FF 的定義域是 UU,值域是 VV。
F:U→VF: U \to V。
φ:U→φ(U)\varphi: U \to \varphi(U)
ψ:V→ψ(V)\psi: V \to \psi(V)
H:φ(U)→ψ(V)H: \varphi(U) \to \psi(V) (因為 H(z)=zH(z) = z,所以 φ(U)\varphi(U) 必須等於 ψ(V)\psi(V),或者說, HH 是恆等映射在 φ(U)\varphi(U) 上的限制,並將其值域映射到 ψ(V)\psi(V))。
這裡 Rank Theorem 的形式是 ψ∘F∘φ−1(x1,…,xn)=(x1,…,xn)\psi \circ F \circ \varphi^{-1} (x_1, \dots, x_n) = (x_1, \dots, x_n)。
這意味著 ψ(F(z))=z\psi(F(z)) = z 對於 z∈φ(U)z \in \varphi(U)。
這裡的 zz 是 φ(U)\varphi(U) 中的點。
令 x=φ−1(z)x = \varphi^{-1}(z)。則 z=φ(x)z = \varphi(x)。
ψ(F(x))=φ(x)\psi(F(x)) = \varphi(x)。
這表明 FF 將 UU 映射到 VV。

我們需要證明 FF 是一一映射,並且存在逆映射。
考慮函數 F:U→VF: U \to V。
令 y1,y2∈Uy_1, y_2 \in U,y1≠y2y_1 \neq y_2。
令 z1=φ(y1)z_1 = \varphi(y_1),z2=φ(y2)z_2 = \varphi(y_2)。由於 φ\varphi 是同胚映射, z1≠z2z_1 \neq z_2。
F(y1)=ψ−1(φ(y1))=ψ−1(z1)F(y_1) = \psi^{-1}(\varphi(y_1)) = \psi^{-1}(z_1)。
F(y2)=ψ−1(φ(y2))=ψ−1(z2)F(y_2) = \psi^{-1}(\varphi(y_2)) = \psi^{-1}(z_2)。
由於 ψ−1\psi^{-1} 是同胚映射, z1≠z2z_1 \neq z_2 意味著 ψ−1(z1)≠ψ−1(z2)\psi^{-1}(z_1) \neq \psi^{-1}(z_2)。
所以 F(y1)≠F(y2)F(y_1) \neq F(y_2)。
因此,FF 在 UU 上是一一映射。

值域是 VV。
F:U→VF: U \to V。
我們需要證明 FF 的逆映射 F−1:V→UF^{-1}: V \to U 是 C1C^1 的。
從 F=ψ−1∘φF = \psi^{-1} \circ \varphi,我們可以得到 F−1=φ−1∘(ψ−1)−1=φ−1∘ψF^{-1} = \varphi^{-1} \circ (\psi^{-1})^{-1} = \varphi^{-1} \circ \psi。
由於 φ\varphi 和 ψ\psi 都是 C1C^1 的同胚映射(即它們的逆映射也是 C1C^1 的),所以 F−1F^{-1} 是兩個 C1C^1 函數的複合,因此是 C1C^1 的。

最後,我們需要驗證雅可比矩陣的關係。
JF(a)J_F(a) 是 FF 在 aa 點的雅可比矩陣。
JF−1(F(a))=(JF(a))−1J_{F^{-1}}(F(a)) = (J_F(a))^{-1}。
我們有 F=ψ−1∘H∘φF = \psi^{-1} \circ H \circ \varphi,H(z)=zH(z) = z。
JF(x)=Jψ−1(H(φ(x)))⋅JH(φ(x))⋅Jφ(x)J_F(x) = J_{\psi^{-1}}(H(\varphi(x))) \cdot J_H(\varphi(x)) \cdot J_\varphi(x)。
由於 H(z)=zH(z) = z, JH(z)=IJ_H(z) = I(單位矩陣)。
JF(x)=Jψ−1(φ(x))⋅Jφ(x)J_F(x) = J_{\psi^{-1}}(\varphi(x)) \cdot J_\varphi(x)。
在點 x=ax=a,z=φ(a)z = \varphi(a)。
JF(a)=Jψ−1(φ(a))⋅Jφ(a)J_F(a) = J_{\psi^{-1}}(\varphi(a)) \cdot J_\varphi(a)。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6 題15 分

  1. (15 points) Let f (x, y) be a function on R² such that ∂f/∂x and ∂f/∂y exist everywhere
    and are both bounded, prove that f is continuous.

登入後即可作答並保存紀錄。

這一題的完整詳解

此題要求證明,若一個二元函數在整個 R2\mathbb{R}^2 上的偏導數存在且有界,則該函數是連續的。

證明:
我們需要證明函數 f(x,y)f(x, y) 在任意一點 (a,b)∈R2(a, b) \in \mathbb{R}^2 處是連續的。
根據連續性的定義,我們需要證明 lim⁡(x,y)→(a,b)f(x,y)=f(a,b)\lim_{(x,y) \to (a,b)} f(x, y) = f(a, b)。
這等價於證明 lim⁡(x,y)→(a,b)(f(x,y)−f(a,b))=0\lim_{(x,y) \to (a,b)} (f(x, y) - f(a, b)) = 0。

我們可以使用微分中值定理 (Mean Value Theorem) 的思想來證明。
考慮 f(x,y)−f(a,b)f(x, y) - f(a, b)。
我們可以引入一個中間點來利用偏導數。
f(x,y)−f(a,b)=f(x,y)−f(a,y)+f(a,y)−f(a,b)f(x, y) - f(a, b) = f(x, y) - f(a, y) + f(a, y) - f(a, b)。

對於第一項 f(x,y)−f(a,y)f(x, y) - f(a, y),我們將其視為一個關於第一個變數 xx 的函數,而 yy 是一個常數。
令 g(t)=f(t,y)g(t) = f(t, y)。則 g′(t)=∂f∂x(t,y)g'(t) = \frac{\partial f}{\partial x}(t, y)。
根據微分中值定理,在 xx 和 aa 之間的某個點 cc(即 cc 在 aa 和 xx 之間),我們有:
f(x,y)−f(a,y)=g(x)−g(a)=g′(c)(x−a)=∂f∂x(c,y)(x−a)f(x, y) - f(a, y) = g(x) - g(a) = g'(c) (x - a) = \frac{\partial f}{\partial x}(c, y) (x - a)。

對於第二項 f(a,y)−f(a,b)f(a, y) - f(a, b),我們將其視為一個關於第二個變數 yy 的函數,而 aa 是一個常數。
令 h(t)=f(a,t)h(t) = f(a, t)。則 h′(t)=∂f∂y(a,t)h'(t) = \frac{\partial f}{\partial y}(a, t)。
根據微分中值定理,在 yy 和 bb 之間的某個點 dd(即 dd 在 bb 和 yy 之間),我們有:
f(a,y)−f(a,b)=h(y)−h(b)=h′(d)(y−b)=∂f∂y(a,d)(y−b)f(a, y) - f(a, b) = h(y) - h(b) = h'(d) (y - b) = \frac{\partial f}{\partial y}(a, d) (y - b)。

所以,

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 7 題15 分

  1. (15 points) Let φ : Rⁿ → Rⁿ be a map so that
    ∥φ(x)−φ(y)∥<c∥x−y∥\| \varphi(x) - \varphi(y) \| < c \|x - y\|
    for some c ∈ (0,1). Prove that there exists a unique point xo ∈ Rⁿ so that
    φ(x0)=x0\varphi(x_0) = x_0

登入後即可作答並保存紀錄。

這一題的完整詳解

此題是關於映射的壓縮性質以及不動點的存在性和唯一性。這是一個典型的應用壓縮映射定理 (Contraction Mapping Theorem) 的問題,也稱為 Banach不動點定理。

證明:
我們需要證明存在一個唯一的點 x0∈Rnx_0 \in \mathbb{R}^n 使得 φ(x0)=x0\varphi(x_0) = x_0。
給定映射 φ:Rn→Rn\varphi: \mathbb{R}^n \to \mathbb{R}^n 滿足 ∥φ(x)−φ(y)∥<c∥x−y∥\| \varphi(x) - \varphi(y) \| < c \|x - y\| 對於某個 c∈(0,1)c \in (0, 1)。
這個條件表明 φ\varphi 是一個壓縮映射。

首先,我們證明不動點的存在性。
考慮一個任意點 x1∈Rnx_1 \in \mathbb{R}^n。
構造一個序列 {xk}k=1∞\{x_k\}_{k=1}^\infty 如下:
xk+1=φ(xk)x_{k+1} = \varphi(x_k) 對於 k≥1k \ge 1。
我們將證明這個序列是一個 Cauchy 序列。

計算 ∥xk+1−xk∥=∥φ(xk)−φ(xk−1)∥\|x_{k+1} - x_k\| = \| \varphi(x_k) - \varphi(x_{k-1}) \|。
根據壓縮條件:
∥xk+1−xk∥<c∥xk−xk−1∥\|x_{k+1} - x_k\| < c \|x_k - x_{k-1}\|。
迭代這個不等式:
∥xk+1−xk∥<c∥xk−xk−1∥<c2∥xk−1−xk−2∥<⋯<ck−1∥x2−x1∥\|x_{k+1} - x_k\| < c \|x_k - x_{k-1}\| < c^2 \|x_{k-1} - x_{k-2}\| < \dots < c^{k-1} \|x_2 - x_1\|。

現在考慮 ∥xm−xn∥\|x_m - x_n\|,假設 m>nm > n。
∥xm−xn∥=∥(xm−xm−1)+(xm−1−xm−2)+⋯+(xn+1−xn)∥\|x_m - x_n\| = \| (x_m - x_{m-1}) + (x_{m-1} - x_{m-2}) + \dots + (x_{n+1} - x_n) \|
利用三角不等式:
∥xm−xn∥≤∥xm−xm−1∥+∥xm−1−xm−2∥+⋯+∥xn+1−xn∥\|x_m - x_n\| \le \|x_m - x_{m-1}\| + \|x_{m-1} - x_{m-2}\| + \dots + \|x_{n+1} - x_n\|
≤cm−1∥x2−x1∥+cm−2∥x2−x1∥+⋯+cn∥x2−x1∥\le c^{m-1} \|x_2 - x_1\| + c^{m-2} \|x_2 - x_1\| + \dots + c^{n} \|x_2 - x_1\|
=∥x2−x1∥(cm−1+cm−2+⋯+cn)= \|x_2 - x_1\| (c^{m-1} + c^{m-2} + \dots + c^{n})
=∥x2−x1∥cn(1+c+c2+⋯+cm−n−1)= \|x_2 - x_1\| c^n (1 + c + c^2 + \dots + c^{m-n-1})
由於 c∈(0,1)c \in (0, 1),這個幾何級數的和是有限的:

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

其他考古題

111 年成功大學的其他科目

成功大學《高等微積分》其他年度

其他學校的數學系考古題