The Takagi function τ: [0,1] → [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = x : τ(x) = y of the Takagi function τ(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, which is more complicated. It is known that for a “generic” full Lebesgue measure set of ordinates y, the level sets are finite sets. In contrast, here it is shown for a “generic” full Lebesgue measure set of abscissas x, the level set L(τ(x)) is uncountable. An interesting singular monotone function is constructed associated to local level sets, and is used to show the expected number of local level sets at a random level y is exactly ( 3 2 ).
The Takagi function has self-affine properties, and there has been extensive study of various classes of self-affine functions. In particular, in the late 1980's Bertoin @cite_11 , @cite_22 studied the Hausdorff dimension of level sets of certain classes of self-affine functions; however his results do not cover the Takagi function.
@cite_22 @cite_11
2050162182 2048567997 1611433572 2962856088
The Takagi function : [0, 1] [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. This paper studies the level sets L(y) = x : (x) = y of the Takagi function (x). It shows that for a full Lebesgue measure set of ordinates y, these level sets are finite sets, but whose expected number of points is infinite. Complementing this, it shows that the set of ordinates y whose level set has positive Hausdorff dimension is itself a set of full Hausdorff dimension 1 (but Lebesgue measure zero). Finally it shows that the level sets have a nontrivial Hausdorff dimension spectrum. The results are obtained using a notion of "local level set" introduced in a previous paper, along with a singular measure parameterizing such sets. We study the occupation measure of a class of self-affine functions in Kamae’s sense. As these functions are Jarnik functions, we give examples of Jarnik functions which are not (LT), answering negatively to a problem of Geman and Horowitz. Let T be Takagi's continuous but nowhere-differentiable function. It is known that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. We show that the most common cardinality of the level sets of T is two, and investigate in detail the set of ordinates y such that the level set at level y has precisely two elements. As a by-product, we obtain a simple iterative procedure for solving the equation T(x)=y. We show further that any positive even integer occurs as the cardinality of some level set, and investigate which cardinalities occur with positive probability if an ordinate y is chosen at random from the range of T. The key to the results is a system of set equations for the level sets, which are derived from the partial self-similarity of T. These set equations yield a system of linear relationships between the cardinalities of level sets at various levels, from which all the results of this paper flow. Abstract Let T be Takagi's continuous but nowhere-differentiable function. Using a representation in terms of Rademacher series due to N. Kono [Acta Math. Hungar. 49 (1987) 315–324], we give a complete characterization of those points where T has a left-sided, right-sided, or two-sided infinite derivative. This characterization is illustrated by several examples. A consequence of the main result is that the sets of points where T ′ ( x ) = ± ∞ have Hausdorff dimension one. As a byproduct of the method of proof, some exact results concerning the modulus of continuity of T are also obtained.