MathGroup Archive 2006

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: When is x^y = != E^(y*Log[x])


x^y = exp(y*log(x)) is the y-th power function of the complex number x
and log(x) denotes a branch of logarithm.

x^y is a multifunction and have many definitions to denote y-th power
of x.

A general form would look like,

x^y = ( exp(y*ln|x| + i y*arg(x)) )*(exp(i 2*pi*y))^k, where k is a
complex number.

If a y-th power function, x^y defined on an open set S, and is
continuous on S, then it is a branch of the y-th power function.

Note that S does not contain the point zero as its epsilon-neighborhood
has many preimages.

The principal branch can be defined as follows:
x^y = ( exp(y*ln|x| + i y*arg(x)) ), for -pi < arg(x) < pi

This definition is consistent with the definition if y is integer, it
is same as a polynomial.
If y = 1/n, then our principal branch is same as the inverse of x^n.


  • Prev by Date: Re: svg import
  • Next by Date: Re: Evaluating integrals
  • Previous by thread: Re: Problems with FindRoot
  • Next by thread: Re: When is x^y = != E^(y*Log[x])