{"id":935,"date":"2018-11-22T09:41:35","date_gmt":"2018-11-22T09:41:35","guid":{"rendered":"http:\/\/msp01.epgpbooks.inflibnet.ac.in\/?post_type=chapter&p=935"},"modified":"2019-04-30T12:01:16","modified_gmt":"2019-04-30T12:01:16","slug":"functions-of-a-complex-variable","status":"publish","type":"chapter","link":"https:\/\/ebooks.inflibnet.ac.in\/msp01\/chapter\/functions-of-a-complex-variable\/","title":{"rendered":"Functions of a complex variable"},"content":{"raw":"
\"epgp<\/a>\r\n<\/span><\/div>\r\n
\r\n\r\nTABLE OF CONTENTS<\/strong>\r\n\r\n1. Introduction\r\n

1.1 Complex Numbers<\/p>\r\n

1.2 An alternative route<\/p>\r\n

1.3 Geometrical interpretation<\/p>\r\n

1.3.1 Polar coordinates<\/p>\r\n

1.4 The point at infinity<\/p>\r\n

1.4.1 Stereographic projection<\/p>\r\n2. Preliminaries\r\n

2.1 Neighbourhood and limit points<\/p>\r\n

2.2 Jordan curves<\/p>\r\n

2.3 Bounded set<\/p>\r\n

2.4 Domain<\/p>\r\n

2.5 The Jordan theorem<\/p>\r\n

2.6 The Bolzano-Weierstrass theorem<\/p>\r\n3.\u00a0\u00a0 Functions of a complex variable\r\n

3.1 Continuous functions<\/p>\r\n

3.2 Existence of a derivative<\/p>\r\n

3.3 Cauchy-Riemann equations<\/p>\r\n

3.3.1 Sufficient conditions<\/p>\r\n

3.4 Harmonic functions<\/p>\r\n \r\n\r\nLEARNING OBJECTIVES<\/strong>\r\n

1. Complex numbers are introduced in two different ways.<\/span><\/p>\r\n

2. Geometric interpretation of the complex numbers as points in a plane is provided and representation in terms of polar coordinates is given.<\/span><\/p>\r\n

3. The point at infinity is introduced and explained via stereographic projection.<\/span><\/p>\r\n

4. The concepts of neighbourhood and limit points, Jordan curves, bounded sets and domains in the complex plane are introduced. Jordan theorem about closed Jordan curves is enunciated.<\/span><\/p>\r\n

5. The concept of limit and continuity and derivative of a function are introduced in the context of complex variables. Cauchy-Riemann equations for the existence of a derivative are derived.<\/span><\/p>\r\n

6. It is explained as to how the real and imaginary parts of a differentiable function are harmonic functions.<\/span><\/p>\r\n\r\n<\/div>\r\n

<\/div>\r\n \r\n
\r\n

C o m p l e x\u00a0 n u m b e r s<\/strong><\/p>\r\n \r\n\r\n1. Introduction<\/strong><\/span>\r\n

Students of physics are familiar with the concept of complex numbers as an extension of the set of real numbers. Functions of a complex variable, a variable that can take complex values, are of great interest and applied often in the analysis of problems of physical sciences. One area of application is the theory of oscillations where representation of the trigonometric functions in terms of complex variables often simplifies the analysis of the problem considerably. Representation of voltage, current and impedance in circuit analysis by complex numbers is the most familiar example. The theory of functions of a complex variables is fully utilized in the study of integral transforms (Fourier and Laplace transforms for example) which are so important in the study of response of a system to an arbitrary response function and solution of ordinary and partial differential equations.<\/p>\r\n \r\n\r\n1.1 Complex Numbers<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n

We can develop a well defined algebra of complex numbers if we suppose that the \u201cnumber\u201d i<\/em> obeys all the usual laws of algebra. Let<\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n\r\n1.2 An alternative route<\/span><\/span>\r\n

There is an alternative, but completely equivalent way of defining complex numbers. Taking cue from rationals, which can be defined as an ordered pair of integers, we now define a complex number as an ordered pair of real numbers (<\/span>a<\/em>, <\/span>b<\/em>) and make the following definitions:<\/span><\/p>\r\n\"\"\r\n

This is completely equivalent to the algebra of real numbers. Thus without any ambiguity we can identify the pair (<\/span>a<\/em>, 0) with the real number <\/span>a<\/em>. Next we notice that<\/span><\/p>\r\n\"\"\r\n\r\n \r\n\r\n1.3 Geometrical interpretation<\/span><\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

<\/div>\r\n
<\/div>\r\n
<\/div>\r\n
\r\n\r\n \r\n\r\n1.3.1 Polar coordinates<\/span>\r\n\r\n\"\"\r\n\r\nthen<\/span>\r\n\r\n\"\"\r\n

Thus the product of two complex numbers is represented by the point whose modulus is the product of the moduli and argument is the sum of arguments of the points.<\/span><\/p>\r\n

We have the <\/span>Euler\u2019s<\/em>formula<\/em> in complex analysis, which relates the exponential and the trigonometric functions:<\/span><\/p>\r\n\"\"\r\n

Euler's formula is ubiquitous in mathematics, physics, and engineering. Feynman called the formula <\/span>a jewel<\/em> and <\/span>the most remarkable formula in mathematics<\/em>. The formula is actually valid even if<\/span> x <\/em>is a complex number, and so some authors refer to the more general complex version as Euler's formula. Many proofs of this formula are possible. One simple proof depends on the power series expansion of the sine, cosine and exponential functions, which we will deal with in later units.<\/span><\/p>\r\n

Using Euler formula we can write<\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n1.4 The point at infinity<\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\n<\/div>\r\n

\r\n

1.4.1 Stereographic projection<\/span><\/p>\r\n

In geometry, the stereographic projection<\/em> is a particular mapping that projects a sphere onto a plane. The projection is defined on the entire sphere, except at one point, the projection point. Intuitively stereographic projection is a way of picturing the sphere as the plane, with some inevitable compromises. Stereographic projection appears in many areas of mathematics; it finds use in diverse fields including complex analysis<\/em>, geography, geology, and photography.<\/p>\r\n

To make a stereographic projection of a sphere onto a plane we take a point on the sphere as the <\/span>vertex<\/em> of this projection and its equatorial plane as the plane of projection. Then to any point on the sphere, save for the vertex, there corresponds a unique point in the plane and vice versa.<\/span><\/p>\r\n

Let the sphere, called the <\/span>Riemann sphere<\/em>, be defined by<\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n

There is thus a one-to-one and continuous transformation between the complex numbers and the points on a spherical surface.<\/span><\/p>\r\n\"\"\r\n\r\nso that<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n\r\n2. Preliminaries<\/span><\/strong><\/span>\r\n\r\n \r\n\r\n2.1 Neighbourhood and limit points<\/span><\/span>\r\n

We now prepare ourselves for the study of functions of a complex variable. Here we lay the groundwork by defining concepts like neighbourhood, limit points and domain <\/span>et cetera<\/em>. These concepts are similar to those in the case of real variables but with obvious differences due to fact that we are now dealing with points in a plane rather than along a line. To some extent it may seem like we are dealing with a function of two real variables, but differentiability will bring out the basic difference between functions of real and complex variables.<\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n2.2 Jordan curves<\/span>\r\n\r\nThe equation\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n\r\n2.3 Bounded set<\/span>\r\n

A set of points is said to be bounded<\/em> if there exists positive real number R<\/em>, such that |z<\/em>| < R<\/em> for every point in the set. If no such number exists the set is said to be unbounded<\/em>.<\/p>\r\n \r\n\r\n2.4 Domain<\/span>\r\n

A set of points in the Argand plane is said to be a connex<\/em> if every pair of its points can be connected by a curve consisting of points of the set only. An open connex set of points is called an open domain<\/em>. Two open domains which have no points in common are said to be separated<\/em>.<\/p>\r\n \r\n\r\n2.5 The Jordan theorem<\/span>\r\n\r\nIt is easy to see, for example, that the circle |z<\/em>| = 1 divides the Argand plane into two separated open domains, viz, |z<\/em>| < 1 and |z<\/em>| > 1 with the circle as the common boundary. This result is a particular case of the Jordan curve<\/em> theorem <\/em>which states that a simply closed Jordan curve divides the plane into two open domains which have the curve as their common boundary. One of these two open domains is bounded and is called the interior domain\u00a0<\/em>and the other is unbounded and is called the <\/span>exterior domain<\/em>. The theorem is intuitively clear though a rigorous proof is extremely complicated.<\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\n2.6 The Bolzano-Weierstrass theorem<\/span><\/span>\r\n

The fundamental property of a bounded set of points is contained in the Bolzano-Weierstrass theorem. The theorem states that if a bounded set contains infinite number of points then it contains at least one limit point.<\/span><\/p>\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n3. Functions of a complex variable<\/span>\r\n

We now consider functions of a complex variable; i.e., functions in which the domain is a subset of complex numbers. In some sense, these too are familiar to us from elementary calculus\u2014they are simply functions from a subset of the plane into the plane:<\/p>\r\n\"\"\r\n

The complex perspective generally provides richer and more profitable insight into these functions.<\/p>\r\n \r\n\r\n3.1 Continuous functions<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n\"\"\r\n\r\n\"\"\r\n

<\/div>\r\n
\r\n\r\n \r\n\r\nFunction of a function<\/span>\r\n

We next deal with continuity of a function of a function. The result is given by the following theorem:<\/p>\r\n \r\n\r\nTheorem<\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\nProof<\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\n3.1.1 Uniform continuity<\/span><\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\n3.2 Existence of a derivative<\/span><\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n

The derivative of a function of a complex variable behaves very much like that for plain old real-valued functions. All the \u201cusual\u201d results for real-valued functions also hold for these new complex functions: the derivative of a constant is zero, the derivative of the sum of two functions is the sum of the derivatives, the \u201dproduct\u201d and \u201dquotient\u201d rules for derivatives are valid, the chain rule for the composition of functions holds, <\/span>etc., etc.<\/em> Proofs are also similar to the ones for functions of real variables.<\/span><\/p>\r\n\"\"\r\n\r\n \r\n\r\n3.3 Cauchy-Riemann equations<\/span><\/span>\r\n\r\n\"\"\r\n

These equations are called <\/span>Cauchy-Riemann equations<\/em>.<\/span><\/p>\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n3.3.1 Sufficient conditions<\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n

Use Cauchy-Riemann conditions to eliminate derivatives with respect to <\/span>y<\/em> in favour of those with respect to <\/span>x<\/em>, and we obtain<\/span><\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n3.4 Harmonic functions<\/span>\r\n

Assume that the functions u<\/em> and v<\/em> are twice differentiable with continuous second order partial derivatives. Then the Cauchy-Riemann equations can be differentiated. Differentiate the first equation with respect to x<\/em> and the second with respect to y<\/em>, so that<\/p>\r\n\"\"\r\n\r\nExactly similarly\r\n\r\n\"\"\r\n

So we see that the functions u<\/em> and v<\/em> are solutions of the Laplace equation in two dimensions. Functions that satisfy the Laplace equation are called harmonic functions<\/em>. Thus the real and imaginary parts of an analytic function are harmonic. Not only that, for any real harmonic function u<\/em>(x<\/em>, y<\/em>) in a simply connected domain there is a harmonic function v<\/em>(x<\/em>, y<\/em>) called the harmonic conjugate<\/em> of u<\/em> such that f<\/em> = u + iv<\/em> is an analytic function. The harmonic conjugate is determined up to a constant.<\/p>\r\n \r\n\r\nExample<\/span>\r\n\r\nLet\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nwhich is the harmonic conjugate of <\/span>u<\/em>.<\/span>\r\n\r\n<\/div>\r\n

<\/div>\r\n \r\n\r\nSUMMARY<\/strong>\r\n