Chapter-2 Analytic Functions
Chapter-2 Analytic Functions
Chapter-2 Analytic Functions
Department of Mathematics
BITS Pilani K.K. Birla Goa Campus
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
(x , 0) + (0, y ) = (x , y )
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
(x , 0) + (0, y ) = (x , y )
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
(x , 0) + (0, y ) = (x , y )
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
(x , 0) + (0, y ) = (x , y )
Let us identify the complex number (x , 0) with the real number x , Observe
that from the definition it is clear:
(x , 0) + (0, y ) = (x , y )
q
|z| = x2 + y2
1 |z|n = |z n |.
2 Triangle inequality: |z1 + z2 | ≤ |z1 | + |z2 |.
3 |z1 + z2 | ≥ ||z1 | − |z2 ||.
4 Conjugate: For a complex number z = a + ib, the complex number
a − ib is called the conjugate of z and it is denoted by z.
5 Using the conjugate one can write |z|2 = zz.
6 |z| = |z|.
7 Observe that z 6= 0 if and only if |z| =
6 0.
8 The conjugate satisfies z1 z2 = z1 z2 .
z1 z1
9 For z2 6= 0 we have z2 = z2 .
10 Parallelogram Law: |z1 + z2 |2 + |z1 − z2 |2 = 2(|z1 |2 + |z2 |2 ).
Euler’s formula
The expression e iθ = cos θ + i sin θ is called Euler’s formula.
Example
1
Find all the values of (1 − i) 3 .
Im(z)
Re(z)
Im(z)
Re(z)
Im(z)
Re(z)
Re(z)
1
:n∈N
n
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
1 1
f (r , θ) = r + cos θ + i r − sin θ.
r r
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
Definition
Let the function f be defined on a deleted neighborhood of a point z0 then
we say
lim f (z) = w0
z→zo
, if for each positive real number there is a positive real number δ such
that |f (z) − w0 | < whenever |z − z0 | < δ
Definition
Let the function f be defined on a deleted neighborhood of a point z0 then
we say
lim f (z) = w0
z→zo
, if for each positive real number there is a positive real number δ such
that |f (z) − w0 | < whenever |z − z0 | < δ
As we “move” closer to the point z0 the value of the function moves closer
to the value wo . Note that a limit may or may not exist. But if it exists
then one can show as in the next theorem that it is unique.
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − 1 + i(z − 1)|
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − 1 + i(z − 1)|
≤ |z − 1| + |z − 1| using triangle inequality and |i| = 1
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − 1 + i(z − 1)|
≤ |z − 1| + |z − 1| using triangle inequality and |i| = 1
= 2|z − 1| since |z − 1| = |z − 1|
< 2δ
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − 1 + i(z − 1)|
≤ |z − 1| + |z − 1| using triangle inequality and |i| = 1
= 2|z − 1| since |z − 1| = |z − 1|
< 2δ
Therefore
|f (z) − (1 + i)| < if we chose δ ≤ 2 .
Hence lim f (z) = 1 + i.
z→1
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − i + iz − 1|
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − i + iz − 1|
= |z − i + i(z + i)|
= |z − i + i(z − i)|
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − i + iz − 1|
= |z − i + i(z + i)|
= |z − i + i(z − i)|
≤ |z − i| + |z − i| using triangle inequality and |z| = |z|
= 2|z − i| < 2δ
|f (z) − (1 + i)| = |z + iz − 1 − i|
= |z − i + iz − 1|
= |z − i + i(z + i)|
= |z − i + i(z − i)|
≤ |z − i| + |z − i| using triangle inequality and |z| = |z|
= 2|z − i| < 2δ
Therefore
|f (z) − (1 + i)| < if we chose δ ≤ 2 .
Hence lim f (z) = 1 + i.
z→i
Example
z
Let f (z) = Re(z) . What about lim f (z) ?
z→0
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits.
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive such that |f (z) − w1 | < whenever |z − z0 | < δ1 and
|f (z) − w2 | < whenever |z − z0 | < δ1 .
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive such that |f (z) − w1 | < whenever |z − z0 | < δ1 and
|f (z) − w2 | < whenever |z − z0 | < δ1 . So whenever we have
|z − z0 | < δ = min{δ1 , δ1 }
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive such that |f (z) − w1 | < whenever |z − z0 | < δ1 and
|f (z) − w2 | < whenever |z − z0 | < δ1 . So whenever we have
|z − z0 | < δ = min{δ1 , δ1 } we have
< 2
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive such that |f (z) − w1 | < whenever |z − z0 | < δ1 and
|f (z) − w2 | < whenever |z − z0 | < δ1 . So whenever we have
|z − z0 | < δ = min{δ1 , δ1 } we have
< 2
Note that above inequality is available to us for arbitrary positive real
number .
To prove the assertion let us assume if possible there are more than one
limits, let us say w1 , w2 are two limits. So for each positive there are
δ1 , δ1 positive such that |f (z) − w1 | < whenever |z − z0 | < δ1 and
|f (z) − w2 | < whenever |z − z0 | < δ1 . So whenever we have
|z − z0 | < δ = min{δ1 , δ1 } we have
< 2
Note that above inequality is available to us for arbitrary positive real
number .
We choose an smaller than |w1 − w2 |/2 we arrive at a contradiction
|w1 − w2 | < |w1 − w2 |.
J. K. Sahoo (BITS Goa) Complex Variables and Applications Analytic functions 26 / 77
Examples
Example
z 2 −z 2
Let f (z) = z . Find lim f (z).
z→0
Example
1−z
Let f (z) = 1−z . Find lim f (z) if exists ?
z→1
Solution:
x (1,0)
if and only if
lim u(x , y ) = u0
(x ,y )→(x0 ,y0 )
and
lim v (x , y ) = v0
(x ,y )→(x0 ,y0 )
Note:
if and only if
lim u(x , y ) = u0
(x ,y )→(x0 ,y0 )
and
lim v (x , y ) = v0
(x ,y )→(x0 ,y0 )
Note:
Example
z
Find lim if exists.
z→0 z
Example
z
Find lim if exists.
z→0 z
Solution:
x 2 −y 2
Since f (z) = z
z = x 2 +y 2
+ i x 22xy
+y 2
.
Example
z
Find lim if exists.
z→0 z
Solution:
x 2 −y 2
Since f (z) = z
z = x 2 +y 2
+ i x 22xy
+y 2
.
Theorem
Let us assume
lim f (z) = w0
z→z0
lim g(z) = p0
z→z0
Theorem
Let us assume
lim f (z) = w0
z→z0
lim g(z) = p0
z→z0
Then:
1 lim (f (z) + g(z)) = w0 + p0
z→z0
Theorem
Let us assume
lim f (z) = w0
z→z0
lim g(z) = p0
z→z0
Then:
1 lim (f (z) + g(z)) = w0 + p0
z→z0
2 lim f (z)g(z) = w0 p0
z→z0
Theorem
Let us assume
lim f (z) = w0
z→z0
lim g(z) = p0
z→z0
Then:
1 lim (f (z) + g(z)) = w0 + p0
z→z0
2 lim f (z)g(z) = w0 p0
z→z0
f (z) w0
3 If p0 6= 0 then lim =
z→z0 g(z) p0
1
2 lim f (z) = w0 if and only if lim f = w0 .
z→∞ z→0 z
1
2 lim f (z) = w0 if and only if lim f = w0 .
z→∞ z→0 z
1
3 lim f (z) = ∞ if and only if =0
z→∞ lim f (1/z)
z→0
Example
1
Show that lim = ∞.
z→1 (z − 1)3
Solution:
Example
1
Show that lim = ∞.
z→1 (z − 1)3
Solution:
1
lim = lim (z − 1)3
z→1 f (z) z→1
= 0.
1
So by part (1), of the above theorem, we get lim = ∞.
z→1 (z − 1)3
Solution:
Solution:
4
1
z2
lim f = lim
2
z→0 z z→0 1
−1
z
Solution:
4
1
z2
lim f = lim
2
z→0 z z→0 1
−1
z
lim 4
z→0
= 2
lim (z − 2z + 1)
z→0
4
= = 4.
1
Solution:
4
1
z2
lim f = lim
2
z→0 z z→0 1
−1
z
lim 4
z→0
= 2
lim (z − 2z + 1)
z→0
4
= = 4.
1
4z 2
So by part (2), of the above theorem, we get lim = 4.
z→∞ (z − 1)2
J. K. Sahoo (BITS Goa) Complex Variables and Applications Analytic functions 34 / 77
Examples
Example
z2 + 1
Show that lim = ∞.
z→∞ z − 1
Solution:
Example
z2 + 1
Show that lim = ∞.
z→∞ z − 1
Solution:
1 1/z − 1
lim = lim
z→0 f (1/z) z→0 (1/z)2 + 1
Example
z2 + 1
Show that lim = ∞.
z→∞ z − 1
Solution:
1 1/z − 1
lim = lim
z→0 f (1/z) z→0 (1/z)2 + 1
1−z
= lim z
z→0 1 + z2
= 0 × 1 = 0.
z2 + 1
So by part (3), of the above theorem, we get lim = ∞.
z→∞ z 2 − 1
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
, δ definition
Given > 0 real number there is a δ > 0 real number such that
|z − z0 | < δ =⇒ |f (z) − f (z0 )| < .
, δ definition
Given > 0 real number there is a δ > 0 real number such that
|z − z0 | < δ =⇒ |f (z) − f (z0 )| < .
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
f (z) − f (z0 )
f 0 (z0 ) = lim
z→z0 z − z0
Example
Discuss the differentiability of |z|2 .
f (0 + ∆z) − f (0)
f 0 (0) = lim
∆z→0 ∆z
Example
Discuss the differentiability of |z|2 .
f (0 + ∆z) − f (0)
f 0 (0) = lim
∆z→0 ∆z
|∆z| 2
= lim
∆z→0 ∆z
Example
Discuss the differentiability of |z|2 .
f (0 + ∆z) − f (0)
f 0 (0) = lim
∆z→0 ∆z
|∆z| 2
= lim
∆z→0 ∆z
∆z∆z
= lim
∆z→0 ∆z
= lim ∆z = 0.
∆z→0
Therefore, f 0 (z0 ) does not exist since the limit does not exist.
d n
1
dz z = nz n−1 for any natural number n.
d d d
dz (f (z) + g(z)) = dz f (z) + dz g(z).
2
d n
1
dz z = nz n−1 for any natural number n.
d d d
dz (f (z) + g(z)) = dz f (z) + dz g(z).
2
d d d
dz f (z)g(z) = f (z) dz g(z) + g(z) dz f (z).
3
d d
4
dz cf (z) = c dz f (z) for any c ∈ C.
d n
1
dz z = nz n−1 for any natural number n.
d d d
dz (f (z) + g(z)) = dz f (z) + dz g(z).
2
d d d
dz f (z)g(z) = f (z) dz g(z) + g(z) dz f (z).
3
d d
4
dz cf (z) = c dz f (z) for any c ∈ C.
d d
d f (z) g(z) dz f (z)−f (z) dz g(z)
5
dz g(z) = g(z)2 .
d n
1
dz z = nz n−1 for any natural number n.
d d d
dz (f (z) + g(z)) = dz f (z) + dz g(z).
2
d d d
dz f (z)g(z) = f (z) dz g(z) + g(z) dz f (z).
3
d d
4
dz cf (z) = c dz f (z) for any c ∈ C.
d d
d f (z) g(z) dz f (z)−f (z) dz g(z)
5
dz g(z) = g(z)2 .
ux (x , y ) = vy (x , y )
uy (x , y ) = −vx (x , y )
(a) f (z) = z.
(b) f (z) = Im(z).
(c) f (z) = Re(z).
(d) f (z) = 2x + ixy 2 .
(e) f (z) = e z = e x e −iy .
Note: This theorem helps not only existence but also finding the derivative.
J. K. Sahoo (BITS Goa) Complex Variables and Applications Analytic functions 48 / 77
Examples
(a) f (z) = iz + 2.
(b) f (z) = x 2 + iy 2 .
(c) f (z) = zIm(z).
(d) f (z) = e −z = e −x e −iy .
Solution.
Solution.
Solution.
p
Example. Show that the function f (z) = |xy | satisfies CR equations
but not differentiable. Explain why.
p
Example. Show that the function f (z) = |xy | satisfies CR equations
but not differentiable.
p Explain why.
Solution. u = |xy |, v = 0, so the partials at the origin are
ux = uy = 0 = vx = vy , so it satisfies the CR equations.
p
Example. Show that the function f (z) = |xy | satisfies CR equations
but not differentiable.
p Explain why.
Solution. u = |xy |, v = 0, so the partials at the origin are
ux = uy = 0 = vx = vy , so it satisfies the CR equations.But the partial
derivatives are not continuous since away from x = 0
p
Example. Show that the function f (z) = |xy | satisfies CR equations
but not differentiable.
p Explain why.
Solution. u = |xy |, v = 0, so the partials at the origin are
ux = uy = 0 = vx = vy , so it satisfies the CR equations.But the partial
derivatives are not continuous since away from x = 0 the partials of u are
1/2 1/2
ux = 12 |y |
|x | if x > 0 and ux = − 12 |y |
|x | if x < 0 and at (0, 0) it is 0,
so ux is not continuous.
p
Example. Show that the function f (z) = |xy | satisfies CR equations
but not differentiable.
p Explain why.
Solution. u = |xy |, v = 0, so the partials at the origin are
ux = uy = 0 = vx = vy , so it satisfies the CR equations.But the partial
derivatives are not continuous since away from x = 0 the partials of u are
1/2 1/2
ux = 12 |y |
|x | if x > 0 and ux = − 12 |y |
|x | if x < 0 and at (0, 0) it is 0,
so ux is not continuous. One can show that the √ function is not
|∆x ∆y |
differentiable by showing that the limit lim∆z→0 ∆z does not exist by
choosing some appropriate lines of approach.
Example
Let (
1
|z|2 sin |z| if z 6= 0.
f (z) =
0 if z = 0.
Show that the function f is differentiable at z = 0 but the partial
derivative of Re f (z), i.e, ux (x , y ) is not continuous at (0, 0).
∂f ∂f ∂x ∂f ∂y 1 ∂f ∂f
= + = +i . (1)
∂z ∂x ∂z ∂y ∂z 2 ∂x ∂y
∂f ∂f ∂x ∂f ∂y 1 ∂f ∂f
= + = +i . (1)
∂z ∂x ∂z ∂y ∂z 2 ∂x ∂y
∂f 1
= [(ux − vy ) + i(uy + vx )] (2)
∂z 2
∂f ∂f ∂x ∂f ∂y 1 ∂f ∂f
= + = +i . (1)
∂z ∂x ∂z ∂y ∂z 2 ∂x ∂y
∂f 1
= [(ux − vy ) + i(uy + vx )] (2)
∂z 2
From equation (2), it follows the following theorem,
Theorem
∂f
Let f (z) = u(x , y ) + iv (x , y ). Then ∂z = 0 if and only u and v satisfies
the C-R equations.
Similarly
Cauchy-Riemann Equation
Let f (z) = u(r , θ) + iv (r , θ). Then the following equations
rur = vθ
uθ = −rvr
Theorem
Let the function f (z) = u(r , θ) + iv (r , θ) be defined in some
neighborhood of a point z0 = r0 eiθ0 , and suppose that
(i) the first partial derivatives of the functions u and v exists everywhere
in the neighborhood.
(ii) those partial derivatives are continuous at (r0 , θ0 ) and satisfy the
Cauchy-Riemann equations at (r0 , θ0 ) :
rur = vθ ;
uθ = −rvr ;
then f 0 (z0 ) exists and it is equal to e −iθ (ur (r0 , θ0 ) + ivr (r0 , θ0 )) .
Example
√
Let f (z) = r e iθ/2 (r > 0, α < θ < α + 2π, α ∈ R). Check the
differentiability of f (z) ? Also find f 0 (z) if exists.
Example
√
Let f (z) = r e iθ/2 (r > 0, α < θ < α + 2π, α ∈ R). Check the
differentiability of f (z) ? Also find f 0 (z) if exists.
Solution: f 0 (z) = √1
2 r e iθ/2
.
Example
√
Let f (z) = r e iθ/2 (r > 0, α < θ < α + 2π, α ∈ R). Check the
differentiability of f (z) ? Also find f 0 (z) if exists.
Solution: f 0 (z) = √1
2 r e iθ/2
.
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
Definition
A complex function f is called analytic ( or regular or holomorphic ) at a
point z0 in it’s domain if it is differentiable at each point in some
neighborhood of z0 .
Definition
A complex function f is called analytic ( or regular or holomorphic ) at a
point z0 in it’s domain if it is differentiable at each point in some
neighborhood of z0 .
Definition
A complex function f is called analytic ( or regular or holomorphic ) at a
point z0 in it’s domain if it is differentiable at each point in some
neighborhood of z0 .
definition
A function is called entire if it is analytic everywhere on the complex plane.
Definition
A complex function f is called analytic ( or regular or holomorphic ) at a
point z0 in it’s domain if it is differentiable at each point in some
neighborhood of z0 .
definition
A function is called entire if it is analytic everywhere on the complex plane.
Example: The functions f (z) = |z|2 has no singular points since it is not
analytic anywhere.
Example: The functions f (z) = |z|2 has no singular points since it is not
analytic anywhere.
Example: The functions f (z) = |z|2 has no singular points since it is not
analytic anywhere.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Since f 0 (z) = 0 = ux + ivx = vy − iuy = 0 or all the partials are zero.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Since f 0 (z) = 0 = ux + ivx = vy − iuy = 0 or all the partials are zero. This
means the functions u, v are constant along any line parallel to the
coordinate axes.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Since f 0 (z) = 0 = ux + ivx = vy − iuy = 0 or all the partials are zero. This
means the functions u, v are constant along any line parallel to the
coordinate axes. Now any two points in the domain D can be joined by
paths with segments parallel to the axes.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Since f 0 (z) = 0 = ux + ivx = vy − iuy = 0 or all the partials are zero. This
means the functions u, v are constant along any line parallel to the
coordinate axes. Now any two points in the domain D can be joined by
paths with segments parallel to the axes. As the functions are constant on
the segments it is constant throughout.
Theorem
If f (z) is a complex constant then f 0 (z) = 0.
Theorem
If f 0 (z) = 0 for all z ∈ D in a domain (open and connected). Then f (z)
constant for all z ∈ D.
Since f 0 (z) = 0 = ux + ivx = vy − iuy = 0 or all the partials are zero. This
means the functions u, v are constant along any line parallel to the
coordinate axes. Now any two points in the domain D can be joined by
paths with segments parallel to the axes. As the functions are constant on
the segments it is constant throughout.
Example
Define f : C \ {z : 1 ≤ z ≤ 3} → C by
(
0 if |z| < 1.
f (z) =
i if |z| > 3.
Example
If f (z) and f (z) are both analytic in a domain then f is constant on the
domain.
Example
If f (z) and f (z) are both analytic in a domain then f is constant on the
domain.
Solution. Let us write f (z) = u + iv since f is analytic the CR equations
are satisfied everywhere ie ux = vy and uy = −vx ,
Example
If f (z) and f (z) are both analytic in a domain then f is constant on the
domain.
Solution. Let us write f (z) = u + iv since f is analytic the CR equations
are satisfied everywhere ie ux = vy and uy = −vx , Now f (z) = u − iv is
also analytic so the CR equations are satisfied for this function hence
ux = −vy and uy = vx , together these equations mean
ux = vx = uy = vy = 0,
Example
If f (z) and f (z) are both analytic in a domain then f is constant on the
domain.
Solution. Let us write f (z) = u + iv since f is analytic the CR equations
are satisfied everywhere ie ux = vy and uy = −vx , Now f (z) = u − iv is
also analytic so the CR equations are satisfied for this function hence
ux = −vy and uy = vx , together these equations mean
ux = vx = uy = vy = 0, so by the theorem above f is constant on the
domain.
Example
Let f (z) be an analytic function on a domain D. If any one of the
following holds
(i) Re f (z) is constant,
(i) Im f (z) is constant,
(i) Arg f (z) is constant,
then f is constant on that domain.
1 Preliminaries
2 Complex functions
4 Continuity
5 Derivatives
6 Analytic functions
7 Harmonic functions
Theorem
Let f (z) = u + iv be an analytic function then u, v are harmonic functions.
Theorem
Let f (z) = u + iv be an analytic function then u, v are harmonic functions.
Theorem
Let f (z) = u + iv be an analytic function then u, v are harmonic functions.
Theorem
Let f (z) = u + iv be an analytic function then u, v are harmonic functions.
Theorem
Let f (z) = u + iv be an analytic function then u, v are harmonic functions.
Definition
If u, v are harmonic functions defined on a domain D such that they
satisfy the CR equations namely ux = vy ; uy = −vx , then we will call v
to be a harmonic conjugate of u.
Definition
If u, v are harmonic functions defined on a domain D such that they
satisfy the CR equations namely ux = vy ; uy = −vx , then we will call v
to be a harmonic conjugate of u.
Theorem
A function f (z) = u + iv is analytic if and only if v is a harmonic
conjugate of u.
Definition
If u, v are harmonic functions defined on a domain D such that they
satisfy the CR equations namely ux = vy ; uy = −vx , then we will call v
to be a harmonic conjugate of u.
Theorem
A function f (z) = u + iv is analytic if and only if v is a harmonic
conjugate of u.
Definition
If u, v are harmonic functions defined on a domain D such that they
satisfy the CR equations namely ux = vy ; uy = −vx , then we will call v
to be a harmonic conjugate of u.
Theorem
A function f (z) = u + iv is analytic if and only if v is a harmonic
conjugate of u.
Definition
If u, v are harmonic functions defined on a domain D such that they
satisfy the CR equations namely ux = vy ; uy = −vx , then we will call v
to be a harmonic conjugate of u.
Theorem
A function f (z) = u + iv is analytic if and only if v is a harmonic
conjugate of u.
Exercise
Let f (z) = u(x , y ) + iv (x , y ) defined on a domain D. If u is harmonic
conjugate of v and v is harmonic conjugate of u, then f is constant.
ux = vy , uy = −vx . (3)
Exercise
Let f (z) = u(x , y ) + iv (x , y ) defined on a domain D. If u is harmonic
conjugate of v and v is harmonic conjugate of u, then f is constant.
ux = vy , uy = −vx . (3)
v x = uy , vy = −ux . (4)
Exercise
Let f (z) = u(x , y ) + iv (x , y ) defined on a domain D. If u is harmonic
conjugate of v and v is harmonic conjugate of u, then f is constant.
ux = vy , uy = −vx . (3)
v x = uy , vy = −ux . (4)
Exercise
Let f (z) = u(x , y ) + iv (x , y ) defined on a domain D. Show that −u is a
harmonic conjugate of v .
Theorem
Let u be a harmonic function defined on a domain D. Then harmonic
conjugate of u is exists and equal to v , where
Z y Z x
v (x , y ) = ux (x , t)dt − uy (s, 0)ds.
0 0
Solution:
Find the partials: ux = −6xy , uy = (3y 2 − 3x 2 ).
Solution:
Find the partials: ux = −6xy , uy = (3y 2 − 3x 2 ).
Evaluate: ux (x , t) = −6xt, uy (s, 0) = −3s 2 .
Solution:
Find the partials: ux = −6xy , uy = (3y 2 − 3x 2 ).
Evaluate: ux (x , t) = −6xt, uy (s, 0) = −3s 2 .
Now,
Z y Z x
v (x , y ) = ux (x , t)dt − uy (s, 0)ds
0
Z y Z 0x
= −6x tdt + 3 s 2 ds
0 0
= −3xy + x 3 + C ,
2