Skip to content
CalcGospel 微積分福音
返回

112 政治大學微積分 第 1 題

考題 / 轉學考微積分 / 政大 / 微積分

112學年度 · 112微積分 · 第 1 題

題目

Problem

  1. Prove or disprove the following statements: (1) If ak>0a_k > 0 for all kNk \in \mathbb{N} and limnan=0\lim_{n \to \infty} a_n = 0, then the series n=1(1)n+1an\sum_{n=1}^\infty (-1)^{n+1} a_n is convergent. (8%) (2) The series n=1ln(n2n2+1)\sum_{n=1}^\infty \ln \left( \frac{n^2}{n^2 + 1} \right) is convergent. (8%) (3) Let f(x,y)=xysiny3x2+y2f(x, y) = \frac{xy \sin y}{3x^2 + y^2} if (x,y)(0,0)(x, y) \neq (0, 0) and f(x,y)=0f(x, y) = 0 if (x,y)=(0,0)(x, y) = (0, 0). Then ff is continuous at (0,0)(0, 0). (8%)

解答

(1) 證明或反駁 (1)

結論

此陳述是錯誤的(Disprove)。

分析與反例

展開

交錯級數審斂法 (Leibniz’s Theorem) 的成立需要兩個條件:

  1. limnan=0\lim_{n\to\infty} a_n = 0
  2. 數列 {an}\{a_n\} 必須是單調遞減的(即對於足夠大的 nn,有 an+1ana_{n+1} \le a_n)。

本題中只給出了第一個條件,未給出單調遞減的條件。因此我們可以構造一個不滿足遞減性且發散的交錯級數作為反例。

構造反例: 我們定義數列 {ak}\{a_k\} 如下:

ak={1k,若 k 為偶數12k,若 k 為奇數a_k = \begin{cases} \frac{1}{k}, & \text{若 } k \text{ 為偶數} \\[2mm] \frac{1}{2^k}, & \text{若 } k \text{ 為奇數} \end{cases}
  • 非負性:顯然對於所有 kNk \in \mathbb{N},有 ak>0a_k > 0
  • 極限:當 nn \to \infty 時, limnan=0\lim_{n\to\infty} a_n = 0
  • 級數開展n=1(1)n+1an=a1a2+a3a4+=1212+1814+13216+\sum_{n=1}^\infty (-1)^{n+1} a_n = a_1 - a_2 + a_3 - a_4 + \cdots = \frac{1}{2} - \frac{1}{2} + \frac{1}{8} - \frac{1}{4} + \frac{1}{32} - \frac{1}{6} + \cdots 此級數由兩部分組成:
    1. 奇數項之和(幾何級數): m=1122m1=12+18+132+\sum_{m=1}^\infty \frac{1}{2^{2m-1}} = \frac{1}{2} + \frac{1}{8} + \frac{1}{32} + \cdots 比值為 1/41/4,此部分收斂。
    2. 偶數項之和(調和級數的常數倍): m=1(12m)=12m=11m\sum_{m=1}^\infty \left( -\frac{1}{2m} \right) = -\frac{1}{2} \sum_{m=1}^\infty \frac{1}{m} 此部分為調和級數,發散。

一個收斂部分與一個發散部分相加,其結果必發散。故該級數發散,原陳述不成立。


(2) 證明或反駁 (2)

結論

此陳述是正確的(Prove)。

證明過程

展開

原級數為:

n=1ln(n2n2+1)=n=1ln(n2+1n2)=n=1ln(1+1n2)\sum_{n=1}^\infty \ln \left( \frac{n^2}{n^2 + 1} \right) = -\sum_{n=1}^\infty \ln \left( \frac{n^2 + 1}{n^2} \right) = -\sum_{n=1}^\infty \ln \left( 1 + \frac{1}{n^2} \right)

我們考慮級數 n=1ln(1+1n2)\displaystyle \sum_{n=1}^\infty \ln \left( 1 + \frac{1}{n^2} \right),其各項為正。我們使用極限比較審斂法 (Limit Comparison Test),將其與收斂的 pp-級數 n=11n2\displaystyle \sum_{n=1}^\infty \frac{1}{n^2} (其中 p=2>1p=2>1)進行比較:

limnln(1+1n2)1n2\lim_{n\to\infty} \frac{\ln\left(1 + \frac{1}{n^2}\right)}{\frac{1}{n^2}}

我們令 u=1n2u = \frac{1}{n^2},當 nn\to\inftyu0+u\to 0^+

limu0+ln(1+u)u=L.H.limu0+11+u1=1\lim_{u\to 0^+} \frac{\ln(1+u)}{u} \stackrel{\text{L.H.}}{=} \lim_{u\to 0^+} \frac{\frac{1}{1+u}}{1} = 1

由於極限值為常數 1>01 > 0,根據極限比較審斂法,級數 n=1ln(1+1n2)\displaystyle \sum_{n=1}^\infty \ln \left( 1 + \frac{1}{n^2} \right)n=11n2\displaystyle \sum_{n=1}^\infty \frac{1}{n^2} 具有相同的斂散性。 因為 n=11n2\displaystyle \sum_{n=1}^\infty \frac{1}{n^2} 收斂,所以原級數 n=1ln(n2n2+1)\displaystyle \sum_{n=1}^\infty \ln \left( \frac{n^2}{n^2 + 1} \right)收斂


(3) 證明或反駁 (3)

結論

此陳述是正確的(Prove)。

證明過程

展開

要證明 f(x,y)f(x,y)(0,0)(0,0) 處連續,我們必須證明:

lim(x,y)(0,0)f(x,y)=f(0,0)=0\lim_{(x,y)\to(0,0)} f(x, y) = f(0,0) = 0

對於 (x,y)(0,0)(x,y) \neq (0,0)

f(x,y)=xysiny3x2+y2=xysiny3x2+y2|f(x, y)| = \left| \frac{xy \sin y}{3x^2 + y^2} \right| = \frac{|x||y||\sin y|}{3x^2 + y^2}

我們利用不等式 sinyy|\sin y| \le |y| 進行放大:

f(x,y)xy23x2+y2|f(x, y)| \le \frac{|x|y^2}{3x^2 + y^2}

由於對所有實數 x,yx, y 均有 3x2+y2y203x^2 + y^2 \ge y^2 \ge 0,因此:

y23x2+y21\frac{y^2}{3x^2 + y^2} \le 1

由此可得:

0f(x,y)xy23x2+y2x0 \le |f(x, y)| \le |x| \cdot \frac{y^2}{3x^2 + y^2} \le |x|

由於當 (x,y)(0,0)(x,y) \to (0,0) 時, lim(x,y)(0,0)x=0\lim_{(x,y)\to(0,0)} |x| = 0。 根據夾擠定理 (Squeeze Theorem)

lim(x,y)(0,0)f(x,y)=0\lim_{(x,y)\to(0,0)} f(x, y) = 0

因為極限值等於函數值 f(0,0)=0f(0,0) = 0,故 f(x,y)f(x,y)(0,0)(0,0)連續