Proving f(z)=e^(g(z)) on a Convex Set Omega

Click For Summary
SUMMARY

The discussion centers on proving that if a function f is analytic and never vanishes on a convex set omega, then f(z) can be expressed as f(z)=e^(g(z)) for some analytic function g defined on omega. The participant successfully demonstrated that f'/f has a primitive on omega using the Cauchy-Goursat theorem. They introduced the function G(z)=e^{F(z)}/f(z) to analyze its derivative, leading to the conclusion that e^{g(z)}=cf(z) for some constant c and analytic function g. The challenge lies in determining the appropriate modification of g to satisfy the equation.

PREREQUISITES
  • Understanding of analytic functions and their properties
  • Familiarity with the Cauchy-Goursat theorem
  • Knowledge of complex analysis, particularly regarding primitives and derivatives
  • Experience with exponential functions in complex analysis
NEXT STEPS
  • Study the implications of the Cauchy-Goursat theorem in complex analysis
  • Explore the concept of primitives in the context of analytic functions
  • Investigate the properties of exponential functions in complex variables
  • Learn techniques for modifying analytic functions to meet specific conditions
USEFUL FOR

Mathematicians, particularly those specializing in complex analysis, students tackling advanced calculus problems, and anyone interested in the properties of analytic functions on convex sets.

michael.wes
Gold Member
Messages
35
Reaction score
0

Homework Statement



Suppose that f is analytic on a convex set omega and that f never vanishes on omega. Prove that f(z)=e^(g(z)) for some analytic function g defined on omega.
Hint: does f'/f have a primitive on omega?

Homework Equations



f(z)=\sum_{k=0}^\infty a_k(z-p)^k

The Attempt at a Solution



I was able to prove that f'/f has a primitive on omega by the Cauchy-Goursat theorem, but I'm not sure where to go from here. Any help is appreciated!
 
Physics news on Phys.org


Let F be a primitive of f'/f. Now, consider the function G(z)=e^{F(z)}/f(z). What is it's derivative? What can you conclude from that?
 


I got that e^{g(z)}=cf(z), for some complex constant c and some analytic function g. It's usually easy in these problems to show that the constant is 1, but this is not a concrete function, so I'm not sure how to do that.
 


Well, the constant is not necessairly 1, so you'll have to find something else. You'll have to modify your function g in some way such that the equation is right...
 

Similar threads

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