Math 2.0

Difference and functional equations Iteration theory and iterative equations Example

de Rham curve

Builds on Contraction mappingBanach fixed point theoremContinuous function

Example

Let d0,d1 ⁣:ℂ→ℂd_0, d_1 \colon \C \to \C be two contraction mappings with fixed points p0p_0 and p1p_1, and assume d0(p1)=d1(p0)d_0(p_1) = d_1(p_0). The de Rham curve of (d0,d1)(d_0, d_1) is the continuous map c ⁣:[0,1]→ℂc \colon [0, 1] \to \C that solves the system of functional equations c(x2)=d0(c(x)),c(1+x2)=d1(c(x))for all x∈[0,1].c\left(\frac{x}{2}\right) = d_0(c(x)), \qquad c\left(\frac{1 + x}{2}\right) = d_1(c(x)) \qquad \text{for all } x \in [0, 1]. Setting x=0x = 0 in the first equation and x=1x = 1 in the second gives c(0)=p0c(0) = p_0 and c(1)=p1c(1) = p_1. Both equations give a value at 1/21/2: the first with x=1x = 1 gives d0(p1)d_0(p_1), the second with x=0x = 0 gives d1(p0)d_1(p_0). This is why the condition d0(p1)=d1(p0)d_0(p_1) = d_1(p_0) is needed.

A concrete case: let a=12+36ia = \frac12 + \frac{\sqrt3}{6} i, d0(z)=azˉd_0(z) = a \bar z and d1(z)=a+(1−a)zˉd_1(z) = a + (1 - a) \bar z. Both maps are contractions with ratio ∣a∣=∣1−a∣=1/3<1\abs{a} = \abs{1 - a} = 1/\sqrt3 < 1. The fixed point of d0d_0 is p0=0p_0 = 0, and the fixed point of d1d_1 is p1=1p_1 = 1, since d1(1)=a+1−a=1d_1(1) = a + 1 - a = 1. The condition holds: d0(1)=a=d1(0)d_0(1) = a = d_1(0). The resulting curve from 00 to 11 is the Koch curve.

The simplest case is d0(z)=z/2d_0(z) = z/2 and d1(z)=(z+1)/2d_1(z) = (z + 1)/2, for which c(x)=xc(x) = x: indeed c(x/2)=x/2=d0(x)c(x/2) = x/2 = d_0(x) and c((1+x)/2)=(1+x)/2=d1(x)c((1+x)/2) = (1 + x)/2 = d_1(x).

Remarks

The solution exists and is unique. The system says that cc is a fixed point of an operator on the complete metric space of continuous maps [0,1]→ℂ[0, 1] \to \C with c(0)=p0c(0) = p_0 and c(1)=p1c(1) = p_1. This operator is a contraction for the uniform metric, so the Banach fixed point theorem gives exactly one solution. On dyadic rationals the curve can be computed directly: c(0)=p0c(0) = p_0, c(1)=p1c(1) = p_1, c(1/2)=d0(p1)c(1/2) = d_0(p_1), and so on.

Reading path

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

Show the path as a graph
Continuous function, concept, no evidence levelContinuous functionconceptContraction mapping, concept, no evidence levelContraction mappingconceptElement, definition, no evidence levelElementdefinitionExtended real number line, object, no evidence levelExtended real number …objectProposition, concept, no evidence levelPropositionconceptReal numbers, object, no evidence levelReal numbersobjectSet bounded above, definition, no evidence levelSet bounded abovedefinitionSet, definition, no evidence levelSetdefinitionImplication, definition, no evidence levelImplicationdefinitionPredicate, definition, no evidence levelPredicatedefinitionSupremum, definition, no evidence levelSupremumdefinitionOrdered pair, definition, no evidence levelOrdered pairdefinitionExistential quantifier, definition, no evidence levelExistential quantifierdefinitionUniversal quantifier, definition, no evidence levelUniversal quantifierdefinitionCartesian product, definition, no evidence levelCartesian productdefinitionSubset, definition, no evidence levelSubsetdefinitionUniqueness quantifier, definition, no evidence levelUniqueness quantifierdefinitionBinary relation, definition, no evidence levelBinary relationdefinitionFunction, definition, no evidence levelFunctiondefinitionMetric space, definition, no evidence levelMetric spacedefinitionConvergence of a sequence in a metric space, definition, no evidence levelConvergence of a sequ…definitionLipschitz map, definition, no evidence levelLipschitz mapdefinitionDiameter of a set, definition, no evidence levelDiameter of a setdefinitionContraction mapping, definition, no evidence levelContraction mappingdefinitionEpsilon characterisation of Cauchy sequences, statement, no evidence levelEpsilon characterisat…statementComplete metric space, definition, no evidence levelComplete metric spacedefinitionBanach fixed point theorem, statement, no evidence levelBanach fixed point th…statementde Rham curve, example, no evidence levelde Rham curveexample
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. Contraction mapping concept
  3. Element definition
  4. Extended real number line object
  5. Proposition concept
  6. Real numbers object
  7. Set bounded above definition
  8. Set definition
  9. Implication definition
  10. Predicate definition
  11. Supremum definition
  12. Ordered pair definition
  13. Existential quantifier definition
  14. Universal quantifier definition
  15. Cartesian product definition
  16. Subset definition
  17. Uniqueness quantifier definition
  18. Binary relation definition
  19. Function definition
  20. Metric space definition
  21. Convergence of a sequence in a metric space definition
  22. Lipschitz map definition
  23. Diameter of a set definition
  24. Contraction mapping definition
  25. Epsilon characterisation of Cauchy sequences statement
  26. Complete metric space definition
  27. Banach fixed point theorem statement
  28. de Rham curve example

Further reading

  1. Web https://en.wikipedia.org/wiki/De_Rham_curve
About this page
TagFW29W5E80Q
URIm2://FW29W5E80Q
Kindexample
WritingW0 stub
MSC39B72, 28A80, 39B12
IllustratesFunctional equation
UsesContraction mapping, Banach fixed point theorem, Continuous function
Same as

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.