MHB Complex Square Root Function: Qs from Bruce P. Palka's Ex. 1.5, Ch. III

Click For Summary
The discussion revolves around complex function theory, specifically addressing questions from Bruce P. Palka's book regarding Example 1.5 in Chapter III. The continuity of the function θ on the set D implies that f is also continuous in D due to the composition of continuous functions. The limit of θ as h approaches 0 from the positive side equals -π because z_0 is real and negative, placing it in the fourth quadrant. Additionally, the assertion that -i√|z_0| equals -√z_0 holds true under the condition that z_0 is real and negative. The participants seek clarification on the continuity of √|z| and the reasoning behind the limit and function assertions.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Bruce P. Palka's book: An Introduction to Complex Function Theory ...

I am focused on Chapter III: Analytic Functions, Section 1.2 Differentiation Rules ...

I need further help with other aspects of Example 1.5, Section 1.2, Chapter III ...

Example 1.5, Section 1.2, Chapter III, reads as follows:

View attachment 9337
View attachment 9338
My questions are as follows:
Question 1

In the above text by Palka we read the following:" ... ... Recall that the function $$\theta$$ is continuous on the set $$D = \mathbb{C} \sim ( - \infty, 0]$$ (Lemma II.2.4), a fact that makes it clear that $$f$$, too, is continuous in $$D$$ ... ... "

How/why exactly does the fact that $$\theta$$ is continuous on the set $$D$$ imply that $$f$$ is continuous in D ... ...
Question 2

In the above text by Palka we read the following:" ... ... we observe that $$\lim_{ h \to 0+ } \theta (z_0 - ih) = - \pi$$ ... ... "Can someone please explain how/why $$\lim_{ h \to 0+ } \theta (z_0 - ih) = - \pi$$ ... ...
Question 3

In the above example Palka asserts that $$-i \sqrt{ \mid z_0 \mid } = - \sqrt{z_0}$$ ...

Can someone please demonstrate how/why this is the case ...
Help with the above questions will be much appreciated ...

Peter
 

Attachments

  • Palka - 1 - Example 1.5, Section III - PART 1 ... .png
    Palka - 1 - Example 1.5, Section III - PART 1 ... .png
    1.7 KB · Views: 121
  • Palka - 2 - Example 1.5, Section III - PART 2 ... .png
    Palka - 2 - Example 1.5, Section III - PART 2 ... .png
    28.3 KB · Views: 144
Physics news on Phys.org
Peter said:
I am reading Bruce P. Palka's book: An Introduction to Complex Function Theory ...

I am focused on Chapter III: Analytic Functions, Section 1.2 Differentiation Rules ...

I need further help with other aspects of Example 1.5, Section 1.2, Chapter III ...

Example 1.5, Section 1.2, Chapter III, reads as follows:
My questions are as follows:
Question 1

In the above text by Palka we read the following:" ... ... Recall that the function $$\theta$$ is continuous on the set $$D = \mathbb{C} \sim ( - \infty, 0]$$ (Lemma II.2.4), a fact that makes it clear that $$f$$, too, is continuous in $$D$$ ... ... "

How/why exactly does the fact that $$\theta$$ is continuous on the set $$D$$ imply that $$f$$ is continuous in D ... …
Because \sqrt{|z|}, |z| being positive, is continuous, and the composition of continuous functions is continuous.
Question 2
In the above text by Palka we read the following:" ... ... we observe that $$\lim_{ h \to 0+ } \theta (z_0 - ih) = - \pi$$ ... ... "Can someone please explain how/why $$\lim_{ h \to 0+ } \theta (z_0 - ih) = - \pi$$ ... …
You have dropped the condition that "[math]z_0[/math] is real and negative". Since z=[math]z_0[/math] is real and negative, the real part of [math]z_0- ih[/math] is [math]z_0[/math] and the imaginary part is [math]-ih[/math], both negative numbers. We are in the fourth quadrant so the limit is [math]-\pi[/math] rather than [math]\pi[/math].

Question 3
In the above example Palka asserts that $$-i \sqrt{ \mid z_0 \mid } = - \sqrt{z_0}$$ ...

Can someone please demonstrate how/why this is the case …
Again that is true because, in this case, [math]z_0[/math] assumed to be "real and negative".
Help with the above questions will be much appreciated ...

Peter
 
HallsofIvy said:
Because \sqrt{|z|}, |z| being positive, is continuous, and the composition of continuous functions is continuous.
You have dropped the condition that "[math]z_0[/math] is real and negative". Since z=[math]z_0[/math] is real and negative, the real part of [math]z_0- ih[/math] is [math]z_0[/math] and the imaginary part is [math]-ih[/math], both negative numbers. We are in the fourth quadrant so the limit is [math]-\pi[/math] rather than [math]\pi[/math].


Again that is true because, in this case, [math]z_0[/math] assumed to be "real and negative".


Thanks for the help, HallsofIvy ...

You write ...

"Because \sqrt{|z|}, |z| being positive, is continuous, and the composition of continuous functions is continuous. ... "

Can you please show how to demonstrate that \sqrt{|z|} is continuous ...

I know we require that $$\lim_{ z \to z_0 } \sqrt{|z|} = \sqrt{|z_0|}$$ but why exactly is this true?

Can you help?

Peter
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

Replies
2
Views
1K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K