Arxiv:2011.02039V1 [Math.FA] 3 Nov 2020 Oti N.Ti Stu Tlatfrcascnweediﬀeren Nowhere Classic for Least at True Is Metho This O and De of Fracti End

arXiv:2011.02039v1 [math.FA] 3 Nov 2020 oti n.Ti stu tlatfrcascnweedifferen nowhere classic for least at true is metho This o and de of fracti end. continued tools this is amount products, to fine infinite infinite paper [7], need contain This Series we functions processes. them these them. study for among and expressions are model To point) any functions. non-differentiabl in derivative and do interval), have (they monotonicity functions small monotonic nowhere almos trary zero measure), to Lebesgue equal [4 to is peculiarities) derivative of (their set functions continuum singular even and (infinite erties ersnaint nte)[6 32,2]aeue oti e this to used (converter are memory 27] 23–25, finite [16, another) with enc to automata of representation and (systems numbers 37], 36, of 27–29, 6, representation of system various Sierpiński [20], Minkowski 42], 40, 18, [9, Salem fun [26], 45] [8, tor Bush–Wunderlich Sierpiński [38], [43], Takagi ne series, Engel GA-2013-612669. LKAD AAOSY,YR ODAIV N YOAPRATSI MYKOLA AND KONDRATIEV, YURI BARANOVSKYI, OLEKSANDR oto otnoso h ntitra ucin aecompl have functions interval unit the on continuous of Most 2010 eetysseso ucinleutos[,53–3,it [1,15,31–33], equations functional of systems Recently hsrsac a atal upre yFP7-PEOPLE-IRSES by supported partially was research This e od n phrases. and words Key ahmtc ujc Classification. Subject Mathematics N AIGCMLCTDLCLPROPERTIES LOCAL COMPLICATED HAVING AND Abstract. [0 eeta,itga,adfatlproperties. fractal and integral, ferential, fti ls stefunction Th the is them). class among this are of functions non-differentiable and tonic, esuylcladgoa rpriso function of properties global and local study We ytefloigequality following the by n ovretra series real convergent and argument: , 1] E rpeetto fnme,lvlsto ucin cl inv scale function, of set level number, of -representation N LS FCNIUU FUNCTIONS CONTINUOUS OF CLASS ONE ucin ihcniumsto euirte snua,n (singular, peculiarities of set continuum with functions n X ∞ =0 x f (∆ u ∆ = = n nteppr ecntutadsuytecaso otnoso continuous of class the study and construct we paper, the In n g E X = ∞ 1 =1 g E ( EAE OEGLSERIES ENGEL TO RELATED x 1 u g ) 2+ (2 0 g 2 otnosfnto,snua ucin ohr monotoni nowhere function, singular function, Continuous 2 ...g + ( x u ) n g ...g 1 ... 1 + ( + )(2 , n ( . . . x 1. y where ) ... + g = Introduction 1 = ) u + f n ( x g r + rmr 63;Scnay1K5 39B72. 11K55, Secondary 26A30; Primary g 2 ) g 1 ) n r 1 endb h ne ersnainof representation Engel the by defined ( . . . n x = ) 1 = 1 + 2+ (2 g n k X , ( ∞ =2 x g ) | 1 { ∈ u r f + n g tutrl xrml dif- extremal, structural, : | k 0 g < ( , 2 x 1 n n te r fe used often are other and ons ) + 1 , 4]fntosetc. functions [41] k , i 2 Y =1 . . . vrweewt respect with everywhere t − tosec,snua Can- singular etc., ctions . . . , 1,94] nparticular, In ,17,19,46]. ucin te onot do (they functions e rga,gatn.PIRSES- no. grant program, 1 rtdfnto systems, function erated nd. 0 rac fgaho function. of graph of ariance u + } r < ibeWeierstra tiable g representative e dn fnmes [2, numbers) of oding , i eain rlimiting or perations g ( weemono- owhere n fdgt rmone from digits of s x n ) ) o aeayarbi- any have not ctdlclprop- local icated < = . 1 , oe osuch to voted s Analytic ds. OVYTYI n function, c ß [44], 2 O. BARANOVSKYI, YU. KONDRATIEV,AND M. PRATSIOVYTYI

There exist some methodological problems in development of general as well as individual theory of such functions. First of all the reason is an absence of effective means of their definition (description) and tools for their study. Ideas of theory of fractals (fractal geometry and fractal analysis), i.e., self-similar, self-affine, scale-invariant properties can be effectively used to this end. Now several main directions in the study of local and global fractal properties of functions are developed: (1) fractal characteristics of essential sets for function (for example, sets of peculiarities) [26, 44]; (2) properties of level sets of function [38, 44]; (3) fractal properties of graphs [22–24, 35]; (4) preservation or transformation of fractal dimension by function [3]. In this paper, we construct and study the infinite-parameter family of continuous functions with complicated local properties: singular (monotonic or non- monotonic), nowhere monotonic, non-differentiable or almost everywhere non-differentiable functions are among them. To this end we use E-representation of real number, i.e., its encoding by infinite alphabet in the form of Engel series (positive series such that their terms are reciprocal to cumulative products of positive integers) [5, 10, 11, 13, 14, 30, 39]. Similar object related to representation of numbers with finite alphabet and self-similar geometry (s-adic representation, Q-representation) was studied in pa- pers [31, 32]. But E-representation has an infinite alphabet and non-self-similar geometry. So some metric and probabilistic problems are essentially complicated for E-representation than for self-similar and N-self-similar representations. In pa- pers [31,32], they found expression (not only estimation) for integral of function in terms of parameters of initial system of functional equations and described conditions for non-differentiability of function. In our previous paper [1] we studied continuous functions such that they are solutions of infinite system of functional equations with countable set of parameters related to representation of real numbers by the first Ostrogradsky series. Unlike [1] in this paper we study properties of level sets as well as scale-invariant and integral properties of function.

2. Object of study It follows [30] from the known Engel theorem [10] that for any number x ∈ (0, 1] there exists a unique sequence (gn) of non-negative integers such that ∞ 1 x E . = ≡ ∆g1g2...gn... (1) (2 + g )(2 + g + g ) ... (2 + g + g + ... + gn) n=1 1 1 2 1 2 X The series (1) is called Engel series, last symbolic notation of number x is called its E-representation, and gn = gn(x) is nth symbol (digit) of this representation. Let us remark that E-representation of number is its encoding by inﬁnite alphabet A ≡ Z0 = {0, 1, 2,...}. If there exist p ∈ N such that gm+np+j = gm+j, 1 ≤ j ≤ p, for any n ∈ Z0, then they say that E-representation has a period

gm+1gm+2 ...gm+p. It is written by ∆E . g1g2...gm(gm+1gm+2...gm+p) The number is called E-rational if its E-representation has a period (0). The E-representation of such numbers has the following form: ∆E . c1c2...cm(0) ONECLASSOFCONTINUOUSFUNCTIONS 3

∞ Let (un)n=0 be an inﬁnite sequence of real numbers having the following properties (initial conditions): ∞

un = u0 + u1 + ... + un + rn = Sn + rn = 1; (2) n=0 X |un| < 1 for any n ∈ Z0; (3) ∞

0 < rn ≡ ui = rn−1 − un =1 − (u0 + u1 + ... + un) < 1, n ∈ Z0. (4) i=n+1 X It follows from property (2) that sequence (un) is inﬁnitesimal, and it follows from property (4) that

Remark 1. If sequence (un) satisfies initial conditions (2)–(4), then putting finite or infinite number of zeroes between its terms we obtain new sequence satisfying initial conditions (2)–(4) too. The main object of this study is the function ∞ k−1

y = f(x)= rg1(x) + rgk (x) ugi(x) ≡ ∆g1g2...gn..., (5) k i=1 X=2 Y where gn = gn(x) is nth symbol of E-representation of the number x ∈ (0, 1]. It is evident that equality (5) does not deﬁne function f out of left-open interval (0, 1]. Moreover,

E 2 r0 f(1) = f(∆(0))= r0 + r0u0 + r0u0 + ... = =1, 1 − u0 − m k 1 r m f E r r u c u , (∆c1...cm(c))= c1 + ck ci + ci 1 − uc k i=1 i=1 X=2 Y Y in particular, m k−1 m f E r r u u . (∆c1...cm(0))= c1 + ck ci + ci (6) k i=1 i=1 X=2 Y Y Equality (6) gives an expression for value of the function in E-rational point. Since any number x ∈ (0, 1] has a unique E-representation, to prove that function f is well deﬁned, it is enough to show that series (5) is convergent for any sequence of non-negative integers (gn). There are negative numbers and zeroes among the terms un. So, in general, series (5) is not positive. Thus consider the series with general term k−1

vk = rgk |ugj |. j=1 Y 4 O. BARANOVSKYI, YU. KONDRATIEV,AND M. PRATSIOVYTYI

Since ∗ rgk ≤ r ≡ max{r0, r1,...,rn,...} and ∗ |ugk |≤ u ≡ max{|u1|, |u2|,..., |un|,...} < 1, ∗ ∗ k−1 we have vk ≤ r (u ) ≡ wk. Using the direct comparison test we obtain that convergence of series with general term wk implies convergence of series with general term vk. Moreover, ∞ ∞ r∗ v ≤ w = . k k 1 − u∗ k k X=1 X=1 Therefore, series (5) is absolutely convergent. So function f is well deﬁned. We study local and global properties of function f: structural, extremal, diﬀer- ential, integral and fractal properties, in particular, “symmetries” of graph.

3. Range of the function Lemma 1. Value of the function f belongs to closed interval [0, 1]. Proof. Let m k−1

ym = rg1(x) + rgk (x) ugi(x) k i=1 X=2 Y be a partial sum of series (5). We prove by induction that for any sequence (gn), gn ∈ Z0, and any positive integer m the following inequality holds:

For m =1, we have y1 = rg1 ∈ (0, 1) by deﬁnition of (un). Consider

y2 = rg1 + rg2 ug1 .

If g1 =0, then

0 < r0

Let g1 > 0. If ug1 > 0, then

0 < rg1

If ug1 < 0, then

0 < rg1−1 = rg1 + ug1 ≤ y2 ≤ rg1 < 1. Thus 0 0 we obtain

0 < rg1

0 < rg1−1 < rg1 + ug1 ≤ yk+1 ≤ rg1 < 1.

Thus 0

0 ≤ y = lim ym ≤ 1. m→∞ ONECLASSOFCONTINUOUSFUNCTIONS 5

Lemma 2. The function f satisﬁes the functional equation

f(x)= rg1(x) + ug1(x)f(ω(x)), (8) where ω(x) = ω(∆E ) = ∆E = x′ is a shift operator g1(x)g2(x)...gn(x)... g2(x)g3(x)...gn(x)... on symbols of E-representation of number.

Proof. Proposition follows directly from fact that series (5) can be written in the form ∞ k−1 f(x)= rg1(x) + ug1(x) rg2(x) + rgk (x) ugi(x) . k i=2 X=3 Y Corollary 1. The function f satisﬁes the inﬁnite system of functional equations

f(δi(x)) = ri + uif(x), i =0, 1, 2,..., where δ (x) = ∆E . i ig1(x)g2(x)...gn(x)... Let us remark that shift operator ω(x) is not a piecewise-linear function of x (for example, this is true for expansion of numbers in the form of the L¨uroth series or the L-representation [34, 47, 48]), because 1 1 ω x x′ E .... ( )= = ∆g2(x)g3(x)...gn(x)... = + + 2+ g2 (2 + g2)(2 + g2 + g3) Thus relation between x and x′ is more complicated. Do not misunderstand shift operator ω(x) on symbols of E-representation for operator (function) θ x E g x x . ( ) = ∆[g1(x)+g2(x)]g3(x)g4(x)... = [2 + 1( )] − 1 The latter is piecewise-linear. Theorem 1. The range of the function f deﬁned by equality (5) belongs to interval (0, 1], and value f(x) belongs to interval (a(x),b(x)], where

a(x) = min{rg1(x), rg1(x)−1}, b(x) = max{rg1(x), rg1(x)−1},

r−1 ≡ u0 + r0 =1. Proof. Since equality (8) holds and by Lemma 1 0 ≤ f(ω(x)) ≤ 1,

for ug1(x) > 0 we have

0 < rj < 1 and 0 0.

Corollary 2. If ug1(x) > 0, then rg1(x)

4. Continuity of the function To extend the deﬁnition of the function f at the point x =0, put f(0) = 0. Theorem 2. The function f is continuous at any point of interval (0, 1), and it is right-continuous at the point x =0, left-continuous at the point x =1.

Proof. Let x0 be any point of (0, 1). To prove the continuity of the function at the point x0 it is enough to show that

lim |f(x) − f(x0)| =0. (9) x→x0

If x 6= x0, then there exists m ∈ N such that

gm(x) 6= gm(x0) but gi(x)= gi(x0) for i < m. Then

m−1 ∞ k−1

|f(x) − f(x0)| = |ugi(x0)| rgm(x) + rgk (x) ugj (x) − i=1 k=m+1 j=m Y X Y ∞ k−1

− rgm(x0) − rgk (x0) ugj (x0) . k=m+1 j=m X Y

Whence it follows that m−1 ∗ m−1 |f(x) − f(x0)| < |ugi(x0)|≤ (u ) → 0 (m → ∞), i=1 Y ∗ where u = max{|u0|, |u1|,..., |un|,...} < 1. Since condition x → x0 is equivalent to condition m → ∞, equality (9) holds. Hence f is continuous at the point x0. To prove that f is left-continuous at the point x =1 we use analogous arguments. Condition x 6=1 means that there exists m such that gm(x0) 6=0. At the same time gi(x)=0 for i

m−1 m−1 |f(x) − f(1)| < |ugi(1)|≤ u0 → 0 (m → ∞), i=1 Y we see that function f is left-continuous at the point x =1. Consider point x =0. Condition x → 0+0 is equivalent to condition g1(x) → ∞. Hence,

|f(x) − f(0)| = f(x) ≤ b(x) = max{rg1(x), rg1(x)−1} → 0, as g1(x) → ∞. Thus f is right-continuous at the point x =0.

Corollary 3. The range of the function f is a closed interval [0, 1].

5. Functional relations Lemma 3. The function f deﬁned by equality (5) is a unique solution of the system of functional equations

f(x)= ri + uif(ω(x)), i =0, 1, 2,..., (10) in the class of bounded functions deﬁned at every point of (0, 1]. ONECLASSOFCONTINUOUSFUNCTIONS 7

Proof. From the fact that f satisﬁes system (10) for any x ∈ (0, 1] it follows that f x f E r u f E ( )= (∆g1(x)g2(x)...gn(x)...)= g1 + g1 (∆g2(x)g3(x)...gn(x)...)= r r u u u f E ... = g1 + g2 g1 + g1 g2 (∆g3(x)g4(x)...gn(x)...)= = m k−1 m r r u u f E . = g1 + gk gi + gi (∆gm+1(x)gm+2(x)...gm+n(x)...) k i=1 i=1 X=2 Y Y m

Since ugi → 0 for m → ∞ and f is bounded and defined at every point of i=1 (0, 1] (inQ particular, expression f(∆E ) is well defined), we gm+1(x)gm+2(x)...gm+n(x)... see that remainder m u f E gi (∆gm+1(x)gm+2(x)...gm+n(x)...) → 0 i=1 Y as m → 0. Thus solution of system (10) can be expressed by series (5) uniquely defining function f. Corollary 4. The function f is a unique continuous solution of system of functional equations (10). Remark 2. Lemma 3 gives an equivalent definition of the function f as a continuous solution of system of functional equations (10). Remark 3. Condition (2) provides that function f is bounded and its range is an interval [0, 1]. If condition (3) is not fulfilled, then system of functional equations (10) does not have solutions in the class of functions defined on (0, 1], because series is divergent for some x ∈ (0, 1]. If condition (4) is not fulfilled, the function defined by (5) is not continuous. Accordance of sequences (ui) and (ri) provide continuity of solution, and if there is no accordance, then solution is an discontinuous function even if it exists.

6. Monotonicity intervals Let us recall the deﬁnition of useful notion of cylinder for E-representation of number. cylinder of rank with base E A m c1c2 ...cm is the set ∆c1c2...cm of all numbers x ∈ (0, 1] having E-representation with ﬁrst m symbols c1, c2,..., cm respectively, i.e., E ∆c1c2...cm = x: gi(x)= ci, i = 1,m . It is known [30] that cylinder ∆E is a left-open interval with endpoints c1c2...cm m 1 a E , m = ∆c1c2...cm−1[cm+1](0) = (2 + σ )(2 + σ ) ... (2 + σk) k 1 2 X=1 1 b E a , m = ∆c1c2...cm(0) = m + (2 + σ1)(2 + σ2) ... (2 + σm)(1 + σm) where σk ≡ c1 + c2 + ... + ck. E As we can see the endpoints of cylinder ∆c1c2...cm are E-rational points: E E . ∆c1c2...cm−1[cm+1](0) and ∆c1c2...cm−1cm(0) Remark 4. Any E-rational point is a common point of two cylinders of some rank belonging to the same cylinder of previous rank (we consider that (0, 1] is a cylinder of zero rank). The cylinders have the following properties: 8 O. BARANOVSKYI, YU. KONDRATIEV,AND M. PRATSIOVYTYI

∞ E E (1) ∆c1c2...cm = ∆c1c2...cmc; c=0 (2) max ∆E = inf ∆E ; c1c2...cmS(c+1) c1c2...cmc E 1 (3) |∆c1c2...cm | = ; (2 + σ1)(2 + σ2) ... (2 + σm)(1 + σm) E |∆c1c2...cmcm+1 | 1+ σm (4) E = ; |∆c1c2...cm | (2 + σm+1)(1 + σm+1) (5) For any sequence (cn), cn ∈ Z0, the following equality holds: ∞ E E x , . ∆c1c2...cm ≡ ∆c1c2...cm... = ∈ (0 1] m=1 \ Lemma 4. If , then function is constant on every cylinder E . up =0 f ∆c1c2...cmp Proof. E x E Since -representation of any number ∈ ∆c1c2...cmp has a form E x = ∆c1c2...cmpgm+2gm+3..., we have m k−1 m

f(x)= rc1 + rck uci + rp uci +0, k i=1 i=1 X=2 Y Y m+k N because ugi(x) =0 for all k ∈ . i=1 Q Corollary 5. If (c1,c2,...,cm) is any tuple of non-negative integers such that

uc1 uc2 ...ucm =0, then function f is constant on cylinder E . ∆c1c2...cm Theorem 3. The function f takes the maximal and minimal values at endpoints of cylinder E . Moreover, if ∆c1c2...cm m m k−1

Dm ≡ uci 6=0, ym = rc1 + rck uci , i=1 k i=1 Y X=2 Y then for Dm > 0 we have f x f E y D , max ( )= (∆c1c2...cm(0))= m + m f x f E y min ( )= (∆c1c2...cm−1[cm+1](0))= m; and for Dm < 0 we have f x f E y , max ( )= (∆c1c2...cm−1[cm+1](0))= m f x f E y D min ( )= (∆c1c2...cm(0))= m + m; Proof. Since m f(x)= ym + Dmf(ω (x)), where ∞ k−1 m 0 ≤ f(ω (x)) = rgm+1(x) + rgk (x) ugi(x) ≤ 1, k m i=m+1 =X+2 Y m we see that for Dm > 0 function f takes the maximal value if f(ω (x)) =1, i.e., if x = ∆E , and minimal value if f(ωm(x)) =0, i.e., if x = ∆E . c1c2...cm(0) c1c2...cm−1[cm+1](0) For Dm < 0 we have the opposite situation. ONECLASSOFCONTINUOUSFUNCTIONS 9

Corollary 6. Change in function on cylinder E f ∆c1c2...cm µ E f E f E f (∆c1c2...cm ) ≡ (∆c1c2...cm−1cm(0)) − (∆c1c2...cm−1[cm+1](0)) can be calculated by formula m E µf (∆c1c2...cm )= uci . (11) i=1 Y Corollary 7. If there are no zeroes among terms of sequence (un), then function f does not have constancy intervals. Proof. Indeed, suppose that under conditions of this proposition there exists inter- E val (a,b), where f is constant. Then it is easy to ﬁnd cylinder ∆c1c2...cm completely belonging to (a,b). Hence, by Corollary 6, change in function f on this cylinder as well as on interval (a,b) is nonzero. This contradiction completes the proof.

7. Lebesgue structure of the function The known Lebesgue theorem [12] states that any function of bounded variation (in particular, probability distribution function) can be represented in the form of linear combination

F (x)= α1Fd(x)+ α2Fa.c.(x)+ α3Fs(x), (12) where αi ≥ 0, α1 + α2 + α3 =1, Fd, Fa.c., Fs is discrete, absolutely continuous and singular function respectively, i.e.,

(1) Fd is a function increasing only by jumps (jump function); x ′ (2) Fa.c.(x)= F (t)dt; −∞ ′ (3) Fs is a continuousR function but Fs(x)=0 Lebesgue-almost everywhere. Equality (12) is called Lebesgue structure of function F . Moreover, if one of the numbers αi is equal to 1, then function is called pure. If α1 = 1, then it is called pure discrete, if α2 = 1, then it is called pure absolutely continuous, if α3 =1, then it is called pure singular (or singularly continuous).

Theorem 4. If all terms of sequence (un) are non-negative, then f is (1) a probability distribution function on [0, 1], moreover, this is a distribution function of random variable ξ E such that its E-symbols η are = ∆η1η2...ηk ... k independent identically distributed random variables having the distribution P{ηk = n} = un; (2) a strictly increasing function if un > 0 for any n ∈ Z0; (3) a pure absolutely continuous or pure singular function. Proof. 1. First of all let us prove that under conditions of the theorem function f is non-decreasing. Let x1 < x2. Then there exists m ∈ N such that

gm(x1) >gm(x2) but gi(x1)= gi(x2) for i < m. Consider the diﬀerence

m−1

f(x2) − f(x1)= ugi(x1) rgm(x2) − rgm(x1) + i=1 Y ∞ k−1 ∞ k−1

+ rgk (x2) ugi(x2) − rgk (x1) ugi(x1) . k m i=m k m i=m =X+1 Y =X+1 Y 10 O. BARANOVSKYI, YU. KONDRATIEV, AND M. PRATSIOVYTYI

m−1

If D = ugi(x1) =0, then f(x2)−f(x1)=0. Let D 6=0. Then from condition i=1 ui ≥ 0 it followsQ that

r ≡ rgm(x2) − rgm(x1) = ugm(x2) + ... + ugm(x1) ≥ 0. m+j N If r = 0, i.e., ugm(x2)+1 = ... = ugm(x1) = 0, then ugi(x1) = 0 for all j ∈ . i=m So, Q ∞ k−1

f(x2) − f(x1)= D · rgk (x2) ugi(x2) ≥ 0. k m i=m =X+1 Y If r> 0, then r ≥ ugm(x2)+1. Hence, ∞ k−1

f(x2) − f(x1) ≥ D rgm(x2) − rgm(x1) − rgk (x1) ugi(x1) ≥ k m i=m =X+1 Y ≥ D(rgm (x2) − rgm(x1)−1). The last inequality follows from Corollary 2 of Theorem 1. By un ≥ 0 for all n ∈ N and gm(x2)

rgm(x2) − rgm(x1)−1 ≥ 0.

Therefore, f(x2) − f(x1) ≥ 0 always. Thus f is non-decreasing continuous function taking value 0 at x = 0 and value 1 at x = 1, i.e., it is a probability distribution function on [0, 1]. Now let us show that expression for distribution function Fξ of random variable ξ coincides with expression for function f. Find expression for distribution function Fξ = P{ξ < x}. An event {ξ < x} has the form

{ξ < x} = {η1 >g1(x)}∪{η1 = g1(x), η2 >g2(x)} ∪ ... ∪

∪{ηi = gi(x),i = 1, k − 1, ηk >gk(x)} ∪ ... From disjointness of events in the last union it follows that ∞

P{ξ < x} = P{ηi = gi(x),i = 1, k − 1, ηk >gk(x)}. k X=1 Since symbols ηk of E-representation of random variable ξ are independent random variables, we have

P{ηi = gi(x),i = 1, k − 1, ηk >gk(x)} = ∞ k−1 k−1 P P = {ηk = j} {ηi = gi(x)} = rgk (x) ugi(x) i=1 i=1 j=gXk (x)+1 Y Y and ∞ k−1 P {ξ < x} = rg1(x) + rgk (x) ugi(x) . k i=1 X=2 Y 2. If un > 0 for all n ∈ N, then D> 0 and ∞ k−1

rgk (x2) ugi(x2) > 0. k m i=m =X+1 Y Hence,

f(x2) − f(x1) >D(rgm(x2) − rgm(x1)−1) ≥ 0, and thus f is strictly increasing. ONECLASSOFCONTINUOUSFUNCTIONS 11

E 3. Thus f is a distribution function of random variable ξ = ∆η1η2...ηk... with independent identically distributed E-symbols ηk. By Theorem 2, f is a continuous function. So it is enough to prove that it cannot be a mixture of singular and absolutely continuous distributions. E Let x = ∆ and let t , t ,..., tn be a fixed tuple of non-negative g1(x)g2(x)...gn(x)... 1 2 integers. Denote ¯ x E ∆t1t2...tn ( ) = ∆t1t2...tngn+1(x)gn+2(x)... and for any subset E of closed interval [0, 1] ¯ ¯ ∆t1t2...tn (E)= {u: u = ∆t1t2...tn (x), x ∈ E}, ¯ Tn(E)= ∆t1t2...tn (E),T (E)= Tn(E). t ,t ...,t n 1 [2 n [ Consider event A = {ξ ∈ T (E)}. Since ηk are independent, we see that event A generated by the sequence of random variables ηk does not depend on all σ-algebras Bm generated by η1, ..., ηm. So A is a residual event. Thus, by Kolmogorov’s 0 and 1 law, we have P(A)=0 or P(A)=1. Since T (E) ⊃ E, we see that from inequality P{ξ ∈ E} > 0 it follows that P{ξ ∈ T (E)}≥ P{ξ ∈ E} > 0. Thus P{ξ ∈ T (E)} =1. Let us consider two cases: (1) There exists E such that λ(E)=0 and P{ξ ∈ E} > 0. (2) For any set E such that λ(E)=0, we have P{ξ ∈ E} =0. In the first case from equality λ(E)=0 it follows that λ(T (E))=0. This means that there exists set T (E) such that λ(T (E)) = 0 and P{ξ ∈ T (E)} = 1, i.e., distribution of ξ is pure singular by definition. In the second case distribution function of random variable ξ has an N-property. This is equivalent to its absolute continuity [21].

8. Conditions of nowhere monotonicity

Theorem 5. If sequence (un) does not contain zeroes but contains negative terms, then function f is nowhere monotonic on closed interval [0, 1], i.e., it does not have any arbitrary small monotonicity interval. Proof. By Corollary 7 from Theorem 3, function f does not have constancy intervals. To prove that it does not have any monotonicity interval, it is enough to show that f is not monotonic on any cylinder. To this end, for any cylinder E x , x , ∆c1c2...cm = ( 0 3] it is enough to give two points x1 and x2, where x1 < x2, such that values

f(x0), f(x1), f(x2), f(x3) does not form a monotonic tuple of numbers. Remark that it is enough even three points

x0, x1, x2 or x1, x2, x3. E Moreover, taking into account Theorem 3, to prove monotonicity of f on ∆c1c2...cm , it is enough to give cylinder of rank m +1 belonging to it such that change in f f E function on this cylinder and change in function on ∆c1c2...cm have diﬀerent signs. 12 O. BARANOVSKYI, YU. KONDRATIEV, AND M. PRATSIOVYTYI

E It is evident that ∆c1c2...cmc, where uc < 0, is such cylinder because change in E function f on ∆c1c2...cm is equal to m

Dm = uci , i=1 Y E and on ∆c1c2...cmc is equal to Dm · uc. They have diﬀerent signs. E If Dm > 0, then change in function f is positive on cylinder ∆c1c2...cm and E negative on cylinder ∆c1c2...cmc. If Dm < 0, then we have the opposite situation.

9. Extrema of the function Lemma 4 and Theorem 3 give an exhaustive answer on the question on maximal and minimal value of the function on cylinder. It is enough to study function in the endpoints of cylinders, that is in E-rational points (points having the representation ∆E ). c1c2...cmi(0)

Theorem 6. 1. If ui−1ui < 0 for some i, then any point m E , where D u , ∆c1c2...cmi(0) m = c1 6=0 i=1 Y is an extreme point of the function f. Moreover, it is a maximum point if Dmui > 0, and minimum point if Dmui < 0. 2. If ui−1ui ≥ 0, any point E ∆c1c2...cmi(0) is not an extreme point of the function f.

Proof. 1. Let Dm > 0. Then from Corollary of Theorem 3 follows that change in E function f on cylinder ∆c1c2...cm is positive. If ui > 0, then from the same corollary change in function is positive on cylinder ∆E and negative on cylinder ∆E lying to the right. So common c1c2...cmi c1c2...cm[i−1] E endpoint of these cylinders, that is point xi ≡ ∆ , is a maximum point. c1c2...cmi(0) u < f E If i 0, then change in function is negative on cylinder ∆c1c2...cmi and positive on cylinder ∆E . Thus point x is a minimum point. c1c2...cm[i−1] i If Dm < 0, then we obtain the result analogously. 2. If ui−1ui =0, then using Lemma 4 we have that function is constant at least on one of cylinders E , E . ∆c1c2...cmi ∆c1c2...cm[i−1] (13) Thus, their common endpoint ∆E is not extreme point. c1c2...cmi(0) If ui−1ui > 0, then change in function f has the same sign on both cylinders (13). Thus, their common endpoint is not extreme point.

Corollary 8. If sequence (un) has negative terms, then function f has a countable set of extreme points, and they are E-rational numbers.

Corollary 9. If sequence (un) does not contain zeroes, but contains negative terms, then the set of extreme points of function f is everywhere dense. In fact, in this case extreme points exist in every cylinder. Remark 5. From Remark 4 and Theorem 6 follows that extreme points form empty set if un ≥ 0 for all n ∈ N or countable subset of the set of E-rational points if at least one ui < 0 exists and coincides with it if sequence (un) is alternating. Moreover, Theorem 3 describes the values of extrema. ONECLASSOFCONTINUOUSFUNCTIONS 13

10. Level sets of the function

Let us recall that level set y0 of function f is a set −1 f (y0)= {x: f(x)= y0}.

If un > 0 for all n ∈ N, then f is a continuous strictly increasing function as proved above. Thus, any its level consists of one point. If un ≥ 0 for all n ∈ N, but there are exist up =0, then level

m k−1 m

y = rc1 + rck uci + rp uci k i=1 i=1 X=2 Y Y E contains cylindrical closed interval ∆c1c2...cmp. In this case any level is either point or closed interval (due to continuity). Situation is more complex if there are negative terms in the sequence un. Results of the previous section suggest that function f does not have a continuum level set, so there are not exist levels of the function having fractal properties. Moreover, the properties of the level set essentially depend on the sequence (un).

Theorem 7. If there exist negative terms in the sequence (un) and E-representation of number x = ∆E has the following property: g1(x)g2(x)...gn(x)...

ugi(x)ugi+1(x) < 0 (14) −1 for infinite set of values i ∈ N, then level f (y0), where y0 = f(x), is a countable set. Proof. Using Corollary 6 from Theorem 3 we have that changes in function f have different signs on cylinders E E , ∆g1(x)g2(x)...gi(x) and ∆g1(x)g2(x)...gi(x)gi+1(x) and by Theorem 3 values of function f on a cylinder form a closed interval such that its endpoints are values of function of cylinder’s endpoints. Thus, taking into account a continuity of function we have that line y = y0 intersects the graph of function f at least at two points belonging to cylinder ∆E and not g1(x)g2(x)...gi(x) belonging to cylinder ∆E . g1(x)g2(x)...gi(x)gi+1(x) The pattern repeats for the next i such that condition (14) holds. This will −1 repeats infinitely many times. So, level f (y0) is an infinite set. It cannot be continuum as mentioned above, since the set of local maximums and minimums is −1 countable. Thus, f (y0) is a countable set.

Remark 6. If condition (14) holds, the E-representation of number x does not have a simple period (i.e., period consisting of one symbol), and therefore, it is not an E-rational number.

11. “Symmetries” of the graph. Scale invariance

Theorem 8. Graph Γf of the function f is a scale-invariant set, namely: ∞ E Γf = ∆(0) ∪ Γi, where Γi = ϕi(Γf ), i=0 [ and x′ E δ x , = ∆ig1(x)g2(x)...gn(x)... = i( ) ϕi : ′ (y = ri + uif(x). 14 O. BARANOVSKYI, YU. KONDRATIEV, AND M. PRATSIOVYTYI

Proof. 1. First of all we prove that ∞ E Γf ⊂ ∆(0) ∪ Γi ≡ F. i=0 [ E Let ∆(0) 6= M(x, y) ∈ Γf that is y = f(x). We show that M ∈ F that is there exist i such that M ∈ Γi. Let us consider point M ∆E , r + u f(ω2(x)) . It is evi- 1 g2(x)g3(x)...gn(x)... g2(x) g2(x) dent that M ∈ Γ . Then 1 f ϕ M M ′ E , r u r u f ω2 x , g1(x)( 1)= 1 ∆g1(x)g2(x)...gn(x)... g1(x)+ g1(x) g2(x)+ g2(x) ( ( )) ∈ Γg1(x) ′ and M1 = M. Then M ∈ Γg1(x), and thus M ∈ F and Γf ⊂ F . ′ ′ ′ ′ ′ ′ E 2. Show that F ⊂ Γf . Let M (x ,y ) ∈ F . If M (x ,y ) = ∆(0), then there ′ is nothing to prove; otherwise there exist j such that M ∈ Γj . Consider point ′ ′ M(x, y) such that M = ϕj (M). Then M ∈ Γf that is y = f(x), and M has coordinates E , r u f ω x ∆ig1 (x)g2(x)...gn(x)... i + i ( ( )) ′ ′ that is y = f(x ). ′ Thus M ∈ Γf and F ⊂ Γf . Equality Γf = F follows from inclusions Γf ⊂ F and F ⊂ Γf .

Remark 7. Transformation δi of left-open interval (0, 1] deﬁned by the formula x′ δ x E , = i( ) = ∆ig1(x)g2(x)...gn(x)... has non-trivial properties, since

′ 1 1 ∗ ∗ x = + x , where x = ∆E , 2+ i 2+ i [i+g1(x)]g2(x)g3(x)...gn(x)... and requires special study.

12. Integral properties of the function

Lemma 5. If i is a ﬁxed number belonging to Z0, then mapping x′ δ x E , = i( ) = ∆ig1(x)g2(x)...gn(x)... 1 is contractive with coeﬃcient 2+i . Proof. E This proposition follows from the facts that image of cylinder ∆c1c2...cm of m δ E m rank under mapping i is cylinder ∆ic1c2...cm of rank +1 and the following relations hold: E |∆ic1c2...cm | (2 + σ1)(2 + σ2) ... (2 + σm)(1 + σm) E = = |∆c1c2...cm | (2 + i)(2 + σ1 + i)(2 + σ2 + i) ... (2 + σm + i)(1 + σm + i) m 1 1+ σ 2+ σ 1 1 = · m · k < ≤ , 2+ i 1+ σm + i 2+ σk + i 2+ i 2 k Y=1 where σk = c1 + c2 + ... + ck.

Corollary 10. Let E be a set of zero Lebesgue measure. Then measure of its image under mapping δi is equal to zero too. That is

λ(E)=0 ⇒ λ(δi(E))=0 for any i ∈ Z0. ONECLASSOFCONTINUOUSFUNCTIONS 15

Lemma 6. For Lebesgue integral the following equality holds:

1 m ∞ I ≡ f(x) dx = lim In = In, m→∞ n=0 n=0 Z0 X X where E ∆n(0)

In = f(x) dx.

E Z ∆[n+1](0) Proof. This proposition follows from integrability of the function, additive property of the Lebesgue integral, and fact that (0, 1] is a union of countable set of disjoint E E intervals ∆[n+1](0), ∆n(0) , n =0, 1, 2, .... Remark 8. “Symmetries” of graph of function studied in the previous section should help to express In in terms of 1 f(x) dx.

Z0 But non-self-similar geometry of E-representation essentially complicates this prob- lem. Theorem 9. For Lebesgue integral 1 f(x) dx

Z0 the following estimate holds:

1 ∞ − ∞ u 1 r f(x) dx ≤ 1 − n n . (15) 2+ n 2+ n n=0 n=0 Z0 X X Proof. Taking into account Theorem 8 and Lemma 3 we have

E ∆n(0) 1

In = f(x)dx = rn + unf(x) dδn(x).

∆E Z Z0 [n+1](0) Then from the Lemma 6 it follows that 1 dδ (x) ≤ dx n 2+ n and 1 1 1 r u I ≤ r + u f(x) dx = n + n f(x) dx. n 2+ n n n 2+ n 2+ n Z Z 0 0 Thus 1 ∞ 1 r u f(x) dx ≤ n + n f(x) dx = 2+ n 2+ n n=0 Z0 X Z0 ∞ ∞ 1 r u = n + n f(x) dx 2+ n 2+ n n=0 n=0 X X Z0 16 O. BARANOVSKYI, YU. KONDRATIEV, AND M. PRATSIOVYTYI and ∞ 1 ∞ u r 1 − n f(x) dx ≤ n . 2+ n 2+ n n=0 n=0 X Z0 X This inequality is equivalent to (15).

References

[1] S. Albeverio, O. Baranovskyi, Yu. Kondratiev, and M. Pratsiovytyi, On one class of functions related to Ostrogradsky series and containing singular and nowhere monotonic functions, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2013), no. 15, 24–41. [2] S. Albeverio, O. Baranovskyi, M. Pratsiovytyi, and G. Torbin, The Ostrogradsky series and related Cantor-like sets, Acta Arith. 130 (2007), no. 3, 215–230. [3] S. Albeverio, M. Pratsiovytyi, and G. Torbin, Fractal probability distributions and transfor- mations preserving the Hausdorff–Besicovitch dimension, Ergodic Theory Dynam. Systems 24 (2004), no. 1, 1–16. [4] S. Banach, Uber¨ die Baire’sche Kategorie gewisser Funktionenmengen, Studia Math. 3 (1931), 174–179. [5] O. M. Baranovskyi, M. V. Pratsiovytyi, and B. I. Hetman, Comparative analysis of metric theories of representations of numbers by Engel and Ostrogradsky series and continued frac- tions, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2011), no. 12, 130–139 (in Ukrainian). [6] O. M. Baranovskyi, M. V. Pratsiovytyi, and G. M. Torbin, Topological and metric properties of sets of real numbers with conditions on their expansions in Ostrogradskii series, Ukrainian Math. J. 59 (2007), no. 9, 1281–1299. [7] O. M. Baranovskyi, M. V. Pratsiovytyi, and G. M. Torbin, Ostrogradsky–Sierpiński–Pierce series and their applications, Acad. Book Proj., Nauk. Dumka, Kyiv, 2013 (in Ukrainian). [8] K. A. Bush, Continuous functions without derivatives, Amer. Math. Monthly 59 (1952), no. 4, 222–225. [9] S. D. Chatterji, Certain induced measures on the unit interval, J. London Math. Soc. 38 (1963), 325–331. [10] F. Engel, Entwicklung der Zahlen nach Stammbrüchen, Verh. d. 52. Versamml. dtsch. Philolo- gen u. Schulmänner Marburg 1913, Teubner, Leipzig, 1914, pp. 190–191. [11] P. Erd˝os, A. Rényi, and P. Szüsz, On Engel’s and Sylvester’s series, Ann. Univ. Sci. Budapest. Sect. Math. 1 (1958), 7–32. [12] P.-L. Hennequin and A. Tortrat, Théorie des probabilités et quelques applications, Masson, Paris, 1965. [13] B. I. Hetman, Representation of numbers by s-adic Engel series, Nauk. Chasop. Nats. Ped- agog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2008), no. 9, 212–224 (in Ukrainian). [14] B. I. Hetman, M. V. Pratsiovytyi, and O. M. Baranovskyi, On the properties of one family of Cantor type sets defined by conditions on elements of Engel expansion, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2010), no. 11, 119–142 (in Ukrainian). [15] A. V. Kalashnikov, Some functional relations satisfied by singular Salem function, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2008), no. 9, 192–199 (in Ukrainian). [16] V. V. Koval, Self-affine graphs of functions, Nauk. Zap. Nats. Pedagog. Univ. Mykhaila Drahomanova. Fiz.-Mat. Nauky (2003), no. 4, 241–249 (in Ukrainian). [17] S. B. Kozyrev, Topological thickness of crinkly functions, Math. Notes 33 (1983), no. 1, 35–38. [18] G. Marsaglia, Random variables with independent binary digits, Ann. Math. Statist. 42 (1971), no. 6, 1922–1929. [19] S. Mazurkiewicz, Sur les fonctions non dérivables, Studia Math. 3 (1931), 92–94. [20] H. Minkowski, Zur Geometrie der Zahlen, Verh. d. 3. Int. Math.-Kongr. Heidelb. 1904, Teub- ner, Leipzig, 1905, pp. 164–173. [21] I. P. Natanson, Theory of functions of a real variable, 3rd ed., Nauka, Moscow, 1974 (in Russian). [22] O. B. Panasenko, Fractal properties of one class of one-parameter continuous nowhere differentiable functions, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2006), no. 7, 160–167 (in Ukrainian). ONECLASSOFCONTINUOUSFUNCTIONS 17

[23] O. B. Panasenko, Fractal dimension of graphs of continuous Cantor projectors, Nauk. Cha- sop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2008), no. 9, 104–111 (in Ukrainian). [24] O. B. Panasenko, Hausdorff–Besicovitch dimension of the graph of one continuous nowhere- differentiable function, Ukrainian Math. J. 61 (2009), no. 9, 1448–1466. [25] M. V. Pratsiovytyi, Continuous Cantor projectors, Methods of investigation of algebraic and topological structures, Kyiv State Pedagog. Inst., Kyiv, 1989, pp. 95–105 (in Russian). [26] M. V. Pratsiovytyi, Fractal approach to investigation of singular probability distributions, Natl. Pedagog. Mykhailo Drahomanov Univ. Publ., Kyiv, 1998 (in Ukrainian). [27] M. V. Pratsiovytyi, Fractal properties of one continuous nowhere differentiable function, Nauk. Zap. Nats. Pedagog. Univ. Mykhaila Drahomanova. Fiz.-Mat. Nauky (2002), no. 3, 351–362 (in Ukrainian). [28] M. V. Pratsiovytyi, Nowhere monotonic singular functions, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2011), no. 12, 24–36 (in Ukrainian). [29] M. V. Pratsiovytyi and O. M. Baranovskyi, Properties of distributions of random variables with independent differences of consecutive elements of the Ostrogradski˘ı series, Theory Probab. Math. Statist. (2005), no. 70, 147–160. [30] M. V. Pratsiovytyi and B. I. Hetman, Engel series and their applications, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2006), no. 7, 105– 116 (in Ukrainian). [31] M. V. Pratsiovytyi and A. V. Kalashnikov, On one class of continuous functions with complicated local structure such that most of them are singular or non-differentiable functions, Tr. Inst. Prikl. Mat. Mekh. 23 (2011), 180–191 (in Ukrainian). [32] M. V. Pratsiovytyi and A. V. Kalashnikov, Self-affine singular and nowhere monotone functions related to the Q-representation of real numbers, Ukrainian Math. J. 65 (2013), no. 3, 448–462. [33] M. V. Pratsiovytyi, A. V. Kalashnikov, and V. K. Bezborodov, On one class of singular functions containing the classic Minkowski function, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2010), no. 11, 225–231 (in Ukrainian). [34] M. V. Pratsiovytyi and Yu. Khvorostina, Topological and metric properties of distributions of random variables represented by the alternating Lüroth series with independent elements, Random Oper. Stoch. Equ. 21 (2013), no. 4, 385–401. [35] M. V. Pratsiovytyi and O. B. Panasenko, Differential and fractal properties of a class of self- affine functions, Visn. Lviv. Univ. Ser. Mekh.-Mat. (2009), no. 70, 128–142 (in Ukrainian). [36] M. V. Pratsiovytyi and N. A. Vasylenko, Fractal properties of functions defined in terms of Q-representation, Int. J. Math. Anal. (Ruse) 7 (2013), no. 64, 3155–3167. [37] M. V. Pratsiovytyi and N. A. Vasylenko, One family of continuous nowhere monotonic functions with fractal properties, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2013), no. 14, 176–188 (in Ukrainian). [38] M. V. Pratsiovytyi and N. A. Vasylenko, Probability distributions on graphs of one class of nowhere differentiable functions, Tr. Inst. Prikl. Mat. Mekh. 26 (2013), 159–171 (in Ukrainian). [39] A. Rényi, A new approach to the theory of Engel’s series, Ann. Univ. Sci. Budapest. Sect. Math. 5 (1962), 25–32. [40] R. Salem, On some singular monotonic functions which are strictly increasing, Trans. Amer. Math. Soc. 53 (1943), no. 3, 427–439. [41] W. Sierpiński, Un exemple élémentaire d’une fonction croissante qui a presque partout une dérivée nulle, Giorn. Mat. Battaglini (3) 54 (1916), 314–334. [42] L. Takács, An increasing continuous singular function, Amer. Math. Monthly 85 (1978), no. 1, 35–37. [43] T. Takagi, A simple example of the continuous function without derivative, T¯oky¯oS¯ugaku- Butsurigakkwai H¯okoku 1 (1901), 176–177. [44] A. F. Turbin and M. V. Pratsiovytyi, Fractal sets, functions, and probability distributions, Nauk. Dumka, Kyiv, 1992 (in Russian). [45] W. Wunderlich, Eine überall stetige und nirgends differenzierbare Funktion, Elem. Math. 7 (1952), no. 4, 73–79. [46] T. Zamfirescu, Most monotone functions are singular, Amer. Math. Monthly 88 (1981), no. 1, 47–49. [47] Yu. I. Zhykharyeva and M. V. Pratsiovytyi, Representation of numbers by positive Lüroth series: The foundation of metric theory, Nauk. Chasop. Nats. Pedagog. Univ. Mykhaila Drahomanova. Ser. 1. Fiz.-Mat. Nauky (2008), no. 9, 200–211 (in Ukrainian). 18 O. BARANOVSKYI, YU. KONDRATIEV, AND M. PRATSIOVYTYI

[48] Yu. I. Zhykharyeva and M. V. Pratsiovytyi, Expansions of numbers in positive L¨uroth series and their applications to metric, probabilistic and fractal theories of numbers, Algebra Discrete Math. 14 (2012), no. 1, 145–160.

Institute of Mathematics, National Academy of Sciences of Ukraine, 3 Tere- shchenkivska St., Kyiv, 01024, Ukraine Email address: [email protected]

Fakultat¨ fur¨ Mathematik, Universitat¨ Bielefeld, Postfach 100 131, Bielefeld, 33501, Germany Email address: [email protected]

Faculty of Physics and Mathematics, National Pedagogical Dragomanov Univer- sity, 9 Pyrohova St., Kyiv, 01601, Ukraine; Institute of Mathematics, National Acad- emy of Sciences of Ukraine, 3 Tereshchenkivska St., Kyiv, 01024, Ukraine Email address: [email protected]