• Support PF! Buy your school textbooks, materials and every day products via PF Here!

The complex logarithm

  • Thread starter DieCommie
  • Start date
156
0
1. Homework Statement
Show that

[tex] ln(z^\alpha) = \alpha ln(z) [/tex]

where 'z' and 'alpha' are complex.


2. Homework Equations
[tex]ln \alpha = ln r + i(\theta + 2*n*\pi) [/tex]


3. The Attempt at a Solution
For the left hand side I have [tex] ln (z^\alpha) = ln [(r_{1}e^(i\theta_{1}))^(r_{2}e^(i\theta_{2}))][/tex]

and for the right [tex] \alpha ln(z) = \alpha [ln r + i(\theta + 2 n \pi)] [/tex]


I have played with it for a bit but seem to be going in circles...
Any tips/hints would be greatly appreciated! Thank you!
 
743
1
We know first of all that in the Complex Field, the exponential and logarithmic function are still natural inverses of one another. We define for the logarithmic function the principle branch to ensure analyticity.

let modulus(z) = |z| and argument(z) = arg(z)

We first show that exp is the inverse of log.

[tex]log z = log |z| + i.arg(z)[/tex], so that

[tex]e^{log z} = e^{log z}e^{i.arg(z)} = |z|e^{i.arg(z)}=z[/tex] by definition

Conversely, let z = x + iy

[tex]log(e^z)=log(e^{x+iy})[/tex]
[tex]=log(e^x e^{iy})[/tex]
[tex]=log |e^x e^{iy}| + i.arg(e^x e^{iy})[/tex]
[tex]=log(e^x) + iy[/tex] where log(e^x) is the real logarithm
[tex]=x+iy = z[/tex]

We then know that [tex]z^\alpha = e^{\alpha log(z)}[/tex]

since we can expand
[tex]e^{\alpha log(z)} = \displaystyle\left( e^{log(z)} \right)^\alpha[/tex]
[tex]=z^\alpha[/tex]

Thus since [tex]z^\alpha = e^{\alpha log(z)}[/tex] then
[tex]log(z^\alpha) = log(e^{\alpha log(z)} ) = \alpha log(z) [/tex]

as required.
 

Related Threads for: The complex logarithm

  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
1K
Replies
4
Views
3K
  • Last Post
Replies
13
Views
644
  • Last Post
Replies
1
Views
560
  • Last Post
Replies
3
Views
413
Replies
3
Views
2K
Top