General Periodicity Property/Corollary

From ProofWiki
Jump to: navigation, search


Let $f: \R \to \R$ be a real function.

Then $L$ is a periodic element of $f$ if and only if:

$\forall x \in \R: \map f {x \bmod L} = \map f x$

where $x \bmod L$ is the modulo operation.


Necessary Condition

Let $f: \R \to \R$ be a real function with a periodic element $L$.


\(\displaystyle \map f x\) \(=\) \(\displaystyle \map f {n L + r} \quad 0 < r < \size L\) $\quad$ Definition of Quotient $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f r\) $\quad$ General Periodicity Property $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f {x \bmod L}\) $\quad$ $\quad$


Sufficient Condition

Let $f: \R \to \R$ be a real function such that for all $x \in \R$:

$\map f {x \bmod L} = \map f x$

Let $n = \floor {\dfrac x L}$.


\(\displaystyle \map f {x + L}\) \(=\) \(\displaystyle \map f {\paren {x + L} \bmod L}\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f {x + L - \floor {\frac {x + L} L} L}\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f {x + L - \paren {n + 1} L}\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f {x - n L}\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f {x \bmod L}\) $\quad$ $\quad$
\(\displaystyle \) \(=\) \(\displaystyle \map f x\) $\quad$ $\quad$