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

Click For Summary

Homework Help Overview

The discussion revolves around proving that an analytic function \( f \) on a convex set \( \omega \), which never vanishes, can be expressed in the form \( f(z) = e^{g(z)} \) for some analytic function \( g \) defined on \( \omega \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the implications of \( f'/f \) having a primitive on \( \omega \) and explore the construction of a function \( G(z) \) related to \( e^{F(z)}/f(z) \). Questions arise regarding the nature of the constant involved in the expression \( e^{g(z)} = cf(z) \) and how to determine its value.

Discussion Status

The conversation is ongoing, with some participants providing insights into the relationships between the functions involved. There is a recognition that the constant in the expression may not be 1, prompting further exploration of how to adjust the function \( g \) accordingly.

Contextual Notes

Participants are navigating the complexities of the problem without a complete resolution, indicating that assumptions about the constant and the form of \( g \) are still under consideration.

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



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

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 [tex]G(z)=e^{F(z)}/f(z)[/tex]. What is it's derivative? What can you conclude from that?
 


I got that [tex]e^{g(z)}=cf(z)[/tex], 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
6K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 3 ·
Replies
3
Views
2K