Evaluate complex value and domain of analytic function

Click For Summary
SUMMARY

This discussion focuses on evaluating complex values and the domain of analytic functions, specifically addressing the expressions sin(3Log(i)) and (1+i)^(1/3-i). The correct evaluations involve using the logarithmic properties of complex numbers, leading to sin(3Log(i)) = i*sinh(3π/2) and a refined expression for (1+i)^(1/3-i) using Log(sqrt(2)). Additionally, the largest open set where Log(1-z^n) is analytic is determined to be ℂ excluding the point where z=1.

PREREQUISITES
  • Complex analysis fundamentals
  • Understanding of logarithmic properties in complex numbers
  • Knowledge of analytic functions and their domains
  • Familiarity with the exponential form of complex numbers
NEXT STEPS
  • Study the properties of complex logarithms in detail
  • Learn about the conditions for analyticity in complex functions
  • Explore the binomial theorem applications in complex analysis
  • Investigate the implications of principal values in complex exponentiation
USEFUL FOR

Students of complex analysis, mathematicians working with analytic functions, and anyone interested in evaluating complex expressions and understanding their domains.

yy205001
Messages
60
Reaction score
0

Homework Statement


Can anyone help me to check whether the first two are correct or not?
For the third question, i may need some help on it.

Evaluate the following if they exist:
a) sin(3Logi)
b) (1+i)^(1/3-i) (principal value)

Determine the largest open set in which the function Log(1-z^n) is analytic. Here n is a positive integer.

Any help is appreciated!

Homework Equations


Log(z) = Log(abs(z)) + iArg(z)
z^a=exp(a*Log(z)) a, z[itex]\inℂ[/itex]


The Attempt at a Solution


a) sin(3*Log(i))
= sin[3(Log(abs(i)) + iArg(i))]
= sin[3(Log(1)+i(pi/2))]
= sin[3(0+i*pi/2)]
= sin[i*3pi/2]
= -i*sinh[i*(i*3pi/2)]
= -i*sinh[-3pi/2]
= i*sinh[3pi/2]

b)(1+i)^(1/3-i) principal value
= exp[(1/3-i)*Log(1+i)]
= exp[(1/3-i)*(Log(abs(1+i))+iArg(1+i))]
= exp[(1/3-i)*(Log(sqrt(2))+i(pi/4))]

Third question:
Let z=x+iy.
First, I think i need to solve Re{1-z^n}≤0 and Im{1-z^n}=0 for x, y, then the largest domain is the ℂ except the set {z=x+iy| Re{1-z^n}≤0 and Im{1-z^n}=0}.

So,
→ 1-(x+iy)^n =0, then i can't anymore further. I tried to use binomial theorem on (x+iy)^n but just can't do it.
 
Physics news on Phys.org
yy205001 said:

Homework Statement


Can anyone help me to check whether the first two are correct or not?
For the third question, i may need some help on it.

Evaluate the following if they exist:
a) sin(3Logi)
b) (1+i)^(1/3-i) (principal value)

Determine the largest open set in which the function Log(1-z^n) is analytic. Here n is a positive integer.

Any help is appreciated!

Homework Equations


Log(z) = Log(abs(z)) + iArg(z)
z^a=exp(a*Log(z)) a, z[itex]\inℂ[/itex]
Okay, since you are asking for the principal value you don't need to do things like "plus a multiple of [itex]i\pi[/itex].

The Attempt at a Solution


a) sin(3*Log(i))
= sin[3(Log(abs(i)) + iArg(i))]
= sin[3(Log(1)+i(pi/2))]
= sin[3(0+i*pi/2)]
= sin[i*3pi/2]
= -i*sinh[i*(i*3pi/2)]
= -i*sinh[-3pi/2]
= i*sinh[3pi/2]
Yes, that looks correct. Personally, I would have used
[tex]sin(x)= \frac{e^{ix}- e^{-ix}}{2i}[/tex]
but, of course, that is the same as your sinh(x).

b)(1+i)^(1/3-i) principal value
= exp[(1/3-i)*Log(1+i)]
= exp[(1/3-i)*(Log(abs(1+i))+iArg(1+i))]
= exp[(1/3-i)*(Log(sqrt(2))+i(pi/4))]
I think you can do a little better. first, of course Log(sqrt(2))= (1/2)Log(2).
Also you can multiply out in the exponential: {(1/6)Log(2)- (pi/4)}+ {(1/3)pi/4- (1/2)Log(2)}i.
And then use the fact that exp(a+ bi)= exp(a)(cos(b)+ isin(b)).

Third question:
Let z=x+iy.
First, I think i need to solve Re{1-z^n}≤0 and Im{1-z^n}=0 for x, y, then the largest domain is the ℂ except the set {z=x+iy| Re{1-z^n}≤0 and Im{1-z^n}=0}.

So,
→ 1-(x+iy)^n =0, then i can't anymore further. I tried to use binomial theorem on (x+iy)^n but just can't do it.
You are making a mistake in trying to deal with this in "Cartesian form". [itex]ln(z)= ln(re^{i\theta}= ln(r)+ i\theta[/itex], as you said before, is analytic as long as r> 0. That means this function is analytic as long as |1- z|> 0 which is exactly the same as saying [itex]z\ne 1[/itex].
 
HallsofIvy said:
You are making a mistake in trying to deal with this in "Cartesian form". [itex]ln(z)= ln(re^{i\theta}= ln(r)+ i\theta[/itex], as you said before, is analytic as long as r> 0. That means this function is analytic as long as |1- z|> 0 which is exactly the same as saying [itex]z\ne 1[/itex].

HallsofIvy, so the answer is just z≠1??
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
10
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K