Analytic Functions on the Unit Disc

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
  • Tags Tags
    Disc Functions Unit
Click For Summary

Discussion Overview

The discussion centers around the analyticity of various functions within the unit disc, specifically examining functions such as $z^7$, $|z|$, and $\frac{1}{z}$. Participants explore the conditions under which these functions are complex differentiable, referencing the Cauchy-Riemann equations and integral evaluations.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants assert that $z^7$ is complex differentiable everywhere, while $|z|$ is not complex differentiable anywhere, and $\frac{1}{z}$ is not complex differentiable at the origin.
  • One participant proposes an evaluation of a series involving $|u|$ and questions the correctness of their approach, leading to a discussion about the implications of the integral results.
  • Another participant acknowledges a misunderstanding regarding the interpretation of $|z|$ as the complex conjugate and suggests using the Cauchy-Riemann equations to check differentiability.
  • Several participants detail the application of the Cauchy-Riemann equations to show that $|z|$ is not analytic inside the unit disc, with some concluding that it is not differentiable anywhere.
  • A participant expresses a need for assistance in solving an integral related to the discussion.

Areas of Agreement / Disagreement

Participants generally agree on the non-analyticity of $|z|$ and the differentiability of $z^7$ and $\frac{1}{z}$, but there is some confusion and differing interpretations regarding the evaluation of integrals and the nature of $|z|$.

Contextual Notes

Some participants express uncertainty about the implications of their calculations and the definitions involved, particularly regarding the interpretation of $|z|$ and its differentiability.

Dustinsfl
Messages
2,217
Reaction score
5
Analytic in the unit disc

$z^7$ yes
$|z|$ no
$\frac{1}{z}$ yes

Correct?
 
Physics news on Phys.org
dwsmith said:
Analytic in the unit disc

$z^7$ yes
$|z|$ no
$\frac{1}{z}$ yes

Correct?

Would you mind explaining how you got those answers please?
 
$z^{7}$ is complex differntiable everywhere, EDIT: $\bar{z}$ is complex differentiable nowhere, and $\frac{1}{z}$ is not complex differentiable at the origin

so the last one is incorrect
 
Last edited:
Random Variable said:
$z^{7}$ is complex differntiable everywhere, $|z|$ is complex differentiable nowhere, and $\frac{1}{z}$ is not complex differentiable at the origin

so the last one is incorrect

RV based on that. I shouldn't get the same g=f but so what is wrong with this:

$g(u) = |u|$
Evaluating the series around the unit disc at $z_0 = 0$, we have
$$
f(z) = \frac{1}{2\pi i}\sum_{n = 0}^{\infty}\left[\int_0^{2\pi}\frac{|u|}{u^{n + 1}}du z^n\right].
$$
If we just look at the integral, we have
$$
\sum_{n = 0}^{\infty}\int_0^{2\pi}\frac{|u|}{u^{n + 1}}du =
\begin{cases}
\displaystyle\sum_{n = 0}^{\infty}\int_0^{2\pi} u^{-n} du, & \text{if} \ u\geq 0\\
\displaystyle -\sum_{n = 0}^{\infty}\int_0^{2\pi} u^{-n}du, & \text{if} \ u < 0
\end{cases} =
\begin{cases}
0, & \text{if} \ n\neq 1\\
2\pi i, & \text{if} \ n = 1
\end{cases}
$$
Then $f(z) = z$ if $u\geq 0$ and $f(z) = -z$ if $u < 0$.
Therefore, $f(z) = |z|$.
 
I was interpreting $|z|$ as the complex conjugate for some reason. Sorry.

I would use the Cauchy Riemann equations to check if $|z|$ is differentiable inside the unit disc.
 
Random Variable said:
I was interpreting $|z|$ as the complex conjugate for some reason. Sorry.

I would use the Cauchy Riemann equations to check if $|z|$ is differentiable inside the unit disc.

I know that I think about it. I can't do that since |z| is the modulus not the real the absolute value correct?
 
Yeah. $|z| = |x+iy| = \sqrt{x^{2}+y^{2}} = \sqrt{x^{2}+y^{2}} + i 0 = u(x,y) + iv(x,y) $

And the function is differentiable only where the Cauchy-Riemann equations are satisfied:

$u_{x} = \frac{x}{\sqrt{x^{2}+y^{2}}} $ $u_{y}= \frac{y}{\sqrt{x^{2}+y^{2}}}$, $v_{x}=0$, and $v_{y}=0$

$u_{x} = \frac{x}{\sqrt{x^{2}+y^{2}}} = v_{y} = 0$ and $u_{y} = \frac{y}{\sqrt{x^{2}+y^{2}}} = - v_{x} = 0$

The equations are not satisifed at the origin, which is inside the unit disc.

So $|z|$ is not analytic inside the unit disc.EDIT: Actually, $|z|$ doesn't appear to be differentiable anywhere.
 
Last edited:
Random Variable said:
Yeah. $|z| = |x+iy| = \sqrt{x^{2}+y^{2}} = \sqrt{x^{2}+y^{2}} + i 0 = u(x,y) + iv(x,y) $

And the function is differentiable only where the Cauchy-Riemann equations are satisfied:

$u_{x} = \frac{x}{\sqrt{x^{2}+y^{2}}} $ $u_{y}= \frac{y}{\sqrt{x^{2}+y^{2}}}$, $v_{x}=0$, and $v_{y}=0$

$u_{x} = \frac{x}{\sqrt{x^{2}+y^{2}}} = v_{y} = 0$ and $u_{y} = \frac{y}{\sqrt{x^{2}+y^{2}}} = - v_{x} = 0$

The equations are not satisifed at the origin, which is inside the unit disc.

So $|z|$ is not analytic inside the unit disc.EDIT: Actually, $|z|$ doesn't appear to be differentiable anywhere.

Do you know how I can solve that integral then?
 

Similar threads

Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 22 ·
Replies
22
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K