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 ).
Finally we remark that there has been much study of the non-differentiable nature of the Takagi function in various directions, see for example Allaart and Kawamura ( @cite_0 , @cite_18 ) and references therein. It is considered as an example in Tricot [Section 6] Tri97 .
@cite_0 @cite_18
2962856088 1611433572 2050162182 2962724035
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. 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. 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 give a detailed description of the geometry of single droplet patterns in a non- local isoperimetric problem. In particular we focus on the sharp interface limit of the Ohta- Kawasaki free energy for diblock copolymers, regarded as a paradigm for those energies modeling physical systems characterized by a competition between short and a long-range interactions. Exploiting fine properties of the regularity theory for minimal surfaces, we extend previous partial results in different directions and give robust tools for the geometric analysis of more complex patterns. where u is the order parameter of a two-phases system confined in ⊂ R n , and and m are two nonnegative numerical parameters. The two terms in the energy mimic attractive short-range and repulsive long-range energies between the phases. More precisely the first term is local, it favors minimal interface area and drives the system toward a partition into few pure phases while the second term, involving a Coulomb-like kernel G, is non-local and favor a fine mixing of the phases. A detailed description of the energy is given in § 1. The competition between these two terms is expected to induce the formation of highly regular mesoscopic patterns, whose geometry strongly depends on the choice of the parameters and m (e.g. spherical spots, cylinders, gyroids and lamellae). 0.1. The Ohta-Kawasaki functional for diblock copolymers. The model we consider arises as a simplification of a Ginzburg-Landau functional proposed by Ohta and Kawasaki in their pioneering paper (41) as a possible description of a diblock copolymers' (DBC) system. Even though it is questionable whether such an energy actually describes DBCs (see Choksi and Ren (15), Muratov (39) and Niethammer and Oshita (40)), nevertheless it is a first, and mathematically non-trivial, attempt to capture some of the main features of these systems. For such a reason it deserved over the last twenty years great attention from both the mathematical and the physical