Intereting Posts

Does a process with continuous sample path always has continuous variance
Prove that if $p$,$q$ and $\sqrt{2}p+\sqrt{3}q$ are rational numbers then $p=q=0$
Lower hemicontinuity of the intersection of lower hemicontinuous correspondences
Show that Laplace transform is differentiable
Description of $\mathrm{Ext}^1(R/I,R/J)$
Can we conclude that this group is cyclic?
Is $\mathbb{Z}$ a principal ideal domain?
Gaining Mathematical Maturity
How many irreducible monic quadratic polynomials are there in $\mathbb{F}_p$?
Does the string of prime numbers contain all natural numbers?
Is Kaplansky's theorem for hereditary rings a characterization?
Why is $\sum_{n=0}^{\infty }\left ( \frac{1}{2} \right )^{n}= 2$?
Proof of a formula containing double factorial
Determine the irreducible polynomial for $\alpha=\sqrt{3}+\sqrt{5}$ over $\mathbb{Q}(\sqrt{10})$
Calculating the median in the St. Petersburg paradox

I need help with this:

“Find all functions $f$, $g : \mathbb{Z} \rightarrow \mathbb{Z}$, with $g$ injective and such that:

$$f(g(x)+y) = g(f(x)+y), \mbox{ for all } x, y \in \mathbb{Z}.$$

- Banach fixed-point theorem for a recursive functional equation
- continuous functions on $\mathbb R$ such that $g(x+y)=g(x)g(y)$
- Prove that if a particular function is measurable, then its image is a rect line
- What can we say about functions satisfying $f(a + b) = f(a)f(b) $ for all $a,b\in \mathbb{R}$?
- A unsolved puzzle from Number Theory/ Functional inequalities
- Express $y$ from $\ln(x)+3\ln(y) = y$

- Functional Equation (no. of solutions): $f(x+y) + f(x-y) = 2f(x) + 2f(y)$
- Re-expressing a function
- Is there a name for function with the exponential property $f(x+y)=f(x) \cdot f(y)$?
- D'alembert functional equation
- Continuous solutions of $f(x+y+z)=f(x)g(y)+f(y)g(z)+f(z)g(x)$
- Vector Space Structures over ($\mathbb{R}$,+)
- Solutions to functional equation $f(f(x))=x$
- Solving $(f(x))^2 = f(\sqrt{2}x)$
- Measurable Cauchy Function is Continuous
- $f(f(x)f(y))+f(x+y)=f(xy)$

Suppose $f,g:\Bbb Z\to\Bbb Z$ with $g$ injective and $$f(g(x)+y)=g(f(x)+y)\tag{#}$$ for all $x,y\in\Bbb Z$.

Note that $$f(0)=f(g(x)-g(x))=g(f(x)-g(x))\tag{1}$$ for all $x$, so since $g$ is injective, then $f(x)-g(x)$ is constant. In particular, then $$f(x)=g(x)+c\tag{2}$$ for some $c\in\Bbb Z$. Note that it then follows that $f$ is injective.

It follows from $(1)$ and $(2)$ that $$g(c)=g(f(x)-g(x))=f(0)=g(0)+c.$$ Suppose $g(x+c)=g(x)+c$ for some $x\in\Bbb Z$. Then $$g(x+1+c)=g(f(0)-g(0)+x+1)=f(g(0)-g(0)+x+1)=f(x+1)=g(x+1)+c,$$ and similarly, $$g(x-1+c)=g(x-1)+c.$$ By $2$-directional induction on $x$, we have $$g(x+c)=g(x)+c\tag{3}$$ for all $x\in\Bbb Z$. Using $(3)$, another quick $2$-directional induction on $m$ will show that $$g(y+mc)=g(y)+mc\tag{4}$$ for all $m,y\in\Bbb Z.$

Now, if $c=0$, then we must have $f=g$ by $(2)$. Suppose $c\neq 0$. Given any $x\in\Bbb Z$, there is a unique $0\leq y<|c|$ such that $x=y+mc$ for some $m\in\Bbb Z$ (why?)–denote this $y$ by $r(x)$–so by $(4)$, we have $$g(x)=g(r(x)+mc)=g(r(x))+mc=g(r(x))+x-r(x),$$ so $$g(x)-x=g(r(x))-r(x).$$ Defining $h(x):=g(x)-x$, we have $$h(x)=h(r(x))\tag{5}$$ for all $x\in\Bbb Z$. Observing that $r(x+mc)=r(x)$ for all $x,m\in\Bbb Z$ (why?), it follows that $h$ is a periodic function $\Bbb Z\to \Bbb Z$, with $c$ a period of $h$.

The above gives us necessary conditions for $f,g$ to satisfy. We will see that they are sufficient, as well. Specifically, we prove the following:

**Claim**: Suppose $f,g:\Bbb Z\to\Bbb Z$ with $g$ injective. Then $f,g$ satisfy $(\#)$ if and only if one of the following holds:

(a) $f=g$, or

(b) there is some non-$0$ $c\in\Bbb Z$ and some periodic function $h:\Bbb Z\to\Bbb Z$ such that $h$ has $c$ as a period, $g(x)=h(x)+x$, and $f(x)=g(x)+c$ for all $x\in\Bbb Z$.

**Proof**: We saw above that if $f,g$ satisfy $(\#)$, then (a) or (b) holds. If (a) holds, then it’s easily seen that $f,g$ satisfy $(\#)$, so suppose that (b) holds. Then $$\begin{align}f(g(x)+y) &= g(g(x)+y)+c\\ &= h(g(x)+y)+g(x)+y+c\\ &= h(g(x)+y+c)+g(x)+y+c\\ &= g(g(x)+y+c)\\ &= g(g(x)+c+y)\\ &= g(f(x)+y),\end{align}$$ as desired. $\Box$

How about $f(x)=g(x)=x?$……

- Computing the expectation of conditional variance in 2 ways
- Good abstract algebra books for self study
- SVD: proof of existence
- expected value of a sum of a 10 sided die
- A relative compactness criterion in $\ell^p$
- Help on a proof about Ramsey ultrafilters
- Find the side of an equilateral triangle given only the distance of an arbitrary point to its vertices
- Explicit characterization of dual of $H^1$
- Is there a way to get trig functions without a calculator?
- If, in a triangle, $\cos(A) + \cos(B) + 2\cos(C) = 2$ prove that the sides of the triangle are in AP
- Pointwise convergence of sequences of holomorphic functions to holomorphic functions
- Augument, and injectivity.
- Happy Div-aali mod 3 graph
- The Riemannian Distance function does not change if we use smooth paths?
- Does positive definite Hessian imply the Jacobian is injective?