3

I am look for some nice examples or conditions that force $f^{(n)}(x)$ to be irreducible (this is composition). I looked at things online and it seemed that topic is quite complex and involves calculating discriminants. I would like to do my own little exposition/project on perhaps an example where I could prove $f^{(n)}(x)$ is irreducible using elementary methods. I know a little bit of dynamical systems and field theory up until basics of Galois.

Does such an example exist? Perhaps something akin to that? In general I am looking for something I could write extensively about that relates to iterations of polynomials, irreducibility is the first thing that came to mind.

Edit: I ran some tests with $x^2+1$ and it seems the first 10 compositions are irreducible so I think considering this polynomial could be a good start. I am just not sure what to do as I never actually considered reducibility of compositions.

hardmath
  • 37,715
2132123
  • 1,575

2 Answers2

1

Let $f(x) = (x-1)^2 + 1$. Then $f^{(n)}(x)$ is irreducible over $\mathbb Q$ for all $n\ge 1$, and we can show this using just Eisenstein's criterion.

First we deduce the closed form:

$$ f^{(n)}(x) = (x-1)^{2^n} + 1 $$

This can be shown easily by induction, but it can be seen essentially by inspection if we write:

$$ f(x) = \tau^{-1} \circ g \circ \tau(x) $$

where $g(x) = x^2$ and $\tau(x) = x-1$ (so that $\tau^{-1}(x) = x+1$).

Thus $f^{(n)}(x) = \tau^{-1} \circ g^{(n)} \circ \tau(x)$, in agreement with the closed form above, since $g^{(n)}(x) = x^{2^n}$.

Now apply Eisenstein's criterion with $p=2$:

$$ f^{(n)}(x) = (x-1)^{2^n} + 1 = x^{2^n} + \left[ \sum_{k=1}^{2^n -1} \binom{2^n}{k} (-x)^k \right] + 2 $$

For proofs that $p=2$ divides each binomial coefficient $\binom{2^n}{k}$ for $1\le k \le 2^n -1$ see the previous Math.SE Question Prime dividing the binomial coefficients.

hardmath
  • 37,715
1

Just another approach for @hardmath's answer

Note that if $f,g\in \mathbb{Z}[x]$ are $p$-Eisenstein polynomials for some prime $p$ and deg$(f)>1$ then $f \circ g$ is $p$-Eisenstein and hence irreducible.\

From the previous fact you can deduce that $p$-Eisenstein polynomials are dynamically irreducible ($f^n$ is irreducible for all $n\geq 1)$\

Moreover, if $f^k$ is dynamically irreducible for some $k\geq 1$ then $f$ is dynamically irreducible.

Note that for $f(x)=x^2+1$, we have $f^2(x)=x^4+2x^2+2$ is $2$-Eisenstein. Hence $f^2$ is dynamically irreducible and thus $x^2+1$ is dynamically irreducible also.