Complex Analysis Homework 2

import%20marimo%0A%0A__generated_with%20%3D%20%220.17.6%22%0Aapp%20%3D%20marimo.App()%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20nav_menu%20%3D%20mo.nav_menu(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Findex.html%22%3A%20f%22%7Bmo.icon('lucide%3Ahome')%7D%20Home%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20orientation%3D%22vertical%22%2C%0A%20%20%20%20)%0A%20%20%20%20nav_menu%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%201%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Let%20%24f%20%5Cin%20H(V)%24%20and%20%24%7C%20f%20%7C%20%3D%24%20constant.%20Show%20that%20%24f%24%20is%20a%20constant%20function**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20%24f%20%3D%20u%20%2B%20iv%24%2C%20then%20%24%7C%20f%20%7C%20%3D%20(u%20%2B%20iv)(u%20-%20iv)%20%3D%20(u%20u%20%2B%20v%20v)%20%2B%20i(-u%20v%20%2B%20u%20v)%20%3D%20u%5E2%20%2B%20v%5E2%24%2C%20by%20assumption%2C%20is%20some%20constant.%0A%0A%20%20%20%20Take%20the%20derivative%20of%20%24u%5E2%20%2B%20v%5E2%20%3D%24%20constant%20with%20respect%20to%20%24x%2C%20y%24%20both%20side%20then%3A%20%24%24%5Cbegin%7Bcases%7D%20u_xu%2Bv_xv%20%3D%200%20%5C%5C%20u_y%20u%20%2B%20v_y%20v%20%3D%200%20%5Cend%7Bcases%7D.%24%24%20Since%20%24f%20%5Cin%20H(V)%24%20clearly%20it%20has%20to%20satisfy%20the%20Cauchy-Riemann%20Equation%2C%20thus%20we%20can%20rewrite%20the%20above%20two%20equations%20as%3A%20%24%24%5Cbegin%7Bcases%7D%20u_x%20u%20-%20u_y%20v%20%3D%200%20%5C%5C%20u_xv%2Bu_yu%20%3D%200%20%5Cend%7Bcases%7D.%24%24%20Which%20is%20the%20same%20as%3A%20%24%24%5Cbegin%7Bbmatrix%7D%20u%20%26%20-v%20%5C%5C%20v%20%26%20u%20%5Cend%7Bbmatrix%7D%20%5Cbegin%7Bbmatrix%7D%20u_x%20%5C%5C%20u_y%20%5Cend%7Bbmatrix%7D%20%3D%20%5Cbegin%7Bbmatrix%7D%200%20%5C%5C%200%20%5Cend%7Bbmatrix%7D.%24%24%20Then%20%24%5Cdet(%5Cbegin%7Bbmatrix%7D%20u%20%26%20-v%20%5C%5C%20v%20%26%20u%20%5Cend%7Bbmatrix%7D)%20%3D%20u%5E2%20%2B%20v%5E2%24.%0A%0A%20%20%20%20If%20%24u%5E2%20%2B%20v%5E2%20%3D%200%24%20then%20%24f%20%3D%200%24%20is%20clearly%20constant.%0A%0A%20%20%20%20If%20else%20then%20the%20matrix%20has%20non-zero%20determinant%2C%20then%20the%20two%20vectors%20%24(u%2C%20v)%24%20and%20%24(-v%2C%20u)%24%20are%20linearly%20independent.%20Thus%20%24u_x%2C%20u_y%24%20thus%20%24u_x%2C%20u_y%2C%20v_x%2C%20v_y%24%20all%20zero%2C%20thus%20%24f%24%20is%20a%20constant.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Use%20Cauchy's%20Theorem%202.7%20to%20evaluate%20%24%5Cint_%7B0%7D%5E%7B%5Cinfty%7D%20e%5E%7B-x%5E2%7D%20%5Ccos((2%20b%20x))dx%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Denote%20this%20integral%20as%20%24I%24%20for%20convenience.%20%24e%5E%7B-x%5E2%7D%20%5Ccos((2%20b%20x))%24%20is%20an%20even%20function.%20Thus%20%24I%20%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7D%20e%5E%7B-x%5E2%7D%20%5Ccos((2%20b%20x))dx%24.%20Since%20%24e%5E%7Bi%20z%7D%20%3D%20%5Ccos(z)%20%2B%20i%20%5Csin(z)%24%2C%20%24%5Ccos(z)%20%3D%20%5Ctext%7Bre%7D(e%5E%7Bi%20z%7D)%24%20and%20sine%20is%20the%20imaginary%20part.%20%24I%20%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%7D%5Ctext%7Bre%7D(e%5E%7Bi%202%20b%20x%7D)dx%20%3D%20%5Ctext%7Bre%7D(%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%2Bi%202%20b%20x%7Ddx)%24.%20Thus%20%24I%20%2B%20i%20%5Ctext%7Bim%7D(%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%2Bi%202%20b%20x%7Ddx)%24%20%24%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%2Bi%202%20b%20x%7Ddx%24%20%24%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-(x-ib)%5E2-b%5E2%7Ddx%24%20%24%3De%5E%7B-b%5E2%7D%2F2%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-(x-ib)%5E2%7Ddx%24.%20Consider%20%24f(z)%20%3D%20e%5E%7B-z%5E2%7D%24%20which%20is%20entire%2C%20by%20Cauchy'%20Theorem%202.7%20%24%5Cint_%7B%5Cgamma%7Df(z)dz%20%3D%200%24%20for%20smooth%20closed%20%24%5Cgamma%24.%20So%20consider%20the%20(oriented)%20square%20%24%5Cgamma%20%3D%20%5Cgamma_1%20%2B%20%5Cgamma_2%20%2B%20%5Cgamma_3%20%2B%20%5Cgamma_4%24%2C%20where%20%24%5Cgamma_1%20%3D%20x%2C%20x%20%5Cin%20%5Ba%2C%20-a%5D%24%2C%20%24%5Cgamma_2%20%3D%20-a%2Biy%2C%20y%20%5Cin%20%5B0%2C-b%5D%24%2C%20%24%5Cgamma_3%20%3D%20x%20-%20ib%2C%20x%20%5Cin%20%5B-a%2C%20a%5D%24%2C%20and%20%24%5Cgamma_4%20%3D%20a%20%2B%20iy%2C%20y%20%5Cin%20%5B-b%2C%200%5D%24.%20Then%20%24%5Cint_%7B%5Cgamma_1%7Df(z)dz%20%2B%20%5Cint_%7B%5Cgamma_2%7Df(z)dz%20%2B%20%5Cint_%7B%5Cgamma_3%7Df(z)dz%20%2B%20%5Cint_%7B%5Cgamma_4%7Df(z)dz%20%3D%200%24.%0A%0A%20%20%20%20Back%20to%20the%20above%20equation%2C%20we%20have%20%24%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-(x-ib)%5E2%7Ddx%20%3D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B-a%7D%5E%7Ba%7De%5E%7B-(x-ib)%5E2%7Ddx%20%3D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B-a%7D%5E%7Ba%7De%5E%7B-(x-ib)%5E2%7D%20%5Ccdot%201%20dx%24%20%24%3D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B-a%7D%5E%7Ba%7Df(%5Cgamma_3(x))%20%5Cgamma_3'(x)dx%24%20%24%3D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B%5Cgamma_3%7De%5E%7B-z%5E2%7Ddz%24%3B%20So%20similarly%2C%20%24%5Cint_%7Ba%7D%5E%7B-a%7De%5E%7B-x%5E2%7Ddx%20%3D%20%5Cint_%7B%5Cgamma_1%7De%5E%7B-z%5E2%7Ddz%24%3B%20%24%5Cint_%7B0%7D%5E%7B-b%7De%5E%7B-(-a%2Bi%20y)%5E2%7Di%20dy%20%3D%20%5Cint_%7B%5Cgamma_2%7De%5E%7B-z%5E2%7Ddz%24%3B%20%24%5Cint_%7B-b%7D%5E%7B0%7De%5E%7B-(a%2Bi%20y)%5E2%7Di%20dy%20%3D%20%5Cint_%7B%5Cgamma_4%7De%5E%7B-z%5E2%7Ddz%24.%0A%0A%20%20%20%20Yet%20for%20%24%5Cgamma_2%24%2C%20%24%5Cint_%7B0%7D%5E%7B-b%7De%5E%7B-(-a%2Bi%20y)%5E2%7Di%20dy%20%3D%20%5Cint_%7B0%7D%5E%7B-b%7De%5E%7B-a%5E2%2By%5E2%2B2i%20a%20y%7Di%20dy%24%2C%20take%20absolute%20value%20to%20vanish%20the%20imaginary%20part%20to%20get%20%24%5Cint_%7B0%7D%5E%7B-b%7D%20%7C%20e%5E%7B-a%5E2%2By%5E2%2B2i%20a%20y%7Di%20%7C%20dy%3D%20%5Cint_%7B0%7D%5E%7B-b%7De%5E%7B-a%5E2%2By%5E2%7Ddy%24%20%24%3D%20e%5E%7B-a%5E2%7D%20%5Cint_%7B0%7D%5E%7B-b%7De%5E%7By%5E2%7Ddy%20%5Cle%20e%5E%7B-a%5E2%7D%20%5Cint_%7B0%7D%5E%7B-b%7De%5E%7Bb%5E2%7Ddy%20%3D%20%5Cfrac%7B-be%5E%7Bb%5E2%7D%7D%7Be%5E%7Ba%5E2%7D%7D%20%3D%5E%7Ba%20%5Crightarrow%20%5Cinfty%7D%200%24.%20Similar%20to%20%24%5Cgamma_4%24.%0A%0A%20%20%20%20So%20we%20have%20%24%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D(%5Cint_%7B%5Cgamma_1%7Df(z)dz%20%2B%20%5Cint_%7B%5Cgamma_3%7Df(z)dz)%3D%200%24%3A%0A%0A%20%20%20%20%24%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20(%5Cint_%7Ba%7D%5E%7B-a%7De%5E%7B-x%5E2%7Ddx%20%2B%20%5Cint_%7B-a%7D%5E%7Ba%7De%5E%7B-(x-ib)%5E2%7Ddx)%24%20%24%3D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7Ba%7D%5E%7B-a%7De%5E%7B-x%5E2%7Ddx%20%2B%20(I%20%2B%20i%20%5Ctext%7Bim%7D(%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%2Bi2%20b%20x%7Ddx))%20%5Cfrac%7B2%7D%7Be%5E%7B-b%5E2%7D%7D%24%20%24%3D%200%20%5Cimplies%20I%20%2B%20i%20%5Ctext%7Bim%7D(%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7De%5E%7B-x%5E2%2Bi2%20b%20x%7Ddx)%20%3D%20%5Cfrac%7Be%5E%7B-b%5E2%7D%7D%7B2%7D%20%5Clim%5Climits_%7Ba%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B-a%7D%5E%7Ba%7De%5E%7B-x%5E2%7Ddx%20%3D%20%5Cfrac%7Be%5E%7B-b%5E2%7D%7D%7B2%7D%20%5Csqrt%7B%5Cpi%7D%24%20which%20is%20the%20Gaussian%20integral.%0A%0A%20%20%20%20Finally%20notice%20that%20sine%20is%20odd%20so%20that%20the%20imaginary%20part%20is%20actually%20just%20%240%24%2C%20so%20we%20have%20%24I%20%3D%20%5Cfrac%7Be%5E%7B-b%5E2%7D%7D%7B2%7D%20%5Csqrt%7B%5Cpi%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Prove%20that%20%24%5Czeta(z)%3D%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5Ez%7D%24%20does%20not%20converge%20uniformly%20on%20%24V%20%3D%20%5Clbrace%20z%20%7C%20%5Ctext%7Bre%7D(z)%20%3E%201%20%5Crbrace%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Prove%20by%20a%20counter%20example.%0A%0A%20%20%20%20Take%20%24k%20%3D%202N%24%20and%20%24z%20%3D%201%20%2B%20%5Cfrac%7B1%7D%7Bk%7D%24%2C%20then%20%24%7C%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7Bk%7D%20%5Cfrac%7B1%7D%7Bn%5Ez%7D%20-%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7BN%7D%20%5Cfrac%7B1%7D%7Bn%5Ez%7D%20%7C%20%3D%20%7C%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B2N%7D%20%5Cfrac%7B1%7D%7Bn%5E%7B1%20%2B%201%2F(2N)%7D%7D%20-%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7BN%7D%20%5Cfrac%7B1%7D%7Bn%5E%7B1%20%2B%201%2F(2N)%7D%7D%20%7C%24%20%24%3D%20%5Csum%5Climits_%7Bn%20%3D%20N%2B1%7D%5E%7B2N%7D%20%5Cfrac%7B1%7D%7Bn%5E%7B1%20%2B%201%2F(2N)%7D%7D%20%3E%20%5Csum%5Climits_%7Bn%20%3D%20N%20%2B%201%7D%5E%7B2N%7D%20%5Cfrac%7B1%7D%7B(2N)%5E%7B1%20%2B%201%2F(2N)%7D%7D%20%3D%20%5Cfrac%7BN%7D%7B(2N)%5E%7B1%20%2B%201%2F(2N)%7D%7D%24%20goes%20to%20%24%5Cfrac%7BN%7D%7B2N%7D%20%3D%20%5Cfrac%7B1%7D%7B2%7D%24%20and%20have%20a%20local%20minimum%20%24%5Cfrac%7Be%5E%7B-1%2Fe%7D%7D%7B2%7D%24.%0A%0A%20%20%20%20So%20if%20we%20take%20%24%5Cvarepsilon%20%3D%20%5Cfrac%7Be%5E%7B-1%2Fe%7D%7D%7B2%7D%24%2C%20this%20contradict%20the%20definition%20of%20uniformly%20convergence.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Big%20Picard%20Theorem%20says%20that%20if%20%24f'%20%5Cin%20H(D'(z_0%2C%20r))%24%20has%20an%20essential%20singularity%20at%20%24z_0%24%2C%20then%20with%20at%20most%20one%20exception%20it%20attains%20every%20complex%20value%20infinitely%20many%20times%20in%20every%20neighborhood%20of%20%24z_0%24.%20Verify%20this%20statement%20for%20%24f(z)%20%3D%20e%5E%7B1%2Fz%7D%24%20and%20%24z_0%20%3D%200%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24f(z)%20%3D%20e%5E%7B1%2Fz%7D%20%3D%20%5Csum%5Climits_%7Bn%20%3D%200%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B(1%2Fz)%5En%7D%7Bn!%7D%20%3D%20%5Csum%5Climits_%7Bn%20%3D%200%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn!%7D(1%2Fz)%5En%24%20it%20is%20clear%20that%20%24f(z)%20%5Cne%200%2C%20%5Cforall%20z%24.%0A%0A%20%20%20%20If%20%24f(z)%20%3D%20e%5E%7B1%2Fz%7D%20%3D%20x%2C%20x%20%5Cin%20%5Cmathbb%7BC%7D%20-%20%5Clbrace%200%20%5Crbrace%24%2C%20then%20%241%2Fz%20%3D%20%5Clog(x)%24%2C%20write%20%24x%24%20in%20the%20form%20%24re%5E%7Bit%7D%24%2C%20%241%2Fz%20%3D%20%5Clog(re%5E%7Bit%7D)%24%2C%20%24z%20%3D%20%5Cfrac%7B1%7D%7B%5Clog(re%5E%7Bit%7D)%7D%24%20%24%3D%20%5Cfrac%7B1%7D%7B%5Clog(re%5E%7Bi(t%20%2B%202n%20%5Cpi)%7D)%7D%24%20%24%3D%20%5Cfrac%7B1%7D%7B%5Clog(r)%2B%20%5Clog(e%5E%7Bit%7D)%2B%20%5Clog(e%5E%7B2n%20%5Cpi%7D)%7D%24%20%24%3D%20%5Cfrac%7B1%7D%7B%5Clog(r)%2Bit%2Bi2n%20%5Cpi%7D%2C%20%5Cforall%20n%20%5Cin%20%5Cmathbb%7BZ%7D%24.%0A%0A%20%20%20%20Thus%20it%20is%20clear%20that%20for%20every%20given%20radius%2C%20if%20we%20take%20large%20enough%20%24n%24%2C%20%24z%24%20in%20the%20above%20form%20is%20the%20solution%20for%20%24e%5E%7B1%2Fz%7D%20%3D%20re%5E%7Bit%7D%2C%20%5Cforall%20re%5E%7Bit%7D%20%5Cin%20%5Cmathbb%7BC%7D%20-%20%5Clbrace%200%20%5Crbrace%24%20which%20lies%20inside%20the%20neighborhood%20of%20%24z_0%20%3D%200%24.%0A%0A%20%20%20%20For%20example%2C%20%24z%20%3D%20%5Cfrac%7B1%7D%7B%5Clog(5)%2Bi2%7D%20%5Capprox%200.24%20-%20i%200.3%2C%24%20%24%5Cfrac%7B1%7D%7B%5Clog(5)%2Bi2%2Bi2%20%5Cpi%7D%20%5Capprox%200.02%20-%20i%200.11%2C%24%20%24%5Cfrac%7B1%7D%7B%5Clog(5)%2Bi2%2Bi20%20%5Cpi%7D%20%5Capprox%200.0004%20-%20i%200.015%2C%20%5Ccdots%24%20are%20all%20solutions%20for%20%24e%5E%7B1%2Fz%7D%20%3D%205e%5E%7Bi2%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%202.1%0A%0A%20%20%20%20**Define%20%24f%3A%20%5Cmathbb%7BC%7D%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20by%20%24f(z)%20%3D%20z%5E2%20%5Csin(1%2Fz)%24%20for%20%24z%20%5Cne%200%2Cf(0)%3D0%24.%20The%20last%20few%20paragraphs%20almost%20seem%20to%20give%20a%20proof%20that%20%24f%24%20is%20differentiable%20everywhere%20but%20%24f'%24%20is%20not%20continuous%20at%20the%20origin.%20This%20is%20impossible%20-%20where%20does%20the%20'proof'%20fail**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20step%20that%20%24%7C%20%5Cfrac%7Bh%5E2%20%5Csin(1%2Fh)%7D%7Bh%7D%20%7C%20%5Cle%20%7C%20h%20%7C%24%20requires%20that%20%24-1%20%5Cle%20%5Csin(z)%20%5Cle%201%2C%20%5Cforall%20z%24%2C%20however%20this%20is%20not%20true%20in%20%24%5Cmathbb%7BC%7D%24%2C%20indeed%20it%20could%20be%20a%20totally%20random%20number.%0A%0A%20%20%20%20%24%7C%20%5Csin(z)%20%7C%20%3D%20%7C%20%5Cfrac%7B%5Cexp(iz)%20-%20%5Cexp(-iz)%7D%7B2i%7D%20%7C%24%20so%20for%20example%20%24%7C%20%5Csin(2i)%20%7C%20%3D%20%7C%20%5Cfrac%7B%5Cexp(-2)%20-%20%5Cexp(2)%7D%7B2i%7D%20%7C%20%5Capprox%20%7C%20%5Cfrac%7B-7.3%7D%7B2i%7D%20%7C%20%3D%203.65%20%3E%201%24.%0A%0A%20%20%20%20%23%23%20Exercise%202.5%0A%0A%20%20%20%20**Let%20%24V%20%3D%20%5Cmathbb%7BC%7D%20-%20%5Clbrace%200%20%5Crbrace%24%2C%20and%20define%20%24f%3A%20V%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20by%20%24f(z)%20%3D%201%2Fz%24.%20Then%20%24%5Cint_%7B%5Cpartial%20T%7Df(z)dz%20%3D%200%24%20for%20every%20triangle%20%24T%20%5Csubseteq%20V%24%20but%20there%20does%20not%20exist%20%24F%3A%20V%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20such%20that%20%24F'%20%3D%20f%24%20in%20%24V%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Clearly%20%24V%24%20is%20open%2C%20for%20any%20%24z%20%5Cin%20V%24%2C%20by%20construction%20%24z%20%5Cne%200%24%2C%20thus%20%24%5Clim%5Climits_%7Bh%20%5Crightarrow%200%7D%20%5Cfrac%7Bf(z%2Bh)%20-%20f(z)%7D%7Bh%7D%20%3D%20%5Clim%5Climits_%7Bh%20%5Crightarrow%200%7D%20%5Cfrac%7B%5Cfrac%7B1%7D%7Bz%2Bh%7D%20-%20%5Cfrac%7B1%7D%7Bz%7D%7D%7Bh%7D%20%3D%20%5Clim%5Climits_%7Bh%20%5Crightarrow%200%7D%20%5Cfrac%7B%5Cfrac%7B-h%7D%7Bz(z%2Bh)%7D%7D%7Bh%7D%20%3D%20%5Clim%5Climits_%7Bh%20%5Crightarrow%200%7D%20%5Cfrac%7B-1%7D%7Bz%5E2%20%2B%20zh%7D%20%3D%20-%20%5Cfrac%7B1%7D%7Bz%5E2%7D%24%20exists.%20I.e.%20%24f%24%20differentiable%20everywhere%20in%20%24V%24.%20Thus%20by%20Cauchy-Goursat%20%24%5Cint_%7B%5Cpartial%20T%7Df(z)dz%20%3D%200%24%20for%20every%20triangle%20%24T%20%5Csubseteq%20V%24.%0A%0A%20%20%20%20Now%20suppose%20%24F%24%20described%20in%20the%20statement%20exists.%20Let%20%24%5Cgamma%3A%20%5B0%2C%202%20%5Cpi%5D%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20be%20the%20boundary%20of%20the%20unit%20disk%2C%20%24%5Cgamma(t)%20%3D%20e%5E%7Bit%7D%24.%0A%0A%20%20%20%20Then%20by%20Lemma%202.0%2C%20%24%5Cint_%7B%5Cgamma%7Df(z)dz%20%3D%200%24%3B%20yet%20by%20calculate%20the%20integral%20by%20definition%2C%20%24%5Cint_%7B%5Cgamma%7Df(z)dz%20%3D%20%5Cint_0%5E%7B2%20%5Cpi%7D%20%5Cfrac%7B1%7D%7Be%5E%7Bit%7D%7D(e%5E%7Bit%7D)'%20dt%20%3D%20%5Cint_0%5E%7B2%20%5Cpi%7D%20i%20dt%20%3D%202%20%5Cpi%20i%24%20which%20is%20a%20contradiction%2C%20thus%20such%20%24F%24%20does%20not%20exist.%0A%0A%20%20%20%20%23%23%20Exercise%203.4%0A%0A%20%20%20%20**Suppose%20that%20%24f%20%5Cin%20H(%5Cmathbb%7BC%7D)%24%20and%20%24%7C%20f(z)%20%7C%20%5Cle%20e%5E%7B%5Ctext%7Bre%7D(z)%7D%24%20for%20all%20%24z%24.%20Show%20that%20%24f(z)%20%3D%20c%20e%5Ez%24%20for%20some%20constant%20%24c%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24%7C%20f(z)%20%7C%20%5Cle%20e%5E%7B%5Ctext%7Bre%7D(z)%7D%24%20then%20%24%5Cfrac%7B%7C%20f(z)%20%7C%7D%7Be%5E%7B%5Ctext%7Bre%7D(z)%7D%7D%20%5Cle%201%24%20where%20%24%5Cfrac%7B%7C%20f(z)%20%7C%7D%7Be%5E%7B%5Ctext%7Bre%7D(z)%7D%7D%20%3D%20%5Cfrac%7B%7C%20f(z)%20%7C%7D%7B%7C%20e%5Ez%20%7C%7D%20%3D%20%7C%20%5Cfrac%7Bf(z)%7D%7Be%5Ez%7D%20%7C%24%2C%20thus%20%24%5Cfrac%7Bf(z)%7D%7Be%5Ez%7D%24%20is%20bounded%2C%20clearly%20it%20is%20entire%2C%20thus%20by%20Corollary%203.6%20Liouville's%20Theorem%20%24%5Cfrac%7Bf(z)%7D%7Be%5Ez%7D%20%3D%20c%24%20for%20some%20constant%20%24c%24%20thus%20%24f(z)%20%3D%20c%20e%5Ez%24.%0A%0A%20%20%20%20%23%23%20Exercise%203.7%0A%0A%20%20%20%20**Suppose%20that%20%24f%20%5Cin%20H(%5Cmathbb%7BC%7D)%24%20and%20%24f(n)%20%3D%200%24%20for%20all%20%24n%20%5Cin%20%5Cmathbb%7BZ%7D%24.%20Show%20that%20all%20the%20singularities%20of%20%24f(z)%2F%20%5Csin(%5Cpi%20z)%24%20are%20removable**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%24f%24%20itself%20is%20entire%2C%20the%20singularities%20occur%20where%20%24%5Csin(%5Cpi%20z)%20%3D%200%24.%0A%0A%20%20%20%20We%20have%20%24%5Csin(%5Cpi%20z)%20%3D%20%5Cfrac%7B%5Cexp(i%20%5Cpi%20z)%20-%20%5Cexp(-i%20%5Cpi%20z)%7D%7B2i%7D%24%20thus%20it%20is%20%240%24%20when%20%24%5Cexp(i%20%5Cpi%20z)%20%3D%20%5Cexp(-i%20%5Cpi%20z)%24.%20By%20the%20Appendix%203%20this%20equality%20holds%20when%20%24z%20%3D%200%2C%20%5Cpm%201%2C%20%5Cpm%202%2C%20%5Ccdots%24%2C%20i.e.%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24.%0A%0A%20%20%20%20Let%20%24g(z)%20%3D%20%5Csin(%5Cpi%20z)%24%20then%20for%20real%20%24z%24's%20simply%20%24g'(z)%20%3D%20%5Cpi%20%5Ccos(%5Cpi%20z)%20%3D%20%5Cpi%24%20for%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24%20from%20calculus.%20Thus%20%24g%24%20has%20zero%20of%20order%20%241%24%20at%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24.%20Since%20%24f(z)%20%3D%200%24%20for%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24%2C%20%24f%24%20has%20zero%20of%20order%20at%20least%20%241%24%20at%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24.%20By%20the%20previous%20exercise%20%24f%2Fg%24%20has%20removable%20singularities%20at%20%24z%20%5Cin%20%5Cmathbb%7BZ%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%203.11%0A%0A%20%20%20%20**Let%20%24V%20%3D%20%5Cmathbb%7BC%7D%20-%20%5Clbrace%200%20%5Crbrace%24.%20Show%20that%20there%20does%20not%20exist%20%24f%20%5Cin%20H(V)%24%20such%20that%20%24e%5E%7Bf(z)%7D%20%3D%20z%24%20for%20all%20%24z%20%5Cin%20V%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20such%20%24f%24%20exists.%20Then%20for%20%24z%20%5Cin%20V%24%2C%20%24e%5E%7Bf(z)%7D%20%3D%20z%24%2C%20take%20derivatives%20each%20side%20we%20have%20%24e%5E%7Bf(z)%7Df'(z)%20%3D%20z'%20%3D%201%24.%20Thus%20%24f'(z)%20%3D%20%5Cfrac%7B1%7D%7Be%5E%7Bf(z)%7D%7D%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%24.%20Think%20%24f'%24%20as%20a%20function%20with%20%24(f')%20%3D%20f'%24%20then%20we%20can%20apply%20Cauchy's%20Theorem%20of%20derivatives.%0A%0A%20%20%20%20Let%20%24%5Cgamma%3A%20%5B0%2C%202%20%5Cpi%5D%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20be%20the%20boundary%20of%20the%20unit%20disk%2C%20%24%5Cgamma(t)%20%3D%20e%5E%7Bit%7D%24.%20Then%20by%20Lemma%202.0%2C%20%24%5Cint_%7B%5Cgamma%7Df'(z)dz%20%3D%200%24%3B%20yet%20by%20calculate%20the%20integral%20by%20definition%20%24%5Cint_%7B%5Cgamma%7Df'(z)dz%20%3D%202%20%5Cpi%20i%24%2C%20which%20is%20a%20contradiction%20and%20thus%20such%20%24f%24%20does%20not%20exist.%0A%0A%20%20%20%20%23%23%20Exercise%203.12%0A%0A%20%20%20%20**Suppose%20that%20%24V%24%20is%20a%20bounded%20open%20subset%20of%20the%20plane%20and%20%24f%20%5Cin%20C(%5Coverline%7BV%7D)%20%5Ccap%20H(V)%24.%20Show%20that%20if%20%24M%20%5Cge%200%24%20and%20%24%7C%20f(z)%20%7C%20%5Cle%20M%24%20for%20all%20%24z%20%5Cin%20%5Cpartial%20V%24%20then%20%24%7C%20f(z)%20%7C%20%5Cle%20M%24%20for%20all%20%24z%20%5Cin%20V%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Since%20%24f%20%5Cin%20C(%5Coverline%7BV%7D)%24%2C%20%24%5Coverline%7BV%7D%24%20(and%20%24V%24)%20is%20connected.%20Then%20by%20the%20Maximum%20Modulus%20Theorem%20either%20%24f%24%20constant%20(thus%20clearly%20%24%7C%20f(z)%20%7C%20%5Cle%20M%24%20for%20all%20%24z%20%5Cin%20V%24)%20or%20%24%7C%20f%20%7C%24%20achieve%20absolute%20maximum%20on%20the%20boundary%20of%20%24V%24.%20Since%20by%20construct%20the%20value%20of%20%24%7C%20f%20%7C%24%20on%20the%20boundary%20of%20%24V%24%20is%20bounded%20by%20%24M%24%2C%20the%20value%20of%20%24%7C%20f%20%7C%24%20inside%20%24V%24%20is%20thus%20also%20bounded%20by%20%24M%24.%0A%0A%20%20%20%20%23%23%20Exercise%203.13%0A%0A%20%20%20%20**Let%20%24V%20%3D%20D(0%2C%201)%24.%20Suppose%20that%20%24f%20%5Cin%20C(%5Coverline%7BV%7D)%20%5Ccap%20H(V)%24%2C%20%24f(0)%20%3D%200%24%20and%20%24%7C%20f(z)%20%7C%20%5Cle%201%24%20for%20all%20%24z%20%5Cin%20%5Coverline%7BV%7D%24.%20Show%20that%20%24%7C%20f(z)%20%7C%20%5Cle%20%7C%20z%20%7C%24%20for%20all%20%24z%20%5Cin%20V%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24g(z)%20%3D%20f(z)%2Fz%24.%20Since%20%24f%20%5Cin%20H(V)%24%2C%20the%20only%20singularity%20of%20%24g%24%20may%20occur%20at%20%24z%20%3D%200%24.%20Since%20%24f(0)%20%3D%200%24%20thus%20%24f%24%20has%20a%20zero%20of%20order%20at%20least%20%241%24%20at%20%240%24%3B%20%24z%20%3D%200%24%2C%20%24z'%20%3D%201%24%20thus%20%24z%24%20has%20a%20zero%20of%20order%20%241%24%20at%20%240%24%2C%20thus%20by%20Exercise%203.6%20%24f(z)%2Fz%24%20has%20a%20removable%20singularity%20at%20%240%24.%0A%0A%20%20%20%20%24%7C%20f(z)%20%7C%20%5Cle%201%24%20for%20all%20%24z%20%5Cin%20%5Coverline%7BV%7D%24%20then%20%24%7C%20f(z)%20%7C%20%5Cle%201%24%20for%20all%20%24z%20%5Cin%20%5Cpartial%20V%24.%20Since%20%24V%24%20is%20the%20unit%20disk%2C%20%24%7C%20z%20%7C%20%3D%201%24%20for%20%24z%20%5Cin%20%5Cpartial%20V%24.%20Thus%20%24%7C%20g(z)%20%7C%20%3D%20%7C%20%5Cfrac%7Bf(z)%7D%7Bz%7D%20%7C%20%5Cle%201%24%20for%20%24z%20%5Cin%20%5Cpartial%20V%24.%20By%20Exercise%203.12%2C%20%24%7C%20g(z)%20%7C%20%3D%20%7C%20%5Cfrac%7Bf(z)%7D%7Bz%7D%20%7C%20%5Cle%201%24%20thus%20%24%7C%20f(z)%20%7C%20%5Cle%20%7C%20z%20%7C%24%20also%20for%20%24z%20%5Cin%20V%24.%0A%0A%20%20%20%20%23%23%20Exercise%204.10%0A%0A%20%20%20%20**Show%20that%20%24%5Cint_%7B-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7D%20%5Cfrac%7Bdx%7D%7B1%2Bx%5E2%7D%20%3D%20%5Cpi%24%2C%20using%20the%20Residue%20Theorem**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24R%20%3E%201%24%2C%20%24%5CGamma%20%3D%20%5Cgamma_1%20%2B%20%5Cgamma_2%24%20where%20%24%5Cgamma_1%20%3D%20%5B-R%2C%20R%5D%24%20and%20%24%5Cgamma_2%3A%5B0%2C%20%5Cpi%5D%20%5Crightarrow%20%5Cmathbb%7BC%7D%24%20given%20by%20%24%5Cgamma_2(t)%20%3D%20Re%5E%7Bit%7D%24.%20Let%20%24f(z)%20%3D%20%5Cfrac%7B1%7D%7B1%2Bz%5E2%7D%24%2C%20then%20%24f%24%20has%20isolated%20singularities%20when%20%241%20%2B%20z%5E2%20%3D%200%24%20thus%20at%20%24z%5E2%20%3D%20-1%2C%20z%20%3D%20%5Cpm%20i%24.%20Graphically%20%24%5CGamma%24%20is%20an%20upper%20half%20circle%20with%20radius%20%24R%24%2C%20thus%20%24Ind(%5CGamma%2C%20a)%24%20is%20clearly%20%240%24%20for%20any%20%24a%24%20such%20that%20%24%5Ctext%7Bim%7D(a)%20%3C%200%24.%20To%20make%20it%20a%20little%20bit%20clearer%20let%20%24V%20%3D%20%5Clbrace%20z%20%7C%20%5Ctext%7Bim%7D(z)%20%3E%20-2%20%5Crbrace%24.%20Then%20%24V%20%5Csubseteq%20%5Cmathbb%7BC%7D%24%20is%20open%2C%20%24S%20%3D%20%5Clbrace%20-i%2C%20i%20%5Crbrace%24%20is%20closed%20in%20%24V%24.%20By%20the%20Residue%20Theorem%20we%20have%3A%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5CGamma%7Df(z)dz%20%3D%20%5Csum%5Climits_%7Bz%20%5Cin%20S%7DInd(%5CGamma%2C%20z)Res(f%2C%20z)%24.%0A%0A%20%20%20%20Righthand-side%20%24%3D%20Ind(%5CGamma%2C%20i)Res(f%2C%20i)%20%2B%20Ind(%5CGamma%2C%20-i)Res(f%2C%20-i)%24%20%24%3D%20Ind(%5CGamma%2C%20i)Res(f%2C%20i)%24%20%24%3D%20Res(f%2C%20i)%24%20because%20graphically%20we%20can%20easily%20tell%20%24Ind(%5CGamma%2C%20i)%20%3D%201%24%20and%20%24Ind(%5CGamma%2C%20-i)%20%3D%200%24.%20%24f%20%3D%20%5Cfrac%7B1%7D%7Bz%20-%20i%7D%20%5Ccdot%20%5Cfrac%7B1%7D%7Bz%20%2B%20i%7D%24%2C%20thus%20%24z%20%3D%20i%24%20is%20a%20simple%20pole%20for%20%24f%24%20as%20the%20Laurent%20expansion%20has%20%24N%20%3D%201%24%2C%20thus%20%24Res(f%2C%20i)%20%3D%20Res(%5Cfrac%7B1%7D%7B1%2Bz%5E2%7D%2C%20i)%20%3D%20%5Cfrac%7B1%7D%7B(1%20%2B%20z%5E2)'%7D%20%3D%20%5Cfrac%7B1%7D%7B2z%7D%20%3D%20%5Cfrac%7B1%7D%7B2%20i%7D%24.%20Thus%20%24%5Cint_%7B%5CGamma%7Df(z)dz%20%3D%202%20%5Cpi%20i%20%5Cfrac%7B1%7D%7B2%20i%7D%20%3D%20%5Cpi%24.%0A%0A%20%20%20%20Now%20%24%5Cgamma_1%24%20is%20simply%20an%20inclusion%20map%2C%20we%20have%20%24%5Cint_%7B%5CGamma%7Df(z)dz%24%20%24%3D%20%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%7D%20%5Cint_%7B%5CGamma%7Df(z)dz%24%20%24%3D%20%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%7D(%5Cint_%7B%5Cgamma_1%7Df(z)dz%20%2B%20%5Cint_%7B%5Cgamma_2%7Df(z)dz)%24%20%24%3D%20%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%7D(%5Cint_%7B-R%7D%5E%7B%2BR%7D%20%5Cfrac%7B1%7D%7B1%2Bz%5E2%7Dz'%20dz%24%20%24%2Bi%20%5Cint_%7B0%7D%5E%7B%5Cpi%7D%20%5Cfrac%7B1%7D%7B1%2B(Re%5E%7Bit%7D)%5E2%7DRe%5E%7Bit%7Ddt)%24%20%24%3D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7D%20%5Cfrac%7Bdz%7D%7B1%2Bz%5E2%7D%24.%20Thus%20we%20have%20%24%5Cint_%7B-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7D%20%5Cfrac%7Bdx%7D%7B1%2Bx%5E2%7D%20%3D%20%5Cpi%24.%0A%0A%20%20%20%20%23%23%20Exercise%204.12%0A%0A%20%20%20%20**Suppose%20that%20%24f%20%5Cin%20H(A(z_0%2C%20r%2C%20R))%24%20has%20Laurent%20series%20%24f(z)%20%3D%20%5Csum%5Climits_%7Bn%20%3D%20-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7Dc_n(z%20-%20z_0)%5En%24.%20Show%20that%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7D%20%7C%20f(z_0%20%2B%20%5Crho%20e%5E%7Bit%7D)%20%7C%5E2%20dt%20%3D%20%5Csum%5Climits_%7Bn%20%3D%20-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7D%20%5Crho%5E%7B2n%7D%20%7C%20c_n%20%7C%5E2%24%20for%20%24r%20%3C%20%5Crho%20%3C%20R%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24s_N(z)%20%3D%20%5Csum%5Climits_%7Bn%20%3D%20-N%7D%5E%7BN%7Dc_n(z%20-%20z_0)%5En%24.%0A%0A%20%20%20%20Then%20%24%24%5Cbegin%7Baligned%7D%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7D%20%7C%20s_N(z_0%20%2B%20%5Crho%20e%5E%7Bit%7D)%20%7C%5E2%20dt%20%26%3D%20%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7D%20%5Csum%5Climits_%7Bn%20%3D%20-N%7D%5E%7BN%7Dc_n%20%5Crho%5En%20e%5E%7Bint%7D%20%5Coverline%7B%5Csum%5Climits_%7Bm%20%3D%20-N%7D%5E%7BN%7D%20c_m%20%5Crho%5Em%20e%5E%7Bi%20m%20t%7D%7D%20dt%20%5C%5C%20%26%3D%20%5Csum%5Climits_%7Bn%2C%20m%20%3D%20-N%7D%5E%7BN%7Dc_n%20%5Coverline%7Bc_m%7D%20%5Crho%5E%7Bn%2Bm%7D%20%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7De%5E%7Bi%20(n-m)%20t%7D%20dt%20%5C%5C%20%26%3D%20%5Csum%5Climits_%7Bn%20%3D%20-N%7D%5E%7BN%7D%20%7C%20c_n%20%7C%5E2%20%5Crho%5E%7B2n%7D.%5Cend%7Baligned%7D%24%24%20And%20we%20have%20%24%24%5Cbegin%7Baligned%7D%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7D%20%7C%20f(z_0%20%2B%20%5Crho%20e%5E%7Bit%7D)%20%7C%5E2%20dt%20%26%3D%20%5Clim%5Climits_%7BN%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7B1%7D%7B2%20%5Cpi%7D%20%5Cint_%7B0%7D%5E%7B2%20%5Cpi%7D%20%7C%20s_N(z_0%20%2B%20%5Crho%20e%5E%7Bit%7D)%20%7C%5E2%20dt%20%5C%5C%20%26%3D%20%5Clim%5Climits_%7BN%20%5Crightarrow%20%5Cinfty%7D%20%5Csum%5Climits_%7Bn%20%3D%20-N%7D%5E%7BN%7D%20%7C%20c_n%20%7C%5E2%20%5Crho%5E%7B2n%7D%20%5C%5C%26%3D%20%5Csum%5Climits_%7Bn%20%3D%20-%20%5Cinfty%7D%5E%7B%2B%20%5Cinfty%7D%20%5Crho%5E%7B2n%7D%20%7C%20c_n%20%7C%5E2.%5Cend%7Baligned%7D%24%24%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%202%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Let%20%24f(z)%20%3D%20%5Cfrac%7B1%7D%7Bz%5E2%20%5Csin(z)%7D%24**.%0A%0A%20%20%20%201.%20**Write%20down%20the%20principal%20part%20of%20the%20Laurent%20series%20for%20%24f(z)%24%20near%20the%20pole%20%24z_0%20%3D%200%24.%20What%20is%20the%20order%20of%20this%20pole%20and%20the%20residue%20%24Res(f%2C%200)%24**%3F%0A%20%20%20%202.%20**Evaluate%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5Cgamma%7D%20%5Cfrac%7Bdw%7D%7B%5Csin(%5Cfrac%7B1%7D%7Bw%7D)%7D%24%2C%20where%20%24%5Cgamma%24%20is%20the%20circle%20%24%7C%20w%20%7C%20%3D%20%5Cfrac%7B1%7D%7B5%7D%24%2C%20positively%20oriented**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20Near%20the%20pole%20%24z%20%3D%200%24%3A%20Taylor%20expansion%20of%20%24%5Csin(z)%20%3D%20z%20-%20%5Cfrac%7Bz%5E3%7D%7B6%7D%20%2B%20%5Cfrac%7Bz%5E5%7D%7B120%7D%20-%20%5Cfrac%7Bz%5E7%7D%7B5040%7D%20%2B%20O(z%5E8)%24%3B%20expansion%20of%20%24%5Cfrac%7B1%7D%7B%5Csin(z)%7D%20%3D%20%5Cfrac%7B1%7D%7Bz%20-%20%5Cfrac%7Bz%5E3%7D%7B6%7D%20%2B%20%5Cfrac%7Bz%5E5%7D%7B120%7D%20-%20%5Cfrac%7Bz%5E7%7D%7B5040%7D%20%2B%20O(z%5E8)%7D%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Cfrac%7Bz%7D%7B6%7D%20%2B%20%5Cfrac%7B7z%5E3%7D%7B360%7D%20%2B%20%5Cfrac%7B31z%5E5%7D%7B15120%7D%20%2B%20O(z%5E7)%24%3B%20expansion%20of%20%24f(z)%20%3D%20%5Cfrac%7B1%7D%7Bz%5E3%7D%20%2B%20%5Cfrac%7B1%7D%7B6z%7D%20%2B%20%5Cfrac%7B7z%7D%7B360%7D%20%2B%20%5Cfrac%7B31z%5E3%7D%7B15120%7D%20%2B%20O(z%5E5)%24%3B%20so%20principle%20part%20is%20%24%5Cfrac%7B1%7D%7Bz%5E3%7D%20%2B%20%5Cfrac%7B1%7D%7B6z%7D%24.%0A%20%20%20%20%09This%20is%20a%20pole%20of%20order%20%243%24%2C%20and%20residue%20is%20%24%5Cfrac%7B1%7D%7B6%7D%24%3B%0A%20%20%20%202.%20Substitute%20%24z%20%3D%20%5Cfrac%7B1%7D%7Bw%7D%24%20then%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%7C%20w%20%3D%201%2F5%20%7C%7D%20%5Cfrac%7Bdw%7D%7B%5Csin(%5Cfrac%7B1%7D%7Bw%7D)%7D%20%3D%20-%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%7C%20z%20%3D%205%20%7C%7D%20%5Cfrac%7Bdz%7D%7Bz%5E2%20%5Csin(z)%7D%24.%0A%20%20%20%20%09Inside%20the%20curve%20we%20have%20%24f(z)%20%3D%20%5Cfrac%7B1%7D%7Bz%5E2%20%5Csin(z)%7D%24%20has%20three%20poles%3A%20two%20simple%20poles%20at%20%24z%20%3D%20%5Cpm%20%5Cpi%24%20with%20residue%20%24-%20%5Cfrac%7B1%7D%7B%5Cpi%5E2%7D%24%2C%20and%20a%20pole%20of%20order%20%243%24%20at%20%240%24%20with%20residue%20%24%5Cfrac%7B1%7D%7B6%7D%24.%0A%20%20%20%20%09Winding%20numbers%20at%20these%20poles%20are%20clearly%201.%0A%20%20%20%20%09Thus%20by%20Residue%20Theorem%20%24-%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%7C%20z%20%3D%205%20%7C%7D%20%5Cfrac%7Bdz%7D%7Bz%5E2%20%5Csin(z)%7D%20%3D%20-(-%20%5Cfrac%7B2%7D%7B%5Cpi%5E2%7D%20%2B%20%5Cfrac%7B1%7D%7B6%7D)%20%3D%20%5Cfrac%7B2%7D%7B%5Cpi%5E2%7D%20-%20%5Cfrac%7B1%7D%7B6%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24a%20%3E%200%2C%20a%20%5Cne%202%24.%20Evaluate%20%24%5Cint_%7B%5Cgamma_a%7D%20%5Cfrac%7Bz%5E2%2Be%5Ez%7D%7Bz%5E2(z%20-%202)%7Ddz%24%2C%20where%20%24%5Cgamma_a%24%20is%20the%20positively%20oriented%20circle%20%24%7C%20z%20%7C%20%3D%20a%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%24f(z)%20%3D%20%5Cfrac%7Bz%5E2%2Be%5Ez%7D%7Bz%5E2(z%20-%202)%7D%24%20has%20simple%20pole%20at%20%24z%20%3D%202%24%20with%20residue%20%241%20%2B%20%5Cfrac%7B1%7D%7B4%7De%5E2%24%20and%20pole%20of%20order%20%242%24%20at%20%240%24%20with%20residue%20%24-%20%5Cfrac%7B3%7D%7B4%7D%24.%20By%20Residue%20Theorem%2C%20if%20%240%20%3C%20a%20%3C%202%24%20then%20%24%5Cint_%7B%5Cgamma_a%7D%20%5Cfrac%7Bz%5E2%2Be%5Ez%7D%7Bz%5E2(z%20-%202)%7Ddz%20%3D%202%20%5Cpi%20i%20%5Ccdot%20-%20%5Cfrac%7B3%7D%7B4%7D%20%3D%20-%20%5Cfrac%7B3%20%5Cpi%20i%7D%7B2%7D%24%2C%20otherwise%20%24%5Cint_%7B%5Cgamma_a%7D%20%5Cfrac%7Bz%5E2%2Be%5Ez%7D%7Bz%5E2(z%20-%202)%7Ddz%24%20%24%3D%202%20%5Cpi%20i%20%5Ccdot%20(-%20%5Cfrac%7B3%7D%7B4%7D%20%2B%201%20%2B%20%5Cfrac%7B1%7D%7B4%7De%5E2)%24%20%24%3D%20%5Cfrac%7B%5Cpi%20i%7D%7B2%7D(1%20%2B%20e%5E2)%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Evaluate%20%24%5Cint_0%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Csin%5E2(x)%7D%7Bx%5E2%7Ddx%24%20(Try%20%24f(z)%20%3D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20z%7D%7D%7Bz%5E2%7D%24%2C%20what%20kind%20of%20singularity%20does%20%24f(z)%24%20have%20at%20zero%3F)**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20***(Note%20that%20generally%20do%20not%20use%20such%20%24%5CGamma_3%24%2C%20try%20to%20use%20the%20upper%20half%20circle%2C%20because%20weird%20thing%20can%20happen%20at%20%240%24.)***%0A%0A%20%20%20%20By%20the%20hint%2C%20notice%20that%20%24%5Csin%5E2(x)%20%3D%20%5Cfrac%7B1%7D%7B2%7D%5Ctext%7Bre%7D(1%20-%20e%5E%7B2%20i%20x%7D)%24%2C%20thus%20%24%5Cint_0%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Csin%5E2(x)%7D%7Bx%5E2%7Ddx%20%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B0%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7Ddx%20%3D%20%5Cfrac%7B1%7D%7B4%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%20dx%24%20(because%20it's%20even).%0A%0A%20%20%20%20%24f(x)%20%3D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%24%20has%20a%20simple%20pole%20at%20%24x%20%3D%200%24%20with%20residue%20%24-2%20i%24.%20Then%20take%20the%20graph%20%24%5CGamma%20%3D%20%5CGamma_1%20%2B%20%5CGamma_2%20%2B%20%5CGamma_3%24%20where%20%24%5CGamma_1%24%20being%20the%20upper-half%20of%20the%20counter-clockwise%20circle%20with%20radius%20%24R%24%2C%20%24%5CGamma_3%24%20being%20the%20upper-half%20of%20the%20counter-clockwise%20circle%20with%20radius%20%24r%24%2C%20and%20%24%5CGamma_2%24%20being%20the%20two%20connecting%20segments%20that%20respect%20the%20orientations.%0A%0A%20%20%20%20Then%20%24%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%2C%20r%20%5Crightarrow%200%7D%20%5Cint_%7B%5CGamma%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%20dx%24%20%24%3D%202%20%5Cpi%20i%20%5Ccdot%20(-%202%20i)%20%3D%204%20%5Cpi%24%20%24%3D%20%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%2C%20r%20%5Crightarrow%200%7D%20(%5Cint_%7B%5CGamma_1%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%20dx%20%2B%20%5Cint_%7B%5CGamma_2%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%20dx%20%2B%20%5Cint_%7B%5CGamma_3%7D%20%5Cfrac%7B1%20-%20e%5E%7B2%20i%20x%7D%7D%7Bx%5E2%7D%20dx)%24.%20The%20integrant%20over%20%24%5CGamma_1%24%20goes%20to%20%240%24%3B%20the%20integrant%20over%20%24%5CGamma_2%24%20is%20what%20we%20need%3B%20the%20integrant%20over%20%24%5CGamma_3%24%20is%20%24%5Cpi%20i%20%5Ccdot%20(-%202%20i)%20%3D%202%20%5Cpi%24.%20Thus%20the%20integrant%20over%20%24%5CGamma_2%24%20goes%20to%20%242%20%5Cpi%24%2C%20the%20origin%20integrant%20is%20one%20fourth%20of%20it%20thus%20is%20%24%5Cfrac%7B%5Cpi%7D%7B2%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Evaluate%20%24%5Cint_0%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ccos(n%20x)%7D%7Bx%5E4%2B1%7Ddx%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20***(The%20following%20writing%20is%20WRONG!%20One%20has%20to%20try%20to%20use%20%24e%5E%7Bn%20z%7D%24%20to%20replace%20cosine%2C%20otherwise%20ML%20does%20not%20work!)***%0A%0A%20%20%20%20Clearly%20for%20each%20%24n%24%20we%20have%20%24f(z)%20%3D%20%5Cfrac%7B%5Ccos(n%20z)%7D%7Bz%5E4%20%2B%201%7D%24%20has%20%244%24%20simple%20poles%20at%20the%20four%20solutions%20%24z%5E4%20%2B%201%3D%200%2C%20z%20%3D%20e%5E%7B%5Cfrac%7B%5Cpi%7D%7B4%7D%20%2B%20n%20%5Cfrac%7B%5Cpi%7D%7B2%7D%20i%7D%2C%20n%20%3D%200%2C%201%2C%202%2C%203%24%2C%20each%20would%20have%20residue%20%24-%20%5Cfrac%7Bz%7D%7B4%7D%20%5Ccos(n%20z)%24.%0A%0A%20%20%20%20For%20each%20%24n%24%2C%20%24f%24%20is%20even%20thus%20%24%5Cint_0%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ccos(n%20x)%7D%7Bx%5E4%2B1%7Ddx%20%3D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B-%20%5Cinfty%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ccos(n%20x)%7D%7Bx%5E4%2B1%7Ddx%24%2C%20with%20the%20usual%20method%2C%20take%20the%20half%20circle%20and%20the%20horizontal%20line%2C%20we%20have%20it%20%24%3D%20%5Clim%5Climits_%7BR%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7B1%7D%7B2%7D%20%5Cint_%7B%5CGamma%7D%20%5Cfrac%7B%5Ccos(n%20x)%7D%7Bx%5E4%2B1%7Ddx%20%3D%20%5Cpi%20i%20(Res(f(z)%2C%20z%20%3D%20e%5E%7B%5Cpi%20i%2F4%7D)%20%2B%20Res(f(z)%2C%20z%20%3D%20e%5E%7B3%20%5Cpi%20i%2F4%7D))%24%20%24%3D%20%5Cpi%20i(-%20%5Cfrac%7B1%7D%7B4%7De%5E%7B%5Cpi%20i%2F4%7D%20%5Ccos(n%20e%5E%7B%5Cpi%20i%2F4%7D)%20-%20%5Cfrac%7B1%7D%7B4%7De%5E%7B3%20%5Cpi%20i%2F4%7D%20%5Ccos(n%20e%5E%7B3%20%5Cpi%20i%2F4%7D))%24.%0A%0A%20%20%20%20%23%23%20Exercise%204.21%0A%0A%20%20%20%20**Suppose%20that%20%24P(z)%24%20is%20a%20polynomial%20of%20degree%20%24n%20%5Cge%202%24%20with%20%24n%24%20distinct%20zeros%20%24z_1%2C%20%5Cdots%2C%20z_n%24.%20Explain%20why%20it%20follows%20that%20every%20zero%20of%20%24P%24%20is%20simple%2C%20and%20show%20that%20%24%5Csum%5Climits_%7Bj%20%3D%201%7D%5En%20%5Cfrac%7B1%7D%7BP'(z_j)%7D%20%3D%200%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20Fundamental%20Theorem%20of%20Algebra%20we%20have%20%24P(z)%20%3D%20a_n%20%5Cprod%5Climits_%7Bj%20%3D%201%7D%5En%20(z%20-%20z_j)%24%2C%20if%20we%20expand%20the%20product%20it%20is%20then%20clear%20to%20see%20that%20%24P'(z)%24%20at%20zeros'%20are%20not%20%240%24%2C%20i.e.%20every%20zero%20is%20simple.%0A%0A%20%20%20%20Thus%20we%20have%20%24Res(%5Cfrac%7B1%7D%7BP(z)%7D%2C%20z)%20%3D%20%5Cfrac%7B1%7D%7BP'(z)%7D%24.%0A%0A%20%20%20%20Then%20%24%5Csum%5Climits_%7Bj%20%3D%201%7D%5En%20%5Cfrac%7B1%7D%7BP'(z_j)%7D%20%3D%20%5Csum%5Climits_%7Bj%20%3D%201%7D%5En%20Res(%5Cfrac%7B1%7D%7BP(z)%7D%2C%20z_j)%24%2C%20let's%20take%20%24%5CGamma%24%20to%20be%20the%20circle%20centered%20at%20%240%24%20with%20radius%20%24R%24%2C%20where%20%24R%24%20is%20large%20enough%20for%20the%20circle%20to%20cover%20all%20%24z_j%24's%20(we%20can%20do%20that%20because%20there%20are%20only%20finite%20of%20them)%2C%20then%20we%20continue%20the%20above%20equation%20%24%3D%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5CGamma%7D%20%5Cfrac%7Bdz%7D%7BP(z)%7D%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_0%5E1%20%5Cfrac%7B(R%20e%5E%7B2%20%5Cpi%20i%20t%7D)'%7D%7BP(R%20e%5E%7B2%20%5Cpi%20i%20t%7D)%7Ddt%20%3D%20%5Cint_0%5E1%20%5Cfrac%7BR%20e%5E%7B2%20%5Cpi%20i%20t%7D%7D%7BP(R%20e%5E%7B2%20%5Cpi%20i%20t%7D)%7Ddt%20%3D%20%5Cint_0%5E1%20%5Cfrac%7BR%20e%5E%7B2%20%5Cpi%20i%20t%7D%7D%7Ba_n%20%5Cprod%5Climits_%7Bj%20%3D%201%7D%5En%20(R%20e%5E%7B2%20%5Cpi%20i%20t%7D%20-%20z_j)%7Ddt%24.%0A%0A%20%20%20%20Take%20absolute%20sign%20we%20have%20%24%7C%20%5Cint_0%5E1%20%5Cfrac%7BR%20e%5E%7B2%20%5Cpi%20i%20t%7D%7D%7Ba_n%20%5Cprod%5Climits_%7Bj%20%3D%201%7D%5En%20(R%20e%5E%7B2%20%5Cpi%20i%20t%7D%20-%20z_j)%7Ddt%20%7C%24%20%24%5Cle%20%7C%20%5Cfrac%7BR%7D%7Ba_n%7D%20%7C%20%5Cint_0%5E1%20%5Cfrac%7B1%7D%7B%5Cprod%5Climits_%7Bj%20%3D%201%7D%5En%20%7C%20R%20e%5E%7B2%20%5Cpi%20i%20t%7D%20-%20z_j%20%7C%7Ddt%24%20%24%3D%20%7C%20%5Cfrac%7B1%7D%7BR%5E%7Bn%20-%201%7D%20a_n%7D%20%7C%20%5Cint_0%5E1%20%5Cfrac%7B1%7D%7B%5Cprod%5Climits_%7Bj%20%3D%201%7D%5En%20%7C%201%20-%20%5Cfrac%7Bz_j%7D%7BR%20e%5E%7B2%20%5Cpi%20i%20t%7D%7D%20%7C%7Ddt%24.%20For%20fixed%20%24z_j%24's%2C%20%24R%24%20can%20arbitrarily%20large%2C%20take%20%24R%20%5Crightarrow%20%5Cinfty%24%2C%20then%20the%20function%20inside%20the%20integral%20goes%20to%20constant%20%241%24%2C%20thus%20%24%7C%20%5Csum%5Climits_%7Bj%20%3D%201%7D%5En%20%5Cfrac%7B1%7D%7BP'(z_j)%7D%20%7C%20%5Cle%20%7C%20%5Cfrac%7B1%7D%7BR%5E%7Bn%20-%201%7D%20a_n%7D%20%7C%24%20(%24%5Crightarrow%200%24)%2C%20i.e.%20%24%5Csum%5Climits_%7Bj%20%3D%201%7D%5En%20%5Cfrac%7B1%7D%7BP'(z_j)%7D%20%3D%200%24.%0A%0A%20%20%20%20%23%23%20Exercise%205.3%0A%0A%20%20%20%20**Determine%20the%20number%20of%20zeros%20of%20%24f(z)%20%3D%201%20%2B%206z%5E3%20%2B%203z%5E%7B10%7D%20%2B%20z%5E%7B11%7D%24%20in%20the%20annulus%20%24A(0%2C%201%2C%202)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20First%2C%20it%20is%20easy%20to%20see%20that%20there%20is%20no%20zero%20on%20the%20boundaries%20of%20the%20annulus%3B%0A%0A%20%20%20%20Second%20we%20count%20the%20number%20of%20zeros%20in%20%24D(0%2C%202)%24%3A%20take%20%24g(z)%20%3D%20z%5E%7B11%7D%20%2B%203z%5E%7B10%7D%24%2C%20then%20%24%7C%20f(z)%20-%20g(z)%20%7C%20%3C%20%7C%20g(z)%20%7C%24%20on%20%24%7C%20z%20%7C%20%3D%202%24.%20Notice%20that%20one%20zero%20of%20%24g%24%20is%20%24-3%24%20not%20in%20the%20disk%20thus%20there%20are%20%2410%24%20zeros%20in%20the%20disk%3B%20(Here%20%24g%20%3D%20z%5E%7B11%7D%24%20fails%20because%20take%20%24z%20%3D%20-2%24%20then%20%24%7C%201%20%2B%206z%5E3%20%2B%203z%5E%7B10%7D%20%7C%20%3D%20%7C%201%20%2B%206z%5E3%20%2B%203z%5E%7B10%7D%20%2B%20z%5E%7B11%7D%20%7C%20%2B%20%7C%20z%5E%7B11%7D%20%7C%24)%20then%20we%20count%20the%20number%20of%20zeros%20in%20%24D(0%2C%201)%24%3A%20take%20%24g(z)%20%3D%206z%5E3%24%20then%20again%20%24%7C%20f(z)%20-%20g(z)%20%7C%20%3C%20%7C%20g(z)%20%7C%24.%20There%20are%20%243%24%20zeros%20in%20the%20disk.%0A%0A%20%20%20%20Thus%20in%20conclusion%20there%20are%20%2410%20-%203%20%3D%207%24%20zeros%20in%20the%20annulus.%0A%0A%20%20%20%20%23%23%20Exercise%205.6%0A%0A%20%20%20%20**Prove%20Hurwitz's%20Theorem%3A%20Suppose%20that%20%24D%24%20is%20an%20open%20set%2C%20%24f_n%20%5Cin%20H(D)%2C%20f_n%20%5Crightarrow%20f%24%20uniformly%20on%20compact%20subsets%20of%20%24D%2C%20%5Coverline%7BD(z%2C%20r)%7D%20%5Csubseteq%20D%24%2C%20and%20%24f%24%20has%20no%20zero%20on%20%24%5Cpartial%20D(z%2C%20r)%24.%20Then%20there%20exists%20%24N%24%20such%20that%20%24f_n%24%20and%20%24f%24%20have%20the%20same%20number%20of%20zeros%20in%20%24D(z%2C%20r)%24%20for%20all%20%24n%20%3E%20N%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20construction%20%24f%20%5Cin%20H(D)%24%20thus%20%24f%20%5Cin%20H(%5Coverline%7BD(z%2C%20r)%7D)%24.%20%24%5Cpartial%20D(z%2C%20r)%24%20is%20clearly%20compact%2C%20thus%20%24f(%5Cpartial%20D(z%2C%20r))%24%20is%20compact.%20Now%20%24f%24%20achieves%20no%20zero%20on%20%24%5Cpartial%20D(z%2C%20r)%24%2C%20in%20other%20word%20%24%7C%20f(%5Cpartial%20D(z%2C%20r))%20%7C%20%3E%200%24%2C%20since%20it%20is%20compact%20(closed)%2C%20%24%7C%20f(%5Cpartial%20D(z%2C%20r))%20%7C%20%5Cge%20%5Cvarepsilon%24%20for%20some%20%24%5Cvarepsilon%20%3E%200%24.%0A%0A%20%20%20%20Now%20by%20definition%2C%20if%20a%20sequence%20of%20functions%20%24f_n%24%20converges%20uniformly%20to%20%24f%24%20then%20for%20the%20above%20%24%5Cvarepsilon%20%3E%200%24%2C%20%24%5Cexists%20N%24%20such%20that%20%24%5Cforall%20n%20%3E%20N%24%2C%20%24%7C%20f_n(z)%20-%20f(z)%20%7C%20%3C%20%5Cvarepsilon%20%5Cle%20%7C%20f(z)%20%7C%24%20(on%20%24%5Cpartial%20D(z%2C%20r)%24).%0A%0A%20%20%20%20By%20Rouche's%20Theorem%2C%20%24f_n%24%20and%20%24f%24%20have%20the%20same%20number%20of%20zeros%20for%20all%20%24n%20%3E%20N%24.%0A%0A%20%20%20%20%23%23%20Exercise%206.6%0A%0A%20%20%20%20**Find%20%24%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E2%7D%24%2C%20using%20the%20infinite%20series%20for%20%24%5Ccot(%5Cpi%20z)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20infinite%20series%20for%20%24%5Ccot(%5Cpi%20z)%24%20is%20given%20by%20%24%5Cpi%20%5Ccot(%5Cpi%20z)%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Csum%5Climits_%7Bn%20%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7Bz-n%7D%20%2B%20%5Cfrac%7B1%7D%7Bz%2Bn%7D)%24.%20The%20term%20%24%5Cfrac%7B1%7D%7Bz-n%7D%20%2B%20%5Cfrac%7B1%7D%7Bz%2Bn%7D%20%3D%20%5Cfrac%7B2%20z%7D%7B(z%20-%20n)(z%20%2B%20n)%7D%20%3D%20%5Cfrac%7B2%20z%7D%7Bz%5E2%20-%20n%5E2%7D%24.%0A%0A%20%20%20%20Then%20consider%20%24%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E2%20-%20z%5E2%7D%20%3D%20-%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bz%5E2%20-%20n%5E2%7D%20%3D%20-%20%5Cfrac%7B1%7D%7B2z%7D%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B2z%7D%7Bz%5E2%20-%20n%5E2%7D%20%3D%20-%20%5Cfrac%7B1%7D%7B2z%7D%20%5Cpi%20%5Ccot(%5Cpi%20z)%20%2B%20%5Cfrac%7B1%7D%7B2z%5E2%7D%24%20%24%3D%20%5Cfrac%7B1%7D%7B2%20z%5E2%7D%20-%20%5Cfrac%7B%5Cpi%7D%7B2%20z%7D%20%5Cfrac%7B%5Ccos(%5Cpi%20z)%7D%7B%5Csin(%5Cpi%20z)%7D%20%3D%20%5Cfrac%7B1%7D%7B2%20z%5E2%7D%20-%20%5Cfrac%7B%5Cpi%20z%7D%7B%5Csin(%5Cpi%20z)%7D%20%5Cfrac%7B%5Ccos(%5Cpi%20z)%7D%7B2%20z%5E2%7D%20%3D%20%5Cfrac%7B%5Cpi%20z%7D%7B%5Csin(%5Cpi%20z)%7D%20%5Cfrac%7B1%7D%7B2%20z%5E2%7D(%5Cfrac%7B%5Csin(%5Cpi%20z)%7D%7B%5Cpi%20z%7D%20-%20%5Ccos(%5Cpi%20z))%24%2C%20at%20this%20point%20we%20can%20just%20use%20Taylor%20expansion%20%24%3D%20%5Cfrac%7B%5Cpi%20z%7D%7B%5Csin(%5Cpi%20z)%7D%20%5Cfrac%7B1%7D%7B2%20z%5E2%7D(%5Cfrac%7B%5Cpi%5E2%20z%5E2%7D%7B3%7D%20-%20%5Cfrac%7B%5Cpi%5E4%20z%5E4%7D%7B30%7D%20%2B%20%5Cfrac%7B%5Cpi%5E6%20z%5E6%7D%7B840%7D%20%2B%20O(z%5E7))%20%3D%20%5Cfrac%7B%5Cpi%20z%7D%7B%5Csin(%5Cpi%20z)%7D%20(%5Cfrac%7B%5Cpi%5E2%7D%7B6%7D%20-%20%5Cfrac%7B%5Cpi%5E4%20z%5E2%7D%7B60%7D%20%2B%20O(z%5E3))%24.%20Take%20%24%5Clim%5Climits_%7Bz%20%5Crightarrow%200%7D%24%2C%20%24%5Cfrac%7B%5Cpi%20z%7D%7B%5Csin(%5Cpi%20z)%7D%24%20goes%20to%20one%2C%20and%20the%20whole%20thing%20%24%3D%20%5Cfrac%7B%5Cpi%5E2%7D%7B6%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Let%20%241%20%3C%20%5Clambda%20%3C%20%5Cinfty%24%2C%20and%20%24f_%7B%5Clambda%7D(z)%20%3D%20z%20%2B%20%5Clambda%20-%20e%5Ez%24.%20Show%20that%20this%20function%20has%20only%20one%20zero%20in%20the%20left%20half-plane%20%24V%20%3D%20%5Clbrace%20z%20%7C%20%5Ctext%7Bre%7D(z)%20%3C%200%20%5Crbrace%24%2C%20and%20that%20this%20zero%20is%20real**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20At%20a%20zero%2C%20clearly%20%24z%20%2B%20%5Clambda%20%3D%20e%5Ez%24.%20Take%20absolute%20value%20%24%7C%20z%20%2B%20%5Clambda%20%7C%20%3D%20%7C%20e%5Ez%20%7C%20%3D%20e%5E%7B%5Ctext%7Bre%7D(z)%7D%24.%20Now%20since%20we%20work%20on%20the%20left%20half-plane%20%24e%5E%7B%5Ctext%7Bre%7D(z)%7D%24%20is%20%24e%24%20to%20some%20negative%20real%20power%2C%20thus%20less%20than%20%241%24.%20Thus%20%24%7C%20z%20%2B%20%5Clambda%20%7C%20%3C%201%24.%20For%20a%20fixed%20%24%5Clambda%24%20this%20is%20an%20open%20disk%20of%20radius%20%241%24%20centered%20at%20the%20real%20line.%20In%20other%20words%2C%20if%20%24f_%7B%5Clambda%7D%24%20has%20zeros%20in%20the%20left%20half%20plane%2C%20these%20zeros%20also%20must%20lie%20in%20the%20disk%20described%20above.%0A%0A%20%20%20%20Now%20we%20consider%20the%20circle%20%24%7C%20z%2B%20%5Clambda%20%7C%20%3D1%24%2C%20take%20%24f(z)%20%3D%20z%2B%20%5Clambda%2C%20g(z)%20%3D%20-e%5Ez%24%2C%20then%20%24%7C%20f%20%2B%20g%20-f%20%7C%20%3D%20%7C%20g%20%7C%20%3D%20e%5E%7B%5Ctext%7Bre%7D(z)%7D%20%3C%201%20%3D%20%7C%20z%20%2B%20%5Clambda%20%7C%20%3D%20%7C%20f%20%7C%24%2C%20thus%20%24f%20%2B%20g%24%2C%20which%20is%20our%20original%20function%2C%20and%20%24f%24%20have%20the%20same%20number%20of%20zeros%20in%20the%20circle.%20%24f%20%3D%20z%20%2B%20%5Clambda%24%20clearly%20only%20has%20one%20zero.%20Thus%20the%20original%20function%20has%20only%20one%20zero%20in%20the%20disk%2C%20thus%20in%20the%20left%20half%20plane.%0A%0A%20%20%20%20Suppose%20the%20zero%20is%20%24x%20%2B%20i%20y%24.%20As%20stated%20in%20the%20first%20paragraph%2C%20this%20zero%20must%20lie%20with%20in%20some%20open%20disk%20of%20radius%20%241%24%20centered%20at%20the%20real%20line%2C%20thus%20%24%7C%20y%20%7C%20%3C%201%24%20(%24*%24).%0A%0A%20%20%20%20Rewrite%20%24z%20%2B%20%5Clambda%20%3D%20e%5Ez%24%20as%20%24x%20%2B%20%5Clambda%20%2B%20i%20y%20%3D%20e%5Ex%20%5Ccos(y)%20%2B%20i%20e%5Ex%20%5Csin(y)%24%2C%20then%20the%20imaginary%20part%20we%20have%20%24y%20%3D%20e%5Ex%20%5Csin(y)%24%20(and%20now%20we%20work%20completely%20in%20%24%5Cmathbb%7BR%7D%24).%20%24e%5Ex%24%20is%20again%20smaller%20than%20%241%24.%20So%20to%20make%20the%20equation%20holds%2C%20we%20have%20either%20%24y%20%3D%200%20%5Cimplies%20%5Csin(y)%20%3D%200%20%5Cimplies%200%20%3D%20e%5Ex%20%5Ccdot%200%24%20clearly%20true%3B%20or%20we%20have%20%24e%5Ex%20%3D%20%5Cfrac%7By%7D%7B%5Csin(y)%7D%20%3C%201%24.%20However%2C%20this%20is%20impossible%20given%20(%24*%24).%0A%0A%20%20%20%20Thus%20we%20must%20have%20%24y%20%3D%200%24%2C%20in%20other%20words%2C%20this%20zero%20is%20real.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Fall%20Semester%20Homework%203%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**The%20following%20statement%20is%20known%20as%20Summation%20Theorem%3A%20Let%20%24f%20%5Cin%20H(%5Cmathbb%7BC%7D%20-%20S)%24%2C%20where%20%24S%20%3D%20%5Clbrace%20p_1%2C%20%5Cdots%2C%20p_m%20%5Crbrace%24%20is%20a%20finite%20set%20of%20isolated%20singularities.%20Let%20%24C_N%24%20be%20a%20square%20with%20vertices%20at%20%24(N%20%2B%201%2F2)%20%5Ctimes%20(%5Cpm%201%20%5Cpm%20i)%24%2C%20and%20%24%5Cint_%7BC_N%7Df(z)%20%5Ccot(%5Cpi%20z)dz%20%5Crightarrow%200%24%20as%20%24N%20%5Crightarrow%20%5Cinfty%24.%20Then%20%24%5Clim%5Climits_%7BN%20%5Crightarrow%20%5Cinfty%7D%20%5Csum%5Climits_%7Bn%20%3D%20-N%2C%20n%20%5Cnotin%20S%7D%5E%7BN%7Df(n)%20%3D%20-%20%5Csum%5Climits_%7Bk%20%3D%201%7D%5E%7Bm%7DRes(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20p_k)%24**.%0A%0A%20%20%20%201.%20**Prove%20the%20Summation%20Theorem**%3B%0A%20%20%20%202.%20**What%20should%20you%20replace%20%24%5Ccot(%5Cpi%20z)%24%20with%20if%20you%20wish%20to%20evaluate%20the%20sum%20of%20the%20alternating%20series%20%24%5Csum%20(-1)%5En%20f(n)%24**%3F%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20For%20%24z%20%5Cin%20%5Cmathbb%7BC%20-%20Z%7D%24.%20%24%5Cpi%20%5Ccot(%5Cpi%20z)%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Csum%5Climits_%7Bn%20%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7Bz-n%7D%20%2B%20%5Cfrac%7B1%7D%7Bz%2Bn%7D)%24.%0A%20%20%20%20%09Thus%20%24%5Cpi%20%5Ccot(%5Cpi%20z)%24%20has%20isolated%20singularities%20at%20all%20integers.%20Thus%20%24%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%24%20has%20isolated%20singularities%20at%20all%20integers%20(well%20we%20only%20interest%20in%20those%20bounded%20by%20%24%5Cpm%20N%24%2C%20let's%20denote%20this%20set%20%24A%24)%20and%20%24p_k%24's%2C%20there%20may%20be%20repeat%2C%20though%3A%0A%20%20%20%20%09%24%5Cint_%7BC_N%7D%20%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)dz%20%3D%202%20%5Cpi%20i%20(%5Csum_%7Bz_0%20%5Cin%20S%7D%20Res(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20z_0)%20%2B%20%5Csum_%7Bz_0%20%5Cnotin%20S%2C%20z_0%20%5Cin%20A%7D%20Res(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20z_0))%24.%0A%20%20%20%20%09Now%20for%20%24z_0%20%5Cin%20A%2C%20z_0%20%5Cnotin%20S%24%2C%20%24z_0%24%20is%20a%20simple%20pole%2C%20thus%20%24Res(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20z_0)%20%3D%20%5Clim_%7Bz%20%5Crightarrow%20z_0%7D(z%20-%20z_0)%20%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%20%3D%24%2C%20we%20use%20the%20above%20cotangent%20expansion%20to%20have%2C%20%24%3D%20%5Clim_%7Bz%20%5Crightarrow%20z_0%7Df(z)(%5Cfrac%7Bz%20-%20z_0%7D%7Bz%7D%20%2B%20%5Csum_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B2z(z%20-%20z_0)%7D%7B(z%20-%20n)(z%20%2B%20n)%7D)%20%3D%24%2C%20we%20can%20see%20that%20most%20of%20the%20terms%20got%20canceled%2C%20%24%3D%20%5Clim_%7Bz%20%5Crightarrow%20z_0%7Df(z)%20%5Cfrac%7B2z%7D%7Bz%20%2B%20z_0%7D%20%3D%20f(z_0)%24.%0A%20%20%20%20%09Now%20remember%20that%20we%20have%20%24%5Cint_%7BC_N%7Df(z)%20%5Ccot(%5Cpi%20z)dz%20%5Crightarrow%200%20%5Cimplies%20%5Cint_%7BC_N%7D%20%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)dz%20%5Crightarrow%200%24%2C%20where%20%24%5Cint_%7BC_N%7D%20%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)dz%20%3D%202%20%5Cpi%20i%20(%5Csum_%7Bz_0%20%5Cin%20S%7D%20Res(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20z_0)%20%2B%20%5Csum_%7Bz_0%20%5Cnotin%20S%2C%20z_0%20%5Cin%20A%7D%20f(z_0))%20%5Crightarrow%200%20%5Cimplies%24%20%24%5Csum_%7Bz_0%20%5Cin%20S%7D%20Res(%5Cpi%20f(z)%20%5Ccot(%5Cpi%20z)%2C%20z_0)%20%2B%20%5Csum_%7Bz_0%20%5Cnotin%20S%2C%20z_0%20%5Cin%20A%7D%20f(z_0)%20%3D%200%24%2C%20which%20is%20just%20a%20rephrase%20of%20the%20desired%20statement%3B%0A%20%20%20%202.%20So%20if%20we%20follow%20the%20above%20proof%20then%20we%20may%20want%20to%20have%20some%20%24g(z)%24%20such%20that%20it%20has%20isolated%20singularities%20at%20integers%2C%20and%20%24Res(f(z)%20g(z)%2C%20z_0)%20%3D%20(-1)%5E%7Bz_0%7D%20f(z_0)%24.%0A%20%20%20%20%09Then%20%24%5Cpi%20%5Ccsc(%5Cpi%20z)%24%20should%20do%20the%20work%3A%20the%20expansion%20is%20%24%5Cpi%20%5Ccsc(%5Cpi%20z)%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Csum%5Climits_%7Bn%20%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B-1%5E%7Bn%7D%7D%7Bz-n%7D%20%2B%20%5Cfrac%7B-1%5En%7D%7Bz%2Bn%7D)%24%2C%20and%20the%20prove%20is%20basically%20the%20same.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Use%20the%20Summation%20Theorem%20to%20evaluate**%3A%0A%0A%20%20%20%201.%20%24%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E2%2B4%7D%24%3B%0A%20%20%20%202.%20%24%5Czeta(4)%24.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20%242%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E2%2B4%7D%20%2B%20%5Cfrac%7B1%7D%7B4%7D%20%3D%20-%20(Res(%5Cfrac%7B%5Cpi%20%5Ccot(%5Cpi%20z)%7D%7Bz%5E2%20%2B%204%7D%2C%20-2i)%20%2B%20Res(%5Cfrac%7B%5Cpi%20%5Ccot(%5Cpi%20z)%7D%7Bz%5E2%20%2B%204%7D%2C%202i))%24%2C%20those%20are%20both%20simple%20poles%20and%20the%20function%20is%20in%20fractional%20form%20so%20we%20have%20%24%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E2%2B4%7D%20%3D%20%5Cfrac%7B1%7D%7B2%7D(-%20%5Cfrac%7B%5Cpi%20%5Ccot(2%20%5Cpi%20i)%7D%7B4%20i%7D%20-%20%5Cfrac%7B%5Cpi%20%5Ccot(-%202%20%5Cpi%20i)%7D%7B-4%20i%7D%20-%20%5Cfrac%7B1%7D%7B4%7D)%20%5Capprox%200.66%24%3B%0A%20%20%20%202.%20%24%5Czeta(4)%20%3D%20%5Csum%5Climits_%7Bn%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B1%7D%7Bn%5E4%7D%20%3D%20-%20%5Cfrac%7B1%7D%7B2%7DRes(%5Cfrac%7B%5Cpi%20%5Ccot(%5Cpi%20z)%7D%7Bz%5E4%7D%2C%200)%20%3D%20%5Cfrac%7B%5Cpi%5E4%7D%7B90%7D%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Consider%20the%20function%20%24f_n(z)%20%3D%201%20%2B%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Cfrac%7B1%7D%7B2!z%5E2%7D%20%2B%20%5Cdots%20%2B%20%5Cfrac%7B1%7D%7Bn!z%5En%7D%24**.%0A%0A%20%20%20%201.%20**What%20does%20the%20integral%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5Cpartial%20D(0%2C%20r)%7D%20%5Cfrac%7Bf'_n(z)%7D%7Bf_n(z)%7Ddz%24%20count**%3F%0A%20%20%20%202.%20**What%20is%20the%20value%20of%20this%20integral%20for%20large%20%24n%24%20and%20fixed%20%24r%24%3F%20What%20does%20this%20tell%20you%20about%20the%20zeros%20of%20%24f_n(z)%24%20for%20large%20%24n%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20%24f_n(z)%24%20is%20not%20holomorphic%20near%20%240%24.%20Consider%20%24F_n(z)%20%3D%20f_n(%5Cfrac%7B1%7D%7Bz%7D)%20%3D%201%20%2B%20z%20%2B%20%5Cfrac%7Bz%5E2%7D%7B2!%7D%20%2B%20%5Cdots%20%2B%20%5Cfrac%7Bz%5En%7D%7Bn!%7D%24%2C%20then%20substitute%20the%20contour%20%24re%5E%7Bit%7D%20%5Crightarrow%201%2F(re%5E%7Bit%7D)%20%3D%20%5Cfrac%7B1%7D%7Br%7De%5E%7Bit%7D%24%20we%20have%20a%20disk%20of%20radius%20%241%2Fr%24%20with%20a%20negative%20orientation.%20We%20have%20%24%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5Cpartial%20D(0%2C%20r)%7D%20%5Cfrac%7Bf'_n(z)%7D%7Bf_n(z)%7Ddz%20%3D%20-%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20i%7D%20%5Cint_%7B%5Cpartial%20D(0%2C%201%2Fr)%7D%20%5Cfrac%7BF'_n(z)%7D%7BF_n(z)%7Ddz%24.%0A%20%20%20%20%09Now%20%24F_n%24%20is%20holomorphic%20on%20the%20disk%20%2C%20thus%20the%20original%20integral%20counts%20the%20negative%20of%20the%20number%20of%20zeros%20of%20%24F_n%24%20inside%20the%20disk%20of%20radius%20%241%2Fr%24%2C%20which%20is%20the%20number%20of%20zeros%20of%20%24f_n%24%20outside%20the%20disk%20of%20radius%20%24r%24%3B%0A%20%20%20%202.%20We%20can%20derive%20that%20%24f'_n(z)%20%3D%20-%20%5Cfrac%7B1%7D%7Bz%5E2%7D%20-%20%5Cfrac%7B1%7D%7Bz%5E3%7D%20-%20%5Cfrac%7B1%7D%7B2!%20z%5E4%7D%20-%20%5Cdots%20-%20%5Cfrac%7B1%7D%7B(n-1)!z%5E%7Bn%2B1%7D%7D%24%20and%20thus%20we%20can%20bring%20%24-%20%5Cfrac%7B1%7D%7Bz%5E2%7D%24%20out%20and%20see%20that%20%24%5Clim%5Climits_%7Bn%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7Bf'_n(z)%7D%7Bf_n(z)%7D%20%3D%20-%20%5Cfrac%7B1%7D%7Bz%5E2%7D%24.%0A%20%20%20%20%09And%20we%20know%20that%20%24%5Cint_%7B%5Cpartial%20D(0%2C%20r)%7D%20%5Cfrac%7B1%7D%7Bz%5E2%7Ddz%20%3D%200%24%2C%20so%20for%20fixed%20%24r%24%20and%20large%20enough%20%24n%24%2C%20%24f_n(z)%24%20has%20no%20zero%20outside%20the%20disk%2C%20i.e.%20all%20of%20its%20zeros%20are%20inside%20the%20disk.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24V%20%3D%20%5Clbrace%20z%20%5Cin%20%5Cmathbb%7BC%7D%20%5C%7C%20z%20%7C%20%3E%201%20%5Crbrace%24%20and%20%24f%20%5Cin%20H(V)%24.%20Suppose%20%24f%24%20is%20real%20valued%20on%20%24(1%2C%20%5Cinfty)%24.%20Show%20that%20%24f%24%20is%20also%20real%20valued%20on%20%24(-%20%5Cinfty%2C%20-1)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20By%20construction%20%24f%24%20is%20holomorphic%20in%20the%20neighborhood%20of%20%24%5Cinfty%24%2C%20thus%20we%20can%20write%20it%20as%20Laurent%20expansion%20at%20%24%5Cinfty%24%3A%20%24f(z)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7Bc_i%7D%7Bz%5Ei%7D%24.%20Let%20%24b_i%20%3D%20%5Ctext%7Bre%7D(c_i)%24%20and%20consider%20%24g(z)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7Bb_i%7D%7Bz%5Ei%7D%24%2C%20for%20all%20%24%7C%20z%20%7C%20%3E%201%24%2C%20%24g(z)%24%20converges%20because%20it%20converges%20absolutely.%20For%20any%20%24x%20%5Cin%20%5Cmathbb%7BR%7D%2C%20x%20%3E%201%24%2C%20%24f(x)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ctext%7Bre%7D(c_i)%7D%7Bx%5Ei%7D%20%2B%20i%20%5Csum%5Climits_%7Bi%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ctext%7Bim%7D(c_i)%7D%7Bx%5Ei%7D%24%2C%20and%20since%20%24f(x)%24%20is%20by%20assumption%20real%2C%20%24f(x)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%201%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B%5Ctext%7Bre%7D(c_i)%7D%7Bx%5Ei%7D%20%3D%20g(x)%24%20(thus%20also%20converge).%0A%0A%20%20%20%20Now%20consider%20%24F(x)%20%3D%20f(x)%20-%20g(x)%24%2C%20it%20is%20holomorphic%20on%20%24V%24%20as%20both%20%24f%2C%20g%24%20are.%20By%20above%20we%20have%20%24F(x)%20%3D%200%2C%20x%20%3E%201%24%2C%20for%20any%20%24x'%20%3E%201%24%2C%20%24x'%24%20is%20a%20limit%20point%20of%20%24Z(F)%24%2C%20thus%20%24F(x)%20%5Cequiv%200%24%20for%20%24x%20%5Cin%20V%24%2C%20thus%20%24f(x)%20%3D%20g(x)%24%20also%20for%20%24x%20%3C%20-1%24%2C%20i.e.%20%24f%24%20is%20also%20real%20valued%20on%20%24(-%20%5Cinfty%2C%20-1)%24.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Let%20%24f%20%5Cin%20C(%5Coverline%7BD(0%2C%201)%7D)%24%20and%20%24f(%5Cfrac%7B1%7D%7Bn%7D)%20%3D%20%5Cfrac%7B1%7D%7Bn%20%2B%201%7D%24%20for%20%24n%20%3D%202%2C%203%2C%20%5Cdots%24.%20Show%20that%20%24f%20%5Cnotin%20H(D(0%2C%201))%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20To%20have%20%24f(%5Cfrac%7B1%7D%7Bn%7D)%20%3D%20%5Cfrac%7B1%7D%7Bn%20%2B%201%7D%24%20we%20need%20to%20have%20%24f(z)%20%3D%20%5Cfrac%7Bz%7D%7B1%2Bz%7D%2C%20z%20%3D%20%5Cfrac%7B1%7D%7Bn%7D%24.%20Now%20consider%20%24g(z)%20%3D%20%5Cfrac%7Bz%7D%7B1%20%2B%20z%7D%24%2C%20then%20%24f(z)%20%3D%20g(z)%2C%20%5Cforall%20z%20%3D%201%2Fn%2C%20n%20%3D%202%2C3%2C%20%5Cdots%24.%20Note%20that%20%241%2Fn%20%5Crightarrow%200%24%2C%20so%20if%20in%20case%20that%20%24f%24%20is%20holomorphic%2C%20then%20by%20Identity%20Theorem%20%24f(z)%20%3D%20g(z)%20%3D%20%5Cfrac%7Bz%7D%7B1%20%2B%20z%7D%24%20on%20%24D(0%2C%201)%24%2C%20but%20then%20clearly%20this%20function%20is%20not%20continuous%20at%20%24-1%24%2C%20thus%20%24f%24%20cannot%20be%20holomorphic%20on%20the%20open%20unit%20disk.%0A%0A%20%20%20%20%23%23%20Exercise%2024.2%0A%0A%20%20%20%20**Show%20that%20the%20functional%20equation%20%24%5CGamma(z%2B1)%20%3D%20z%20%5CGamma(z)%24%20follows%20immediately%20from%20Theorem%2024.7**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20%24z%20%5CGamma(z)%20%3D%20%5Clim%5Climits_%7Bn%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7Bn!n%5Ez%20z%7D%7Bz%20%5Cdots(z%2Bn)%7D%20%3D%20%5Clim%5Climits_%7Bn%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7Bn!n%5Ez%7D%7B(z%2B1)%20%5Cdots(z%2Bn)%7D%20%3D%20%5Clim%5Climits_%7Bn%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7Bn!n%5E%7Bz%2B1%7D%7D%7B(z%2B1)%20%5Cdots(z%2Bn)n%7D%20%3D%24%2C%20since%20we%20take%20%24n%20%5Crightarrow%20%5Cinfty%24%20it%20does%20not%20matter%20to%20add%20a%20'constant'%20term%20to%20one%20%24n%24%2C%20thus%20%24%3D%20%5Clim%5Climits_%7Bn%20%5Crightarrow%20%5Cinfty%7D%20%5Cfrac%7Bn!n%5E%7Bz%2B1%7D%7D%7B(z%2B1)%20%5Cdots(z%2Bn)(z%2Bn%2B1)%7D%24%20which%20is%20exactly%20%24%5CGamma(z%20%2B%201)%24.%0A%0A%20%20%20%20%23%23%20Exercise%2024.6%0A%0A%20%20%20%20**Deduce%20from%20Stirling's%20formula%20that%20in%20fact%20%24(2n)!%20%5Csim%20%5Cfrac%7B2%5E%7B2n%7D(n!)%5E2%7D%7B%5Csqrt%7B%5Cpi%20n%7D%7D%24%20as%20%24n%20%5Crightarrow%20%5Cinfty%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%24n!%20%5Csim%20%5Csqrt%7B2%20%5Cpi%20n%7D%20%5Cfrac%7Bn%5En%7D%7Be%5En%7D%20%5Cimplies%20%5Cfrac%7B2%5E%7B2n%7D(n!)%5E2%7D%7B%5Csqrt%7B%5Cpi%20n%7D%7D%20%5Csim%20%5Cfrac%7B%5Csqrt%7B2%20%5Cpi%20n%7D%5E2%7D%7B%5Csqrt%7B%5Cpi%20n%7D%7D(%5Cfrac%7Bn%5E%7B2n%7D%7D%7Be%5E%7B2n%7D%7D)2%5E%7B2n%7D%20%3D%20%5Csqrt%7B4%20%5Cpi%20n%7D%20%5Cfrac%7B(2n)%5E%7B2n%7D%7D%7Be%5E%7B2n%7D%7D%20%5Csim%20(2n)!%24.%0A%0A%20%20%20%20%23%23%20Exercise%2024.7%0A%0A%20%20%20%20**Deduce%20the%20duplication%20formula%20directly%20from%20Theorem%2024.7%2C%20using%20Exercise%2024.6%20or%2024.5**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20First%20we%20have%20%24%24(2n)!%5Csim%20%5Cfrac%7B2%5E%7B2n%7D(n!)%5E2%7D%7B%5Csqrt%7B%5Cpi%20n%7D%7D%20%5Cimplies%20(n!)%5E2%20%5Csim%20%5Cfrac%7B(2n!)(%5Csqrt%7B%5Cpi%20n%7D%7D%7B2%5E%7B2n%7D%7D.%24%24%20Use%20it%2C%20we%20have%20%24%24%5Cbegin%7Baligned%7D%20%5CGamma(z)%5CGamma(z%20%2B%201%2F2)%5Cfrac%7B2%5E%7B2z-1%7D%7D%7B%5Csqrt%7B%5Cpi%7D%7D%20%26%3D%20%5Clim_%7Bn%5Cto%20%5Cinfty%7D%20%5Cfrac%7B2%5E%7B2z-1%7D%7D%7B%5Csqrt%7B%5Cpi%7D%7D%5Cfrac%7Bn!n%5E2%7D%7Bz(z%2B1)%5Cdots(z%2Bn)%7D%5Cfrac%7Bn!n%5E%7Bz%2B%5Cfrac%7B1%7D%7B2%7D%7D%7D%7B(z%2B%5Cfrac%7B1%7D%7B2%7D)%5Cdots(z%2B%5Cfrac%7B2n%2B1%7D%7B2%7D)%7D%20%5C%5C%20%26%3D%5Clim%20%5Cfrac%7B2%5E%7B2z-1%7D%7D%7B%5Csqrt%7B%5Cpi%7D%7D%5Cfrac%7Bn%5E%7B2z%2B%5Cfrac%7B1%7D%7B2%7D%7D(2n)!%5Csqrt%7B%5Cpi%20n%7D%7D%7B2%5E%7B2n%7Dz(z%2B%5Cfrac%7B1%7D%7B2%7D)%5Cdots(z%2B%5Cfrac%7B2n%2B1%7D%7B2%7D)%7D%5C%5C%26%3D%5Clim%5Cfrac%7B(2n)%5E%7B2z%2B1%7D(2n)!%7D%7B2z(2z%2B1)%5Cdots(2z%2B2n%2B1)%7D%5C%5C%26%3D%5Clim%5Cfrac%7Bn%5E%7B2z%7Dn!%7D%7B2z(2z%2B1)%5Cdots(2z%2Bn)%7D%5C%5C%26%3D%5CGamma(2z).%5Cend%7Baligned%7D%24%24%0A%0A%20%20%20%20%23%23%20Exercise%207.1%0A%0A%20%20%20%20**Show%20that%20Theorem%207.5%20follows%20'immediately'%20from%20Theorem%207.6**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20%24f%20%5Cin%20H(V)%24%2C%20one-to-one%2C%20and%20%24W%20%3D%20f(V)%24.%20By%20Open%20mapping%20theorem%20%24f%24%20is%20an%20open%20map%20thus%20%24W%24%20is%20open.%20For%20any%20%24w%20%5Cin%20W%24%2C%20there%20is%20%24v%20%3D%20f%5E%7B-1%7D(w)%24%2C%20consider%20%24%5Coverline%7BD(v%2C%20r)%7D%20%5Csubseteq%20V%24%20and%20%24f(D(v%2C%20r))%20%5Csubseteq%20W%24%20containing%20%24w%24.%0A%0A%20%20%20%20%24f%5E%7B-1%7D(w_0)%24%20is%20defined%20for%20all%20%24w_0%20%5Cin%20f(D(v%2C%20r))%24.%20Let%20%24v_0%20%5Cin%20D(v%2C%20r)%24%2C%20then%20%24(f%5E%7B-1%7D)'(w)%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20%5Clim%5Climits_%7Bf(v_0)%20%5Crightarrow%20w%7D%20%5Cfrac%7Bf%5E%7B-1%7D(f(v_0))%20-%20f%5E%7B-1%7D(w)%7D%7Bf(v_0)%20-%20w%7D%20%3D%20%5Clim%5Climits_%7Bf(v_0)%20%5Crightarrow%20w%7D%20%5Cfrac%7Bv_0%20-%20v%7D%7Bf(v_0)%20-%20w%7D%24%20%24%3D%20%5Cfrac%7B1%7D%7B%5Clim%5Climits_%7Bv_0%20%5Crightarrow%20f%5E%7B-1%7D(w)%7D%20%5Cfrac%7Bf(v_0)%20-%20f(f%5E%7B-1%7D(w))%7D%7Bv_0%20-%20f%5E%7B-1%7D(w)%7D%7D%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20%5Cfrac%7B1%7D%7Bf'(f%5E%7B-1%7D(w))%7D%24%2C%20which%20is%20well-defined%20since%20%24f%24%20itself%20is%20holomorphic%2C%20and%20thus%20%24f%5E%7B-1%7D%20%5Cin%20H(W)%24%20with%20valuation%20as%20above.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**If%20%24f%20%3D%20p%2Fq%24%20is%20a%20rational%20function%2C%20with%20%24p%24%20and%20%24q%24%20coprime%20polynomials%2C%20its%20degree%20is%20defined%20as%20%24deg(f)%20%3D%20%5Cmax%7B(deg(p)%2C%20deg(q))%7D%24.%20Let%20%24f%3A%20%5Cmathbb%7BC%7D_%7B%5Cinfty%7D%20%5Crightarrow%20%5Cmathbb%7BC%7D_%7B%5Cinfty%7D%24%20be%20a%20rational%20function%20of%20degree%20%24d%20%3E%200%24**.%0A%0A%20%20%20%201.%20**Prove%20that%20%24f%24%20attains%20each%20value%20%24c%20%5Cin%20%5Cmathbb%7BC%7D_%7B%5Cinfty%7D%24%20exactly%20%24d%24%20times%2C%20counting%20multiplicities**%3B%0A%20%20%20%202.%20**A%20point%20of%20multiplicity%20%24k%20%3E%201%24%20is%20often%20called%20a%20branch-point%20of%20%24f%24%20of%20order%20%24k%20-%201%24.%20Let%20%24f(z)%20%3D%20%5Cfrac%7Bz%7D%7Bz%5E3%20%2B%202%7D%24.%20Find%20all%20branch%20points%20of%20%24f%24%20on%20%24%5Cmathbb%7BC%7D_%7B%5Cinfty%7D%24%20and%20their%20orders.%20Don't%20forget%20to%20examine%20%24z%20%3D%20%5Cinfty%24%20and%20poles%20of%20%24f%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Let%20%24c%20%5Cin%20%5Cmathbb%7BC%7D_%7B%5Cinfty%7D%24%20be%20an%20arbitrary%20element.%20%24f%24%20attains%20%24c%24%20if%20%24f(a)%20%3D%20p(a)%2Fq(a)%20%3D%20c%20%5Cimplies%20p(a)%20%3D%20c%20q(a)%20%5Cimplies%20p(a)%20-%20c%20q(a)%20%3D%200%24.%20By%20construction%20this%20should%20be%20a%20polynomial%20with%20degree%20%24d%24%2C%20thus%20it%20has%20%24d%24%2C%20may%20be%20repeated%2C%20solutions%2C%20which%20in%20return%20means%20%24f%24%20achieves%20%24c%24%20%24d%24%20times%3B%0A%20%20%20%202.%20At%20%240%24%3A%20%24z%20%3D%200%2C%20%5Cinfty%24%20are%20the%20solutions%2C%20so%20this%20is%20a%20branch%20point%20of%20order%20%241%24%3B%0A%20%20%20%20%09At%20%24%5Cinfty%24%3A%20it%20is%20the%20solution%20for%20%24z%5E3%20%2B%202%20%3D%200%2C%20z%20%5Cne%200%24%20and%20we%20have%20%243%24%20distinct%20solutions%3B%0A%20%20%20%20%09For%20any%20other%20%24c%24%3A%20we%20need%20to%20solve%20for%20%24z%20%3D%20cz%5E3%20%2B%202c%20%5Cimplies%20z%5E3%20-%20%5Cfrac%7B1%7D%7Bc%7Dz%20%2B%202%20%3D%200%24%2C%20which%20would%20always%20have%20%243%24%20distinct%20solutions.%0A%20%20%20%20%09So%20%24%5Cinfty%24%20is%20the%20only%20branch%20point%20of%20order%20%241%24.%0A%20%20%20%20%09Redo%3A%20Note%20that%20let%20%24c%24%20be%20a%20solution%20of%20%24cz%20%3D%20z%5E3%20%2B%202%2C%20c%20%3D%203z%5E2%24%20(the%20derivative)%2C%20then%20%24z%24%20would%20also%20have%20less%20than%20%243%24%20solutions.%20For%20example%20when%20%24c%20%3D%201%24%2C%20%24z%20%3D%20-2%2C%201%24%20are%20solutions%20and%20thus%20%241%24%20is%20also%20a%20branch%20point%20of%20order%201.%0A%20%20%20%20%09Similarly%20for%20%24c%20%3D%20e%5E%7Bi%20%5Cpi%202%2F3%7D%24%20and%20%24e%5E%7Bi%20%5Cpi%204%2F3%7D%24%2C%20we%20can%20find%20%24z%24%20at%20%24e%5E%7Bi%20%5Cpi%202%2F3%7D%24%20and%20%24e%5E%7Bi%20%5Cpi%204%2F3%7D%24%20are%20also%20branch%20points%20of%20order%201%2C%20notice%20they%20coincide%20with%20%24c%24.%0A%0A%20%20%20%20%23%23%20Exercise%208.1%0A%0A%20%20%20%20**Show%20directly%20(without%20using%20any%20results%20in%20Chapters%207%20or%208)%20that%20an%20entire%20function%20with%20a%20pole%20at%20%24%5Cinfty%24%20must%20be%20a%20polynomial**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20If%20%24f%24%20is%20entire%2C%20it%20could%20be%20written%20as%20a%20series%20%24f(z)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%200%7D%5E%7B%5Cinfty%7Da_i%20z%5Ei%24.%0A%0A%20%20%20%20Consider%20%24f(%5Cfrac%7B1%7D%7Bz%7D)%24%2C%20then%20%24f(%5Cfrac%7B1%7D%7B0%7D)%20%3D%20f(%5Cinfty)%20%3D%20%5Cinfty%24%20since%20%24f%24%20has%20pole%20at%20infinity%2C%20thus%20%24f(%5Cfrac%7B1%7D%7Bz%7D)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%200%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7Ba_i%7D%7Bz%5Ei%7D%24%20has%20pole%20at%20%240%24%2C%20which%20means%20that%20%24a_i%20%3D%200%24%20for%20all%20large%20enough%20%24i%24%20(greater%20than%20the%20order%20of%20the%20pole).%0A%0A%20%20%20%20Thus%20%24f(z)%20%3D%20%5Csum%5Climits_%7Bi%20%3D%200%7D%5E%7BN%7Da_i%20z%5Ei%24%20is%20a%20polynomial.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Spring%20Semester%20Homework%201%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Let%20%24D%24%20be%20the%20region%20inside%20the%20disk%20%24D(1%2C1)%24%20and%20outside%20the%20disk%20%24%5Coverline%7BD(1%2F2%2C1%2F2)%7D%24.%20Construct%20the%20conformal%20equivalence%20between%20%24D%24%20and%20%24%5CPi%5E%2B%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20%24D%24%20would%20be%20something%20looks%20like%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021579.png%22%20width%3D%22300%22%20%2F%3E%0A%0A%20%20%20%20We%20may%20map%20it%20to%20%24D_1%20%3D%20%5Clbrace%20z%20%7C%200%3C%5Ctext%7Bim%7D(z)%3C1%20%5Crbrace%24%20by%20the%20map%20%24f_1%3AD%20%5Cto%20D_1%2C%20z%20%5Cmapsto%20i%5Cfrac%7B1%2Bz%7D%7B1-z%7D%24%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021350.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Now%20expand%20this%20area%20to%20the%20upper%20half%20plane.%20%24e%5Ez%24%20would%20map%20%24%5Clbrace%20z%20%7C%200%3C%5Ctext%7Bim%7D(z)%3C%5Cpi%20%5Crbrace%24%20to%20%24%5CPi%5E%2B%24%20so%20%24f_2%3A%20D_1%20%5Cto%20%5CPi%5E%2B%2C%20z%20%5Cmapsto%20e%5E%7B%5Cpi%20z%7D%24%20would%20do%20the%20job%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021352.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Then%20we%20may%20use%20%24f_3%3A%20%5CPi%5E%2B%20%5Cto%20%5Cmathbb%7BD%7D%2C%20z%20%5Cmapsto%20%5Cfrac%7Bz-i%7D%7Bz%2Bi%7D%24%2C%20which%20is%20in%20fact%20the%20inverse%20of%20our%20%24f_1%24%2C%20to%20map%20to%20upper%20half%20plane%20to%20the%20unit%20circle%2C%20composite%20the%20three%20maps%20and%20we%20are%20done.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Prove%20that%20there%20is%20no%20one-to-one%20conformal%20map%20between%20the%20punctured%20disk%20%24A(0%2C1%2C0)%24%20and%20the%20annulus%20%24A(0%2C2%2C1)%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Suppose%20there%20exists%20such%20%24f%3AA%20%5Cto%20B%24%20where%20%24f%24%20is%20conformal%20(being%20surjective)%2C%20%24A%24%20is%20the%20punctured%20disk%20and%20%24B%24%20is%20the%20annulus.%0A%0A%20%20%20%20By%20our%20construction%20%24f%24%20is%20bounded%2C%20so%20%240%24%20is%20a%20removable%20singularity.%20Extend%20%24f%24%20and%20let%20%24f(0)%20%3D%20w%24.%20A%20conformal%20map%20is%20by%20definition%20continuous%2C%20thus%20%24w%20%5Cin%20%5Coverline%7BB%7D%24.%0A%0A%20%20%20%20Suppose%20%24w%20%5Cin%20%5Cpartial%20B%24%2C%20then%20%24f(%5Cmathbb%7BD%7D)%20%3D%20B%20%5Ccup%20%5Clbrace%20w%20%5Crbrace%24%20is%20not%20open%2C%20which%20contradict%20open%20mapping%20theorem.%0A%0A%20%20%20%20So%20%24w%20%5Cin%20B%24%2C%20since%20the%20original%20%24f%24%20is%20surjective%2C%20%24%5Cexists%20z%20%5Cin%20A%24%20with%20%24f(z)%20%3D%20w%24.%20Choose%20%24U(0)%24%20and%20%24U(z)%24%20be%20disjoint%20neighborhood%20of%20%240%24%20and%20%24z%24%2C%20then%20by%20open%20mapping%20theorem%20%24f(U(0))%24%20and%20%24f(U(z))%24%20are%20open%20sets%20containing%20%24w%24%20and%20thus%20there%20exists%20%24w'%20%5Cne%20w%24%20in%20%24f(U(0))%20%5Ccap%20f(U(z))%24%2C%20but%20this%20means%20that%20there%20exists%20%24z_0%20%5Cin%20U(0)%24%20and%20%24z_1%20%5Cin%20U(z)%24%20with%20%24f(z_0)%20%3D%20w'%20%3D%20f(z_1)%24%2C%20i.e.%20%24f%24%20not%20injective.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24f%24%20be%20elliptic%20function%20of%20order%20%24m%5Cge%202%24.%20What%20are%20the%20bounds%20on%20the%20order%20of%20the%20elliptic%20function%20%24f'%24**%3F%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20A%20property%20of%20elliptic%20function%20is%20that%20%24m%24%20equals%20the%20sum%20of%20orders%20of%20poles%20of%20%24f%24.%20Seeing%20%24f%24%20as%20a%20polynomial%20and%20it%20is%20easy%20to%20see%20that%20%24f'%24%20add%20%241%24%20order%20to%20each%20pole%20of%20%24f%24.%20Thus%20%24f'%24%20must%20have%20order%20between%20%24m%2B1%24%20(just%20one%20pole%20of%20order%20%24m%24)%20and%20%242m%24%20(%24m%24%20distinct%20simple%20poles).%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24%5Czeta(z)%24%20be%20the%20Weierstrass%20%24%5Czeta%24-function%20of%20the%20lattice%20%24%5COmega%20%3D%20%5Cmathbb%7BZ%7D%5Comega%20%2B%20%5Cmathbb%7BZ%7D%5Comega'%24**.%0A%0A%20%20%20%201.%20**Use%20the%20definition%20of%20%24%5Czeta(z)%24%20to%20write%20the%20Laurent%20series%20for%20%24%5Czeta%24%20near%20%24z%20%3D%200%24%20and%20express%20it%20in%20terms%20of%20the%20Eisenstein%20sums%20%24s_n%20%3D%20s_n(%5Comega%2C%20%5Comega')%24**.%0A%20%20%20%202.%20**Use%20%241%24.%20to%20write%20the%20Laurent%20series%20for%20%24%5Cwp(z)%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Let%20%24m%20%3D%20%5Cmin%7B%7C%20%5Comega_k%20%7C%7D%24%20and%20%24D%20%3D%20%5Clbrace%20z%20%5C%7C%20z%20%7C%20%3C%20m%20%5Crbrace%24%20be%20a%20neighborhood%20of%20%240%24.%20%24%5Czeta(z)%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20%5Cfrac%7B%5Csigma'(z)%7D%7B%5Csigma(z)%7D%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20%2B%20%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7Bz-%5Comega_k%7D%2B%5Cfrac%7B1%7D%7B%5Comega_k%7D%2B%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D)%24%2C%20then%3A%0A%0A%20%20%20%20First%2C%20%24%5Cfrac%7B1%7D%7B%5Comega_k-z%7D%2B%5Cfrac%7B1%7D%7B%5Comega_k%7D%2B%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D%20%3D%20%5Cfrac%7B%5Comega_k%5E2%2B%5Comega_k(z-%5Comega_k)%2Bz(z-%5Comega_k)%7D%7B%5Comega_k%5E2(z-%5Comega_k)%7D%20%3D%20%5Cfrac%7Bz%5E2%7D%7B%5Comega_k%5E2(z-%5Comega_k)%7D%24.%20The%20power%20in%20the%20denominator%20is%20%243%24%20thus%20%24%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7Bz-%5Comega_k%7D%2B%5Cfrac%7B1%7D%7B%5Comega_k%7D%2B%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D)%24%20converges%20absolutely.%0A%0A%20%20%20%20Second%2C%20by%20construction%20we%20have%20%24%7C%20z%2F%5Comega_k%20%7C%20%3C%201%24%2C%20thus%20we%20can%20write%20%24%5Cfrac%7B1%7D%7B%5Comega_k%20-%20z%7D%20%3D%20-%5Cfrac%7B1%7D%7B%5Comega_k%7D%5Cfrac%7B1%7D%7B1%20-%20%5Cfrac%7Bz%7D%7B%5Comega_k%7D%7D%20%3D%20-%5Cfrac%7B1%7D%7B%5Comega_k%7D%5Csum%5Climits_n(%5Cfrac%7Bz%7D%7B%5Comega_k%7D)%5En%20%3D%20-%5Cfrac%7B1%7D%7B%5Comega_k%7D%20-%20%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D-%5Cfrac%7Bz%5E2%7D%7B%5Comega_k%5E3%7D-%5Cdots%24%2C%20the%20later%20sum%20converges%20absolutely%20(on%20%24D%24).%0A%0A%20%20%20%20So%20we%20can%20rewrite%20the%20sum%20%24%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7B%5Comega_k-z%7D%2B%5Cfrac%7B1%7D%7B%5Comega_k%7D%2B%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D)%24%20as%20%24%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7B%5Comega_k%7D%2B%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D%20-%5Cfrac%7B1%7D%7B%5Comega_k%7D%20-%20%5Cfrac%7Bz%7D%7B%5Comega_k%5E2%7D-%5Cfrac%7Bz%5E2%7D%7B%5Comega_k%5E3%7D-%5Cdots)%24%20%24%3D%20%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D(-%5Cfrac%7Bz%5E2%7D%7B%5Comega_k%5E3%7D-%5Cfrac%7Bz%5E3%7D%7B%5Comega_k%5E4%7D-%5Cdots)%24%20%24%3D%20-%20%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D%5Cfrac%7Bz%5E2%7D%7B%5Comega_k%5E3%7D%20-%20%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D%5Cfrac%7Bz%5E3%7D%7B%5Comega_k%5E4%7D%20-%20%5Cdots%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20-s_3z%5E2-s_4z%5E3-%5Cdots%24.%20Moreover%2C%20%24s_i%20%3D%200%24%20for%20odd%20%24i%24%20so%20%24%3D-s_4z%5E3-s_6z%5E5-%5Cdots%24%0A%0A%20%20%20%20Now%20%24%5Czeta(z)%20%3D%20%5Cfrac%7B1%7D%7Bz%7D%20-s_4z%5E3-s_6z%5E5-%5Cdots%24%20%24%3D%20%5Cfrac%7B1%7D%7Bz%7D%20-%20%5Csum%5Climits_%7Bn%3D2%7D%5E%7B%5Cinfty%7Ds_%7B2n%7Dz%5E%7B2n-1%7D%24%20is%20in%20the%20form%20of%20Laurent%20expansion%20around%20%24z%20%3D%200%24%20in%20terms%20of%20Eisenstein%20sums.%20We%20have%20that%20%24%5Cwp(z)%20%3D%20-%5Czeta'(z)%24%2C%20so%20take%20derivative%20term%20by%20term%20we%20have%20%24%5Cwp(z)%20%3D%20-%5Cfrac%7B1%7D%7Bz%7D'%20%2B%20%5Csum%5Climits_%7Bn%3D2%7D%5E%7B%5Cinfty%7D%7Bs_%7B2n%7Dz%5E%7B2n-1%7D%7D'%24%20%24%3Dz%5E%7B-2%7D%2B%5Csum%5Climits_%7Bn%3D2%7D%5E%7B%5Cinfty%7D(2n-1)s_%7B2n%7Dz%5E%7B2n-2%7D%24%20is%20the%20Laurent%20expansion%20around%20%240%24%20in%20terms%20of%20Eisenstein%20sums.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Prove%20that%20for%20%24%5COmega%20%3D%20%5Cmathbb%7BZ%7D%5Comega%2B%5Cmathbb%7BZ%7D%5Comega'%24%2C%20%24%5Cwp'(z)%20%3D%202%20%5Cfrac%7B%5Csigma(z-%5Comega%2F2)%5Csigma(z-%5Comega'%2F2)%5Csigma(z%2B%5Ceta%2F2)%7D%7B%5Csigma%5E3(z)%5Csigma(%5Comega%2F2)%5Csigma(%5Comega'%2F2)%5Csigma(-%5Ceta%2F2)%7D%24%20when**%20%24%5Ceta%20%3D%20%5Comega%20%2B%20%5Comega'%24.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20From%20course%20material%20we%20have%20%24%5Cwp%24%20has%20%243%24%20zeroes%20at%20%24%5Comega%2F2%2C%20%5Comega'%2F2%24%20and%20%24%5Ceta%2F2%24%20(or%2C%20we%20can%20choose%20it%20as%20%24-%5Ceta%2F2%24%20to%20have%20sum%20of%20zeroes%20equals%20sum%20of%20poles)%20and%20a%20pole%20of%20order%20%243%24%20at%20%240%24.%0A%0A%20%20%20%20By%20the%20property%20of%20sigma%20function%2C%20%24%5Csigma(z%2B%5Comega)%20%3D%20-e%5E%7B%5Ceta(z%2B%5Comega%2F2)%7D%5Csigma(z)%24%2C%20%24%5Csigma(z%2B%5Comega')%20%3D%20-e%5E%7B%5Ceta'(z%2B%5Comega'%2F2)%7D%5Csigma(z)%24%2C%20the%20function%20on%20the%20right%20hand%20side%20%242%20%5Cfrac%7B%5Csigma(z-%5Comega%2F2)%5Csigma(z-%5Comega'%2F2)%5Csigma(z%2B%5Ceta%2F2)%7D%7B%5Csigma%5E3(z)%5Csigma(%5Comega%2F2)%5Csigma(%5Comega'%2F2)%5Csigma(-%5Ceta%2F2)%7D%24%20is%20periodic%20with%20respect%20to%20%24%5Comega%24%20and%20%24%5Comega'%24%20thus%20elliptical.%20It's%20zeroes%20and%20poles%20are%20clearly%20the%20same%20with%20%24%5Cwp'%24%2C%20thus%20%24%5Cwp'(z)%20%3D%202c%20%5Cfrac%7B%5Csigma(z-%5Comega%2F2)%5Csigma(z-%5Comega'%2F2)%5Csigma(z%2B%5Ceta%2F2)%7D%7B%5Csigma%5E3(z)%5Csigma(%5Comega%2F2)%5Csigma(%5Comega'%2F2)%5Csigma(-%5Ceta%2F2)%7D%24.%0A%0A%20%20%20%20Now%20by%20above%20exercise%2C%20expand%20%24%5Cwp'%24%20near%20zero%20and%20the%20coefficient%20of%20%24%5Cwp'%24%20before%20%24%5Cfrac%7B1%7D%7Bz%5E3%7D%24%20would%20be%20%24-2%24.%20Consider%20%24z%5E3%24%20times%20the%20other%20side%2C%20take%20%24z%20%5Cto%200%24%2C%20%24%5Clim%5Climits_%7Bz%20%5Cto%200%7D2%20%5Cfrac%7Bz%5E3%5Csigma(z-%5Comega%2F2)%5Csigma(z-%5Comega'%2F2)%5Csigma(z%2B%5Ceta%2F2)%7D%7B%5Csigma%5E3(z)%5Csigma(%5Comega%2F2)%5Csigma(%5Comega'%2F2)%5Csigma(-%5Ceta%2F2)%7D%24%2C%20each%20of%20the%20%24%5Cfrac%7B%5Csigma(z-%5Comega%2F2)%7D%7B%5Csigma(%5Comega%2F2)%7D%24%20goes%20to%20%24-1%24%20because%20%24%5Csigma%24%20is%20odd.%20Expand%20%24%5Csigma(z)%20%3D%20z%5Cprod%5Climits_%7Bk%20%3D1%7D%5E%7B%5Cinfty%7D(1-%5Cfrac%7Bz%7D%7B%5Comega_K%7D)%5Cexp%7B(z%2F%5Comega_k%20%2B%20z%5E2%2F2%5Comega_k%5E2)%7D%24%20and%20plug%20in%2C%20we%20have%20%24%5Clim%5Climits_%7Bz%20%5Cto%200%7D2%20%5Cfrac%7Bz%5E3%5Csigma(z-%5Comega%2F2)%5Csigma(z-%5Comega'%2F2)%5Csigma(z%2B%5Ceta%2F2)%7D%7B%5Csigma%5E3(z)%5Csigma(%5Comega%2F2)%5Csigma(%5Comega'%2F2)%5Csigma(-%5Ceta%2F2)%7D%24%20%24%3D%20%5Clim%5Climits%20-2%20%5Cfrac%7Bz%5E3%7D%7B(z%5Cprod%5Climits_%7Bk%20%3D1%7D%5E%7B%5Cinfty%7D(1-%5Cfrac%7Bz%7D%7B%5Comega_K%7D)%5Cexp%7B(z%2F%5Comega_k%20%2B%20z%5E2%2F2%5Comega_k%5E2)%7D)%5E3%7D%24%2C%20%24z%5E3%24%20cancels%20out%20and%20the%20limit%20is%20%24-2%24.%20Thus%20the%20coefficient%20before%20%24%5Cfrac%7B1%7D%7Bz%5E3%7D%24%20on%20the%20right%20hand%20side%20is%20also%20%24-2%24%2C%20and%20thus%20the%20equality%20holds.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Compute%20a%20few%20terms%20of%20the%20normalized%20Eisenstein%20series%20%24%5Cxi%20%3D%20e%5E%7B2%5Cpi%20i%20%5Ctau%7D%2C%20%5Ctau%20%5Cin%20%5CPi%5E%2B%24**%3A%0A%0A%20%20%20%201.%20%24E_4(%5Ctau)%20%3D%20%5Cfrac%7Bs_4(1%2C%5Ctau)%7D%7B2%5Czeta(4)%7D%20%3D%201%2B240(%5Cxi%2B%3F%5Cxi%5E2%2B%3F%5Cxi%5E3%2B%5Cdots)%2C%20%5Czeta(4)%20%3D%20%5Cpi%5E4%2F90%24%3B%0A%20%20%20%202.%20%24E_8(%5Ctau)%20%3D%20%5Cfrac%7Bs_8(1%2C%5Ctau)%7D%7B2%5Czeta(8)%7D%20%3D%201%2B%3F(%5Cxi%2B%3F%5Cxi%5E2%2B%3F%5Cxi%5E3%2B%5Cdots)%2C%20%5Czeta(8)%20%3D%20%5Cpi%5E8%2F9450%24.%0A%0A%20%20%20%20**Conjecture%20a%20relation%20between%20these%20two%20functions%20(modular%20forms)**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20Start%20with%20%24%5Cpi%20%5Ccot(%5Cpi%20%5Ctau)%20%3D%20%5Cfrac%7B1%7D%7B%5Ctau%7D%20%2B%20%7B%5Csum%5Climits_%7Bm%20%3D%20-%5Cinfty%7D%5E%7B%5Cinfty%7D%7D'(%5Cfrac%7B1%7D%7B%5Ctau-m%7D%2B%5Cfrac%7B1%7D%7Bm%7D)%24.%20%24%5Cfrac%7Bi%20%5Cpi(e%5E%7B%5Cpi%20i%20%5Ctau%7D%2Be%5E%7B-%5Cpi%20i%20%5Ctau%7D)%7D%7Be%5E%7B%5Cpi%20i%20%5Ctau%7D-e%5E%7B-%5Cpi%20i%20%5Ctau%7D%7D%20%3D%20%5Cfrac%7Bi%20%5Cpi%20(%5Cxi%20%2B%201)%7D%7B%5Cxi%20-%201%7D%24%20%24%3D%20-i%20%5Cpi%20(%5Cfrac%7B2%7D%7B1-%5Cxi%7D-1)%24%20%24-%20i%20%5Cpi%20(2%20%5Csum%5Climits_%7Bk%3D0%7D%5E%7B%5Cinfty%7D%5Cxi%5Ek-1)%20%3D%20%5Cfrac%7B1%7D%7B%5Ctau%7D%20%2B%20%5Csum%5Climits_%7Bm%20%3D%20-%5Cinfty%7D%5E%7B%5Cinfty%7D(%5Cfrac%7B1%7D%7B%5Ctau%2Bm%7D%20-%20%5Cfrac%7B1%7D%7Bm%7D)%24.%20Differentiate%20both%20sides%20three%20times%20gives%20us%20%24-16%5Cpi%5E4%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7Dk%5E3%5Cxi%5Ek%20%3D%20-6%5Csum%5Climits_%7Bm%3D-%5Cinfty%7D%5E%7B%5Cinfty%7D%5Cfrac%7B1%7D%7B(%5Ctau%2Bm)%5E4%7D%24.%20Summing%20over%20%24n%24%20gives%20%24-6%5Csum%5Climits_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%5Csum%5Climits_%7Bm%3D-%5Cinfty%7D%5E%7B%5Cinfty%7D%5Cfrac%7B1%7D%7B(n%5Ctau%2Bm)%5E4%7D%24%20%24%3D%20-16%5Cpi%5E4%5Csum%5Climits_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%20%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7Dk%5E3%5Cxi%5E%7Bnk%7D%24%20%24%3D%20-16%5Cpi%5E4%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D%20%5Cxi%5Ek%5Csigma_3(k)%24%20(%24*%24)%20where%20%24%5Csigma_a%24%20is%20the%20divisor%20function.%0A%0A%20%20%20%20Back%20to%20%24s_4(1%2C%5Ctau)%20%3D%20%5Cfrac%7B1%7D%7B60%7Dg_2(1%2C%5Ctau)%20%3D%20%5Csum%5Climits_%7B(n%2Cm)%7D'(n%5Comega%2Bm%5Comega')%5E%7B-4%7D%24%20%24%3D2%7B%5Csum%5Climits_%7Bm%3D1%7D%5E%7B%5Cinfty%7D%7D%7Bm%5E%7B-4%7D%7D%20%2B%202%20%7B%5Csum%5Climits_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%7D%7B%5Csum%5Climits_%7Bm%20%3D%20-%20%5Cinfty%7D%5E%7B%5Cinfty%7D%7D%7B(m%2Bn%5Ctau)%5E%7B-4%7D%7D%24%20%24%3D%20%5Cfrac%7B%5Cpi%5E4%7D%7B45%7D%20%2B%202%20%7B%5Csum%5Climits_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%7D%7B%5Csum%5Climits_%7Bm%20%3D%20-%20%5Cinfty%7D%5E%7B%5Cinfty%7D%7D%7B(m%2Bn%5Ctau)%5E%7B-4%7D%7D%24%2C%20then%20by%20above%20equation%20(%24*%24)%20we%20have%20%24%3D%20%5Cfrac%7B%5Cpi%5E4%7D%7B45%7D%20%2B%20%5Cfrac%7B16%7D%7B3%7D%5Cpi%5E4%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D%20%5Cxi%5Ek%5Csigma_3(k)%24%20%24%3D%20%5Cfrac%7B%5Cpi%5E4%7D%7B45%7D%20%2B%20%5Cfrac%7B16%7D%7B3%7D%5Cpi%5E4%20%5Cxi%20%2B%20%5Cfrac%7B16%20%5Ccdot%209%7D%7B3%7D%5Cpi%5E4%20%5Cxi%5E2%20%2B%20%5Cfrac%7B16%5Ccdot%2028%7D%7B3%7D%5Cpi%5E4%20%5Cxi%5E3%20%2B%20%5Cdots%24.%0A%0A%20%20%20%20So%20the%20normalized%20term%20would%20be%20%24E_4%20%3D%20s_4%2F2%5Cxi(4)%20%3D%2045s_4%2F%5Cpi%5E4%24%20%24%3D%201%20%2B%20240(%5Cxi%20%2B%209%5Cxi%5E2%20%2B%2028%5Cxi%5E3%20%2B%20%5Cdots)%24.%0A%0A%20%20%20%20Now%20%24E_8%24%2C%20for%20this%20we%20need%20to%20differentiate%20(%24*%24)%20more%20times%20to%20get%20%24-5040%5Csum%5Climits_%7Bn%3D1%7D%5E%7B%5Cinfty%7D%5Csum%5Climits_%7Bm%3D-%5Cinfty%7D%5E%7B%5Cinfty%7D%5Cfrac%7B1%7D%7B(n%5Ctau%2Bm)%5E8%7D%24%20%24%3D%20-256%5Cpi%5E8%5Csum%5Climits_%7Bk%3D1%7D%5E%7B%5Cinfty%7D%20%5Cxi%5Ek%5Csigma_7(k)%24.%20So%20that%20%24E_8%24%20will%20have%20the%20form%20%241%20%2B%20a(%5Cxi%20%2B%20b%5Cxi%5E2%20%2B%20c%5Cxi%5E3%20%2B%20%5Cdots)%24%20where%3A%0A%0A%20%20%20%201.%20%24a%20%3D%20%5Cfrac%7B2%7D%7B5040%7D%5Ccdot%20256%20%5Ccdot%20%5Cfrac%7B9450%7D%7B2%7D%20%3D%20480%24%20(first%20%242%24%20comes%20from%20the%20coefficient%20before%20summation%3B%20%24%5Cfrac%7B256%7D%7B5040%7D%24%20comes%20from%20the%20%248%24-th%20derivative%3B%20and%20%24%5Cfrac%7B9450%7D%7B2%7D%24%20comes%20from%20%242%5Czeta(8)%24)%3B%0A%20%20%20%202.%20%24b%20%3D%20%5Csigma_7(2)%20%3D%201%5E7%20%2B%202%5E7%20%3D%20129%24%3B%0A%20%20%20%203.%20%24c%20%3D%201%5E7%20%2B%203%5E7%20%3D%202188%24%3B%0A%20%20%20%204.%20%24%5Cdots%24%0A%0A%20%20%20%20i.e.%20%24E_8%20%3D%201%20%2B%20480(%5Cxi%20%2B%20129%5Cxi%5E2%20%2B%202188%5Cxi%5E3%20%2B%20%5Cdots)%24.%20A%20reasonable%20conjecture%20will%20be%20that%20%24E_4%5E2%20%3D%20E_8%24%20(See%20Wikipedia%20'modular%20form').%0A%0A%20%20%20%20%23%23%20Exercise%207%0A%0A%20%20%20%20**Let%20%24D%24%20be%20the%20left%20half%20of%20the%20fundamental%20region%20%24G_0%24%2C%20i.e.%20%24D%20%3D%20%5Clbrace%20%5Ctau%20%5Cin%20%5CPi%5E%2B%20%3A%20%7C%20%5Ctau%20%7C%20%3E%201%2C%20-1%2F2%20%3C%20Re%20%5Ctau%20%3C%200%20%5Crbrace%24.%20Show%20that%20the%20modular%20invariant%20%24J%24%20is%20a%20conformal%20equivalence%20between%20%24D%24%20and%20%24%5CPi%5E%2B%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24D'%24%20be%20the%20right%20half%20of%20the%20fundamental%20region%2C%20by%20the%20proposition%20about%20surjectivity%20of%20%24J%24%20(part%20of%20the%20proof%20would%20be%20exercise%208)%20and%20from%20the%20property%20of%20%24J%24%20that%20%24J(-%5Coverline%7B%5Ctau%7D)%20%3D%20%5Coverline%7BJ(%5Ctau)%7D%24%2C%20we%20know%20that%20%24J%24%20maps%20%24D%24%20and%20%24D'%24%20bijectively%20to%20%24%5CPi%5E%2B%24%20and%20%24%5CPi%5E-%24%20(but%20not%20too%20clearly%20which%20domain%20corresponding%20to%20which%20codomain).%0A%0A%20%20%20%20From%20the%20calculation%20of%20%24g_2%24%20and%20%24g_3%24%2C%20we%20have%20that%20%24J(%5Ctau)%20%5Coverset%7B%5Ctext%7Bdef%7D%7D%7B%3D%7D%20%5Cfrac%7Bg_2%5E3(1%2C%5Ctau)%7D%7B%5Ctriangle(1%2C%5Ctau)%7D%24%20has%20the%20form%20%24%3D%20%5Czeta%5E%7B-1%7D(%5Ctau)%20%2B%20c_0%20%2B%20O(%5Czeta(%5Ctau))%24%2C%20where%20%24%5Czeta(%5Ctau)%20%3D%20e%5E%7B2%5Cpi%20i%20%5Ctau%7D%24.%20Thus%20%24J%24%20is%20holomorphic.%20Moreover%2C%20plug%20in%20some%20value%20%24z%20%3D%20-x%2Biy%24%20in%20%24D%24%2C%20i.e.%20%240%3Cx%3C1%2F2%2C%20x%5E2%2By%5E2%3E%201%24%2C%20and%20we%20can%20check%20that%20%24%5Czeta%5E%7B-1%7D(z)%20%3D%20(e%5E%7B2%20%5Cpi%20i%20z%7D)%5E%7B-1%7D%24%20belongs%20to%20the%20upper%20half%20plane%20from%20direct%20calculation.%20Thus%20%24J%3AD%20%5Cto%20%5CPi%5E%2B%24%20is%20a%20holomorphic%20bijection%2C%20thus%20a%20conformal%20map.%0A%0A%20%20%20%20%23%23%20Exercise%208%0A%0A%20%20%20%20**Check%20that%20the%20zero%20of%20%24J(%5Ctau)%24%20at%20%24%5Crho%20%3D%20e%5E%7B2%5Cpi%20i%2F3%7D%24%20has%20order%20%243%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Consider%20the%20following%20(blue)%20contour%20%24C%24%20spliced%20into%20%247%24%20parts%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021351.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20%24%5Crho%24%20together%20with%20%24%5Crho%2B1%24%20need%20to%20be%20excluded%2C%20as%20we%20know%20%24J(%5Crho)%20%3D%20J(%5Crho%2B1)%20%3D%200%24.%20We%20achieve%20this%20by%20having%20the%20two%20contours%20like%20small%20arcs%20with%20radius%20%24%5Cvarepsilon%20%5Cto%200%24.%20The%20radians%20of%20those%20two%20circular%20sectors%20would%20both%20be%20%24%5Cpi%2F3%24%2C%20as%20illustrated%20in%20the%20graph%2C%20using%20the%20fact%20that%20%24%7C%20%5Ctext%7Bre%7D(%5Crho)%20%7C%20%3D%20%5Cfrac%7B1%7D%7B2%7D%24.%0A%0A%20%20%20%20Follows%20the%20reasoning%20from%20course%20material%2C%20let%20%24m%20%5Cge%203%24%20be%20number%20of%20zeroes%20of%20%24J%24%20in%20the%20domain%2C%20%24k%20%5Cge%203%24%20be%20order%20of%20zero%20of%20%24%5Crho%24%2C%20we%20have%20%24%5CDelta(arg(J)%2CC)%20%3D%202%5Cpi%20(m-k)%20%3D%202%20%5Cpi%20-%20%5Cfrac%7B%5Cpi%7D%7B3%7Dk%20-%20%5Cfrac%7B%5Cpi%7D%7B3%7Dk%24%2C%20where%20%24M%24%20contributes%20%24%5CDelta(arg(%5Cfrac%7B1%7D%7B%5Czeta%7D)%2C%20M)%20%3D%202%20%5Cpi%24%2C%20%24%5Cgamma%24%20and%20%24%5Cgamma'%24%20contribute%20%24-%5Cfrac%7B2%5Cpi%7D%7B3%7D%24%20together%2C%20and%20the%20rest%20cancels%20out.%20We%20have%20that%20%24m%20%3D%20k%20%3D%203%24.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Spring%20Semester%20Homework%202%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Fix%20the%20branch%20%24%5Carctan%24%20of%20the%20inverse%20tangent%20so%20that%20%240%20%5Cle%20%5Carctan%7Bt%7D%20%5Cle%20%5Cpi%24%20for%20%24t%20%5Cin%20%5Cmathbb%7BR%7D%24%20and%20use%20the%20convention%20that%20%24%5Carctan%7B%5Cpm%5Cinfty%7D%20%3D%20%5Cpi%2F2%24.%20Check%20that%20%24v(x%2Cy)%20%3D%20%5Carctan%7By%2Fx%7D%24%20is%20harmonic%20on%20%24%5CPi%5E%2B%24**.%0A%0A%20%20%20%201.%20**Let%20now%20%24w(x%2Cy)%20%3D%20b%2B%5Cfrac%7Ba-b%7D%7B%5Cpi%7D%5Carctan%7B%5Cfrac%7By%7D%7Bx-c%7D%7D%24.%20What%20is%20the%20boundary%20condition%20for%20the%20Dirichlet%20problem%20it%20solves%20on%20%24%5CPi%5E%2B%24**%3F%0A%20%20%20%202.%20**Generalize%201.%20To%20write%20down%20the%20solution%20to%20the%20Dirichlet%20problem%20on%20%24%5CPi%5E%2B%24%20if%20the%20boundary%20condition%20on%20%24%5Cmathbb%7BR%7D%24%20is%20piece-wise%20constant%20(so%20called%20%24N%24-value%20Dirichlet%20problem%20for%20the%20upper%20half-plane)**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%201.%20%24%5Carctan%7By%2Fx%7D%24%20is%20harmonic%3A%20consider%20the%20(rewrite%20of)%20log%3A%20%24%5Clog%7Bx%2Biy%7D%20%3D%20%5Clog%7Bz%7D%20%3D%20%5Clog%7Br%7D%20%2B%20i%20%5Ctheta%24%2C%20where%20%24r%20%3D%20%7C%20z%20%7C%2C%20%5Ctheta%20%3D%20%5Carg%7Bz%7D%24.%20If%20we%20take%20%24%5Ctheta%24%20to%20be%20in%20%24(-%5Cfrac%7B%5Cpi%7D%7B2%7D%2C%20%5Cfrac%7B3%5Cpi%7D%7B2%7D)%24%2C%20i.e.%20the%20branch%20cut%20is%20along%20%24y%3C0%24%20so%20it%20does%20not%20mess%20up%20with%20the%20upper%20half%20plane%2C%20we%20have%20that%20%24%5Carctan%7By%2Fx%7D%20%3D%20%5Ctheta%24.%20Then%20%24%5Carctan%7By%2Fx%7D%24%20can%20be%20seen%20as%20the%20real%20part%20of%20%24-i%5Clog%7Bz%7D%24%20in%20that%20branch%2C%20which%20is%20holomorphic%20on%20%24%5CPi%5E%2B%24%3B%0A%20%20%20%202.%20By%20the%20above%20argument%2C%20%24%5Carctan%7By%2Fx%7D%24%20would%20have%20boundary%20condition%20%24%3D%200%24%20on%20%24x%20%3E%200%24%20and%20%24%3D%20%5Cpi%24%20on%20%24x%20%3C%200%24%3B%20so%20that%20%24w(x%2Cy)%24%20would%20have%20boundary%20condition%20%24%3D%20a%24%20on%20%24x%20%3C%20c%24%20and%20%24%3D%20b%24%20on%20%24x%20%3E%20c%24%3B%0A%0A%20%20%20%20The%20setup%20should%20be%20like%3A%20let%20%24c_0%20%3C%20c_1%20%3C%20%5Cdots%20%3C%20c_n%24%20be%20a%20list%20of%20real%20numbers%2C%20let%20%24a_0%2C%20%5Cdots%2C%20a_%7Bn%2B1%7D%24%20be%20a%20list%20of%20prescribed%20numbers%20and%20consider%20the%20boundary%20condition%20%24w(x%2C0)%20%3D%20a_i%24%20for%20all%20%24x%20%5Cin%20(c_%7Bi-1%7D%2C%20c_i)%24%20for%20each%20%24i%20%5Cge%201%24%2C%20and%20say%20that%20%24w(x%2C0)%20%3D%20a_0%24%20for%20%24x%20%3C%20c_0%24%2C%20%24w(x%2C0)%20%3D%20a_%7Bn%2B1%7D%24%20for%20%24x%20%3E%20c_n%24.%20So%20%24c_i%24's%20are%20analogous%20to%20above%20%24c%24%20(they%20kind%20of%20split%20the%20line)%2C%20and%20%24a_i%24's%20are%20analogous%20to%20above%20%24a%24%20and%20%24b%24%20(they%20determine%20the%20values).%0A%0A%20%20%20%20So%20analogous%20as%20%24w%24%20above%2C%20try%20this%20function%20%24w(x%2Cy)%20%3D%20%5Cfrac%7B1%7D%7B%5Cpi%7D(%5Cpi%20a_%7Bn%2B1%7D%24%20%24%2B%20(a_0%20-%20a_%7Bn%2B1%7D)(%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_0%7D%7D)%24%20%24%2B%20(a_1%20-%20a_%7Bn%2B1%7D)(%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_1%7D%7D%20-%20%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_0%7D%7D)%24%20%24%2B%20%5Cdots%24%20%24%2B%20(a_n%20-%20a_%7Bn%2B1%7D)(%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_n%7D%7D%20-%20%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_%7Bn-1%7D%7D%7D))%24%3B%0A%0A%20%20%20%201.%20For%20%24x%20%3E%20c_n%24%2C%20all%20other%20summing%20terms%20are%20%240%24%2C%20only%20%24%5Cpi%20a_%7Bn%2B1%7D%24%20remains%3B%0A%20%20%20%202.%20For%20%24x%20%3C%20c_0%24%2C%20only%20%24%5Cpi%20a_%7Bn%2B1%7D%24%20and%20%24(a_0%20-%20a_%7Bn%2B1%7D)(%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_0%7D%7D)%20%3D%20%5Cpi%20(a_0%20-%20a_%7Bn%2B1%7D)%24%20remain%2C%20summing%20to%20%24a_0%24%3B%20the%20other%20terms%20have%20form%20%24(a-b)(%5Cpi%20-%20%5Cpi)%24%3B%0A%20%20%20%203.%20For%20%24c_i%20%3C%20x%20%3C%20c_%7Bi%2B1%7D%24%2C%20only%20%24%5Cpi%20a_%7Bn%2B1%7D%24%20and%20%24(a_%7Bi%2B1%7D%20-%20a_%7Bn%2B1%7D)(%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_%7Bi%2B1%7D%7D%7D%20-%20%5Carctan%7B%5Cfrac%7By%7D%7Bx-c_i%7D%7D)%24%20remain%20and%20they%20sum%20to%20%24a_%7Bi%2B1%7D%24%2C%20all%20as%20desired.%0A%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Let%20%24D%24%20be%20the%20horizontal%20strip%20%240%20%3C%20%5Ctext%7Bim%7D(z)%20%3C%20%5Cpi%24%20and%20%24%5Cvarphi%3A%20%5Cpartial%20D%20%5Cto%20%5Cmathbb%7BR%7D%24%20be%20given%20by%20%24%5Cvarphi(x)%20%3D%201%24%20for%20%24x%20%5Cge%200%24%2C%20%24%5Cvarphi%20%3D%200%24%20on%20the%20rest%20of%20%24%5Cpartial%20D%24.%20Find%20the%20solution%20to%20the%20Dirichlet%20problem%20on%20%24D%24%20with%20the%20boundary%20condition%20%24u%7C_%7B%5Cpartial%20D%7D%20%3D%20%5Cvarphi%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20First%20a%20claim%2C%20harmonic%20function%20compose%20a%20holomorphic%20function%20is%20harmonic%2C%20let%20%24f%24%20be%20harmonic%20and%20%24g%24%20be%20holomorphic%2C%20then%20by%20chain%20rule%20%244%5CDelta%7Bf%20%5Ccirc%20g%7D%20%3D%20(f%20%5Ccirc%20g)_%7Bz%5Coverline%7Bz%7D%7D%20%3D%20((%5Cfrac%7B%5Cpartial%20f%7D%7B%5Cpartial%20z%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%20g%7D%7B%5Cpartial%20z%7D%20%2B%20(%5Cfrac%7B%5Cpartial%20f%7D%7B%5Cpartial%20%5Coverline%7Bz%7D%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%20%5Coverline%7Bg%7D%7D%7B%5Cpartial%20z%7D)_%7B%5Coverline%7Bz%7D%7D%24%20%24%3D%20(%5Cfrac%7B%5Cpartial%20f%7D%7B%5Cpartial%20z%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%5E2%20g%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20%24%2B%20(%5Cfrac%7B%5Cpartial%5E2%20f%7D%7B%5Cpartial%20z%5E2%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%5E2%20g%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20%24%2B%20(%5Cfrac%7B%5Cpartial%5E2%20f%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%20g%20%5Cpartial%20%5Coverline%7Bg%7D%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20%24%2B%20(%5Cfrac%7B%5Cpartial%20f%7D%7B%5Cpartial%20%5Coverline%7Bz%7D%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%5E2%20g%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20%24%2B%20(%5Cfrac%7B%5Cpartial%5E2%20f%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%20g%20%5Cpartial%20%5Coverline%7Bg%7D%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20%24%2B%20(%5Cfrac%7B%5Cpartial%5E2%20f%7D%7B%5Cpartial%20%5Coverline%7Bz%7D%5E2%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%5E2%20%5Coverline%7Bg%7D%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24.%0A%0A%20%20%20%20Since%20%24g%24%20is%20holomorphic%2C%20basically%20everything%20vanishes%2C%20and%20the%20remaining%20%24(%5Cfrac%7B%5Cpartial%5E2%20f%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%20%5Ccirc%20g)%5Cfrac%7B%5Cpartial%20g%20%5Cpartial%20%5Coverline%7Bg%7D%7D%7B%5Cpartial%20z%20%5Cpartial%20%5Coverline%7Bz%7D%7D%24%20is%20also%20%240%24%20because%20%24f%24%20is%20harmonic.%0A%0A%20%20%20%20Now%20in%20particular%2C%20a%20conformal%20map%20is%20holomorphic%2C%20so%20if%20we%20have%20a%20conformal%20map%20between%20a%20strip%20and%20the%20upper%20half%20plane%2C%20compose%20this%20map%20and%20the%20solution%20of%20Dirichlet%20problem%20on%20upper%20half%20plane%20we%20may%20get%20our%20answer.%0A%0A%20%20%20%20The%20conformal%20map%20is%20easy%20to%20find%3A%20%24f(z)%20%3D%20e%5Ez%24%20maps%20the%20strip%20to%20upper%20half%20plane.%0A%0A%20%20%20%20From%20last%20problem%2C%20the%20solution%20for%20Dirichlet%20problem%20on%20the%20upper%20half%20plane%20with%20the%20desired%20boundary%20condition%20is%20given%20by%20splitting%20%24R%24%20by%20%24-1%2C1%24%20and%20taking%20value%20of%20%241%2C%200%2C%201%24%20on%20the%20three%20segments%20respectively.%20I.e.%20%24w(x%2Cy)%20%3D%20%5Cfrac%7B1%7D%7B%5Cpi%7D(%5Cpi%20-%20(%5Carg%7Bz-1%7D%20-%5Carg%7Bz%2B1%7D))%24.%20Composition%20gives%20us%20%24u%20%3D%20%5Cfrac%7B1%7D%7B%5Cpi%7D(%5Cpi%20-%20(%5Carg%7Be%5Ez-1%7D%20-%5Carg%7Be%5Ez%2B1%7D))%24%20and%20this%20is%20the%20solution%3A%20the%20conformal%20map%20maps%20the%20boundary%20of%20the%20strip%20%24x%3C0%24%20to%20%24(-1%2C1)%24%2C%20which%20has%20boundary%20value%20%240%24%2C%20and%20the%20rest%20part%20of%20the%20boundary%20to%20%24(-%5Cinfty%2C-1)%2C%20(1%2C%5Cinfty)%24%2C%20which%20has%20boundary%20value%20%241%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Let%20%24u%24%20be%20a%20positive%20harmonic%20function%20on%20%24%5Cmathbb%7BR%7D%5E2%24.%20Show%20that%20%24u%24%20is%20constant**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Let%20%24u%24%20be%20harmonic%2C%20then%20it%20is%20the%20real%20part%20of%20some%20holomorphic%20%24f(z)%20%3D%20u(z)%20%2B%20iv(z)%24.%20Consider%20%24e%5E%7Bf(z)%7D%24%2C%20it%20is%20holomorphic%20and%20never%20%240%24.%20Moreover%2C%20%24%7C%20e%5E%7Bf(z)%7D%20%7C%20%3D%20%7C%20e%5E%7Bu%2Biv%7D%20%7C%20%3D%20e%5Eu%24.%20Since%20%24u%24%20positive%20(and%20real)%2C%20%24e%5Eu%20%3E%201%24%2C%20thus%20%24%5Cfrac%7B1%7D%7Be%5E%7Bf(z)%7D%7D%24%20is%20bounded%20by%20%241%24.%20By%20Liouville's%20Theorem%20it%20is%20a%20constant%2C%20which%20implies%20%24u%24%20is%20a%20constant%20as%20well.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**Let%20%24u%24%20be%20a%20real-valued%20harmonic%20function%20in%20the%20complex%20plane%20such%20that%20%24u(z)%20%5Cle%20b%2Ba%5Clog%7B%7C%20z%20%7C%7D%24%20whenever%20%24%7C%20z%20%7C%20%5Cge%201%24%20(for%20some%20constants%20%24a%20%3E%200%24%20and%20%24b%24).%20Show%20that%20%24u%24%20is%20constant**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Rewrite%20the%20inequality%20we%20have%20%24%5Cfrac%7Bu-b%7D%7Ba%7D%20%5Cle%20%5Clog%7B%7C%20z%20%7C%7D%24.%20Since%20%24u%24%20is%20real-valued%20harmonic%2C%20%24%5Cfrac%7Bu-b%7D%7Ba%7D%24%20must%20also%20be%20real-valued%20harmonic%2C%20thus%20it%20is%20the%20real%20part%20of%20some%20holomorphic%20%24f%24.%0A%0A%20%20%20%20Now%20take%20exponential%3A%20%24%7C%20%5Cexp%7Bf%7D%20%7C%20%3D%20%5Cexp%7B%5Cfrac%7Bu-b%7D%7Ba%7D%7D%24%2C%20(now%20we%20work%20in%20real%20numbers)%2C%20%24%5Cle%20%5Cexp%7B%5Clog%7B%7C%20z%20%7C%7D%7D%20%3D%20%7C%20z%20%7C%24.%0A%0A%20%20%20%20Again%20we%20want%20to%20find%20some%20way%20to%20apply%20Liouville's%20Theorem%2C%20so%20we%20need%20something%20entire%20and%20bounded%20by%20some%20constant%3A%0A%0A%20%20%20%20Consider%20%24%7C%20%5Cexp%7Bf(z)%7D%20-%20%5Cexp%7Bf(0)%7D%20%7C%20%5Cle%20%7C%20%5Cexp%7Bf(z)%7D%20%7C%20%2B%20%7C%20%5Cexp%7Bf(0)%7D%20%7C%24%2C%20the%20first%20part%20is%20less%20than%20%24%7C%20z%20%7C%24%20as%20shown%20above%2C%20and%20the%20second%20part%20is%20a%20constant%2C%20%24%5Cle%20%7C%20z%20%7C%20%2B%20c%24%2C%20if%20%24%7C%20z%20%7C%20%5Cge%201%24%2C%20it%20is%20%24%5Cle%20%7C%20z%20%7C%20%2B%20c%20%7C%20z%20%7C%20%3D%20(1%2Bc)%20%7C%20z%20%7C%24.%20So%20%24%5Cfrac%7B%5Cexp%7Bf(z)%7D-%5Cexp%7Bf(0)%7D%7D%7Bz%7D%24%20is%20bounded%3B%20it%20may%20only%20have%20pole%20at%20%240%24%2C%20but%20%24%5Cexp%7Bf(z)%7D-%5Cexp%7Bf(0)%7D%20%3D%200%24%20at%20zero%20and%20the%20singularity%20is%20removable.%20So%20%24%5Cfrac%7B%5Cexp%7Bf(z)%7D-%5Cexp%7Bf(0)%7D%7D%7Bz%7D%24%20is%20entire%20and%20bounded%20thus%20equals%20some%20constant%20%24c%5E%7B*%7D%24.%0A%0A%20%20%20%20Thus%20%24%5Cexp%7Bf(z)%7D%20%3D%20zc%5E%7B*%7D%2B%5Cexp%7Bf(0)%7D%20%3D%20zc%5E%7B*%7D%2Bc%24%3B%20if%20%24c%5E%7B*%7D%20%5Cne%200%24%20then%20%24%5Cexp%7Bf(z)%7D%24%20is%20an%20non-constant%20polynomial%20(thus%20has%20a%20root)%2C%20but%20that%20should%20not%20be%20true%2C%20because%20%24%5Cexp%7Bz%7D%20%5Cne%200%24%20for%20all%20%24z%24%2C%20thus%20%24c%5E%7B*%7D%20%3D%200%24%20and%20%24%5Cexp%7Bf(z)%7D%24%20is%20constant%2C%20which%20implies%20%24f%24%20and%20%24u%24%20are%20constant%20as%20well.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**The%20trigonometric%20polynomials%20are%20dense%20in%20%24C(%5Cpartial%20%5Cmathbb%7BD%7D)%24.%20That%20is%2C%20if%20%24f%20%5Cin%20C(%5Cpartial%20%5Cmathbb%7BD%7D)%24%20and%20%24%5Cvarepsilon%20%3E%200%24%2C%20then%20there%20exists%20a%20trigonometric%20polynomial%20%24P%24%20such%20that%20%24%7C%20P(e%5E%7Bit%7D)%20-%20f(e%5E%7Bit%7D)%20%7C%20%3C%20%5Cvarepsilon%24%20for%20all%20%24t%20%5Cin%20%5Cmathbb%7BR%7D%24%20(Page%20188)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20For%20%240%20%3C%20r%20%3C%201%24%2C%20let%20%24f_r(e%5E%7Bit%7D)%20%3D%20%5Csum%5Climits_%7Bn%3D-%5Cinfty%7D%5E%7B%5Cinfty%7Dr%5E%7B%7C%20n%20%7C%7Dc_ne%5E%7Bint%7D%24%2C%20where%20%24c_n%24%20is%20the%20%24n%24-th%20Fourier%20coefficient%20of%20%24f%24%2C%20which%20is%20exactly%20%24P%5B%5Bre%5E%7Bit%7D%7Cf%5D%5D%24%20in%20the%20form%20stated%20in%20Theorem%2010.4.0%2C%20and%20it%20gives%20a%20solution%20to%20Dirichlet%20problem%20in%20%24%5Cmathbb%7BD%7D%24%20with%20boundary%20condition%20%24f%24.%20In%20other%20word%2C%20for%20any%20given%20%24%5Cvarepsilon%24%2C%20by%20continuity%20we%20have%20that%20there%20exists%20%24R%24%20such%20that%20%24%7C%20f_r(e%5E%7Bit%7D)%20-%20f(e%5E%7Bit%7D)%20%7C%20%3C%20%5Cvarepsilon%2F2%24%20for%20all%20%24t%24%20for%20all%20%24R%20%3C%20r%20%3C%201%24.%0A%0A%20%20%20%20Fix%20such%20%24r%24%2C%20then%20for%20each%20%24n%24%2C%20the%20%24n%24-th%20Fourier%20coefficient%20of%20%24f%24%20is%20%24%5Cfrac%7B1%7D%7B2%5Cpi%7D%5Cint_%7B0%7D%5E%7B2%5Cpi%7Df(e%5E%7Bit%7D)e%5E%7B-int%7Ddt%24.%20Since%20%24f%20%5Cin%20C(%5Cpartial%20%5Cmathbb%7BD%7D)%24%2C%20%24f%24%20is%20bounded%20on%20%24%5Cpartial%20%5Cmathbb%7BD%7D%24%2C%20thus%20%24%7C%20%5Cfrac%7B1%7D%7B2%5Cpi%7D%5Cint_%7B0%7D%5E%7B2%5Cpi%7Df(e%5E%7Bit%7D)e%5E%7B-int%7Ddt%20%7C%24%20%24%5Cle%20%5Cfrac%7B1%7D%7B2%5Cpi%7D(2%20%5Cpi%20M)%24%20%24%5Cle%20M%24%20is%20bounded%2C%20since%20%24%7C%20e%5E%7Bint%7D%20%7C%20%3D%201%24.%0A%0A%20%20%20%20Now%20%24%7C%20P(e%5E%7Bit%7D)%20-%20f_r(e%5E%7Bit%7D)%20%7C%24%20has%20the%20form%20%24%3D%20%7C%20%5Csum%5Climits_%7B-N%7D%5ENc_ne%5E%7Bint%7D%20-%20%5Csum%5Climits_%7B-%5Cinfty%7D%5E%7B%5Cinfty%7Dr%5E%7B%7C%20n%20%7C%7Dc_ne%5E%7Bint%7D%7C%24%20%24%3D%7C%20%5Csum%5Climits_%7B%7C%20n%20%7C%20%3EN%7D%20r%5E%7B%7C%20n%20%7C%7Dc_ne%5E%7Bint%7D%20%2B%20%5Csum%5Climits_%7B%7C%20n%20%7C%20%5Cle%20N%7D(r%5E%7B%7C%20n%20%7C%7Dc_ne%5E%7Bint%7D%20-%20c_ne%5E%7Bint%7D)%7C%24.%0A%0A%20%20%20%20The%20first%20part%3A%20%24%5Csum%5Climits_%7Bn%20%3E%20N%7D%20r%5E%7B%7C%20n%20%7C%7D%24%20is%20a%20geometric%20series%2C%20for%20any%20%24%5Cvarepsilon%24%20we%20can%20choose%20appropriate%20%24N%24%20such%20that%20%24%5Csum%5Climits_%7Bn%20%3E%20N%7D%20r%5E%7B%7C%20n%20%7C%7D%20%3C%20%5Cvarepsilon%24.%20Since%20%24c_n%24%20is%20bounded%2C%20we%20can%20tweak%20the%20%24N%24%20to%20make%20%24%5Csum%5Climits_%7B%7C%20n%20%7C%20%3E%20N%7D%7C%20c_n%20%7C%20r%5E%7B%7C%20n%20%7C%7D%20%3C%20%5Cvarepsilon%2F2%24.%20The%20second%20part%20has%20finite%20terms%2C%20by%20choose%20%24r%24%20closer%20enough%20to%20%241%24%20we%20can%20neglect%20it.%20Thus%20for%20large%20enough%20%24r%24%20and%20large%20enough%20%24N%24%2C%20we%20have%20that%20%24%7C%20P(e%5E%7Bit%7D)%20-%20f_r(e%5E%7Bit%7D)%20%7C%20%3C%20%5Cvarepsilon%2F2%24.%0A%0A%20%20%20%20Now%20by%20triangle%20inequality%20we%20have%20the%20desired%20statement.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Find%20the%20most%20general%20harmonic%20function%20of%20the%20form%20%24f(%7C%20z%20%7C)%2C%20z%20%5Cin%20%5Cmathbb%7BC%7D%20-%20%5Clbrace%200%20%5Crbrace%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20For%20%24z%20%5Cne%200%24%20we%20have%20%24f(%7C%20z%20%7C)%20%3D%20f(%5Csqrt%7Bx%5E2%20%2B%20y%5E2%7D)%24.%20So%20%24f_x%20%3D%20%5Cfrac%7Bx%7D%7B%5Csqrt%7Bx%5E2%2By%5E2%7D%7Df'(%5Csqrt%7Bx%5E2%20%2B%20y%5E2%7D)%24%2C%20and%20%24f_%7Bxx%7D%20%3D%20%5Cfrac%7By%5E2%7D%7B(x%5E2%2By%5E2)%5E%7B3%2F2%7D%7Df'%20%2B%20%5Cfrac%7Bx%7D%7B%5Csqrt%7Bx%5E2%20%2B%20y%5E2%7D%7Df'_x%24%20%24%3D%5Cfrac%7By%5E2%7D%7B(x%5E2%2By%5E2)%5E%7B3%2F2%7D%7Df'%20%2B%20%5Cfrac%7Bx%5E2%7D%7Bx%5E2%20%2B%20y%5E2%7Df''%24.%20By%20symmetric%20%24f_%7Byy%7D%20%3D%20%5Cfrac%7Bx%5E2%7D%7B(x%5E2%2By%5E2)%5E%7B3%2F2%7D%7Df'%20%2B%20%5Cfrac%7By%5E2%7D%7Bx%5E2%20%2B%20y%5E2%7Df'_y%24.%0A%0A%20%20%20%20If%20it%20is%20harmonic%20we%20need%20to%20have%20%24f_%7Bxx%7D%20%2B%20f_%7Byy%7D%20%3D%200%24%20%24%5Cimplies%20y%5E2f'%2Bx%5E2%5Csqrt%7Bx%5E2%2By%5E2%7Df''%20%2Bx%5E2f'%2By%5E2%5Csqrt%7Bx%5E2%2By%5E2%7Df''%20%3D%200%24%20%24%5Cimplies%20f'%2B%20%5Csqrt%7Bx%5E2%2By%5E2%7Df''%20%3D%200%24.%20Since%20%24f'%24%20and%20%24f''%24%20are%20taking%20derivatives%20with%20respect%20to%20%24%5Csqrt%7Bx%5E2%2By%5E2%7D%24%2C%20essentially%20we%20are%20solving%20an%20ODE%20%24y'%20%2B%20xy''%20%3D%200%24%3A%0A%0A%20%20%20%20Let%20%24v%20%3D%20%5Cfrac%7Bdy%7D%7Bdx%7D%24%2C%20then%20%24%5Cfrac%7Bd%5E2y%7D%7Bdx%5E2%7D%20%3D%20%5Cfrac%7Bdv%7D%7Bdx%7D%24%2C%20the%20ODE%20becomes%20%24%5Cfrac%7Bdv%7D%7Bdx%7D%2Fv%20%3D%20-%5Cfrac%7B1%7D%7Bx%7D%24%2C%20taking%20integral%20each%20side%20to%20get%20%24%5Cint%20%5Cfrac%7B1%7D%7Bv%7Ddv%20%3D%20%5Cint%20-%20%5Cfrac%7B1%7D%7Bx%7Ddx%24%20%24%5Cimplies%20%5Cln%7Bv%7D%20%3D%20-%5Cln%7Bx%7D%20%2B%20c%24%2C%20take%20exponential%20and%20we%20have%20%24v%20%3D%20%5Cfrac%7Bc%7D%7Bx%7D%24%2C%20i.e.%20%24%5Cfrac%7Bdy%7D%7Bdx%7D%20%3D%20%5Cfrac%7Bc%7D%7Bx%7D%24%20thus%20%24y%20%3D%20c%5Cln%7Bx%7D%20%2B%20c'%24.%20In%20other%20word%20we%20have%20the%20original%20%24f%24%20has%20the%20form%20%24f(%7C%20z%20%7C)%20%3D%20c%5Clog%7B%7C%20z%20%7C%7D%20%2B%20c'%24%2C%20%24c%2Cc'%24%20are%20constants.%0A%0A%20%20%20%20%23%23%20Exercise%207%0A%0A%20%20%20%20**Suppose%20that%20%24K%20%5Csubseteq%20%5Cmathbb%7BC%7D%24%20is%20compact%2C%20suppose%20that%20%24(R_n)%24%20and%20%24(S_n)%24%20are%20sequences%20of%20elements%20of%20%24C(K)%24%20which%20converge%20to%20uniformly%20on%20%24K%24%20to%20%24f%24%20and%20%24g%24%20respectively.%20Show%20that%20%24R_nS_n%24%20converges%20to%20%24fg%24%20uniformly%20on%20%24K%24%20(Page%20232)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Consider%20that%20%24%7C%20R_nS_n%20-%20fg%20%7C%24%20%24%3D%20%7C%20R_nS_n%20-R_ng%2BR_ng-fg%7C%24%20%24%5Cle%20%7C%20R_nS_n%20-R_ng%20%7C%20%2B%20%7C%20R_ng-fg%20%7C%24%20%24%5Cle%20%7C%20R_n%20%5C%7C%20S_n%20-%20g%20%7C%20%2B%20%7C%20g%20%5C%7C%20R_n%20-f%20%7C%24.%20Since%20%24(R_n)%24%20and%20%24(S_n)%24%20are%20continuous%2C%20%24f%24%20and%20%24g%24%20are%20continuous%2C%20and%20thus%20bounded%20(by%20%24B_f%2C%20B_g%24)%20on%20compact%20%24K%24.%20For%20any%20%24%5Cvarepsilon%20%3E%200%24%2C%20choose%20%24N_f%2C%20N_g%24%20such%20that%20for%20all%20%24n%20%3E%20N_f%2C%20m%20%3E%20N_g%24%2C%20%24%7C%20R_n%20-f%20%7C%20%3C%20%5Cfrac%7B%5Cvarepsilon%7D%7B2B_f%2B2%7D%24%20and%20%24%7C%20S_m%20-g%20%7C%20%3C%20%5Cfrac%7B%5Cvarepsilon%7D%7B2B_g%7D%24%2C%20and%20take%20%24N%20%3D%20%5Cmax%7BN_f%2C%20N_g%7D%24.%20%24R_n%24%20in%20this%20case%20is%20bounded%20by%20%24B_f%20%2B%201%24.%0A%0A%20%20%20%20Then%20%24%7C%20R_nS_n%20-%20fg%20%7C%20%5Cle%20%5Cvarepsilon%24%2C%20by%20definition%20we%20have%20uniform%20convergence.%0A%0A%20%20%20%20%23%23%20Exercise%208%0A%0A%20%20%20%20**Show%20that%20there%20exists%20a%20sequence%20of%20polynomials%20%24(P_n)%24%20with%20%24P_n(0)%20%3D%201%24%20for%20all%20%24n%24%20and%20%24%5Clim%5Climits_%7Bn%20%5Cto%20%5Cinfty%7DP_n(z)%20%3D%200%24%20for%20all%20%24z%20%5Cin%20%5Cmathbb%7BC%7D%20-%20%5Cmathbb%7BR%7D_%7B%5Cge%200%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20For%20each%20%24n%24%2C%20define%20%24K_n%20%3D%20K_n%5E%2B%20%5Ccup%20K_n%5E0%20%5Ccup%20K_n%5E-%20%5Ccup%20%5Clbrace%200%20%5Crbrace%24%20where%20%24K_n%5E%2B%24%20is%20the%20closed%20rectangle%20with%20vertices%20%24-n%2Bi%2Fn%24%2C%20%24n%2Bi%2Fn%24%2C%20%24-n%2Bin%24%2C%20%24n%2Bin%24%3B%20%24K_n%5E-%24%20is%20the%20closed%20rectangle%20with%20vertices%20%24-n-i%2Fn%24%2C%20%24n-i%2Fn%24%2C%20%24-n-in%24%2C%20%24n-in%24%3B%20and%20%24K_n%5E0%24%20is%20the%20line%20segment%20%24%5B-1-n%2C-1%2B1%2Fn%5D%24%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021353.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20Now%20define%20%24f_n%3AK_n%20%5Cto%20%5Cmathbb%7BC%7D%24%20by%20%24f_n(z)%20%3D%200%24%20for%20%24z%20%5Cin%20K_n%5E%2B%20%5Ccup%20K_n%5E0%20%5Ccup%20K_n%5E-%24%20and%20%24%3D1%24%20for%20%24z%20%3D%200%24.%0A%0A%20%20%20%20Each%20%24C%20-%20K_n%24%20is%20connected%2C%20%24f_n%24%20is%20holomorphic%20in%20a%20neighborhood%20of%20%24K_n%24%2C%20by%20Runge's%20Theorem%20on%20compact%20set%20there%20exists%20sequence%20%24(P_n)%24%20with%20the%20desired%20properties.%0A%0A%20%20%20%20%23%23%20Exercise%209%0A%0A%20%20%20%20**Show%20that%20there%20exists%20a%20sequence%20of%20polynomials%20%24(P_n)%24%20such%20that%20%24P_n(0)%20%3D%201%24%20for%20all%20%24n%24%2C%20while%20%24P_n(z)%20%5Cto%200%24%20as%20%24n%20%5Cto%20%5Cinfty%24%20if%20%24z%20%5Cin%20%5Cmathbb%7BC%7D%24%20and%20%24z%20%5Cne%200%24%20(Page%20240)**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Similarly%2C%20for%20each%20%24n%24%2C%20define%20%24K_n%20%3D%20K_n%5E%2B%20%5Ccup%20K_n%5E%7B0%2B%7D%20%5Ccup%20K_n%5E%7B0-%7D%20%5Ccup%20K_n%5E-%20%5Ccup%20%5Clbrace%200%20%5Crbrace%24%20where%20%24K_n%5E%2B%24%20is%20the%20closed%20rectangle%20with%20vertices%20%24-n%2Bi%2Fn%24%2C%20%24n%2Bi%2Fn%24%2C%20%24-n%2Bin%24%2C%20%24n%2Bin%24%3B%20%24K_n%5E-%24%20is%20the%20closed%20rectangle%20with%20vertices%20%24-n-i%2Fn%24%2C%20%24n-i%2Fn%24%2C%20%24-n-in%24%2C%20%24n-in%24%3B%20%24K_n%5E%7B0-%7D%24%20is%20the%20line%20segment%20%24%5B1%2Bn%2C1-1%2Fn%5D%24%3B%20and%20%24K_n%5E%7B0-%7D%24%20is%20the%20line%20segment%20%24%5B-1-n%2C-1%2B1%2Fn%5D%24%20(add%20another%20segment%20on%20the%20right)%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021641.png%22%20width%3D%22400%22%20%2F%3E%0A%0A%20%20%20%20Now%20define%20%24f_n%3AK_n%20%5Cto%20%5Cmathbb%7BC%7D%24%20by%20%24f_n(z)%20%3D%200%24%20for%20%24z%20%5Cin%20K_n%5E%2B%20%5Ccup%20K_n%5E%7B0%2B%7D%20%5Ccup%20K_n%5E%7B0-%7D%20%5Ccup%20K_n%5E-%24%20and%20%24%3D1%24%20for%20%24z%20%3D%200%24.%0A%0A%20%20%20%20Each%20%24C%20-%20K_n%24%20is%20connected%2C%20%24f_n%24%20is%20holomorphic%20in%20a%20neighborhood%20of%20%24K_n%24%2C%20by%20Runge's%20Theorem%20on%20compact%20set%20there%20exists%20sequence%20%24(P_n)%24%20with%20the%20desired%20properties.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%20Spring%20Semester%20Homework%203%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Exercise%201%0A%0A%20%20%20%20**Write%20down%20an%20entire%20function%20which%20has%20a%20zero%20of%20order%20%24k%5E2%24%20for%20each%20%24k%20%5Cin%20%5Cmathbb%7BZ%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20By%20Weierstrass%20Theorem%20for%20Entire%20Functions%20(well%2C%20actually%20the%20proposition%20before%20it%20in%20the%20class)%2C%20choose%20%24(a_n)%24%20be%20the%20zeroes%20we%20want%2C%20i.e.%3A%20%241%2C-1%2C2%2C2%2C2%2C2%2C-2%2C-2%2C-2%2C-2%2C%5Cdots%24%2C%20this%20is%20countable%2C%20then%20the%20function%20%24f(z)%20%3D%20%5Cprod%5Climits_%7Bj%3D1%7D%5E%7B%5Cinfty%7DE_%7Bj%7D(%5Cfrac%7Bz%7D%7Ba_j%7D)%24%20is%20entire%20with%20the%20desired%20zeroes.%0A%0A%20%20%20%20A%20revise%3A%20to%20apply%20this%20proposition%20we%20need%20that%20%24%5Csum%5Climits_%7Bj%3D1%7D%5E%7B%5Cinfty%7D(%5Cfrac%7Br%7D%7B%7C%20z_j%20%7C%7D)%5E%7Bn_j%2B1%7D%24%20converges%20for%20all%20%24r%20%3E%200%24%2C%20so%20we%20need%20to%20modify%20the%20%24n_j%2B1%24%20a%20little%20bit%2C%20%24E_%7B3%7D(%5Cfrac%7Bz%7D%7Ba_j%7D)%24%20should%20work.%0A%0A%20%20%20%20%23%23%20Exercise%202%0A%0A%20%20%20%20**Prove%20that%20if%20%24f_1%24%20and%20%24f_2%24%20are%20two%20entire%20functions%20with%20no%20common%20zeroes%2C%20then%20there%20exist%20entire%20functions%20%24g_1%24%20and%20%24g_2%24%20such%20that%20%24g_1f_1%20%2B%20g_2f_2%20%3D%201%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Rewrite%20the%20condition%20as%20%24g_1%20%3D%20%5Cfrac%7B1%20-%20g_2f_2%7D%7Bf_1%7D%24%2C%20we%20need%20this%20to%20be%20entire%3A%20if%20%24f_1%24%20has%20zeroes%20at%20%24z_i%24%20with%20orders%20%24m_i%24%2C%20then%20if%20we%20manage%20to%20find%20entire%20%24g_2%24%20making%20%241-g_2f_2%24%20has%20zeroes%20at%20those%20%24z_i%24%20with%20orders%20%24n_i%24%2C%20such%20that%20%24n_i%20%5Cge%20m_i%24%20for%20each%20%24i%24%2C%20we%20can%20make%20%24g_1%24%20entire%20as%20well.%0A%0A%20%20%20%20By%20holomorphic%20interpolate%20theorem%20there%20exists%20%24g_2%24%20such%20that%20%241%20-%20f_2g_2%24%20has%20zeroes%20of%20order%20%24n_i%24%20at%20%24z_i%24%2C%20i.e.%20prescribed%20%24g_2%5E%7B(n_i)%7D(z_i)%20%3D%20%5Cfrac%7B1%7D%7Bf_2(z_i)%7D%24%2C%20which%20leads%20to%20no%20problem%20because%20%24f_2%24%20by%20assumption%20does%20not%20have%20zeroes%20at%20%24z_i%24.%0A%0A%20%20%20%20Once%20we%20have%20%24g_2%24%2C%20compute%20%24g_1%20%3D%20%5Cfrac%7B1-g_2f_2%7D%7Bf_1%7D%24%2C%20by%20construction%20the%20singularities%20are%20all%20removable%2C%20thus%20there%20exists%20suitable%20entire%20%24g_1%24%20and%20%24g_2%24.%0A%0A%20%20%20%20%23%23%20Exercise%203%0A%0A%20%20%20%20**Suppose%20that%20%24D%24%20is%20a%20bounded%20and%20connected%20open%20subset%20of%20the%20plane%2C%20show%20that%20there%20exists%20%24f%20%5Cin%20H(D)%24%20which%20cannot%20be%20extended%20to%20a%20function%20holomorphic%20in%20a%20strictly%20larger%20connected%20open%20set**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Hint%20says%20to%20show%20that%20there%20exists%20a%20set%20%24E%20%5Csubseteq%20D%24%20such%20that%20%24E%24%20has%20no%20limit%20point%20in%20%24D%24%20but%20every%20point%20of%20%24%5Cpartial%20D%24%20is%20a%20limit%20point%20of%20%24E%24.%0A%0A%20%20%20%20Assuming%20we%20have%20known%20this%20statement%20(and%20that%20%24E%24%20is%20countable%2C%20in%20particular%2C%20%24E%20%5Cne%20D%24)%2C%20then%20by%20Weierstrass%20Factorization%20Theorem%20(in%20an%20open%20set)%20we%20have%20that%20there%20exists%20%24f%20%5Cin%20H(D)%24%20such%20that%20the%20zeroes%20of%20%24f%24%20are%20exactly%20those%20points%20in%20%24E%24.%20This%20%24f%24%20cannot%20be%20extended%20to%20a%20function%20holomorphic%20on%20a%20strictly%20larger%20(connected)%20open%20set%3A%20otherwise%20this%20open%20set%20contains%20at%20least%20a%20point%20in%20%24%5Cpartial%20D%24%20thus%20contains%20a%20limit%20point%20of%20%24E%24%2C%20then%20the%20identity%20principle%20tells%20us%20%24f%20%5Cequiv%200%24%20on%20this%20open%20set%2C%20but%20this%20gives%20a%20contradiction%2C%20because%20%24f%24%20on%20%24D%24%20should%20not%20have%20zeroes%20other%20than%20those%20points%20in%20%24E%24.%0A%0A%20%20%20%20For%20the%20hint%3A%20the%20boundary%20is%20by%20assumption%20closed%20and%20bounded%20in%20%24%5Cmathbb%7BC%7D%24%20thus%20compact%3B%20for%20each%20%24n%20%5Cin%20%5Cmathbb%7BN%7D%24%2C%20%24%5Cbigcup%5Climits_%7Bd%20%5Cin%20%5Cpartial%20D%7D%20B(d%2C%5Cfrac%7B1%7D%7Bn%7D)%24%20covers%20%24%5Cpartial%20D%24%20thus%20admit%20a%20finite%20sub-cover%20%24%5Ccup%20B(d%2C%5Cfrac%7B1%7D%7Bn%7D)%24%2C%20choose%20one%20point%20in%20each%20of%20ball%20that%20is%20contained%20in%20%24D%24%2C%20and%20do%20it%20for%20all%20%24n%24%2C%20those%20points%20together%20give%20the%20desired%20countable%20%24E%24.%0A%0A%20%20%20%20%23%23%20Exercise%204%0A%0A%20%20%20%20**An%20entire%20function%20%24f%24%20is%20said%20to%20be%20of%20finite%20order%20if%20there%20is%20a%20number%20%24t%20%3E%200%24%20such%20that%20%24%7C%20f(z)%20%7C%20%5Cle%20%5Cexp%7B%7C%20z%20%7C%5Et%7D%24%20for%20all%20sufficiently%20large%20%24z%24.%20The%20infimum%20of%20all%20such%20%24t%24%20is%20called%20the%20order%20of%20%24f%24**.%0A%0A%20%20%20%201.%20**Show%20that%20%24%5Ccos(z%5E%7B1%2F2%7D)%24%20is%20a%20single%20valued%20entire%20function%20of%20order%20%241%2F2%24**%3B%0A%20%20%20%202.%20**Construct%20an%20entire%20function%20of%20order**%20%241%2F4%24.%0A%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%201.%20Part%201%3A%0A%20%20%20%20%091.%20Entire%3A%20write%20the%20series%20expansion%20%24%5Ccos(z)%20%3D%20%5Csum%5Climits_%7Bn%20%3D%200%7D%5E%7B%5Cinfty%7D%20%5Cfrac%7B(-1)%5Enz%5E%7B2n%7D%7D%7B(2n)!%7D%24%20so%20that%20%24%5Ccos(z%5E%7B1%2F2%7D)%20%3D%20%5Csum%5Climits_%7Bn%3D0%7D%5E%7B%5Cinfty%7D%5Cfrac%7B(-1)%5Enz%5En%7D%7B(2n)!%7D%24%2C%20this%20is%20a%20power%20series%2C%20and%20anywhere%20convergent%2C%20thus%20entire%3B%0A%20%20%20%20%092.%20Single-valued%3A%20we%20can%20see%20that%20from%20the%20series%20expansion.%20The%20'multi-valued'%20property%20of%20%24z%5E%7B1%2F2%7D%24%20is%20offset%20by%20the%20fact%20that%20cosine%20is%20even%3B%0A%20%20%20%20%093.%20Order%20is%20%241%2F2%24%3A%0A%20%20%20%20%09%091.%20From%20the%20series%20expansion%20above%2C%20%24%7C%20f(z)%20%7C%20%3D%20%5Csum%20%5Cfrac%7B%7C%20z%20%7C%5En%7D%7B(2n)!%7D%24%2C%20yet%20series%20expansion%20for%20%24e%5E%7B%7C%20z%20%7C%7D%20%3D%20%5Csum%20%5Cfrac%7B%7C%20z%20%7C%5En%7D%7Bn!%7D%24%20and%20that%20%24e%5E%7B%7C%20z%20%7C%5E%7B1%2F2%7D%7D%20%3D%20%5Csum%20%5Cfrac%7B%7C%20z%20%7C%5E%7Bn%2F2%7D%7D%7Bn!%7D%24.%20We%20can%20see%20that%20%24%7C%20f(z)%20%7C%20%5Cle%20%5Cexp%7B%7C%20z%20%7C%5E%7B1%2F2%7D%7D%24%20simply%20because%20the%20latter%20has%20more%20non-negative%20terms%2C%20this%20gives%20an%20upper%20bound%20for%20the%20order%3B%0A%20%20%20%20%09%092.%20On%20the%20other%20hand%2C%20write%20%24%5Ccos(z%5E%7B1%2F2%7D)%24%20as%20%24%3D%20%5Cfrac%7Be%5E%7Bi%5Csqrt%7Bz%7D%7D%20%2B%20e%5E%7B-i%5Csqrt%7Bz%7D%7D%7D%7B2%7D%24%20and%20say%20we%20take%20%24z%20%3D%20-x%24%20then%20%24%7C%20%5Ccos(z%5E%7B1%2F2%7D)%20%7C%24%20%24%3D%20%5Cfrac%7Be%5E%7B%5Csqrt%7Bx%7D%7D%20%2B%20e%5E%7B-%5Csqrt%7Bx%7D%7D%7D%7B2%7D%24%20%24%3E%20%5Cfrac%7Be%5E%7B%5Csqrt%7Bx%7D%7D%7D%7B2%7D%24%20%24%3D%20%5Cfrac%7Be%5E%7B%7C%20z%20%7C%5E%7B1%2F2%7D%7D%7D%7B2%7D%24%2C%20the%20constant%20%241%2F2%24%20can%20be%20ignored%2C%20and%20thus%20%241%2F2%24%20is%20also%20a%20lower%20bound%20for%20the%20order%2C%20this%20conclude%20that%20the%20order%20is%20%241%2F2%24%3B%0A%20%20%20%202.%20Simply%20take%20%24%5Ccos(%5Csqrt%5B4%5D%7Bz%7D)%24%20would%20not%20work%2C%20because%20it%20is%20not%20even%20entire%3A%20%24%5Ccos(%5Csqrt%5B4%5D%7Bz%7D)%24%20%24%3D%20%5Csum%20%5Cfrac%7B(-1)%5Enz%5E%7Bn%2F2%7D%7D%7B(2n)!%7D%24%20is%20not%20a%20power%20series%2C%20but%20we%20can%20pad%20%24%5Ccos(i%5Csqrt%5B4%5D%7Bz%7D)%24%20on%20it%2C%20which%20has%20the%20expansion%20%24%3D%20%5Csum%20%5Cfrac%7Bz%5E%7Bn%2F2%7D%7D%7B(2n)!%7D%24%2C%20so%20that%20the%20even%20term%2C%20where%20%24n%2F2%24%20is%20not%20an%20integer%2C%20got%20offset.%20The%20resulting%20%24%5Ccos(%5Csqrt%5B4%5D%7Bz%7D)%20%2B%20%5Ccos(i%5Csqrt%5B4%5D%7Bz%7D)%24%20%24%3D%20%5Csum%20%5Cfrac%7B2%20z%5En%7D%7B(4n)!%7D%24%20is%20entire.%20By%20the%20very%20same%20argument%20as%20above%2C%20write%20the%20expansion%20for%20%24e%5E%7B%5Csqrt%5B4%5D%7Bz%7D%7D%24%20we%20can%20see%20%241%2F4%24%20is%20an%20upper%20bound%20for%20the%20order%3B%20also%20%24%5Ccos(%5Csqrt%5B4%5D%7Bz%7D)%20%2B%20%5Ccos(i%5Csqrt%5B4%5D%7Bz%7D)%24%20can%20be%20written%20as%20%24%5Cfrac%7Be%5E%7B%5Csqrt%5B4%5D%7Bz%7D%7D%2Be%5E%7B-%5Csqrt%5B4%5D%7Bz%7D%7D%2Be%5E%7Bi%5Csqrt%5B4%5D%7Bz%7D%7D%20%2B%20e%5E%7B-i%5Csqrt%5B4%5D%7Bz%7D%7D%7D%7B2%7D%24%20%24%3E%5Cfrac%7Be%5E%7B%7C%20z%20%7C%5E%7B1%2F4%7D%7D%7D%7B2%7D%24%20so%20%241%2F4%24%20is%20also%20an%20lower%20bound.%0A%0A%20%20%20%20%23%23%20Exercise%205%0A%0A%20%20%20%20**Fix%20%24k%5Cge%202%24%20and%20consider%20%24f%20%5Cin%20H(%5Cmathbb%7BD%7D)%24%20given%20by%20%24f(z)%20%3D%20%5Csum%5Climits_%7Bn%3D0%7D%5E%7B%5Cinfty%7Dz%5E%7Bk%5En%7D%24.%20Show%20that%20the%20unit%20circle%20%24%5Cpartial%20%5Cmathbb%7BD%7D%24%20is%20a%20natural%20boundary%20for%20%24f%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20On%20%24%5Cpartial%20%5Cmathbb%7BD%7D%24%20we%20can%20write%20%24z%20%3D%20e%5E%7B2%20%5Cpi%20i%20t%7D%24%2C%20for%20a%20fixed%20%24k%24%2C%20take%20%24t%24%20as%20any%20(non-zero)%20rational%20number%20with%20the%20form%20%24r%2Fk%24%2C%20%24r%24%20be%20an%20integer%2C%20then%20we%20look%20at%20each%20term%20of%20%24f(z)%24%3A%20%24z%5E%7Bk%5En%7D%20%3D%20e%5E%7B2%20%5Cpi%20i%20%5Cfrac%7Br%7D%7Bk%7D%20k%5En%7D%24%2C%20for%20any%20%24n%20%5Cge%201%24%2C%20%24z%5E%7Bk%5En%7D%20%3D%20e%5E%7B2%20%5Cpi%20i%20r%20k%5E%7Bn-1%7D%7D%24%2C%20this%20%24rk%5E%7Bn-1%7D%24%20is%20clearly%20an%20integer%20thus%20%24z%5E%7Bk%5En%7D%20%3D%201%24.%0A%0A%20%20%20%20This%20equality%20holds%20true%20for%20any%20%24n%20%5Cge%201%24%20and%20any%20rational%20with%20the%20form%20%24r%2Fk%24%20(in%20particular%2C%20those%20%24z%20%3D%20e%5E%7B2%20%5Cpi%20i%20r%2Fk%7D%24%20are%20dense%20in%20the%20circle).%20Thus%20%24%5Clim%5Climits%20z%5E%7Bk%5En%7D%24%20is%20not%20even%20%240%24%20thus%20is%20impossible%20for%20%24f(z)%24%20to%20converge.%0A%0A%20%20%20%20Now%20any%20continuation%20of%20%24(f%2C%20%5Cmathbb%7BD%7D)%20%5Csim%20(g%2C%20D)%24%20would%20have%20some%20%24p%20%3D%20e%5E%7B2%20%5Cpi%20i%20r%2Fk%7D%20%5Cin%20D%24%2C%20but%20then%20%24%5Clim%5Climits_%7Bz%20%5Cto%20p%7Dg(z)%24%20would%20go%20to%20%24%5Cinfty%24%20thus%20it%20is%20not%20a%20(holomorphic)%20continuation%20anyway.%0A%0A%20%20%20%20%23%23%20Exercise%206%0A%0A%20%20%20%20**Let%20%24a%20%3D%201%2Bi%24%20and%20%24D%20%3D%20%5Cmathbb%7BC%7D%20-%20S%24%20be%20the%20complement%20of%20the%20spiral%20%24S%20%3D%20%5Clbrace%200%20%5Crbrace%20%5Ccup%20%5Clbrace%20e%5E%7Bat%7D%20%7C%20t%20%5Cin%20%5Cmathbb%7BR%7D%20%5Crbrace%24%20in%20%24%5Cmathbb%7BC%7D%24.%20Let%20%24%5Clog%24%20be%20a%20branch%20of%20the%20logarithm%20on%20%24D%24%20such%20that%20%24%5Clog%7Be%7D%20%3D%201%24%2C%20find%20%24%5Clog%7Be%5E%7B20%7D%7D%24**.%0A%0A%20%20%20%20Solution%0A%0A%20%20%20%20The%20spiral%20looks%20something%20like%20this%3A%0A%0A%20%20%20%20%3Cimg%20src%3D%22public%2FPasted%20image%2020210903021566.png%22%20width%3D%22600%22%20%2F%3E%0A%0A%20%20%20%20Now%20by%20the%20continuation%20of%20%24%5Clog%24%20(branch%20cut%20along%20%24z%20%5Cle%200%24)%2C%20along%20the%20positive%20real%20axis%2C%20we%20basically%20need%20to%20'change%20the%20branch'%20once%20we%20go%20to%20another%20'layer'%20of%20the%20(complement%20of)%20spiral.%20As%20it%20illustrated%20in%20the%20drawing%2C%20if%20say%20%24%5Clog%7Ba%7D%20%3D%20Log(a)%24%20then%20%24%5Clog%7Bb%7D%20%3D%20Log(b)%20%2B%202%5Cpi%20i%24.%20So%20we%20want%20to%20see%20how%20many%20times%20do%20we%20'cross'%20the%20spiral%20if%20we%20go%20from%20%24e%24%20to%20%24e%5E%7B20%7D%24%3A%0A%0A%20%20%20%20Write%20%24e%5E%7Bt%2Bit%7D%24%20as%20%24e%5Et%5Ccos(t)%20%2B%20i%20e%5Et%5Csin(t)%24%2C%20so%20the%20spiral%20intersects%20with%20the%20real%20axis%20at%20those%20points%20where%20%24e%5Et%20%5Csin(t)%20%3D%200%24%2C%20since%20%24e%5Et%24%20is%20never%20zero%20we%20have%20%24%5Csin(t)%20%3D%200%24%2C%20and%20those%20are%20exactly%20the%20points%20%24t%20%3D%20%5Cmathbb%7BZ%7D%5Cpi%24.%20On%20those%20points%20%24e%5Et%20%5Ccos(t)%24%20(the%20real%20part)%20is%20positive%20if%20and%20only%20if%20%24t%24%20is%20an%20even%20integer%20times%20%24%5Cpi%24.%20Thus%20the%20spiral%20intersect%20with%20the%20positive%20real%20axis%20on%3A%0A%0A%20%20%20%201.%20%24%E2%80%A6%2C%20e%5E%7B-2%5Cpi%20-%202%5Cpi%20i%7D%24%20(those%20points%20with%20%24t%3C0%24%2C%20not%20important%20for%20us%2C%20they%20are%20too%20small)%3B%0A%20%20%20%202.%20%24e%5E0%20%3D%201%24%3B%0A%20%20%20%203.%20%24e%5E%7B2%5Cpi%20%2B%202%5Cpi%20i%7D%20%3D%20e%5E%7B2%20%5Cpi%7D%20%5Capprox%20e%5E%7B6.28%7D%24%20(so%20notice%20our%20original%20%24e%24%20is%20in%20between%20this%20and%20%241%24)%3B%0A%20%20%20%204.%20%24e%5E%7B4%5Cpi%20%2B%204%5Cpi%20i%7D%20%3D%20e%5E%7B4%20%5Cpi%7D%20%5Capprox%20e%5E%7B12.57%7D%24%3B%0A%20%20%20%205.%20%24e%5E%7B6%5Cpi%20%2B%206%5Cpi%20i%7D%20%5Capprox%20e%5E%7B18.85%7D%24%3B%0A%20%20%20%206.%20%24e%5E%7B8%5Cpi%20%2B%208%5Cpi%20i%7D%20%5Capprox%20e%5E%7B25.13%7D%24%2C%20and%20finally%20we%20got%20passed%20%24e%5E%7B20%7D%24%2C%20the%20larger%20%24t%24's%20are%20again%20not%20important%20for%20us%20anymore.%0A%0A%20%20%20%20So%20it%20means%20to%20get%20from%20%24e%24%20to%20%24e%5E%7B20%7D%24%20we%20cross%20the%20spiral%20%243%24%20times%2C%20and%20thus%20%24%5Clog%20e%5E%7B20%7D%24%20will%20be%20%24Log(e%5E%7B20%7D)%20%2B%202%5Ccdot%203%20%5Cpi%20i%20%3D%2020%2B6%5Cpi%20i%24.%0A%0A%20%20%20%20%23%23%20Exercise%207%0A%0A%20%20%20%20**Show%20that%20the%20monodromy%20group%20of%20%24h(z)%20%3D%20%5Csqrt%7Bf(z)%7D%24%20is%20solvable%20whenever%20the%20monodromy%20group%20of%20%24f(z)%24%20is%20solvable.%20Generalize%20it%20to%20%24f(z)%5E%7B1%2Fn%7D%24**.%0A%0A%20%20%20%20Proof%0A%0A%20%20%20%20Following%20the%20example%20in%20the%20class%2C%20the%20scheme%20of%20the%20Riemann%20surface%20of%20%24h(z)%24%20is%20a%20certain%20number%20of%20%242%24-stacks%20of%20sheets%2C%20so%20the%20monodromy%20group%20is%20generated%20by%20flips%20and%20chain(s)%20of%20flips%2C%20where%20each%20flip%20is%20of%20the%20form%20%24(2k%2B1%2C2k%2B2)%24%2C%20for%20example%20%24%5Clangle%20(12)%2C%20(12)(34)%2C(56)%20%5Crangle%24%20maybe%20such%20a%20group%2C%20but%20not%20%24%5Clangle%20(12)%2C%20(12)(14)%20%5Crangle%24%20nor%20%24%5Clangle%20(23)%20%5Crangle%24%20(and%20we%20can%20generalize%20this%20to%20%24n%20%3E%202%24).%20We%20need%20to%20prove%20that%20%24N%24%20be%20the%20group%20generated%20by%20such%20permutations%20is%20abelian.%20We%20need%20to%20show%20that%3A%0A%0A%20%20%20%201.%20Product%20of%20disjoint%20cycles%20is%20abelian%2C%20so%20that%20we%20can%20rearrange%20any%20products%20to%20the%20form%20%24(a_%7B1_1%7D%5Cdots%20a_%7B1_n%7D)%5E%7Bk_1%7D%5Cdots%20(a_%7Bm_1%7D%5Cdots%20a_%7Bm_n%7D)%5E%7Bk_m%7D%24%3A%0A%20%20%20%20%09Let%20%24X%24%20be%20a%20set%20with%20certain%20non-zero%20number%20of%20element%2C%20set%20%24X_1%20%3D%20%5Clbrace%20x%20%5Cin%20X%20%7C%20%5Csigma_1(x)%20%5Cne%20x%20%5Crbrace%24%20and%20%24X_2%20%3D%20%5Clbrace%20x%20%5Cin%20X%20%7C%20%5Csigma_2(x)%20%5Cne%20x%20%5Crbrace%24%2C%20if%20%24X_1%20%5Ccap%20X_2%20%3D%20%5Cvarnothing%24%20we%20can%20say%20%24%5Csigma_1%24%20and%20%24%5Csigma_2%24%20are%20disjoint.%20If%20%24%5Csigma_1%24%20and%20%24%5Csigma_2%24%20are%20disjoint%2C%20then%20for%20any%20element%20in%20%24X_1%24%2C%20%24%5Csigma_1%20%5Ccirc%20%5Csigma_2%20(x)%20%3D%20%5Csigma_1%20(%5Csigma_2(x))%20%3D%20%5Csigma_1%20(x)%24%2C%20and%20that%20%24%5Csigma_2%20%5Ccirc%20%5Csigma_1%20(x)%20%3D%20%5Csigma_2%20(%5Csigma_1(x))%24%2C%20since%20%24x%20%5Cin%20X_1%24%2C%20%24%5Csigma_1(x)%24%20is%20also%20in%20%24X_1%24%20thus%20not%20in%20%24X_2%24%2C%20thus%20%24%5Csigma_2%20%5Ccirc%20%5Csigma_1%20(x)%20%3D%20%5Csigma_1%20(x)%24%20as%20well.%20Similar%20for%20%24x%20%5Cin%20X_2%24.%20For%20any%20%24x%20%5Cin%20X%20-%20X_1%20-%20X_2%24%2C%20%24%5Csigma_1%20%5Ccirc%20%5Csigma_2%20(x)%20%3D%20x%20%3D%20%5Csigma_2%20%5Ccirc%20%5Csigma_1%20(x)%24.%20So%20in%20any%20case%20the%20product%20is%20abelian.%0A%20%20%20%20%09For%20%24h(z)%20%3D%20%5Csqrt%7Bf(z)%7D%24%20we%20can%20finish%20here%2C%20because%20product%20of%20%24k%24%20same%20flip%20%24(ab)%24%20is%20either%20%24(ab)(ab)%24%20(just%20no%20permutation%20here)%20if%20%24k%24%20even%20or%20%24(ab)%24%20if%20%24k%24%20is%20odd%2C%20so%20that%20product%20of%20chains%20of%20such%20flips%20will%20yield%20another%20chain%20of%20(disjoint)%20flips%2C%20thus%20the%20whole%20group%20is%20abelian.%20For%20%24h(z)%20%3D%20f(z)%5E%7B1%2Fn%7D%24%20we%20also%20need%20to%20check%20that%3A%0A%20%20%20%202.%20%24(a_1%5Cdots%20a_n)%5Ek%24%20yield%20disjoint%20cycles%20with%20element%20in%20%24a_1%2C%20%5Cdots%2C%20a_n%24%3A%0A%20%20%20%20%09But%20this%20is%20quite%20obvious%20simply%20from%20the%20way%20we%20do%20cycles%20compositions.%20Now%20that%20each%20%24(a_%7B1_1%7D%5Cdots%20a_%7B1_n%7D)%5E%7Bk_1%7D%24%20is%20a%20composition%20of%20disjoint%20cycles%2C%20and%20by%20part%201%20product%20of%20disjoint%20cycles%20is%20abelian.%20Thus%20the%20whole%20group%20generated%20by%20the%20permutations%20described%20above%20is%20indeed%20abelian.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A