Today:: + Cos + Sin ,:, Arg Arg + Arg +
Today:: + Cos + Sin ,:, Arg Arg + Arg +
Today:: + Cos + Sin ,:, Arg Arg + Arg +
Notes:
• Here z varies in A and is called a complex variable.
• The set A is called the domain of definition of f or,
briefly, the domain of f.
• The set of all values of a function f is called the range
of f.
Example 1: Let 𝑤𝑤 = 𝑓𝑓 𝑧𝑧 = 𝑧𝑧 2 + 3𝑧𝑧, find the real and imaginary parts of function w at 𝑧𝑧 = 1 + 3𝑖𝑖.
Solution: 𝑤𝑤 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑖𝑖𝑖𝑖(𝑥𝑥, 𝑦𝑦)
𝑤𝑤 = (𝑥𝑥 + 𝑖𝑖𝑖𝑖)2 +3 𝑥𝑥 + 𝑖𝑖𝑖𝑖 = 𝑥𝑥 2 + 𝑖𝑖2𝑥𝑥𝑥𝑥 − 𝑦𝑦 2 + 3𝑥𝑥 + 𝑖𝑖3𝑦𝑦 = 𝑥𝑥 2 − 𝑦𝑦 2 + 3𝑥𝑥 + 𝑖𝑖(2𝑥𝑥𝑥𝑥 + 3𝑦𝑦)
𝑢𝑢 𝑥𝑥, 𝑦𝑦 = 𝑥𝑥 2 − 𝑦𝑦 2 + 3𝑥𝑥 , 𝑣𝑣 𝑥𝑥, 𝑦𝑦 = 2𝑥𝑥𝑥𝑥 + 3𝑦𝑦
At 𝑧𝑧 = 𝑥𝑥 + 𝑖𝑖𝑖𝑖 = 1 + 3𝑖𝑖, the function 𝑤𝑤 = 𝑓𝑓 𝑧𝑧 = 𝑓𝑓(1 + 3𝑖𝑖) , is
𝑤𝑤 = 1 − 9 + 3 + 𝑖𝑖 2 ∗ 1 ∗ 3 + 3 ∗ = 5 + 𝑖𝑖15
So, 𝑤𝑤 = 𝑓𝑓 𝑧𝑧 = 𝑓𝑓 1 + 3𝑖𝑖 = −5 + 𝑖𝑖15. This means that 𝑢𝑢 1,3 = −5 & 𝑣𝑣 1,3 = 15
Differentiability of Complex Function
Rules of differentiation
Rules of differentiation are the same as in the calculus of real variables. If Note: if f(z) is differentiable
f and g are differentiable at a point z, and c is a complex constant, then: at 𝒛𝒛𝒐𝒐 , it is continuous at 𝒛𝒛𝒐𝒐 .
𝑑𝑑 𝑑𝑑 𝑑𝑑 𝑓𝑓 𝑧𝑧 𝑔𝑔 𝑧𝑧 𝑓𝑓′ 𝑧𝑧 −𝑓𝑓 𝑧𝑧 𝑔𝑔′ 𝑧𝑧
Constant rules: 𝑐𝑐 = 0, 𝑐𝑐 𝑓𝑓 𝑧𝑧 = 𝑐𝑐 𝑓𝑓 ′ 𝑧𝑧 Quotient rule: =
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 𝑔𝑔 𝑧𝑧 𝑔𝑔 𝑧𝑧 2
𝑑𝑑
Sum rule: 𝑓𝑓 𝑧𝑧 + 𝑔𝑔 𝑧𝑧 = 𝑓𝑓 ′ 𝑧𝑧 + 𝑔𝑔′ 𝑧𝑧
𝑑𝑑𝑑𝑑 𝑑𝑑
Product rule: Chain rule: 𝑓𝑓(𝑔𝑔 𝑧𝑧) = 𝑓𝑓 ′ 𝑔𝑔 𝑧𝑧 𝑔𝑔′ 𝑧𝑧
𝑑𝑑𝑑𝑑
𝑑𝑑 𝑑𝑑
𝑓𝑓 𝑧𝑧 𝑔𝑔 𝑧𝑧 = 𝑓𝑓 𝑧𝑧 𝑔𝑔′ 𝑧𝑧 + 𝑔𝑔 𝑧𝑧 𝑓𝑓 ′ 𝑧𝑧 Power rule: 𝑧𝑧 𝑛𝑛 = 𝑛𝑛 𝑧𝑧 𝑛𝑛−1 , 𝒏𝒏 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖.
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
Analytic Functions
Definition: A function f(z) is said to be analytic in a domain D, if f(z) is defined and differentiable at all points in
D. The function f(z) is said to be analytic at a point 𝑧𝑧 = 𝑧𝑧𝑜𝑜 in D, if f(z) is analytic in the neighborhood of 𝑧𝑧𝑜𝑜 .
Examples: It is left as an exercise to show that the function f (z) = |z|2 is differentiable at z = 0 but is
differentiable nowhere else. Hence, f (z) = |z|2 is nowhere analytic. In contrast, the simple polynomial f (z) = z2 is
differentiable at every point z in the complex plane. Hence, f (z) = z2 is analytic everywhere.
1 Entire function: A function that is analytic at every point z is said to be an
Example: 𝑓𝑓 𝑧𝑧 = 1−𝑧𝑧 is analytic
entire function. Polynomial functions are differentiable at every point z and
everywhere except at z=1.
so are entire functions.
Theorem 3 (Laplace's equation): The real part and imaginary part of an analytic complex function
𝑓𝑓 𝑧𝑧 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑖𝑖𝑖𝑖(𝑥𝑥, 𝑦𝑦) in a domain D, are harmonic functions. This means that these functions 𝑢𝑢 𝑥𝑥, 𝑦𝑦
𝜕𝜕2 𝑢𝑢 𝜕𝜕2 𝑢𝑢 𝜕𝜕2 𝑣𝑣 𝜕𝜕2 𝑣𝑣
and 𝑣𝑣(𝑥𝑥, 𝑦𝑦) are solutions of Laplace's equation, ∇2 𝑢𝑢 = + & ∇2 𝑣𝑣 = + , in D and have
𝜕𝜕𝑥𝑥 2 𝜕𝜕𝑦𝑦 2 𝜕𝜕𝑥𝑥 2 𝜕𝜕𝑦𝑦 2
continuous second partial derivatives in D.
Analyticity and harmonicity Next, if we differentiate the first C-R equation with
respect to y and the second with respect to x, and
There is a practically important relationship between
harmonic function and analytic functions. Suppose f(z) is then subtract the second from the first, we get
analytic function on D, and let 𝑓𝑓 𝑧𝑧 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑖𝑖𝑖𝑖(𝑥𝑥, 𝑦𝑦).
Now, from the Cauchy – Riemann equation, we know
𝜕𝜕 2 𝑢𝑢 𝜕𝜕 2 𝑢𝑢 𝜕𝜕 2 𝑣𝑣 𝜕𝜕 2 𝑣𝑣
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 − − − =0
= =− 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝜕𝜕𝑥𝑥 2 𝜕𝜕𝑦𝑦 2
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
If we differentiate the first of these with respect to x, 𝜕𝜕 2 𝑣𝑣 𝜕𝜕 2 𝑣𝑣
∴ 2
+ 2
=0
and the second with respect to y, and then add the 𝜕𝜕𝑥𝑥 𝜕𝜕𝑦𝑦
two results, we have: the imaginary part of an analytic function is also
harmonic.
𝜕𝜕 2 𝑢𝑢 𝜕𝜕 2 𝑢𝑢 𝜕𝜕 2 𝑣𝑣 𝜕𝜕 2 𝑣𝑣
+ + − =0 Conjugate Harmonic function
𝜕𝜕𝑥𝑥 2 𝜕𝜕𝑦𝑦 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕
suppose u(x, y) is a given function that is harmonic
𝜕𝜕 2 𝑢𝑢 𝜕𝜕 2 𝑢𝑢 in D. It is then sometimes possible to find another
∴ + = 0
𝜕𝜕𝑥𝑥 2 𝜕𝜕𝑦𝑦 2 function v(x, y) that is harmonic in D so that u(x, y)
Thus the real part u(x,y) of any analytic function is + iv(x, y) is an analytic function in D. The function
harmonic. v is called a conjugate harmonic function of u.
Example 1: Test whether the function 𝑢𝑢 = 𝑥𝑥 2 − 𝑦𝑦 2 is Method 1: By integrating eq 1 with respect to y, we
harmonic and find a corresponding analytic function obtain
𝑓𝑓 𝑧𝑧 = 𝑢𝑢 𝑥𝑥, 𝑦𝑦 + 𝑖𝑖𝑖𝑖(𝑥𝑥, 𝑦𝑦) if it exists.
𝑣𝑣 𝑥𝑥, 𝑦𝑦 = 2𝑥𝑥𝑥𝑥 + ℎ(𝑥𝑥) ……….(3),
Solution:
where h(x) is depending only on x. To find h(x),
𝜕𝜕𝜕𝜕 2
𝜕𝜕 𝑢𝑢 𝜕𝜕𝜕𝜕 2
𝜕𝜕 𝑢𝑢
= 2𝑥𝑥 → 2 = 2 = −2𝑦𝑦 → 2 = −2
differentiate eq 3 with respect to x:
𝜕𝜕𝜕𝜕 𝜕𝜕𝑥𝑥 𝜕𝜕𝜕𝜕 𝜕𝜕𝑦𝑦
𝜕𝜕𝜕𝜕 𝑑𝑑ℎ(𝑥𝑥)
So, Laplace equation = 2𝑦𝑦 + ℎ′ (𝑥𝑥) ……….(4) [ℎ′ 𝑥𝑥 = ]
𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑
𝑧𝑧 𝑥𝑥
𝑒𝑒 = 𝑒𝑒 (cos 𝑦𝑦 + 𝑖𝑖 sin 𝑦𝑦) 𝒆𝒆𝒛𝒛 = 𝒆𝒆𝒙𝒙 (𝒄𝒄𝒄𝒄𝒄𝒄 𝒚𝒚 + 𝒊𝒊 𝒔𝒔𝒔𝒔𝒔𝒔 𝒚𝒚)
Logarithm function
Definition: The natural logarithm of z=x+iy is 2. ln 𝑧𝑧 = ln(𝑟𝑟𝑒𝑒 𝑖𝑖𝑖𝑖 ) = ln 𝑟𝑟 + ln 𝑒𝑒 𝑖𝑖𝑖𝑖 = ln 𝑟𝑟 + 𝑖𝑖𝑖𝑖
defined by 𝒘𝒘 = 𝒇𝒇 𝒛𝒛 = 𝐥𝐥𝐥𝐥 𝐳𝐳 , which is the inverse of
the exponential function ez. = ln 𝑧𝑧 + 𝑖𝑖 arg 𝑧𝑧 = ln 𝑥𝑥 2 + 𝑦𝑦 2 + 𝑖𝑖 arg(𝑥𝑥 + 𝑖𝑖𝑖𝑖)
Properties: 3. The familiar relations for the natural logarithm
1. f(z) = 𝑤𝑤 = ln 𝑧𝑧 for 𝑧𝑧 ≠ 0 , take the reverse continue to hold for complex value, that is,
𝑒𝑒 𝑤𝑤 = 𝑧𝑧 …………..(1) ln 𝑧𝑧1 𝑧𝑧2 = ln 𝑧𝑧1 + ln 𝑧𝑧2
𝑑𝑑
ln 𝑧𝑧 =
1
𝑑𝑑𝑑𝑑 𝑧𝑧
Let: 𝑤𝑤 = 𝑢𝑢 + 𝑖𝑖𝑖𝑖 and 𝑧𝑧 = 𝑧𝑧 𝑒𝑒 𝑖𝑖𝑖𝑖 = 𝑟𝑟𝑒𝑒 𝑖𝑖𝑖𝑖 𝑧𝑧
ln( 1 ) = ln 𝑧𝑧1 − ln 𝑧𝑧2
𝑒𝑒 𝑤𝑤 = 𝑒𝑒 𝑢𝑢+𝑖𝑖𝑖𝑖 = 𝑒𝑒 𝑢𝑢 𝑒𝑒 𝑖𝑖𝑖𝑖 = 𝑟𝑟𝑒𝑒 𝑖𝑖𝑖𝑖 …………..(2) 𝑧𝑧2
The absolute values on both sides must be equal. 4. Analyticity of the Logarithm (Theorem): The
formula ln 𝑧𝑧 = 𝐿𝐿𝐿𝐿 𝑧𝑧 ∓ 2𝑛𝑛𝑛𝑛𝑛𝑛, is analytic, except at 0
𝑒𝑒 𝑢𝑢 𝑒𝑒 𝑖𝑖𝑖𝑖
→ absolute value = [where 𝑒𝑒 𝑢𝑢
= 1] 𝑒𝑒 𝑖𝑖𝑖𝑖
and on the negative real axis, and has the derivative:
′ = 𝟏𝟏/𝒛𝒛 𝒛𝒛 𝒊𝒊𝒊𝒊 𝒏𝒏𝒏𝒏𝒏𝒏 𝟎𝟎 𝒐𝒐𝒐𝒐 𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏𝒏 𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓
𝑟𝑟𝑒𝑒 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖
→ absolute value = r [where 𝑒𝑒 = 1], 𝒍𝒍𝒍𝒍 𝒛𝒛
1
𝑢𝑢 = ln 𝑟𝑟 → 𝑢𝑢𝑟𝑟 = , 𝑢𝑢𝜃𝜃 = 0, So, the function is
So: 𝑒𝑒 𝑢𝑢 = 𝑟𝑟 = 𝑧𝑧 , then 𝑢𝑢 = ln 𝑧𝑧 𝑟𝑟 analytic.
The arguments on both sides of eq 2 must be equal. 𝑣𝑣 = 𝜃𝜃 → 𝑣𝑣𝑟𝑟 = 0, 𝑣𝑣𝜃𝜃 = 1
1 1 1
𝑣𝑣 = 𝜃𝜃 = arg 𝑧𝑧 C–R equations: 𝑢𝑢𝑟𝑟 = 𝑣𝑣𝜃𝜃 = , 𝑣𝑣𝑟𝑟 = − 𝑢𝑢𝜃𝜃 = 0
𝑟𝑟 𝑟𝑟 𝑟𝑟
5. complex natural logarithm is infinitely many–valued. We know that:
ln 𝑧𝑧 = ln(𝑟𝑟𝑒𝑒 𝑖𝑖𝑖𝑖 ) = ln 𝑟𝑟 + ln 𝑒𝑒 𝑖𝑖𝑖𝑖 = ln 𝑟𝑟 + 𝑖𝑖𝑖𝑖
𝜃𝜃 = 𝜃𝜃𝑜𝑜 + 2𝑛𝑛𝜋𝜋
𝑡𝑡ℎ𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑡𝑡𝑡𝑡𝑡𝑡−1 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓
Where n= 0, ±1, ±2, ·····
For n=0, the value of ln z=Ln z, and is called the principal value of 𝐥𝐥𝐥𝐥 𝒛𝒛 and is often denoted by 𝑳𝑳𝑳𝑳 𝒛𝒛.
In the following examples, find ln z.
Example 1: if z=x , x is real positive Example 3: if 𝒛𝒛 = −𝒙𝒙, where x real positive
0 0
The principal of arg 𝑧𝑧 = tan−1 = 𝜃𝜃 = 0 The principal of arg 𝑧𝑧 = tan−1 = 𝜋𝜋
+𝑥𝑥 −𝑥𝑥
Then the principal value 𝐿𝐿𝐿𝐿 𝑧𝑧 = ln 𝑧𝑧 and Then the principal value 𝐿𝐿𝐿𝐿 𝑧𝑧 = ln 𝑧𝑧 + 𝜋𝜋𝜋𝜋 and
ln 𝑧𝑧 = 𝐿𝐿𝐿𝐿 𝑧𝑧 ∓ (0 + 2𝜋𝜋𝜋𝜋𝜋𝜋) ln 𝑧𝑧 = 𝐿𝐿𝐿𝐿 𝑧𝑧 ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋 = ln 𝑧𝑧 + 𝜋𝜋𝜋𝜋 ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋
= ln 𝑧𝑧 ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋
Example 2: let z=i, find 𝐥𝐥𝐥𝐥 𝒛𝒛 = 𝐥𝐥𝐥𝐥 𝒊𝒊 Example 4: let 𝒛𝒛 = −𝟏𝟏, find 𝐥𝐥𝐥𝐥 𝒛𝒛.
−1 1 𝜋𝜋 −1 0
The principal of arg 𝑧𝑧 = arg 𝑖𝑖 = tan = The principal of arg 𝑧𝑧 = tan = 𝜋𝜋
0 2 −1
The principal value 𝐿𝐿𝐿𝐿 𝑖𝑖 = ln 1 + 𝑖𝑖
𝜋𝜋 The principal value
2
1 𝐿𝐿𝐿𝐿 −1 = ln 1 + 𝜋𝜋𝜋𝜋 = 𝑖𝑖𝑖𝑖
ln 𝑖𝑖 = 𝐿𝐿𝐿𝐿 0 + 𝑖𝑖 ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋 = ln 1 + 𝑖𝑖𝑖𝑖( ∓ 2𝑛𝑛)
2 ∴ ln −1 = 𝐿𝐿𝐿𝐿 −1 + 0i ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋 = 𝑖𝑖𝑖𝑖 ∓ 2𝜋𝜋𝜋𝜋𝜋𝜋
𝜋𝜋 3𝜋𝜋 5𝜋𝜋 7𝜋𝜋
ln 𝑖𝑖 = 𝑖𝑖, − 𝑖𝑖, 𝑖𝑖, − 𝑖𝑖, … n=1,2,….
2 2 2 2
So, ln −1 = ∓𝜋𝜋𝜋𝜋, ∓3𝜋𝜋𝜋𝜋, ∓5𝜋𝜋𝜋𝜋, …