Intereting Posts

is $324+455^n$ ever prime
Fibonacci nth term
Maximum number of linearly independent anti commuting matrices
Proving that an ideal in a PID is maximal if and only if it is generated by an irreducible
Linear algebra – find all possible positions of the third corner?
Is it possible to compute if an algebraic variety is a differential manifold?
If $E \in \sigma(\mathcal{C})$ then there exists a countable subset $\mathcal{C}_0 \subseteq \mathcal{C}$ with $E \in \sigma(\mathcal{C}_0)$
Are open sets in $\mathbb{R}^2$ countable unions of disjoint open rectangles?
Why does $\left(\int_{-\infty}^{\infty}e^{-t^2} dt \right)^2= \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-(x^2 + y^2)}dx\,dy$?
Prove that if $A\triangle B = C\triangle B$, then $A = C$
Showing that a limit exists and showing $f$ is not integrable.
Notation/definition problem for commutative binary operation
Einstein Summation with multiple terms
H0w t0 prove that periodic decimal numbers are rational? $a_1…a_k(b_1b_2..b_l)={m \over n}$
Enumerate certain special configurations – combinatorics.

The following can be shown without much hassle.

Suppose $R$ is a rational function satisfying the following functional equation.

\begin{align}

\frac{1}{x^2} R\left( \frac{1}{x} \right) = R(x) \qquad \forall \: x \in \mathbb{R} \backslash \{0\}

\tag{1}

\end{align}Then

$$

\int_0^\infty R(x) \cdot \log x \,\mathrm{d}x = 0

$$

if it converges.

- How prove there is no continuous functions $f:\to \mathbb R$, such that $f(x)+f(x^2)=x$.
- References about Sierpinski's Theorem regarding Darboux functions
- About finding the function such that $f(xy)=f(x)f(y)-f(x+y)+1$
- A real function which is additive but not homogenous
- A question concerning on the axiom of choice and Cauchy functional equation
- Cauchy functional equation with non choice

The proof is done by splitting the integral from $0$ to $1$ and $1$ to $\infty$. And then map $[1,\infty) \to [0,1]$ by $u \mapsto 1/x$. There are many rational functions satisfying this equation. A few examples below

$$

R(x) = \frac{1}{x}\,,\ \frac{x}{(1+x^2)^2} \,,\ \frac{1}{x^2 + x + 1}\,,\ \frac{1}{x^2+1}

$$

My question is: **Can one find groups or families of functions satisfying $(1)$?**

- IMO 1987 - function such that $f(f(n))=n+1987$
- Functional Equation (no. of solutions): $f(x+y) + f(x-y) = 2f(x) + 2f(y)$
- Show a function for which $f(x + y) = f(x) + f(y) $ is continuous at zero if and only if it is continuous on $\mathbb R$
- If $f$ is a strictly increasing function with $f(f(x))=x^2+2$, then $f(3)=?$
- Iterative roots of sine
- A real function which is additive but not homogenous
- Show that $f(x) = x$ if $f(f(f(x))) = x$.
- How to calculate $f(x)$ in $f(f(x)) = e^x$?
- If $f(2x)=2f(x), \,f'(0)=0$ Then $f(x)=0$
- A question concerning on the axiom of choice and Cauchy functional equation

Observation: $R(x)$ satisfies $xR(x)=x^{-1}R(x^{-1})$ iff $A(x):=xR(x)$ satisfies $A(x)=A(x^{-1})$.

The map $\overline{p(x)}=x^{-\deg p}p(x^{-1})$ satisfies the following three properties:

$$\overline{\overline{p(x)}}=p(x)\quad{\rm and}\quad \overline{p(x)q(x)}=\overline{p(x)}\,\,\overline{q(x)} \quad{\rm and}\quad \overline{\lambda}=\lambda.$$

Suppose that $\overline{\wp}=\lambda\wp$ for some scalar $\lambda$. Then $\wp=\overline{\overline{\wp}}=\overline{\lambda\wp}=\lambda\overline{\wp}=\lambda^2\wp$, so $\lambda=\pm1$. Suppose we have a rational function $A(x)\in F(x)$ invariant under $x\leftrightarrow x^{-1}$. As $F[x]$ is a UFD, $A$ factors as

$$\begin{array}{ll} A(x) & =x^n\left[\prod_\pi \pi(x)^{e(\pi)}\left(x^{\deg \pi}\pi(x^{-1})\right)^{\ell(\pi)}\right]\prod_\wp \wp(x)^{h(\wp)} \\ & = x^{-n}\left[\prod_\pi \pi(x^{-1})^{e(\pi)}\left(x^{-\deg \pi}\pi(x)\right)^{\ell(\pi)}\right]\prod_\wp \wp(x^{-1})^{h(\wp)} \\ & = \pm\, x^{\large\left(-n-\sum\limits_\pi [e(\pi)+\ell(\pi)]\deg \pi-\sum\limits_\wp h(\wp)\deg\wp\right)}\left[\prod_\pi \pi(x)^{\ell(x)}\left(x^{\deg \pi}\pi(x^{-1})\right)^{e(\pi)}\right]\prod_\wp \wp(x)^{h(\wp)}\end{array}$$

$$\begin{array}{ll} \iff & e(\pi)=\ell(\pi),\quad n=-\sum_\pi e(\pi)\deg\pi-\frac{1}{2}\sum_\wp h(\wp)\deg\wp,\quad \prod_\wp(\underbrace{\wp^{-1}\overline{\wp}}_{\pm1})^{h(\wp)}=1 \\ \iff & A(x)=\left[\prod_\pi \left(\pi(x)\pi(x^{-1})\right)^{e(\pi)}\right]\prod_\wp \left(x^{-(\deg\wp)/2}\wp(x)\right)^{h(\wp)}\end{array} $$

up to rescaling. Here we have grouped terms so that $\pi,\overline{\pi},\wp$ exhaust all irreducibles (up to scaling) each exactly once, and $\wp$ covers all irreducibles with $\overline{\wp}=\pm\wp$. Clearly the $\wp$ and their exponents $h(\wp)$ must be chosen in such a way that $\prod_\wp(\wp^{-1}\overline{\wp})^{h(\wp)}=1$ and $\sum_\wp h(\wp)\deg\wp$ is even.

Now let’s narrow our focus down to $F={\bf R}$. The irreducibles are all linear or quadratic. One quickly checks that the only irreducibles with $\overline{\wp}=\wp$ are $x^2+ax+1$ with $a\in(-2,2)$ or $x+1$, and the only irreducible with $\overline{\wp}=-\wp$ is $x-1$, up to scaling. Thus all $A$ are of the form

$$\lambda\times\left[\prod_{i=1}^n(x^2+a_ix+b_i)^{e_i}(x^{-2}+a_ix^{-1}+b_i)^{e_i}\right]\times\left[\prod_{j=1}^m(x+c_j)^{f_j}(x^{-1}+c_j)^{f_j}\right]$$

$$\times\left[\prod_{k=1}^r(x+u_k+x^{-1})^{g_k}\right]\times(x+1)^s(x-1)^tx^{-(s+t)/2}$$

with $a_i^2-b_i<0$ and $b_i\ne1$ for each $i$, $c_j\ne\pm1$ for each $j$, $|u_k|<2$ for each $k$, and $s+t$ even.

Note that $x(x+1)^{-2}$ is *not* an example of an $R$ satisfying $xR(x)=x^{-1}R(x^{-1})$, but it is easily checkable that the other three examples derive from the final form above.

(We have worked entirely with elements from an abstract algebraic structure, thereby circumventing the need to pay attention to domains of rational functions.)

A few remarks:

As noted by the other posters, if $R(1/x)/x^2 = R(x)$ then $f(x) := xR(x)$ satisfies $f(1/x) = f(x)$. All solutions have the form $R(x) = (1/x)f(x)$ for such an $f$.

If $f(x)=f(1/x)$ for all $x$ then $f(x) = \frac{1}{2}(f(x) + f(1/x)$). Conversely, if $h(x)$ is a rational function then $f(x) := h(x) + h(1/x)$ has the property that $f(x) = f(1/x)$.

Therefore, all the solutions are of the form

$$R(x) = \frac{1}{x} (h(x) + h(1/x))$$

for some rational function $h$. More interestingly, you can generate solutions by defining

$$R(x) = \frac{1}{x} g(h(x) + h(1/x))$$

for any rational functiond $g$ and $h$. For example,

$$R(x) = \frac{1}{x}\frac{1}{1 + x + 1/x}$$

is on your list, with $h(x) = x$ and $g(x) = 1/(1+x)$. This does give an answer to your question, but anon gives a less obvious classification of all possible solutions in the answer above.

Finally, notice that the set of all $f$ satisfying $f(x) = f(1/x)$ forms a subfield of $\mathbb{R}(x)$. In other words, you can combine any two such $f$ by multiplication, divison, addition, subtraction and scalar multiplication, and you will get another such $f$, and another possible choice of $R$. There is probably a tidy handwavy description of what this field is in terms of schemes, but I don’t know enough algebraic geometry to say.

I have been thinking about your problem again and came up with an alternative characterisation.

Notice that in each of your examples, the numerator and denominator have coefficients that read the same backwards as they do forwards. For example,

$$\frac{1}{(1+x)^2} = \frac{1}{1+2x+x^2}$$

and the coefficients in the denominator are $(1,2,1)$; a palindrome. Call a polynomial $p(x)$ a palindrome of index $k$ if

$$p(x) = x^k p(1/x)$$

For example, $p(x) = x^4 + 3x^3 + 3x^2 + x$ is a palindrome of index $5$. Then I claim that all the rational functions $r(x)$ which satisfy $r(1/x)=r(x)$ have the form

$$r(x) = p(x)/q(x)$$

where $p$ and $q$ are palindromes of the same index. It follows that your functions are precisely those of the form $p(x)/q(x)$ where $p(x)$ is a palindrome of index $k$ and $q(x)$ is a palindrome of index $k+2$, for some $k$. For example, $1/(1+2x+x^2)$ is a palindrome of index $0$ divided by a palindrome of index $2$.

To prove the claim, suppose that $r(x) = p(x)/q(x)$ satisfies $r(1/x)= r(x)$ and work over $\mathbb{C}(x)$ so that $p(x)$ and $q(x)$ may be assumed to have no common linear factors. Choose $k$ to be the smallest possible power so that $x^k p(1/x)$ and $x^k q(1/x)$ are both polynomials. Let $P(x) = x^kp(1/x)$ and $Q(x) = x^kq(1/x)$. Then

$$r(x) = p(x)/q(x) = P(x)/Q(x).$$

The polynomials $P$ and $Q$ have no common factor, since if $P(a) = Q(a) = 0$ then $a^kp(1/a) = a^k q(1/a) = 0$. But then either $a=0$, in which case $P$ and $Q$ have a common factor of $x$, which contradicts that $k$ is as small as possible, or else $p(1/a)=q(1/a)=0$, which contradicts that $p$ and $q$ have no common factor.

Then from $p(x)Q(x) = q(x)P(x)$, by factorisation into linear factors it follows that $p(x) = c_1P(x)$ and $q(x) = c_2Q(x)$ for some constants $c_1$ and $c_2$. But then $c_1/c_2=1$ and so $p(x) = cP(x)$, $q(x)=cQ(x)$. But by putting $x=1$, it follows that $(c-1)p(1) = (c-1)q(1) = 0$. Since $p(1)$ and $q(1)$ cannot both be zero, it follows that $c=1$ and therefore $p(x) = P(x) = x^kp(1/x)$ and $q(x) = Q(x) = x^kq(1/x)$ are palindromes of index $k$, as claimed.

Now you can write down all the functions satisfying $(1)$ by just writing down palindromes, for example

$$R(x) = \frac{x^4 + 3x^3 + 3x^2 + x}{2x^7 – x^4 – x^3 +2}$$

satisfies $R(1/x) = x^2R(x)$ and you can get them all this way.

Let us, first of all, look for solutions for $x>0$, and hope that they extend to the wanted solutions. In that case we can substitute $x=e^t$, and the equation becomes $$e^{-2t}R(e^{-t})=R(e^t),$$

or $$e^{-t} R(e^{-t})=e^t R(e^t).$$

We see that $e^t R(e^t)$ is even, and therefore has the form

$$e^t R(e^t)=\varphi(|t|), $$

In terms of $x$ we find

$$R(x)=\frac{1}{x} \varphi(|\log x|)$$

You should look for functions $\varphi$ such that the resulting $R(x)$ is rational for $x>0$, and extended it for $ x \in \mathbb R \setminus \{ 0 \}$.

If

$\frac{1}{x^2} R\left( \frac{1}{x} \right) = R(x)$,

$x^2 R(x) = R(1/x)$.

If $R(x) = A(x)/B(x)$,

where $A$ and $B$ are relatively prime polynomials

of respective degrees $n$ and $m$,

$A(1/x)=a(x)/x^n$ and

$B(1/x) = b(x)/x^m$,

where $a(x)$ and $b(x)$

are the reciprocal polynomials of

$A$ and $B$, respectively.

Then

$\begin{align}

x^2 A(x)/B(x)

&= A(1/x)/B(1/x)\\

&= (a(x)/x^n)/(b(x)/x^m)\\

&= (a(x)/b(x))x^{m-n}\\

\end{align}

$

so

$x^{2+n} A(x)b(x)=a(x)B(x)x^m $.

If the degrees of $a(x)$

and $b(x)$ are the same

as $A$ and $B$

(i.e., the constant terms of $A$ and $B$ are non-zero),

the left-hand side has degree

$2+2n+m$

and the right-hand side has degree

$n+2m$,

so

$2+2n+m=2m+n$,

or

$m = n+2$.

In this case,

$A(x)b(x)=a(x)B(x) $.

If, in addition,

$A(x) = a(x) = 1$,

so $n=0$ and $m=2$,

$B(x) = b(x)$,

so $B$ is a symmetric polynomial of degree $2$.

Conversely,

if $R(x) = 1/B(x)$

where $B$ is a quadratic symmetric polynomial,

$R(1/x) = 1/B(1/x) = 1/(B(x)/x^2)

=x^2/B(x) = x^2R(x)$.

I will leave it at this for now,

and possibly work out later

the cases when

$a$ and $b$ are not the same degree as

$A$ and $B$.

- The number of subspaces of a vector space forming direct sum with a given subpace
- Why do bell curves appear everywhere?
- Weak generator of Feller semigroup
- How to prove $\tanh ^{-1} (\sin \theta)=\cosh^{-1} (\sec \theta)$
- If $B$ is an infinite complete Boolean algebra, then its saturation is a regular uncountable cardinal
- Find three integers $a,\, b,\,$ and $c$ such that $\sqrt{a^2+b^2}$, $\sqrt{a^2+c^2}$, $\sqrt{c^2+b^2}$, and $\sqrt{a^2+b^2+c^2}$ are all integers.
- $p_n(x)=p_{n-1}(x)+p_{n-1}^{\prime}(x)$, then all the roots of $p_k(x)$ are real
- If we would have a perfect random decimal number generator, what would the chances be for the occurence of the numbers?
- Quotient of a Clifford algebra by its radical is a Clifford algebra?
- If $f: U \rightarrow \mathbb{R}^n$ differentiable such that $|f(x)-f(y)| \geq c |x-y|$ for all $x,y \in U$, then $\det \mathbf{J}_f(x) \neq 0$
- Group With an Endomorphism That is “Almost” Abelian is Abelian.
- Is a perfect set a boundary?
- Order of matrices in $GL_2(\mathbb{Z})$
- Need hint for $\lim_{x\to 0} \frac{(x+1)^\frac{1}{x}-e}{x}$
- If $I_n=\sqrt{\int _a^b f^n(x) dx}$,for $n\ge 1$.Find with proof $\lim _{n \to \infty}I_n$