Difference and functional equations Iteration theory and iterative equations Example
de Rham curve
Builds on Contraction mappingBanach fixed point theoremContinuous function
Example
Let be two contraction mappings with fixed points and , and assume . The de Rham curve of is the continuous map that solves the system of functional equations Setting in the first equation and in the second gives and . Both equations give a value at : the first with gives , the second with gives . This is why the condition is needed.
A concrete case: let , and . Both maps are contractions with ratio . The fixed point of is , and the fixed point of is , since . The condition holds: . The resulting curve from to is the Koch curve.
The simplest case is and , for which : indeed and .
Remarks
The solution exists and is unique. The system says that is a fixed point of an operator on the complete metric space of continuous maps with and . 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: , , , 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
- no evidence level
- Continuous function concept
- Contraction mapping concept
- Element definition
- Extended real number line object
- Proposition concept
- Real numbers object
- Set bounded above definition
- Set definition
- Implication definition
- Predicate definition
- Supremum definition
- Ordered pair definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- Binary relation definition
- Function definition
- Metric space definition
- Convergence of a sequence in a metric space definition
- Lipschitz map definition
- Diameter of a set definition
- Contraction mapping definition
- Epsilon characterisation of Cauchy sequences statement
- Complete metric space definition
- Banach fixed point theorem statement
- de Rham curve example
Further reading
About this page
| Tag | FW29W5E80Q |
|---|---|
| URI | m2://FW29W5E80Q |
| Kind | example |
| Writing | W0 stub |
| MSC | 39B72, 28A80, 39B12 |
| Illustrates | Functional equation |
| Uses | Contraction 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.