You are on page 1of 80

Heaven’s Light is Our Guide

Rajshahi University of Engineering & Technology


Department of Mathematics

Course No.: Math.-2217


Course Teacher: Md. Nazmul Sharif
Department of Mathematics
Rajshahi University of Engineering & Technology
Rajshahi-6204, Bangladesh

1
Analytic Functions
and
C-R Equations
Analytic Functions
▪ Functions of a Complex Variable; Mappings
▪ Limits; Theorems on Limits
▪ Continuity; Derivatives; Differentiation Formulas
▪ Cauchy-Riemann Equations; Sufficient Conditions for
Differentiability; Polar Coordinates;
▪ Analytic Functions; Harmonic Functions; Uniquely
Determined Analytic Functions; Reflection Principle

3 School of Software
Functions of a Complex Variable

▪ Function of a complex variable


Let s be a set complex numbers. A function f defined on
S is a rule that assigns to each z in S a complex number
w.

Complex Complex
numbers numbers
f
z w

S S’

The domain of definition of f The range of f

4 School of Software
Functions of a Complex Variable

Suppose that w=u+iv is the value of a function f at z=x+iy,


so that
u + iv = f ( x + iy)
Thus each of real number u and v depends on the real
variables x and y, meaning that

f ( z ) = u( x, y) + iv( x, y)

Similarly if the polar coordinates r and θ, instead of x and


y, are used, we get
f ( z ) = u (r , ) + iv(r ,  )

5 School of Software
Functions of a Complex Variable

▪ Example
If f(z)=z2, then When v=0, f is a real-valued function.
case #1: z = x + iy
f ( z ) = ( x + iy) 2 = x 2 − y 2 + i 2 xy
u ( x, y) = x 2 − y 2 ; v( x, y ) = 2 xy

case #2: z = rei


f ( z ) = (rei )2 = r 2ei 2 = r 2 cos 2 + ir 2 sin 2

u (r , ) = r 2 cos 2 ; v(r , ) = r 2 sin 2

6 School of Software
Functions of a Complex Variable

▪ Example
A real-valued function is used to illustrate some important
concepts later in this chapter is
f ( z ) =| z |2 = x 2 + y 2 + i 0
▪ Polynomial function
P( z) = a0 + a1 z + a2 z 2 + ... + an z n
where n is zero or a positive integer and a0, a1, …an are complex
constants, an is not 0;The domain of definition is the entire z plane
▪ Rational function
the quotients P(z)/Q(z) of polynomials.
The domain of definition is Q(z)≠0

7 School of Software
Functions of a Complex Variable

▪ Multiple-valued function
A generalization of the concept of function is a rule that
assigns more than one value to a point z in the domain
of definition.

Complex Complex
numbers numbers
f
w2
z w1
wn
S S’

8 School of Software
Functions of a Complex Variable

▪ Example
Let z denote any nonzero complex number, then z1/2 has
the two values

1/2
z =  r exp(i ) Multiple-valued function
2
If we just choose only the positive value of  r

z1/2
= r exp(i ), r  0 Single-valued function
2

9 School of Software
Mappings

▪ Graphs of Real-value functions

f=tan(x)

f=ex
Note that both x and f(x) are real values.

10 School of Software
Mappings

▪ Complex-value functions
f ( z ) = f ( x + yi) = u ( x, y) + iv( x, y)

mapping
v
y

z(x,y) w(u(x,y),v(x,y))

u
x

Note that here x, y, u(x,y) and v(x,y) are all real values.

11 School of Software
Mappings

▪ Examples
y v

w = z + 1 = ( x + 1) + iy z(x,y) w(x+1,y)

Translation Mapping
x u

y v

w = z = x − yi z(x,y)

Reflection Mapping u
w(x,-y)

12 School of Software
Mappings

▪ Example

w = iz = i(re ) = r exp(i( + ))
i
Rotation Mapping
2
y v

z w 
r 2 r
θ θ
u

13 School of Software
Mappings

▪ Example
w = z2 u = x 2 − y 2 , v = 2 xy
Let u=c1>0 in the w plane, then x2-y2=c1 in the z plane

Let v=c2>0 in the w plane, then 2xy=c2 in the z plane

14 School of Software
Mappings

▪ Example
The domain x>0, y>0, xy<1 consists of all points lying on
the upper branches of hyperbolas
u = x2 − y 2 ;
v = 2 xy = 2  xy = 1

x=0,y>0

x>0,y=0

15 School of Software
Mappings

▪ Example
2 i 2
w= z =r e
2 In polar coordinates

16 School of Software
Limits

▪ For a given positive value ε, there exists a positive value δ


(depends on ε) such that
when 0 < |z-z0| < δ, we have |f(z)-w0|< ε
meaning the point w=f(z) can be made arbitrarily chose to w0
if we choose the point z close enough to z0 but distinct from
it.

lim f ( z ) = w0
z → z0

17 School of Software
Limits

▪ The uniqueness of limit


If a limit of a function f(z) exists at a point z0, it is unique.
Proof: suppose that zlim f ( z ) = w0 & lim f ( z ) = w1
→z 0 z →z 0

then  / 2  0,  0  0, 1  0
when 0 | z − z0 |  0 | f ( z ) − w0 |  / 2;
0 | z − z0 | 1 | f ( z ) − w1 |  / 2;
Let  = min( 0 , 1 ) , when 0<|z-z0|<δ, we have
| w1 − w0 |=| ( f ( z ) − w0 ) − ( f ( z ) − w1 ) |
 
| f ( z) − w0 | + | f ( z ) − w1 | + =
2 2

18 School of Software
Limits

▪ Example
Show that f ( z) = iz / 2 in the open disk |z|<1, then
i
lim f ( z ) =
z →1 2
Proof:
i iz i | i || z − 1| | z − 1|
| f ( z ) − |=| − |= =
2 2 2 2 2
  0,  = 2 , s.t.

when 0 | z − 1|  (= 2 )

| z − 1| i
0   | f ( z) − | 
2 2

19 School of Software
Limits

▪ Example
z
If f ( z) = then the limit lim f ( z ) does not exist.
z z →0

x + i0
z = ( x, 0) lim =1
x →0 x − i 0


0 + iy
z = (0, y) lim = −1
y →0 0 − iy

20 School of Software
Theorems on Limits

▪ Theorem
Let zlim f ( z ) = w0 and lim F ( z ) = W0
→z 0 z → z0

then lim[ f ( z )  F ( z )] = w0  W0
z → z0

lim[ f ( z ) F ( z )] = w0W0
z → z0

f ( z) w0
lim[ ]= ,W0  0
z → z0 F ( z ) W0

21 School of Software
Theorems on Limits

lim f ( z ) = w0 & lim F ( z ) = W0 lim[ f ( z ) F ( z )] = w0W0


z → z0 z → z0 z → z0

Let f ( z ) = u( x, y) + iv( x, y), F ( z ) = U ( x, y) + iV ( x, y )


z0 = x0 + iy0 ; w0 = u0 + iv0 ;W0 = U 0 + iV0

f ( z ) F ( z ) = (uU − vV ) + i(vU + uV )

lim f ( z ) = w0
z → z0 When (x,y)→(x0,y0);
u(x,y)→u0; v(x,y)→v0; & U(x,y)→U0; V(x,y)→V0;
lim F ( z ) = W0
z → z0

Re(f(z)F(z)): (u0U 0 − v0V0 )


w0W0
Im(f(z)F(z)): (v0U 0 + u0V0 )
22 School of Software
Theorems on Limits

It is easy to verify the limits

lim c = c lim z = z0 lim z n = z0n (n = 1, 2,...)


z → z0 z → z0 z → z0

For the polynomial

P( z) = a0 + a1 z + a2 z 2 + ... + an z n
We have that
lim P( z ) = P( z0 )
z → z0

23 School of Software
Limits Involving the Point at Infinity

▪ Theorem
If z0 and w0 are points in the z and w planes,
respectively, then
1
lim f ( z ) =  iff lim =0
z → z0 z → z0 f ( z )

lim f ( z ) = w0 1
z →
iff lim f ( ) = w0
z →0 z
1
lim f ( z ) =  iff lim =0
z → z →0 1
f( )
z

24 School of Software
Limits Involving the Point at Infinity

▪ Examples

25 School of Software
Continuity

▪ Continuity
A function is continuous at a point z0 if
lim f ( z ) = f ( z0 )
z → z0
meaning that
1. the function f has a limit at point z0 and
2. the limit is equal to the value of f(z0)

For a given positive number ε, there exists a positive number δ, s.t.

When | z − z0 |  | f ( z ) − f ( z0 ) | 
0 | z − z0 |  ?
26 School of Software
Continuity

▪ Theorem
If a function f is continuous throughout a region R that is
both closed and bounded, there exists a nonnegative real
number M such that

| f ( z ) | M for all points z in R

where equality holds for at least one such z.

Note: | f ( z ) |= u 2 ( x, y ) + v 2 ( x, y )
where u(x,y) and v(x,y) are continuous real functions

27 School of Software
Derivatives

▪ Derivative
Let f be a function whose domain of definition contains
a neighborhood |z-z0|<ε of a point z0. The derivative of f
at z0 is the limit f ( z ) − f ( z0 )
f '( z0 ) = lim
z → z0 z − z0
And the function f is said to be differentiable at z0 when
f’(z0) exists.

28 School of Software
Derivatives
• Illustration of Derivative
Any position
f ( z ) − f ( z0 )
f '( z0 ) = lim
z → z0 z − z0

f ( z0 + z ) − f ( z0 )
f '( z0 ) = lim
z →0 z
f(z0+Δz)
z = z0 + z v
w = f ( z0 + z ) − f ( z0 ) Δw

dw w f(z0)
= lim
dz z →0 z O
u
u

29 School of Software
Derivatives

▪ Example
Suppose that f(z)=z2. At any point z

w ( z + z )2 − z 2
lim = lim = lim(2 z + z ) = 2 z
z →0 z z →0 z z →0

since 2z + Δz is a polynomial in Δz. Hence dw/dz=2z or f’(z)=2z.

30 School of Software
Derivatives

▪ Example
w z + z − z z + z − z z
If f(z)=z, then = = =
z z z z

z = (x, y) → (0,0) In any direction


Δy
Case #2
Case #1: Δx→0, Δy=0
Case #1

z x − i0 O Δx
lim = =1
x →0 z x + i0

Case #2: Δx=0, Δy→0

z 0 − iy
lim = = −1
x →0 z 0 + iy

Since the limit is unique, this function does not exist anywhere

31 School of Software
Derivatives

▪ Example
Consider the real-valued function f(z)=|z|2. Here

w | z + z |2 − | z |2 ( z + z )( z + z ) − zz z
= = = z + z + z
z z z z

Case #1: Δx→0, Δy=0


z x − i0
lim ( z + z + z ) = lim ( z + x + z )= z+z
x →0 z x→0 x + i0
Case #2: Δx=0, Δy→0

z 0 − iy
lim ( z + z + z ) = lim ( z − iy + z )= z−z
y →0 z y → 0 0 + iy

z+z = z−zz =0 dw/dz can not exist when z is not 0

32 School of Software
Derivatives

▪ Continuity & Derivative


Continuity Derivative
For instance,
f(z)=|z|2 is continuous at each point, however, dw/dz does not exists when z is not 0

Derivative Continuity
f ( z ) − f ( z0 )
lim[ f ( z ) − f ( z0 )] = lim lim( z − z0 ) = f '( z0 )0 = 0
z → z0 z → z0 z − z0 z → z0

Note: The existence of the derivative of a function at a point implies the continuity
of the function at that point.

33 School of Software
Differentiation Formulas

▪ Differentiation Formulas
d d d
c = 0; z = 1; [cf ( z)] = cf '( z)
dz dz dz
F ( z ) = g ( f ( z ))
d n
[ z ] = nz n−1 Refer to pp.7 (13) F '( z0 ) = g '( f ( z0 )) f '( z0 )
dz
dW dW dw
d =
[ f ( z )  g ( z )] = f '( z )  g '( z ) dz dw dz
dz
d
[ f ( z) • g ( z)] = f ( z) • g '( z) + f '( z) • g ( z)
dz
d f ( z) f '( z ) • g ( z ) − f ( z ) • g '( z )
[ ]=
dz g ( z ) [ g ( z )]2
34 School of Software
Differentiation Formulas

▪ Example
To find the derivative of (2z2+i)5, write w=2z2+i and
W=w5. Then

d
(2 z 2 + i)5 = (5w4 )w ' = 5(2 z 2 + i)4 (4 z) = 20 z(2 z 2 + i) 4
dz

35 School of Software
Cauchy-Riemann Equations

▪ Theorem
Suppose that f ( z ) = u( x, y) + iv( x, y)
and that f’(z) exists at a point z0=x0+iy0. Then the first-order
partial derivatives of u and v must exist at (x0,y0), and they
must satisfy the Cauchy-Riemann equations

ux = vy ; u y = −vx
then we have
f '( z0 ) = ux ( x0 , y0 ) + ivx ( x0 , y0 )

36 School of Software
Cauchy-Riemann Equations

▪ Proof:
Let z0 = x0 + iy0 ; z = x + iy
w = f ( z0 + z ) − f ( z0 )
= [u ( x0 + x, y0 + y ) − u ( x0 , y0 )] + i[v( x0 + x, y0 + y ) − v( x0 , y0 )]
w
f '( z0 ) = lim
z →0 z

u ( x0 + x, y0 + y ) − u ( x0 , y0 )] + i[v( x0 + x, y0 + y ) − v( x0 , y0 )


= lim
( x , y ) →(0,0) x + iy

Note that (Δx, Δy) can be tend to (0,0) in any manner .

Consider the horizontally and vertically directions

37 School of Software
Cauchy-Riemann Equations

➢ Horizontally direction (Δy=0)


u( x0 + x, y0 + y) − u( x0 , y0 ) + i[v( x0 + x, y0 + y) − v( x0 , y0 )]
f '( z0 ) = lim
x →0 x + i0
u( x0 + x, y0 ) − u( x0 , y0 ) + i[v( x0 + x, y0 ) − v( x0 , y0 )]
= lim
x →0 x
= ux ( x0 , y0 ) + ivx ( x0 , y0 ) Cauchy-Riemann equations

➢ Vertically direction (Δx=0) ux = vy ; u y = −vx


u( x0 , y0 + y) − u( x0 , y0 ) + i[v( x0 , y0 + y) − v( x0 , y0 )]
f '( z0 ) = lim
y →0 0 + iy
i{[u ( x0 , y0 + y) − u ( x0 , y0 )] + i 2[v( x0 , y0 + y) − v( x0 , y0 )]}
= lim
y →0 i(iy )
= vy ( x0 , y0 ) − iu y ( x0 , y0 )
38 School of Software
Cauchy-Riemann Equations

▪ Example
f ( z ) = z 2 = x 2 − y 2 + i 2 xy
is differentiable everywhere and that f’(z)=2z. To verify that
the Cauchy-Riemann equations are satisfied everywhere,
write
u ( x, y ) = x − y
2 2
v( x, y) = 2 xy
ux = 2 x = v y u y = −2 y = −vx

f '( z ) = 2 x + i 2 y = 2( x + iy) = 2 z

39 School of Software
Cauchy-Riemann Equations

▪ Example
f ( z ) =| z |2

u ( x, y) = x 2 + y 2 v ( x, y ) = 0

If the C-R equations are to hold at a point (x,y), then


ux = u y = vy = −vx = 0
x= y=0
Therefore, f’(z) does not exist at any nonzero point.

40 School of Software
Sufficient Conditions for Differentiability

▪ Theorem
f ( z ) = u( x, y) + iv( x, y)
be defined throughout some ε neighborhood of a point z0 = x0
+ iy0, and suppose that
a. the first-order partial derivatives of the functions u and v with
respect to x and y exist everywhere in the neighborhood;
b. those partial derivatives are continuous at (x0, y0) and satisfy the
Cauchy–Riemann equations

ux = vy ; u y = −vx at (x0,y0)

Then f ’(z0) exists, its value being f ’ (z0) = ux + ivx where the right-
hand side is to be evaluated at (x0, y0).

41 School of Software
Sufficient Conditions for Differentiability

42
Sufficient Conditions for Differentiability

43
Sufficient Conditions for Differentiability

44
Sufficient Conditions for Differentiability

▪ Example

f ( z ) = e z = e x ei y = e x cos y + ie x sin y

u ( x, y ) = e x cos y v( x, y ) = e x sin y
Both Assumptions (a) and (b) in the theorem are satisfied.

f '( z) = ux + ivx = e x cos y + ie x sin y = f ( z )

45 School of Software
Sufficient Conditions for Differentiability

▪ Example
f ( z ) =| z |2

u ( x, y) = x 2 + y 2 v ( x, y ) = 0

ux = v y  2 x = 0  x = 0
u y = −vx  2 x = 0  y = 0

Therefore, f has a derivative at z=0, and cannot have a derivative at any nonzero points.

46 School of Software
47
48
Polar Coordinates

▪ Assuming that z0≠0


x = r cos  , y = r sin 
u u x u y u u x u y
= + = +
r x r y r  x  y 

ur = ux cos + u y sin  u = −ux r sin  + u y r cos


Similarly vr = vx cos + vy sin  v = −vx r sin  + vy r cos 
If the partial derivatives of u and v with respect to x and y satisfy the Cauchy-Riemann equations

ux = vy ; u y = −vx

rur = v ; u = −rvr

49 School of Software
Polar Coordinates

▪ Theorem
Let the function f(z)=u(r,θ)+iv(r,θ) be defined throughout
some ε neighborhood of a nonzero point z0=r0exp(iθ0) and
suppose that
(a)the first-order partial derivatives of the functions u and v with
respect to r and θ exist everywhere in the neighborhood;
(b)those partial derivatives are continuous at (r0, θ0) and satisfy
the polar form rur = vθ, uθ = −rvr of the Cauchy-Riemann
equations at (r0, θ0)
Then f’(z0) exists, its value being

f '( z0 ) = e−i (ur (r0 ,0 ) + ivr (r0 ,0 ))


50 School of Software
Polar Coordinates

▪ Example
Consider the function
1 1 1 1
f ( z) = = i = e−i = (cos  − i sin  ), z  0
z re r r
cos  sin 
Then u (r ,  ) = , v( r ,  ) = −
r r
cos  sin 
rur = − = v & u = − = −rvr
r r

− i cos  sin  − i e
− i
1 1
f '( z ) = e (− 2 + i 2 ) = e 2
= − i 2 = − 2
r r r (re ) Z

51 School of Software
Analytic Function

▪ Analytic at a point z0
A function f of the complex variable z is analytic at a
point z0 if it has a derivative at each point in some
neighborhood of z0.
Note that if f is analytic at a point z0, it must be analytic at each
point in some neighborhood of z0

▪ Analytic function
A function f is analytic in an open set if it has a
derivative everywhere in that set.
Note that if f is analytic in a set S which is not open, it is
to be understood that f is analytic in an open set
containing S. 52 School of Software
Analytic Function

▪ Analytic vs. Derivative


➢ For a point
Analytic ➔ Derivative
Derivative ➔Analytic

➢ For all points in an open set


Analytic ➔ Derivative
Derivative ➔Analytic
f is analytic in an open set D iff f is derivative in D

53 School of Software
Analytic Function

▪ Singular point (singularity)


If function f fails to be analytic at a point z0 but is analytic at
some point in every neighborhood of z0, then z0 is called a
singular point.
For instance, the function f(z)=1/z is analytic at every point in the
finite plane except for the point of (0,0). Thus (0,0) is the
singular point of function 1/z.
▪ Entire Function
An entire function is a function that is analytic at each point
in the entire finite plane.
For instance, the polynomial is entire function.

54 School of Software
Analytic Function

▪ Property 1
If two functions are analytic in a domain D, then
➢ their sum and product are both analytic in D
➢ their quotient is analytic in D provided the function in the
denominator does not vanish at any point in D

▪ Property 2
From the chain rule for the derivative of a composite function, a
composition of two analytic functions is analytic.
d
g ( f ( z )) = g '[ f ( z)] f '( z)
dz

55 School of Software
Examples

▪ Example
The quotient
z3 + 4
f ( z) = 2
( z − 3)( z 2 + 1)

is analytic throughout the z plane except for the singular


points
z =  3 & z = i

56 School of Software
Examples

▪ Example
Suppose that a function f ( z) = u( x, y) + iv( x, y) and its
conjugate f ( z) = u( x, y) − iv( x, y) are both analytic in a
given domain D. Show that f(z) must be constant
throughout D.
Proof: f ( z ) = u( x, y) + iv( x, y) is analytic, then ux = vy , u y = −vx

f ( z ) = u( x, y) − iv( x, y) is analytic, then ux = −vy , u y = vx

u x = 0, vx = 0 f '( z ) = u x + ivx = 0

we have that f is constant throughout D

57 School of Software
Examples

▪ Example
Suppose that f is analytic throughout a given region D, and
the modulus |f(z)| is constant throughout D, then the
function f(z) must be constant there too.
Proof:
|f(z)| = c, for all z in D
where c is real constant.
If c=0, then f(z)=0 everywhere in D.
If c ≠ 0, we have
c2
f ( z) f ( z) = c 2
f ( z) = , f ( z )  0inD
f ( z)
Both f and it conjugate are analytic, thus f must be constant in D.

58 School of Software
Example:

59
Example:

60
61
Example:

62
63
64
Harmonic Functions

▪ A Harmonic Function
A real-valued function H of two real variables x and y is
said to be harmonic in a given domain of the xy plane if,
throughout that domain, it has continuous partial derivatives
of the first and second order and satisfies the partial
differential equation
H xx ( x, y) + H yy ( x, y) = 0

Known as Laplace’s equation.

65 School of Software
Harmonic Functions

▪ Theorem
If a function f (z) = u(x, y) + iv(x, y) is analytic in a domain
D, then its component functions u and v are harmonic in D.
Proof: f ( z) = u( x, y) + iv( x, y) is analytic in D
ux = vy & u y = −vx
Differentiating both sizes of these equations with respect to x and y respectively, we have
uxx = vyx & u yx = −vxx continuity uxx = vxy & uxy = −vxx
uxy = vyy & u yy = −vxy uxy = vyy & u yy = −vxy
uxx + u yy = 0 & vxx + vyy = 0
Theorem in Sec.52:
a function is analytic at a point, then its real and imaginary components
have continuous partial derivatives of all order at that point.

66 School of Software
Harmonic CRCs
u v
=
x y
u
y
=−
v
x
Functions
By definition, derivatives of a real function f depend only on the local behavior of f.

But derivatives of a complex function f depend on the global behavior of f.

Let  ( z ) = u + iv
u v u v
 is analytic → = =−
x y y x

2 u 2 v 2 v 2 u 2 u 2 u
 = = =− + =0
x 2
x y  yx  y2 x 2
y 2


 v
2
 u 2
2 u  v
2
2 v 2 v
= = =− + =0
 y2  y  x  x y  x2  x2  y2

i.e., The real & imaginary parts of  must each satisfy a 2-D Laplace equation.
( u & v are harmonic functions )
u v u v
CRCs = =−
x y y x

Contours of u & v are given by u ( x, y ) = c v ( x , y ) = c

u u v v
→ du = dx+ dy=0 dv = dx+ dy=0
x y x y

Thus, the slopes at each point of these contours are

u v
dy x dy x
mu =   = − mv =   = −
 d x u u  d x v v
y y

CRCs → mu mv = −1 at the intersections of these 2 sets of contours

i.e., these 2 sets of contours are orthogonal to each other.

( u & v are complementary )


Harmonic Functions

▪ Example
The function f(z)=i/z2 is analytic whenever z≠0 and since
i i  ( z )2 2 xy + i ( x 2 − y 2 )
= 2 =
z 2
z  ( z) 2
( x 2 + y 2 )2

The two functions


2 xy x2 − y 2
u ( x, y) = 2 v ( x, y ) = 2
( x + y 2 )2 ( x + y 2 )2

are harmonic throughout any domain in the xy plane that does not contain the origin.

69 School of Software
Harmonic Functions

▪ Harmonic conjugate
If two given function u and v are harmonic in a domain D
and their first-order partial derivatives satisfy the Cauchy-
Riemann equation throughout D, then v is said to be a
harmonic conjugate of u.
Is the definition symmetry for u and v?

Cauchy-Riemann equation ux = vy & u y = −vx

If u is a harmonic conjugate of v, then

ux = −vy & u y = vx

70 School of Software
Harmonic Functions

▪ Theorem
A function f (z) = u(x, y) + iv(x, y) is analytic in a domain D
if and only if v is a harmonic conjugate of u.

▪ Example
The function f ( z ) = z 2 is entire function, and its real and
imaginary components areu ( x, y) = x 2 − y 2 & v( x, y) = 2 xy
Based on the Theorem 2, v is a harmonic conjugate of u
throughout the plane. However, u is not the harmonic
conjugate of v, since g ( z ) = 2 xy + i ( x 2
− y 2
) is not an analytic
function.
71 School of Software
Harmonic Functions

▪ Example
Obtain a harmonic conjugate of a given function.
u ( x, y ) = y 3 − 3 x 2 y
Suppose that v is the harmonic conjugate of the given function
Then ux = vy & u y = −vx

ux = −6 xy = vy v = −3xy 2 +  ( x)

u y = 3 y 2 − 3 x 2 = −vx 3 y 2 − 3x 2 = −(−3 y 2 +  '( x))

 '( x) = 3x 2   ( x)=x3 + C

v = −3xy 2 + x3 + C

72 School of Software
Example:

73
Example:

74
75
Example:

76
Example:

77
78
Example:

79
80

You might also like