113 年 國立中央大學數學系碩士班數學組《高等微積分》

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

第 Problem 1. 題

We consider the function f:x↦ln⁡xx−1f: x \mapsto \frac{\ln x}{x-1} defined for all x∈(0,1)⊂Rx \in (0,1) \subset \mathbb{R}.

  1. (5 points) For all n∈Nn \in \mathbb{N}, calculate ∫1/e1xnln⁡x dx\int_{1/e}^{1} x^n \ln x \, dx.
  2. (5 points) Calculate lim⁡x→1−f(x)\lim_{x \to 1^-} f(x).
  3. (10 points) Show that ff is integrable on (0,1)(0, 1) and calculate ∫01f(x) dx\int_0^1 f(x) \, dx.

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

這一題的完整詳解

這組題目主要考驗學生對瑕積分的計算、極限的求法以及瑕積分的可積性證明。

核心觀念:

  • 瑕積分的計算:通常需要透過積分技巧(如分部積分)或將積分化為級數來處理。
  • 極限的求法:對於形如 00\frac{0}{0} 的極限,可以使用 L'Hôpital's Rule。
  • 瑕積分的可積性:證明一個函數在某區間上可積,通常需要證明其絕對值積分有界,或是利用黎曼積分的定義或相關定理(如連續函數在閉區間上必可積,或單調有界必收斂等)。

1. 計算 ∫1/e1xnln⁡x dx\int_{1/e}^{1} x^n \ln x \, dx

這是一個定積分,被積函數是 xnln⁡xx^n \ln x。我們可以使用分部積分法來計算。
設 u=ln⁡xu = \ln x 且 dv=xndxdv = x^n dx。
則 du=1xdxdu = \frac{1}{x} dx 且 v=xn+1n+1v = \frac{x^{n+1}}{n+1} (假設 n≠−1n \neq -1)。

根據分部積分公式 ∫u dv=uv−∫v du\int u \, dv = uv - \int v \, du,我們有:
∫xnln⁡x dx=xn+1n+1ln⁡x−∫xn+1n+1⋅1x dx\int x^n \ln x \, dx = \frac{x^{n+1}}{n+1} \ln x - \int \frac{x^{n+1}}{n+1} \cdot \frac{1}{x} \, dx
=xn+1n+1ln⁡x−∫xnn+1 dx= \frac{x^{n+1}}{n+1} \ln x - \int \frac{x^n}{n+1} \, dx
=xn+1n+1ln⁡x−1n+1⋅xn+1n+1+C= \frac{x^{n+1}}{n+1} \ln x - \frac{1}{n+1} \cdot \frac{x^{n+1}}{n+1} + C
=xn+1n+1ln⁡x−xn+1(n+1)2+C= \frac{x^{n+1}}{n+1} \ln x - \frac{x^{n+1}}{(n+1)^2} + C

現在我們計算定積分:
∫1/e1xnln⁡x dx=[xn+1n+1ln⁡x−xn+1(n+1)2]1/e1\int_{1/e}^{1} x^n \ln x \, dx = \left[ \frac{x^{n+1}}{n+1} \ln x - \frac{x^{n+1}}{(n+1)^2} \right]_{1/e}^{1}
=(1n+1n+1ln⁡1−1n+1(n+1)2)−((1/e)n+1n+1ln⁡(1/e)−(1/e)n+1(n+1)2)= \left( \frac{1^{n+1}}{n+1} \ln 1 - \frac{1^{n+1}}{(n+1)^2} \right) - \left( \frac{(1/e)^{n+1}}{n+1} \ln(1/e) - \frac{(1/e)^{n+1}}{(n+1)^2} \right)
由於 ln⁡1=0\ln 1 = 0 且 ln⁡(1/e)=−1\ln(1/e) = -1,我們得到:
=(0−1(n+1)2)−(e−(n+1)n+1(−1)−e−(n+1)(n+1)2)= \left( 0 - \frac{1}{(n+1)^2} \right) - \left( \frac{e^{-(n+1)}}{n+1} (-1) - \frac{e^{-(n+1)}}{(n+1)^2} \right)
=−1(n+1)2+e−(n+1)n+1+e−(n+1)(n+1)2= - \frac{1}{(n+1)^2} + \frac{e^{-(n+1)}}{n+1} + \frac{e^{-(n+1)}}{(n+1)^2}
=e−(n+1)(n+1)−1+e−(n+1)(n+1)2= \frac{e^{-(n+1)}(n+1) - 1 + e^{-(n+1)}}{(n+1)^2}
=(n+2)e−(n+1)−1(n+1)2= \frac{(n+2)e^{-(n+1)} - 1}{(n+1)^2}

【答案】(n+2)e−(n+1)−1(n+1)2\frac{(n+2)e^{-(n+1)} - 1}{(n+1)^2}


2. 計算 lim⁡x→1−f(x)\lim_{x \to 1^-} f(x)

函數為 f(x)=ln⁡xx−1f(x) = \frac{\ln x}{x-1}。當 x→1−x \to 1^-, 分子 ln⁡x→ln⁡1=0\ln x \to \ln 1 = 0 且分母 x−1→1−1=0x-1 \to 1-1 = 0。這是一個 00\frac{0}{0} 型的未定式,因此我們可以使用 L'Hôpital's Rule。

對分子和分母分別求導:
分子導數:ddx(ln⁡x)=1x\frac{d}{dx}(\ln x) = \frac{1}{x}
分母導數:ddx(x−1)=1\frac{d}{dx}(x-1) = 1

應用 L'Hôpital's Rule:
lim⁡x→1−ln⁡xx−1=lim⁡x→1−1/x1\lim_{x \to 1^-} \frac{\ln x}{x-1} = \lim_{x \to 1^-} \frac{1/x}{1}
=1/11=1= \frac{1/1}{1} = 1

【答案】1


3. 證明 ff 在 (0,1)(0, 1) 上可積並計算 ∫01f(x) dx\int_0^1 f(x) \, dx

可積性證明:
函數 f(x)=ln⁡xx−1f(x) = \frac{\ln x}{x-1} 在 (0,1)(0, 1) 上是瑕積分,因為在 x=1x=1 處分母為零,在 x=0x=0 處 ln⁡x\ln x 趨於 −∞-\infty。我們需要證明 ∫01∣f(x)∣ dx\int_0^1 |f(x)| \, dx 收斂。

考慮區間 (0,1)(0, 1)。
在區間 (0,1)(0, 1) 上,x−1<0x-1 < 0。
當 x→1−x \to 1^-, f(x)→1f(x) \to 1 (由第二小題結果)。這意味著在 xx 接近 1 的某個小鄰域內,f(x)f(x) 是有界的(例如,存在 δ>0\delta > 0 使得在 (1−δ,1)(1-\delta, 1) 上 0<f(x)<20 < f(x) < 2)。因此,積分 ∫1−δ1f(x) dx\int_{1-\delta}^1 f(x) \, dx 是收斂的(因為它是常規積分)。

現在考慮區間 (0,1−δ](0, 1-\delta]。在這個區間內,f(x)f(x) 是連續的,所以是黎曼可積的。
因此,只需要處理瑕點 x=0x=0。
我們需要檢查 ∫01−δf(x) dx\int_0^{1-\delta} f(x) \, dx 是否收斂。
當 x→0+x \to 0^+, ln⁡x→−∞\ln x \to -\infty。
f(x)=ln⁡xx−1f(x) = \frac{\ln x}{x-1}.
由於 x−1→−1x-1 \to -1 當 x→0+x \to 0^+, f(x)f(x) 的行為主要由 ln⁡x\ln x 決定。
我們知道 ∫0a∣ln⁡x∣ dx\int_0^a |\ln x| \, dx 是收斂的,因為 ln⁡x\ln x 趨於 −∞-\infty 的速度比 xpx^p (對於任何 p>0p>0) 趨於 00 的速度慢。
更精確地,考慮 x→0+x \to 0^+。
f(x)=ln⁡xx−1f(x) = \frac{\ln x}{x-1}.
因為 x−1→−1x-1 \to -1, 所以 f(x)f(x) 的行為與 −ln⁡x-\ln x 類似。

🔒

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

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

免費註冊

第 Problem 2. 題

Let n∈Nn \in \mathbb{N}.

  • Mn(R)M_n(\mathbb{R}) denotes the vector space of n×nn \times n matrices with real coefficients.
  • For all x=(x1⋮xn)∈Rnx = \begin{pmatrix} x_1 \\ \vdots \\ x_n \end{pmatrix} \in \mathbb{R}^n, ∥x∥=∑i=1nxi2\|x\| = \sqrt{\sum_{i=1}^n x_i^2}.
  • For all A∈Mn(R)A \in M_n(\mathbb{R}), we define ∥A∥M:=sup⁡x∈Rn,x≠0∥Ax∥∥x∥\|A\|_M := \sup_{x \in \mathbb{R}^n, x \neq 0} \frac{\|Ax\|}{\|x\|}.
  1. (5 points) Consider the particular case A~=(−3102)∈M2(R)\tilde{A} = \begin{pmatrix} -3 & 1 \\ 0 & 2 \end{pmatrix} \in M_2(\mathbb{R}). Calculate ∥A~∥M\|\tilde{A}\|_M.
  2. (5 points) Following the previous question, calculate sup⁡y∈R2,∥y∥=1∥A~y∥2\sup_{y \in \mathbb{R}^2, \|y\|=1} \|\tilde{A}y\|_2 by using the Lagrange multipliers.
    In the next questions, we consider the general cases A∈Mn(R)A \in M_n(\mathbb{R}).
  3. (5 points) Show that ∥A∥M=sup⁡∥y∥=1∥Ay∥\|A\|_M = \sup_{\|y\|=1} \|Ay\|.
  4. (5 points) Show that for all matrices B∈Mn(R)B \in M_n(\mathbb{R}), ∥AB∥M≤∥A∥M∥B∥M\|AB\|_M \leq \|A\|_M \|B\|_M.
  5. (10 points) Show that the set of invertible matrices GL(n)GL(n) is an open set in Mn(R)M_n(\mathbb{R}).

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

這一題的完整詳解

這組題目主要考驗學生對矩陣範數(特別是算子範數)的理解與計算,以及相關性質的證明,最後應用到矩陣空間的拓撲性質。

核心觀念:

  • 算子範數 (Operator Norm):定義為 ∥A∥M=sup⁡x≠0∥Ax∥∥x∥\|A\|_M = \sup_{x \neq 0} \frac{\|Ax\|}{\|x\|}。它衡量了矩陣 AA 對向量的最大「伸縮」因子。
  • 等價定義:∥A∥M=sup⁡∥x∥=1∥Ax∥\|A\|_M = \sup_{\|x\|=1} \|Ax\|。
  • 範數的性質:算子範數滿足 ∥AB∥M≤∥A∥M∥B∥M\|AB\|_M \leq \|A\|_M \|B\|_M(次乘法性)。
  • 矩陣空間的拓撲:Mn(R)M_n(\mathbb{R}) 是一個向量空間,其上的範數誘導了度量空間的拓撲。可逆矩陣集合 GL(n)GL(n) 的開性證明通常與矩陣的行列式(或奇異值)的非零性有關。

1. 計算 A~=(−3102)\tilde{A} = \begin{pmatrix} -3 & 1 \\ 0 & 2 \end{pmatrix} 的算子範數 ∥A~∥M\|\tilde{A}\|_M

算子範數 ∥A∥M\|A\|_M 在 n=2n=2 時,如果 AA 是對稱矩陣,則 ∥A∥M\|A\|_M 是其最大奇異值。但 A~\tilde{A} 不是對稱矩陣。
對於一般矩陣 AA, ∥A∥M=λmax(ATA)\|A\|_M = \sqrt{\lambda_{max}(A^T A)},其中 λmax\lambda_{max} 是 ATAA^T A 的最大特徵值。
首先計算 A~TA~\tilde{A}^T \tilde{A}:
A~T=(−3012)\tilde{A}^T = \begin{pmatrix} -3 & 0 \\ 1 & 2 \end{pmatrix}
A~TA~=(−3012)(−3102)=((−3)(−3)+0(0)(−3)(1)+0(2)1(−3)+2(0)1(1)+2(2))=(9−3−35)\tilde{A}^T \tilde{A} = \begin{pmatrix} -3 & 0 \\ 1 & 2 \end{pmatrix} \begin{pmatrix} -3 & 1 \\ 0 & 2 \end{pmatrix} = \begin{pmatrix} (-3)(-3) + 0(0) & (-3)(1) + 0(2) \\ 1(-3) + 2(0) & 1(1) + 2(2) \end{pmatrix} = \begin{pmatrix} 9 & -3 \\ -3 & 5 \end{pmatrix}
接下來,我們需要找到 A~TA~\tilde{A}^T \tilde{A} 的特徵值。特徵方程是 det⁡(A~TA~−λI)=0\det(\tilde{A}^T \tilde{A} - \lambda I) = 0。
det⁡(9−λ−3−35−λ)=0\det \begin{pmatrix} 9-\lambda & -3 \\ -3 & 5-\lambda \end{pmatrix} = 0
(9−λ)(5−λ)−(−3)(−3)=0(9-\lambda)(5-\lambda) - (-3)(-3) = 0
45−9λ−5λ+λ2−9=045 - 9\lambda - 5\lambda + \lambda^2 - 9 = 0
λ2−14λ+36=0\lambda^2 - 14\lambda + 36 = 0
使用二次公式求解 λ\lambda:
λ=−(−14)±(−14)2−4(1)(36)2(1)=14±196−1442\lambda = \frac{-(-14) \pm \sqrt{(-14)^2 - 4(1)(36)}}{2(1)} = \frac{14 \pm \sqrt{196 - 144}}{2}
λ=14±522=14±2132=7±13\lambda = \frac{14 \pm \sqrt{52}}{2} = \frac{14 \pm 2\sqrt{13}}{2} = 7 \pm \sqrt{13}
兩個特徵值是 λ1=7+13\lambda_1 = 7 + \sqrt{13} 和 λ2=7−13\lambda_2 = 7 - \sqrt{13}。
由於 13>0\sqrt{13} > 0, 7+13>7−137 + \sqrt{13} > 7 - \sqrt{13}.
最大特徵值是 λmax=7+13\lambda_{max} = 7 + \sqrt{13}。
因此,∥A~∥M=λmax=7+13\|\tilde{A}\|_M = \sqrt{\lambda_{max}} = \sqrt{7 + \sqrt{13}}。

【答案】7+13\sqrt{7 + \sqrt{13}}


2. 計算 sup⁡y∈R2,∥y∥=1∥A~y∥\sup_{y \in \mathbb{R}^2, \|y\|=1} \|\tilde{A}y\| 使用 Lagrange multipliers

這小題要求使用 Lagrange multipliers 來計算 ∥A∥M\|A\|_M 的定義,即在單位圓上的最大值。
我們需要最大化 ∥A~y∥2\|\tilde{A}y\|^2 使得 ∥y∥=1\|y\|=1。
令 L(y,λ)=∥A~y∥2−λ(∥y∥2−1)L(y, \lambda) = \|\tilde{A}y\|^2 - \lambda (\|y\|^2 - 1).
∥A~y∥2=(A~y)T(A~y)=yTA~TA~y\|\tilde{A}y\|^2 = (\tilde{A}y)^T (\tilde{A}y) = y^T \tilde{A}^T \tilde{A} y.
所以 L(y,λ)=yT(A~TA~)y−λ(yTy−1)L(y, \lambda) = y^T (\tilde{A}^T \tilde{A}) y - \lambda (y^T y - 1).
我們需要找到 ∇yL=0\nabla_y L = 0 和 ∇λL=0\nabla_\lambda L = 0。
∇λL=−(yTy−1)=−(∥y∥2−1)=0  ⟹  ∥y∥2=1\nabla_\lambda L = -(y^T y - 1) = -(\|y\|^2 - 1) = 0 \implies \|y\|^2 = 1.
∇yL=2(A~TA~)y−2λy=0\nabla_y L = 2(\tilde{A}^T \tilde{A})y - 2\lambda y = 0.
這給出 (A~TA~)y=λy(\tilde{A}^T \tilde{A})y = \lambda y.
這表明 yy 是 A~TA~\tilde{A}^T \tilde{A} 的特徵向量,而 λ\lambda 是對應的特徵值。
我們要求 ∥A~y∥2=yT(A~TA~)y=yT(λy)=λyTy=λ∥y∥2=λ\|\tilde{A}y\|^2 = y^T (\tilde{A}^T \tilde{A}) y = y^T (\lambda y) = \lambda y^T y = \lambda \|y\|^2 = \lambda.
因此,sup⁡y,∥y∥=1∥A~y∥2\sup_{y, \|y\|=1} \|\tilde{A}y\|^2 就是 A~TA~\tilde{A}^T \tilde{A} 的最大特徵值 λmax\lambda_{max}。
從第一小題我們知道 A~TA~\tilde{A}^T \tilde{A} 的特徵值是 7±137 \pm \sqrt{13}。
最大特徵值是 λmax=7+13\lambda_{max} = 7 + \sqrt{13}.
所以 sup⁡y∈R2,∥y∥=1∥A~y∥2=7+13\sup_{y \in \mathbb{R}^2, \|y\|=1} \|\tilde{A}y\|^2 = 7 + \sqrt{13}.
因此,sup⁡y∈R2,∥y∥=1∥A~y∥=7+13\sup_{y \in \mathbb{R}^2, \|y\|=1} \|\tilde{A}y\| = \sqrt{7 + \sqrt{13}}.

🔒

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

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

免費註冊

第 Problem 3. 題

Let (E,∥⋅∥)(E, \| \cdot \|) be a normed space. We recall that a series ∑n=1∞xn\sum_{n=1}^\infty x_n is said to be absolutely convergent if the numerical series ∑n=1∞∥xn∥\sum_{n=1}^\infty \|x_n\| is convergent.

  1. (5 points) Is the series ∑n=1∞1n\sum_{n=1}^\infty \frac{1}{n} convergent? Justify your answer and calculate its sum if you have a positive answer.
  2. (5 points) Is the series ∑n=1∞(−1)n−1n\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} convergent? Justify your answer and calculate its sum if you have a positive answer.
  3. (8 points) Show that if (E,∥⋅∥)(E, \| \cdot \|) is complete, then any absolutely convergent series converges in EE.
  4. (6 points) Let (yn)n∈N(y_n)_{n \in \mathbb{N}} be a Cauchy sequence in (E,∥⋅∥)(E, \| \cdot \|). Show that there exists a subsequence (ynk)k∈N(y_{n_k})_{k \in \mathbb{N}} of (yn)n∈N(y_n)_{n \in \mathbb{N}} such that ∀k∈N\forall k \in \mathbb{N}, ∥ynk−ynk+1∥≤2−k\|y_{n_k} - y_{n_k+1} \| \leq 2^{-k}.
  5. (6 points) We assume that any absolutely convergent series converges in EE. Show that (E,∥⋅∥)(E, \| \cdot \|) is complete.

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

這一題的完整詳解

這組題目主要考驗學生對無窮級數的收斂性、絕對收斂、完備空間以及 Cauchy 序列的理解。

核心觀念:

  • 級數的收斂性:必要條件是通項趨於零。
  • 絕對收斂:∑∥xn∥\sum \|x_n\| 收斂。絕對收斂蘊含收斂。
  • 完備空間:空間中的所有 Cauchy 序列都收斂到該空間的點。
  • Cauchy 序列:序列中任意兩項之間的距離可以任意小。
  • 級數與序列的關係:級數 ∑xn\sum x_n 的收斂是指其部分和序列 SN=∑n=1NxnS_N = \sum_{n=1}^N x_n 的收斂。

1. 級數 ∑n=1∞1n\sum_{n=1}^\infty \frac{1}{n} 的收斂性

這是調和級數。
證明不收斂 (發散):
調和級數是著名的發散級數。我們可以通過以下方式證明:
將級數分組:
1+12+(13+14)+(15+16+17+18)+…1 + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right) + \dots
每一組的和都大於或等於 1/21/2:

  • 1/3+1/4>1/4+1/4=1/21/3 + 1/4 > 1/4 + 1/4 = 1/2
  • 1/5+1/6+1/7+1/8>1/8+1/8+1/8+1/8=4/8=1/21/5 + 1/6 + 1/7 + 1/8 > 1/8 + 1/8 + 1/8 + 1/8 = 4/8 = 1/2
    一般地,從 1/(2k+1)1/(2^k+1) 到 1/(2k+1)1/(2^{k+1}) 的 2k2^k 個項的和:
    ∑j=2k+12k+11j>∑j=2k+12k+112k+1=2k⋅12k+1=12\sum_{j=2^k+1}^{2^{k+1}} \frac{1}{j} > \sum_{j=2^k+1}^{2^{k+1}} \frac{1}{2^{k+1}} = 2^k \cdot \frac{1}{2^{k+1}} = \frac{1}{2}
    由於我們可以無限地進行分組,並且每一組的和都大於 1/21/2,所以級數的和可以任意大,即級數發散。

計算和:
由於級數發散,沒有一個有限的和。

【答案】不收斂(發散)。


2. 級數 ∑n=1∞(−1)n−1n\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} 的收斂性

這是交錯調和級數。
證明收斂:
我們可以使用交錯級數檢驗法 (Alternating Series Test)。
設 an=1na_n = \frac{1}{n}。

  1. an=1n>0a_n = \frac{1}{n} > 0 對於所有 n≥1n \geq 1。
  2. ana_n 是遞減的:an+1=1n+1<1n=ana_{n+1} = \frac{1}{n+1} < \frac{1}{n} = a_n。
  3. lim⁡n→∞an=lim⁡n→∞1n=0\lim_{n \to \infty} a_n = \lim_{n \to \infty} \frac{1}{n} = 0。
    根據交錯級數檢驗法,級數 ∑n=1∞(−1)n−1an=∑n=1∞(−1)n−1n\sum_{n=1}^\infty (-1)^{n-1} a_n = \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} 是收斂的。

計算和:
這個級數的和是 ln⁡2\ln 2。
這可以通過 ln⁡(1+x)=x−x22+x33−…\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \dots 的泰勒級數在 x=1x=1 處求值得到,但需要證明級數在 x=1x=1 處收斂到 ln⁡(1+1)=ln⁡2\ln(1+1) = \ln 2(這涉及到 Abel's theorem)。
ln⁡(1+x)=∑n=1∞(−1)n−1xnn\ln(1+x) = \sum_{n=1}^\infty (-1)^{n-1} \frac{x^n}{n} 對於 ∣x∣<1|x|<1。
當 x=1x=1, ∑n=1∞(−1)n−1n\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} 是一個收斂級數。
根據 Abel's theorem,如果一個冪級數在收斂域的端點收斂,那麼它在該點的值等於函數在該點的值。
所以,∑n=1∞(−1)n−1n=ln⁡(1+1)=ln⁡2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} = \ln(1+1) = \ln 2。

【答案】收斂,和為 ln⁡2\ln 2。


3. 證明:若 (E,∥⋅∥)(E, \| \cdot \|) 是完備空間,則任意絕對收斂級數在 EE 中收斂

證明:
設 ∑n=1∞xn\sum_{n=1}^\infty x_n 是在完備賦範空間 (E,∥⋅∥)(E, \| \cdot \|) 中絕對收斂的級數。
這意味著數列 ∑n=1∞∥xn∥\sum_{n=1}^\infty \|x_n\| 收斂。
令 SN=∑n=1NxnS_N = \sum_{n=1}^N x_n 為級數的部分和序列。
我們需要證明序列 (SN)N∈N(S_N)_{N \in \mathbb{N}} 在 EE 中收斂。
由於 (E,∥⋅∥)(E, \| \cdot \|) 是完備空間,我們只需要證明 (SN)N∈N(S_N)_{N \in \mathbb{N}} 是一個 Cauchy 序列。

對於任意 M,N∈NM, N \in \mathbb{N} 且 M>NM > N,考慮 SM−SNS_M - S_N:
SM−SN=∑n=1Mxn−∑n=1Nxn=∑n=N+1MxnS_M - S_N = \sum_{n=1}^M x_n - \sum_{n=1}^N x_n = \sum_{n=N+1}^M x_n
現在我們取範數:
∥SM−SN∥=∥∑n=N+1Mxn∥\|S_M - S_N\| = \left\| \sum_{n=N+1}^M x_n \right\|
由於範數的三角不等式:
∥∑n=N+1Mxn∥≤∑n=N+1M∥xn∥\left\| \sum_{n=N+1}^M x_n \right\| \leq \sum_{n=N+1}^M \|x_n\|
由於級數 ∑n=1∞∥xn∥\sum_{n=1}^\infty \|x_n\| 是收斂的,它是一個數列的(數值)部分和序列的收斂。因此,這個數列的部分和序列是一個 Cauchy 序列。
所以,對於任意 ϵ>0\epsilon > 0, 存在一個 N0∈NN_0 \in \mathbb{N} 使得對於所有 M>N>N0M > N > N_0, 我們有 ∑n=N+1M∥xn∥<ϵ\sum_{n=N+1}^M \|x_n\| < \epsilon。
因此,對於所有 M>N>N0M > N > N_0,
∥SM−SN∥≤∑n=N+1M∥xn∥<ϵ\|S_M - S_N\| \leq \sum_{n=N+1}^M \|x_n\| < \epsilon
這證明了 (SN)N∈N(S_N)_{N \in \mathbb{N}} 是一個 Cauchy 序列。
由於 (E,∥⋅∥)(E, \| \cdot \|) 是完備的,Cauchy 序列 (SN)(S_N) 在 EE 中收斂到某個點 x∈Ex \in E。
所以,級數 ∑n=1∞xn\sum_{n=1}^\infty x_n 收斂到 x∈Ex \in E。

【證明完畢】


4. 證明:對任意 Cauchy 序列 (yn)(y_n) 在 (E,∥⋅∥)(E, \| \cdot \|) 中,存在子序列 (ynk)(y_{n_k}) 使得 ∥ynk−ynk+1∥≤2−k\|y_{n_k} - y_{n_k+1} \| \leq 2^{-k}

證明:
由於 (yn)(y_n) 是 Cauchy 序列,對於任意 ϵ>0\epsilon > 0, 存在 N∈NN \in \mathbb{N} 使得對於所有 m,n>Nm, n > N, ∥ym−yn∥<ϵ\|y_m - y_n\| < \epsilon。
我們要構造一個子序列 (ynk)(y_{n_k})。
首先,選擇 n1∈Nn_1 \in \mathbb{N}。
由於 (yn)(y_n) 是 Cauchy 序列,我們可以選擇 n1n_1 使得 ∥ym−yn∥<1/2\|y_m - y_n\| < 1/2 對於所有 m,n>n1m, n > n_1。
然後,選擇 n2>n1n_2 > n_1 使得 ∥ym−yn∥<1/4\|y_m - y_n\| < 1/4 對於所有 m,n>n2m, n > n_2。

🔒

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

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

免費註冊

第 Problem 4. 題

Let a,b,K∈Ra, b, K \in \mathbb{R} with a<ba < b and K>0K > 0. We say a real-valued function gg defined on [a,b][a, b] is K-Lipschitz continuous if
∀x,y∈[a,b],∣g(x)−g(y)∣≤K∣x−y∣.\forall x, y \in [a, b], |g(x) - g(y)| \leq K|x - y|.
Consider the sequence of real-valued functions (fn)n∈N(f_n)_{n \in \mathbb{N}} defined on [a,b][a, b]. We assume that for all n∈Nn \in \mathbb{N}, fnf_n is K-Lipschitz continuous and the sequence (fn)n∈N(f_n)_{n \in \mathbb{N}} converges pointwisely to ff on [a,b][a, b]. That means,
∀x∈[a,b],f(x)=lim⁡n→∞fn(x).\forall x \in [a, b], f(x) = \lim_{n \to \infty} f_n(x).

  1. (5 points) Show that the function ff is K-Lipschitz continuous on [a,b][a, b].
  2. (15 points) Show that (fn)n∈N(f_n)_{n \in \mathbb{N}} converges uniformly to ff on [a,b][a, b].

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

這一題的完整詳解

核心觀念

本題考查兩個重要概念:

  1. Lipschitz 連續性的極限保留性:若每個 fnf_n 都滿足同一個 Lipschitz 常數 KK,則可將不等式取極限,證明點態極限 ff 仍具有相同的 Lipschitz 常數。
  2. 等度連續性加上緊緻性導致一致收斂:所有 fnf_n 具有共同的 Lipschitz 常數,因此具有一致的連續控制;再利用閉區間 [a,b][a,b] 的緊緻性,將無限多個點的問題化為有限多個網格點的問題。

1. 證明 ff 是 KK-Lipschitz 連續

對任意固定的 x,y∈[a,b]x,y\in[a,b],因為每個 fnf_n 都是 KK-Lipschitz 連續,所以

∣fn(x)−fn(y)∣≤K∣x−y∣.|f_n(x)-f_n(y)|\leq K|x-y|.

又因為 fnf_n 在每一點都收斂至 ff,即

fn(x)→f(x),fn(y)→f(y),f_n(x)\to f(x),\qquad f_n(y)\to f(y),

因此

fn(x)−fn(y)→f(x)−f(y).f_n(x)-f_n(y)\to f(x)-f(y).

絕對值函數連續,所以

∣fn(x)−fn(y)∣→∣f(x)−f(y)∣.|f_n(x)-f_n(y)|\to |f(x)-f(y)|.

對原不等式取極限,得到

∣f(x)−f(y)∣≤K∣x−y∣.|f(x)-f(y)|\leq K|x-y|.

由於 x,yx,y 是 [a,b][a,b] 中任意兩點,故

∀x,y∈[a,b],∣f(x)−f(y)∣≤K∣x−y∣.\boxed{\forall x,y\in[a,b],\quad |f(x)-f(y)|\leq K|x-y|}.

所以 ff 是 KK-Lipschitz 連續函數。


2. 證明 (fn)(f_n) 一致收斂至 ff

解題方法

點態收斂只表示:對每一個固定的 xx,可以找到依賴於 xx 的 NN,使得 n≥Nn\geq N 時 fn(x)f_n(x) 接近 f(x)f(x)。

一致收斂則要求同一個 NN 同時適用於所有 x∈[a,b]x\in[a,b]。本題的關鍵是:

  • fnf_n 全部具有相同的 Lipschitz 常數 KK;
  • 第 1 題已證明 ff 也具有相同的 Lipschitz 常數 KK;
  • 因此只要控制有限個網格點,就能控制整個區間。

正式證明

任給 ε>0\varepsilon>0。

取

δ=ε6K>0.\delta=\frac{\varepsilon}{6K}>0.

由於 [a,b][a,b] 是有限閉區間,可以取有限個分點

a=t0<t1<⋯<tm=ba=t_0<t_1<\cdots<t_m=b

使得每一小段長度滿足

tj−tj−1<δ,j=1,…,m.t_j-t_{j-1}<\delta,\qquad j=1,\dots,m.

例如可取等距分割,並使網格寬度小於 δ\delta。

對每一個固定的網格點 tjt_j,由點態收斂可知

fn(tj)→f(tj).f_n(t_j)\to f(t_j).
🔒

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

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

免費註冊

其他考古題