Harmonic functions - complex analysis

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
10 replies · 8K views
sweetvirgogirl
Messages
116
Reaction score
0
so .. if f (z) = u + iv is analytic on D, then u and v are harmonic on D...
now ...
if f (z) never vanishes on the domain ...
then show log |f (z)| is harmonic on the domain ...
Recall: harmonic means second partial derivative of f with respect to x + second partial derivative of f with respect to y = 0

umm? did they mean to say that harmonic means second partial derivative of log |f (z)| with respect to x + second partial derivative of log |f (z)| with respect to y = 0
 
Last edited:
Physics news on Phys.org
i mean in order to show log |f (z)| is harmonic on the domain, don't I need to prove second partial derivative of log |f (z)| with respect to x + second partial derivative of log |f (z)| with respect to y = 0?
I hope my question makes sense ...
 
sweetvirgogirl said:
so .. if f (z) = u + iv is analytic on D, then u and v are harmonic on D...
now ...
if f (z) never vanishes on the domain ...
then show log |f (z)| is harmonic on the domain ...
Recall: harmonic means second partial derivative of f with respect to x + second partial derivative of f with respect to y = 0

umm? did they mean to say that harmonic means second partial derivative of log |f (z)| with respect to x + second partial derivative of log |f (z)| with respect to y = 0

Since that is the definition of "harmonic", yes, that's what they mean when they say "log |f(z)| is harmonic". Of course, you don't necessarily have to verify the definition to prove it. Since " if f (z) = u + iv is analytic on D, then u and v are harmonic on D... " you could instead find a v such that f(z)= log|f(z)|+ iv is analytic or a u such that f(z)= u+ log|f(z)|i is analytic. You might try to do that by using the Cauchy-Riemann conditions: u(x,y)+ iv(x,y) is analytic on D if and only if [itex]\frac{\partial u}{\partial x}= \frac{\partial v}{\partial y}[/itex] and [itex]\frac{\partial u}{\partial y}= -\frac{\partial v}{\partial x}[/itex].
 
HallsofIvy said:
Since that is the definition of "harmonic", yes, that's what they mean when they say "log |f(z)| is harmonic". Of course, you don't necessarily have to verify the definition to prove it. Since " if f (z) = u + iv is analytic on D, then u and v are harmonic on D... " you could instead find a v such that f(z)= log|f(z)|+ iv is analytic or a u such that f(z)= u+ log|f(z)|i is analytic. You might try to do that by using the Cauchy-Riemann conditions: u(x,y)+ iv(x,y) is analytic on D if and only if [itex]\frac{\partial u}{\partial x}= \frac{\partial v}{\partial y}[/itex] and [itex]\frac{\partial u}{\partial y}= -\frac{\partial v}{\partial x}[/itex].
see .. .what i was tryina to do ... is ... prove that second partial derivative of log |f (z)| with respect to x + second partial derivative of log |f (z)| with respect to y = 0 ... of course it wasnt giving me happy result lol ...although it is technically right ...
 
ahhhhhh i still don't know how to do this problem ...

like i know ... but i don't ... basically i am confused
 
umm i still am confused

isnt it supposed to be a very simple problem?
why am i getting so confused?
 
sweetvirgogirl said:
see .. .what i was tryina to do ... is ... prove that second partial derivative of log |f (z)| with respect to x + second partial derivative of log |f (z)| with respect to y = 0 ... of course it wasnt giving me happy result lol ...although it is technically right ...

So was it zero or not? If you post your work we will have an easier time troubleshooting.
 
shmoe said:
So was it zero or not? If you post your work we will have an easier time troubleshooting.
nope it wasnt zero... that's the problem!

btw it's kinda hard to post my work, did you get a zero for it?

i assure you it's not a homework problem ... lol

if i had time, i would scan my work, but i need to know how to do it by tomorrow.
 
sweetvirgogirl said:
btw it's kinda hard to post my work, ...

I don't see why it should be hard. If you aren't comfortable with latex:

https://www.physicsforums.com/showthread.php?t=8997

you can just use the usual ascii characters- be carefull with using enough parenthesis to make it unambiguous though.

Just post what you had for the first and second derivatives for x and y.
 
According to "Mathworld"

http://mathworld.wolfram.com/AnalyticFunction.html

A complex valued function is analytic in D if it is complex differentiable at every point in D.

Note that the log function is complex differentiable for the absolute value of every complex number not equal to 0. That is,

Log(z) in undefined when z = 0 and hence not differentiable when z = 0.

You are given the fact that |f(z)| is never 0, so |f(z)| is always a positive real number.

Log|f(z)| = Log|u + i*v| = Log[(u^2+v^2)^(1/2)]

Maybe you could use the fact that u and v are are harmonic functions, take the 2nd partial derivitives of Log[(u^2+v^2)^(1/2)], add them together to get 0 hence completing the proof.

Not sure if it will work, just a thought.

Best Regards,

Edwin G. Schasteen