4
$\begingroup$

In my research, I often use functional iteration, and I usually denote $$(f\circ f\circ f\circ\dots\circ f)(x)$$ by writing $$f^n(x)$$ where $f$ was composed with itself $n$ times. However, this notation can be confusing at times, especially when dealing with the trigonometric functions. Does anyone know of any elegant ways of expressing iterated function composition that do not conflict with preexisting notations?

$\endgroup$
5
$\begingroup$

From Wikipedia:

To avoid ambiguity, some mathematicians choose to write $f^{\circ n}$ for the $n$-th iterate of the function $f$.

$\endgroup$
  • 1
    $\begingroup$ And this convention makes sense in general. E.g. $A^n = ∏_{i < n} A$ but $A^{\oplus n} = \bigoplus_{i < n} A$. $\endgroup$ – user87690 Sep 24 '17 at 12:48
0
$\begingroup$

Hint: The paper Notations for Iteration of Functions, Iteral by Valerii Salov might be interesting. He proposes a new notation and gives in section 3 a short survey about existing notation.

He refers in this section besides some others to

  • Iterative Functional Equations by M. Kuczma, B. Choczewski, R. Ger stating that composition $\circ$ of functions is the only inner operation which be defined in the family $\mathcal{F}(x)$ of self-mappings for a set $X$. The system $(\mathcal{F}(X),\circ)$ is with $\mathrm{id}_X$ a non-commutative monoid with iterates defined as the powers of $n$ of an element $f\in\mathcal{F}(X)$, where $n$ is a non-negative integer: \begin{align*} n\in\mathbb{N},f^0=\mathrm{id}_X,f^{n+1}=f\circ f^n \end{align*}

another notation was introduced by D. Knuth in

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.