Intereting Posts

$A^2X = X$ show that $AX = X$, if $A_{ij} > 0$ and $x_{i} > 0$
If $\lim f(x)$ exists and $\lim g(x)$ do not, when $x$ approaches $a$ , why $\lim$ does not exist?
Value of a Sine-Like Infinite Product
Automorphism group of an abelian group
When $\Bbb Z_n$ is a domain. Counterexample to $ab \equiv 0 \Rightarrow a\equiv 0$ or $b\equiv 0\pmod n$
To prove that $ + ++\dots ++$ is even.
Martingality Theorem: Solving expectation of a stochastic integral
Countable product of complete metric spaces
Sum of two closed sets is measurable
Analytical Expression to find the Shortest Distance between Two Ellipses?
Logic soundness and completeness
Prove that the group $G$ is abelian if $a^2 b^2 = b^2 a^2$ and $a^3 b^3 = b^3 a^3$
Need some help with this recurrence equation
Equivalence of Archimedian Fields Properties
Types of polynomial functions. Quadratic, cubic, quartic, quintic, …,?

I have encountered the following problem :

Find all polynomials $P$ such as $P(X)=P(1-X)$ on $\mathbb{C}$ and then $\mathbb{R}$.

I have found that on $\mathbb{C}$ such polynomials have an even degree. Because for each $a$ root, $1-a$ must be a root too. I struggle to find whether we can do something with polynomials of degree $2$ on $\mathbb{R}$.

- Manipulating Algebraic Expression
- Show that the equation $a_1e^{\alpha_1x} + a_2e^{\alpha_2x} + \cdots + a_ne^{\alpha_nx} = 0$ has at most $n - 1$ real roots.
- $a,b,c$ are positive reals and distinct with $a^2+b^2 -ab=c^2$. Prove $(a-c)(b-c)<0$
- Expanding $\frac{\Gamma(n)}{\Gamma(n-k)}$ as a polynomial
- Can sum of a rational number and its reciprocal be an integer?
- derivation of simple linear regression parameters

I was also wondering if we could find a general solution for $P(X)=P(aX+b)$ with $a$ and $b$ complexe for $P$ defined either on $\mathbb{R}$ or $\mathbb{C}$.

- What is shortcut to this contest algebra problem about polynomial?
- How many ways a composite number can be resolved into two factors which are prime to each other?
- How to compute the integral $\int_{-\infty}^\infty e^{-x^2/2}\,dx$?
- Question about generating function in an article
- how can one solve for $x$, $x =\sqrt{2+\sqrt{2+\sqrt{2\cdots }}}$
- Solving functional equation $f(x)f(y) = f(x+y)$
- High school math definition of a variable: the first step from the concrete into the abstract…
- Proving $\sqrt{ab} = \sqrt a\sqrt b$
- Find all differentiable functions $f$ such that $f\circ f=f$
- Why is $y = \sqrt{x-4}$ a function? and $y = \sqrt{4 - x^2}$ should be a circle

First, if $P(X) = P(1-X)$ holds on $\Bbb R$ then the same relation

holds on $\Bbb C$, due to the identity principle for holomorphic functions.

With $Q(x) := P(x + \frac 12)$, the condition $P(X) = P(1-X)$ is equivalent

to $Q(x) = Q(-x)$, which is satisfied exactly by all polynomials

having only terms with *even* powers of $x$.

Therefore the general solution is

$$

P(X) = Q(X – \frac 12) = a_0 + a_1 (X – \frac 12)^2 + \ldots + a_n (X – \frac 12)^{2n}

$$

with coefficients $a_0, a_1, \ldots, a_n \in \Bbb R$ or $\Bbb C$,

depending on whether you want $P$ to be real-valued on $\Bbb R$ or not.

For the general case $P(X) = P(aX + b)$ with $a \ne 1$, note that the

fixed point of $X \to aX +b$ is $X = \frac{b}{1-a}$, therefore define

$Q(x) := P(x + \frac{b}{1-a})$ to get $Q(x) = Q(ax)$.

Now there are two cases: If $a$ is a “root of unity”, i.e. $a^k=1$

for some positive integer $k$, then the solutions are exactly the polynomials having

only terms with powers which are a multiple of $k$:

$$

Q(x) = a_0 + a_1 x^k + \ldots + a_n x^{kn} \, .

$$

If $a$ is not a root of unity then

$$

Q(1) = Q(a) = Q(a^2) = Q(a^3) = \dots

$$

with all arguments being different, and the only solution are *constant*

polynomials $Q(x) = a_0$.

For $a \in \Bbb R$, $a \ne 1$, the first case occurs only for $a= -1$.

It is not necessary to shift $X$ by $1/2$ to symmetrize the polynomial.

Any polynomial function of $X(1-X)$ is a solution, and all solutions can be written in that form by starting from the highest degree (which must be even) term and working downward.

The advantage is that this works “over $\mathbb{Z}$” without any powers of $\frac{1}{2}$. For any ring $R$ of coefficients, if the polynomial is $\sum a_n X^n$ with $a_n \in R$ then it is equal to $\sum b_n (X – X^2)^n$ for some coefficients $b_n \in R$ that are integer linear combinations of the $a$’s.

The generalization has the same answer. There are nonconstant solutions of $P(x)=P(f(x))$ with $f(x)=Ax+B$ if any only if $f$ has (minimum) order $n$ with respect to composition, $f^{\circ n} (x) = x$ for some $n \geq 1$, and then any solution can be written as $Q(x f(x) f(f(x)) \dots f^{\circ (n-1)}(x))$, where the coefficients of $Q$ are $\mathbb{Z}$-linear combinations of the coefficients of $P(x)$.

The linear functions of order $n$ of course are $f(x)=\omega (X-u) + u$ for $w$ an $n$th root of $1$ and $u$ arbitrary, also over any ring.

- Hamiltonian for Geodesic Flow
- Equivalent condition for non-orientability of a manifold
- How to prove that $\lim\limits_{n\to\infty} \frac{n!}{n^2}$ diverges to infinity?
- Convergence of the improper integral $\int_{0}^{\pi/2}\tan^{p}(x) \; dx$
- Are there necessary and sufficient conditions for Krein-Milman type conclusions?
- Show that if $n$ is not divisible by $2$ or by $3$, then $n^2-1$ is divisible by $24$.
- How to sum this series for $\pi/2$ directly?
- Cardinal number subtraction
- Meaning of Rays in Polar Plot of Prime Numbers
- Classifying complex conics up to isomorphism as quotient rings of $\mathbb{C}$
- Surface area with cavalier's principle
- Vector space bases without axiom of choice
- What is the expected value of the number of die rolls necessary to get a specific number?
- Total number paths between two nodes in a complete graph
- Who can prove that a triangular number cannot be a cube, fourth power or fifth power?