Harmonic Functions: Laplace's Equations & Analytic Functions

  • Thread starter Thread starter Fosheimdet
  • Start date Start date
  • Tags Tags
    Functions Harmonic
Click For Summary
If a function f(z) is analytic in a domain D, its real part u and imaginary part v satisfy Laplace's equations, making them harmonic functions. However, the reverse is not necessarily true; two functions u and v that satisfy Laplace's equations may not be the real and imaginary parts of a single analytic function if they do not meet the Cauchy-Riemann conditions. While every harmonic function can locally be the real part of a holomorphic function, global relationships can be complicated by branching behavior in the imaginary part. For example, the real part of log(z) is defined everywhere except at z=0, while its imaginary part is only locally defined. Thus, while harmonic functions are closely related to analytic functions, they do not always correspond directly without additional conditions.
Fosheimdet
Messages
15
Reaction score
2
If $$f(z)=u(x,y)+iv(x,y)$$ is analytic in a domain D, then both u and v satisfy Laplace's equations
$$\nabla^2 u=u_{xx} + u_{yy}=0$$
$$\nabla^2 v=v_{xx} + v_{yy}=0$$

and u and v are called harmonic functions.

My question is whether or not this goes both ways. If you have two functions u and v which satisfy the Laplace equations are they the real and imaginary parts of an analytic function?
 
Physics news on Phys.org
Just take the real part of one function and the imaginary part of another function. They satisfy Laplace's equation but aren't the real and imaginary parts of a function because they don't satisfy the Cauchy-Riemann conditions.
 
A Shyan said, the answer to your question is no, since the real part of a holomorphic function determines the imaginary part. But every harmonic function is locally the real part of a holomorphic function, although not necessarily globally, due to branching behavior that may occur only in the imaginary part. E.g. log(|z|), defined everywhere but z=0, is the real part of log(z), but the imaginary part of log(z), a multiple of arg(z), is only defined locally near non zero values of z.
 
In yet another way, the Real part of a holomorphic function can only have ( up to a difference by a constant) one
Complex counterpart, so the odds are that two harmonic functions are respectively the Real and Imaginary part of a holomorphic function.
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K