110 年 國立臺灣聯合大學系統(清華、政治、陽明交通、中央四校聯招)研究所電機類《工程數學(A)》

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

第 Problem 1. 題10 分

Problem 1. (10%) Given a matrix

A~1=[10121430a]\tilde{A}_1 = \begin{bmatrix} 1 & 0 & 1 \\ 2 & 1 & 4 \\ 3 & 0 & a \end{bmatrix}

where aa is a real number. Find the rank of A~1\tilde{A}_1 and give the corresponding range of aa.

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

這一題的完整詳解

核心觀念

矩陣的秩(rank)等於其線性獨立列向量或行向量的最大個數。對於 3×33\times 3 方陣:

  • 若 det⁡(A~1)≠0\det(\tilde A_1)\neq 0,則矩陣可逆,故 rank⁡(A~1)=3\operatorname{rank}(\tilde A_1)=3。
  • 若 det⁡(A~1)=0\det(\tilde A_1)=0,則秩小於 33,需再檢查二階子矩陣是否存在非零行列式,以判斷秩是否為 22。

給定

A~1=[10121430a].\tilde{A}_1= \begin{bmatrix} 1&0&1\\ 2&1&4\\ 3&0&a \end{bmatrix}.

解題方法

先計算矩陣行列式。沿著第一列展開:

det⁡(A~1)=1∣140a∣−0∣243a∣+1∣2130∣=1(a)+1(2⋅0−1⋅3)=a−3.\begin{aligned} \det(\tilde A_1) &= 1\begin{vmatrix} 1&4\\ 0&a \end{vmatrix} -0\begin{vmatrix} 2&4\\ 3&a \end{vmatrix} +1\begin{vmatrix} 2&1\\ 3&0 \end{vmatrix}\\ &=1(a)+1(2\cdot 0-1\cdot 3)\\ &=a-3. \end{aligned}

情況一:a≠3a\neq 3

此時

det⁡(A~1)=a−3≠0.\det(\tilde A_1)=a-3\neq 0.

矩陣為非奇異矩陣,三個列向量線性獨立,因此

rank⁡(A~1)=3.\operatorname{rank}(\tilde A_1)=3.
🔒

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

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

免費註冊

第 Problem 2. 題15 分

Problem 2. (15%) For the matrix

M1=[543−10−31−21]M_1 = \begin{bmatrix} 5 & 4 & 3 \\ -1 & 0 & -3 \\ 1 & -2 & 1 \end{bmatrix}

(i) (10%) Find the Eigenvalues and Eigenvectors for M1M_1.
(ii) (5%) Show that there exists a matrix J~\tilde{J}, which is similar to the matrix M1M_1 in the Jordon form, i.e.,

J~=Q~−1M1Q~\tilde{J} = \tilde{Q}^{-1} M_1 \tilde{Q}

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

這一題的完整詳解

核心觀念

本題考查矩陣的特徵值、特徵向量,以及 Jordan 標準形。

對矩陣 M1M_1:

  • 特徵值由特徵方程
    det⁡(λI−M1)=0\det(\lambda I-M_1)=0
    求得。
  • 對每個特徵值 λ\lambda,特徵向量 vv 滿足
    (M1−λI)v=0.\left(M_1-\lambda I\right)v=0.
  • 若某特徵值的代數重數大於幾何重數,矩陣無法對角化,必須使用 Jordan 區塊。
  • 若
    M1v1=λv1,M1v2=v1+λv2,M_1v_1=\lambda v_1,\qquad M_1v_2=v_1+\lambda v_2,
    則 v1,v2v_1,v_2 對應於 Jordan 區塊
    [λ10λ].\begin{bmatrix}\lambda&1\\0&\lambda\end{bmatrix}.

(i) 求特徵值與特徵向量

令

M1=[543−10−31−21].M_1= \begin{bmatrix} 5&4&3\\ -1&0&-3\\ 1&-2&1 \end{bmatrix}.

特徵方程為

det⁡(λI−M1)=∣λ−5−4−31λ3−12λ−1∣.\det(\lambda I-M_1) = \begin{vmatrix} \lambda-5&-4&-3\\ 1&\lambda&3\\ -1&2&\lambda-1 \end{vmatrix}.

沿第一列展開:

det⁡(λI−M1)=(λ−5)[λ(λ−1)−6]+4[(λ−1)+3]−3(2+λ)=(λ−5)(λ2−λ−6)+(λ+2)=(λ−5)(λ−3)(λ+2)+(λ+2)=(λ+2)[(λ−5)(λ−3)+1]=(λ+2)(λ2−8λ+16)=(λ+2)(λ−4)2.\begin{aligned} \det(\lambda I-M_1) &=(\lambda-5)\left[\lambda(\lambda-1)-6\right] +4\left[(\lambda-1)+3\right] -3(2+\lambda)\\ &=(\lambda-5)(\lambda^2-\lambda-6)+(\lambda+2)\\ &=(\lambda-5)(\lambda-3)(\lambda+2)+(\lambda+2)\\ &=(\lambda+2)\left[(\lambda-5)(\lambda-3)+1\right]\\ &=(\lambda+2)(\lambda^2-8\lambda+16)\\ &=(\lambda+2)(\lambda-4)^2. \end{aligned}

因此特徵值為

λ=−2,λ=4\boxed{\lambda=-2,\quad \lambda=4}

其中 λ=−2\lambda=-2 的代數重數為 11,λ=4\lambda=4 的代數重數為 22。

特徵值 λ=−2\lambda=-2

解

(M1+2I)v=0.(M_1+2I)v=0.

其中

M1+2I=[743−12−31−23].M_1+2I= \begin{bmatrix} 7&4&3\\ -1&2&-3\\ 1&-2&3 \end{bmatrix}.

設

v=[xyz].v= \begin{bmatrix}x\\y\\z\end{bmatrix}.

由方程組

{7x+4y+3z=0,−x+2y−3z=0,x−2y+3z=0,\begin{cases} 7x+4y+3z=0,\\ -x+2y-3z=0,\\ x-2y+3z=0, \end{cases}

可得

x=2y−3z.x=2y-3z.

代回第一式:

7(2y−3z)+4y+3z=0,7(2y-3z)+4y+3z=0,

所以

18y−18z=0⟹y=z.18y-18z=0\quad\Longrightarrow\quad y=z.

取 y=z=1y=z=1,則 x=−1x=-1。因此

v−2=[−111]\boxed{ v_{-2} = \begin{bmatrix} -1\\1\\1 \end{bmatrix} }

所有對應於 λ=−2\lambda=-2 的特徵向量為

v=c[−111],c≠0.\boxed{ v=c \begin{bmatrix} -1\\1\\1 \end{bmatrix}, \qquad c\neq 0. }

特徵值 λ=4\lambda=4

解

(M1−4I)v=0.(M_1-4I)v=0.

其中

M1−4I=[143−1−4−31−2−3].M_1-4I= \begin{bmatrix} 1&4&3\\ -1&-4&-3\\ 1&-2&-3 \end{bmatrix}.

因此

{x+4y+3z=0,x−2y−3z=0.\begin{cases} x+4y+3z=0,\\ x-2y-3z=0. \end{cases}

兩式相減得

6y+6z=0⟹y=−z.6y+6z=0 \quad\Longrightarrow\quad y=-z.

代回 x−2y−3z=0x-2y-3z=0:

x−2(−z)−3z=0⟹x=z.x-2(-z)-3z=0 \quad\Longrightarrow\quad x=z.

取 z=1z=1,得到

v4=[1−11]\boxed{ v_4= \begin{bmatrix} 1\\-1\\1 \end{bmatrix} }

所有對應於 λ=4\lambda=4 的特徵向量為

🔒

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

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

免費註冊

第 Problem 3. 題25 分

Problem 3. (25%) Let Rm×n\mathbb{R}^{m \times n} and Rn\mathbb{R}^n denote the set of real m×nm \times n matrices and the set of real n×1n \times 1 column vectors, respectively, and let Sn\mathcal{S}^n denote the set of real n×nn \times n symmetric positive semidefinite (PSD) matrices. This problem includes two parts as follows:

(a) (15%) Let A∈Rm×nA \in \mathbb{R}^{m \times n} with rr singular values σ1,…,σr\sigma_1, \dots, \sigma_r, Ur=[u1,…,ur]U_r = [\mathbf{u}_1, \dots, \mathbf{u}_r] consisting of the associated rr left singular vectors and Vr=[v1,…,vr]V_r = [\mathbf{v}_1, \dots, \mathbf{v}_r] consisting of the associated rr right singular vectors.

(i) Find the range space (i.e., column space) of AA, denoted as R(A)\mathcal{R}(A), and the row space of AA (i.e., R(AT)\mathcal{R}(A^T)) where ATA^T denotes the transpose of AA;
(ii) find the projection matrix PAP_A such that R(A)={PAx∣x∈Rn}\mathcal{R}(A) = \{P_A \mathbf{x} \mid \mathbf{x} \in \mathbb{R}^n\}, and PATP_{A^T};
(iii) find the eigenvalues and eigenvectors of ATAA^T A.

(b) (10%) Suppose that A,X∈SnA, X \in \mathcal{S}^n, and Tr(A)\text{Tr}(A) denotes the trace of AA (i.e., the sum of all the diagonal elements of AA).
(i) Is Tr(AX)≥0\text{Tr}(AX) \ge 0 true?
(ii) Is it true that if Tr(AX)=0\text{Tr}(AX) = 0, then AX=0∈Rn×nAX = \mathbf{0} \in \mathbb{R}^{n \times n} (zero matrix)? Prove or disprove your answer.

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

這一題的完整詳解

核心觀念

本題考查兩個主題:

  1. 奇異值分解(SVD)與四個基本子空間:

    • 欄空間 R(A)\mathcal{R}(A)
    • 列空間 R(AT)\mathcal{R}(A^T)
    • 正交投影矩陣
    • ATAA^TA 的特徵值與特徵向量
  2. 對稱半正定矩陣(PSD)的性質:

    • PSD 矩陣平方根
    • Tr⁡(AX)\operatorname{Tr}(AX) 的非負性
    • Tr⁡(AX)=0\operatorname{Tr}(AX)=0 對矩陣乘積 AXAX 的影響

設 AA 的秩為 rr,其縮減奇異值分解為

A=UrΣrVrT,A=U_r\Sigma_r V_r^T,

其中

Σr=diag⁡(σ1,…,σr),σi>0,\Sigma_r=\operatorname{diag}(\sigma_1,\dots,\sigma_r), \qquad \sigma_i>0,

且 Ur∈Rm×rU_r\in\mathbb{R}^{m\times r}、Vr∈Rn×rV_r\in\mathbb{R}^{n\times r} 的欄向量皆為正交規範向量。


(a)奇異值分解

(a)(i)求欄空間與列空間

由

A=UrΣrVrTA=U_r\Sigma_rV_r^T

可知,對任意 x∈Rn\mathbf{x}\in\mathbb{R}^n,

Ax=UrΣrVrTx.A\mathbf{x} = U_r\Sigma_rV_r^T\mathbf{x}.

其中 ΣrVrTx∈Rr\Sigma_rV_r^T\mathbf{x}\in\mathbb{R}^r,因此 AxA\mathbf{x} 必為 UrU_r 的欄向量線性組合。故

R(A)=span⁡{u1,…,ur}.\mathcal{R}(A)=\operatorname{span}\{\mathbf{u}_1,\dots,\mathbf{u}_r\}.

亦可寫成

R(A)=R(Ur).\mathcal{R}(A)=\mathcal{R}(U_r).

另一方面,

AT=VrΣrUrT.A^T=V_r\Sigma_rU_r^T.

因此 ATA^T 的欄空間由 VrV_r 的欄向量張成,也就是 AA 的列空間:

R(AT)=span⁡{v1,…,vr}.\mathcal{R}(A^T)=\operatorname{span}\{\mathbf{v}_1,\dots,\mathbf{v}_r\}.

所以

R(A)=span⁡{u1,…,ur}\boxed{\mathcal{R}(A)=\operatorname{span}\{\mathbf{u}_1,\dots,\mathbf{u}_r\}}

以及

R(AT)=span⁡{v1,…,vr}.\boxed{\mathcal{R}(A^T)=\operatorname{span}\{\mathbf{v}_1,\dots,\mathbf{v}_r\}}.

(a)(ii)求投影矩陣 PAP_A 與 PATP_{A^T}

由於 UrU_r 的欄向量為正交規範基底,投影到 R(Ur)=R(A)\mathcal{R}(U_r)=\mathcal{R}(A) 的正交投影矩陣為

PA=UrUrT.P_A=U_rU_r^T.

因此對任意 x∈Rm\mathbf{x}\in\mathbb{R}^m,

PAx∈R(A),P_A\mathbf{x}\in\mathcal{R}(A),

且

R(A)={PAx∣x∈Rm}.\mathcal{R}(A)=\{P_A\mathbf{x}\mid \mathbf{x}\in\mathbb{R}^m\}.

題目原文寫成 x∈Rn\mathbf{x}\in\mathbb{R}^n,但因為 PAP_A 是 m×mm\times m 矩陣,輸入向量應為 Rm\mathbb{R}^m。因此正確維度為

PA=UrUrT∈Rm×m.\boxed{P_A=U_rU_r^T\in\mathbb{R}^{m\times m}}.

同理,投影到列空間 R(AT)=R(Vr)\mathcal{R}(A^T)=\mathcal{R}(V_r) 的投影矩陣為

PAT=VrVrT∈Rn×n.\boxed{P_{A^T}=V_rV_r^T\in\mathbb{R}^{n\times n}}.

利用完整 SVD 也可寫成

PA=AA†,PAT=A†A,P_A=AA^\dagger, \qquad P_{A^T}=A^\dagger A,

其中 A†A^\dagger 為 Moore–Penrose 廣義逆矩陣。


(a)(iii)求 ATAA^TA 的特徵值與特徵向量

由 SVD 得

ATA=(UrΣrVrT)T(UrΣrVrT).A^TA = \left(U_r\Sigma_rV_r^T\right)^T \left(U_r\Sigma_rV_r^T\right).

因此

ATA=VrΣrTUrTUrΣrVrT.A^TA = V_r\Sigma_r^TU_r^TU_r\Sigma_rV_r^T.

因為 UrTUr=IrU_r^TU_r=I_r,且 Σr\Sigma_r 為對角矩陣,所以

ATA=VrΣr2VrT.A^TA=V_r\Sigma_r^2V_r^T.

對第 ii 個右奇異向量 vi\mathbf{v}_i,有

ATAvi=VrΣr2VrTvi.A^TA\mathbf{v}_i = V_r\Sigma_r^2V_r^T\mathbf{v}_i.

由 VrTvi=eiV_r^T\mathbf{v}_i=\mathbf{e}_i,可得

ATAvi=σi2vi.A^TA\mathbf{v}_i = \sigma_i^2\mathbf{v}_i.

所以:

  • 特徵值為 σi2\sigma_i^2;
  • 對應特徵向量為 vi\mathbf{v}_i。

此外,ATAA^TA 的秩為 rr,因此若 r<nr<n,還有 n−rn-r 個零特徵值。其對應特徵向量屬於 N(A)\mathcal{N}(A),因為

ATAz=0⟺∥Az∥22=0⟺Az=0.A^TA\mathbf{z}=\mathbf{0} \quad\Longleftrightarrow\quad \|A\mathbf{z}\|_2^2=0 \quad\Longleftrightarrow\quad A\mathbf{z}=\mathbf{0}.

若以 V0V_0 表示 N(A)\mathcal{N}(A) 的正交規範基底,則

🔒

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

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

免費註冊

第 Problem 4. 題10 分

Problem 4. (10%) Solve the ODEs:
(a) (5%) the first-order ODE:

y′−2xy=ex2y' - 2xy = e^{x^2}

(b) (5%) the second-order ODE:

y′′+5y′+4y=e−4xy'' + 5y' + 4y = e^{-4x}

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

這一題的完整詳解

核心觀念

本題考查兩類常見常微分方程:

  • 一階線性微分方程:
    y′+P(x)y=Q(x)y'+P(x)y=Q(x)
    使用積分因子
    μ(x)=e∫P(x) dx\mu(x)=e^{\int P(x)\,dx}
  • 二階常係數非齊次微分方程:
    先解特徵方程取得齊次解,再利用待定係數法求特解。

(a) 一階線性微分方程

題目為

y′−2xy=ex2.y'-2xy=e^{x^2}.

解題方法

與標準形式

y′+P(x)y=Q(x)y'+P(x)y=Q(x)

比較可得

P(x)=−2x.P(x)=-2x.

因此積分因子為

μ(x)=e∫−2x dx=e−x2.\mu(x)=e^{\int -2x\,dx}=e^{-x^2}.

方程式兩邊同乘積分因子:

e−x2y′−2xe−x2y=1.e^{-x^2}y'-2xe^{-x^2}y=1.

左側正好是乘積微分:

ddx(e−x2y)=1.\frac{d}{dx}\left(e^{-x^2}y\right)=1.

兩邊積分:

e−x2y=x+C.e^{-x^2}y=x+C.

故通解為

y=ex2(x+C).\boxed{y=e^{x^2}(x+C)}.

快速驗算

令

y=ex2(x+C),y=e^{x^2}(x+C),

則

y′=2xex2(x+C)+ex2.y'=2xe^{x^2}(x+C)+e^{x^2}.

因此

y′−2xy=ex2,y'-2xy=e^{x^2},

完全符合原方程式。


(b) 二階常係數非齊次微分方程

題目為

y′′+5y′+4y=e−4x.y''+5y'+4y=e^{-4x}.

1. 求齊次解

先考慮對應的齊次方程:

y′′+5y′+4y=0.y''+5y'+4y=0.

其特徵方程為

r2+5r+4=0.r^2+5r+4=0.

因式分解:

(r+1)(r+4)=0,(r+1)(r+4)=0,

所以兩個特徵根為

r=−1,r=−4.r=-1,\qquad r=-4.

因此齊次解為

yh=C1e−x+C2e−4x.y_h=C_1e^{-x}+C_2e^{-4x}.

2. 求特解

右側非齊次項為

e−4x.e^{-4x}.
🔒

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

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

免費註冊

第 Problem 5. 題10 分

Problem 5. (10%) Find the Fourier series of f(x)f(x).
(a) (5%)

f(x)=x2,−π≤x≤π,f(x+m2π)=f(x),m∈Z.f(x) = x^2, -\pi \le x \le \pi, f(x + m2\pi) = f(x), m \in \mathbb{Z}.

(b) (5%)

f(x)={1,−1≤x≤1,0,x<−1;x>1f(x) = \begin{cases} 1, & -1 \le x \le 1, \\ 0, & x < -1; x > 1 \end{cases}

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

這一題的完整詳解

(a) f(x)=x2f(x)=x^{2}(2π2\pi週期)

ff 為偶函數,故 bn=0b_{n}=0。

a0=1π∫−ππx2 dx=2π∫0πx2 dx=2π⋅π33=2π23a_{0}= \frac1\pi\int_{-\pi}^{\pi}x^{2}\,dx =\frac{2}{\pi}\int_{0}^{\pi}x^{2}\,dx =\frac{2}{\pi}\cdot\frac{\pi^{3}}{3}= \frac{2\pi^{2}}{3}

a02=π23\frac{a_{0}}2=\frac{\pi^{2}}3

an=1π∫−ππx2cos⁡(nx) dx=2π∫0πx2cos⁡(nx) dx=4(−1)nn2,n≥1a_{n}= \frac1\pi\int_{-\pi}^{\pi}x^{2}\cos(nx)\,dx =\frac{2}{\pi}\int_{0}^{\pi}x^{2}\cos(nx)\,dx =\frac{4(-1)^{n}}{n^{2}},\qquad n\ge1

bn=0,n≥1b_{n}=0,\qquad n\ge1

 x2=π23+4∑n=1∞(−1)nn2cos⁡(nx) \boxed{\,x^{2}= \frac{\pi^{2}}3+4\sum_{n=1}^{\infty}\frac{(-1)^{n}}{n^{2}}\cos(nx)\,}


🔒

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

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

免費註冊

第 Problem 6. 題5 分

Problem 6. (5%) Use Laplace transform to solve the following differential equation:

y′′+y=δ(t−π),y'' + y = \delta(t - \pi),

with initial conditions

y(0)=0,y(0) = 0, y′(0)=0.y'(0) = 0.

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

這一題的完整詳解

核心觀念

本題考查:

  1. 拉普拉斯變換處理含有 Dirac delta 函數的微分方程。
  2. 微分的拉普拉斯變換公式: L{y′′(t)}=s2Y(s)−sy(0)−y′(0).\mathcal{L}\{y''(t)\}=s^2Y(s)-sy(0)-y'(0).
  3. 平移脈衝的拉普拉斯變換: L{δ(t−a)}=e−as.\mathcal{L}\{\delta(t-a)\}=e^{-as}.
  4. 第二平移定理: L−1{e−asF(s)}=u(t−a)f(t−a),\mathcal{L}^{-1}\{e^{-as}F(s)\} =u(t-a)f(t-a), 其中 f(t)=L−1{F(s)}f(t)=\mathcal{L}^{-1}\{F(s)\}。

解題方法

令

Y(s)=L{y(t)}.Y(s)=\mathcal{L}\{y(t)\}.

對微分方程

y′′+y=δ(t−π)y''+y=\delta(t-\pi)

兩邊取拉普拉斯變換。由初始條件 y(0)=0y(0)=0、y′(0)=0y'(0)=0,可得

L{y′′}=s2Y(s)−sy(0)−y′(0)=s2Y(s).\mathcal{L}\{y''\} =s^2Y(s)-sy(0)-y'(0) =s^2Y(s).

此外,

L{y}=Y(s),\mathcal{L}\{y\}=Y(s),

且

L{δ(t−π)}=e−πs.\mathcal{L}\{\delta(t-\pi)\}=e^{-\pi s}.

因此

s2Y(s)+Y(s)=e−πs,s^2Y(s)+Y(s)=e^{-\pi s},

整理得

(s2+1)Y(s)=e−πs,(s^2+1)Y(s)=e^{-\pi s},

所以

Y(s)=e−πss2+1.Y(s)=\frac{e^{-\pi s}}{s^2+1}.

先注意到

L−1{1s2+1}=sin⁡t.\mathcal{L}^{-1}\left\{\frac{1}{s^2+1}\right\}=\sin t.

利用第二平移定理:

🔒

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

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

免費註冊

第 Problem 7. 題10 分

Problem 7. (10%) Let f(z)f(z) be a function of a complex variable z=x+iyz = x + iy.
(a) (5%) Assume that Re{f(z)}=x3−3xy2\text{Re}\{f(z)\} = x^3 - 3xy^2. Find the imaginary part Im{f(z)}\text{Im}\{f(z)\} so that f(z)f(z) is analytic for all z∈Cz \in \mathbb{C}.
(b) (5%) Assume that u(x,y)=x3+3xy2u(x, y) = x^3 + 3xy^2. Show that it is impossible to find a real-valued function v(x,y)v(x, y) such that f(z)=u(x,y)+iv(x,y)f(z) = u(x, y) + iv(x, y) is differentiable with respect to zz for all z∈Cz \in \mathbb{C}.

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

這一題的完整詳解

核心觀念

若 f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y) 在區域內解析,則 u,vu,v 必須滿足柯西—黎曼方程:

ux=vy,uy=−vx.u_x=v_y,\qquad u_y=-v_x.

此外,解析函數的實部與虛部皆為調和函數,因此必須滿足:

uxx+uyy=0.u_{xx}+u_{yy}=0.

(a)求 Im⁡{f(z)}\operatorname{Im}\{f(z)\}

已知

u(x,y)=Re⁡{f(z)}=x3−3xy2.u(x,y)=\operatorname{Re}\{f(z)\}=x^3-3xy^2.

先計算偏導數:

ux=3x2−3y2,uy=−6xy.u_x=3x^2-3y^2,\qquad u_y=-6xy.

由柯西—黎曼方程,

vx=−uy=6xy,v_x=-u_y=6xy, vy=ux=3x2−3y2.v_y=u_x=3x^2-3y^2.

由 vx=6xyv_x=6xy 對 xx 積分:

v(x,y)=∫6xy dx=3x2y+g(y),v(x,y)=\int 6xy\,dx=3x^2y+g(y),

其中 g(y)g(y) 只與 yy 有關。

再對 yy 微分:

vy=3x2+g′(y).v_y=3x^2+g'(y).

`

與柯西—黎曼方程要求的 vyv_y 比較:

3x2+g′(y)=3x2−3y2,3x^2+g'(y)=3x^2-3y^2,

因此

g′(y)=−3y2,g'(y)=-3y^2, g(y)=−y3+C.g(y)=-y^3+C.

所以

Im⁡{f(z)}=v(x,y)=3x2y−y3+C.\operatorname{Im}\{f(z)\}=v(x,y)=3x^2y-y^3+C.

注意

z3=(x+iy)3=x3−3xy2+i(3x2y−y3),z^3=(x+iy)^3 =x^3-3xy^2+i(3x^2y-y^3),

故函數可寫成

f(z)=z3+iC,f(z)=z^3+iC,

其中 C∈RC\in\mathbb{R}。


(b)證明不存在此類實值函數 v(x,y)v(x,y)

已知

u(x,y)=x3+3xy2.u(x,y)=x^3+3xy^2.

方法一:使用調和函數必要條件

計算二階偏導數:

ux=3x2+3y2,uxx=6x,u_x=3x^2+3y^2,\qquad u_{xx}=6x, uy=6xy,uyy=6x.u_y=6xy,\qquad u_{yy}=6x.

因此

🔒

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

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

免費註冊

第 Problem 8. 題15 分

Problem 8. (15%) Let f(z)=11+z3f(z) = \frac{1}{1 + z^3}.
(a) (4%) Calculate f′(0)f'(0) and f′′(0)f''(0).
(b) (4%) Find the Taylor series expansion of f(z)f(z) about the point z=0z = 0; that is, find the coefficients {cn}n=1∞\{c_n\}_{n=1}^{\infty} such that

f(z)=∑n=0∞cnznf(z) = \sum_{n=0}^{\infty} c_n z^n

in a certain neighborhood of z=0z = 0.
(c) (2%) Continuing from part (b), what is the region of convergence?
(d) (5%) Let CC denote the path along the y axis from −∞-\infty to ∞\infty. Calculate ∫Cf(z)dz\int_C f(z)dz; i.e., evaluate the following integral:

∫Cf(z)dz=∫−∞∞11+z3dz\int_C f(z)dz = \int_{-\infty}^{\infty} \frac{1}{1 + z^3} dz

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

這一題的完整詳解

核心觀念

本題綜合考查:

  • 複變函數的高階導數。
  • 幾何級數與 Taylor 展開。
  • Taylor 級數的收斂半徑與奇點位置。
  • 複變積分、留數定理與路徑方向。

函數為

f(z)=11+z3.f(z)=\frac{1}{1+z^3}.

其奇點由 1+z3=01+z^3=0 決定。


(a)計算 f′(0)f'(0) 與 f′′(0)f''(0)

對 f(z)f(z) 微分:

f′(z)=−3z2(1+z3)2.f'(z) =-\frac{3z^2}{(1+z^3)^2}.

因此

f′(0)=0.f'(0)=0.

再微分一次:

f′′(z)=−6z(1+z3)−2+18z4(1+z3)−3.f''(z) =-6z(1+z^3)^{-2} +18z^4(1+z^3)^{-3}.

代入 z=0z=0:

f′′(0)=0.f''(0)=0.

(b)在 z=0z=0 附近的 Taylor 展開

將函數改寫為幾何級數形式:

f(z)=11−(−z3).f(z)=\frac{1}{1-(-z^3)}.

利用公式

11−w=∑k=0∞wk,∣w∣<1,\frac{1}{1-w}=\sum_{k=0}^{\infty}w^k, \qquad |w|<1,

令 w=−z3w=-z^3,得到

f(z)=∑k=0∞(−z3)k=∑k=0∞(−1)kz3k.f(z) =\sum_{k=0}^{\infty}(-z^3)^k =\sum_{k=0}^{\infty}(-1)^kz^{3k}.

因此展開為

11+z3=1−z3+z6−z9+z12−⋯ .\frac{1}{1+z^3} =1-z^3+z^6-z^9+z^{12}-\cdots.

若寫成

f(z)=∑n=0∞cnzn,f(z)=\sum_{n=0}^{\infty}c_nz^n,

則係數為

cn={(−1)k,n=3k,k=0,1,2,…,0,n≢0(mod3).c_n= \begin{cases} (-1)^k, & n=3k,\quad k=0,1,2,\ldots,\\[4pt] 0, & n\not\equiv 0\pmod 3. \end{cases}

前幾項係數為

c0=1,c1=0,c2=0,c3=−1,c4=0,c5=0.c_0=1,\qquad c_1=0,\qquad c_2=0,\qquad c_3=-1,\qquad c_4=0,\qquad c_5=0.

這也與(a)的結果一致,因為

f′(0)=1!c1=0,f'(0)=1!c_1=0,

以及

f′′(0)=2!c2=0.f''(0)=2!c_2=0.

(c)收斂區域

幾何級數要求

∣−z3∣<1.|-z^3|<1.

因此

∣z∣3<1⟹∣z∣<1.|z|^3<1 \quad\Longrightarrow\quad |z|<1.

也可由奇點判斷。方程式

z3=−1z^3=-1

的三個根為

z=−1,z=eiπ/3,z=ei5π/3,z=-1,\qquad z=e^{i\pi/3},\qquad z=e^{i5\pi/3},

三者距離原點皆為 11,所以以原點為中心的 Taylor 級數收斂半徑為

R=1.R=1.

在 ∣z∣=1|z|=1 時,級數的一般非零項大小皆為 11,不會趨近於 00,因此邊界上不收斂。

故收斂區域為

∣z∣<1.\boxed{|z|<1}.

(d)沿虛軸計算複變積分

路徑 CC 為沿虛軸由 −∞-\infty 到 ∞\infty,方向向上。題目中的積分應理解為路徑積分:

∫C11+z3 dz.\int_C\frac{1}{1+z^3}\,dz.

方法一:直接代換驗算

令

z=iy,−∞<y<∞,z=iy,\qquad -\infty<y<\infty,

則

🔒

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

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

免費註冊

其他考古題