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.