3.5: The Complex Power Function

 

The generalized complex power function is defined as:

\(f\left ( z \right )=z^{c}=exp\,\left ( c\,log\,z \right )\),    with    \(z≠0\).    (1)

Due to the multi-valued nature of logzlog⁡z, it follows that (1) is also multi-valued for any non-integer value of \(c\), with a branch point at \(z=0\). In other words

\(f\left ( z \right )=z^{c}=exp\,\left ( c\,log\,z \right )=exp\left [ c\left ( Log\,z+2n\pi i \right ) \right ]\),    with    \(n\in \mathbb{Z}\).

On the other hand, we have that the generalized exponential function, for \(c≠0\), is defined as:

\(f\left ( z \right )=c^{z}=exp\,\left ( z\,log\,c \right )=exp\left [ z\left ( Log\,c+2n\pi i \right ) \right ]\),    (2)

with \(n\in \mathbb{Z}\).

Notice that (2) possesses no branch point (or any other type of singularity) in the infinite complex \(z\)-plane. Thus, we can regard the equation (2) as defining a set of independent single-value functions for each value of \(n\).

This is reason why the multi-valued nature of the function \(f\left ( z \right )=z^{c}\) differs from the multi-valued function \(f\left ( z \right )=c^{z}\).

Typically, the \(n=0\) case is the most useful, in which case, we would simply define:

\(w=c^{z}=exp\,\left ( z\,log\,c \right )=exp(z\,Log\,c)\),

with \(c≠0\).

This conforms with the definition of exponential function

\(e^{z}=e^{x}(cos\,y+i\,sin\,y)\)

where \(c=e\) (the Euler constant).

Use the following applet to explore functions (1) and (2) defined on the region \(\left [ -3,3 \right ]\times \left [ -3,3 \right ]\). The enhanced phase portrait is used with contour lines of modulus and phase. Drag the points to change the value of \(c\) in each case. You can also deactivate the contour lines, if you want.

 

INTERACTIVE GRAPH

 

---

Final remark: In practice, many textbooks treat the generalized exponential function as a single-valued function, \(c^{z}=exp(z\,Log\,c)\), only when \(c\) is a positive real number. For any other value of \(c\), the multi-valued function \(c^{z}=exp(z\,Log\,c)\) is preferred.

---