In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the blancmange curve is a
self-affine curve constructible by midpoint subdivision. It is also known as the Takagi curve, after
Teiji Takagi who described it in 1901, or as the Takagi–Landsberg curve, a generalization of the curve named after Takagi and
Georg Landsberg
Georg Landsberg (January 30, 1865 – September 14, 1912) was a German mathematician, known for his work in the theory of algebraic functions and on the Riemann–Roch theorem.. The Takagi–Landsberg curve, a fractal that is the graph of a nowh ...
. The name ''blancmange'' comes from its resemblance to a
Blancmange pudding. It is a special case of the more general
de Rham curve; see also
fractal curve.
Definition
The blancmange function is defined on the
unit interval by
:
where
is the
triangle wave, defined by
,
that is,
is the distance from ''x'' to the nearest
integer.
The Takagi–Landsberg curve is a slight generalization, given by
:
for a parameter
; thus the blancmange curve is the case
. The value
is known as the
Hurst parameter
The Hurst exponent is used as a measure of long-term memory of time series. It relates to the autocorrelations of the time series, and the rate at which these decrease as the lag between pairs of values increases.
Studies involving the Hurst expone ...
.
The function can be extended to all of the real line: applying the definition given above shows that the function repeats on each unit interval.
The function could also be defined by the series in the section
Fourier series expansion.
Functional equation definition
The periodic version of the Takagi curve can also be defined as the ''unique bounded solution
to the functional equation''
:
.
Indeed, the blancmange function
is certainly bounded, and solves the functional equation, since
:
.
Conversely, if
is a bounded solution of the functional equation, iterating the equality one has for any ''N''
:
, for
whence
. Incidentally, the above functional equations possesses infinitely many continuous, non-bounded solutions, e.g.
Graphical construction
The blancmange curve can be visually built up out of triangle wave functions if the infinite sum is approximated by finite sums of the first few terms. In the illustrations below, progressively finer triangle functions (shown in red) are added to the curve at each stage.
Properties
Convergence and continuity
The infinite sum defining
converges absolutely
In mathematics, an infinite series of numbers is said to converge absolutely (or to be absolutely convergent) if the sum of the absolute values of the summands is finite. More precisely, a real or complex series \textstyle\sum_^\infty a_n is s ...
for all
: since
for all
, we have:
:
if
.
Therefore, the Takagi curve of parameter
is defined on the unit interval (or
) if
.
The Takagi function of parameter
is
continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ...
. Indeed, the functions
defined by the partial sums
are continuous and
converge uniformly toward
, since:
:
for all x when
.
This value can be made as small as we want by selecting a big enough value of ''n''. Therefore, by the
uniform limit theorem,
is continuous if , ''w'', <1.
File:Blancmange k1.5.png, parameter w=2/3
File:Blancmange k2.png, parameter w=1/2
File:Blancmange k3.png, parameter w=1/3
File:Blancmange k4.png, parameter w=1/4
File:Blancmange k8.png, parameter w=1/8
Subadditivity
Since the absolute value is a
subadditive function In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element ...
so is the function
, and its dilations
; since positive linear combinations and point-wise limits of subadditive functions are subadditive, the Takagi function is subadditive for any value of the parameter
.
The special case of the parabola
For
, one obtains the
parabola: the construction of the parabola by midpoint subdivision was described by
Archimedes
Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists ...
.
Differentiability
For values of the parameter
the Takagi function
is differentiable in classical sense at any
which is not a
dyadic rational
In mathematics, a dyadic rational or binary rational is a number that can be expressed as a fraction whose denominator is a power of two. For example, 1/2, 3/2, and 3/8 are dyadic rationals, but 1/3 is not. These numbers are important in compute ...
. Precisely,
by derivation under the sign of series, for any non dyadic rational
one finds
:
where
is the sequence of binary digits in the
base 2 expansion of
, that is,
. Moreover, for these values of
the function
is
Lipschitz Lipschitz, Lipshitz, or Lipchitz, is an Ashkenazi Jewish (Yiddish/German-Jewish) surname. The surname has many variants, including: Lifshitz (Lifschitz), Lifshits, Lifshuts, Lefschetz; Lipschitz, Lipshitz, Lipshits, Lopshits, Lipschutz (Lipschütz ...
of constant
. In particular for the special value
one finds, for any non dyadic rational