Mathematics Foundations/5.4 Complex Functions

5.4 Complex Functions 5.4.1 Introduction to Complex Functions A complex function is a function that maps complex numbers to complex numbers. If is a complex variable, then a complex function can be expressed as: where and are real-valued functions of two real variables. The function is called the real part of , and is called the imaginary part of . Complex functions provide a powerful framework for analyzing many mathematical and physical problems, extending the concepts of calculus to the complex domain. 5.4.2 Examples of Complex Functions Polynomials: Rational Functions: , where and are polynomials Exponential Function: , where Trigonometric Functions: Logarithmic Function: Power Functions: 5.4.3 Limits and Continuity The concept of limits in complex analysis is similar to that in real analysis, but involves approaching a point in the complex plane. Definition: A function has a limit as approaches , written as , if for every , there exists a such that: whenever Continuity: A function is continuous at if: An important distinction from real analysis is that in complex analysis, continuity is a much stronger condition due to the constraints of analyticity (discussed below). 5.4.4 Differentiation of Complex Functions The derivative of a complex function at a point is defined as: provided this limit exists. If exists, we say that is differentiable at . A crucial difference from real calculus is that complex differentiability imposes strong conditions on the function. If , then is differentiable at if and only if the following Cauchy-Riemann equations are satisfied at : and the partial derivatives are continuous at . 5.4.5 Analytic Functions A complex function is said to be analytic (or holomorphic) in a region if it is differentiable at every point in . Analyticity is a much stronger property than differentiability in real analysis. Properties of Analytic Functions: 1. If is analytic in , then has derivatives of all orders in . 2. If is analytic, its real and imaginary parts and are harmonic functions, satisfying Laplace's equation: 3. If and are analytic in , then , , and (where ) are also analytic in . 4. The composition is analytic in the region where is defined and is analytic at the values of . 5.4.6 Cauchy-Riemann Equations The Cauchy-Riemann equations provide necessary and sufficient conditions for a function to be analytic. For : Alternative Forms: In polar coordinates , where , the Cauchy-Riemann equations become: Example: For : and and and The Cauchy-Riemann equations are satisfied, confirming that is analytic everywhere. 5.4.7 Harmonic Functions A twice-differentiable real-valued function is harmonic if it satisfies Laplace's equation: The real and imaginary parts of an analytic function are harmonic functions. Moreover, if is harmonic in a simply connected region, then there exists a harmonic function such that is analytic. The function is called the harmonic conjugate of . 5.4.8 Elementary Functions in the Complex Domain Exponential Function: , where Properties: (periodicity) Analytic everywhere Trigonometric Functions: Properties: and (periodicity) Analytic everywhere Hyperbolic Functions: Relations to trigonometric functions: Logarithmic Function: , where is an integer Properties: Multi-valued function due to the periodicity of The principal branch is defined with and Analytic everywhere except at and along the branch cut (typically the negative real axis) Power Functions: Properties: Multi-valued for non-integer For integer , is single-valued and analytic everywhere except at for 5.4.9 Singularities and Poles A singularity of a complex function is a point where is not analytic. Types of singularities: Removable Singularity: A singularity is removable if exists. The function can be made analytic at by defining . Pole: A singularity is a pole of order if exists and is non-zero. Near a pole of order , behaves like for some constant . Essential Singularity: A singularity that is neither removable nor a pole. Near an essential singularity, the function's behavior is highly erratic. According to the Picard theorem, in any neighborhood of an essential singularity, the function takes on all possible complex values, with at most one exception, infinitely many times. Example: The function has a pole of order 2 at . 5.4.10 Conformal Mappings A complex function is conformal at a point if it preserves angles between curves passing through and preserves the orientation of these angles. Theorem: If is analytic at and , then is conformal at . Conformal mappings are important in applications such as: Fluid dynamics Electrostatics Heat conduction Cartography Example: The function is conformal everywhere except at , where it doubles angles. 5.4.11 Exercises 1. Verify that the function satisfies the Cauchy-Riemann equations and is therefore analytic everywhere. 2. Find the real and imaginary parts of the following functions and determine where they are analytic: a) b) c) 3. Show that if is an analytic function, then at every point where . 4. Determine all the singularities of the function and classify them. 5. Find a conformal mapping that maps the upper half-plane onto the unit disk. 6. If , find its harmonic conjugate and the corresponding analytic function . 7. Prove that a non-constant analytic function cannot attain its maximum modulus at an interior point of its domain (Maximum Modulus Principle).