Sunday, July 17, 2016

complex analysis - Determining Points of mathbbC where f(z) is differentiable


Sorry for the question but i'm partially confused about the result and i'm hoping someone can help. here we go



Stating clearly any result you use, determine the set of points in C where the following functions are differentiable. f(z)={z4|z|2 if z00 if z=0



so here's where i'm at so far. let z0, then we use euler's form giving f(z)=|z|4(cos4θ+isin4θ)|z|2

via De'moivres (subbing |z| = r) f(z)=r2(cos4θ+isin4θ)


From here, we consider f as f:R2R2 where f(u(r,θ),v(r,θ))=u(r,θ)+iv(r,θ)



for f to be holomorphic (this is one of the problems i've got already...the phrasing of the question says to determine the points in C where f is differentiable, and not necessarily holomorphic?)


either way...crack on: for f to be holomorphic, u,v must be Real-differentiable (which they are) and the CR-Equations must be satisfied.


Using u(r,θ)=r2cos4θ & v(r,θ)=r2sin4θ


we need to satisfy ur=1rvθ, & vr=1ruθ


Running the calculations we have ur=2rcos4θ

uθ=4r2sin4θ
vr=2rsin4θ
vθ=4r2cos4θ


substituing into the above values gives ur=1rvθ2rcos4θ=4rcos4θ1=2

and vr=1ruθ2rsin4θ=4rsin4θ1=2


what have i done wrong? if it's nothing...does this mean that the function isn't differentiable at any point (z0)C?


cheers for reading.



i think it may be a bit of a long day on my behalf, and i think i'm just doing something stupid at this point...but tbh i just can't see it right now




If i minus one side from the other and then compare the two i get (r,θ)=(1/2,θ)

satisfies both equations, otherwise nothing else does as Cos and sin are never zero at the same time.


does this mean that f(z) is holomorphic on the disk of radius 1/2?


Cheers for reading.


Answer



The function is real differentiable, indeed smooth, for z0, being the quotient of two smooth functions. Now, note that for z0 we can rewrite f(z)=z4|z|2=z4zˉz=z3ˉz;

thus, fˉz0, and so f is not holomorphic.


Now, what about at z=0? Write down the difference quotient f(0)=limh0f(h)f(0)h=limh0h3ˉhh=limh0h2ˉh.

Note that |h2ˉh|=|hhˉh|=|h||hˉh|=|h|0,
and so f(0)=0 and f is complex differentiable at 0.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...