Math 2.0

Difference and functional equations Iteration theory and iterative equations Example

Involution as solution of Babbage's equation

Builds on InvolutionIterative rootContinuous function

Example

Babbage's functional equation asks for maps f ⁣:X→Xf \colon X \to X with f(f(x))=xf(f(x)) = x for all x∈Xx \in X. Its solutions are exactly the involutions of XX, and also exactly the iterative roots of order 22 of the identity.

Take X=ℝ∖{−1}X = \R \setminus \set{-1} and f(x)=1−x1+xf(x) = \frac{1 - x}{1 + x}. First, ff maps XX into XX: the equation 1−x1+x=−1\frac{1 - x}{1 + x} = -1 would give 1−x=−1−x1 - x = -1 - x, which is impossible. Second, for x∈Xx \in X, f(f(x))=1−1−x1+x1+1−x1+x=(1+x)−(1−x)(1+x)+(1−x)=2x2=x.f(f(x)) = \frac{1 - \frac{1-x}{1+x}}{1 + \frac{1-x}{1+x}} = \frac{(1 + x) - (1 - x)}{(1 + x) + (1 - x)} = \frac{2x}{2} = x. So ff is an involution and solves Babbage's equation. Other solutions on suitable sets are x↦c−xx \mapsto c - x, x↦1/xx \mapsto 1/x and the identity.

Remarks

On an interval I⊆ℝI \subseteq \R, every continuous solution other than the identity is strictly decreasing. Indeed, a continuous involution is injective, hence strictly monotone. If it is increasing and f(x)>xf(x) > x for some xx, then x=f(f(x))>f(x)>xx = f(f(x)) > f(x) > x, a contradiction; the case f(x)<xf(x) < x is the same. So an increasing continuous solution is the identity. The more general equation fn(x)=xf^n(x) = x asks for the iterative roots of order nn of the identity; for example the rotation z↦e2πi/nzz \mapsto e^{2\pi i/n} z of ℂ\C is one.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Continuous function concept
  2. Function concept
  3. Function composition concept
  4. Identity function concept
  5. Iterative root concept
  6. Involution definition
  7. Involution as solution of Babbage's equation example

Further reading

  1. Web https://en.wikipedia.org/wiki/Involution_(mathematics)
About this page
Tag5GNSQRHSSC
URIm2://5GNSQRHSSC
Kindexample
WritingW0 stub
MSC39B12, 39B22
Instance ofInvolution
UsesInvolution, Iterative root, Continuous function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.