Domain and range of complex functions

Click For Summary
To determine the domain and range of a complex function f(z) = w(x,y) = u(x,y) + iv(x,y), the domain is the intersection of the domains of u and v, requiring both to be defined. The range is more complex, as it involves understanding the combinations of values that can arise from u and v, with the Jacobian determinant condition (ux vy = uy vx) providing a boundary for differentiable functions. For many functions, the domain and range can encompass the entire complex plane, except for specific singular points. Online resources for lectures on this topic may be limited, but the discussion highlights the importance of visualizing the functions in two planes. Understanding these concepts is crucial for analyzing complex functions effectively.
Avatrin
Messages
242
Reaction score
6
If I am given a function:
f(z) = w(x,y) = u(x,y) + iv(x,y)

How do I find the domain and range of that function? Are there any good lectures online on this?

I know I have to use two planes; One for u and v, and one for x and y. Besides that, I am lost.
 
Physics news on Phys.org
The domain is easy - just the intersection of the domains of u and v. The function f is defined at (x, y) if and only if both u and v are.
The range is tougher. Knowing the ranges of u and iv separately gives you an 'upper bound' on the range (namely, the direct product of the two separate ranges) but there will likely be many combinations of values that can't arise.
If u and v are differentiable then there will be an interesting equation for the boundary of the range. Can't come up with it immediately, and couldn't find anything online... will try to derive it later.
 
  • Like
Likes John_Smith13
OK, I think I have the range boundary formula. It's where the Jacobian determinant is zero:
ux vy = uy vx
E.g. consider f = (1+x2) (cos(y) + i sin(y)). The formula collapses to x = 0, i.e. f = cos(y) + i sin(y), the unit circle.
 
The domain and the range of a complex function is a 2D region each. For example, a circle. For many important functions, the domain and the range is the entire complex plane, with a finite or countable number of singular points.
 
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 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K