Analyzing $f(z) = e^{-\frac{1}{z}}$: Analytic Region & Derivative

  • Context: MHB 
  • Thread starter Thread starter ognik
  • Start date Start date
  • Tags Tags
    Derivative
Click For Summary

Discussion Overview

The discussion revolves around the function \( f(z) = e^{-\frac{1}{z}} \), specifically focusing on finding its derivative \( f'(z) \) and determining the maximal region in which \( f(z) \) is analytic. The conversation includes theoretical considerations, mathematical reasoning, and potential simplifications in the analysis of the function's properties.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that \( f'(z) = \frac{e^{-\frac{1}{z}}}{z^2} \) and questions the use of Cauchy-Riemann conditions for checking analyticity.
  • Another participant suggests verifying the expression for \( \frac{1}{z} \) in terms of \( x \) and \( y \) and using the exponential form to find the real and imaginary parts \( u \) and \( v \).
  • One participant expresses concern about the complexity of calculating the partial derivatives required for the Cauchy-Riemann conditions, questioning the necessity of finding the derivative first.
  • A later reply introduces an alternative approach, suggesting that if \( f(z) \) is analytic on an open set \( U \), then \( e^{f(z)} \) is also analytic on that set, and proposes using \( f(z) = -\frac{1}{z} \) and \( g(z) = z^2 \) to analyze the analyticity of the function.
  • Another participant argues that both \( f(z) \) and \( g(z) \) are differentiable and smooth except at \( z=0 \), concluding that they are analytic everywhere else, which raises questions about the necessity of finding \( f'(z) \).
  • One participant further elaborates that the request to find the first derivative may relate to the function being infinitely differentiable and smoothly continuous except at \( z=0 \), seeking validation for this argument.

Areas of Agreement / Disagreement

Participants express differing views on the necessity and implications of finding the derivative and the conditions for analyticity. There is no consensus on the best approach to analyze the function or the reasoning behind the derivative's relevance.

Contextual Notes

Participants highlight the singularity at \( z=0 \) as a critical point affecting the function's analyticity, but there are unresolved questions regarding the implications of this singularity on the function's behavior in the complex plane.

ognik
Messages
626
Reaction score
2
Given $ f(z) = e^{-\frac{1}{z}} $, find f'(z) and identify the maximal region within which f(z) is analytic

I found [math] f'(z) = \frac{e^{-\frac{1}{z}}}{z^2} [/math], is that right?

I think I should be using the Cauchy-Riemann Conditions to check if analytic, but this function is not in the form u+iv? A hint please?
 
Physics news on Phys.org
Let $z = x+iy\not = 0$.

Verify $\frac{1}{z} = \frac{x}{x^2+y^2} - \frac{y}{x^2+y^2}i$ and use $e^{a+bi} = e^a(\cos b + i\sin b)$.
With that you can find the $u$ and $v$.
 
Thanks TPH, I followed that approach to get $$U= e^{-\frac{x}{x^2 + y^2}}Cos \frac{y}{x^2+y^2} $$ and $$V= e^{-\frac{x}{x^2 + y^2}} Sin \frac{y}{x^2+y^2} $$

To do those 4 far-from-easy partial derivatives seems excessive for an exam question - which counts only 7%; also why did they ask to find the derivative of the function first? Is there not perhaps a simpler approach to the question?
 
ognik said:
Thanks TPH, I followed that approach to get $$U= e^{-\frac{x}{x^2 + y^2}}Cos \frac{y}{x^2+y^2} $$ and $$V= e^{-\frac{x}{x^2 + y^2}} Sin \frac{y}{x^2+y^2} $$

To do those 4 far-from-easy partial derivatives seems excessive for an exam question - which counts only 7%; also why did they ask to find the derivative of the function first? Is there not perhaps a simpler approach to the question?

There is a simpler approach, but it does not use CR-equations. I was only doing it that way because I thought you wanted to see it by CR equation.

The easier method is that if $f(z)$ is analytic on an open set $U$ then $e^{f(z)}$ is analytic on that same set. If $g(z)$ is analytic on $U$ and not equal to zero at any point then $f(z)/g(z)$ is analytic on $U$ as well.

Pick $U$ to be the complex plane minus the origin. Choose $f(z) = -\frac{1}{z}$ and $g(z) = z^2$. Do you accept the fact that $f$ is analytic on $U$ and $g$ is analytic on $U$ and not equal to zero? Therefore, $e^{f(z)}/g(z)$ will be analytic on $U$.

Then we need to show that $U$ is maximal such region. The only region bigger than $U$ would be $\mathbb{C}$ itself by adjoining the origin to this larger region. So you need to give an argument why it is not possible to extend $e^{-1/z}/z^2$ analytically to the entiretly of the complex plane.
 
I would say that both f(z) and g(z) are differentiable and smooth, but have a singularity at z=0. I would conclude that they are analytic everywhere - which includes the complex plane - except at z=0?

I still don't see the reason we find f'(z) and thereby g(z)?

Thanks
 
Further to my previous point, I would say that we are asked to find the 1st derivative because if the function is infinitely identifiable and is smoothly continuous (except at z=0), then the function is analytic everywhere except at z=0.

Is this argument valid please?
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
26
Views
5K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K