課程名稱︰複分析 課程性質︰數學系大三必修 課程教師︰蔡忠潤 開課學院：理學院 開課系所︰數學系 考試日期（年月日）︰2016/01/14 考試時限（分鐘）：150 試題 : [Total: 37 points] In what follows, Ω is always assumed to be an open and connected proper subset of €. (1) [7 points] True/False questions, no justifications needed. ￣￣￣￣￣￣￣￣￣ (a) Given any three distinct complex numbers of unit length, ζ , ζ , and 1 2 ζ , define 3 z 1 f(z) = ∫ ───────────────── dw 0 2/3 ((w - ζ ) (w - ζ ) (w - ζ )) 1 2 3 for any z in the open unit disk. (Assume that the branch of 2/3-power is suitably chosen.) Then, we can find ζ , ζ , and ζ such that the 1 2 3 1 image of f(z) is a right triangle . (b) Suppose that f(z) is a function on ∂Ω, which is non-negative but not necessarily continuous. Let u(z) be the harmonic function on Ω produced 2 from the Perron's method with f(z). Then, u(z) ≧ 0 for any z ∈ Ω. (c) Suppose that ∂Ω is compact, and f(z) is a continuous function on ∂Ω. Then, there exists a harmonic function u(z) on Ω, which extends continuously to ∂Ω and which is equal to f(z) on ∂Ω. ︿ (d) For any α < -1, there exists an automorphism of € = € ∪ {∞}, f(z), such that f(0) = 0, f(1) = 1, and f(-1) = α. (e) Let Ω be the region enclosed by the heart curve, Ω = {(x, y) ∈ €| 2 2 3 2 3 (x + y - 1) - x y < 0}. Suppose that ψ(z) is an automorphism of Ω with ψ(0) = 0. Then, ψ(z) must be the identity map. 1 (f) Consider Ｆ = {f (z) =───} on €. It is normal, in the sense of n z + n n∈|N ︿ €. (g) There exists a non-constant entire function f(z), whose image does not contain the negative real axis. ∞ -2 (2) [5 points] Evaluate Σ n . Show your work. n=1 Hint: The zeros of sin(πz) are exactly Ｚ. Since ￣￣ sin(πz) = sin(πx) cosh(πy) + i cos(πx) sinh(πy) and cos(πz) = cos(πx) cosh(πy) - i sin(πx) sinh(πy), it is not hard to show that 1 ─|sin(πz)| ≦ |cos(πz)| ≦ 2|sin(πz)| 2 when |y| ≧ 1000. Another formula you might need is that ∞ 2 2 -1 π ∫ (a + s ) ds = ─. -∞ a (3) [2 + 5 points] Suppose that Ω is simply-connected. Fix a point z ∈ Ω. 0 Let Ｆ = {f(z): injective and analytic on Ω| f(z ) = 0, f'(z ) > 0, |f(z)| 0 0 < 1 for any z ∈ Ω}. (a) Why is Ｆ a normal family, in the sense of €? (b) Suppose that there exists a function g(z) ∈ Ｆ such that g'(z ) ≧ 0 f'(z ) for any f ∈ Ｆ. Prove that the image of g(z) is the (open) unit 0 disk. Namely, prove the surjectivity part of the Riemann mapping theorem. z - a 2 Hint: Given a ∈ D, let φ (z) = ───. Then, φ'(0) = 1 - |a| and ￣￣ a ─ a 1 - az 1 1 + |a| φ'(a) = ────. Another fact is that ────> 1 for any a ∈ D\{0}. a 2 ＿＿ 1 - |a| 2 √|a| (4) [5 points] Construct a harmonic function u(z) on the first quadrant, {z = x + iy ∈ €| x > 0 and y > 0} with the following property: ‧ u(z) extends continuously to the boundary except at the points 0 and 1; ‧ u(z) = 1 on the half-lines {y = 0, x > 1} and {x = 0, y > 0}; ‧ u(z) = 0 on the segment {0 < x < 1, y = 0}. ↑........... │........... u=1│........... │........... └──┴──→ 0 u=0 1 u=1 1 Hint: On the upper half space, ─ arg(z) is harmonic, and extends ￣￣ π continuously to the boundary except at the origin. Its value is 0 on the positive real axis, and is 1 on the negative real axis. (5) [6 points] Let Ｆ = {f(z): injective and analytic on Ω| f(z) ≠ 0 for any z ∈ Ω}. ︿ Prove that Ｆ is a normal family, in the sense of €. (6) [3 + 4 points] Let f(z) be an entire function. (a) Suppose that 0 is a pole of g(w) = f(1/w). Show that f(z) must be a polynomial. (b) Suppose that f(z) is not a polynomial. Then, given any w ∈ €, how 0 many roots does the equation f(z) = w have? Explain your reason. 0 Hint: You can think about what happens for f(z) = exp(z). ￣￣ ──── 1 That is to say, one angle of the triangle is π/2. 2 Namely, consider the supremum of certain subharmonic functions, u(z) = sup v(z). v∈Ｂ -- 2 2 1 ψxavier13540 給定一個二次元(|R )上的開集 G，設 f: G →|R ∈ C 。考慮一 autonomous system ╭dx/dt = f(x)，若 ∀t ≧ 0，有φ (x°) ∈ K ⊆ G，其中 K 在 G 上 compact，則 ╰x(0) = x° t ω(x°) 只能是一定點、一週期軌道或連接有限個 critical point 的連通路徑，不會像三 次元一樣可能出現混沌(chaos)。此即為 ODE 動力系統中的 Poincaré–Bendixson 定理。 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.212.7 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/NTU-Exam/M.1453060844.A.23F.html ※ 編輯: xavier13540 (140.112.212.7), 01/18/2016 04:10:58 ※ 編輯: xavier13540 (140.112.212.7), 01/18/2016 04:15:46 ※ 編輯: xavier13540 (140.112.212.7), 01/18/2016 04:16:34