Professional Documents
Culture Documents
AEM Chapter17ComplexVariablesV48 PDF
AEM Chapter17ComplexVariablesV48 PDF
AEM Chapter17ComplexVariablesV48 PDF
esseee@rit.edu
Functions of a Complex
Chapter 17
Variable
• 𝑒𝑒 𝑥𝑥 = −2 or sin(𝑥𝑥) = 5 or −9
Not possible in real analysis but perfectly correct & ordinary in complex analysis.
How about:
∞ 2𝜋𝜋 ∞
𝑥𝑥 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 1 1
� 2
𝑑𝑑𝑑𝑑 𝑜𝑜𝑜𝑜 � 2
𝑑𝑑𝜃𝜃 𝑜𝑜𝑜𝑜 � 2 2
𝑑𝑑𝑑𝑑
−∞ 𝑥𝑥 + 9 0 2 + 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃 −∞ (𝑥𝑥 + 1)(𝑥𝑥 + 9)
Or:
• Inverse Z-Transforms
• Inverse Fourier Transforms
• Inverse Laplace Transforms
2/21/2019 Dr. Eli Saber 5
17.1 Complex Numbers
Definition: A complex number is any number of the form
𝒛𝒛 = 𝒙𝒙 + 𝒋𝒋𝒋𝒋
where “x” and “y” are real numbers and “j” is the imaginary unit [Note: 𝑗𝑗 2 = −1]
⇒ 𝑅𝑅𝑅𝑅 𝑧𝑧 = 𝑥𝑥 𝑎𝑎𝑎𝑎𝑎𝑎 𝐼𝐼𝐼𝐼 𝑧𝑧 = 𝑦𝑦
Definition - “Equality”: Complex numbers 𝑧𝑧1 and 𝑧𝑧2 are equal (i.e. 𝑧𝑧1 = 𝑧𝑧2 ) if
Substraction:
𝑧𝑧1 − 𝑧𝑧2 = (𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 ) - 𝑥𝑥2 + 𝑗𝑗𝑦𝑦2 𝑧𝑧1 − 𝑧𝑧2 = (𝑥𝑥1 − 𝑥𝑥2 ) + j 𝑦𝑦1 − 𝑦𝑦2
Multiplication:
𝑧𝑧1 𝑧𝑧2 = (𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 ) 𝑥𝑥2 + 𝑗𝑗𝑦𝑦2 = 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑥𝑥1 𝑦𝑦2 + 𝑗𝑗𝑥𝑥2 𝑦𝑦1 + 𝑗𝑗 2 𝑦𝑦1 𝑦𝑦2 (𝑗𝑗 2 = -1)
𝑧𝑧1 𝑧𝑧2 = 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 + 𝑗𝑗(𝑥𝑥1 𝑦𝑦2 + 𝑥𝑥2 𝑦𝑦1 )
Division: 𝑧𝑧�2
𝑧𝑧1 𝑥𝑥1 +𝑗𝑗𝑦𝑦1 𝑥𝑥1 +𝑗𝑗𝑦𝑦1 𝑥𝑥2 −𝑗𝑗𝑦𝑦2 𝑥𝑥1 𝑥𝑥2 −𝑗𝑗𝑥𝑥1 𝑦𝑦2 +𝑗𝑗𝑦𝑦1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 𝑥𝑥1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 +𝑗𝑗[𝑦𝑦1 𝑥𝑥2 −𝑥𝑥1 𝑦𝑦2 ]
= = = =
𝑧𝑧2 𝑥𝑥2 +𝑗𝑗𝑦𝑦2 𝑥𝑥2 +𝑗𝑗𝑦𝑦2 𝑥𝑥2 −𝑗𝑗𝑦𝑦2 𝑥𝑥22 −𝑗𝑗𝑥𝑥2 𝑦𝑦2 +𝑗𝑗𝑥𝑥2 𝑦𝑦2 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22
Proof: 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 = (𝑥𝑥1 +𝑗𝑗𝑦𝑦1 )( 𝑥𝑥2 +𝑗𝑗𝑦𝑦2 ) = 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑥𝑥1 𝑦𝑦2 + 𝑗𝑗𝑥𝑥2 𝑦𝑦1 + 𝑗𝑗 2 𝑦𝑦1 𝑦𝑦2
= 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑥𝑥2 𝑦𝑦1 + 𝑗𝑗𝑦𝑦2 𝑥𝑥1 + 𝑗𝑗 2 𝑦𝑦1 𝑦𝑦2
= 𝑥𝑥2 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 + 𝑗𝑗𝑦𝑦2 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 = (𝑥𝑥2 + 𝑗𝑗𝑦𝑦2 ) 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 = 𝒛𝒛𝟐𝟐 𝒛𝒛𝟏𝟏
1
• Multiplicative Inverse: 𝑧𝑧 −1 = 𝑜𝑜𝑜𝑜 𝑧𝑧𝑧𝑧 −1 = 1 𝑧𝑧 ≠ 0
𝑧𝑧
Properties:
Proof:
𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐 = 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 + (𝑥𝑥2 + 𝑗𝑗𝑦𝑦2 ) = 𝑥𝑥1 + 𝑥𝑥2 + 𝑗𝑗(𝑦𝑦1 + 𝑦𝑦2 ) = x1 + x2 − j(y1 + y2 )
= 𝑥𝑥1 −𝑥𝑥2 − 𝑗𝑗 𝑦𝑦1 − 𝑦𝑦2 = 𝑥𝑥1− 𝑗𝑗𝑗𝑗1 _ 𝑥𝑥2− 𝑗𝑗𝑗𝑗2 = 𝒛𝒛� 𝟏𝟏 − 𝒛𝒛� 𝟐𝟐
𝑧𝑧̅1 𝑧𝑧̅2
Proof
𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 = 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 𝑥𝑥2 + 𝑗𝑗𝑦𝑦2 = 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑥𝑥1 𝑦𝑦2 + 𝑗𝑗𝑦𝑦1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2
= 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 + 𝑗𝑗(𝑥𝑥1 𝑦𝑦2 + 𝑦𝑦1 𝑥𝑥2 ) = 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 − 𝑗𝑗 𝑥𝑥1 𝑦𝑦2 + 𝑦𝑦1 𝑥𝑥2
= 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 − 𝑗𝑗𝑥𝑥1 𝑦𝑦2 − 𝑗𝑗𝑦𝑦1 𝑥𝑥2 = 𝑥𝑥1 𝑥𝑥2 − 𝑗𝑗𝑦𝑦2 − 𝑗𝑗𝑦𝑦1 𝑥𝑥2 − 𝑗𝑗𝑦𝑦2
= 𝑥𝑥1 − 𝑗𝑗𝑦𝑦1 𝑥𝑥2 − 𝑗𝑗𝑦𝑦2 = 𝒛𝒛� 𝟏𝟏 𝒛𝒛� 𝟐𝟐
𝑥𝑥1 𝑥𝑥2 −𝑗𝑗𝑥𝑥1 𝑦𝑦2 +𝑗𝑗𝑗𝑗1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 𝑥𝑥1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 𝑗𝑗 𝑦𝑦1 𝑥𝑥2 −𝑥𝑥1 𝑦𝑦2
= = +
𝑥𝑥22 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22
𝑥𝑥1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 𝑗𝑗 𝑦𝑦1 𝑥𝑥2 −𝑥𝑥1 𝑦𝑦2 𝑥𝑥1 𝑥𝑥2 +𝑦𝑦1 𝑦𝑦2 𝑦𝑦1 𝑥𝑥2 −𝑥𝑥1 𝑦𝑦2
= − = − 𝑗𝑗
𝑥𝑥22 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22 𝑥𝑥22 +𝑦𝑦22
𝒛𝒛𝟏𝟏 𝑥𝑥1 − 𝑗𝑗𝑗𝑗1 𝑥𝑥1 − 𝑗𝑗𝑗𝑗1 𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑗𝑗1 𝑦𝑦2 − 𝑗𝑗𝑗𝑗1 𝑥𝑥2 + 𝑦𝑦1 𝑦𝑦2 𝑥𝑥1 𝑥𝑥2 + 𝑦𝑦1 𝑦𝑦2 𝑦𝑦1 𝑥𝑥2 − 𝑥𝑥1 𝑦𝑦2
= = = = − 𝑗𝑗
𝒛𝒛� 𝟐𝟐 𝑥𝑥2 − 𝑗𝑗𝑗𝑗2 𝑥𝑥2 − 𝑗𝑗𝑗𝑗2 𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 𝑥𝑥22 + 𝑦𝑦22 𝑥𝑥22 + 𝑦𝑦22 𝑥𝑥22 + 𝑦𝑦22
𝑧𝑧1 𝑧𝑧�1
⇒ =
𝑧𝑧2 𝑧𝑧�2
𝑧𝑧̅
• z − 𝑧𝑧̅ =2jy=2 j Im(z) 𝐼𝐼𝐼𝐼 𝑧𝑧 = 𝑧𝑧−
2𝑗𝑗
• To divide 𝑧𝑧1 by 𝑧𝑧2 , we multiply & divide by the complex conjugate of 𝑧𝑧2
𝑧𝑧1 𝑥𝑥1 + 𝑗𝑗𝑗𝑗1 𝑥𝑥1 + 𝑗𝑗𝑗𝑗1 𝑥𝑥2 − 𝑗𝑗𝑗𝑗2 𝑥𝑥1 𝑥𝑥2 − 𝑗𝑗𝑗𝑗1 𝑦𝑦2 + 𝑗𝑗𝑗𝑗1 𝑥𝑥2 + 𝑦𝑦1 𝑦𝑦2
= = =
𝑧𝑧2 𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 𝑥𝑥2 − 𝑗𝑗𝑗𝑗2 𝑥𝑥22 + 𝑦𝑦22
-2 2 𝑥𝑥 Real axis
Not as clear or concise
𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿𝐿 𝑜𝑜𝑜𝑜 𝑧𝑧 = 𝑥𝑥 2 + 𝑦𝑦 2
• 𝑧𝑧1 𝑧𝑧2 = (𝑥𝑥1 + 𝑗𝑗𝑗𝑗1 )(𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 ) = 𝑥𝑥1 𝑥𝑥2 + 𝑗𝑗𝑥𝑥1 𝑦𝑦2 + 𝑗𝑗𝑥𝑥2 𝑦𝑦1 − 𝑦𝑦1 𝑦𝑦2
= 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 + 𝑗𝑗(𝑥𝑥1 𝑦𝑦2 + 𝑥𝑥2 𝑦𝑦1 ) = 𝑥𝑥1 𝑥𝑥2 − 𝑦𝑦1 𝑦𝑦2 2 + 𝑥𝑥1 𝑦𝑦2 + 𝑥𝑥2 𝑦𝑦1 2
= 𝑥𝑥12 𝑥𝑥22 − 2𝑥𝑥1 𝑥𝑥2 𝑦𝑦1 𝑦𝑦2 + 𝑦𝑦12 𝑦𝑦22 + 𝑥𝑥12 𝑦𝑦22 + 2𝑥𝑥1 𝑥𝑥2 𝑦𝑦1 𝑦𝑦2 + 𝑥𝑥22 𝑦𝑦12 = 𝑥𝑥12 𝑥𝑥22 + 𝑦𝑦12 𝑦𝑦22 + 𝑥𝑥12 𝑦𝑦22 + 𝑥𝑥22 𝑦𝑦12
• 𝑧𝑧1 𝑧𝑧2 = 𝑥𝑥1 + 𝑗𝑗𝑦𝑦1 𝑥𝑥2 + 𝑗𝑗𝑗𝑗2 = 𝑥𝑥12 + 𝑦𝑦12 𝑥𝑥22 + 𝑦𝑦22 = (𝑥𝑥12 +𝑦𝑦12 )(𝑥𝑥22 + 𝑦𝑦22 )
= 𝑥𝑥12 𝑥𝑥22 + 𝑥𝑥12 𝑦𝑦22 + 𝑦𝑦12 𝑥𝑥22 + 𝑦𝑦12 𝑦𝑦22
𝑧𝑧1 𝑧𝑧2 = 𝑧𝑧1 𝑧𝑧2
𝑥𝑥12 𝑥𝑥22 +𝑦𝑦12 𝑦𝑦22 +𝑥𝑥22 𝑦𝑦12 +𝑥𝑥12 𝑦𝑦22 𝑥𝑥22 𝑥𝑥12 +𝑦𝑦12 +𝑦𝑦22 𝑥𝑥12 +𝑦𝑦12 𝑥𝑥12 +𝑦𝑦12 𝑥𝑥22 +𝑦𝑦22
= 𝑥𝑥22 +𝑦𝑦22 2
= 𝑥𝑥22 +𝑦𝑦22 2
= 𝑥𝑥22 +𝑦𝑦22 2
𝑦𝑦
𝑧𝑧2
𝑹𝑹𝑹𝑹𝑹𝑹𝑹𝑹𝑹𝑹𝑹𝑹: 𝑧𝑧 2 = 𝑧𝑧 2
; 𝑧𝑧 2
= 𝑧𝑧𝑧𝑧̅ = 𝑧𝑧𝑧𝑧 ∗ ; 𝑧𝑧1𝑧𝑧2 = 𝑧𝑧1 𝑧𝑧2 𝑧𝑧2 − 𝑧𝑧1
𝑧𝑧1
2 2 0
⇒ 𝑧𝑧1 + 𝑧𝑧2 + 2 𝑧𝑧1 𝑧𝑧2 = 𝑧𝑧12 + 𝑧𝑧22 + 2 𝑧𝑧1𝑧𝑧2 ≥ 𝑧𝑧12 + 𝑧𝑧22 + 2𝑧𝑧1𝑧𝑧2 Vector difference 𝑥𝑥
Remarks:
Let 𝑥𝑥 & 𝑦𝑦 be two real numbers and let 𝑧𝑧1 & 𝑧𝑧2 be two complex numbers:
(i) 𝑥𝑥 > 𝑦𝑦 𝑜𝑜𝑜𝑜 𝑥𝑥 < 𝑦𝑦 is possible in ℝ but 𝑧𝑧1 > 𝑧𝑧2 or 𝑧𝑧1 < 𝑧𝑧2 does not have any
meaning in the Complex plane ℂ except if 𝑧𝑧1 & 𝑧𝑧2 are both real
(ii) 𝑒𝑒 𝑥𝑥 = −2 & 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 = 5 are impossible in ℝ 𝑏𝑏ut perfectly correct and
ordinary in the complex plane ℂ as we will see later
o 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 = 𝒙𝒙𝟏𝟏 𝒙𝒙𝟐𝟐 − 𝒚𝒚𝟏𝟏 𝒚𝒚𝟐𝟐 + 𝒋𝒋(𝒙𝒙𝟏𝟏 𝒚𝒚𝟐𝟐 + 𝒙𝒙𝟐𝟐 𝒚𝒚𝟏𝟏 ) 𝒛𝒛−�𝒛𝒛
𝒛𝒛𝟏𝟏 𝒙𝒙𝟏𝟏 𝒙𝒙𝟐𝟐 +𝒚𝒚𝟏𝟏 𝒚𝒚𝟐𝟐 𝒚𝒚𝟏𝟏 𝒙𝒙𝟐𝟐 −𝒙𝒙𝟏𝟏 𝒚𝒚𝟐𝟐 o Im (z)=
𝟐𝟐𝟐𝟐
o = + 𝒋𝒋
𝒛𝒛𝟐𝟐 𝒙𝒙𝟐𝟐𝟐𝟐 +𝒚𝒚𝟐𝟐𝟐𝟐 𝒙𝒙𝟐𝟐𝟐𝟐 +𝒚𝒚𝟐𝟐𝟐𝟐
o 𝒛𝒛 = 𝒙𝒙𝟐𝟐 + 𝒚𝒚𝟐𝟐 = 𝒛𝒛 𝒛𝒛�
o 𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐 + 𝒛𝒛𝟑𝟑 = (𝒛𝒛𝟏𝟏 +𝒛𝒛𝟐𝟐 ) + 𝒛𝒛𝟑𝟑
o 𝒛𝒛�𝒛𝒛 = 𝒛𝒛 𝟐𝟐
o 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 𝒛𝒛𝟑𝟑 = (𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 )𝒛𝒛𝟑𝟑
o 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 = 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐
o 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 + 𝒛𝒛𝟑𝟑 = 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 + 𝒛𝒛𝟏𝟏 𝒛𝒛𝟑𝟑
𝟏𝟏 o 𝒛𝒛𝟐𝟐 = 𝒛𝒛 𝟐𝟐
o 𝒛𝒛−𝟏𝟏 = ⇒ 𝒛𝒛𝒛𝒛−𝟏𝟏 = 𝟏𝟏 o 𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐 = 𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐
𝒛𝒛
o 𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐 + ⋯ + 𝒛𝒛𝒏𝒏 ≤ 𝒛𝒛𝟏𝟏 + 𝒛𝒛𝟐𝟐 + ⋯ + 𝒛𝒛𝒏𝒏 o 𝒛𝒛𝟏𝟏 − 𝒛𝒛𝟐𝟐 = 𝒛𝒛� 𝟏𝟏 − 𝒛𝒛𝟐𝟐
o 𝒛𝒛𝟏𝟏 𝒛𝒛𝟐𝟐 = 𝒛𝒛� 𝟏𝟏 𝒛𝒛𝟐𝟐
o 𝐳𝐳𝟏𝟏 + 𝐳𝐳𝟐𝟐 ≥ 𝒛𝒛𝟏𝟏 − 𝒛𝒛𝟐𝟐
2
• 𝑟𝑟 = 𝑥𝑥 2 + 𝑦𝑦 2 = 1 2 + − 3 = 1+3= 4=2
5𝜋𝜋
3
− 3 5𝜋𝜋 1
• tan 𝜃𝜃 = ⇒ 𝜃𝜃 = 𝑜𝑜𝑜𝑜 𝜃𝜃 = − 𝜋𝜋⁄3 (Principal) 𝑥𝑥
1 3 −𝜋𝜋
3
− 3
5𝜋𝜋 5𝜋𝜋 −𝜋𝜋 −𝜋𝜋
⇒ 𝑧𝑧 = 2 𝑐𝑐𝑐𝑐𝑐𝑐 + 𝑗𝑗 sin 𝑜𝑜𝑜𝑜 𝑧𝑧 = 2 cos + 𝑗𝑗 sin( )
3 3 3 3
𝜋𝜋�
⇒ 𝑧𝑧 = 2 𝑒𝑒 −𝑗𝑗 3
Note:
• 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = −𝜋𝜋⁄3 𝑃𝑃𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑝𝑝𝑎𝑎𝑙𝑙 𝑉𝑉𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 [−𝜋𝜋 ≤ 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 ≤ 𝜋𝜋]
5𝜋𝜋 −𝜋𝜋
• arg 𝑧𝑧 = + 2𝜋𝜋𝑘𝑘 𝑜𝑜𝑜𝑜 arg 𝑧𝑧 = + 2𝜋𝜋𝑘𝑘 𝑘𝑘 = 0, ±1, ±2, …
3 3
𝜋𝜋⁄ +2𝜋𝜋 𝑘𝑘
General Form: 𝑧𝑧 = 2 𝑒𝑒 −𝑗𝑗 3 𝑘𝑘 = 0, ±1, ±2, …
2
• 𝑟𝑟 = 𝑧𝑧 = 𝑥𝑥 2 + 𝑦𝑦 2 = − 3 + −1 2 = 3+1 = 4=2 7𝜋𝜋
6 𝜋𝜋
𝜋𝜋 6
𝑦𝑦 −1 1 − 3
• 𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃 = = ⇒ 𝜃𝜃 = 𝑡𝑡𝑡𝑡𝑡𝑡−1 ( ) ⇒ 𝜃𝜃 = (Calculator Answer) 𝑥𝑥
𝑥𝑥 − 3 3 6
𝜋𝜋 7𝜋𝜋
𝐵𝐵𝐵𝐵𝐵𝐵, 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑖𝑖𝑖𝑖 3𝑟𝑟𝑑𝑑 𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞𝑞 ⇒ 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧 = + 𝜋𝜋 =
6 6
−1
𝑧𝑧 = − 3 − 𝑗𝑗
7𝜋𝜋
7𝜋𝜋 7𝜋𝜋 𝑗𝑗
• Polar or Exponential form: 𝑧𝑧 = 2 cos + 𝑗𝑗 sin 𝑜𝑜𝑜𝑜 𝑧𝑧 = 2 𝑒𝑒 6
6 6
𝜋𝜋 −5𝜋𝜋
𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = −𝜋𝜋 + = 𝑃𝑃𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑉𝑉𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 − 𝜋𝜋 ≤ Arg 𝑧𝑧 ≤ 𝜋𝜋
6 6
5𝜋𝜋
−5𝜋𝜋 −5𝜋𝜋 −𝑗𝑗
𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝑎𝑎𝑡𝑡𝑡𝑡 𝑃𝑃𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸 𝐹𝐹𝐹𝐹𝐹𝐹𝐹𝐹: 𝑧𝑧 = 2 cos + 𝑗𝑗 sin 𝑜𝑜𝑜𝑜 𝑧𝑧 = 2 𝑒𝑒 6
6 6
5𝜋𝜋
−𝑗𝑗 +2𝜋𝜋𝜋𝜋
G𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆 𝑭𝑭𝒐𝒐𝒐𝒐𝒐𝒐: 𝑧𝑧 = 2 𝑒𝑒 6 𝑘𝑘 = 0, ±1, ±2, …
Note: Use the Complex tools on the Calculator instead of calculating the angle manually
2/21/2019 Dr. Eli Saber 26
17.2 Powers & Roots
M𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮𝐮 & 𝐃𝐃𝐃𝐃𝐯𝐯𝐯𝐯𝐯𝐯𝐯𝐯𝐯𝐯𝐯𝐯 sin 𝜃𝜃1 ± 𝜃𝜃2 = 𝑠𝑠𝑠𝑠𝑠𝑠𝜃𝜃1 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃2 ± 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃1 𝑠𝑠𝑠𝑠𝑠𝑠𝜃𝜃2
cos 𝜃𝜃1 ± 𝜃𝜃2 = 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃1 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃2 ∓ 𝑠𝑠𝑠𝑠𝑠𝑠𝜃𝜃1 𝑠𝑠𝑠𝑠𝑠𝑠𝜃𝜃2
• Let: 𝑧𝑧1 = 𝑟𝑟1 𝑒𝑒 𝑗𝑗𝜃𝜃1 and 𝑧𝑧2 = 𝑟𝑟2 𝑒𝑒 𝑗𝑗𝜃𝜃2 ⇒ 𝑧𝑧1 𝑧𝑧2 = 𝑟𝑟1 𝑟𝑟2 𝑒𝑒 𝑗𝑗 𝜃𝜃1 +𝜃𝜃2 (preferred form)
𝑯𝑯𝑯𝑯𝑯𝑯𝑯𝑯𝑯𝑯: 𝑧𝑧1 𝑧𝑧2 = 𝑟𝑟1 𝑟𝑟2 & 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧1 𝑧𝑧2 = 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧1 + 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧2
𝑧𝑧1 𝑟𝑟1 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃1 +𝑗𝑗 sin 𝜃𝜃1 𝑟𝑟1 𝑒𝑒 𝑗𝑗𝜃𝜃1 𝑟𝑟1 𝑟𝑟1
• = = = 𝑒𝑒 𝑗𝑗 𝜃𝜃1 −𝜃𝜃2
= 𝑐𝑐𝑐𝑐𝑐𝑐 𝜃𝜃1 − 𝜃𝜃2 + 𝑗𝑗 sin 𝜃𝜃1 − 𝜃𝜃2 (𝑧𝑧2 ≠ 0)
𝑧𝑧2 𝑟𝑟2 𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃2 +𝑗𝑗 sin 𝜃𝜃2 𝑟𝑟2 𝑒𝑒 𝑗𝑗𝜃𝜃2 𝑟𝑟2 𝑟𝑟2
𝑧𝑧1
⇒ 𝑎𝑎𝑎𝑎𝑎𝑎 = 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧1 − 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧2
𝑧𝑧2
𝑧𝑧1
𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵: In General 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧1 𝑧𝑧2 ≠ 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧1 + 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧2 𝑎𝑎𝑎𝑎𝑎𝑎 𝐴𝐴𝑟𝑟𝑟𝑟 ≠ 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧1 − 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧2
𝑧𝑧2
𝑗𝑗𝑗𝑗�
• 𝑧𝑧2 = 5𝑗𝑗 ⇒ 𝑧𝑧2 = 5𝑒𝑒 2 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧2 = 𝜋𝜋⁄2 𝑧𝑧1
𝑥𝑥
−𝑗𝑗𝜋𝜋⁄2
⇒ 𝑧𝑧1 𝑧𝑧2 = −1 5𝑗𝑗 = −5𝑗𝑗 ⇒ 𝑧𝑧1 𝑧𝑧2 = 5𝑒𝑒
−1
𝜋𝜋 3𝜋𝜋
𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁: 𝐴𝐴𝐴𝐴𝐴𝐴 𝑧𝑧1 𝑧𝑧2 = − 𝜋𝜋⁄2 ≠ 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧1 + 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧2 = 𝜋𝜋 + =
2 2
−𝑧𝑧2 𝜋𝜋 𝜋𝜋 3𝜋𝜋
𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁: 𝐴𝐴𝐴𝐴𝐴𝐴 = ≠ 𝐴𝐴𝑟𝑟𝑟𝑟 −𝑧𝑧2 − 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧1 = − − π = −
𝑧𝑧1 2 2 2
𝜋𝜋�
−𝑧𝑧2 = −5j = 5𝑒𝑒 −𝑗𝑗 2
S𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐:
1
• 𝑧𝑧1 = 𝑗𝑗 ⇒ 𝑟𝑟1 = 1 & 𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃1 = → ∞ ⇒ 𝜃𝜃1 = 𝜋𝜋⁄2 ⇒ 𝑧𝑧1 = 1𝑒𝑒 𝑗𝑗𝜋𝜋⁄2 1
0 𝑥𝑥
2
• 𝑧𝑧2 = 1 − 𝑗𝑗 3 ⇒ 𝑟𝑟2 = 1 2 + − 3 = 1+3= 4 =2
− 3𝑗𝑗 𝑧𝑧2
− 3
𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃2 = ⇒ 𝜃𝜃2 = − 𝜋𝜋�3 ⇒ 𝑧𝑧2 = 2𝑒𝑒 −𝑗𝑗𝜋𝜋⁄3
1
𝜋𝜋� 𝜋𝜋 3𝜋𝜋 2𝜋𝜋 𝜋𝜋�
𝑗𝑗 −
𝑧𝑧1 𝑧𝑧2 = 𝑗𝑗 1 − 𝑗𝑗 3 = 𝑗𝑗 − ( 3) 𝑗𝑗 2
= 3 + 𝑗𝑗 𝑜𝑜𝑜𝑜 𝑧𝑧1 𝑧𝑧2 = 1𝑒𝑒 𝑗𝑗 2 2𝑒𝑒 −𝑗𝑗 3 = 2𝑒𝑒 6 6 = 2𝑒𝑒 𝑗𝑗 6
Rectangular Exponential
• Restrict discussion here to integer powers more complicated powers will be discussed later on
1⁄
𝑓𝑓 𝑧𝑧 = 𝑧𝑧 𝑛𝑛 & 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 𝑛𝑛 where : 𝑛𝑛 ≥ 2 and 𝑛𝑛 is an integer
1) 𝒇𝒇 𝒛𝒛 = 𝒛𝒛𝒏𝒏 𝒏𝒏 ≥ 𝟐𝟐
𝑦𝑦
𝐿𝐿𝐿𝐿𝐿𝐿 𝑧𝑧 = 2 − 𝑗𝑗 ⇒ 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 = 2 − 𝑗𝑗 2 − 𝑗𝑗 = 3 − 4𝑗𝑗
• Generally Speaking: 2 3
𝜽𝜽 𝒛𝒛 = 𝟐𝟐 − 𝒋𝒋 𝑥𝑥
𝑗𝑗𝜃𝜃 2
L𝑒𝑒𝑒𝑒 𝑤𝑤 = 𝑧𝑧 2 𝑤𝑤𝑤𝑤𝑤𝑤𝑤 𝑧𝑧 = 𝑟𝑟𝑒𝑒 𝑗𝑗𝜃𝜃 ⇒ 𝑤𝑤 = 𝑟𝑟𝑒𝑒 = 𝑟𝑟 2 𝑒𝑒 𝑗𝑗𝑗𝜃𝜃 𝟐𝟐𝟐𝟐
𝑤𝑤=𝑧𝑧 2
𝑗𝑗𝜃𝜃
𝑧𝑧 = 𝑟𝑟𝑒𝑒 𝑤𝑤 = 𝑟𝑟 2 𝑒𝑒 𝑗𝑗𝑗𝜃𝜃
𝒛𝒛𝟐𝟐 = 𝟑𝟑 − 𝟒𝟒𝟒𝟒
𝑟𝑟 → 𝑟𝑟 2
𝜃𝜃 → 2𝜃𝜃
𝑗𝑗 𝑗𝑗 𝑗𝑗 1 1
• Let 𝑧𝑧 =
2
(imaginary) ⇒ 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 = 2 2
=−
4
𝑧𝑧 = −
4
𝑧𝑧 = 2 𝑧𝑧 2 = 4 𝑥𝑥
𝑗𝑗 1 1
⇒ 𝑧𝑧 = → 𝑧𝑧 2 = − (𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑏𝑏𝑏𝑏 & 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑏𝑏𝑏𝑏 𝜋𝜋⁄2)
2 4 2
In general, 𝑤𝑤 = 𝑧𝑧 2
−𝑗𝑗𝑗𝑗�
𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬 𝟑𝟑 𝐿𝐿𝐿𝐿𝐿𝐿 𝑧𝑧 = 1 − 𝑗𝑗 3 = 2𝑒𝑒 3
3
𝑧𝑧 3 = 2𝑒𝑒 −𝑗𝑗𝜋𝜋⁄3 = 8𝑒𝑒 −𝑗𝑗3𝜋𝜋⁄3 = 8𝑒𝑒 −𝑗𝑗𝜋𝜋 = 8 cos −𝜋𝜋 − 𝑗𝑗 sin −𝜋𝜋 = 8 −1 − 𝑗𝑗 0 = −8
2/21/2019 Dr. Eli Saber 32
17.2 Powers & Roots
𝑻𝑻𝑻𝑻 𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪 𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨:
𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬𝑬 𝐿𝐿𝑒𝑒𝑒𝑒 𝑧𝑧 = − 3 − 𝑗𝑗 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑧𝑧 3 ? −𝑗𝑗
5𝜋𝜋
𝑧𝑧 = − 3 − 𝑗𝑗 → 𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃 ⇒ 𝑧𝑧 = 2 𝑒𝑒 6
Solution: 5𝜋𝜋
• Arg 𝑧𝑧 = −
6
5𝜋𝜋� 𝑦𝑦
𝑧𝑧 = − 3 − 𝑗𝑗 = 2𝑒𝑒 −𝑗𝑗 6 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
3
−𝑗𝑗 5𝜋𝜋�6 15𝜋𝜋� 5𝜋𝜋�
3
= 8 𝑒𝑒 −𝑗𝑗 = 8 𝑒𝑒 −𝑗𝑗
7𝜋𝜋
𝑧𝑧 = 2𝑒𝑒 6 2 6
5𝜋𝜋 5𝜋𝜋 − 3
= 8 cos − 𝑗𝑗 sin = 8 0 − 𝑗𝑗 1 = −8𝑗𝑗 𝑥𝑥
2 2
−5𝜋𝜋
⇒ 𝑧𝑧 3 = −8𝑗𝑗 6
𝑧𝑧 −𝑗𝑗
𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵
−5𝜋𝜋
• 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 − 𝜋𝜋 ≤ 𝐴𝐴𝐴𝐴𝐴𝐴 𝑧𝑧 ≤ 𝜋𝜋
6
5𝜋𝜋
𝑗𝑗 − +2𝜋𝜋𝜋𝜋
• 𝑧𝑧 = 2 𝑒𝑒 6 𝑘𝑘 = 0, ±1, ±2, … 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓
5𝜋𝜋
• arg 𝑧𝑧 = − + 2𝜋𝜋𝜋𝜋
6
𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺𝑺:
𝑦𝑦
2
• 𝑧𝑧 = 12 + 3 = 1+3= 4=2
3 𝜋𝜋 𝜋𝜋
• 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = tan−1 = −𝜋𝜋 ≤ ≤ 𝜋𝜋
1 3 3
𝜋𝜋
𝑗𝑗 3 𝜋𝜋
⇒ 𝑧𝑧 = 2𝑒𝑒 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 =
3
𝜋𝜋⁄ +2𝜋𝜋𝜋𝜋)
𝑜𝑜𝑜𝑜 𝑧𝑧 = 2𝑒𝑒 𝑗𝑗( 3 𝑘𝑘 = 0, ±1, ±2 … . . 0 1 𝑥𝑥
𝜋𝜋 9
𝑗𝑗 3
𝑧𝑧 9 = 𝑧𝑧 9 = 2𝑒𝑒
𝜋𝜋
𝑗𝑗𝑗 3
= 512 𝑒𝑒 = 512 𝑒𝑒 𝑗𝑗3𝜋𝜋 = 512 −1
= −1
⇒ 𝑧𝑧 9 = −512
Abraham de Moivre
(1667-1754)
DeMoivre’s Formula
𝑷𝑷𝑷𝑷𝑷𝑷𝑷𝑷𝑷𝑷
𝑛𝑛 𝑗𝑗𝜃𝜃 𝑛𝑛
𝑐𝑐𝑐𝑐𝑐𝑐𝜃𝜃 + 𝑗𝑗 sin 𝜃𝜃 = 𝑒𝑒 = 𝑒𝑒 𝑗𝑗𝑗𝑗𝜃𝜃 = cos 𝑛𝑛𝜃𝜃 + 𝑗𝑗 sin 𝑛𝑛𝜃𝜃
⋮
𝜃𝜃+2𝜋𝜋(𝑛𝑛−1)
1⁄ 𝑗𝑗
𝑤𝑤𝑛𝑛−1 = 𝑟𝑟 𝑛𝑛 𝑒𝑒 𝑛𝑛
𝑍𝑍 = 𝑗𝑗
𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔
1 𝑊𝑊1 𝑊𝑊0
𝑧𝑧 = 𝑗𝑗 ⇒ 𝑟𝑟 = 1 & 𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃 = → ∞ ⇒ 𝜃𝜃 = 𝜋𝜋⁄2 5𝜋𝜋
0 𝜋𝜋
6
6
𝜋𝜋⁄
𝑧𝑧 = 𝑒𝑒 𝑗𝑗 2
𝑥𝑥
𝜃𝜃+2𝜋𝜋𝜋𝜋
1⁄ 𝑗𝑗
𝑤𝑤𝑘𝑘 = 𝑟𝑟 𝑛𝑛 𝑒𝑒 𝑛𝑛 𝑘𝑘 = 0,1,2 3𝜋𝜋
2
𝜋𝜋⁄
𝑤𝑤0 = 1𝑒𝑒 𝑗𝑗 6 (Principal)
𝜋𝜋
+2𝜋𝜋 𝜋𝜋 4𝜋𝜋
𝑗𝑗 2 𝑗𝑗 + 5𝜋𝜋⁄ 𝑊𝑊2
𝑤𝑤1 = 1𝑒𝑒 3 = 1𝑒𝑒 6 6 = 𝑒𝑒 𝑗𝑗 6
𝜋𝜋
+4𝜋𝜋 𝜋𝜋 8𝜋𝜋 9𝜋𝜋 3𝜋𝜋
𝑗𝑗 2 𝑗𝑗 +
𝑤𝑤2 = 1𝑒𝑒 3 = 𝑒𝑒 6 6 = 𝑒𝑒 𝑗𝑗 6 = 𝑒𝑒 𝑗𝑗 2
𝑻𝑻𝑻𝑻 𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪 𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨:
𝑵𝑵𝑵𝑵𝑵𝑵𝒆𝒆 3 1 𝑗𝑗
𝜋𝜋
𝑧𝑧 = 𝑗𝑗1/3 = + 𝑗𝑗 → 𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃 ⇒ 𝑧𝑧 = 𝑒𝑒 6
𝜋𝜋
2 2
+6𝜋𝜋 𝜋𝜋
𝑗𝑗 2 𝑗𝑗 +2𝜋𝜋
𝑤𝑤3 = 𝑒𝑒 3 = 𝑒𝑒 6 = 𝑤𝑤0 • Arg 𝑧𝑧 =
𝜋𝜋
6
𝑺𝑺𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐𝒐 𝜋𝜋
2 2 • Arg 𝑧𝑧 =
𝑧𝑧 = 1 + 𝑗𝑗 ⇒ r = 1 + 1 = 2 16
1
tan 𝜃𝜃 = ⇒ θ = 𝜋𝜋�4 𝑃𝑃𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟
1
𝜋𝜋 𝜋𝜋
𝑗𝑗 +2𝜋𝜋𝜋𝜋
𝑧𝑧 = 1 + 𝑗𝑗 = 2 𝑒𝑒 𝑗𝑗 4 𝑜𝑜𝑜𝑜 𝑧𝑧 = 2 𝑒𝑒 4 𝑘𝑘 = 0, ±1, ±2, …
1⁄
𝜋𝜋� +2𝜋𝜋𝜋𝜋
4
𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭:
1⁄ 4 𝑗𝑗 𝜃𝜃+2𝜋𝜋𝜋𝜋
𝑤𝑤 = 𝑧𝑧 4 = 2 𝑒𝑒 4 𝑘𝑘 = 0,1,2,3 1 𝑗𝑗
𝑤𝑤𝑘𝑘 = 𝑟𝑟 �𝑛𝑛 𝑒𝑒 𝑛𝑛
1⁄
1⁄ 4 𝜋𝜋⁄
𝑤𝑤0 = 𝑧𝑧 4 = 2 𝑒𝑒 𝑗𝑗 16
2𝜋𝜋
⇒ 𝑧𝑧 4 = 1𝑒𝑒 𝑗𝑗 𝜋𝜋+2𝜋𝜋𝜋𝜋
2𝜋𝜋𝜋𝜋
1⁄ 𝑗𝑗 𝜋𝜋⁄4+
⇒ 𝑧𝑧𝑘𝑘 = 1 4 𝑒𝑒 4 𝑘𝑘 = 0, 1, 2, 3
𝜋𝜋⁄ 𝜋𝜋⁄
⇒ 𝑧𝑧0 = 1 𝑒𝑒 𝑗𝑗 4 = 𝑒𝑒 𝑗𝑗 4
𝜋𝜋⁄ 2 2 2
𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵: 𝑧𝑧0 = 𝑒𝑒 𝑗𝑗 4 = + 𝑗𝑗 = 1 + 𝑗𝑗
2 2 2
3𝜋𝜋⁄ 2 2 2
𝑧𝑧1 = 𝑒𝑒 𝑗𝑗 4 =− + 𝑗𝑗 =− 1 − 𝑗𝑗
2 2 2
5𝜋𝜋⁄ 2 2 2
𝑧𝑧2 = 𝑒𝑒 𝑗𝑗 4 = − − 𝑗𝑗 =− 1 + 𝑗𝑗
2 2 2
7𝜋𝜋⁄ 2 2 2
𝑧𝑧3 = 𝑒𝑒 𝑗𝑗 4 = − 𝑗𝑗 = 1 − 𝑗𝑗
2 2 2
2/21/2019 Dr. Eli Saber 39
SPF4 Special Power Functions
Example: Compute the principal square root of 𝐳𝐳
𝟏𝟏�
𝟐𝟐 𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭𝑭:
𝜃𝜃+2𝜋𝜋𝜋𝜋
1⁄ 𝑗𝑗
𝑤𝑤𝑘𝑘 = 𝑟𝑟 𝑛𝑛 𝑒𝑒 𝑛𝑛
a) 𝒛𝒛 = 𝟒𝟒 ⇒ 𝒛𝒛 = 𝟒𝟒𝒆𝒆𝒋𝒋𝟎𝟎
1 0⁄
𝑧𝑧 = 4 & 𝐴𝐴𝐴𝐴𝐴𝐴 𝑧𝑧 = 0 ⇒ 𝑧𝑧 ⁄2 = 4𝑒𝑒 𝑗𝑗 2 =2 (Principal Square Root)
𝒃𝒃) 𝒛𝒛 = −𝟐𝟐𝟐𝟐
−𝜋𝜋
+2𝜋𝜋𝜋𝜋
2 1⁄ 𝑗𝑗 2
𝑧𝑧 = −2 =2 𝑎𝑎𝑎𝑎𝑎𝑎 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = −𝜋𝜋/2 ⇒ 𝑧𝑧 2 = 𝑧𝑧 𝑒𝑒 2 𝑘𝑘 = 0,1
2
𝑧𝑧 = 1 − 𝑗𝑗 3 ⇒ 𝑧𝑧 = 1 2 + − 3 = 1+3 =2
1� 1� 𝜋𝜋�
𝑧𝑧 5 = 2 5 𝑒𝑒 𝑗𝑗 3 𝑘𝑘 = 1
• Similarly for 𝑘𝑘 = 2, 3, 4
𝑛𝑛
• 𝑧𝑧 𝑛𝑛 = 𝑟𝑟𝑒𝑒 𝑗𝑗𝜃𝜃 = 𝑟𝑟 𝑛𝑛 𝑒𝑒 𝑗𝑗𝑗𝑗𝜃𝜃 = 𝑟𝑟 𝑛𝑛 cos 𝑛𝑛𝜃𝜃 + 𝑗𝑗 sin 𝑛𝑛𝜃𝜃
𝑛𝑛
• 𝑒𝑒 𝑗𝑗𝜃𝜃 = 𝑒𝑒 𝑗𝑗𝑗𝑗𝜃𝜃 ⇒ cos 𝜃𝜃 + 𝑗𝑗 sin 𝜃𝜃 𝑛𝑛
= cos 𝑛𝑛𝜃𝜃 + 𝑗𝑗 sin 𝑛𝑛𝜃𝜃
𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵
𝑒𝑒 𝑗𝑗𝜃𝜃 = cos 𝜃𝜃 + 𝑗𝑗 sin 𝜃𝜃
𝑒𝑒 −𝑗𝑗𝜃𝜃 = cos 𝜃𝜃 − 𝑗𝑗 sin 𝜃𝜃
Hence, the points 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 that satisfy the equation 𝑧𝑧 − 𝑧𝑧0 = 𝜌𝜌 𝑧𝑧0
lie on a circle of radius 𝜌𝜌 centered at point 𝑧𝑧0 𝑥𝑥
𝑧𝑧 = 𝑥𝑥 2 + 𝑦𝑦 2
𝑧𝑧 = 1 ⇒ 𝑥𝑥 2 + 𝑦𝑦 2 = 1 ⇒ 𝑥𝑥 2 + 𝑦𝑦 2 = 1
𝑥𝑥
Equation of a circle centered at 0,0 Example: Z-Transform −1 1
b) 𝑧𝑧 − 1 − 2𝑗𝑗 = 5 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗
= 𝑥𝑥 − 1 2 + 𝑦𝑦 − 2 2 𝑦𝑦
𝑧𝑧 − 1 − 2𝑗𝑗 = 5 ⇒ 𝑥𝑥 − 1 2 + 𝑦𝑦 − 2 2 =5
2𝑗𝑗
2 2 2
𝑥𝑥 − 1 + 𝑦𝑦 − 2 = 5 ⇔ 𝑧𝑧 − 1 − 2𝑗𝑗 = 5
𝑥𝑥
1 6
Equation of a circle with radius 𝑟𝑟 = 5 centered at 𝑧𝑧0 = 1 + 2𝑗𝑗
𝟎𝟎 𝟏𝟏 𝒙𝒙
Closed : A set that contains all Neighborhood of Point 𝑧𝑧1
of its boundary points is said
to be closed. Exterior Point : A point 𝑧𝑧 that
Region : A region is a domain is neither an interior point
e.g. Disk S: 𝑧𝑧 − 𝑧𝑧0 ≤ 𝜌𝜌 (closed) in the complex plane together nor a boundary point of a set
with all , some or none of its S is said to be an exterior
boundary points. point of S .
2/21/2019 Dr. Eli Saber 46
17.3 Sets in the Complex Plane
Interior S: 𝑧𝑧 − 𝑧𝑧0 < 𝜌𝜌 Boundary : The collection of
Disk S: 𝑧𝑧 − 𝑧𝑧0 ≤ 𝜌𝜌 boundary points of a set S is
Boundary: 𝑧𝑧 − 𝑧𝑧0 = 𝜌𝜌 called the boundary of S.
𝒚𝒚
Set S: 𝑧𝑧 − 𝑧𝑧0 = 𝜌𝜌2
Set S: 𝑧𝑧 − 𝑧𝑧0 = 𝜌𝜌1
𝑦𝑦
𝑅𝑅𝑒𝑒(𝑧𝑧 ) ≥ 1 is Not Open since every neighborhood
of a point on the line 𝑥𝑥 = 1 𝑖𝑖. 𝑒𝑒. 𝑧𝑧𝑜𝑜 = 1 + 2𝑗𝑗 will contain 2
points in 𝑆𝑆 and points not in 𝑆𝑆
𝑖𝑖𝑖𝑖 𝑆𝑆
• W𝐡𝐡𝐡𝐡𝐡𝐡 𝐚𝐚𝐚𝐚𝐚𝐚𝐚𝐚𝐚𝐚: 𝑆𝑆 = {𝑅𝑅𝑒𝑒 (𝑧𝑧 ) > 1 }
0 1 𝑥𝑥
we can find a neighborhood for every point z ⊂ 𝑆𝑆
where the neighborhood is also included entirely in 𝑆𝑆 𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁 𝑜𝑜𝑜𝑜 𝑧𝑧
C𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨𝐨: 𝑆𝑆 = {𝑅𝑅𝑒𝑒 (𝑧𝑧 ) ≥ 1 } is not open because all the points 𝑧𝑧 that are on the 𝑥𝑥 = 1 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎
𝑖𝑖. 𝑒𝑒. 𝑧𝑧𝑜𝑜 = 1 + 𝑗𝑗𝑗𝑗 do not have a neighborhood 𝑜𝑜𝑜𝑜 𝑧𝑧𝑜𝑜 = 1 + 𝑗𝑗𝑗𝑗 that would be entirely included in 𝑆𝑆
• If any pair of points 𝑧𝑧1 & 𝑧𝑧2 in an open set S can be connected by a polygonal line that lies
entirely in the set, then the open set S is said to be connected.
𝑥𝑥
𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 & 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠
𝑦𝑦 𝑦𝑦 𝑦𝑦
𝑧𝑧 > 1
1 < 𝑧𝑧 < 2
𝐼𝐼𝐼𝐼 𝑧𝑧 < 0
1 2 1 2
𝑥𝑥 𝑥𝑥 𝑥𝑥
𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 & 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 & 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 & 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠
−1 1 𝑥𝑥
4 𝑥𝑥
𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍: points on 𝑥𝑥 = 4 are NOT in the set
𝑅𝑅𝑅𝑅 𝑧𝑧 ≠ 4
𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑅𝑅𝑅𝑅 𝑧𝑧 = 4 (𝑖𝑖. 𝑒𝑒 𝑥𝑥 = 4 𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸)
2) Interior Point: A point 𝑧𝑧0 is said to be an interior point of a set S of the complex plane if there
exists some neighborhood of 𝑧𝑧𝑜𝑜 that lies entirely within S .
3) Open Set: If every point 𝑧𝑧 of a set S is an interior point, then S is said to be an Open set
4) Boundary Point: If every neighborhood of a point 𝑧𝑧𝑜𝑜 of a set S contains at least one point of S
and at least one point NOT in S , then 𝑧𝑧𝑜𝑜 is said to be a boundary point of S
7) Connected Set: If any pair of points z1 & z2 in an open set S can be connected by a polygonal
line that lies entirely in the set, then the open S is said to be connected.
9) Region: A region is a domain in the complex plane together with all, some or none of its
boundary points.
10) Closed: A set that contains all of its boundary points is said to be closed.
11) Bounded Sets: we say that a set S in the complex plane is bounded if there exists a real
number 𝑅𝑅 > 0 such that 𝑧𝑧 < 𝑅𝑅 for every 𝑧𝑧 in S
𝐢𝐢. 𝐞𝐞 𝑏𝑏 = 𝑓𝑓 𝑎𝑎 𝑎𝑎 ∈ 𝐴𝐴 & 𝑏𝑏 ∈ 𝐵𝐵
𝑦𝑦 𝑦𝑦
image of a 𝑓𝑓
A B
Example:
𝑥𝑥 𝑥𝑥
A: set of real numb𝑒𝑒rs defined by 3 ≤ 𝑥𝑥 < ∞
𝑓𝑓(𝑥𝑥) = (𝑥𝑥 − 3)
A: domain of the function 𝑓𝑓
⇒ 𝑓𝑓 3 = 3−3 =0 B: range of the function 𝑓𝑓
⇒ 𝑓𝑓(4) = (4 − 3) = 1 = 1
B: range of 𝑓𝑓 would be 0 ≤ y ≤ ∞
𝑓𝑓 𝑥𝑥 = 𝑥𝑥−3
𝐢𝐢. 𝐞𝐞. A ∶ 3 ≤ 𝑥𝑥 < ∞ B∶0≤y≤∞ 𝑓𝑓: function of real variable 𝑥𝑥.
A: domain ⇒ set of all complex numbers 𝑧𝑧 ; B: range ⇒ set of all complex numbers 𝑤𝑤
𝑥𝑥 𝑢𝑢
Examples:
𝑤𝑤 = 𝑓𝑓(𝑧𝑧): mapping or
• 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 − 4𝑧𝑧 ∀ 𝑧𝑧 Let 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 transformation from 𝑧𝑧 to 𝑤𝑤 plane
𝑧𝑧
• 𝑓𝑓 𝑧𝑧 = 2 𝑧𝑧 ≠ 𝑗𝑗 & 𝑧𝑧 ≠ −𝑗𝑗
𝑧𝑧 +1
𝑣𝑣 2 𝑣𝑣 2
⇒ 𝑢𝑢 = 1 − ⇒ = 1 − 𝑢𝑢 ⇒ 𝒗𝒗𝟐𝟐 = 𝟒𝟒 𝟏𝟏 − 𝒖𝒖 parabola in 𝑤𝑤 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
4 4
• 𝑢𝑢 𝑥𝑥, 𝑦𝑦 = 𝑥𝑥 − 𝑦𝑦 = 2 − 𝑦𝑦 ⇒ 𝑦𝑦 = 2 − 𝑢𝑢
2 − 𝑢𝑢 = 𝑣𝑣 − 2 ⇒ 𝒗𝒗 = 𝟒𝟒 − 𝒖𝒖
• 𝑣𝑣 𝑥𝑥, 𝑦𝑦 = 𝑥𝑥 + 𝑦𝑦 = 2 + 𝑦𝑦 ⇒ 𝑦𝑦 = 𝑣𝑣 − 2
𝑦𝑦 𝑣𝑣
𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑓𝑓 𝑧𝑧 = 1 + 𝑗𝑗 𝑧𝑧
𝑥𝑥 = 2
4 𝑣𝑣 = 4 − 𝑢𝑢
𝑥𝑥 𝑢𝑢
0 4
1 2
⇒ 𝑤𝑤 = 𝑥𝑥 − 𝑦𝑦 + 𝑗𝑗(𝑥𝑥 + 𝑦𝑦)
𝑣𝑣
𝑦𝑦
𝑓𝑓 𝑧𝑧 = 1 + 𝑗𝑗 𝑧𝑧
𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
1 𝑦𝑦 = 2𝑥𝑥 + 1
𝑣𝑣 = −3𝑢𝑢 − 2 1
𝑥𝑥 𝑢𝑢
0
−1 2 −1
2
−2
the points f(z) can be made arbitrarily close to the point 𝐿𝐿 if we choose the point z sufficiently
close, but not equal to the point 𝑧𝑧𝑜𝑜
means 𝑓𝑓 𝑥𝑥 → 𝐿𝐿 as 𝑥𝑥 approches 𝑥𝑥0 either from the right or from the left
If f approches two complex numbers 𝐋𝐋𝟏𝟏 ≠ 𝐋𝐋𝟐𝟐 along two different curves or paths through 𝒛𝒛𝒐𝒐 , then:
𝑧𝑧
𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄𝐄: show that 𝑙𝑙𝑙𝑙𝑙𝑙 does not exist. Let 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 & 𝑧𝑧̅ = 𝑥𝑥 − 𝑗𝑗𝑗𝑗
𝑧𝑧→0 𝑧𝑧̅
𝑧𝑧 𝑥𝑥 + 𝑗𝑗𝑗𝑗 𝑥𝑥 + 𝑗𝑗0
𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 1 = 1
𝑧𝑧→0 z
� 𝑥𝑥→0 𝑥𝑥 − 𝑗𝑗𝑗𝑗 𝑥𝑥→0 𝑥𝑥 − 𝑗𝑗0 𝑥𝑥→0
𝑧𝑧 𝑥𝑥+𝑗𝑗𝑗𝑗 0+𝑗𝑗𝑗𝑗
𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 −1 = −1
𝑧𝑧→0 𝑧𝑧̅ 𝑦𝑦→0 𝑥𝑥−𝑗𝑗𝑗𝑗 𝑦𝑦→0 0−𝑗𝑗𝑗𝑗 𝑦𝑦→0
𝑧𝑧
S𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢, the two values are not equal ⇒ 𝑙𝑙𝑙𝑙𝑙𝑙 � does not exist.
𝑧𝑧→0 𝒛𝒛
Suppose that 𝑓𝑓 𝑧𝑧 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑗𝑗𝑗𝑗 𝑥𝑥, 𝑦𝑦 , 𝑧𝑧0 = 𝑥𝑥0 + 𝑗𝑗𝑦𝑦0 & 𝐿𝐿 = 𝑢𝑢0 + 𝑗𝑗𝑗𝑗0
Note: Could compute many complex limits by computing a pair of real limits.
• 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 + 𝑗𝑗 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 2
+ 𝑗𝑗 = 𝑥𝑥 2 + 𝑗𝑗𝑗𝑥𝑥𝑦𝑦 − 𝑦𝑦 2 + 𝑗𝑗 = 𝑥𝑥 2 − 𝑦𝑦 2 + 𝑗𝑗 2𝑥𝑥𝑥𝑥 + 1
𝑢𝑢 𝑥𝑥,𝑦𝑦 𝑣𝑣 𝑥𝑥,𝑦𝑦
Alternate: 𝑙𝑙𝑙𝑙𝑙𝑙 𝑧𝑧 2 + 𝑗𝑗 = 1 + 𝑗𝑗 2
+ j = 1 + 2j + 𝑗𝑗 2 + j = 1 + 2j − 1 + j = 3j
𝑧𝑧→1+𝑗𝑗
= 2𝑥𝑥 − 𝑦𝑦 + 𝑗𝑗 𝑥𝑥 + 2𝑦𝑦
𝑢𝑢 𝑥𝑥,𝑦𝑦 𝑣𝑣 𝑥𝑥,𝑦𝑦
𝑙𝑙𝑙𝑙𝑙𝑙 2 + 𝑗𝑗 𝑧𝑧 = 1 + 3𝑗𝑗
𝑧𝑧→1+𝑗𝑗
Alternate: 𝑙𝑙𝑙𝑙𝑙𝑙 2 + 𝑗𝑗 𝑧𝑧 = 2 + j 1 + j = 2 + 2j + j − 1 = 1 + 3j
𝑧𝑧→1+𝑗𝑗
Theorem:
𝑓𝑓 𝑧𝑧 𝐿𝐿1
iii. 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑳𝑳𝟐𝟐 ≠ 𝟎𝟎
𝑧𝑧→𝑧𝑧0 𝑔𝑔 𝑧𝑧 𝐿𝐿2
• 𝑙𝑙𝑖𝑖𝑚𝑚 𝑧𝑧 + 1 = 𝑗𝑗 + 1
𝑧𝑧→𝑗𝑗
3 + j z 4 − z 2 + 2z 3 + j j4 − j2 + 2𝑗𝑗 3 + j 1 + 1 + 2j 3 + j + 1 + 2j 4 + 3j 7 1
or lim = = = = = − j
z→j z+1 j+1 j+1 j+1 j+1 2 2
⇒ 𝑧𝑧 2 − 2𝑧𝑧 + 4 = 𝑧𝑧 − 1 + 𝑗𝑗 3 𝑧𝑧 − (1 − 𝑗𝑗 3)
𝑧𝑧 2 − 2𝑧𝑧 + 4 𝑧𝑧 − 1 − 𝑗𝑗 3 𝑧𝑧 − 1 + 𝑗𝑗 3
𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 𝑧𝑧 − 1 + 𝑗𝑗 3
𝑧𝑧→1+𝑗𝑗 3 𝑧𝑧 − 1 − 𝑗𝑗 3 𝑧𝑧→1+𝑗𝑗 3 𝑧𝑧 − 1 − 𝑗𝑗 3 𝑧𝑧→1+𝑗𝑗 3
𝑧𝑧 2 − 2𝑧𝑧 + 4
= 1 + 𝑗𝑗 3 − 1 + 𝑗𝑗 3 = 2𝑗𝑗 3 ⇒ 𝑙𝑙𝑙𝑙𝑙𝑙 = 2𝑗𝑗 3
𝑍𝑍→1+𝑗𝑗 3 𝑧𝑧 − 1 − 𝑗𝑗 3
lim 𝑓𝑓 𝑧𝑧 = 𝑓𝑓 𝑧𝑧0
𝑧𝑧→𝑧𝑧0
Criteria for Continuity at a Point: A complex function f is continuous at a point 𝑧𝑧0 𝑖𝑖𝑖𝑖:
i. lim 𝑓𝑓 𝑧𝑧 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
𝑧𝑧→𝑧𝑧0
Solution:
2
• 𝑓𝑓 𝑧𝑧0 = 1 − 𝑗𝑗 − 𝑗𝑗 1 − 𝑗𝑗 + 2 = 1 − 3𝑗𝑗
Theorem: If 𝑓𝑓 𝑧𝑧 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑗𝑗𝑗𝑗 𝑥𝑥, 𝑦𝑦 and 𝑧𝑧0 = 𝑥𝑥0 + 𝑗𝑗𝑦𝑦0 , then the complex
function f is continuous at the point 𝑧𝑧0 if and only if both real functions 𝑢𝑢 & 𝑣𝑣 are
continuous at the point 𝑥𝑥0 , 𝑦𝑦0
2/21/2019 Dr. Eli Saber 68
17.4 Continuity
Example: let 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 − 𝑗𝑗𝑗𝑗 + 2 . Is it continuous at 𝑧𝑧0 = 1 − 𝑗𝑗 ?
Solution:
• 𝑧𝑧 2 − 𝑗𝑗𝑗𝑗 + 2 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 2
− 𝑗𝑗 𝑥𝑥 + 𝑗𝑗𝑗𝑗 + 2 = 𝑥𝑥 2 + 2𝑗𝑗𝑗𝑗𝑗𝑗 − 𝑦𝑦 2 − 𝑗𝑗𝑗𝑗 + 𝑦𝑦 + 2
= 𝑥𝑥 2 − 𝑦𝑦 2 + 𝑦𝑦 + 2 + 𝑗𝑗 2𝑥𝑥𝑥𝑥 − 𝑥𝑥
𝑢𝑢 𝑥𝑥,𝑦𝑦 𝑣𝑣 𝑥𝑥,𝑦𝑦
2
• 𝑓𝑓 𝑧𝑧0 = 1 − 𝑗𝑗 − 𝑗𝑗 1 − 𝑗𝑗 + 2 = 1 − 3𝑗𝑗
Theorem: Complex polynomial functions are continuous on the entire complex plane.
• Polynomial of degree 𝑛𝑛: 𝑓𝑓 𝑧𝑧 = 𝑎𝑎𝑛𝑛 𝑧𝑧 𝑛𝑛 + 𝑎𝑎𝑛𝑛−1 𝑧𝑧 𝑛𝑛−1 + ⋯ + 𝑎𝑎2 𝑧𝑧 2 + 𝑎𝑎1 𝑧𝑧 + 𝑎𝑎0 ; 𝑎𝑎𝑛𝑛 ≠ 0
• f : Complex Function
• z0 : point in 𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
𝑑𝑑𝑤𝑤
• Let 𝑤𝑤 = 𝑓𝑓 𝑧𝑧 ⇒ derivative is denoted by
𝑑𝑑𝑧𝑧
𝑑𝑑
𝑖𝑖𝑖𝑖) 𝑐𝑐 𝑓𝑓 𝑧𝑧 = 𝑐𝑐 𝑓𝑓 ′ 𝑧𝑧 z : complex
𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑 𝑑𝑑
iii) 𝑓𝑓 𝑧𝑧 + 𝑔𝑔 𝑧𝑧 = 𝑓𝑓 𝑧𝑧 + 𝑔𝑔 𝑧𝑧 Sum rule
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
𝑑𝑑
iv) 𝑑𝑑𝑑𝑑 𝑓𝑓 𝑧𝑧 𝑔𝑔 𝑧𝑧 = 𝑓𝑓 𝑧𝑧 𝑔𝑔𝑔 𝑧𝑧 + 𝑔𝑔 𝑧𝑧 𝑓𝑓𝑓 𝑧𝑧 Product rule
𝑑𝑑
vi) 𝑓𝑓 𝑔𝑔 𝑧𝑧 = 𝑓𝑓𝑓 𝑔𝑔 𝑧𝑧 𝑔𝑔𝑔 𝑧𝑧 Chain rule
𝑑𝑑𝑑𝑑
𝑑𝑑
vii) 𝑑𝑑𝑑𝑑 𝑧𝑧 𝑛𝑛 = 𝑛𝑛𝑧𝑧 𝑛𝑛−1 Power rule 𝑛𝑛 : integer
Example 3:
a) 𝑓𝑓 𝑧𝑧 = 3𝑧𝑧 4 − 5𝑧𝑧 3 + 2𝑧𝑧
𝑓𝑓 ′ 𝑧𝑧 = 4 3𝑧𝑧 3 − 3 5𝑧𝑧 2 + 2 = 12𝑧𝑧 3 − 15𝑧𝑧 2 + 2
𝑧𝑧 2
b) 𝑓𝑓 𝑧𝑧 =
4𝑧𝑧 + 1
• 𝑙𝑙𝑙𝑙𝑙𝑙 ∆𝑧𝑧 → 0 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 ⫽ 𝑥𝑥 − 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 ⇒ ∆𝑦𝑦 = 0 ∆𝑧𝑧 = ∆𝑥𝑥 + 𝑗𝑗∆𝑦𝑦 = ∆𝑥𝑥 + 𝑗𝑗0 = ∆𝑥𝑥
∆𝑥𝑥 + 𝑗𝑗𝑗∆𝑦𝑦 ∆𝑥𝑥 + 0
𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 1 = 1
∆𝑧𝑧→0 ∆𝑥𝑥 + 𝑗𝑗∆𝑦𝑦 ∆𝑧𝑧→0 ∆𝑥𝑥 + 0 ∆𝑧𝑧→0
• 𝑙𝑙𝑙𝑙𝑙𝑙 ∆𝑧𝑧 → 0 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 ⫽ 𝑦𝑦 − 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 ⇒ ∆𝑥𝑥 = 0 ⇒ ∆𝑧𝑧 = ∆𝑥𝑥 + 𝑗𝑗∆𝑦𝑦 = 0 + 𝑗𝑗∆𝑦𝑦 = 𝑗𝑗∆𝑦𝑦
∆𝑥𝑥 + 𝑗𝑗𝑗∆𝑦𝑦 𝑗𝑗𝑗∆𝑦𝑦
𝑙𝑙𝑙𝑙𝑙𝑙 = 𝑙𝑙𝑙𝑙𝑙𝑙 =4
∆𝑧𝑧→0 ∆𝑥𝑥 + 𝑗𝑗∆𝑦𝑦 ∆𝑧𝑧→0 𝑗𝑗∆𝑦𝑦
Section 17.5
Chapter 17
Cauchy-Riemann Equations
⇒ 𝑓𝑓 𝑖𝑖𝑖𝑖 𝐴𝐴𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑖𝑖𝑖𝑖 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝐷𝐷 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝐴𝐴𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑖𝑖𝑖𝑖 𝐷𝐷
Note:
1. Analyticity is a neighborhood property
2. A function that is Analytic at every point z is said to be an Entire function
Proof:
𝑓𝑓 𝑧𝑧+∆𝑧𝑧 −𝑓𝑓 𝑧𝑧
since 𝑓𝑓 ′ 𝑧𝑧 exists 𝑓𝑓 ′ 𝑧𝑧 = lim
∆𝑧𝑧→0 ∆𝑧𝑧
Since the limit exists ⇒ ∆𝑧𝑧 can approach zero from any direction.
Choose ∆𝒛𝒛 → 𝟎𝟎 𝐇𝐇orizontally ⇒ ∆𝑦𝑦 = 0 ⇒ ∆𝑧𝑧 = ∆𝑥𝑥 ∆𝑦𝑦 = 0
′
𝑢𝑢 𝑥𝑥 + ∆𝑥𝑥, 𝑦𝑦 + 𝑗𝑗𝑗𝑗 𝑥𝑥 + ∆𝑥𝑥, 𝑦𝑦 − 𝑢𝑢 𝑥𝑥, 𝑦𝑦 − 𝑗𝑗𝑗𝑗 𝑥𝑥, 𝑦𝑦
⇒ 𝑓𝑓 𝑧𝑧 = lim
∆𝑥𝑥→0 ∆𝑥𝑥
Note:
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
𝑓𝑓 ′ 𝑧𝑧 = + 𝑗𝑗
⇒ 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
=
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
Cauchy –Riemann (C-R) Equations
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
=−
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
Conclusion:
f is Analytic Cauchy - Riemann Equations are Satisfied
𝜕𝜕𝑄𝑄 𝜕𝜕𝜕𝜕
Recall: Let F(x,y) = P(x,y)i + Q(x,y)j F is Conservative =
𝜕𝜕𝑥𝑥 𝜕𝜕𝜕𝜕
⇒ 𝑧𝑧 2 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 2
= 𝑥𝑥 2 + 𝑗𝑗𝑗𝑗𝑗𝑗𝑗 + 𝑗𝑗 2 𝑦𝑦 2 = 𝑥𝑥 2 − 𝑦𝑦 2 + 𝑗𝑗𝑗𝑗𝑗𝑗𝑗
⇒ 𝑓𝑓 𝑧𝑧 = 𝑥𝑥 2 − 𝑦𝑦 2 + 𝑗𝑗𝑗𝑗𝑗𝑗𝑗
�
𝒖𝒖 𝒙𝒙,𝒚𝒚 𝒗𝒗 𝒙𝒙,𝒚𝒚
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
𝑓𝑓 ′ 𝑧𝑧 = + 𝑗𝑗 ⇒ 𝑓𝑓 ′ 𝑧𝑧 = 2𝑥𝑥 + 𝑗𝑗𝑗𝑗𝑗 = 2 𝑥𝑥 + 𝑗𝑗𝑗𝑗 = 2𝑧𝑧
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
Summary
𝜕𝜕2 𝑢𝑢 𝜕𝜕2 𝑢𝑢
• Laplace Eq: 𝜕𝜕𝑥𝑥 2
+
𝜕𝜕𝑦𝑦 2
=0 𝑆𝑆𝑆𝑆𝑆𝑆 𝐶𝐶𝐶. 13 − 𝑤𝑤𝑤𝑤𝑤𝑤𝑤𝑤 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙
A real - valued function ∅ 𝑥𝑥, 𝑦𝑦 that has continuous 2𝑛𝑛𝑛𝑛 order partial derivatives in a domain D
and satisfies Laplace′s Equation is said to be Harmonic in D
𝐈𝐈 𝐈𝐈𝐈𝐈
II. ⇒
𝜕𝜕 𝜕𝜕𝑢𝑢
=−
𝜕𝜕𝑣𝑣
⇒ 𝜕𝜕𝜕𝜕 𝜕𝜕 2 𝑣𝑣 𝐃𝐃
𝜕𝜕𝑥𝑥 𝜕𝜕𝑦𝑦 𝜕𝜕𝑥𝑥 =− 2
𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝜕𝜕𝑥𝑥
• If 𝒇𝒇 𝒛𝒛 = 𝒖𝒖 𝒙𝒙, 𝒚𝒚 + 𝒋𝒋𝒋𝒋 𝒙𝒙, 𝒚𝒚 is analytic in domain D, then 𝑢𝑢 & 𝑣𝑣 are Harmonic in D. Now, let
𝒖𝒖 𝒙𝒙, 𝒚𝒚 be a given function that is Harmonic in D, it is sometimes possible to find another
function 𝒗𝒗 𝒙𝒙, 𝒚𝒚 that is Harmonic in D so that:
𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑗𝑗𝑗𝑗 𝑥𝑥, 𝑦𝑦 is an analytic function in D
Solution ∶
a) 𝑢𝑢 𝑥𝑥, 𝑦𝑦 = 𝑥𝑥 3 − 3𝑥𝑥𝑦𝑦 2 − 5𝑦𝑦
𝜕𝜕𝑢𝑢 𝜕𝜕2 𝑢𝑢 𝜕𝜕𝜕𝜕 𝜕𝜕2 𝑢𝑢
⇒ = 3𝑥𝑥 2 − 3𝑦𝑦 2 ; = 6𝑥𝑥 ; = −6𝑥𝑥𝑥𝑥 − 5; = −6𝑥𝑥
𝜕𝜕𝑥𝑥 𝜕𝜕𝜕𝜕 2 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕2
𝜕𝜕2 𝑢𝑢 𝜕𝜕2 𝑢𝑢
⇒ + = 6𝑥𝑥 − 6𝑥𝑥 = 0 ⇒ 𝑢𝑢 𝑥𝑥, 𝑦𝑦 is Harmonic
𝜕𝜕𝜕𝜕 2 𝜕𝜕𝑦𝑦 2
⇒ 𝑣𝑣 𝑥𝑥, 𝑦𝑦 = 3𝑥𝑥 2 𝑦𝑦 − 𝑦𝑦 3 + ℎ 𝑥𝑥
𝜕𝜕𝑣𝑣
But 𝑣𝑣 𝑥𝑥, 𝑦𝑦 = 3𝑥𝑥 2 𝑦𝑦 − 𝑦𝑦 3 + ℎ 𝑥𝑥 ⇒ = 6𝑥𝑥𝑥𝑥 + ℎ′ 𝑥𝑥 𝑩𝑩
𝜕𝜕𝑥𝑥
𝜕𝜕𝑣𝑣 𝜕𝜕𝑣𝑣
𝐀𝐀 & 𝐁𝐁 ⇒ = ⇒ 6𝑥𝑥𝑥𝑥 + 5 = 6𝑥𝑥𝑥𝑥 + ℎ′ 𝑥𝑥 ⇒ ℎ′ 𝑥𝑥 = 5 ⇒ ℎ 𝑥𝑥 = 5𝑥𝑥 + 𝑐𝑐
𝜕𝜕𝑥𝑥 𝜕𝜕𝑥𝑥
𝑥𝑥 𝑘𝑘 𝑥𝑥 2
• Real: 𝑒𝑒 = ∑∞
𝑥𝑥
𝑘𝑘=0 = 1 + 𝑥𝑥 + +⋯
𝑘𝑘! 2
∞
𝒋𝒋𝒋𝒋
𝑗𝑗𝑗𝑗 𝑘𝑘 𝑗𝑗𝑗𝑗 2 𝑗𝑗𝑗𝑗 3 𝑗𝑗𝑗𝑗 4
𝒆𝒆 =� = 1 + 𝑗𝑗𝑗𝑗 + + + +⋯
𝑘𝑘! 2! 3! 4!
𝑘𝑘=0
𝑦𝑦 2 𝑦𝑦 4 𝑦𝑦 6 𝑦𝑦 3 𝑦𝑦 5 𝑦𝑦 7
= 1− + − + ⋯ + 𝑗𝑗 𝑦𝑦 − + − + ⋯ = 𝐜𝐜𝐜𝐜𝐜𝐜 𝒚𝒚 + 𝒋𝒋 𝐬𝐬𝐬𝐬𝐬𝐬 𝒚𝒚
2! 4! 6! 3! 5! 7!
cos(𝑦𝑦) sin(𝑦𝑦)
𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑𝐑:
a) 𝑧𝑧 = 0 ⇒ 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 0 = 1
b) 𝑧𝑧 = 2 + 𝑗𝑗𝑗𝑗 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 2+𝑗𝑗𝑗𝑗
= 𝑒𝑒 2 𝑒𝑒 𝑗𝑗𝑗𝑗 = 𝑒𝑒 2 [cos(𝜋𝜋) + 𝑗𝑗 sin 𝜋𝜋 ] = 𝑒𝑒 2 [−1 + 𝑗𝑗0] = −𝑒𝑒 2
c) if 𝑦𝑦 = 0 ⇒ 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 𝑥𝑥 𝑐𝑐𝑐𝑐𝑐𝑐 0 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 0 = 𝑒𝑒 𝑥𝑥 1 + 0 = 𝑒𝑒 𝑥𝑥 ⇒ 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 𝑥𝑥
d) if 𝑥𝑥 = 0 ⇒ 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 𝑥𝑥 𝑐𝑐𝑐𝑐𝑐𝑐 𝑦𝑦 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑦𝑦 = 𝑐𝑐𝑐𝑐𝑐𝑐 𝑦𝑦 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑦𝑦 ⇒ 𝑒𝑒 𝑧𝑧 = 𝑒𝑒 𝑗𝑗𝑗𝑗
𝑒𝑒 1.7+4.2𝑗𝑗 = 𝑒𝑒 1.7 𝑒𝑒 𝑗𝑗𝑗.2 = 𝑒𝑒 1.7 cos 4.2 + 𝑗𝑗 sin 4.2 = −2.6837 − 𝑗𝑗𝑗.7710
𝑒𝑒 𝑧𝑧1
iii) Similarly, we can prove that: = 𝑒𝑒 𝑧𝑧1 −𝑧𝑧2
𝑧𝑧
𝑒𝑒 2
iv) 𝑒𝑒 𝑧𝑧1 𝑛𝑛
= 𝑒𝑒 𝑛𝑛𝑧𝑧1 , 𝑛𝑛 = 0, ±1, ±2, … . .
2𝜋𝜋
𝜋𝜋
Fundamental Region
𝑒𝑒 𝑎𝑎
𝑦𝑦
𝑎𝑎 𝑥𝑥
0
𝑢𝑢
−𝜋𝜋
2𝜋𝜋
𝑒𝑒 𝑏𝑏
𝜋𝜋
Fundamental Region
𝑒𝑒 𝑎𝑎
𝑦𝑦
𝑎𝑎 𝑏𝑏 𝑥𝑥
0
𝑢𝑢
−𝜋𝜋
2𝜋𝜋
𝑒𝑒 𝑏𝑏
𝜋𝜋
Fundamental Region
𝑒𝑒 𝑎𝑎
𝑦𝑦
𝑎𝑎 𝑏𝑏 𝑐𝑐 𝑥𝑥
0
𝑢𝑢
−𝜋𝜋
𝑒𝑒 𝑐𝑐
viii) Analyticity of f z = 𝑒𝑒 𝑧𝑧
ix) Derivative
𝑑𝑑 𝑧𝑧
⇒ 𝑓𝑓 ′ 𝑧𝑧 = 𝑒𝑒 = 𝑒𝑒 𝑧𝑧
𝑑𝑑𝑑𝑑
2/21/2019 Dr. Eli Saber 102
17.6 Complex Exponential Function
2−
𝑏𝑏) 𝑒𝑒 𝑧𝑧 1+𝑗𝑗 𝑧𝑧+3
𝑑𝑑 2− 2−
𝑒𝑒 𝑧𝑧 1+𝑗𝑗 𝑧𝑧+3 = 𝑒𝑒 𝑧𝑧 1+𝑗𝑗 𝑧𝑧+3 2𝑧𝑧 − 1 + 𝑗𝑗
𝑑𝑑𝑑𝑑
2−
= 2𝑧𝑧 − 1 − 𝑗𝑗 𝑒𝑒 𝑧𝑧 1+𝑗𝑗 𝑧𝑧+3
Note: 𝑙𝑙𝑙𝑙(𝑧𝑧) is not defined for 𝑧𝑧 = 0 since we cannot find a value for 𝑤𝑤 such that 𝑒𝑒 𝑤𝑤 = 0
𝑥𝑥 = 𝑒𝑒 𝑢𝑢 cos 𝑣𝑣
⇒�
𝑦𝑦 = 𝑒𝑒 𝑢𝑢 sin 𝑣𝑣
• 𝑥𝑥 2 + 𝑦𝑦 2 = 𝑒𝑒 𝑢𝑢 cos 𝑣𝑣 2
+ 𝑒𝑒 𝑢𝑢 sin 𝑣𝑣 2
= 𝑒𝑒 2𝑢𝑢 𝑐𝑐𝑐𝑐𝑐𝑐 2 𝑣𝑣 + 𝑒𝑒 2𝑢𝑢 𝑠𝑠𝑠𝑠𝑠𝑠2 𝑣𝑣 = 𝑒𝑒 2𝑢𝑢 𝑐𝑐𝑐𝑐𝑐𝑐 2 𝑣𝑣 + 𝑠𝑠𝑠𝑠𝑠𝑠2 𝑣𝑣
=𝟏𝟏
⇒ 𝒙𝒙𝟐𝟐 +𝒚𝒚𝟐𝟐 = 𝒆𝒆𝟐𝟐𝟐𝟐
but 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 = 𝑒𝑒 𝑢𝑢 𝑒𝑒 𝑗𝑗𝑗𝑗
⇒ 𝑟𝑟 2 ≜ 𝑧𝑧 2 = 𝑥𝑥 2 + 𝑦𝑦 2
⇒ 𝑒𝑒 2𝑢𝑢 = 𝑥𝑥 2 + 𝑦𝑦 2 = 𝑧𝑧 2
• 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑒𝑒 = 1
Conclusion: Given a complex number z, we can compute its complex logarithm ln(z)
Note:
• Complex Exponential is periodic
• Infinitely many values of 𝑙𝑙𝑙𝑙(𝑧𝑧)
Summary: The multiple - valued function 𝑙𝑙𝑛𝑛 𝑧𝑧 is called the Complex Logarithm.
• 𝑙𝑙𝑛𝑛 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧 ⇒ 𝑙𝑙𝑛𝑛 5 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 5 + 𝑗𝑗 𝑎𝑎𝑎𝑎𝑎𝑎 5 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 (5) + 𝑗𝑗(0 + 2𝜋𝜋𝜋𝜋)
=> 𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙: 𝑙𝑙𝑙𝑙 5 = 1.6094 + 𝑗𝑗𝑗𝜋𝜋𝑘𝑘 (𝑘𝑘: 𝑎𝑎𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖)
If 𝑧𝑧1 & z2 are non zero complex numbers and 𝑛𝑛 is an integer, then:
𝑧𝑧1
ii. 𝑙𝑙𝑛𝑛 𝑧𝑧2
= 𝑙𝑙𝑙𝑙 𝑧𝑧1 − 𝑙𝑙𝑙𝑙 𝑧𝑧2
Note:
• The identities above are not necessarily satisfied by the principle value of the complex logarithm.
• In general: 𝐿𝐿𝑛𝑛 𝑧𝑧1 𝑧𝑧2 ≠ 𝐿𝐿𝐿𝐿 𝑧𝑧1 + 𝐿𝐿𝐿𝐿 𝑧𝑧2
� 𝑇𝑇𝑇𝑇𝑇𝑇𝑇 𝑖𝑖𝑖𝑖 𝑘𝑘𝑘𝑘𝑘𝑘𝑘𝑘𝑘𝑘 𝑎𝑎𝑎𝑎 𝑡𝑡𝑡𝑡𝑡 𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑜𝑜𝑜𝑜 𝑡𝑡𝑡𝑡𝑡 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙.
� 𝑇𝑇𝑇𝑇𝑇𝑇𝑇 𝑖𝑖𝑖𝑖 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑡𝑡𝑡𝑡 𝑎𝑎𝑎𝑎 𝑡𝑡𝑡𝑡𝑡 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑜𝑜𝑜𝑜 ln 𝑧𝑧 .
𝑖𝑖. 𝑒𝑒. , 𝐿𝐿𝐿𝐿 𝑧𝑧 ≡ 𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑜𝑜𝑜𝑜 𝑙𝑙𝑙𝑙(𝑧𝑧)
𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 − 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 − 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣
⇒ 𝑒𝑒 𝐿𝐿𝐿𝐿(𝑧𝑧) = 𝑧𝑧 ∀𝑧𝑧 ≠ 0.
𝑣𝑣 𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻𝑻: 𝐼𝐼𝐼𝐼 𝑧𝑧1 𝑎𝑎𝑎𝑎𝑎𝑎 𝑧𝑧2 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛𝑛𝑛𝑛𝑛 − 𝑧𝑧𝑧𝑧𝑧𝑧𝑧𝑧 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖, 𝑡𝑡𝑡𝑡𝑡𝑡𝑡:
𝑣𝑣𝑣 ln 𝑧𝑧1 𝑧𝑧2 = ln 𝑧𝑧1 + ln(𝑧𝑧2 )
𝑧𝑧1
𝑣𝑣𝑣 ln = ln 𝑧𝑧1 − ln(𝑧𝑧2 )
𝑧𝑧2
D𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊𝒊 𝜋𝜋
⇒ 𝐿𝐿𝐿𝐿(−𝑧𝑧) = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗𝑗𝑗
𝑜𝑜𝑜𝑜 𝐿𝐿𝐿𝐿(−𝑧𝑧) = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗 −𝜋𝜋
= 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 − 𝑗𝑗𝑗𝑗 𝑥𝑥
−2 0
−𝜋𝜋
𝒃𝒃𝒃𝒃𝒃𝒃𝒃𝒃𝒃𝒃𝒃𝒃 𝒄𝒄𝒄𝒄𝒄𝒄
⇒ 𝐿𝐿𝐿𝐿 𝑧𝑧 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑜𝑜𝑜𝑜 𝑡𝑡𝑡𝑡𝑡 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑧𝑧 = 0 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
𝑧𝑧 > 0 & −𝜋𝜋 < arg(𝑧𝑧) < 𝜋𝜋
(𝑖𝑖. 𝑒𝑒. , 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑎𝑎𝑎𝑎 𝑧𝑧 = 0 𝑎𝑎𝑎𝑎𝑎𝑎 𝑡𝑡𝑡𝑡𝑡 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎)
2𝜋𝜋
𝑏𝑏
𝑎𝑎 𝜋𝜋𝜋𝜋
𝜋𝜋 𝜃𝜃 𝑥𝑥 2 𝑢𝑢
−𝜋𝜋 0
−𝜋𝜋
𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 (𝑎𝑎) 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 (𝑏𝑏)
• 𝐿𝐿𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑎𝑎𝑒𝑒 𝑗𝑗𝑗𝑗 𝑤𝑤𝑤𝑤𝑤𝑤𝑤 − 𝜋𝜋 < 𝜃𝜃 < 𝜋𝜋 ⇒ Ln z = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑎𝑎 + 𝑗𝑗𝑗𝑗
𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑓𝑓𝑓𝑓𝑓𝑓 𝜋𝜋 < 𝜃𝜃 < 3𝜋𝜋
• 𝐿𝐿𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑏𝑏𝑒𝑒 𝑗𝑗𝑗𝑗 𝑤𝑤𝑤𝑤𝑤𝑤𝑤 − 𝜋𝜋 < 𝜃𝜃 < 𝜋𝜋 ⇒ Ln z = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑏𝑏 + 𝑗𝑗𝑗𝑗
𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑓𝑓𝑓𝑓𝑓𝑓 𝜋𝜋 < 𝜃𝜃 < 3𝜋𝜋
Theorem:
𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗𝑗𝑗
𝑑𝑑 1
Ln 𝑧𝑧 =
𝑑𝑑𝑑𝑑 𝑧𝑧
Note:
• Ln(z) is discontinuous at the point z=0 since this function is not defined there.
• Ln(z) is also discontinuous at every point on the negative real axis (multiple values)
[ i.e define other branches by changing the interval definig θ to a different interval of length 2π ]
Example 2:
a) 𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶 𝑙𝑙𝑙𝑙 −2 ; z = −2
0
Since 𝑧𝑧 = −2 = −2 + 𝑗𝑗𝑗 ⇒ tan 𝜃𝜃 = = 0 ⇒ 𝜃𝜃 = 𝜋𝜋 (principal value )
−2
𝑧𝑧 = −2 2 + 0 2 = 4=2
𝑻𝑻𝑻𝑻 𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪𝑪 𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨𝑨:
𝑙𝑙𝑛𝑛 −2 = ln 2 + 𝑗𝑗𝜋𝜋 = 0.693 + 𝑗𝑗𝜋𝜋
⇒ 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 = 0.693
𝑧𝑧 = 𝑗𝑗
𝜋𝜋
Principal Value: 𝐿𝐿𝑛𝑛 𝑗𝑗 = 𝑗𝑗 2
−1 𝑥𝑥
⇒ 𝑧𝑧 = −1 2 + −1 2 = 1+1= 2
−1 3𝜋𝜋 𝑧𝑧 −𝑗𝑗
𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃 = =1 ⇒ 𝜃𝜃 = − + 2𝜋𝜋𝜋𝜋
−1 4
3𝜋𝜋
𝑙𝑙𝑛𝑛 −1 − 𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 − 𝑗𝑗 + 2𝜋𝜋𝜋𝜋
4
3𝜋𝜋
⇒ 𝑙𝑙𝑛𝑛 −1 − 𝑗𝑗 = 𝑂𝑂. 3466 − 𝑗𝑗 + 2𝜋𝜋𝜋𝜋 𝑘𝑘 = 0, ±1, ±2, …
4
⇒ 𝑧𝑧 = 1 2 + 1 2 = 2
1 𝜋𝜋
𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃 = ⇒ 𝜃𝜃 = + 2𝜋𝜋𝜋𝜋 ⇒ 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = 𝜋𝜋�4
1 4
𝜋𝜋 1� 𝜋𝜋
𝑙𝑙𝑛𝑛 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗 𝑎𝑎𝑟𝑟𝑟𝑟 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 ( 2) + 𝑗𝑗 + 2𝜋𝜋𝜋𝜋 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 2 + 𝑗𝑗 + 2𝜋𝜋𝜋𝜋
4 4
⇒ 1 𝜋𝜋
𝑙𝑙𝑛𝑛 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 (2) + 𝑗𝑗 + 2𝜋𝜋𝜋𝜋 𝑘𝑘 = 0, ±1, ±2, …
2 4
2
• 𝑙𝑙𝑙𝑙𝑙𝑙 𝑤𝑤 = 3 + 𝑗𝑗 ⇒ 𝑤𝑤 = 3 +1= 3+1= 4=2
1 𝜋𝜋
𝑡𝑡𝑡𝑡𝑡𝑡 𝜃𝜃 = ⇒ 𝜃𝜃 = + 2𝜋𝜋𝜋𝜋
3 6
Hence:
𝑧𝑧 = 𝑙𝑙𝑙𝑙 3 + 𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 ( 𝑤𝑤 ) + 𝑗𝑗 𝜃𝜃 + 2𝜋𝜋𝜋𝜋
⇒ 𝜋𝜋
𝑧𝑧 = 𝑙𝑙𝑙𝑙 3 + 𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 + 𝑗𝑗 + 2𝜋𝜋𝜋𝜋 𝑘𝑘 = 0, ±1, ±2, …
6
𝜋𝜋
Principal Value: 𝑧𝑧 = 𝑙𝑙𝑙𝑙 3 + 𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 + 𝑗𝑗
6
Example:
𝑑𝑑 1
a) 𝑑𝑑𝑑𝑑
𝑧𝑧 𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝐿𝐿𝐿𝐿 𝑧𝑧 + 𝑧𝑧 = 1 + 𝐿𝐿𝐿𝐿 𝑧𝑧
𝑧𝑧
Note:
• z is entire & Ln(z) is differentiable on the domain 𝑧𝑧 > 0 ; −𝜋𝜋 < 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 < 𝜋𝜋
d 1 1
b) dz
𝐿𝐿𝐿𝐿 z+1 =
z+1
1 =
z+1
𝑦𝑦
𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
z + 1 = 0 ⇒ z = −1
−1
not differentiable on z = −1 𝑥𝑥
Definition : If α is a complex number & z ≠ 0, then the complex power z α is defined as:
𝑧𝑧 𝛼𝛼 = 𝑒𝑒 𝛼𝛼 𝑙𝑙𝑙𝑙 𝑧𝑧 [known as Complex Power Function]
Note:
• 𝐼𝐼𝐼𝐼 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑧𝑧 𝛼𝛼 𝑖𝑖𝑖𝑖 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 − 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑙𝑙𝑙𝑙 𝑧𝑧 is multiple-valued.
• Special Case: If α is an integer i.e α = 𝑛𝑛
zα 1
ii. = z α1−α2
zα 2
Remarks:
• z α1 α2
≠ z α1 α2 unless α2 is an integer
𝑑𝑑 𝑑𝑑 𝑑𝑑 𝛼𝛼
• 𝑧𝑧 𝛼𝛼 = 𝑒𝑒 𝛼𝛼 𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑒𝑒 𝛼𝛼 𝐿𝐿𝐿𝐿 𝑧𝑧 𝛼𝛼𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑒𝑒 𝛼𝛼 𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑧𝑧 𝛼𝛼 𝛼𝛼𝑧𝑧 −1 = 𝛼𝛼𝑧𝑧 𝛼𝛼−1
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑧𝑧
Note: 𝑧𝑧 𝛼𝛼 = 𝑒𝑒 𝛼𝛼 𝐿𝐿𝐿𝐿 𝑧𝑧
⇒ 𝑓𝑓1 𝑧𝑧 = 𝑒𝑒 α 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 +𝑗𝑗𝑗𝑗 is the principal branch of the multiple-valued function 𝐹𝐹 𝑧𝑧 = 𝑧𝑧 α = 𝑒𝑒 α 𝑙𝑙𝑙𝑙 𝑧𝑧
𝑑𝑑 𝑑𝑑 𝑑𝑑 𝛼𝛼
• Derivative: 𝑓𝑓1′ 𝑧𝑧 = 𝑓𝑓 𝑧𝑧 = [𝑒𝑒 α𝐿𝐿𝐿𝐿 𝑧𝑧 ] = 𝑒𝑒 α𝐿𝐿𝐿𝐿 𝑧𝑧 α𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑒𝑒 α𝐿𝐿𝐿𝐿 𝑧𝑧
𝑑𝑑𝑑𝑑 1 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑧𝑧
𝛼𝛼 𝛼𝛼
• 𝐵𝐵𝐵𝐵𝐵𝐵: 𝑧𝑧 α = 𝑒𝑒 α𝐿𝐿𝐿𝐿 𝑧𝑧 => 𝑓𝑓1′ 𝑧𝑧 = 𝑒𝑒 α𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑧𝑧 α = α𝑧𝑧 𝛼𝛼−1
𝑧𝑧 𝑧𝑧
𝑑𝑑 𝛼𝛼
⇒ 𝑧𝑧 = α𝑧𝑧 𝛼𝛼−1 ; 𝑧𝑧 > 0 , −𝜋𝜋 < 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 < 𝜋𝜋
𝑑𝑑𝑑𝑑
𝑧𝑧 = −3 ⇒ 𝑧𝑧 = 3 & 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = 𝜋𝜋
⇒ 𝐿𝐿𝐿𝐿 −3 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 3 + 𝑗𝑗𝑗𝑗
capital
−3 𝑗𝑗 ⁄𝜋𝜋
= 𝑒𝑒 𝛼𝛼𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝑒𝑒 𝑗𝑗 ⁄𝜋𝜋 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 3 +𝑗𝑗𝑗𝑗
𝑗𝑗
𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 3 −1
= 𝑒𝑒 𝜋𝜋
𝑗𝑗 𝑗𝑗
⇒ −3 𝜋𝜋 = 𝑒𝑒 −1+𝜋𝜋 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 3 principal value
(1−j)
Note: 𝑧𝑧 = 2𝑗𝑗 & 𝛼𝛼 = 1 − 𝑗𝑗
b) 2𝑗𝑗
If 𝑧𝑧 = 2𝑗𝑗 ⇒ 𝑧𝑧 = 2 & 𝐴𝐴𝑟𝑟𝑟𝑟 𝑧𝑧 = 𝜋𝜋⁄2
⇒ 𝐿𝐿𝐿𝐿 𝑧𝑧 = 𝐿𝐿𝐿𝐿 2𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧 + 𝑗𝑗𝑗𝑗𝑗𝑗𝑗𝑗(𝑧𝑧) = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 + 𝑗𝑗 𝜋𝜋⁄2
(1−𝑗𝑗) 1−𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 +𝑗𝑗 𝜋𝜋�2
⇒ 2𝑗𝑗 = 𝑒𝑒 ∝𝐿𝐿𝐿𝐿𝐿𝐿 = 𝑒𝑒
⇒ 2𝑗𝑗 (1−𝑗𝑗)
= 𝑒𝑒 1−𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2 +𝑗𝑗 𝜋𝜋�2 principal value
2/21/2019 Dr. Eli Saber 127
CP8 Complex Powers
Example 3: Find the derivative of the principal value 𝒛𝒛𝒋𝒋 at the point 𝐳𝐳 = 𝟏𝟏 + 𝐣𝐣
𝑑𝑑 𝑗𝑗
Solution: z = 1 + 𝑗𝑗 => 𝑧𝑧 = 𝑗𝑗𝑧𝑧 (𝑗𝑗−1) = 𝑗𝑗 1 + 𝑗𝑗 (𝑗𝑗−1)
𝑑𝑑𝑑𝑑
𝑗𝑗
• Let us evaluate: 1 + 𝑗𝑗
𝜋𝜋⁄
• 𝑙𝑙𝑙𝑙𝑙𝑙 𝑧𝑧 = 1 + 𝑗𝑗 = 2𝑒𝑒 𝑗𝑗 4 [ principal value ] a𝑛𝑛𝑛𝑛 𝛼𝛼 = 𝑗𝑗
𝑗𝑗
𝑗𝑗 𝛼𝛼 𝐿𝐿𝐿𝐿𝐿𝐿 𝑗𝑗 𝐿𝐿𝐿𝐿 1+𝑗𝑗 𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2+𝑗𝑗 𝜋𝜋 ⁄4 −𝜋𝜋 ⁄4 + 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2
⇒ 1 + 𝑗𝑗 = 𝑒𝑒 = 𝑒𝑒 = 𝑒𝑒 = 𝑒𝑒 2 [ principal value ]
⇒ 𝑑𝑑 𝑗𝑗 1 + 𝑗𝑗 𝑗𝑗
1 + 𝑗𝑗 −𝜋𝜋 + 𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 2
𝑧𝑧 = 1 + 𝑗𝑗 = 𝑒𝑒 4 2 ≈ 0.1370 + 𝑗𝑗𝑗.2919
𝑑𝑑𝑑𝑑 2 2
i. Trigonometric Functions
𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 1
𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧 = ; 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 =
𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧
1 1
𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = ; 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 =
𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
• If 𝑦𝑦 = 0 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗 = 𝑥𝑥
b) 𝒔𝒔𝒔𝒔𝒔𝒔 𝟐𝟐 + 𝒋𝒋 ⇒ 𝒛𝒛 = 𝟐𝟐 + 𝒋𝒋
𝑒𝑒 𝑗𝑗 2+𝑗𝑗
− 𝑒𝑒 −𝑗𝑗 2+𝑗𝑗
𝑒𝑒 2𝑗𝑗−1
− 𝑒𝑒 −2𝑗𝑗+1
𝑠𝑠𝑠𝑠𝑠𝑠 2 + 𝑗𝑗 = =
2𝑗𝑗 2𝑗𝑗
−𝑒𝑒 2 − −1 𝑒𝑒 −2 −𝑒𝑒 2 + 𝑒𝑒 −2
𝑡𝑡𝑡𝑡𝑡𝑡 𝜋𝜋 − 2𝑗𝑗 = = −𝑗𝑗
𝑗𝑗 −𝑒𝑒 2 − 𝑒𝑒 −2 −𝑒𝑒 2 − 𝑒𝑒 −2
−𝑒𝑒 2 + 𝑒𝑒 −2
= 𝑗𝑗 2 ≅ −0.9640𝑗𝑗
𝑒𝑒 + 𝑒𝑒 −2
Identities
Most of the familiar identities for real trigonometric functions hold for complex
trigonometric functions. Let 𝒛𝒛 ≡ 𝒙𝒙 + 𝒋𝒋𝒋𝒋
let 𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗
𝑒𝑒 𝑗𝑗𝑗𝑗 − 𝑒𝑒 −𝑗𝑗𝑗𝑗 𝑒𝑒 𝑗𝑗 𝑥𝑥+𝑗𝑗𝑗𝑗
− 𝑒𝑒 −𝑗𝑗 𝑥𝑥+𝑗𝑗𝑗𝑗
1 𝑗𝑗𝑗𝑗 −𝑦𝑦 1 −𝑗𝑗𝑗𝑗 𝑦𝑦
𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = = = 𝑒𝑒 𝑒𝑒 − 𝑒𝑒 𝑒𝑒
2𝑗𝑗 2𝑗𝑗 2𝑗𝑗 2𝑗𝑗
1 1
= 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑒𝑒 −𝑦𝑦 − 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 − 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑒𝑒 𝑦𝑦
2𝑗𝑗 2𝑗𝑗
1 1 1 1
= 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 𝑒𝑒 −𝑦𝑦 + 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑒𝑒 −𝑦𝑦 − 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 𝑒𝑒 𝑦𝑦 + 𝑠𝑠𝑠𝑠𝑛𝑛 𝑥𝑥 𝑒𝑒 𝑦𝑦
2𝑗𝑗 2 2𝑗𝑗 2
1 𝑦𝑦 1 −𝑦𝑦 1 −𝑦𝑦 𝑦𝑦
𝑒𝑒 𝑦𝑦 + 𝑒𝑒 −𝑦𝑦 𝑒𝑒 −𝑦𝑦 − 𝑒𝑒 𝑦𝑦
= 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑒𝑒 + 𝑒𝑒 + 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 𝑒𝑒 − 𝑒𝑒 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 − 𝑗𝑗 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥
2 2 2𝑗𝑗 2 2
𝑒𝑒 𝑦𝑦 + 𝑒𝑒 −𝑦𝑦 𝑒𝑒 𝑦𝑦 − 𝑒𝑒 −𝑦𝑦
= 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 + 𝑗𝑗 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 ⇒ 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑦𝑦 + 𝑗𝑗 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 sinh 𝑦𝑦 𝟏𝟏
2 2
• S𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢𝐢:
𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑦𝑦 − 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑦𝑦 𝟐𝟐
Proof:
2
2
𝑒𝑒 𝑦𝑦 − 𝑒𝑒 −𝑦𝑦 1 2𝑦𝑦
1 + 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑦𝑦 = 1 + =1+ 𝑒𝑒 − 2𝑒𝑒 𝑦𝑦 𝑒𝑒 −𝑦𝑦 + 𝑒𝑒 −2𝑦𝑦
2 4
1 2𝑦𝑦 1 1 1 1 1 1
=1+ 𝑒𝑒 − 2 + 𝑒𝑒 −2𝑦𝑦 = 1 + 𝑒𝑒 2𝑦𝑦 − + 𝑒𝑒 −2𝑦𝑦 = + 𝑒𝑒 2𝑦𝑦 + 𝑒𝑒 −2𝑦𝑦
4 4 2 4 2 4 4
2
1 1 1 𝑒𝑒 𝑦𝑦 + 𝑒𝑒 −𝑦𝑦
= 𝑒𝑒 2𝑦𝑦 + 2 + 𝑒𝑒 −2𝑦𝑦 = 𝑒𝑒 2𝑦𝑦 + 2𝑒𝑒 𝑦𝑦 𝑒𝑒 −𝑦𝑦 + 𝑒𝑒 −2𝑦𝑦 = 𝑒𝑒 𝑦𝑦 + 𝑒𝑒 −𝑦𝑦 2
= = 𝑐𝑐𝑐𝑐𝑐𝑐𝑐2 𝑦𝑦
4 4 4 2
1 + 𝑠𝑠𝑠𝑠𝑠𝑠𝑠2 𝑦𝑦 = 𝑐𝑐𝑐𝑐𝑐𝑐𝑐2 𝑦𝑦
2 2 2
𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑦𝑦 + 𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑦𝑦
2
Similarly 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = 𝑐𝑐𝑐𝑐𝑐𝑐 2 𝑥𝑥 + 𝑠𝑠𝑠𝑠𝑠𝑠𝑠2 𝑦𝑦
2
Note: A complex number 𝑧𝑧 = 0 if and only if 𝑧𝑧 =0
2
⇒ 𝑖𝑖𝑖𝑖 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 0 ⇒ 𝑠𝑠𝑖𝑖𝑖𝑖𝑧𝑧 = 0 ⇒ 𝑠𝑠𝑠𝑠𝑠𝑠𝑧𝑧 = 0 ⇒ 𝑠𝑠𝑠𝑠𝑠𝑠2 𝑥𝑥 + 𝑠𝑠𝑠𝑠𝑠𝑠ℎ2 𝑦𝑦 = 0
⇒ 𝑥𝑥 = 𝑘𝑘𝑘𝑘 & 𝑦𝑦 = 0
Similarly
𝜋𝜋
𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = 0 𝑤𝑤𝑤𝑤𝑤𝑤𝑤 𝑧𝑧 = 2𝑘𝑘 + 1 𝑘𝑘 = 0, ±1, ±2, …
2
𝑗𝑗𝑗𝑗
−𝑏𝑏 ± 𝑏𝑏 2 − 4𝑎𝑎𝑎𝑎 20 ± 400 − 4 1 1
⇒ 𝑒𝑒 = =
2𝑎𝑎 2
𝑒𝑒 𝑗𝑗𝑗𝑗 = 10 ± 3 11
𝑒𝑒 𝑗𝑗𝑗𝑗 = 10 ± 3 11
⇒ 𝑗𝑗𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 𝑧𝑧1 + 𝑗𝑗 𝜃𝜃1 + 2𝜋𝜋𝜋𝜋 but 𝑧𝑧1 𝑖𝑖𝑖𝑖 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 ⇒ 𝜃𝜃1 = 0
1
⇒ 𝑗𝑗𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 + 3 11 +𝑗𝑗2𝜋𝜋𝜋𝜋 ⇒ 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 + 3 11 +2𝜋𝜋𝜋𝜋
𝑗𝑗
𝑧𝑧 = 2𝜋𝜋𝜋𝜋 − 𝑗𝑗𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 + 3 11
1
⇒ 𝑗𝑗𝑗𝑗 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 − 3 11 +𝑗𝑗𝑗𝑗𝑗𝑗𝑗 ⇒ 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 − 3 11 +𝑗𝑗𝑗𝑗𝑗𝑗𝑗
𝑗𝑗
1 10 + 3 11
⇒ 𝑧𝑧 = 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 − 3 11 +𝑗𝑗𝑗𝑗𝑗𝑗𝑗
𝑗𝑗 10 + 3 11
100 − 99 1
⇒ 𝑧𝑧 = 2𝜋𝜋𝜋𝜋 − 𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 = 2𝜋𝜋𝜋𝜋 − 𝑗𝑗 𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒
10 + 3 11 10 + 3 11
𝑧𝑧 = 2𝜋𝜋𝜋𝜋 + 𝑗𝑗𝑙𝑙𝑙𝑙𝑙𝑙𝑒𝑒 10 + 3 11
Analyticity
𝐀𝐀𝐀𝐀𝐀𝐀𝐀𝐀:
⇒ 𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧 & 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 are analytic except @ the points 𝑧𝑧 = (2𝑘𝑘 + 1) 𝜋𝜋⁄2
Derivatives
𝑑𝑑 𝑧𝑧 𝑑𝑑 𝑗𝑗𝑧𝑧 𝑑𝑑 −𝑗𝑗𝑗𝑗
Recall∶ 𝑒𝑒 = 𝑒𝑒 𝑧𝑧 ⇒ 𝑒𝑒 = 𝑗𝑗𝑒𝑒 𝑗𝑗𝑧𝑧 & 𝑒𝑒 = −𝑗𝑗𝑒𝑒 −𝑗𝑗𝑗𝑗
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑 𝑒𝑒 𝑗𝑗𝑗𝑗 − 𝑒𝑒 −𝑗𝑗𝑗𝑗 1 𝑑𝑑 1
• 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = = 𝑒𝑒 𝑗𝑗𝑗𝑗 − 𝑒𝑒 −𝑗𝑗𝑗𝑗 = 𝑗𝑗𝑒𝑒 𝑗𝑗𝑗𝑗 − −𝑗𝑗 𝑒𝑒 −𝑗𝑗𝑗𝑗
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 2𝑗𝑗 2𝑗𝑗 𝑑𝑑𝑑𝑑 2𝑗𝑗
1 𝑗𝑗 𝑒𝑒 𝑗𝑗𝑗𝑗 + 𝑒𝑒 −𝑗𝑗𝑗𝑗
= 𝑗𝑗𝑗𝑗 𝑗𝑗𝑗𝑗 +𝑗𝑗𝑒𝑒 −𝑗𝑗𝑗𝑗 = 𝑒𝑒 𝑗𝑗𝑗𝑗 + 𝑒𝑒 −𝑗𝑗𝑗𝑗 = ⇒ 𝑑𝑑
𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧
2𝑗𝑗 2𝑗𝑗 2
𝒄𝒄𝒄𝒄𝒄𝒄 𝒛𝒛
𝑑𝑑𝑑𝑑
Similarly:
𝑑𝑑
• 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = − 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑
• 𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 2 𝑧𝑧 ; 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = −𝑐𝑐𝑐𝑐𝑐𝑐 2 𝑧𝑧
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑
• 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧 ; 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = − 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
𝑒𝑒 𝑧𝑧 − 𝑒𝑒 −𝑧𝑧 𝑒𝑒 𝑧𝑧 + 𝑒𝑒 −𝑧𝑧
𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = , 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 =
2 2
𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 1 1 1
𝑡𝑡𝑡𝑡𝑡𝑡ℎ 𝑧𝑧 = , 𝑐𝑐𝑜𝑜𝑜𝑜ℎ 𝑧𝑧 = 𝑡𝑡𝑡𝑡𝑡𝑡ℎ 𝑧𝑧 ; 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = , 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 =
𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
Note:
1) 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 & 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 are entire functions
2) 𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑧𝑧 , 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧, 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 , 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 are analytic except at points where the 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 = 0
𝑑𝑑 𝑑𝑑
3) 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 and 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑 𝑒𝑒 𝑧𝑧 − 𝑒𝑒 −𝑧𝑧 1 𝑑𝑑 𝑧𝑧 1 1
𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = = 𝑒𝑒 − 𝑒𝑒 −𝑧𝑧 = 𝑒𝑒 𝑧𝑧 − (−1) 𝑒𝑒 −𝑧𝑧 = 𝑒𝑒 𝑧𝑧 + 𝑒𝑒 −𝑧𝑧 = 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 2 2 𝑑𝑑𝑑𝑑 2 2
𝑑𝑑
Similarly: 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
𝑑𝑑𝑑𝑑
Hence:
𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑗𝑗𝑗𝑗 = 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧
𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑗𝑗𝑗𝑗 = 𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧
Zeros
𝑧𝑧 = 𝑥𝑥 + 𝑗𝑗𝑗𝑗
𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑧𝑧 = −𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 𝑗𝑗𝑗𝑗 = − 𝑗𝑗𝑠𝑠𝑠𝑠𝑠𝑠 𝑗𝑗 𝑥𝑥 + 𝑗𝑗𝑗𝑗
= −𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 −𝑦𝑦 + 𝑗𝑗𝑗𝑗
= −𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 −𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 + 𝑗𝑗 𝑐𝑐𝑐𝑐𝑐𝑐 −𝑦𝑦 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥
= −𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 −𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑥𝑥 + 𝑐𝑐𝑐𝑐𝑐𝑐 −𝑦𝑦 𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑥𝑥
−𝜋𝜋𝜋𝜋
⇒ 𝑧𝑧 = ⇒ 𝑧𝑧 = 𝑗𝑗𝑗𝑗𝑗𝑗
𝑗𝑗
⇒ 𝒛𝒛𝒛𝒛𝒛𝒛𝒛𝒛 𝒂𝒂𝒂𝒂𝒂𝒂 𝒂𝒂𝒂𝒂 𝑧𝑧 = 𝑗𝑗𝜋𝜋𝑘𝑘 𝑘𝑘 = 0, ±1, ±2 … .
𝜋𝜋
𝑐𝑐𝑐𝑐𝑐𝑐 𝑗𝑗𝑗𝑗 = 0 ⇒ 𝑗𝑗𝑗𝑗 = − 2𝑘𝑘 + 1
2
𝜋𝜋
𝑧𝑧 = 2𝑘𝑘 + 1 𝑗𝑗 𝑘𝑘 = 0, ±1, ±2 … .
2
𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 + 2𝜋𝜋𝑗𝑗 = 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑧𝑧 𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔 𝒛𝒛 & 𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄 𝒛𝒛 are periodic and have the imaginary period 𝟐𝟐𝟐𝟐𝟐𝟐
Digression:
let 𝑎𝑎𝑥𝑥 2 + 𝑏𝑏𝑏𝑏 + 𝑐𝑐 = 0 𝑎𝑎 ≠ 0 , b, c are real
1�
−𝑏𝑏 ± 𝑏𝑏2 −4𝑎𝑎𝑎𝑎 −𝑏𝑏± 𝑏𝑏2 −4𝑎𝑎𝑎𝑎 2
Solution : 𝑥𝑥 = =
2𝑎𝑎 2𝑎𝑎
Example: 𝑥𝑥 2 −2𝑥𝑥 + 10 = 0
1�
2 ± 4 − 4 1 10 2 2 ± −36 2 ± 36𝑗𝑗 2
𝑥𝑥 = = =
2 2 2
2±6𝑗𝑗
= 𝑧𝑧1 = 1 + 3𝑗𝑗 & 𝑧𝑧2 = 1 − 3j
2
Now, let us assume that: 𝑎𝑎𝑥𝑥 2 + 𝑏𝑏𝑏𝑏 + 𝑐𝑐 = 0 where 𝑎𝑎 ≠ 0, 𝑏𝑏, 𝑐𝑐 are all complex numbers
1�
−𝑏𝑏 + 𝑏𝑏 2 − 4𝑎𝑎𝑎𝑎 2
𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒 ∶ 𝑧𝑧 =
2𝑎𝑎
1⁄
Note: 𝑏𝑏 2 − 4𝑎𝑎𝑎𝑎 2 will provide 2 roots of the complex number 𝑏𝑏 2 −4𝑎𝑎𝑎𝑎
Note: 𝑎𝑎 = 1 ; 𝑏𝑏 = 1 − 𝑗𝑗 ; 𝑐𝑐 = −3𝑗𝑗
1 1�
−𝑏𝑏 + 𝑏𝑏 2 − 4𝑎𝑎𝑎𝑎 �2 − 1 − 𝑗𝑗 + 1 − 𝑗𝑗 2 − 4 1 −3𝑗𝑗 2 𝑦𝑦
𝑧𝑧 = = 𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
2𝑎𝑎 2
1 1 10𝑗𝑗
𝑧𝑧 = −1 + 𝑗𝑗 + 1 − 𝑗𝑗 − 𝑗𝑗 − 1 + 12𝑗𝑗 1⁄2 = −1 + 𝑗𝑗 + 10𝑗𝑗 1⁄2
2 2
𝜋𝜋
1⁄ 𝑗𝑗 2
let us find the square roots of 𝑧𝑧1 = 10𝑗𝑗 2 Note: 10𝑗𝑗 = 10 𝑒𝑒 𝑥𝑥
𝜋𝜋
+2𝜋𝜋𝜋𝜋
1� 𝑗𝑗 2
𝑤𝑤𝑘𝑘 = 𝑟𝑟 𝑛𝑛 𝑒𝑒 𝑛𝑛 𝒏𝒏 = 𝟐𝟐
𝜋𝜋 ⁄2 𝜋𝜋 𝜋𝜋 𝜋𝜋 1 1
1� 𝑗𝑗 1� 𝑗𝑗 1� 1�
𝑤𝑤0 = 10 2 𝑒𝑒 2 = 10 2 𝑒𝑒 4 = 10 2 𝑐𝑐𝑐𝑐𝑐𝑐 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 = 10 2 + 𝑗𝑗
4 4 2 2
⇒ 𝑤𝑤0 = 5 + 𝑗𝑗 5
5𝜋𝜋 5𝜋𝜋 1 1
= 10 𝑐𝑐𝑐𝑐𝑐𝑐 + 𝑗𝑗 𝑠𝑠𝑠𝑠𝑠𝑠 = 10 − − 𝑗𝑗 = − 5 − 𝑗𝑗 5
4 4 2 2 𝑥𝑥
Hence:
1 1
𝑧𝑧1 = −1 + 𝑗𝑗 + 5 + 𝑗𝑗 5 & 𝑧𝑧2 = −1 + 𝑗𝑗 − 5 − 𝑗𝑗 5
2 2
Or
1 1
𝑧𝑧1 = 5 − 1 + 𝑗𝑗 5+1 & 𝑧𝑧2 = − 5 + 1 + 𝑗𝑗 5−1
2 2
End of Digression
2/21/2019 Dr. Eli Saber 154
17.8 Inverse Trigonometric Functions
1�
𝑒𝑒 𝑗𝑗𝑤𝑤 = 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2
1�
⇒ 𝑗𝑗𝑤𝑤 𝑙𝑙𝑙𝑙 𝑒𝑒 = 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2
1�
⇒ 𝑗𝑗𝑤𝑤 = 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2
1 1� 1�
⇒ 𝑤𝑤 = 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2
𝑗𝑗
1�
𝑤𝑤 = 𝑠𝑠𝑠𝑠𝑠𝑠−1 𝑧𝑧 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2 2
𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒𝐒
1�
𝑐𝑐𝑐𝑐𝑐𝑐 −1 𝑧𝑧 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑧𝑧 + 𝑗𝑗 1 − 𝑧𝑧 2 2
𝑗𝑗 𝑗𝑗 + 𝑧𝑧
𝑡𝑡𝑡𝑡𝑡𝑡−1 𝑧𝑧 = 𝑙𝑙𝑙𝑙
2 𝑗𝑗 − 𝑧𝑧
2/21/2019 Dr. Eli Saber 156
17.8 Inverse Trigonometric Functions
Example: Find all values of 𝒔𝒔𝒔𝒔𝒔𝒔−𝟏𝟏 𝟓𝟓
1⁄2
𝑠𝑠𝑠𝑠𝑠𝑠−1 𝑧𝑧 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗𝑗𝑗 + 1 − 𝑧𝑧 2
2 1⁄2
−1
𝑠𝑠𝑠𝑠𝑠𝑠 5 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗 5 + 1 − 5
1⁄2
𝑠𝑠𝑠𝑠𝑠𝑠−1 5 = −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗 5 + 1 − 5
1⁄2
= −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗 5 + −4 −4 = 4𝑗𝑗 2
1⁄2
= −𝑗𝑗 𝑙𝑙𝑙𝑙 𝑗𝑗 5 + 4𝑗𝑗 2
Derivatives
𝑑𝑑 𝑑𝑑 𝑑𝑑 𝑑𝑑𝑤𝑤 𝑑𝑑𝑤𝑤 1
𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑤𝑤 ⇒ 𝑧𝑧 = 𝑠𝑠𝑠𝑠𝑠𝑠 𝑤𝑤 ⇒ 1 = 𝑐𝑐𝑐𝑐𝑐𝑐 𝑤𝑤 ⇒ =
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑧𝑧 𝑑𝑑𝑑𝑑 𝑐𝑐𝑐𝑐𝑐𝑐 𝑤𝑤
Similarly: 𝑑𝑑 −1
𝑐𝑐𝑐𝑐𝑐𝑐 −1 𝑧𝑧 = 1�
𝑑𝑑𝑑𝑑 1 − 𝑧𝑧 2 2
𝑑𝑑 1
𝑡𝑡𝑡𝑡𝑡𝑡−1 𝑧𝑧 =
𝑑𝑑𝑑𝑑 1 + 𝑧𝑧 2
2/21/2019 Dr. Eli Saber 158
17.8 Inverse Hyperbolic Functions
Inverse Hyperbolic Functions
1�
𝑠𝑠𝑠𝑠𝑠𝑠ℎ−1 𝑧𝑧 = 𝑙𝑙𝑙𝑙 𝑧𝑧 + 𝑧𝑧 2 + 1 2
1�
𝑐𝑐𝑐𝑐𝑐𝑐𝑐−1 𝑧𝑧 = 𝑙𝑙𝑙𝑙 𝑧𝑧 + 𝑧𝑧 2 − 1 2
1 1 + 𝑧𝑧
𝑡𝑡𝑡𝑡𝑡𝑡𝑡−1 𝑧𝑧 = 𝑙𝑙𝑙𝑙
2 1 − 𝑧𝑧
and derivatives:
𝑑𝑑 1
𝑠𝑠𝑠𝑠𝑠𝑠𝑠−1 𝑧𝑧 = 1�
𝑑𝑑𝑑𝑑 𝑧𝑧 2 + 1 2
𝑑𝑑 1
𝑐𝑐𝑐𝑐𝑐𝑐𝑐−1 𝑧𝑧 = 1�
𝑑𝑑𝑑𝑑 𝑧𝑧 2 − 1 2
𝑑𝑑 1
𝑡𝑡𝑡𝑡𝑡𝑡𝑡 −1 𝑧𝑧 =
𝑑𝑑𝑑𝑑 1 − 𝑧𝑧 2
2/21/2019 Dr. Eli Saber 159
17.8 Inverse Hyperbolic Functions
Example :
Compute 𝑐𝑐𝑐𝑐𝑐𝑐𝑐−1 −1 𝒊𝒊. 𝒆𝒆. 𝑧𝑧 = −1
1� 1�
−1 2 2
⇒ 𝑐𝑐𝑐𝑐𝑐𝑐𝑐 −1 = 𝑙𝑙𝑙𝑙 −1 + −1 −1 = 𝑙𝑙𝑙𝑙 −1 + 1 − 1 2
𝑦𝑦
𝑧𝑧 − 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝