A regularity class for the roots of nonnegative functions

We investigate the regularity of the positive roots of a nonnegative function of one-variable. A modified Hölder space Fβ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {F}^\beta $$\end{document} is introduced such that if f∈Fβ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f\in \mathcal {F}^\beta $$\end{document} then fα∈Cαβ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^\alpha \in C^{\alpha \beta }$$\end{document}. This provides sufficient conditions to overcome the usual limitation in the square root case (α=1/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha = 1/2$$\end{document}) for Hölder functions that f1/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^{1/2}$$\end{document} need be no more than C1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C^1$$\end{document} in general. We also derive bounds on the wavelet coefficients of fα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^\alpha $$\end{document}, which provide a finer understanding of its local regularity.


Introduction
We study the smoothness properties of roots of nonnegative Hölder continuous functions on [0, 1]. More precisely, we derive sufficient flatness-type conditions such that if f is in a Hölder space with index β, then f α has Hölder regularity αβ for 0 < α ≤ 1.
This question was first studied in the square root case (α = 1/2) by Glaeser [11] and Dieudonné [7], who showed that any nonnegative, twice continuously differentiable function on R admits a continuously differentiable square root. This result is sharp in general in the sense that there exist infinitely differentiable functions such that no admissible square root has Hölder index larger than one (Theorem 2.1 in [1]). Flatness conditions thus become necessary for β > 2 in order to ensure that a β-smooth function has an admissible square root with Hölder index greater than one. Some extensions of the result of Glaeser can be found in Lengyel [13] and Mandai [15]. Macchia [14], Reichard [23], Rainer [21] and Colombini et al. [6] studied what regularity f 1/r has in a neighbourhood of a zero of f , provided that enough derivatives of f vanish at that point.
The key property for additional regularity of roots is flatness, in the sense that whenever f is small then so are its derivatives, and in a series of recent papers, Bony et al. [1][2][3] consider flatness conditions for admissible square roots. Recall that g is an admissible square root of f if f = g 2 (allowing g to switch signs). The additional freedom to pick an admissible square root does not always help, however. Suppose f possesses a converging sequence of local minima (x n ) n such that f (x n ) is strictly positive for all n and f (x n ) → 0 as n → ∞. The nonnegative square root is then the most regular admissible square root, and there exist infinitely differentiable functions of this form with no admissible square root having Hölder index larger than one [1]. In this article, we restrict to studying roots of nonnegative functions that do not change sign, which we without loss of generality take to be positive.
The condition f ∈ F β requires a certain notion of "flatness" on the derivatives of f that is different from that considered in [1][2][3]. In particular, it contains functions not covered by their results for which Theorem 1 nonetheless applies [see (2.2) for a simple example]. In Sect. 2, we study the Hölder cone of nonnegative functions satisfying such a flatness constraint and compare it to existing notions of flatness in the literature. We show that the present flatness constraints are only non-trivial for Hölder indices larger than two (Theorem 4).
We also derive bounds on the wavelet coefficients of f α that provide additional insight into the local regularity of f α (Proposition 1). Note that if f ∈ C β is uniformly bounded away from zero then f α ∈ C β (see Lemma 2). This is substantially better than the regularity provided by Theorem 1, which is driven by small function values. The wavelet bounds reflect the local function size and allow one to account for both of these regimes, thereby giving a finer account of the regularity of f α .
An application of this approach is in nonparametric statistics, where one aims to reconstruct a Hölder function f when observing a noisy version of √ f (cf. [16]). In the context of this problem, one must necessarily restrict to positive square roots and it is not enough to find flatness conditions ensuring that √ f has some regularity: some control of the Hölder norm is also required [22].

Definition and comparison with other flatness constraints
Let β denote the largest integer strictly smaller than β. For β > 0 and ⊂ R, define For f ∈ C β , define | f | F β to be the infimum over all nonnegative real numbers κ satisfying This can be written concisely as The quantity | f | F β measures the flatness of a function near zero. In particular, if f vanishes at some point, then so do all its derivatives. Define This space contains for example the constant functions, any C β -function bounded away from 0 and those of the form f (x) = (x − x 0 ) β g(x) for g ≥ ε > 0 infinitely differentiable. Let us compare condition (2.1) to the flatness conditions considered in the literature on admissible square roots. For a given function f, suppose that there exists a continuous function γ , vanishing on the set of flat points of f , such that for any positive minimum x 0 of f , f (x 0 ) ≤ γ (x 0 ) f (x 0 ) 1/2 . Theorem 3.5 of Bony et al. [1] establishes that this is a necessary and sufficient condition for a four times continuously differentiable function to have a twice continuously differentiable, admissible square root. This is comparable to the flatness seminorm (2.1), which for β = 4 also gives that f should be bounded by f 1/2 . Nevertheless, in order to obtain bounds on the norm of √ f , constraints on the third derivative of f must also be imposed in our framework.
One can exploit extra regularity by assuming that f and its derivatives vanish at all local minima (e.g., in [1][2][3] for admissible square roots). However, we take a different approach permitting functions to take small nonzero values. In fact, as mentioned in [1], the obstacle preventing the existence of a twice continuously differentiable square root for a general nonnegative four times continuously differentiable function is a converging sequence of small nonzero minima. A sufficient condition for arbitrary even integer β ≥ 4 was found in Theorem 2.2 in [3]: a β-times continuously differentiable function f has a β/2-times continuously differentiable square root if at each local minimum of f , the function and its derivatives up to order β −4 vanish. While this constraint need only hold for the local minima of f , forcing all local minima to be exactly zero can be overly restrictive. Indeed, a converging sequence of small nonzero minima can be allowed if it does so in a controlled way. We now give an example which is not covered by [3], but satisfies (2.1) and hence the conditions of Theorem 1.
Let K be a smooth nonnegative function supported on [0, 1] and positive on (0, 1), for Using this inequality, it holds that for k < β, We now show that f has an infinite sequence of nonzero local minima tending to zero. Since f is continuous and Differentiating f and rearranging the desired inequality show that a sufficient condition for the existence of such a point is which is equivalent to the lower bound for ε.
In conclusion, we have shown that f possesses (infinitely many) nonzero local minima, so that the conditions of Theorem 2.2 of [3] are not satisfied, but that f ∈ F β so that Theorem 1 nonetheless applies.

Basic properties
In a slight abuse of notation, we say that · is a norm on a convex cone A if v ≥ 0 and v = 0 if and only if v = 0, λv = λ v for all λ > 0, and v + w ≤ v + w for all v, w ∈ A. We have thus replaced absolute homogeneity by positive homogeneity. Similarly, we say that | · | is a seminorm on A if |v| ≥ 0 for all v ∈ A and both positive homogeneity and the triangle inequality hold on A.
and applying Jensen's inequality to the concave function x → x j β , For the second statement, we establish that each term in the norm f g F β is bounded by a constant times f F β g F β . For β ∈ (0, 1], the result follows immediately, so assume that β > 1. Using that By the triangle inequality and arguing similarly to (3.5) for each term in the sum below, To see the difference between the classical Hölder space C β and F β , consider the functions and only if either γ / ∈ N and β ≤ γ or γ ∈ N and β > 0. The function f γ thus has arbitrarily large Hölder smoothness if it is a polynomial. Conversely, one can easily check that f γ ∈ F β if and only if β ≤ γ. We next show that the Hölder cones F β are nested.
Part (i) of the previous theorem shows that there are two regimes. If the flatness seminorm dominates the L ∞ -norm, then | · | F β increases in β, which matches our intuition that the seminorms should become stronger for larger β. For functions that are very flat in the sense that | f | F β ≤ f ∞ , this need not be true. Consider the function f (x) = x + q on [0, 1] with q > 0. For β > 1, | f | F β = q 1−β and thus for functions of low flatness, the seminorm can also decrease in β. The full flatness norms · F β are, however, unaffected by this since they also involve f ∞ . Statement (ii) of the previous theorem says that the low-flatness phenomenon only occurs if the function is bounded away from zero, and this case (iii) shows that the flatness seminorm is always finite.
For β ∈ (0, 2], the additional derivative constraint is in fact always satisfied and F β contains all nonnegative functions that can be extended to a β-Hölder function on R. Proof The result is trivial for β ≤ 1, so assume β ∈ (1, 2]. Without loss of generality, we may assume that | f | C β (R) = 1. Suppose that the statement does not hold, that is | f * | F β > 2 β .
Up to smoothness β = 2, flatness can thus be defined directly without the need to resort to a quantity such as (2.1). This was used in the recent statistical literature, see [20]. To further illustrate the previous result, consider the linear function f 1 (x) = x. While f 1 ∈ C β ([0, 1]) for any β > 0, it has regularity one with respect to the Hölder cones. Indeed, f 1 cannot be extended to a nonnegative function on R that is smoother than Lipschitz since the nonnegativity constraint induces a kink at zero.
The previous theorem cannot be extended to smoothness indices above β = 2. Indeed, the function f (x) = (x − 1/2) 2 is at most in F 2 ([0, 1]), but can be extended to a function in C β (R) for any β > 0. The reason is that for smoothness β ∈ (1, 2], any violation of (2.1) must occur at the boundary, since the smoothness and non-negativity constraints together imply (2.1) for interior points. For smoothness indices β > 2, the given example shows that there can be points in the interior of [0, 1] for which (2.1) does not hold.
If f ∈ F β then f is not necessarily in F β−1 , but the following theorem shows that integration viewed as an operator from F β to F β+1 is bounded.
Proof It is sufficient to prove the result for f F β = 1. Observe that the Hölder seminorms agree, that is, |F| C β+1 = | f | C β . It remains to show that for some κ which depends only on , for all x ∈ [0, 1] and all j = 0, . . . , β + 1. Notice that by We firstly prove the case j = 1. We show that . This proves the differential inequalities for j = 2, . . . , β + 1. With (2.3), the statement follows.
Recall that f α ∈ C β if f ∈ C β is bounded away from zero, rather than f α ∈ C αβ in general. We obtain two bounds on the wavelet coefficients | f α , ψ j,k | that reflect these two regimes. The first holds for all ( j, k) and is most useful for those ψ j,k on whose support the function f is small. The second bound depends explicitly on the local function values and becomes useful when f is large, in which case f α typically has more regularity than αβ by Lemma 2.
Proposition 1 Suppose that α ∈ (0, 1], ψ is S-regular and that f ∈ F β for 0 < β < S. For x 0 ∈ [0, 1], let j(x 0 ) be the smallest integer satisfying where a = a(β) is the constant in Lemma 1. Then for any wavelet ψ j,k with j ≥ j (x 0 ) and x 0 ∈ supp(ψ j,k ), The decay of the wavelet coefficients | f α , ψ j,k | characterizes the Besov norms f α β ∞∞ equals the slightly larger Hölder-Zygmund space for integer β, resulting in a slight suboptimality when αβ ∈ N. While Theorem 1 provides a more concise statement, the extra local information provided by the above wavelet bounds can be crucial to obtain sharp results, for example in certain nonlinear statistical inverse problems [22].
for all ( j, k) (with a slight correction for γ ∈ N). From Proposition 1 we can therefore conclude that on low resolution levels, that is if j is small, the wavelet coefficients have the decay of a C αβ -function. The result also shows that on high frequencies the function is C β and quantifies the resolution level, which depends on the function value, at which the transition between these two cases occurs.

Proof of Theorem 1
The proof is based on two technical lemmas. The first lemma identifies a local neighbourhood of each point on which the function is relatively constant.
Lemma 1 Suppose that f ∈ F β with β > 0 and let a = a(β) > 0 be any constant satisfying (e a − 1) + a β /( β !) ≤ 1/2. Then for Proof Without loss of generality, we may assume that f F β = 1. By a Taylor expansion and the definition of F β , there exists ξ between x and x + h such that For f ∈ F β , the function f α satisfies a Hölder-type condition with exponent β and locally varying Hölder constant. The following is the key technical result for establishing the smoothness of f α and hence the decay of | f α , ψ j,k |. The main ingredient in the proof is a careful analysis of Faà di Bruno's formula, which generalizes the chain rule to higher derivatives [8]: where M k is the set of all k-tuples of nonnegative integers satisfying k j=1 jm j = k. Note that for h(x) = x α , we have h (r ) (x) = C α,r x α−r for some C α,r = 0 (except the trivial case α = 1). We can relate the derivatives appearing in (3.1) to f using the seminorm | · | F β . α ∈ (0, 1], β > 0, there exists a constant C(α, β) such that for all f ∈ F β , 0 ≤ k < β and x, y ∈ [0, 1],

Lemma 2 For
Proof Without loss of generality assume f (y) ≤ f (x) and | f | C β + | f | F β = 1. For β ∈ (0, 1], by the mean value theorem, Consider now β > 1 and write k = β (the following also holds for all k ≤ β with certain simplifications). We must consider separately the two cases where |x − y| is small and large. Let C(α, β) be a generic constant, which may change from line to line. Suppose first that |x − y| ≤ a f (x) 1/β with a as in Lemma 1. By Lemma 1 we have f (y)/2 ≤ f (x) ≤ 3 f (y)/2, which will be used freely without mention in the following. The proof is based on a careful analysis of Faà di Bruno's formula (3.1).
We shall establish the result by proving a Hölder bound for each of the summands in (3.1) individually. Fix a k-tuple (m 1 , . . . , m k ) ∈ M k and write M := k j=1 m j . By the triangle inequality Before bounding the terms in (3.3), we require some additional estimates. Firstly, by the Secondly, for any function g and integer r ≥ 1, we have by the mean value theorem g(x) r − g(y) r = rg(ξ ) r −1 g (ξ )(x − y) for some ξ between x and y. Noting that f (ξ ) ≈ f (x) ≈ f (y), that β − k ∈ (0, 1] and applying the above to g(x) = f ( j * ) (x) with r = m j * and j * ∈ {1, . . . , k − 1} yields (3.5) Strictly speaking, we cannot invoke (3.5) for j * = k, since f is only k-times differentiable. However, noting that m k can only take values 0 or 1, we see directly from the Hölder continuity of f (k) that the conclusion of (3.5) holds as well for j * = k since we have the bound |x − y| β−k . By the same argument as (3.5) For the second term in (3.3), we repeatedly apply the triangle inequality, each time changing the variable in a single derivative. Fix j * and define vectors (z that are identically equal to x or y in all entries and differ only in the j * -coordinate, where z where in the last line we have used that j jm j = k. By repeatedly applying the triangle inequality and using (3.7), we can bound the second term in (3.3) by thereby completing the proof in the case |x − y| ≤ a f (x) 1/β . Applying Faà di Bruno's formula (3.1) and (3.4) yields as required. This completes the proof for the first statement. Note that (3.2) follows directly from (3.8), since this last expression also holds for all 0 ≤ k < β. Suppose now f ≥ ε > 0. It follows immediately from the results that have just been Proof of Theorem 1 By rescaling, we may assume that f F β = 1. Throughout the proof, C denotes a generic constant which only depends on α and β and may change from line to line. It is enough to prove f α Write αβ = + σ with = αβ and 0 < σ ≤ 1. Let x, y ∈ [0, 1] with x < y and define α, (x, y) : If |y − x| ≥ a( f (x) ∨ f (y)) 1/β , we find α, (x, y) ≤ C|x − y| σ . On the contrary, if |y − x| ≤ a( f (x) ∨ f (y)) 1/β , we conclude from Lemma 1 that f (x)/2 ≤ f (z) ≤ 2 f (x) for all x ≤ z ≤ y. Consider first the case < β . With (3.2), α, (x, y) ≤ sup z∈ [x,y] f (z) α ( +1) |y − x| ≤ C f (x) α−( +1)/β |y − x|. (3.10) Write α, (x, y) = α, (x, y) 1−σ α, (x, y) σ and bound the first factor using (3.9) and the second factor using (3.10). This shows that α, (x, y) ≤ C|x − y| σ .
Proof of Proposition 1 We may again assume that f F β = 1 for both statements. If the wavelet function is S-regular and f ∈ C β ([0, 1]) for 0 < β < S, then there exists a function g with g ∞ ≤ 1, such that for any x 0 ∈ (0, 1), we can bound | f (x)ψ j,k (x)dx| by This wavelet bound can be easily proved by Taylor expanding f and using the moment properties of the wavelet function.