Uploaded by Rana Umair

13. CR-equations and Harmonic Functions

advertisement
CR-Equations
and
Harmonic
functions
Dr. Hina Dutt
hina.dutt@seecs.edu.pk
SEECS-NUST
Advanced
Engineering
Mathematics (10th
Edition) by Ervin
Kreyszig
A First Course in
Complex Analysis
with Applications by
Dennis G. Zill and
Patrick D. Shanahan.
• Chapter: 13
• Sections: 13.4
• Chapter: 3
• Section: 3.2, 3.3
Introduction
โ–ช A complex function ๐‘ค = ๐‘“ (๐‘ง), is said to be analytic in a
domain ๐‘ซ if it differentiable at all points in ๐ท.
โ–ช In order to find out if a complex function is analytic, it is not
possible to check differentiability at each point. Therefore,
an analytic criteria is required to establish analyticity of a
complex function.
โ–ช This criteria was first used by Cauchy and later it was
formally formulated by Riemann which now known as
Cauchy-Riemann equations.
Augustin-Louis Cauchy
Bernhard Riemann
Cauchy-Reimann Equations; Criterion for
Differentiability
Suppose the real functions ๐‘ข(๐‘ฅ, ๐‘ฆ) and ๐‘ฃ(๐‘ฅ, ๐‘ฆ) are continuous and
have continuous first-order partial derivatives in a domain ๐ท. If ๐‘ข and ๐‘ฃ
satisfy the Cauchy-Riemann equations (CR-equations):
๐œ•๐‘ข ๐œ•๐‘ฃ
๐œ•๐‘ข
๐œ•๐‘ฃ
=
and
=−
(1)
๐œ•๐‘ฅ ๐œ•๐‘ฆ
๐œ•๐‘ฆ
๐œ•๐‘ฅ
at all points of ๐ท, then the complex function ๐‘“ ๐‘ง = ๐‘ข ๐‘ฅ, ๐‘ฆ + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ)
is analytic in ๐ท.
Example 1
i. Determine if the function ๐‘“(๐‘ง) = ๐‘ง 2 is analytic or not?
1
ii. Determine the points where function ๐‘“(๐‘ง) =
is not
๐‘ง−1
analytic.
Criterion for Non-Analyticity
If the CR-equations are not satisfied at every point ๐‘ง in a
domain ๐ท, then the function ๐‘“ ๐‘ง = ๐‘ข(๐‘ฅ, ๐‘ฆ) + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ)
cannot be analytic in ๐ท.
Example 2; Criterion for Non-Analyticity
Cauchy-Reimann Equations in Polar
Coordinates
For complicated complex functions it is better to use
Euler’s formula which require that the CR-equations are
obtained in (๐‘Ÿ, ๐œƒ).
The Cauchy-Riemann equations in polar coordinates are
given by:
๐œ•๐‘ข 1 ๐œ•๐‘ฃ
๐œ•๐‘ฃ
1 ๐œ•๐‘ข
=
and
=−
๐œ•๐‘Ÿ ๐‘Ÿ ๐œ•๐œƒ
๐œ•๐‘Ÿ
๐‘Ÿ ๐œ•๐œƒ
Example 3; CR-Equations in Polar Coordinates
Sufficient Conditions for Differentiability
If the real functions ๐‘ข(๐‘ฅ, ๐‘ฆ) and ๐‘ฃ(๐‘ฅ, ๐‘ฆ) are continuous and have continuous first
order partial derivatives in some neighborhood of a point ๐‘ง = ๐‘ฅ + ๐‘–๐‘ฆ, and if ๐‘ข and
๐‘ฃ satisfy the CR-equations at ๐‘ง, then the function ๐‘“ ๐‘ง = ๐‘ข(๐‘ฅ, ๐‘ฆ) + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ) is
differentiable at ๐‘ง and ๐‘“ ′(๐‘ง) is given by:
๐œ•๐‘ข
๐œ•๐‘ฃ
๐œ•๐‘ฃ
๐œ•๐‘ข
๐‘“′(๐‘ง) =
+๐‘–
=
−๐‘–
.
๐œ•๐‘ฅ
๐œ•๐‘ฅ
๐œ•๐‘ฆ
๐œ•๐‘ฆ
The polar version of the above equation at a point ๐‘ง whose polar coordinates are
(๐‘Ÿ, ๐œƒ) is then:
๐œ•๐‘ข
๐œ•๐‘ฃ
1 −๐‘–๐œƒ ๐œ•๐‘ฃ
๐œ•๐‘ข
−๐‘–๐œƒ
๐‘“ ′(๐‘ง) = ๐‘’
+๐‘–
= ๐‘’
−๐‘–
๐œ•๐‘Ÿ
๐œ•๐‘Ÿ
๐‘Ÿ
๐œ•๐œƒ
๐œ•๐œƒ
Example 4
Determine if the following complex function are analytic and if
they are analytic determine ๐‘“′(๐‘ง) by using the partial
derivatives of real and imaginary parts of ๐‘“(๐‘ง):
i. ๐‘“(๐‘ง) = ๐‘’ ๐‘ง
ii. ๐‘“ ๐‘ง = ๐‘’ ๐‘งาง
iii. ๐‘“ ๐‘ง = sin ๐‘ง
iv. ๐‘“ ๐‘ง = ๐‘ง 6
v. ๐‘“(๐‘ง) = ๐‘ง −2
Remark
โ‘If a complex function ๐‘“(๐‘ง) = ๐‘ข(๐‘ฅ, ๐‘ฆ) + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ) is analytic at
a point ๐‘ง, then all the derivatives of
๐‘“: ๐‘“′(๐‘ง), ๐‘“′′(๐‘ง), ๐‘“′′′(๐‘ง), … are also analytic at ๐‘ง.
โ‘As a consequence of this remarkable fact, we can conclude
that all partial derivatives of the real functions ๐‘ข(๐‘ฅ, ๐‘ฆ) and
๐‘ฃ(๐‘ฅ, ๐‘ฆ) are continuous at ๐‘ง.
Laplace Equation
โ‘ From the continuity of the partial derivatives, we then know that the
second-order mixed partial derivatives are equal. This last fact,
coupled with the Cauchy-Riemann equations, demonstrates that there
is a connection between the real and imaginary parts of an analytic
function ๐‘“(๐‘ง) and the second-order partial differential equation
๐›ป 2 ๐œ™ = ๐œ™๐‘ฅ๐‘ฅ + ๐œ™๐‘ฆ๐‘ฆ = 0,
(2)
where ๐›ป 2 ๐œ™ is called the Laplacian of ๐“.
โ‘ Equation (2), one of the most famous PDE in Applied Mathematics and
Physics, is known as Laplace’s equation in two variables. It occurs in
gravitation, electrostatics, fluid flow, heat conduction, and other
applications.
Pierre-Simon Laplace
Harmonic Function
A real-valued function ๐œ™ of two real variables ๐‘ฅ and ๐‘ฆ
that has continuous first and second-order partial
derivatives in a domain ๐ท and satisfies Laplace’s
equation is said to be harmonic function in ๐‘ซ.
Theorem; Harmonic Function
Suppose the complex function ๐‘“ ๐‘ง = ๐‘ข ๐‘ฅ, ๐‘ฆ + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ)
is analytic in a domain ๐ท. Then the functions ๐‘ข(๐‘ฅ, ๐‘ฆ) and
๐‘ฃ(๐‘ฅ, ๐‘ฆ) are harmonic in ๐ท.
Example 5
The function ๐‘“(๐‘ง) = ๐‘ง 2 = (๐‘ฅ 2 − ๐‘ฆ 2 ) + ๐‘–(2๐‘ฅ๐‘ฆ) is analytic
everywhere. The functions ๐‘ข(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ 2 − ๐‘ฆ 2 and ๐‘ฃ(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ๐‘ฆ
are necessarily harmonic in any domain ๐ท of the complex plane.
Harmonic Conjugate
Suppose ๐‘ข(๐‘ฅ, ๐‘ฆ) is a given real function that is known to be
harmonic in ๐ท. If it is possible to find another real harmonic
function ๐‘ฃ(๐‘ฅ, ๐‘ฆ) so that ๐‘ข and ๐‘ฃ satisfy the Cauchy-Riemann
equations throughout the domain ๐ท, then the function ๐‘ฃ(๐‘ฅ, ๐‘ฆ) is
called a harmonic conjugate of ๐‘ข(๐‘ฅ, ๐‘ฆ).
By combining the functions as ๐‘ข(๐‘ฅ, ๐‘ฆ) + ๐‘–๐‘ฃ(๐‘ฅ, ๐‘ฆ) we obtain a
function that is analytic in ๐ท.
Example 6
Verify that the function ๐‘ข ๐‘ฅ, ๐‘ฆ = ๐‘ฅ 3 − 3๐‘ฅ๐‘ฆ 2 − 5๐‘ฆ is
harmonic in the entire complex plane. Moreover, determine
the harmonic conjugate function of ๐‘ข.
Note
If ๐‘ฃ(๐‘ฅ, ๐‘ฆ) is a harmonic conjugate of ๐‘ข(๐‘ฅ, ๐‘ฆ) in some domain ๐ท, then ๐‘ข(๐‘ฅ, ๐‘ฆ) is, in
general, not a harmonic conjugate of ๐‘ฃ(๐‘ฅ, ๐‘ฆ).
Example: The function ๐‘“(๐‘ง) = ๐‘ง 2 = (๐‘ฅ 2 − ๐‘ฆ 2 ) + ๐‘–(2๐‘ฅ๐‘ฆ) is analytic everywhere.
The functions ๐‘ข(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ 2 − ๐‘ฆ 2 and ๐‘ฃ(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ๐‘ฆ are harmonic in any domain ๐ท
of the complex plane. In this case ๐‘ฃ(๐‘ฅ, ๐‘ฆ) is a harmonic conjugate of ๐‘ข(๐‘ฅ, ๐‘ฆ)
throughout the plane but ๐‘ข(๐‘ฅ, ๐‘ฆ) cannot be a harmonic conjugate of ๐‘ฃ(๐‘ฅ, ๐‘ฆ) since
the function:
๐‘“ ๐‘ง = ๐‘ง 2 = 2๐‘ฅ๐‘ฆ + ๐‘–(๐‘ฅ 2 − ๐‘ฆ 2 )
is not analytic anywhere. (Verify!)
Example 7
1. Find the harmonic conjugates of the following:
i. ๐‘ข ๐‘ฅ, ๐‘ฆ = ๐‘’ 2๐‘ฅ sin 2๐‘ฆ .
ii. ๐‘ข ๐‘ฅ, ๐‘ฆ = ๐‘ฅ 2 − ๐‘ฆ 2 .
2. Find the value of ๐‘˜ for which ๐‘ข(๐‘ฅ, ๐‘ฆ) = ๐‘’ ๐‘˜๐‘ฅ sin 4๐‘ฆ satisfy Laplace’s equation.
Practice Questions
A First Course in
•
Chapter:
3
Complex Analysis with
Applications by Dennis • Exercise: 3.2 Questions: 1-26
G. Zill and Patrick D. • Exercise: 3.3 Questions: 1-20
Shanahan.
Download