Harmonic functions - complex analysis

Click For Summary

Discussion Overview

The discussion revolves around the properties of harmonic functions in the context of complex analysis, specifically focusing on the function log |f(z)| where f(z) is analytic and never vanishes on a given domain D. Participants explore the conditions under which log |f(z)| can be shown to be harmonic.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that if f(z) = u + iv is analytic on D, then u and v are harmonic on D, leading to the question of whether log |f(z)| is also harmonic.
  • There is a suggestion that to prove log |f(z)| is harmonic, one must show that the second partial derivatives of log |f(z)| with respect to x and y sum to zero.
  • Some participants express confusion about the problem, questioning why it seems simple yet remains challenging.
  • One participant proposes using the Cauchy-Riemann conditions to establish the analyticity of functions involving log |f(z)|.
  • A later reply discusses the definition of analytic functions and the implications of the log function being undefined at z = 0, emphasizing that |f(z)| is always positive.
  • Another participant suggests taking the second partial derivatives of log[(u^2 + v^2)^(1/2)] and adding them to demonstrate that they equal zero, although this remains uncertain.

Areas of Agreement / Disagreement

Participants express varying levels of understanding and confusion regarding the problem, with no consensus on the approach or solution. Some agree on the definitions and properties of harmonic functions, while others remain uncertain about the specific steps needed to prove log |f(z)| is harmonic.

Contextual Notes

Participants note the difficulty in posting their work for troubleshooting, and there is an acknowledgment that the problem is not a homework assignment, which may influence the urgency and approach to finding a solution.

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 ...
 
umm bump ...
 
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.
 
  • #10
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.
 
  • #11
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
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K