On the Baire Generic Validity of the <span class="nowrap"><svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-0.2725pt" id="M1" height="10.5867pt" version="1.1" viewBox="-0.0657574 -10.3142 6.00502 10.5867" width="6.00502pt"><g transform="matrix(.017,0,0,-0.017,0,0)"><path id="g113-117" d="M324 430H196L233 583L223 592L145 529L120 430H54L29 396L31 388H111L56 126C33 15 54 -12 77 -12C137 -12 214 57 250 95L233 119C208 92 155 59 138 59C126 59 120 70 131 125L186 390L298 394L324 430Z"/></g></svg>-</span>Multifractal Formalism in Besov and Sobolev Spaces

Ben Abid, Moez; Ben Slimane, Mourad; Ben Omrane, Ines; Halouani, Borhen

doi:https://doi.org/10.1155/2019/4358261

Journal of Function Spaces

On this page

Abstract Introduction Conclusion Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2019 | Article ID 4358261 | https://doi.org/10.1155/2019/4358261

On the Baire Generic Validity of the -Multifractal Formalism in Besov and Sobolev Spaces

Moez Ben Abid,¹Mourad Ben Slimane,²Ines Ben Omrane,³and Borhen Halouani²

Academic Editor: Stanislav Hencl

Received13 Feb 2019

Revised07 May 2019

Accepted16 Jun 2019

Published29 Aug 2019

Abstract

The multifractal formalism is a formula introduced by Jaffard and Mélot in order to deduce the spectrum of a function from the knowledge of the oscillation exponent of . The spectrum is the Hausdorff dimension of the set of points where has a given value of pointwise regularity. The oscillation exponent is measured by determining to which oscillation spaces (defined in terms of wavelet coefficients) belongs. In this paper, we first prove embeddings between oscillation and Besov-Sobolev spaces. We deduce a general lower bound for the oscillation exponent. We then show that this lower bound is actually equality generically, in the sense of Baire’s categories, in a given Sobolev or Besov space. We finally investigate the Baire generic validity of the multifractal formalism.

1. Introduction

Multifractal analysis is concerned with the pointwise regularity and the scaling behavior of functions. It gives a powerful classification tool in various domains. In the setting of the classical Hölder pointwise regularity, it has been successfully used theoretically in (see [1–18] and references therein) and practically for signal and image processing (see [18–24] and references therein). Several related generic results, in the sense of Baire’s categories [15, 25–34] and in the prevalence sense [10, 11, 35, 36], were proved. Recall that a prevalent result is large in a measure sense, whereas a Baire generic result holds in a residual set (any countable intersection of open dense sets) in a well chosen topological vector space. Both Baire and prevalent generic sets are dense and stable by translation, dilation, and countable intersection. However, prevalence and Baire genericity usually differ widely. In , prevalence coincides with Lebesgue almost everywhere, and there exist subsets of with vanishing Lebesgue measure, but Baire generic. In infinite-dimensional spaces, there are stronger results of this type in [37, 38]. Nevertheless, in [39], Kolàr proved that the so-called HP-notion of genericity yields both Baire and prevalent results (see also [40]).

The Hölder regularity has some limitations (see [41, 42] and references therein). Hölder regularity is only defined for locally bounded functions. It can not take negative values. It is not stable under some pseudodifferential and integral operators. It is not significant in fractal boundaries where it takes only two values and . For instance, in fully developed turbulence, velocity is not bounded near vorticity filaments and yields negative singularities [20]. The same holds for microcalcifications in mammography [20]. In order to overcome these weaknesses, Hölder regularity was replaced by the pointwise regularity introduced by Calderón and Zygmund in [43] for functions that belong locally to to better study elliptic partial differential equations. This notion has recently been put forward in the mathematical literature in [42, 44–46].

Definition 1. Let . Let be a real number and . A function in belongs to if there exists and a polynomial of degree less than (with if ), such thatfor some constant independent of .
The pointwise regularity of at is

Definition 1 written for corresponds to the Hölder regularity.

Definition 1 can be also extended to the case , where we consider the Hardy space instead of [47]. In [48] Theorem 1 p. 4, it is proved that , is decreasing, and is concave on . In [43], it is shown that, contrary to the Hölder regularity, the pointwise regularity for is invariant under pseudodifferential operators of order 0.

The -sets of are given by The spectrum of is defined by the functionwhere denotes the Hausdorff dimension. By convention .

In [11, 49], Fraysse has computed the spectrum for almost every function, in the prevalence setting, in a given Sobolev or Besov space.

In [45, 46], Jaffard and Mélot have shown that the pointwise regularity is well adapted for fractal interfaces. They have also proved that if belongs to the Besov space for an , then the pointwise regularity is characterized by some conditions bearing on the moduli of the wavelet coefficients [47] (the definition of Besov is recalled in the next section). Note that (see [50]) Let us recall the result obtained in [46]; let be either the Daubechies [51] compactly supported wavelets in (where is the uniform Hölder regularity of ) or the Lemarié-Meyer [50, 52] wavelets in the Schwartz class of rapidly decreasing functions (we will write ), such that the family , for and , form an orthogonal basis of (note that we choose the normalization, not ). We will omit the letter and the summation with respect to . This will not affect the results of this work. The wavelets will be indexed in terms of dyadic cubes so that we can write For , set Put Let be the space of tempered distributions (i.e., the dual of ; let . Using the notation , the wavelet coefficient of is given by If then And Recall that, for , the exponent of is given by

Remark 2. In [48] Section 3.4, it is proved that if , then does not depend on the chosen wavelet basis as long as (where ). When , if , then and if then .

For , the wavelet leader of at was introduced in [46] where the sum is over all such that with . The sum (14) is finite if .

For , denote by the unique cube at the scale that contains and the set formed by the cube and all its adjacent cubes at scale . Let . Suppose that and (resp., and ). If , then and see [48], Section 3.3 (resp., [46] Corollary 1 p. 553).

Remark 3. Formula (15) was used in [48] to extend the definition of the pointwise regularity to the case under the sole condition (see [48], Section 3.4). From now on, the pointwise regularity is defined by formula (15) for .

Using characterization (15), a multifractal formalism associated with pointwise regularities was conjectured by Jaffard and Mélot in [46]. Let us recall it.

Definition 4. For , , the oscillation space (see [46]) is the space of tempered distributions that satisfy The left-hand term defines the -seminorm.

It is independent of the choice of the smooth enough wavelet basis or in the Schwartz class (see [53], Section 3.2).

This space together with global notions (3) and (4) can also be defined locally; let For , set and Clearly For and , set

Definition 5. For , , the oscillation space is the space of tempered distributions that satisfy

Remark 6. For this space, we can assume that functions and wavelets are compactly supported, with support that contains . Then, there exists , such that, at each scale , there are at most dyadic cubes for which does not vanish (see [17] in the proof of Proposition 10 p.36).

For , the local oscillation exponent of on is given by The oscillation exponent of is defined as The multifractal formalism in [46] states that The local multifractal formalism on states that These formalisms yield upper bounds valid for any function (see either [46], Theorem 2, p. 561, or [53], Section 3.2); for , define the upper -set of by and the upper spectrum by Define the local upper -set of by and the local upper spectrum on by Thenand where As in (26), we state the multifractal formalism for upper -sets as We also state the local multifractal formalism for upper -sets on as In [53], Leonarduzzi et al. have validated the multifractal formalism for some synthetic images and signals that include independent realizations of random processes.

This paper is devoted to the study of the Baire generic validity of both local and global multifractal formalisms in a given Sobolev or Besov space. Recall that Besov and Sobolev spaces are complete metrizable spaces [54]. Note that, if then for all . On the contrary, if and (resp., ), Jaffard and Meyer [55] (resp., [28]) have proved that a function in can be infinite on a dense set and thus nowhere Hölder regular. Similarly, if , there exist functions in the usual Sobolev space which are everywhere locally unbounded [55].

In this paper, we are interested in the Baire generic validity of the multifractal formalisms in Besov spaces for and Sobolev spaces for and , under the condition . In the next section, we recall some tools from the theory of Besov spaces. We also add some embeddings between oscillation spaces and a relationship with the space BMO of functions of bounded mean oscillation. In the third section, we prove embeddings between Besov and oscillation spaces. We deduce a general lower bound for the oscillation exponent. In the fourth section, we show that the obtained lower bound is actually equality generically, in the sense of Baire categories, in a given Sobolev or Besov space. In the fifth section, we investigate the Baire generic validity of the multifractal formalisms. Finally, in the sixth section, we deduce a conclusion on the range of Baire validity of both the multifractal formalism and the multifractal formalism for upper sets.

All generic results are studied locally on () and also globally on .

Remark 7. Since only wavelet leaders for are needed in the values of pointwise regularity and the exponent, then, from now on, we will identify functions that have the same wavelet coefficients for .

2. Besov, Sobolev, and Oscillation Spaces

2.1. Besov and Sobolev Spaces

Let us first recall some properties of Besov spaces (for details, see, for example, [54, 56, 57]). Given a function , its Fourier transform is denoted by . Let withFor , letThen the support of is included in the annulus andis a partition of the unity. The Littlewood Paley definition of Besov spaces is the following.

Definition 8. Let , . ThenwhereNote that is a norm (quasinorm when or ) on .

Besov spaces do not depend on the choice of . They are separable when both and are finite.

Let us recall their wavelet characterizations; for a given sequence of scalar numbers (where is as in (9)), let with the usual modification when or (i.e., and the sums of th or th powers replaced by suprema over the same sets of indices), and Then, for the above wavelets if either or is large enough ( in [57], Theorem 1.64, p. 48, and ( if , and if ) in [50, 58]), then is an isomorphic map from onto .

Under the same condition on , it is also proved that, for and , the Sobolev space given in (36) is characterized by where denotes the characteristic function of the cube .

Note that characterizations (44) and (45) do not depend on choice of the wavelet basis (see [50]).

Besov and usual Sobolev spaces are closely related (see [12, 59]): and The following embeddings hold (for example, see [60], Proposition 2.6, p. 245, Proposition 2.8, p. 245, and Theorem 2.14, p. 248, respectively):The following interpolation property holds:Using the isomorphic (44), we obtain similar embeddings between Besov spaces.

2.2. Oscillation Spaces

Proposition 9. The following embeddings between oscillation spaces hold: and We also have And and If is as in (17), then the following local embedding holds:

Proof. Embeddings (52) (resp., (53)) follows directly from (49) (resp., (50)). Embedding (54) follows from (51) and the equivalence Let us now prove embedding (55). Write the wavelet leader of at a cube (given in (14)) as where If , then We know that, by Cauchy-Schwartz inequality, if and , then If then ; then relation (63) applied to (62) with and (with ) yields ThenIt follows from (60) that Put Then, as in (64), relation (66) yieldsThis achieves the proof of embedding (55).
Embedding (56) follows from the fact that .
With regard to (57), for , , and , It follows that Thanks to our (resp., Meyer ) normalization (7) for wavelets and (10), the right-hand term in (70) coincides with the Carleson condition for the wavelet characterization of the space given in Theorem 4, p. 150-151 in [50].
Finally result (58) follows from Remark 6 and the Hölder inequality:

Oscillation spaces were defined in terms of wavelet coefficients. They can be characterized by some Littlewood Paley conditions; moreover wavelet leaders can also be replaced by local norms [61].

When , the wavelet leaders of given in (14) boil down to the classical wavelet leaders used for the characterization of the Hölder exponent. The corresponding oscillation spaces have been studied in [17, 62, 63] and denoted by . Their characterizations by differences were obtained in [62]. Their independence of the chosen wavelet basis in the Schwartz class was obtained in [17]. For either or , it is proved in [63] that these spaces are a variation on the definition of Besov spaces. On the contrary, the spaces for cannot be sharply imbedded between Besov spaces and thus are new spaces of really different nature.

Generalized oscillation spaces were also introduced in [46]; if (resp., ), then belongs to if its fractional derivative (resp., primitive) or order which we denote by (i.e., such that ) belongs to . Spaces allow the computation of fractal dimension of graphs and yield a multifractal formalism for chirp-type Hölder singularities that behave like (see [62]).

3. General Lower Bound on the Oscillation Exponent

The following general lower bounds of both local and global oscillation exponents hold.

Theorem 10. Let be any function in either the Besov space for or the Sobolev space for and . Then, for all such that , and

Proof. For , define the local Besov space (resp., Sobolev space ) as in (44) (resp., (45)) with replaced by (resp., replaced by ).

Result (73) will follow from (23) and the following proposition. Result (74) will be deduced from (24).

Proposition 11. Let . The following embeddings hold for all such that :and Embeddings between similar local Sobolev and oscillation spaces also hold (using (46) and (47)).

Proof. Let for and such that .
Assume that . If is as in (61), then using the propertywe get(a)If , then by Remark 6, the quantity given in (67) satisfiesClearlySince , then . There exists such that It follows that for all Since , thenThus(b)Let now .It follows thatFrom 1.(a) since , then . ThenBy taking , we deduce thatThus Assume that . Since , then there exists such that . It follows from the fact that that . Let and . Since write . Since , then . Since , then from above 1.(a) yieldsOn the other hand, since then . In fact Since , then from (81) we getSince thenIt follows from (60) thatThenTherefore Using (54), both (90) and (96) yield When tends to 0, fraction tends to 0 too, and tends to 1. Hence (76) holds.

4. Generic Oscillation Exponent

For a given Besov or Sobolev space, the residual set that we will construct will be generated from a saturating function (i.e., for which the lower bounds obtained in Theorem 10 become equality). Thanks to embedding (46), we can choose for saturating function for the Sobolev space the one obtained for the Besov space .

4.1. Saturating Function

For , let be the unique integer given by the irreducible representationFor , put

The following wavelet series will be called a saturating function: whereand .

Remark 12. If and then . Both and share the same . The previous function satisfiesThis yieldsIt follows that

It is easy to show that (see [15], Proposition 2, p. 532). Relation (102) yields that . Note that the norm of the local Besov space is as the global one but with restriction on Therefore and .

Theorem 13. Let and be such that . Then the saturating function satisfies

Proof. Thanks to both (104) and Theorem 10, it suffices to show that We know that, for , It is easy to show that (the proof is the same as in [15], Proposition 4, p. 540-541, and we do not need the assumption ).

The following result estimates the wavelet leaders of and allows the computation of its local oscillation exponent on .

Proposition 14. Let and such that . Let be as in (101). Then there exist two positive constants and such that

Proof. For , either or . There exists such that, at each scale , there are subdyadic cubes of that have the irreducible representation . Then The left-hand series corresponds to if .
Consequently, there exists such thatwithandSince , we getwhere means that the left quantity is bounded from below and above by positive constants times the right quantity.
It follows thatHence (110) holds.

Relation (110) together with (23) yields (107).

4.2. The Residual Set

We will need the following lemma.

Lemma 15. Let and such that . Then, for all , for all , where .

Proof. Let and . Write instead of . Clearly Let and .(i)Suppose that . Then Using (118) Then where . We therefore get(ii)If and , then Since , we get where . ThenTherefore (117) holds with .
Hence Lemma 15 holds.

Theorem 16. Let (resp., and ) and such that . (1)For all , there exists a residual set of (resp., ) such that for all and (2)There exists a residual set of (resp., ) such that for all and Relations (126) and (127) also hold on .

Proof. (1)(i) First consider . By Theorem 10, it suffices to prove the upper bound in (126). Thanks to embedding (46), it suffices to write the proof in Besov spaces. We will follow the idea of [64] in the construction of the residual set since it does not depend on the separability of the space . Let be the saturating function defined in (101). From now on, when it is necessary, we will make the dependency on the function in the previous notations (for example, we write instead of in (10), instead of , and instead of ). If , set where is as in (105). Clearly Write instead of . In [64] (Proof of Lemma 2.9, p. 1520-1521), it is proved that there exists such that and so, if , then the set is dense in . Let be a sequence of positive numbers which converges to . Put Then is a residual set of . If , then the following trivial relation holds:

Choose where is as in Lemma 15 and is any constant satisfying (110). Let be the residual set given by (141) associated with the sequence . Let . Then for infinitely many integers , there exists such that . By (135) By Lemma 15 and Proposition 14, It follows from (131) that Since (139) holds for infinitely many scales and for all , and thanks to the fact that the in is actually a limit, we deduce that Result (106) allows achieving the proof of Theorem 16.(ii)Now if , it suffices to replace by defined in (101) and by . This means that the residual set of on which (126) will hold is where and (2)Clearly is a residual set of on which (128) and (126) hold (using (24) and the first result in this theorem).

5. Generic Validity of the Multifractal Formalisms

We first show that condition in both result (15) and upper bound (31) holds for all functions in Besov spaces for and Sobolev spaces for and , for all such that .

Lemma 17. Let be any function in either the Besov space for or the Sobolev space for and . Then, for all such that ,

Proof. Embedding (56) implies that . It follows that . Since , then Theorem 10 yields .

Lemma 17 together with both Theorem 10 and upper bound (31) yields the following corollary.

Corollary 18. Let be any function in either the Besov space for or the Sobolev space for and . Then, for all such that

The following result shows that the Baire generic -spectrum is the same as the prevalent generic one obtained in [49].

Theorem 19. Let (resp., and ) and such that . (1)For all , for all functions in the residual set of (resp., ) constructed in Theorem 16, and (2)For all functions in the residual set of (resp., ) constructed in Theorem 16, and Both (147) and (148) also hold on .

Proof. As in the proof of Theorem 16, it suffices to give the proof for ; let . Relation (139) is satisfied for infinitely many scales . Let . For each such scale , write if satisfies (98) with . Let be the set of points that belong to , for an infinite number of values of the above ’s. In [15], p. 535-536, we can find the following result (see also [65]).

Proposition 20. For , the Hausdorff dimension of is . Moreover, there exists a -finite measure carried by such that for any with .

The following proposition bounds the pointwise regularity of on .

Proposition 21. Let (resp., and ) and such that . For all , for all ,

Proof. Let . Result (15), relation (139), and result (145) imply that

Put . Take if (resp., if ). Then if (resp., if ). Using Proposition 21, for all , . It follows that . Therefore, for all ,Thus, by (20) and (146), for all ,For , consider the set , where . Clearly . By (150), for all , . Then, by Proposition 20, . Using the additivity of the measure , we get .

Since , it follows that . Thus,By (150), for , we getFor , . Then for all , . Thus, for , .

Both (147) and (148) also hold on . This achieves the proof of Theorem 19.

6. Conclusion

The following theorem summarizes the range of Baire validity of both multifractal formalism and multifractal formalism for upper sets, locally on the and also globally on . It follows directly from both Theorems 16 and 19.

Theorem 22. Let (resp., and ) and such that . Baire generically in (resp., ), for all , the multifractal formalism is valid for , and the multifractal formalism for upper sets is valid for all .
The same results hold for the local multifractal formalism on .

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

Mourad Ben Slimane and Borhen Halouani extend their appreciation to the Deanship of Scientific Research at King Saud University for funding this work through research group No. RG-1435-063. Mourad Ben Slimane is grateful to Stéphane Jaffard for his interest and for stimulating discussions.

References

E. Bacry, J. F. Muzy, and A. Arneodo, “Singularity spectrum of fractal signals from wavelet analysis: exact results,” Journal of Statistical Physics, vol. 70, no. 3-4, pp. 635–674, 1993.
View at: Publisher Site | Google Scholar | MathSciNet
M. Ben Abid and S. Seuret, “Hölder regularity of µ-similar functions,” Constructive Approximation, vol. 31, no. 1, pp. 69–93, 2010.
View at: Google Scholar
M. Ben Slimane, Etude du Formalisme Multifractal pour les fonctions. Thèse de Doctorat, Ecole Nationale des Ponts et Chaussées, France, 1996.
M. B. Slimane, “Formalisme Multifractal pour quelques généralisations des fonctions autosimilaires,” Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, vol. 324, no. 9, pp. 981–986, 1997.
View at: Publisher Site | Google Scholar
M. Ben Slimane, “Multifractal formalism and anisotropic selfsimilar functions,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 124, no. 2, pp. 329–363, 1998.
View at: Publisher Site | Google Scholar | MathSciNet
M. Ben Slimane, “Multifractal formalism for self-similar functions under the action of nonlinear dynamical systems,” Constructive Approximation, vol. 15, no. 2, pp. 209–240, 1999.
View at: Publisher Site | Google Scholar
M. B. Slimane, “Multifractal formalism for selfsimilar functions expanded in singular basis,” Applied and Computational Harmonic Analysis, vol. 11, no. 3, pp. 387–419, 2001.
View at: Publisher Site | Google Scholar
M. B. Slimane, “Some functional equations revisited: the multifractal properties,” Integral Transforms and Special Functions, vol. 14, no. 4, pp. 333–348, 2003.
View at: Publisher Site | Google Scholar
I. Daubechies and J. C. Lagarias, “On the thermodynamic formalism for functions,” Reviews in Mathematical Physics, vol. 6, pp. 1033–1070, 1994.
View at: Publisher Site | Google Scholar | MathSciNet
A. Fraysse, “Generic validity of the multifractal formalism,” SIAM Journal on Mathematical Analysis, vol. 39, no. 2, pp. 593–607, 2007.
View at: Publisher Site | Google Scholar
A. Fraysse and S. Jaffard, “How smooth is almost every function in a Sobolev space?” Revista Matematica Iberoamericana, vol. 22, no. 2, pp. 663–682, 2006.
View at: Publisher Site | Google Scholar | MathSciNet
S. Jaffard, “Multifractal formalism for functions. Part 1: Results valid for all functions and Part 2: Selfsimilar functions,” SIAM Journal on Mathematical Analysis, vol. 28, no. 4, pp. 944–970, 1997.
View at: Publisher Site | Google Scholar | MathSciNet
S. Jaffard, “The multifractal nature of the Lévy processes. Probab,” Theory Related Fields, vol. 114, pp. 207–277, 1999.
View at: Google Scholar
S. Jaffard, “The spectrum of singularities of Riemann's function,” Revista Matematica Iberoamericana, vol. 12, no. 2, pp. 441–460, 1996.
View at: Publisher Site | Google Scholar | MathSciNet
S. Jaffard, “On the Frisch–Parisi conjecture,” Journal de Mathématiques Pures et Appliquées, vol. 79, no. 6, pp. 525–552, 2000.
View at: Publisher Site | Google Scholar
S. Jaffard, “On davenport expansions, fractal geometry and applications: a jubilee of benoit mandelbrot,” in Proceedings of the Symposia in Pure Mathematics, M. Lapidus and M. van Frankenhuijsen, Eds., vol. 72, pp. 273–303, AMS.
View at: Google Scholar | MathSciNet
S. Jaffard, “Wavelet techniques in multifractal analysis, fractal geometry and applications: a jubilee of benoît mandelbrot,” in Proceedings of the Symposia in Pure Mathematics, M. Lapidus and M. van Frankenhuijsen, Eds., vol. 72, pp. 91–151, AMS, 2004.
View at: Publisher Site | Google Scholar
S. Jaffard, Y. Meyer, and R. D. Ryan, Wavelets: Tools for Science and Technology, S.I.A.M., 2001.
View at: Publisher Site | MathSciNet
P. Abry, P. Goncalves, and J. Lévy-Véhel, Lois déchelle-Fractales et ondelettes, 1 and 2, Hermès Sciences Publications, 2002.
A. Arneodo, B. Audit, N. Decoster, J.-F. Muzy, and C. Vaillant, “Wavelet-based multifractal formalism: applications to DNA sequences, satellite images of the cloud structure and stock market data,” in The Science of Disasters, A. Bunde and J. Kropp, Eds., p. 27102, Springer, 2002.
View at: Google Scholar
A. B. Chhabra, C. Meneveau, R. V. Jensen, and K. R. Sreenivasan, “Direct determination of the f(α) singularity spectrum and its application to fully developed turbulence,” Physical Review A: Atomic, Molecular and Optical Physics, vol. 40, no. 9, pp. 5284–5294, 1989.
View at: Publisher Site | Google Scholar
T. C. Halsey, M. H. Jensen, L. P. Kadanoff, I. Procaccia, and B. I. Shraiman, “Fractal measures and their singularities: the characterization of strange sets,” Physical Review A: Atomic, Molecular and Optical Physics, vol. 33, no. 2, pp. 1141–1151, 1986.
View at: Publisher Site | Google Scholar | MathSciNet
C. Meneveau and K. R. Sreenivasan, “The multifractal spectrum of the dissipation field in turbulent flows,” Nuclear Physics B, vol. 2, pp. 49–76, 1987.
View at: Publisher Site | Google Scholar
K. R. Sreenivasan, “Fractals and multifractals in fluid turbulence,” Annual review of fluid mechanics, vol. 23, pp. 539–600, 1991.
View at: Google Scholar | MathSciNet
S. Banach, “Über die baire'sche kategorie gewisser funktionenmengen,” Studia Mathematica, vol. 3, no. 1, pp. 174–179, 1931.
View at: Publisher Site | Google Scholar
Z. Buczolich and S. Seuret, “Singularity Spectrum of generic a-Hölder regular functions after time subordination,” Journal of Fourier Analysis and Applications, vol. 17, no. 3, pp. 457–485, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Buczolich and J. Nagy, “Hölder spectrum of typical monotone continuous functions,” Real Analysis Exchange, vol. 26, no. 1, pp. 133–156, 2000.
View at: Google Scholar | MathSciNet
S. Jaffard and Y. Meyer, “On the pointwise regularity of functions in critical besov spaces,” Journal of Functional Analysis, vol. 175, no. 2, pp. 415–434, 2000.
View at: Publisher Site | Google Scholar
V. Jarník, “Über die Differenzierbarkeit stetiger Funktionen,” Fundamenta Mathematicae, vol. 21, pp. 48–58, 1933.
View at: Publisher Site | Google Scholar
S. Mazurkiewicz, “Sur les fonctions non dérivables,” Studia Mathematica, vol. 3, no. 1, pp. 92–94, 1931.
View at: Publisher Site | Google Scholar
C. Melot, “Oscillating singularities in Besov spaces,” Journal de Mathématiques Pures et Appliquées, vol. 83, no. 3, pp. 367–416, 2004.
View at: Publisher Site | Google Scholar
S. Saks, “On the functions of Besicovitch in the space of continuous functions,” Fundamenta Mathematicae, vol. 19, pp. 211–219, 1932.
View at: Publisher Site | Google Scholar
T. Zamfirescu, “Most monotone functions are singular,” The American Mathematical Monthly, vol. 88, no. 1, pp. 47–49, 1981.
View at: Publisher Site | Google Scholar
T. Zamfirescu, “Typical monotone continuous functions,” Archiv der Mathematik, vol. 42, no. 2, pp. 151–156, 1984.
View at: Publisher Site | Google Scholar
J. Aubry, D. Maman, and S. Seuret, “Local behavior of traces of besov functions: prevalent results,” Journal of Functional Analysis, vol. 264, no. 3, pp. 631–660, 2013.
View at: Publisher Site | Google Scholar
M. Ben Abid, “Prevalent mixed hlder spectra and mixed multifractal formalism in a product of continuous besov spaces,” Nonlinearity, vol. 30, no. 8, pp. 3332–3348, 2017.
View at: Google Scholar
J. Kahane, “Proprietés prevalentes, versus generiques, des images continues,” Bulletin des Sciences mathematiques, vol. 130, no. 2, pp. 97–109, 2006.
View at: Publisher Site | Google Scholar
D. Preiss and J. Tier, “Two unexpected examples concerning differentiability of lipschitz functions on banach spaces,” in Geometric Aspects of Functional Analysis, Operator Theory Advances and Applications, J. Lindenstrauss and V. Milman, Eds., vol. 77, pp. 219–238, Birkhauser, Basel, Switzerland, 1995.
View at: Google Scholar | MathSciNet
J. Kolàr, “Porous sets that are Haar null, and nowhere approximately differentiable functions,” Proceedings of the American Mathematical Society, vol. 129, no. 5, pp. 1403–1408, 2001.
View at: Google Scholar
A. Fraysse and S. Jaffard, “The Sobolev embeddings are usually sharp,” Abstract and Applied Analysis, vol. 2005, no. 4, pp. 437–448, 2005.
View at: Publisher Site | Google Scholar
P. Abry, S. Jaffard, and H. Wendt, Irregularities and scaling in signal and image processing: Multifractal analysis, Benoit Mandelbrot: A Life in Many Dimensions, M. Frame and N. Cohen, Eds., World scientific publishing, 2015.
S. Jaffard, P. Abry, and S. Roux, “Function spaces vs. scaling functions: tools for image classification,” in Mathematical Image Processing, M. Bergounioux, Ed., vol. 5, pp. 1–30, Springer Proceedings in Mathematics, 2011.
View at: Publisher Site | Google Scholar
A. Calderón and A. Zygmund, “Local properties of solutions of elliptic partial differential equations,” Studia Mathematica, vol. 20, no. 2, pp. 181–225, 1961.
View at: Publisher Site | Google Scholar
S. Jaffard, “Wavelet techniques for pointwise regularity,” Annales de la Faculté des Sciences de Toulouse : Mathématiques, vol. 15, Serie 6, no. 1, pp. 3–33, 2006.
View at: Google Scholar
S. Jaffard and C. Mélot, “Wavelet analysis of fractal boundaries. Part 1: local exponents,” Communications in Mathematical Physics, vol. 258, no. 3, pp. 513–539, 2005.
View at: Publisher Site | Google Scholar | MathSciNet
S. Jaffard and C. Mélot, “Wavelet analysis of fractal boundaries. part 2: multifractal analysis,” Communications in Mathematical Physics, vol. 258, no. 3, pp. 541–565, 2005.
View at: Publisher Site | Google Scholar
S. Jaffard, “Pointwise regularity criteria,” Comptes Rendus Mathematique, vol. 339, no. 11, pp. 757–762, 2004.
View at: Publisher Site | Google Scholar
S. Jaffard, C. Mélot, R. Leonarduzzi et al., “p-exponent and p-leaders. Part I: Negative pointwise regularity,” Physica A: Statistical Mechanics and its Applications, vol. 448, pp. 300–318, 2016.
View at: Google Scholar
A. Fraysse, “Regularity criteria for almost every function in Sobolev spaces,” Journal of Functional Analysis, vol. 258, no. 6, pp. 1806–1821, 2010.
View at: Publisher Site | Google Scholar
Y. Meyer, Ondelettes et opérateurs, english translation, Wavelets and operators, Cambridge University Press, Hermann, Paris, France, 1990, 1992.
View at: MathSciNet
I. Daubechies, “Orthonormal bases of compactly supported wavelets,” Communications on Pure and Applied Mathematics, vol. 41, no. 7, pp. 909–996, 1988.
View at: Publisher Site | Google Scholar | MathSciNet
P. G. Lemarié-Rieusset and Y. Meyer, “Ondelettes et bases hilbertiennes,” Revista Matemática Iberoamericana, vol. 2, no. 1, pp. 1–18, 1986.
View at: Publisher Site | Google Scholar | MathSciNet
R. Leonarduzzi, H. Wendt, P. Abry et al., “p-exponent and p-leaders. Part II: Multifractal analysis. Relations to detrended fluctuation analysis,” Physica A: Statistical Mechanics and its Applications, vol. 448, pp. 319–339, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
J. Peetre, New thoughts on Besov spaces, Duke Univ. Math. Ser. I, 1976.
View at: MathSciNet
S. Jaffard and Y. Meyer, “Wavelet methods for pointwise regularity and local oscillations of functions,” Memoirs of the American Mathematical Society, vol. 123, no. 587, pp. 0–0, 1996.
View at: Publisher Site | Google Scholar
C. Bennett and R. Sharpley, Interpolation of operators, Academic Press, Boston, MA, USA, 1988.
View at: MathSciNet
H. Triebel, “Theory of function spaces III,” in Monographs in Mathematics, vol. 100, Basel, Switzerland, Birkhäuser, 2006.
View at: Google Scholar | MathSciNet
G. Bourdaud, “Ondelettes et espaces de Besov,” Revista Matemática Iberoamericana, pp. 477–512.
View at: Publisher Site | Google Scholar
R. A. Adams, Sobolev Spaces, Academic Press, New York, NY, USA, 1975.
View at: MathSciNet
Y. Sawano, Theory of Besov spaces (Developments in Mathematics), Springer, 1st edition, 2018.
View at: Publisher Site | MathSciNet
S. Jaffard, Personnel communication,.
S. Jaffard, “Oscillation spaces: properties and applications to fractal and multifractral functions,” Journal of Mathematical Physics, vol. 39, no. 8, pp. 4129–4141, 1998.
View at: Publisher Site | Google Scholar | MathSciNet
S. Jaffard, “Beyond Besov Spaces. Part 2: Oscillation Spaces,” Constr. Approx, vol. 21, pp. 29–61, 2005.
View at: Google Scholar
M. Ben Slimane, “Baire Typical Results for Mixed Hölder Spectra on Product of Continuous Besov or Oscillation Spaces,” Mediterranean Journal of Mathematics, vol. 13, no. 4, pp. 1513–1533, 2016.
View at: Publisher Site | Google Scholar
K. J. Falconer, Fractal Geometry: Mathematical Foundations and Applications, John Wiley and sons, Toronto, Canada, 1990.
View at: MathSciNet

Copyright

Copyright © 2019 Moez Ben Abid et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

797

Downloads

771

Citations