6
$\begingroup$

I was reading "Functional Equations and How to Solve Them" by Small and the following comment pops up without much justification on p. 13:

If $a(x)$ is an involution, then $f(a(x))=f(x)$ has as solutions $f(x) = T\,[x,a(x)]$, where $T$ is an arbitrary symmetric function of $u$ and $v$.

I was wondering why this was true (it works for examples I've tried, but I am not sure $(1)$ how to prove this and $(2)$ if there's anything obvious staring at me in the face here).

  • 1
    Write down what f(a(x)) is in terms of T.2010-07-30

1 Answers 1

8

Any function f(x) that is a solution to your functional equation f(a(x)) = f(x) must satisfy the property that it is unchanged when you plug in a(x) instead of x. In addition, f(x) clearly must be a function f(x) = T[x, a(x)] depending on the x and a(x); the question is to see why T must be symmetric.

Now, T[x, a(x)] = f(x) = f(a(x)) = T[a(x), a(a(x))] = T[a(x), x] since a(x) is an involution. In particular, this means that T must be symmetric in its two variables.

  • 1
    The same applies if you have a map $a$ satisfying $a^n = Id$ and there is a symmetric function in $x, a(x), ... , a^{n-1}(x)$. (Note that powers here refer to iterated composition.)2010-07-30
  • 1
    LaTeX works here on MU?2010-07-30
  • 0
    MU? What's that? The only possible interpretation which comes into my mind it "Math Underflow" (as opposed to "Math Overflow"). However that's not what this site is named (although it would have been a great choice IMHO).2012-08-23