Example 2.20. We
consider some branches of the two-valued square root
function
, (where
). Define
the principal square root function as
(2-28) ![]()
![]()
,
where
and
so that
. The
function
is a branch of
. Using
the same notation, we can find other branches of the square root
function. For example, if we let
(2-29) ![]()
![]()
,
then
![[Graphics:Images/ComplexFunBranchMod_gr_24.gif]](../Images/ComplexFunBranchMod_gr_24.gif)
so
can be thought of as "plus" and "minus" square root
functions. The negative real axis is called a branch cut
for the functions
. Each
point on the branch cut is a point of discontinuity for both
functions
.
Explore Solution 2.20.
Use Mathematica to graph the mapping ![]()
where
.
![[Graphics:../Images/ComplexFunBranchMod_gr_32.gif]](../Images/ComplexFunBranchMod_gr_32.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_34.gif]](../Images/ComplexFunBranchMod_gr_34.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_35.gif]](../Images/ComplexFunBranchMod_gr_35.gif)
We can compare the above polar mapping with the cartesian coordinate
mapping.
![[Graphics:../Images/ComplexFunBranchMod_gr_37.gif]](../Images/ComplexFunBranchMod_gr_37.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_39.gif]](../Images/ComplexFunBranchMod_gr_39.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_40.gif]](../Images/ComplexFunBranchMod_gr_40.gif)
Use Mathematica to graph the mapping
.
![[Graphics:../Images/ComplexFunBranchMod_gr_43.gif]](../Images/ComplexFunBranchMod_gr_43.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_45.gif]](../Images/ComplexFunBranchMod_gr_45.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_46.gif]](../Images/ComplexFunBranchMod_gr_46.gif)
We can compare the above polar mapping with the cartesian coordinate
mapping.
![[Graphics:../Images/ComplexFunBranchMod_gr_48.gif]](../Images/ComplexFunBranchMod_gr_48.gif)
![[Graphics:../Images/ComplexFunBranchMod_gr_50.gif]](../Images/ComplexFunBranchMod_gr_50.gif)
We have illustrated the two branches of the square
root
.