## Coursera: Analysis of a Complex Kind. 4.1 Inverse analytic functions

### Jul 24, 2016

say , (i) then what is the function, L, that maps z to w? That is L(z) = w?

Say our “starting” value, z = |z| (ii)

Consider first of all equating (i) and (ii)

Now write w = u + iv

So,

By equating real and complex parts (??):

So u = ln |z|, and v = θ + 2kπ = arg z (from definition of exponential function).

So Log(z) = w = u+iv = ln|z| + i (θ) = ln|z| + i Arg (z), principal argument

and more generally

log(z) = w = u+iv = ln|z| + i (θ + 2kπ) = ln|z| + i arg (z), multi-valued argument

## Slide 3 Example values of Log function

Note , function of a complex variable is defined as “combination” of two functions of real variables.

Log(1) = ln |1| + i Arg(1) = 0 + i(0) = 0

Log(i) = ln|i| + i Arg(i) = ln(1) + i(π/2) = i(π/2)

Log(-1) = ln|-1| + i Arg(-1) = ln(1) + i(π) = iπ

Log (1 + i) = ln | 1 + i| + i Arg(1 + i) = √2 + i(π/4)

so the definition of the log function has been extended to negative and complex numbers except still undefined at zero.

## Slide 4 Continuity of the Log function

Log(z) = ln |z| + i Arg z

z -> |z| is continuous in C

z -> ln|z| is continuous in C \{0}

z -> Arg z is continuous in C\(, 0]

Thus Log z is continuous in C\(, 0]

However, as z -> -x , 0) (*), from above , Log(z) -> ln |z| **+** iπ

and, since z -> -x , 0) (*), from below , Log(z) -> ln |z| **–** iπ

(* z is getting close to the negative real axis)

So Log (z) is not continuous on (,0), and not defined at o.

## Slide 5 Is the Log function analytic ?

**Result: The principal branch of the Log function is analytic in C\(,0)**

Derivative of Log z

Differentiating by chain rule

So,

## Slide 6 Differentiating inverse functions

f is analytic and maps the region (domain) U into

And there is an inverse function , g, that maps a complex domain D into U (but not necessarily onto).

Hence f(g(z)) = z, for all of the z in the domain, D, of g.

Then g is analytic in its domain D, and the following property holds

for z D

<< Application to f(z) = z^2 >>