Answer on Question #50231- Math – Complex Analysis
Let f(z) be an analytic function in the annulus 0<∣z∣<R for some positive real number R. Whose laurent series (in this annulus) is given by
f(z)=n from −∞ to ∞∑{(−1)n/(n2)!}. Z∧{5n−n2−1}
A) What kind of singularity is z=0 for f(z)?
B) Compute integral on Curve for [z∧24⋅f(z)dz], where C is a counterclockwise simple path lying in the annulus enclosing z=0.
C) Calculate Res (f) in z=0.
D) Evaluate Integral on Curve for [sinZ⋅f(z)dz], where C:∣z∣=(R/2) oriented counterclockwise.
Solution
A) The function
f(z)=n=−∞∑+∞(n2)!(−1)nz5n−n2−1=n=−∞∑+∞(n2)!(−1)nzn2−5n+11
has an singularity at point z0=0, because it is not defined there, but it is defined at other points of the annulus 0<∣z∣<R.
The function f(z) has an essential singularity at 0, because according to (1), f(z) contains infinitely many terms with negative powers of z (5n−n2−1<−1 for n<0 and n>5), i.e. there exist infinitely many terms with negative power of z.
B) The function
z24f(z)=z24n=−∞∑+∞(n2)!(−1)nz5n−n2−1=n=−∞∑+∞(n2)!(−1)nzn2−5n−24+11
has an essential singularity at point z0=0.
We used z24z5n−n2−1=z24+5n−n2−1=z−(n2−5n−24+1)=zn2−5n−24+11 according to properties of exponents and power functions, operations with real numbers.
Coefficient c−1 of the term with z−1=z1=z11 in (2) is called the residue of function h(z)=z24f(z) at point z0=0, here point z0=0 is finite.
(notation is the following: Resz=0(h)=Resz=0(z24f)=c−1).
In order to find the coefficient that corresponds to values of n such that
zn2−5n−24+11=z11
, search for natural solutions to equation
n2−5n−24+1=1,
which is equivalent to quadratic equation.
n2−5n−24=0,
its discriminant is
D=(−5)2−4⋅(−24)=25+4⋅24=25+96=121,hence n=25±11=25−11;25+11=2−6;216=−3;8
which implies that we take only natural solution n=8, therefore, the coefficient c−1 of the term of (2) with z−1 will be (n2)!(−1)n=(82)!(−1)8=64!1, which leads to
Resz=0(h)=Resz=0(z24f)=c−1=64!1.
Coefficient c−1 can be computed as c−1=2πi1∮T(z−0)−1+1h(z)=2πi1∮Th(z)dz, here T is a path lying in the annulus (0<∣z∣<R) enclosing z=0.
Thus, by residue theorem, ∮Th(z)dz=2πic−1=2πi⋅64!1=64!2πi (we only deal with singularity 0).
C) Coefficient a−1 of the term with z−1=z1=z11 in (1) is called the residue of function f(z) at point z0=0, here point z0=0 is finite.
(notation is the following: Resz=0(f)=Resz=0(f)=a−1).
In order to find the coefficient that corresponds to values of n such that zn2−5n+11=z11, search for natural solutions to equation
n2−5n=0⇒n(n−5)=0⇒n=0,n=5,
therefore, coefficient a−1 equals
(02)!(−1)0+(52)!(−1)5=1−25!1.
Point z0=0 is finite, hence residue Resz=0f=a−1=1−25!1
D) Consider
g(z)=sinz⋅f(z)=(z−3!z3+5!z5+⋯+(−1)n(2n+1)!z2n+1+⋯)××n=−∞∑+∞(n2)!(−1)nz5n−n2−1=(z−3!z3+5!z5+⋯+(−1)n(2n+1)!z2n+1+⋯)××n=−∞∑+∞(n2)!(−1)nzn2−5n+11
(here we sum up terms ∑n=−∞+∞(n2)!(−1)nzn2−5n+11, multiplied by terms of
z−3!z3+5!z5+⋯+(−1)n(2n+1)!z2n+1+⋯,
which lead to the sum of terms with zn2−5n+1z2k+1=zn2−5n+1−(2k+1)1 (according to properties of exponents and power functions), k is an index related to terms of the series
z−3!z3+5!z5+⋯,n is an index related to terms of the series∑n=−∞+∞(n2)!(−1)nz5n−n2−1,k is a non-negative integer).
In case of g(z)=sinz⋅f(z), k is integer, equate
n2−5n−(2k+1)+1=1⇒n2−5n=2k+1
If n=2l, l is integer, then equation (4) does not have natural solutions, because the left-hand side (i.e. n2−5n=4l2−10l) is even, but the right-hand side (i.e. 2k+1) is odd.
If n=2l+1, l is integer, then
(2l+1)2−5(2l+1)=2k+1⇒4l2+4l+1−10l−5=2k+1⇒4l2+4l−10l−5=2k⇒4l2+4l−10l−2k=5
If n=2l+1, l is integer, then equation (4) does not have integer solutions either, because the left-hand side (i.e. 4l2+4l−10l−2k) is even, but the right-hand side (i.e. 5) is odd.
It means that on the whole equation (4) does not have integer solutions, therefore, the term of (3) with z−1 will not be present, hence the coefficient d−1 of the term with z−1=z1=z11 in (4) is zero, which leads to
Resz=0(g)=Resz=0(sinz⋅f(z))=d−1=0
(point z0=0 is finite).
Coefficient d−1 can be computed as d−1=2πi1∮T(z−0)−1+1g(z)=2πi1∮Tg(z)dz, here T:∣z∣=(R/2).
Thus, by residue theorem, ∮Tg(z)dz=2πid−1=2πi⋅0=0 (we only deal with singularity 0).
www.AssignmentExpert.com