0
$\begingroup$

How do I check whether a give function is 'algebraic' or not? I have a function $m(z) = 2\pi i z^n$ where $z \in \mathbb{C} \backslash \mathbb{R}$ and $n \in \mathbb{Z}$. I can write this as $w - 2\pi i z^n = 0$ where $w = m(z)$ and it is a polynomial. I think this is an algebraic function? Is my understanding correct?

What is the general approach to find whether a given function is algebraic or not?

  • 0
    @GerryMyerson $m(z)$ is a result of Stieltjes transform which is defined for positive Complex plane with reals excluded.$n$is an integer.2011-11-01

2 Answers 2

3

If $n$ is a non-negative integer then $m$ is a polynomial, a fortiori, algebraic. As you say, it is a zero of the equation $w-2\pi iz^n=0$, an equation with polynomial coefficients. If $n$ is a negative integer then it is a zero of $z^{-n}w-2\pi i=0$ which again is an equation with polynomial coefficients, so in this case, too, $m$ is algebraic.

I don't think there is a general approach to telling whether a function is algebraic, any more than there is a general approach for telling whether a number is algebraic. Indeed, nobody knows whether $\gamma$ (Euler's constant) is rational, so I suppose nobody knows whether the function $z^{\gamma}$ is algebraic.

0

If $F(z)=z^\gamma$ is an algebraic function (over $\mathbb Q$), then $F'(z)$ is also an algebraic function (over $\mathbb Q$), and thus $F'(1)$ is an algebraic number (over $\mathbb Q$). Therefore, $z^\gamma$ algebraic implies $\gamma$ algebraic. Equivalently, if $\gamma$ is not algebraic, then $z^\gamma$ is not algebraic.

In some cases, one knows a Puiseux series expansions of a function $F(z)$; such an expansion is unique and is of the type $F(z) = \sum_{k\geq k_0} f_k \times \big((z-z_0)^{r} \big)^k \,.$ What is more, the theory of Newton polygon for algebraic functions implies that the exponent $r$ in this Puiseux expansion is then a rational number. This gives a nice way to test if $F(z)$ is algebraic or not!

Therefore, one can say that $z^\gamma$ is an algebraic function if and only if $\gamma$ is a rational number (the same reasoning proves that $z^{\sqrt 2}$ is not an algebraic function). [It just requires a little lemma showing that $z^\gamma$ cannot be rewritten as an infinite sum of $z^{rk}$, which follows easily by considering the limit when $z\rightarrow 0$.]