109 年 國立清華大學數學系碩士班應數組《高等微積分》
第 1 題10 分
Let be differentiable. If and as , prove that .
登入後即可作答並保存紀錄。
核心觀念
題目主要考察極限的基本性質與夾擠定理:
- 若 ,則 在充分大的 下必定有界。
- 若 ,則
- 因為 時 ,由夾擠定理即可得到
條件 在本題中並不需要使用;僅由 即可完成證明。
解題方法
由 ,取 ,存在 ,使得當 時,
因此
對所有 ,便有
又因為
且
第 2 題10 分
Find the limit
登入後即可作答並保存紀錄。
本題考驗極限的計算,特別是涉及對數函數的極限,需要使用泰勒展開或均值定理來處理。
我們要計算的極限是:
首先,我們可以合併括號內的兩項:
所以原極限變成:
分子可以寫成 。
所以極限變為:
當 ,我們知道 。所以分母 。
同時,我們知道當 時,。令 ,當 時,。
所以,。
因此,分子 。
將這些近似代入極限:
這個極限顯然是 0。
為了得到嚴謹的證明,我們可以使用泰勒展開或均值定理。
方法一:使用泰勒展開
考慮 。當 很大時, 趨近於 0。
。
我們知道 。
令 ,則 。
所以,。
現在計算 :
令 且 。
乘以 :
當 ,分子趨近於 。
分母 ,所以 。
.
所以,整個極限趨近於 .
第 3 題12 分
Prove that the function
is continuous on .
登入後即可作答並保存紀錄。
核心觀念
本題考查「函數項級數的連續性」。所用定理如下:
若每一項函數 在集合 上連續,且級數
在 上一致收斂,則其和函數在 上連續。
本題定義
對每個固定的 ,因為 對所有 成立,所以 是 上的連續函數。
解題方法
由於題目要求證明 在整個 上連續,採用「任意閉區間上的一致收斂」即可。
任取 ,考慮閉區間
當 時,有 ,且
令
則
由魏爾斯特拉斯 -判別法,級數
第 4 題12 分
Suppose that is a sequence of polynomials, and that uniformly on the interval . Must be differentiable?
登入後即可作答並保存紀錄。
核心觀念
一致收斂定理指出:若每個 在 上連續,且 一致收斂,則極限函數 必連續。
然而,一致收斂一般不保證導數收斂,也不保證極限函數可微。多項式雖然處處可微,但其一致極限可能只具備連續性。
解題方法
要判斷題目中的敘述是否必然成立,只要找出一個「不可微,但可由多項式一致逼近」的函數作為反例。
考慮
此函數在 處不可微,因為左右導數分別為
因此 不是可微函數。
另一方面, 是 上的連續函數。根據 Weierstrass 多項式逼近定理,對任意 ,存在多項式 使得
第 5 題12 分
Is there a simple closed curve in the -plane which maximizes the value of
If so, find the maximum value.
登入後即可作答並保存紀錄。
核心觀念
本題使用格林定理。設 為一條正向(逆時針)簡單閉曲線, 為其所圍成的區域。若
則格林定理給出
計算偏導數:
因此
關鍵在於判斷被積函數 的正負,以及考察所有可能的簡單閉曲線是否能使積分達到最大值。
解題方法
當
時,有
也就是說,只要將區域限制在這條無限長的垂直帶狀區域
被積函數便處處為正。
取任意 ,考慮矩形區域
其邊界 取逆時針方向。因為在 上,
所以由格林定理,
第 6 題12 分
Let , and suppose satisfying and
for all . Prove that there exists a unique such that .
登入後即可作答並保存紀錄。
核心觀念
本題考查完備度量空間上的 Banach 不動點定理:
若 是完備度量空間,且 滿足
則 在 上存在唯一不動點,即存在唯一 使得 。
本題中:
- 是 的閉球,因此是完備的;
- 條件 表示 是壓縮映射;
- 使用 Banach 不動點定理前,必須先確認 。
題目條件的缺漏
由已知條件,對任意 ,只能得到
這並不能推出 ,因此無法保證 將 映射到自身。事實上,原命題並不成立。
取 、,令
則
且對任意 ,
所以題目所給的全部條件皆滿足。然而,不動點方程為
由於 ,所以 。因此 中不存在滿足 的點。
在補充必要條件下的標準解法
若題目原意另有條件
則可套用 Banach 不動點定理。
事實上, 是 的閉子集,而 在 Euclidean norm 下是完備的,因此 本身也是完備度量空間。又由題設,
第 7 題16 分
Let be defined by , where is a linear isomorphism and is a -function. Suppose that there are positive constants and such that for all in a neighborhood of the origin. Prove that is locally invertible near the origin.
登入後即可作答並保存紀錄。
本題考驗局部反函數定理 (Local Inverse Function Theorem) 的應用。
題目給定一個函數 ,定義為 。
其中, 是一個線性同構 (linear isomorphism), 是一個 函數。
並且,存在正常數 ,使得當 在原點的某個鄰域內時, 。
我們需要證明 在原點附近是局部可逆的 (locally invertible near the origin)。
局部反函數定理的條件:
一個函數 在點 附近是局部可逆的,若且唯若 在點 的雅可比矩陣 (Jacobian matrix) 是可逆的(即行列式不為零)。
對於 ,其雅可比矩陣是 。
由於 是線性同構, 對於某個可逆矩陣 。則 (一個常數矩陣)。
是 函數,所以 是存在的。
我們需要在原點 處考察 。
.
由於 是線性同構,其雅可比矩陣 對於所有 都是常數矩陣 ,即 。
所以 。
是 的雅可比矩陣。
關鍵問題: 是什麼?
我們知道 在原點附近。
這告訴我們 在原點附近「非常接近」於零向量。
更重要的是,這也意味著 在原點附近「非常接近」於零函數。
證明 :
對於 , 我們需要證明 對於所有 。
根據導數的定義:
其中 是標準基向量。
我們知道 。
所以 。
考慮 . 則 .
.
由於 , 當 時,.
所以,.
這意味著 的所有元素都是 0,即 是零矩陣。
現在我們回到 :
.
由於 是線性同構,矩陣 是可逆的。
因此, 是可逆的。
根據局部反函數定理,因為 在原點 的雅可比矩陣 是可逆的,所以 在原點 附近是局部可逆的。
證明步驟總結:
- 理解局部反函數定理: 函數 在點 局部可逆若且唯若 可逆。
- 計算 的雅可比矩陣: . .
- 分析 : 是線性同構,所以 對於某個可逆矩陣 . (常數矩陣)。
- 分析 在原點 的值: 利用條件 (其中 ) 來證明 .
- 對於 的偏導數 .
- 使用 .
- .
- 由於 , 當 時,.
- 因此, 對於所有 .
- 所以 是零矩陣。
- 得出結論: .
因為 是線性同構,矩陣 是可逆的。
所以 是可逆的。
根據局部反函數定理, 在原點 附近是局部可逆的。
一些細節的補充:
- 線性同構 意味著 對於一個 的可逆矩陣 。
- 是 函數,所以它的偏導數存在,並且 存在。
- 條件 表明 在原點附近「比線性函數衰減得更快」。對於 , 比 衰減得更快。
如果 是 的話,也足夠證明 .
意味著 .
第 8 題16 分
Let be a -function, and suppose for some ,
Prove that
(a) For even, has a local minimum at if , and a local maximum at if .
(b) For odd, there is neither a local maximum nor a local minimum at .
登入後即可作答並保存紀錄。
本題考驗高階導數判別函數極值的方法,即使用泰勒展開或高階導數檢驗法。
題目給定一個 函數 ,且在點 處,其前 階導數均為零,但 階導數 不為零。我們需要分析在 點的局部極值情況。
核心概念:高階導數判別法
對於函數 在點 處,如果 且 ,那麼:
- 如果 是偶數, 是一個局部極值點。
- 若 ,則 是局部最小值點。
- 若 ,則 是局部最大值點。
- 如果 是奇數,則 不是局部極值點,而是拐點 (inflection point)。
證明思路:
我們可以使用泰勒展開式來分析 在 點附近的行為。
函數 在點 附近的泰勒展開式為:
其中 是餘項。
根據題目給定的條件 ,以及 為常數,泰勒展開式簡化為:
其中 是高階餘項。根據泰勒定理,餘項可以表示為 (如果 是 )。
或者,使用拉格朗日餘項 的形式,但這裡我們已經知道 。
更恰當的餘項形式是使用佩亞諾餘項: 當 。
所以,。
我們需要分析 的符號,當 在 附近時。
令 .
。
當 充分接近 時,餘項 的影響遠小於主要項 。
因此, 的符號主要由 決定。
分析主要項的符號:
總是正的。
的符號由題目給定。
的符號取決於 的奇偶性和 的符號。
情況 (a): 是偶數。
當 是偶數時, 對於所有 。
- 如果 ,那麼 。
所以 。
在 的情況下, ,所以 。
這意味著 ,所以 是局部最小值點。 - 如果 ,那麼 。
所以 。
在 的情況下, ,所以 。
這意味著 ,所以 是局部最大值點。
情況 (b): 是奇數。
當 是奇數時, 的符號與 的符號相同。
- 如果 ,則 , .
- 如果 ,則 , .
考慮 。
- 如果 ,則 .
- 當 時,, 所以 。
- 當 時,, 所以 。
由於 在 的左側比 小,在 的右側比 大,所以 不是局部極值點。
- 如果 ,則 .
- 當 時,, 所以 。
- 當 時,, 所以 。
同樣, 不是局部極值點。
這種情況下, 是一個拐點。
嚴謹證明細節:
我們需要確保餘項 不會改變主要項的符號決定。
。
令 .