Proof Verification: Show that if $f(z)$ is a non-constant entire function , then $g(z)=exp(f(z))$ has...












0












$begingroup$



This question already has an answer here:




  • Essential singularity

    2 answers





Show that if $f(z)$ is a non-constant entire function , then $g(z)=exp(f(z))$ has essential singularity in $z=infty$.




This question has been answered in the link Thanks!



My approach: Let $f$ analytic (then $f$ has a series), then $exp(f(z))$ is analytic. Then



$$exp(f(frac{1}{w}))=sum_{n=0}^{infty}{frac{1}{n!}(f(frac{1}{w}))^{n}}=sum_{n=0}^{infty}{frac{1}{n!}(sum_{m=0}^{infty}{frac{a_{m}}{w^m}})^{n}}$$



We can see that $exp(f(frac{1}{w}))$ has essential singularity in $w=0$, since there exist negative coefficients. So, $exp(f(z))$ has essential singularity in $w=0$. Is this right? Thanks!










share|cite|improve this question











$endgroup$



marked as duplicate by N. S., Davide Giraudo, mrtaurho, Lord Shark the Unknown, Eevee Trainer Dec 28 '18 at 2:47


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:00










  • $begingroup$
    But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
    $endgroup$
    – user570343
    Dec 27 '18 at 6:03










  • $begingroup$
    You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:06










  • $begingroup$
    @KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
    $endgroup$
    – user570343
    Dec 27 '18 at 13:44










  • $begingroup$
    But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:22
















0












$begingroup$



This question already has an answer here:




  • Essential singularity

    2 answers





Show that if $f(z)$ is a non-constant entire function , then $g(z)=exp(f(z))$ has essential singularity in $z=infty$.




This question has been answered in the link Thanks!



My approach: Let $f$ analytic (then $f$ has a series), then $exp(f(z))$ is analytic. Then



$$exp(f(frac{1}{w}))=sum_{n=0}^{infty}{frac{1}{n!}(f(frac{1}{w}))^{n}}=sum_{n=0}^{infty}{frac{1}{n!}(sum_{m=0}^{infty}{frac{a_{m}}{w^m}})^{n}}$$



We can see that $exp(f(frac{1}{w}))$ has essential singularity in $w=0$, since there exist negative coefficients. So, $exp(f(z))$ has essential singularity in $w=0$. Is this right? Thanks!










share|cite|improve this question











$endgroup$



marked as duplicate by N. S., Davide Giraudo, mrtaurho, Lord Shark the Unknown, Eevee Trainer Dec 28 '18 at 2:47


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:00










  • $begingroup$
    But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
    $endgroup$
    – user570343
    Dec 27 '18 at 6:03










  • $begingroup$
    You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:06










  • $begingroup$
    @KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
    $endgroup$
    – user570343
    Dec 27 '18 at 13:44










  • $begingroup$
    But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:22














0












0








0





$begingroup$



This question already has an answer here:




  • Essential singularity

    2 answers





Show that if $f(z)$ is a non-constant entire function , then $g(z)=exp(f(z))$ has essential singularity in $z=infty$.




This question has been answered in the link Thanks!



My approach: Let $f$ analytic (then $f$ has a series), then $exp(f(z))$ is analytic. Then



$$exp(f(frac{1}{w}))=sum_{n=0}^{infty}{frac{1}{n!}(f(frac{1}{w}))^{n}}=sum_{n=0}^{infty}{frac{1}{n!}(sum_{m=0}^{infty}{frac{a_{m}}{w^m}})^{n}}$$



We can see that $exp(f(frac{1}{w}))$ has essential singularity in $w=0$, since there exist negative coefficients. So, $exp(f(z))$ has essential singularity in $w=0$. Is this right? Thanks!










share|cite|improve this question











$endgroup$





This question already has an answer here:




  • Essential singularity

    2 answers





Show that if $f(z)$ is a non-constant entire function , then $g(z)=exp(f(z))$ has essential singularity in $z=infty$.




This question has been answered in the link Thanks!



My approach: Let $f$ analytic (then $f$ has a series), then $exp(f(z))$ is analytic. Then



$$exp(f(frac{1}{w}))=sum_{n=0}^{infty}{frac{1}{n!}(f(frac{1}{w}))^{n}}=sum_{n=0}^{infty}{frac{1}{n!}(sum_{m=0}^{infty}{frac{a_{m}}{w^m}})^{n}}$$



We can see that $exp(f(frac{1}{w}))$ has essential singularity in $w=0$, since there exist negative coefficients. So, $exp(f(z))$ has essential singularity in $w=0$. Is this right? Thanks!





This question already has an answer here:




  • Essential singularity

    2 answers








complex-analysis proof-verification






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 28 '18 at 1:13

























asked Dec 27 '18 at 4:43







user570343











marked as duplicate by N. S., Davide Giraudo, mrtaurho, Lord Shark the Unknown, Eevee Trainer Dec 28 '18 at 2:47


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by N. S., Davide Giraudo, mrtaurho, Lord Shark the Unknown, Eevee Trainer Dec 28 '18 at 2:47


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:00










  • $begingroup$
    But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
    $endgroup$
    – user570343
    Dec 27 '18 at 6:03










  • $begingroup$
    You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:06










  • $begingroup$
    @KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
    $endgroup$
    – user570343
    Dec 27 '18 at 13:44










  • $begingroup$
    But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:22


















  • $begingroup$
    Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:00










  • $begingroup$
    But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
    $endgroup$
    – user570343
    Dec 27 '18 at 6:03










  • $begingroup$
    You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
    $endgroup$
    – Kavi Rama Murthy
    Dec 27 '18 at 6:06










  • $begingroup$
    @KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
    $endgroup$
    – user570343
    Dec 27 '18 at 13:44










  • $begingroup$
    But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:22
















$begingroup$
Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
$endgroup$
– Kavi Rama Murthy
Dec 27 '18 at 6:00




$begingroup$
Your argument is not valid. This question has been asked many times. Apply the following to $f(frac 1 z)$ (with $z_0=0$ math.stackexchange.com/questions/127168/essential-singularity
$endgroup$
– Kavi Rama Murthy
Dec 27 '18 at 6:00












$begingroup$
But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
$endgroup$
– user570343
Dec 27 '18 at 6:03




$begingroup$
But why, my argument is not valid?? I prove this is a essential singularity. Thanks!
$endgroup$
– user570343
Dec 27 '18 at 6:03












$begingroup$
You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
$endgroup$
– Kavi Rama Murthy
Dec 27 '18 at 6:06




$begingroup$
You have to prove that there are infinitely many non-zero terms in negative powers of $w$ to say that function has an essential singularity.
$endgroup$
– Kavi Rama Murthy
Dec 27 '18 at 6:06












$begingroup$
@KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
$endgroup$
– user570343
Dec 27 '18 at 13:44




$begingroup$
@KaviRamaMurthy But it was I proof, my serie has infinitely many terms in negative powers of w.
$endgroup$
– user570343
Dec 27 '18 at 13:44












$begingroup$
But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
$endgroup$
– N. S.
Dec 27 '18 at 21:22




$begingroup$
But you need to show that it has infinitely many NONZERO terms....What if, after opening the brackets all the negative coefficients cancel?
$endgroup$
– N. S.
Dec 27 '18 at 21:22










1 Answer
1






active

oldest

votes


















1












$begingroup$

If the singularity at infinity were removable, then $f$ would be bounded. Then by Liouville's theorem is constant. See this answer.



So it appears we can get that it's a non-removable singularity. But as @N.S. points out, it could still be a pole. To rule that out, see this.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I saw those answer, but my approach is correct? Thanks
    $endgroup$
    – user570343
    Dec 27 '18 at 5:07










  • $begingroup$
    I think it's another way of saying it.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 5:07










  • $begingroup$
    What if the singularity was a pole?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:23










  • $begingroup$
    I guess I overlooked that possibility.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:36










  • $begingroup$
    Apparently the link you included above has an answer.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:43

















1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

If the singularity at infinity were removable, then $f$ would be bounded. Then by Liouville's theorem is constant. See this answer.



So it appears we can get that it's a non-removable singularity. But as @N.S. points out, it could still be a pole. To rule that out, see this.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I saw those answer, but my approach is correct? Thanks
    $endgroup$
    – user570343
    Dec 27 '18 at 5:07










  • $begingroup$
    I think it's another way of saying it.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 5:07










  • $begingroup$
    What if the singularity was a pole?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:23










  • $begingroup$
    I guess I overlooked that possibility.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:36










  • $begingroup$
    Apparently the link you included above has an answer.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:43
















1












$begingroup$

If the singularity at infinity were removable, then $f$ would be bounded. Then by Liouville's theorem is constant. See this answer.



So it appears we can get that it's a non-removable singularity. But as @N.S. points out, it could still be a pole. To rule that out, see this.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I saw those answer, but my approach is correct? Thanks
    $endgroup$
    – user570343
    Dec 27 '18 at 5:07










  • $begingroup$
    I think it's another way of saying it.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 5:07










  • $begingroup$
    What if the singularity was a pole?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:23










  • $begingroup$
    I guess I overlooked that possibility.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:36










  • $begingroup$
    Apparently the link you included above has an answer.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:43














1












1








1





$begingroup$

If the singularity at infinity were removable, then $f$ would be bounded. Then by Liouville's theorem is constant. See this answer.



So it appears we can get that it's a non-removable singularity. But as @N.S. points out, it could still be a pole. To rule that out, see this.






share|cite|improve this answer











$endgroup$



If the singularity at infinity were removable, then $f$ would be bounded. Then by Liouville's theorem is constant. See this answer.



So it appears we can get that it's a non-removable singularity. But as @N.S. points out, it could still be a pole. To rule that out, see this.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 27 '18 at 22:46

























answered Dec 27 '18 at 4:58









Chris CusterChris Custer

13.8k3827




13.8k3827












  • $begingroup$
    I saw those answer, but my approach is correct? Thanks
    $endgroup$
    – user570343
    Dec 27 '18 at 5:07










  • $begingroup$
    I think it's another way of saying it.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 5:07










  • $begingroup$
    What if the singularity was a pole?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:23










  • $begingroup$
    I guess I overlooked that possibility.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:36










  • $begingroup$
    Apparently the link you included above has an answer.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:43


















  • $begingroup$
    I saw those answer, but my approach is correct? Thanks
    $endgroup$
    – user570343
    Dec 27 '18 at 5:07










  • $begingroup$
    I think it's another way of saying it.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 5:07










  • $begingroup$
    What if the singularity was a pole?
    $endgroup$
    – N. S.
    Dec 27 '18 at 21:23










  • $begingroup$
    I guess I overlooked that possibility.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:36










  • $begingroup$
    Apparently the link you included above has an answer.
    $endgroup$
    – Chris Custer
    Dec 27 '18 at 22:43
















$begingroup$
I saw those answer, but my approach is correct? Thanks
$endgroup$
– user570343
Dec 27 '18 at 5:07




$begingroup$
I saw those answer, but my approach is correct? Thanks
$endgroup$
– user570343
Dec 27 '18 at 5:07












$begingroup$
I think it's another way of saying it.
$endgroup$
– Chris Custer
Dec 27 '18 at 5:07




$begingroup$
I think it's another way of saying it.
$endgroup$
– Chris Custer
Dec 27 '18 at 5:07












$begingroup$
What if the singularity was a pole?
$endgroup$
– N. S.
Dec 27 '18 at 21:23




$begingroup$
What if the singularity was a pole?
$endgroup$
– N. S.
Dec 27 '18 at 21:23












$begingroup$
I guess I overlooked that possibility.
$endgroup$
– Chris Custer
Dec 27 '18 at 22:36




$begingroup$
I guess I overlooked that possibility.
$endgroup$
– Chris Custer
Dec 27 '18 at 22:36












$begingroup$
Apparently the link you included above has an answer.
$endgroup$
– Chris Custer
Dec 27 '18 at 22:43




$begingroup$
Apparently the link you included above has an answer.
$endgroup$
– Chris Custer
Dec 27 '18 at 22:43



Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei