Abstract
We study the singularity (multifractal) spectrum of the convex hull of the typical/generic continuous functions defined on [0, 1]d. We denote by E ϕ31 h the set of points at which \(\phi: [0,1]^{d} \rightarrow \mathbb{R}\) has a pointwise Hölder exponent equal to h. Let H f be the convex hull of the graph of f, the concave function on the top of H f is denoted by ϕ 1,f (x) = max{y: (x, y) ∈ H f } and ϕ 2,f (x) = min{y: (x, y) ∈ H f } denotes the convex function on the bottom of H f . We show that there is a dense G δ subset \(\mathcal{G} \subset C[0,1]^{d}\) such that for \(f \in \mathcal{ G}\) the following properties are satisfied. For i = 1, 2 the functions ϕ i, f and f coincide only on a set of zero Hausdorff dimension, the functions ϕ i, f are continuously differentiable on (0, 1)d, \(\mathbf{E}_{\phi _{ i,f}}^{0}\) equals the boundary of [0, 1]d, \(\dim _{H}\mathbf{E}_{\phi _{ i,f}}^{1} = d - 1\), \(\dim _{H}\mathbf{E}_{\phi _{ i,f}}^{+\infty } = d\) and \(\mathbf{E}_{\phi _{ i,f}}^{h} =\emptyset\) if h ∈ (0, +∞)∖{1}.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
- Convex Hull
- Typical Continuous Functions
- Multifractal Properties
- Generalized Monotone Maps
- Mollifier Function
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
We started with J. Nagy to study multifractal properties of typical/generic functions in [2] where multifractal properties of generic monotone functions on [0, 1] were treated. The higher dimensional version of this question was considered in [4] where with S. Seuret we investigated the Hölder spectrum of functions monotone in several variables. In [3] we also showed that typical Borel measures on [0, 1]d satisfy a multifractal formalism. Multifractal properties of typical convex continuous functions defined on [0, 1]d are discussed in [5].
In [1] the convex hull of typical continuous functions f ∈ C[0, 1] is considered by A.M. Bruckner and J. Haussermann. In this case the boundary of this convex hull decomposes into two functions (in our notation) ϕ 1,f and ϕ 2,f see Fig. 1. The upper one ϕ 1,f is concave, the lower one ϕ 2,f is convex. It is shown that for the typical f these functions are continuously differentiable on (0, 1) and at the endpoints they have infinite derivatives. The aim of our paper is to describe the multifractal spectrum of these functions in the multidimensional setting, that is, generic/typical continuous functions f in C[0, 1]d in the sense of Baire category. The topology on C[0, 1]d is the supremum metric. We also prove the multidimensional version of the above-mentioned results of A.M. Bruckner and J. Haussermann.
The convex hull of the graph of f ∈ C[0, 1]d is denoted by H f , that is, H f = convex hull of {(x, f(x)): x ∈ [0, 1]d}.
We are interested in two functions: ϕ 1,f (x) = max{y: (x, y) ∈ H f } is the function on the top of H f , and ϕ 2,f (x) = min{y: (x, y) ∈ H f } is the function on the bottom of H f . In Fig. 1 these functions are illustrated in dimension one.
The points where f and ϕ i, f coincide are denoted by E i, f = {x: ϕ i, f (x) = f(x)}, i = 1, 2.
The Hölder exponent and singularity spectrum for a locally bounded function is defined as follows.
Definition 1.1.
Let f ∈ L ∞([0, 1]d). For h ≥ 0 and x ∈ [0, 1]d, the function f belongs to C x h if there are a polynomial P of degree less than [h] and a constant C such that, for x′ close to x,
The pointwise Hölder exponent of f at x is h f (x) = sup{h ≥ 0: f ∈ C x h}.
Definition 1.2.
The singularity spectrum of f is defined by
Here dim H denotes the Hausdorff dimension (see, for example, [7] or [8]), and dim∅ = −∞ by convention.
We will also use the sets
The faces of [0, 1]d are
and
Then ∂([0, 1]d) = ∪ i = 1 2 ∪ j = 1 d F i, j .
Since our functions are defined on [0, 1]d at points of ∂([0, 1]d) we can consider only one-sided partial derivatives. For example, for a point x ∈ F 0,1 we denote by ∂ 1,+ f(x) the one-sided partial derivative in the first variable pointing in the direction of the interior of [0, 1]d, while for points x ∈ F 1,1 we need to use ∂ 1,− f(x).
The main result of our paper is the following theorem:
Theorem 1.3.
There exists a dense G δ set \(\mathcal{G} \subset C[0,1]^{d}\) such that for every \(f \in \mathcal{ G}\) for i = 1, 2
-
ϕ i, f is continuously differentiable on (0, 1)d ;
-
if x ∈ ∂([0, 1]d), then
$$\displaystyle{ h_{\phi _{i,f}}(\mathbf{x}) = 0 }$$(3)hence \(d_{\phi _{i,f}}(0) = d - 1\) and \(\mathbf{E}_{\phi _{i,f}}^{0} \cap (0,1)^{d} =\emptyset\) ;
-
\(d_{\phi _{i,f}}(1) = d - 1\) ;
-
\(d_{\phi _{i,f}}(+\infty ) = d\) ;
-
\(d_{\phi _{i,f}}(h) = -\infty\) , that is, E f h = ∅ for h ∈ (0, +∞)∖{1};
-
for j = 1, …, d if x ∈ F 0,j , then
$$\displaystyle{ \partial _{j,+}\phi _{i,f}(\mathbf{x}) = (-1)^{i+1}(+\infty ) }$$(4)if x ∈ F 1,j , then
$$\displaystyle{ \partial _{j,-}\phi _{i,f}(\mathbf{x}) = (-1)^{i}(+\infty ); }$$(5) -
dim H E i, f = 0.
2 Notation and Preliminary Results
The open ball with center x and of radius r > 0 is denoted by B(x, r). We use similar notation for open neighborhoods of subsets, for example, if \(A \subset \mathbb{R}^{d}\), then \(B(A,r) =\{ \mathbf{x} \in \mathbb{R}^{d}: \text{dist}(\mathbf{x},A) <r\}.\)
For subsets \(A \subset \mathbb{R}^{d}\) we denote the diameter of the set A by | A | while ∂A denotes its boundary.
The j’th basis vector in \(\mathbb{R}^{d}\) is denoted by \(\mathbf{e}_{j} = (0,\ldots,0,\mathop{1}\limits_{\mathop{ \uparrow }\limits_{ j}},0,\ldots,0).\)
In our proofs we use a standard fixed countable dense set {f n } n = 1 ∞ in C[0, 1]d. We assume that the functions f n are in C ∞[0, 1]d. (Taking an arbitrary countable dense set \(\{\widetilde{f}_{n}\}\) in C[0, 1]d by using a mollifier function it is easy to obtain such a dense set of C ∞ functions.)
Definition 2.1.
We say that \(f: [0,1]^{d} \rightarrow \mathbb{R}\) is piecewise linear if there is a partition Z j , j = 1, …, n ζ of [0, 1]d into simplices such that for each j the set {(x, f(x)): x ∈ Z j } is the subset of a hyperplane in \(\mathbb{R}^{d+1}\).
We say that f is independent piecewise linear if it is piecewise linear and if V denotes the collection of the vertices of the simplices Z j , j = 1, …, n ζ for a suitable partition, then
-
from x 1, …, x k ∈ V, x i ≠ x j , i ≠ j, the points (x j , f(x j )), j = 1, …, k are on the same d-dimensional hyperplane in \(\mathbb{R}^{d+1}\) it follows that k ≤ d + 1,
-
from x 1, …, x k ∈ V ∩ (0, 1)d, x i ≠ x j , i ≠ j, the points x j , j = 1, …, k are on the same (d − 1)-dimensional hyperplane in \(\mathbb{R}^{d}\) it follows that k ≤ d.
The second assumption in the above definition is void in the one dimensional case since the zero dimensional hyperplanes are just points.
Lemma 2.2.
Suppose f ∈ C[0, 1]d . For any x 0 ∈ [0, 1]d there exist x i ∈ E 1,f , i = 1, …, d + 1 and p i ≥ 0, ∑ i = 1 d+1 p i = 1, such that x 0 = ∑ i = 1 d+1 p i x i and
Remark 2.3.
We remark that in the above lemma some p i ’s can equal zero, or some x i ’s coincide.
Proof.
By Carathéodory’s theorem (see, for example, [6]) from (x 0, ϕ 1,f (x 0)) ∈ H f it follows that one can find (not necessarily different) x i ∈ [0, 1]d, p i ≥ 0, i = 1, …, d + 1, ∑ i = 1 d+1 p i = 1 such that ∑ i = 1 d+1 p i x i = x 0, ∑ i = 1 d+1 p i f(x i ) = ϕ 1,f (x 0). If for an i′ we had f(x i′) < ϕ 1,f (x i′), then letting
we would obtain (x 0, y′) ∈ H f contradicting that ϕ 1,f (x 0) = max{y: (x 0, y) ∈ H f }.
Lemma 2.4.
There exists a dense G δ set \(\mathcal{G}_{0,d} \subset C[0,1]^{d}\) such that for every \(f \in \mathcal{ G}_{0,d}\) and for every x 0 ∈ F 0,d
Remark 2.5.
For j = 1, …, d a version of Lemma 2.4 can provide dense G δ sets \(\mathcal{G}_{0,j} \subset C[0,1]^{d}\) such that (6) and (7) hold with d replaced by j. If we use the faces F 1,j instead of F 0,j in analogous versions of Lemma 2.4 we can obtain dense G δ sets \(\mathcal{G}_{1,j} \subset C[0,1]^{d}\).
Taking
for any \(f \in \mathcal{ G}_{0}\) we have (3)– (5) satisfied.
Proof.
Without limiting generality we prove the statement for ϕ 1,f .
Suppose x 0 = (x 0,1, …, x 0,d−1, 0) ∈ F 0,d . By Lemma 2.2 there exist x i ∈ E 1,f ⊂ [0, 1]d, and p i ≥ 0, i = 1, …, d + 1, such that ∑ i = 1 d+1 p i = 1,
This and x 0 ∈ F 0,d imply
Put M n = | | f n ′ | | ∞ ≥ | ∂ d f n (x) | for all x ∈ [0, 1]d. We also let
It is clear that G m = ∪ n = 1 ∞ B(f n, m , δ n, m ) is dense and open in C[0, 1]d and \(\mathcal{G}_{0,d}{\buildrel \mathrm{def} \over =} \cap _{m=1}^{\infty }G_{ m}\) is dense G δ . Suppose \(f \in \mathcal{ G}_{0,d}\). Then there exists a sequence n m , m = 1, … such that \(f \in B(f_{n_{m},m},\delta _{n_{m},m})\). Since x i ∈ F 0,d by (11) we have
Therefore, using (9)
On the other hand, since ϕ 1,f is concave
Taking difference
(by the Mean value Theorem and the choice of M n )
Choosing \(t_{m} = 2^{-(n_{m}+m)}\) by (11) we obtain
Hence,
This implies (7).
Taking α = 1 and using concavity of ϕ 1,f we also obtain ∂ d, + ϕ 1,f (x 0) = +∞. This implies (6).
Lemma 2.6.
There exists a dense G δ set \(\mathcal{G}_{1} \subset C[0,1]^{d}\) such that for every \(f \in \mathcal{ G}_{1}\) the functions ϕ 1,f and ϕ 2,f are both continuously differentiable on (0, 1)d .
Remark 2.7.
This also implies that \(h_{\phi _{i,f}}(\mathbf{x}) \geq 1\) for any x ∈ (0, 1)d, that is, \(\mathbf{E}_{\phi _{i,f}}^{1,<} \cap (0,1)^{d} =\emptyset\) for \(f \in \mathcal{ G}_{1}\) and i = 1, 2.
Proof.
Again we start with f n ∈ C ∞[0, 1]d, n = 1, … a countable dense set in C[0, 1]d. This time we select
We also put
Recall that \(\mathcal{G}_{0}\) was defined in Remark 2.5. We put
and select \(f \in \mathcal{ G}_{1}.\) Then we can choose n m such that \(f \in B(f_{n_{m}},\delta _{n_{m},m}).\)
Suppose x ∈ (0, 1)d. We need to verify that ∂ j ϕ i, f (x) exists and continuous for any j = 1, …, d and i = 1, 2.
Since the other cases are similar we can suppose that i = 1, j = 1.
Since ϕ 1,f (x + t e 1) is a concave function in t it is sufficient to verify that its derivative exists at t = 0 for any choice of x ∈ (0, 1)d. This will imply that ∂ 1 ϕ 1,f (x + t e 1) is monotone decreasing in t, without any jump discontinuities, hence for a fixed x it is continuous as a function of one variable. In the end of this proof we will provide a standard argument showing that from the concavity and continuity of ϕ 1,f one can deduce that ∂ 1 ϕ 1,f is continuous on (0, 1)d.
From now on x ∈ (0, 1)d is fixed.
By Carathéodory’s theorem we can select x i ∈ E 1,f , p i ≥ 0, i = 1, …, d + 1 such that ∑ i = 1 d+1 p i = 1, ∑ i = 1 d+1 p i x i = x and
By the assumption that \(f \in \mathcal{ G}_{0}\) for x ∈ (0, 1)d the points x i are in (0, 1)d. Suppose
By the one dimensional Taylor’s formula one can find \(c_{n_{m},i,\pm }\) such that \(\vert c_{n_{m},i,\pm }\vert <h_{m}\) and
This implies
[using (2)]
using \(\vert f - f_{n_{m}}\vert <\delta _{n_{m},m}\), f(x i ) = ϕ 1,f (x i ) and ∑ i = 1 d+1 p i f(x i ) = ϕ 1,f (x) we can continue by
By (13) and (14) we obtain that
and similarly
and hence,
Since ϕ 1,f is concave this implies that ∂ 1 ϕ 1,f (x) exists.
Next we verify that ∂ 1 ϕ 1,f is continuous on (0, 1)d. We have seen that ∂ 1 ϕ 1,f (x + t e 1) is a monotone decreasing continuous function in t for a fixed x ∈ (0, 1)d. We need to show that ∂ 1 ϕ 1,f is continuous as a function of several variables at any x ∈ (0, 1)d. This is quite standard. Suppose x ∈ (0, 1)d and ɛ > 0 are fixed. Choose t 0 > 0 such that
The function ϕ 1,f is continuous as the “top part” of the convex hull H f of the continuous function f. By uniform continuity of ϕ 1,f choose δ 1 > 0 such that
Now suppose that
Then by (17)
By the Mean Value Theorem there exist c x and c z in (t 0, 2t 0) such that
and
By monotonicity of ∂ 1 ϕ 1,f we have
From (19)– (21) it follows that
A similar argument can show that there is c z ′ ∈ (t 0, 2t 0) such that
and
By monotonicity of ∂ 1 ϕ 1,f (x + z + t e 1) this implies that for − t 0 ≤ t ≤ t 0 we have
Since this holds for any z satisfying (18) we obtain that ∂ 1 ϕ 1,f is continuous on (0, 1)d.
Lemma 2.8.
There exists a dense G δ set \(\mathcal{G}_{2,1}\) in C[0, 1]d such that for every \(f \in \mathcal{ G}_{2,1}\)
Proof.
We choose again a countable dense set f n ∈ C[0, 1]d. The functions f n are uniformly continuous and for \(\frac{1} {16(n+m)}\) we choose η n, m > 0 such that
We partition [0, 1]d into non-overlapping simplices Z j , j = 1, …, ζ n, m such that the diameter of each simplex is less than η n, m . We assume that V (n, m) is the set of vertices of these simplices. We can also assume that these vertices are sufficiently independent, that is, from x 1, …, x k ∈ V (n, m) ∩ (0, 1)d, x i ≠ x j , i ≠ j, the points x j , j = 1, …, k are on the same d − 1-dimensional hyperplane in \(\mathbb{R}^{d}\) it follows that k ≤ d. This means that the second assumption in Definition 2.1 is satisfied.
We denote by \(\widetilde{f}_{n,V (n,m)}\) the function which is defined on V (n, m) and for any x ∈ V (n, m), \(\widetilde{f}_{n,V (n,m)}(\mathbf{x}) = f_{n}(\mathbf{x}).\) In Fig. 2 we illustrate the procedure of selecting f n, m . On the left half of this figure there is f n with the little circles on its graph. We suppose that on [0, 1]1 we used the “simplices,” which are equally spaced line segments of length 0. 2. The function \(\widetilde{f}_{n,V (n,m)}\) is defined on these points and its graph is represented by the little circles on the graph of f n .
Now we perturb \(\widetilde{f}_{n,V (n,m)}\) a bit in order to obtain an “independent” function \(\overline{f}_{n,V (n,m)}\) such that
and if x 0, …, x k ∈ V (n, m), x i ≠ x j if i ≠ j, and \((\mathbf{x}_{j},\overline{f}_{n,V (n,m)}(\mathbf{x}_{j}))\), j = 1, …, k are on the same hyperplane in \(\mathbb{R}^{d+1}\), then k ≤ d + 1. This implies that the first assumption of Definition 2.1 is satisfied for \(\overline{f}_{n,V (n,m)}\).
If x ∈ [0, 1]d ∖V (n, m) and x is in the simplex Z j , j ∈ {1, …, ζ n, m } with vertices z j, 1, …, z j, d+1 ∈ V (n, m) we define f n, V (n, m)(x) so that (x, f n, V (n, m)(x)) is on the hyperplane determined by the points
Therefore, f n, V (n, m) is an independent piecewise linear function (recall Definition 2.1 and see the illustration on the left half of Fig. 2).
Now we want to perturb the functions f n, V (n, m) a little further. Let κ(x) = max{1 − | | x | |, 0} and for a γ > 0 put
Then lim γ → 0+ Γ V (n, m), γ (x) = χ V (n, m)(x).
We denote by ν(n, m) the minimum distance among points of V (n, m) and will select a sufficiently small γ n, m > 0 later. We put
On both halves of Fig. 2 one can see \(\frac{1} {4(n+m)}\varGamma _{V (n,m),\gamma _{n,m}}\) which is the function with the equally spaced small peaks at the points which are multiples of 0. 2. On the right half of Fig. 2 one can see f n, m which is obtained from f n, V (n, m) (pictured on the left half of Fig. 2) after we added the small peaks.
We suppose that
and if \(\mathfrak{G}(n,m)\) denotes the maximum of the norms of the gradients of the hyperplanes in the definition of f n, V (n, m), then
This way if we take the convex hull of f n, m , then
will be a subset of V (n, m). See the right half of Fig. 2. We remark that the resolution of our drawings does not make it possible to take into all the above assumptions and hence they are distorted, but we hope that they can help to understand our procedure.
Our next aim is to select a sufficiently small δ n, m > 0. It is clear that given r n, m > 0 if δ n, m is sufficiently small, then f can coincide with ϕ 1,f only close to some points in V (n, m), that is, for any f ∈ B(f n, m , δ n, m ) and any x ∈ E 1,f there is w x ∈ V (n, m) such that
On the left half of Fig. 3 one can see f n, m and f. We lso graphed the functions \(\phi _{1,f_{n,m}}\) and ϕ 1,f which will be very close to each other. The latter function is not exactly piecewise linear but a close approximation to such a function, namely to \(\phi _{1,f_{n,m}}\). In the one dimensional case, like in Fig. 3 the nonlinear parts (not pictured) are very close to some elements of V (n, m). The higher dimensional case is a bit more complicated and we discuss it below.
We will select a sufficiently small r n, m > 0 later. At this point we suppose that
This implies that for any x ∈ E 1,f there is a unique w x ∈ V (n, m). That is, f will “almost” look like a piecewise linear function. This implies that if f ∈ B(f n, m , δ n, m ), then
We can suppose that r n, m is chosen so small, that
This estimate will imply that dim H E 1,f = 0 for the typical f ∈ C[0, 1]d, that is for \(f \in \mathcal{ G}_{2,1}\).
By the choice of γ n, m if we consider \(\phi _{1,f_{n,m}}\), then it is an independent piecewise linear function. There is a system of non-overlapping simplices
such that \((\mathbf{x},\phi _{1,f_{n,m}}(\mathbf{x}))\) for any x ∈ [0, 1]d is on a hyperplane determined by a simplex S k containing x. On the left half of Fig. 3 the one dimensional case is illustrated and these simplices are simply the line segments [0, 0. 4], [0. 4, 0. 6], and [0. 6, 1]. The endpoints 0. 4 and 0. 6 are points where this function “breaks” and these points are on two non-parallel lines (“hyperplanes”). These breakpoints/folding regions will be used to find those points where the Hölder exponent is 1. On the right half of Fig. 3 the two dimensional case d = 2 is illustrated. This time we have simplices (triangles) in [0, 1]d bounded by solid lines on which \(\phi _{1,f_{n,m}}\) is linear. On the right half of Fig. 3 only the domain of \(\phi _{1,f_{n,m}}\) is shown. The system of the simplices (triangles) bounded with dashed lines will be simplices corresponding to ϕ 1,f . Later we will explain this in more detail.
By the independence property of f n, V (n, m) the hyperplanes determined by the simplices S k are different for different S k .
We denote by V ϕ the set of the vertices of the simplices S k , k = 1, …, s ϕ . Clearly, V ϕ ⊂ V (n, m). The union of the faces of these simplices will be denoted by \(\varPhi _{\phi } = \cup _{k=1}^{s_{\phi }}\partial (S_{k}).\) If x 0 ∈ ∂(S k ) ∩ ∂(S k′) with k ≠ k′, then \(\{(\mathbf{x},\phi _{1,f_{n,m}}(\mathbf{x})): \mathbf{x} \in S_{k}\}\) and \(\{(\mathbf{x},\phi _{1,f_{n,m}}(\mathbf{x})): \mathbf{x} \in S_{k'}\}\) are on different hyperplanes and hence the graph of \(\phi _{1,f_{n,m}}\) “breaks” at x 0. This implies that we can choose τ 1,n, m such that for any x ϕ ∈ Φ ϕ ∩ (0, 1)d and for any hyperplane L x passing through \((\mathbf{x}_{\phi },\phi _{1,f_{n,m}}(\mathbf{x}_{\phi }))\) one can choose a point x ϕ ′ such that
and
where we used that (34) implies | | x ϕ ′−x ϕ | | > τ 1,n, m . See Fig. 4.
It is also clear that if f is a good approximation of f n, m , then one can see similar “breaking” properties on ϕ 1,f . This time there are no “folding edges” like in the case of f n, m on Φ ϕ ∩ (0, 1)d but there are regions around Φ ϕ where we can see similar phenomena.
Using that f n, m and \(\phi _{1,f_{n,m}}\) are both independent piecewise linear functions one can see that
as δ → 0 +. Apart from (31) and (33) we also assume that r n, m > 0 is chosen so small that
and (using that dim H Φ ϕ = d − 1)
and
Recall that we started to make assumptions about δ n, m in the paragraph containing (30). The smaller r n, m we need to use the smaller δ n, m . Next we suppose that using (36) we chose a δ n, m such that in addition to our other assumptions we have
Now we want to use the folding property in (34) and (35) for functions f which approximate f n, m . This time the “folding edges” are not any more (d − 1)-dimensional surfaces, but some neighborhoods of them. By (38) and (39) we will be able to bound the dimension of these regions.
Suppose \(S_{k} \in \mathcal{S}_{\phi }\) with k ∈ {1, …, s ϕ } with vertices z k, 1, …, z k, d+1. Since f n, m and \(\phi _{1,f_{n,m}}\) are both independent piecewise linear functions there is δ ϕ, k > 0 such that if f ∈ B(f n, m , δ ϕ, k ), then one can choose vertices z k, j, f , j = 1, …, d + 1 such that
moreover if S k, f denotes the simplex determined by {z k, j, f : j = 1, …, d + 1}, then {(x, f(x)): x ∈ S k, f } is on the surface of H f inside a hyperplane determined by \(\{(\mathbf{z}_{k,j,f},f(\mathbf{z}_{k,j,f})): k = 1,\ldots,d + 1\}\), that is, {(x, ϕ 1,f (x)): x ∈ S k, f } is a “face” of ϕ 1,f approximating \(\{(\mathbf{x},\phi _{1,f_{n,m}}(\mathbf{x})): \mathbf{x} \in S_{k}\}\). On the right half of Fig. 3 we have the two dimensional illustration. The simplices (triangles) \(S_{k} \in \mathcal{ S}_{\phi }\) are bounded by solid lines. The simplices (triangles) S k, f are bounded by dashed lines.
We can suppose that δ n, m < min{δ ϕ, k : k = 1, …, s ϕ } and by using independent piecewise linearity of f n, m and \(\phi _{1,f_{n,m}}\) we obtain that the hyperplanes containing {(x, ϕ 1,f (x)): x ∈ S k, f } are different for different k’s.
Hence the simplices S k, f are non-overlapping.
Put
These sets Φ ϕ, f will replace the folding edges Φ ϕ ∩ (0, 1)d. In Fig. 3 this is the region which is not covered by the interiors of the simplices (triangles) bounded by dashed lines.
From | | z k, j −z k, j, f | | < r n, m in (41) it follows that any point x in S k which is of distance no less than r n, m from ∂(S k ) is covered by S k, f .
Thus Φ ϕ, f ⊂ B(Φ ϕ , r n, m ) and hence by (38) and (39)
Using all the above restrictions we can select δ n, m > 0.
Set \(\mathcal{G}_{2,1} = \cap _{m=1}^{\infty }\cup _{n=1}^{\infty }B(f_{n,m},\delta _{n,m})\).
It is clear that \(\mathcal{G}_{2,1}\) is a dense G δ set in C[0, 1]d.
Suppose \(f \in \mathcal{ G}_{2,1}\). Then there exists a sequence n m such that \(f \in B(f_{n_{m},m},\delta _{n_{m},m})\). For each m we can define the “folding region” as in (42). Since these regions depend on m we denote them by Φ ϕ, f, m . Set Φ f = ∩ m = 1 ∞ Φ ϕ, f, m . If x ∈ (0, 1)d ∖Φ f , then there exists an m such that x ∈ int(S k, f, m ) with a simplex S k, f, m and {(x, ϕ 1,f (x)): x ∈ S k, f, m } is the subset of a hyperplane in \(\mathbb{R}^{d+1}\). This implies that ϕ 1,f is locally linear in a neighborhood of x and \(h_{\phi _{1,f}}(\mathbf{x}) = +\infty\).
Using (43) one can easily see that dim H (Φ f ) ≤ d − 1. On the other hand, from (43) it also follows that if S ⊂ (0, 1)d is a simplex such that its vertices are z 1, …, z d+1 ∈ E 1,f , then there exists m 0 such that for m ≥ m 0, S ⊄ Φ ϕ, f, m . Since S is a “face” of ϕ 1,f if x ∈ ∂(S), then x cannot belong to the interior of any other “face” of ϕ 1,f . Hence ∂(S) ⊂ Φ f . Since dim H ∂(S) = d − 1 we obtain that dim H (Φ f ) = d − 1. If x ∈ Φ f , then (34) and (35) imply that h f (x) ≤ 1.
The property dim H E 1,f = 0 follows from (32) and (33).
Proof (Proof of Theorem 1.3).
We can take \(\mathcal{G}_{0}\) from (8) in Remark 2.5 and for any \(f \in \mathcal{ G}_{0}\) we have (3)– (5) satisfied.
By Lemma 2.6 there exists a dense open set \(\mathcal{G}_{1} \subset C[0,1]^{d}\) such that for any \(f \in \mathcal{ G}_{1}\) the functions ϕ 1,f and ϕ 2,f are continuously differentiable on (0, 1)d.
There is nothing special about ϕ 1,f in Lemma 2.8. A similar lemma can provide a dense G δ set \(\mathcal{G}_{2,2}\) such that for any \(f \in \mathcal{ G}_{2,2}\) we have (24) for E 2,f and ϕ 2,f .
If we take \(\mathcal{G} =\mathcal{ G}_{0} \cap \mathcal{ G}_{1} \cap \mathcal{ G}_{2,1} \cap \mathcal{ G}_{2,2}\), then taking into consideration Remark 2.7 as well any \(f \in \mathcal{ G}\) satisfies the conclusions of Theorem 1.3.
References
Bruckner, A.M., Haussermann, J.: Strong porosity features of typical continuous functions. Acta Math. Hung. 45(1–2), 7–13 (1985)
Buczolich, Z., Nagy, J.: Hölder spectrum of typical monotone continuous functions. Real Anal. Exch. 26, 133–156 (2000/2001)
Buczolich, Z., Seuret, S.: Typical Borel measures on [0, 1]d satisfy a multifractal formalism. Nonlinearity 23(11), 2905–2918 (2010)
Buczolich, Z., Seuret, S.: Hölder spectrum of functions monotone in several variables. J. Math. Anal. Appl. 382(1), 110–126 (2011)
Buczolich, Z., Seuret, S.: Multifractal properties of typical convex functions (submitted)
Eckhoff, J.: Helly, Radon, and Carathéodory type theorems. In: Handbook of Convex Geometry A, B, pp. 389–448. North-Holland, Amsterdam (1993)
Falconer, K.J.: Fractal Geometry. Wiley, Chichester (1990)
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces. Cambridge University Press, Cambridge (1995)
Acknowledgements
Research supported by National Research, Development and Innovation Office–NKFIH, Grant 104178.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Buczolich, Z. (2017). Multifractal Properties of Convex Hulls of Typical Continuous Functions. In: Barral, J., Seuret, S. (eds) Recent Developments in Fractals and Related Fields. FARF3 2015. Trends in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-57805-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-57805-7_4
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-57803-3
Online ISBN: 978-3-319-57805-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)