Frontiers reaches 6.4 on Journal Impact Factors

# Frontiers in Applied Mathematicsand Statistics

## Original Research ARTICLE

Front. Appl. Math. Stat., 28 March 2017 | https://doi.org/10.3389/fams.2017.00004

# Characterization of Local Besov Spaces via Wavelet Basis Expansions

• 1Department of Theory of Functions, Institute of Mathematics of NAS of Ukraine, Kyiv, Ukraine
• 2Institut für Mathematik, Universität zu Lübeck, Lübeck, Germany

In this paper we deal with local Besov spaces of periodic functions of one variable. We characterize these spaces in terms of summability conditions on the coefficients in series expansions of their elements with respect to an orthogonal Schauder basis of trigonometric polynomials. We consider a Schauder basis that was constructed by using ideas of a periodic multiresolution analysis and corresponding wavelet spaces. As an interim result we obtain a characterization of local Besov spaces via operators of the orthogonal projection on the corresponding scaling and wavelet spaces. In order to achieve our new results, we substantially use a theorem on the discretization of scaling and wavelet spaces as well as a connection between local and usual classical Besov spaces. The corresponding characterizations are also given for the classical Besov spaces.

## 1. Introduction

One of the crucial problems in the theory of approximation is to describe the smoothness properties of functions by the behavior of the coefficients in their series expansions in terms of given bases or frames. Besov spaces and their generalizations are particularly suitable for such studies. Recent papers describing the smoothness of functions from these spaces by the decay of the coefficient sequences are e.g., Bazarkhanov [1] for Meyer wavelets, Dinh [2] for mixed B-splines, and Hinrichs et al. [3] for Faber-Schauder bases.

In the present paper we consider this problem for local Besov spaces of periodic functions of one variable with respect to some orthogonal trigonometric Schauder basis. Let us first give some motivation of our work. Let

be the Fourier series of some function $f\in {L}_{2\pi }^{2}$, an(f) the Fourier coefficients of f.

In view of the Parseval's equality, it is easy to obtain the following result about the description of the usual classical Besov spaces ${B}_{2,\theta }^{\alpha }$ of periodic functions: $f\in {B}_{2,\theta }^{\alpha }$, α > 0, if and only if $f\in {L}_{2\pi }^{2}$ and the norm

is finite.

On the other hand, local properties of functions from the Besov spaces can be investigated by expanding them in a series with respect to the Haar basis. To give a short description of these results let for n ∈ ℕ, ν(n) = {k: k = 0, …, 2n−1−1}, ν(0) = {0} be the sets of indices and {hn, k}, n ∈ ℕ0, k ∈ ν(n) be the Haar system. This system is an orthogonal Schauder basis in the space Lp([0, 1]), 1 ≤ p < ∞, and for every fLp([0, 1])

in the sense of the norm of Lp([0, 1]) [4, Chap. 3].

Romanyuk [5] obtained necessary and sufficient conditions on the Fourier-Haar coefficients bn, k(f) at which functions from Lp([0, 1]) belong to the Besov spaces. Namely, let 1 ≤ p, θ < ∞, 0 < α < 1/p, then $f\in {B}_{p,\theta }^{\alpha }$ if and only if fLp([0, 1]) and the norm

is finite. In this case it is evident that the Fourier-Haar coefficients bn, k(f) describe the local behavior of the function f. Note that V. Romanyuk considered the multivariate case, but since in the present paper we investigate functions of one variable, we formulate his result only in the univariate case.

Our aim in this paper is to combine these two approaches and to describe local smoothness of periodic functions in terms of summability conditions on the Fourier coefficients with respect to an orthogonal Schauder basis of trigonometric polynomials in the space ${L}_{2\pi }^{p}$ for all 1 ≤ p ≤ ∞. The local smoothness is understood in the sense of Besov spaces. We call these Besov-type spaces as local Besov spaces (see Subsection 2.1 for a definition).

Note that some results in this direction were obtained by Mhaskar and Prestin [6]. There expansions of functions from the local Besov spaces in series with respect to a system of trigonometric frames were considered and these spaces were described via coefficients of these expansions. However, this system is not a Schauder basis.

Let us sketch the main results of the present paper. Let ψ0 be a scaling function of a periodic multiresolution analysis (PMRA) generated by de la Vallée Poussin means and ψn, n ∈ ℕ, be corresponding wavelets [7]. Let ${N}_{n}:=3·{2}^{n}$ for n ∈ ℕ and N0: = N1. By ψn, s we denote shifts of ψn:

We show that for a particular choice of ψn the system {ψn, s} constitutes an orthogonal trigonometric Schauder basis in the space ${L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞, and a function $f\in {L}_{2\pi }^{p}$ can be represented by a series (for more detailed information see Subsection 2.2)

converging in the norm of the space ${L}_{2\pi }^{p}$, where the coefficient functionals an, s(f) are Fourier coefficients of f with respect to the basis {ψn, s}:

$an,s(f)=〈f,ψn,s〉=12π∫02πf(x)ψn,s(x)dx.$

Because ψn is even (see Subsection 2.2 for definition) and from (1.3) we conclude that an, s(f) can be represented in the following way:

$an,s(f)=12π∫02πf(x)ψn(sπNn-x)dx=(f*ψn)(sπNn),$

where f * g means the convolution

For more information regarding trigonometric Schauder bases we refer to Lorentz and Saakyan [8], Prestin and Selig [7], Selig [9] and the references cited there.

Let I ⊂ ℝ, |I| < 2π, be some segment and n ∈ ℕ. By κ(I, n) we denote the set of indices s which satisfy the properties s = 0, …, 2Nn − 1 and there exists k ∈ ℤ such that the point $\frac{\left(s+2k{N}_{n}\right)\pi }{{N}_{n}}$ belongs to the segment I. For 1 ≤ p ≤ ∞, n ∈ ℕ0, and the segment I we define the following sequence

Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, x0 ∈ [0, 2π), 0 < α < 1, 0 < θ ≤ ∞. Then the main result of this paper is written as follows: A function f belongs to the local Besov spaces ${B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ if and only if there exists an interval I ⊂ ℝ, |I| < 2π, centered at x0, such that the norm

is finite.

We adopt the following convention regarding constants. The letters C, Ci, i = 1, 2, …, mean positive constants which may depend on parameters fixed for the spaces. Their values are not necessarily the same in different parts of the text. When constants depend on functions f, ζ or some intervals I, we indicate this in brackets.

The present paper is organized as follows: In Subsection 2.1 we define the local Besov spaces and formulate their connection with classical Besov spaces. In Subsection 2.2 we give definitions of the orthogonal trigonometric Schauder basis that we work with and describe expansions of functions from ${L}_{2\pi }^{p}$ in a series with respect to this basis. In Section 3 we formulate the main results of this paper. In Section 4 we prove the main auxiliary statements. In Section 5 we give proofs of the main results of the present paper.

## 2. Preliminaries

As stated in Section 1, our aim in this paper is to describe the local Besov spaces of functions f in terms of summability conditions on the coefficients in a series expansion of f as in (1.4).

Let us first agree about the notation. As usual ℕ is reserved for the natural numbers, by ℕ0 we denote the natural numbers including 0, by ℤ the set of all integers and by ℝ the set of all real numbers.

Let 1 ≤ p ≤ ∞ and A ⊂ ℝ be a Lebesgue measurable set. By Lp(A) we denote the space of functions f : A → ℝ Lebesgue measurable on A with the finite norm

$‖f‖A,p:={(∫A|f(t)|pdt)1/p, 1≤p<∞,ess supt∈A|f(t)|, p=∞.$

When A = [0, 2π), we understand by Lp([0, 2π)) the space of functions f defined on the segment [0, 2π) and extended 2π-periodically to the real line with natural modification for the norm ${‖f‖}_{\left[0,2\pi \right),p}:={\left(\frac{1}{2\pi }{\int }_{0}^{2\pi }|f\left(t\right){|}^{p}\text{d}t\right)}^{1/p}$. For simplicity, by L([0, 2π)) we denote the space of 2π-periodic continuous functions (equipped with ||f||[0, 2π), ∞ as its norm). Further, we will write ${L}_{2\pi }^{p}$ instead of Lp([0, 2π)) and ||f||p instead of ||f||[0, 2π), p.

### 2.1. The Local Besov Spaces of Functions and Their Connection with Classical Besov Spaces

Let us introduce the local Besov spaces ${B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ of periodic functions. For a function fLp(I) where I = [a, b] ⊆ ℝ we define the rth difference operator ${\Delta }_{t}^{r}$ by

$Δtrf(·)=∑k = 0r(−1)r−k(rk)f(·+kt), r∈ℕ, t∈ ℝ,$

and for 0 < δ < (ba)/r we define the modulus of smoothness by

$ωI,r,p(f,δ):=sup0

If δ ≥ (ba)/r, we put

$ωI,r,p(f,δ):=inf‖f-P‖I,p,$

where the infimum is taken over all algebraic polynomials of degree at most r−1.

It will be convenient for us to use a sequential version of the Besov spaces which we now define. For a sequence $\text{a}={\left\{{a}_{n}\right\}}_{n=0}^{\infty }$ and numbers α, θ > 0 by ||a||θ, α we denote the following norm

$‖a‖θ,α:={(∑n = 0∞(2nα|an|)θ)1/θ,0<θ<∞, supn∈ℕ02nα|an|,θ=∞.$

The notation abθ,α means that the norm ||a||θ,α is finite.

Let 1 ≤ p ≤ ∞, 0 < θ ≤ ∞, α > 0 and r = [α]+1. For x0 ∈ ℝ the local Besov space ${B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ is the collection of functions f which satisfy the following properties:

(1) $f\in {L}_{2\pi }^{p}$;

(2) there is a non-degenerate interval I ⊂ ℝ, |I| < 2π, centered at x0, such that

${ωI,r,p(f,2-n)}n=0∞∈bθ,α.$

The spaces ${B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ were considered in Mhaskar and Prestin [6]. By periodicity we can restrict ourselves to points x0 ∈ [0, 2π).

In order to prove our main results, we use a connection between the local and the classical Besov spaces of periodic functions. Let us define these Besov spaces.

Let $f\in {L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞. For δ > 0 we define the modulus of smoothness by

$ωr,p*(f,δ):=sup0

where, in contrast to the modulus of smoothness ωI, r, p(f, δ), the norm is taken over the entire period of f, using the periodicity of f in the case when the translates go outside of [0, 2π). Let 1 ≤ p ≤ ∞, α > 0, 0 < θ ≤ ∞ and r be some integer number greater than α. The classical Besov space ${B}_{p,\theta }^{\alpha *}$ consists of functions f such that $f\in {L}_{2\pi }^{p}$ and the sequence ${\left\{{\omega }_{r,p}^{*}\left(f,{2}^{-n}\right)\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$ for some integer r > α. The space ${B}_{p,\theta }^{\alpha *}$ is independent of the choice of r as long as r > α (see [10, Theorem 10.1, Chapter 2]). One can find more information about Besov spaces in the monographs [10, 11]. The following statement about the connection between the two spaces mentioned above is proved in the paper [6].

Proposition A. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, α > 0, 0 < θ ≤ ∞, x0 ∈ [0, 2π). Then $f\in {B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ if and only if there exists an interval I ⊂ ℝ, |I| < 2π, centered at x0 such that for every infinitely differentiable onfunction ζ supported on I and extended as a-periodic function, the function fζ is in ${B}_{p,\theta }^{\alpha *}$.

### 2.2. Expansions in a Series

Let us first give some necessary definitions. Let

be a coefficient function given on the segment [−π, π] and let as above ${N}_{n}=3·{2}^{n}$ and ${M}_{n}:={2}^{n}$, n ∈ ℕ. By φn we denote the following function

$φn(·):=12Nn∑k=-Nn-MnNn+Mng1(kπ2Nn)cosk·,$

which is a modification of the de la Vallée Poussin kernel.

Let as above φn, s denote shifts of the function φn:

In Prestin and Selig [7] it is proved that the sequence of spaces ${\left\{{V}_{n}\right\}}_{n=1}^{\infty }$, defined as

provides a PMRA in ${L}_{2\pi }^{2}$, i.e., the system {φn, s, s = 0, …, 2Nn−1} is a basis in the space Vn; VnVn + 1 for all n ∈ ℕ; it holds that . The functions φn are called scaling functions of this PMRA and the spaces Vn are called scaling spaces.

The wavelet space Wn which is defined to be the orthogonal complement of Vn with respect to Vn + 1, i.e., Wn = Vn + 1Vn, is spanned by the translates of the function ψn [7]:

where

$ψn(·)=1Nn∑k=-Mn2Nn-Mng2(kπNn)cos(Nn+k)·,$

and

is a coefficient function given on the segment $\left[-\frac{\pi }{3},2\pi -\frac{\pi }{3}\right]$. The functions ψn are called wavelets. Note that the functions g1 and g2 defined on the segments with lengths equal 2π can be extended to ℝ as 2π-periodic functions (and continuous since g1(−π) = g1(π) = 0 and ${g}_{2}\left(-\frac{\pi }{3}\right)={g}_{1}\left(2\pi -\frac{\pi }{3}\right)=0$).

For simplicity of notations we denote ψ0: = φ1, N0: = N1 and for n ∈ ℕ0, s = 0, …, 2Nn−1,

$t2Nn+s(·):=ψn,s(·).$

For $f\in {L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞, we define some trigonometric polynomial operators σn. Let n ∈ ℕ0, x ∈ ℝ and

where $〈f,{t}_{k}〉=\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}f\left(x\right){t}_{k}\left(x\right)\text{d}x$ are Fourier coefficients of the function f with respect to the basis . It is convenient for us to put σn(f, x) ≡ 0 if n = 0, 1, 2.

We also use the following representation of the operators σn:

where .

Using a similar technique as in Prestin and Selig [7], one can prove that the system of polynomials is an orthogonal trigonometric Schauder basis in the space ${L}_{2\pi }^{\infty }$. In view of Theorem 9 [4, p. 12] and Theorem 6 [4, p. 10] we get that is a Schauder basis in the space ${L}_{2\pi }^{p}$, 1 ≤ p < ∞, and

with some constant C > 0.

By 𝕋n, n ∈ ℕ, we denote the set of all trigonometric polynomials of the form

From (2.3) and the representation of the kernel Kn [7, p. 421], it can be derived that

Let

$En(f)p:=infT∈Tn‖f-T‖p$

be the best approximation of a function $f\in {L}_{2\pi }^{p}$ by trigonometric polynomials from 𝕋n.

A sequence of linear operators , n ∈ ℕ0, is called a sequence of near best approximation (with the constant λ > 0) for ${L}_{2\pi }^{p}$ if it satisfies the following condition:

$‖f-Un(f)‖p≤λE2n-1(f)p.$

For example, in the case p = ∞ the operators of de la Vallée Poussin ${V}_{n}^{2n}$ determine a sequence of near best approximation with the constant $\lambda =\frac{4}{3}+\frac{2\sqrt{3}}{\pi }$ [12, Chap. 5, §2].

The following lemma results from the properties (2.4) and (2.5).

Lemma 2.1. is a sequence of near best approximation (with some constant) for ${L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞.

Further, for $f\in {L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞, we define operators τn, n ∈ ℕ0, as follows:

From Lemma 2.1 it is easy to see that a function $f\in {L}_{2\pi }^{p}$, 1 ≤ p ≤ ∞, can be represented by the series

where convergence is understood in the metric of the space ${L}_{2\pi }^{p}$.

Using the definition of the operators τn, we can represent them in the following form:

and for n ∈ ℕ

From (2.6)–(2.8) we get representation (1.4).

## 3. Formulations of the Main Results

In this section we formulate the main results of this paper. Let us first explain the relationship between the local Besov spaces ${B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$ and the behavior of the operators τn near the point x0. This behavior will be described by the condition that certain norms of the operators belong to a sequential version of the Besov spaces.

Theorem 3.1. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, x0 ∈ [0, 2π), 0 < α < 1, 0 < θ ≤ ∞. The following statements are equivalent:

(a) $f\in {B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$;

(b) There exists an interval I ⊂ ℝ, |I| < 2π, centered at x0 such that the sequence ${\left\{‖{\tau }_{n}\left(f,·\right){‖}_{I,p}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$;

(c) There exists an interval I ⊂ ℝ, |I| < 2π, centered at x0 such that for every infinitely differentiable onfunction ζ supported on I and extended as a 2π-periodic function, the sequence ${\left\{‖{\tau }_{n}\left(f\zeta ,·\right){‖}_{p}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$.

Let further for 1 ≤ p ≤ ∞ and a segment I, ${\left\{{c}_{n}\left(I,p\right)\right\}}_{n=0}^{\infty }$ be a sequence defined by the formula (1.5). And let ζ be some infinitely differentiable on ℝ function supported on I and extended as a 2π-periodic function. By ${\left\{{d}_{n}\left(I,\zeta ,p\right)\right\}}_{n=0}^{\infty }$ we denote the sequence:

Theorem 3.2. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, x0 ∈ [0, 2π), 0 < α < 1, 0 < θ ≤ ∞. The following statements are equivalent:

(a) $f\in {B}_{p,\theta }^{\alpha }\left({x}_{0}\right)$;

(b) There exists an interval I ⊂ ℝ, |I| < 2π, centered at x0 such that the sequence ;

(c) There exists an interval I ⊂ ℝ, |I| < 2π, centered at x0 such that for every infinitely differentiable onfunction ζ supported on I and extended as a 2π-periodic function, the sequence .

This theorem is the discrete version of Theorem 3.1 in the sense that the ${L}_{2\pi }^{p}$ norm of the operators τn is replaced by a corresponding discrete norm (see Theorem 4.1).

For classical Besov spaces ${B}_{p,\theta }^{\alpha *}$, α > 0, we can obtain a result similar to Theorems 3.1 and 3.2 which is essentially of the same kind as (1.1) and (1.2). To formulate this equivalence we introduce the following sequence

Theorem 3.3. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, α > 0, 0 < θ ≤ ∞. The following statements are equivalent:

(a) $f\in {B}_{p,\theta }^{\alpha *}$;

(b) The sequence ;

(c) The sequence .

## 4. The Main Auxiliary Statements

### 4.1. A Property of the Kernel Kn(x, y)

In this subsection we present some estimates for the kernel Kn(x, y). Further, by V[f] we mean the total variation of a function f:ℝ → ℝ and by ${\text{V}}_{a}^{b}\left[f\right]$ the total variation of f defined on the segment [a, b].

Lemma 4.1. There exists a constant C > 0 such that for every n ∈ ℕ, n ≥ 3:

Proof. Let N = 3·2n−2, M = 2n−2, n ≥ 3. From Selig [9, pp. 91–93] it is known that

where

Defining continuous coefficient functions by

$fβ(x)={1, |x|≤1-β,(β-(|x|-1))22(β2+(|x|-1)2), 1-β≤|x|≤1+β,0, else,$

where β ∈ (0, 1), we can rewrite the polynomials RM and ${Q}_{N}^{M}$ in the following forms:

Let us first estimate |RM(yx)|. Using Proposition 2.2 [13], for 0 < |xy| ≤ 2π we get

where ${\Delta }^{2}g\left(\frac{k}{M}\right)=g\left(\frac{k}{M}\right)-2g\left(\frac{k+1}{M}\right)+g\left(\frac{k+2}{M}\right)$.

Then, using the mean value theorem, we obtain that there exist points lk ∈ (k, k + 1), k ∈ ℤ, such that

Since the system of the points $\left\{\frac{{l}_{k}}{M},k\in ℤ\right\}$ is some partition of the real line and g is a function having a first derivative of finite total variation V[g′], it holds that

Since g′ = 0 outside of the segment [−1, 1], it holds that $\text{V}\left[{g}^{\prime }\right]={\text{V}}_{-1}^{1}\left[{g}^{\prime }\right]$.

From the first and second derivatives

we see that g″ = 0 at the points $-\frac{\sqrt{3}}{3}$ and $\frac{\sqrt{3}}{3}$ and g′ is monotonously increasing on $\left[-1,-\frac{\sqrt{3}}{3}\right]$ and on $\left[\frac{\sqrt{3}}{3},1\right]$ and monotonously decreasing on $\left[-\frac{\sqrt{3}}{3},\frac{\sqrt{3}}{3}\right]$. Therefore, the extrema are at $-\frac{\sqrt{3}}{3}$ and $\frac{\sqrt{3}}{3}$:

$supx∈[−1,1]g′(x)=g′(−33)= −g′(33)=334.$

Since g′ (−1) > 0 and g′(1) < 0, the total variation of g′ is

From (4.2), (4.3) and (4.4), we get

Analogously, we can estimate $|{Q}_{N}^{M}\left(y-x\right)|$. Let us calculate $\text{V}\left[{f}_{\beta }^{\prime }\right]$ where

Since ${f}_{\beta }^{\prime }=0$ outside of the segments [−1 − β, −1 + β] and [1 − β, 1 + β] and ${f}_{\beta }^{\prime }$ is an odd function, it holds that $\text{V}\left[{f}_{\beta }^{\prime }\right]=2{\text{V}}_{-1-\beta }^{-1+\beta }\left[{f}_{\beta }^{\prime }\right]$.

From the second derivative

we can see that ${f}_{\beta }^{″}=0$ at the point −1 and ${f}_{\beta }^{\prime }$ is monotonously increasing on [−1−β, −1] and monotonously decreasing on [−1, −1+β]. This means that

$supx∈[-1-β,-1+β]fβ′(x)=fβ′(-1)=1β.$

Since ${f}_{\beta }^{\prime }\left(-1-\beta \right)={f}_{\beta }^{\prime }\left(-1+\beta \right)=0$, it holds that

$V-1-β-1+β[fβ′]=2supx∈[-1-β,-1+β]fβ′(x)=2β,$

and the total variation of ${f}_{\beta }^{\prime }$ is

Then, using Proposition 2.2 [13], for 0 < |xy| ≤ 2π we get

where ${\Delta }^{2}{f}_{\frac{M}{N}}\left(\frac{k}{N}\right)={f}_{\frac{M}{N}}\left(\frac{k}{N}\right)-2{f}_{\frac{M}{N}}\left(\frac{k+1}{N}\right)+{f}_{\frac{M}{N}}\left(\frac{k+2}{N}\right)$.

From the mean value theorem it follows that there exist points sk ∈ (k, k + 1), k ∈ ℤ, such that

Since the system of the points $\left\{\frac{{s}_{k}}{N},k\in ℤ\right\}$ is some partition of the real line and ${f}_{\frac{M}{N}}$ is a function having a first derivative of finite total variation, from (4.6) and (4.8) it can be derived that

In view of (4.7) and (4.9), we have

Finally, from (4.1), (4.5) and (4.10) we conclude that

### 4.2. A Property of the Spaces Vn and Wn

In this subsection we formulate and prove the main auxiliary statement. Let us make some preparations for this. We use the Minkowski inequality in the following form:

(under appropriate conditions on the functions fl which appear above). One can prove this inequality by using a similar technique as in the proof of the generalized Minkowski inequality [14, pp. 18–19].

Since the coefficient functions g1 and g2 defined by the formulas (2.1) and (2.2) on the segments of length 2π have the first derivatives (on corresponding segments) of finite total variation, by similar techniques as in Lemma 4.3 [7] one can prove the following estimates (with some constants C1 and C2):

Theorem 4.1. Let n ∈ ℕ and be an arbitrary sequence of real numbers. Then, there exist constants Ci > 0, i = 1, 2, 3, 4, such that for 1 ≤ p < ∞ the following inequalities hold:

For p = ∞ we have

Proof. For the sake of simplicity we denote

First, we prove the right-hand side of (4.14). For p = 1 we have

Let us estimate ||ψn(·)||1. For the ${L}_{2\pi }^{1}$-norm of a polynomial T ∈ 𝕋n it holds that [15, p. 228]

$‖T(·)‖1 ≤supx2πm∑s = 0m−1|T(x−2πsm)|, m∈ℕ.$

Applying this estimate to ψn with m = 2Nn and using the inequality (4.13), we obtain

From (4.17) and (4.18) we derive

Let 1 < p < ∞. Using the inequality of Hölder for sums

and the inequality (4.13), we obtain

$|∑s = 02Nn−1an,sψn,s(x)|≤∑s = 02Nn−1|an,s||ψn,s(x)| =∑s = 02Nn−1|an,s||ψn,s(x)|1p+1p′ ≤(∑s = 02Nn−1|an,s|p|ψn,s(x)|)1p ×(∑s = 02Nn−1|ψn,s(x)|)1p′ ≤(∑s = 02Nn−1|an,s|p|ψn,s(x)|)1p ×(supx∈[0,2π)∑s = 02Nn−1|ψn,s(x)|)1p′ ≤C2n2p′(∑s = 02Nn−1|an,s|p|ψn,s(x)|)1p.$

Therefore,

$|∑s = 02Nn−1an,sψn,s(x)|p≤C2np2p′∑s = 02Nn−1|an,s|p|ψn,s(x)|.$

In view of (4.18), we have

and this implies that

$‖τ(·)‖p≤C2n(12−1p)(∑s = 02Nn−1|an,s|p)1/p.$

Now, we prove the left-hand side of (4.14). Taking the inner product in (4.16) with ${T}_{n}^{s}{\psi }_{n}$, we get that for all s = 0, …, 2Nn − 1

Let p = 1. Using (4.19) and the estimation (4.13), we obtain

$∑s = 02Nn−1|an,s| =∑s = 02Nn−112π|∫02πτ(x)ψn(x−sπNn)dx|≤12π∫02π|τ(x)|∑s = 02Nn−1|ψn(x−sπNn)|dx≤supx∈[0,2π)∑s = 02Nn−1|ψn(x−sπNn)|×12π∫02π|τ(x)|dx≤C2n/2‖τ(·)‖1.$

Finally, .

Let now 1 < p < ∞. From (4.19) and the inequality (4.11) we derive that

For the ${L}_{2\pi }^{p}$-norm of a polynomial TTn we use the following inequality [15, p. 228]:

Applying this estimation to τ with m = 2Nn and using the inequality (4.18), we obtain that

Let p = ∞. The right-hand side of the inequality (4.15) follows from obvious inequalities and the inequality (4.13):

$‖τ(·)‖∞=supx∈[0,2π)|∑s = 02Nn−1an,sψn,s(x)| ≤supx∈[0,2π)∑s = 02Nn−1|an,s||ψn,s(x)|≤maxs = 0,…,2Nn−1|an,s|supx∈[0,2π]∑s = 02Nn−1|ψn(x−sπNn)|=maxs = 0,…,2Nn−1|an,s|‖∑s = 02Nn−1|ψn(·−sπNn)| ‖∞≤C2Nnmaxs = 0,…,2Nn−1|an,s|≤C2n/2maxs = 0,…,2Nn−1|an,s|.$

Let us prove the left-hand side of (4.15). From the inequality (4.19) for s = 0, …, 2Nn − 1 we get

Finally, we conclude:

We formulated and proved Theorem 4.1 for a polynomial τ ∈ Wn, but using the same techniques and the inequality (4.12) instead of (4.13) in the corresponding places of the proof, one can prove a similar theorem for a polynomial τ ∈ Vn.

## 5. Proof of the Main Results

### 5.1. Proof of Theorem 3.1

In order to prove Theorem 3.1, we need some known statements from the paper Mhaskar and Prestin [6], Theorem A and Lemma A, and the following Lemma 5.1. Note that in the proofs of this Lemma and Theorem 3.1 we use similar considerations as in the proofs of Lemma 4.2 and Theorem 2.1 in Mhaskar and Prestin [6].

Theorem A. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, α > 0, 0 < θ ≤ ∞, and {Un} be a sequence of near best approximation (with some constant) for ${L}_{2\pi }^{p}$. The following statements are equivalent:

(a) $f\in {B}_{p,\theta }^{\alpha *}$;

(b) $\left\{{E}_{{2}^{n}}{\left(f\right)}_{p}\right\}\in {b}_{\theta ,\alpha }$;

(c) {||Un(f) − Un − 1(f)||p} ∈ bθ, α.

Lemma A. Let 1 ≤ p ≤ ∞, $f\in {L}_{2\pi }^{p}$, α > 0, 0 < θ ≤ ∞, and {Un} be a sequence of near best approximation (with some constant) for ${L}_{2\pi }^{p}$. If, for some interval I centered at x0, the sequence {||Un(f) − Un−1(f)||I,p} ∈ bθ,α, then for every infinitely differentiable on ℝ function ζ supported on I and extended 2π-periodically, the function is in ${B}_{p,\theta }^{\alpha *}$.

Lemma 5.1. Let I ⊂ ℝ, |I| < 2π, be an interval centered at x0, J1 and J be intervals centered at x0 such that JJ1I, ζ be an infinitely differentiable on ℝ function supported on I and extended as a 2π-periodic function such that ζ(x) = 1 for all xJ1 and let $f\in {L}_{2\pi }^{1}$. Then, for the operator

we have

$‖σn((1-ζ)f,·)‖J,∞≤C(I,ζ,f)2n.$

Proof. Without loss of generality we can assume that J1 is an interval with length equal to |I|/2 and J is an interval with length equal to |I|/4. For xJ, we have

Since xJ and y ∈ [0, 2π)\J1, then |I|/8 < |xy|. Using Lemma 4.1, we get

Therefore,

$‖σn((1-ζ)f,·)‖J,∞≤C(I,ζ,f)2n.$

Proof of Theorem 3.1. Let part (a) hold. In view of Proposition A, it is equivalent to the fact that there exists an interval I centered at x0 such that for every infinitely differentiable on ℝ function ζ supported on I and extended as a 2π-periodic function, the function is in ${B}_{p,\theta }^{\alpha *}$. According to Theorem A (with σn instead of Un) it is equivalent to part (c). Thus, parts (a) and (c) are equivalent.

Let part (c) hold and let I be the interval chosen as in that part, let J1 and J be intervals centered at x0 such that JJ1I and ζ be an infinitely differentiable on ℝ function supported on I and extended as 2π-periodic such that ζ(x) = 1 for all xJ1.

From the obvious inequalities, we get

and using Lemma 5.1, we obtain

$‖τn(f,·)‖J,p≤‖τn(fζ,·)‖p+C(I,ζ,f)2n.$

Since α ∈ (0, 1), ${\left\{{2}^{-n}\right\}}_{n=1}^{\infty }\in {b}_{\theta ,\alpha }$ and from the condition of part (c) we know that ${\left\{‖{\tau }_{n}\left(f\zeta ,·\right){‖}_{p}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$. Therefore, ${\left\{‖{\tau }_{n}\left(f,·\right){‖}_{J,p}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$ and part (b) is proved.

Let part (b) hold, and I be the interval chosen as in that part and let ζ be an infinitely differentiable on ℝ function supported on I and extended as a 2π-periodic function. In view of Lemma A (applied with σn in place of Un), we get that $f\varphi \in {B}_{p,\theta }^{\alpha *}$. According to Theorem A this means that ${\left\{‖{\tau }_{n}\left(f\zeta ,·\right){‖}_{p}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$. This proves part (c).

### 5.2. Proof of Theorem 3.2

Let us first formulate and prove some auxiliary statements.

Lemma 5.2. There exist constants C1, C2 > 0 such that for every n ∈ ℕ and 0 < x ≤ 2π:

Proof. First, we prove estimation (5.1). Note that we can define the scaling functions φn using an aperiodic coefficient function

where

$g3(x)={2, |x|≤1-13,1-3(|x|-1)1+9(|x|-1)2, 1-13≤|x|≤1+13,0, else.$

Let us calculate $\text{V}\left[{g}_{3}^{\prime }\right]$. Since ${g}_{3}^{\prime }=0$ outside of the segment [−4/3, 4/3], it holds that $\text{V}\left[{g}_{3}^{\prime }\right]={\text{V}}_{-\frac{4}{3}}^{\frac{4}{3}}\left[{g}_{3}^{\prime }\right]$. From the first and second derivatives of g3

$g3′(x)={6-9x(9x2-18x+10)3/2, 23≤x≤43,-6+9x(9x2+18x+10)3/2, -43≤x≤-23,0, else,$
$g3″(x)={9(18x2-27x+8)(9x2-18x+10)5/2, 23≤x≤43,-9(18x2+27x+8)(9x2+18x+10)5/2, -43≤x≤-23,0, else,$

we get that ${g}_{3}^{″}=0$ at the points $-\frac{1}{12}\left(9+\sqrt{17}\right)$ and $-\frac{1}{12}\left(9+\sqrt{17}\right)$ and ${g}_{3}^{\prime }$ is monotonously increasing on the segments $\left[-\frac{4}{3},-\frac{1}{12}\left(9+\sqrt{17}\right)\right]$ and $\left[\frac{1}{12}\left(9+\sqrt{17}\right),\frac{4}{3}\right]$ and monotonously decreasing on the segments $\left[-\frac{1}{12}\left(9+\sqrt{17}\right),-\frac{2}{3}\right]$ and $\left[\frac{2}{3},-\frac{1}{12}\left(9+\sqrt{17}\right)\right]$. This means that the extrema are at the points $-\frac{1}{12}\left(9+\sqrt{17}\right)$ and $\frac{1}{12}\left(9+\sqrt{17}\right)$:

Since ${g}_{3}^{\prime }\left(-\frac{4}{3}\right)>0$ and ${g}_{3}^{\prime }\left(\frac{4}{3}\right)<0$, the total variation of ${g}_{3}^{\prime }$ is

Then, using Proposition 2.2 [13], for x ∈ (0, 2π] we get

where ${\Delta }^{2}{g}_{3}\left(\frac{k}{{N}_{n}}\right)={g}_{3}\left(\frac{k}{{N}_{n}}\right)-2{g}_{3}\left(\frac{k+1}{{N}_{n}}\right)+{g}_{3}\left(\frac{k+2}{{N}_{n}}\right)$.

From the mean value theorem we can deduce that there exist points mk ∈ (k, k + 1) such that

$Δ2g3(kNn)=1Nn(g3′(mk+1Nn)-g3′(mkNn)).$

Since the system of the points $\left\{\frac{{m}_{k}}{{N}_{n}},k\in ℤ\right\}$ is some partition of the real line and g3 is a function having a first derivative of finite total variation $\text{V}\left[{g}_{3}^{\prime }\right]$, it holds that

Thus, from (5.3)–(5.5) we get

$|φn(x)|≤C23n/2|x|2.$

The function ψn can be estimated in the same way. We have that

$ψn(·)=1Nn∑k∈ℤg4(kNn)cosk·,$

where

$g4(x)={1+3(x-1)1+9(x-1)2, 1-13≤x≤1+13,2-3(x-2)4+9(x-2)2, 1+13

is an aperiodic coefficient function.

From the first and second derivatives ${g}_{4}^{\prime }$ and ${g}_{4}^{″}$, we get that the points $\frac{1}{6}\left(9+\sqrt{17}\right)$ and $\frac{1}{12}\left(15-\sqrt{17}\right)$ are extrema of the function ${g}_{4}^{\prime }$. Since ${g}_{4}^{\prime }\left(1-\frac{1}{3}\right)>0$ and ${g}_{4}^{\prime }\left(2+\frac{2}{3}\right)<0$, the total variation of ${g}_{4}^{\prime }$ is

Using the same consideration as above, we have

$|ψn(x)|≤C23n/2|x|2V[g4′]≤C23n/2|x|2.$

The main ingredient to prove the following lemmata is using estimations (5.1) and (5.2). Therefore, we formulate and prove these results for functions ψn, n ∈ ℕ, but they are true also for functions φn, n ∈ ℕ.

Further, by I′ we denote the complement of the interval I ⊂ [0, 2π) to the segment [0, 2π), i.e., I′: = [0, 2π) \ I. In the case when x0 = 0 we use corresponding modification: I′: = [−π, π) \ I, where I ⊂ [−π, π).

Lemma 5.3. Let I ⊂ ℝ, |I| < 2π, be an interval centered at x0, J be an interval centered at x0 such that JI, and ζ be an infinitely differentiable onfunction supported on J and extended 2π-periodically, and let $f\in {L}_{2\pi }^{1}$. Then, for 1 ≤ p < ∞

$(∑s=02Nn-1|((fζ)*ψn)(sπNn)|p)1p≤(∑s∈κ(I,n)|((fζ)*ψn)(sπNn)|p)1p+C1(I,ζ,f)2-n(32-1p),$

and for p = ∞

Proof. Without loss of generality, we can assume that the interval J has a length equal to |I|/2. First, we consider the case 1 ≤ p < ∞. Using the inequality (a + b)qaq + bq, a, b > 0, 0 < q ≤ 1, with q = 1/p, we have

Let us estimate the second term in this inequality. From the inequality (4.11), for 1 ≤ p < ∞ we have

$(∑s∈κ(I′,n)|((fζ)*ψn)(sπNn)|p)1/p=(∑s∈κ(I′,n)|12π∫02πf(x)ζ(x)ψn(x-sπNn)dx|p)1/p=(∑s∈κ(I′,n)|12π∫Jf(x)ζ(x)ψn(x-sπNn)dx|p)1/p≤12π∫J(∑s∈κ(I′,n)|f(x)|p|ζ(x)|p|ψn(x-sπNn)|p)1/pdx.$

Since xJ and $\frac{\left(s+2k{N}_{n}\right)\pi }{{N}_{n}}\in {I}^{\prime }$ for some k ∈ ℤ, we have that $|I|/4<|x-\frac{\left(s+2k{N}_{n}\right)\pi }{{N}_{n}}|$. Using Lemma 5.2, we obtain

$(∑s∈κ(I′,n)|((fζ)*ψn)(sπNn)|p)1/p≤C23n/2∫J(∑s∈κ(I′,n)|f(x)|p|ζ(x)|p1|x-(s+2kNn)πNn|2p)1/pdx≤C23n/2(|I|/4)2∫J(∑s∈κ(I′,n)|f(x)|p|ζ(x)|p)1/pdx≤C(I)2n(32-1p)∫J|f(x)‖ζ(x)|dx≤C(I,ζ,f)2n(32-1p).$

Let p = ∞. From the obvious inequality $\underset{s\in K}{max}|{a}_{s}|\le \underset{s\in {K}_{1}}{max}|{a}_{s}|+\underset{s\in {K}_{2}}{max}|{a}_{s}|$, K = K1K2, K1K2 = ∅, where K is a finite set of indices, we get

Let us estimate the second term in the last inequality. Using a similar consideration (with corresponding modification) as in the case 1 ≤ p < ∞, we have

Lemma 5.4. Let I ⊂ ℝ, |I| < 2π, be an interval centered at x0, J1 and J be intervals centered at x0 such that JJ1I, and ζ be an infinitely differentiable onfunction supported on I and extended 2π-periodically such that ζ(x) = 1 for all xJ1, and let $f\in {L}_{2\pi }^{1}$. Then, for 1 ≤ p < ∞, we have

$(∑s∈κ(J,n)|(f*ψn)(sπNn)|p)1p≤(∑s∈κ(J,n)|((fζ)*ψn)(sπNn)|p)1p+C1(I,ζ,f)2-n(3/2-1/p),$

and for p = ∞

Proof. Without loss of generality we can assume that |J1| = |I|/2 and |J| = |I|/4. Applying Minkowski's inequality for sums (with corresponding modification for p = ∞)

$(∑k|ak+bk|p)1p≤(∑k|ak|p)1p+(∑k|bk|p)1p,$

we have that

Let us estimate the second term in this inequality. From inequality (4.11), for 1 ≤ p < ∞ we have

Since for x ∈ [0, 2π) \ J1 and $\frac{\left(s+2k{N}_{n}\right)\pi }{{N}_{n}}\in J$ for some k ∈ ℤ, it holds that $|I|/8<|x-\frac{\left(s+2k{N}_{n}\right)\pi }{{N}_{n}}|$, from Lemma 5.2 we get

$(∑s∈κ(J,n)|((f(1-ζ))*ψn)(sπNn)|p)1/p≤C23n/2∫[0,2π)\J1(∑s∈κ(J,n)|f(x)|p|1-ζ(x)|p|x-(s+2kNn)πNn|2p)1/pdx≤C23n/2(|I|/8)2∫[0,2π)\J1(∑s∈κ(J,n)|f(x)|p|1-ζ(x)|p)1/pdx≤C(I)2n(32-1p)∫[0,2π)\J1|f(x)‖1-ζ(x)|dx≤C(I,ζ,f)2n(32-1p).$

Using a similar consideration (with corresponding modification), for p = ∞ we have

Proof of Theorem 3.2. The equivalence between (a) and (c) follows from Theorem 4.1 and the equivalence between (a) and (c) of Theorem 3.1.

Let now part (c) hold and I be the interval chosen as in that part. Let J1 and J be intervals centered at x0 such that JJ1I, and ζ be an infinitely differentiable on ℝ function supported on I and extended as a 2π-periodic function such that ζ(x) = 1 for all xJ1. Using Lemma 5.4 for n ∈ ℕ and 1 ≤ p ≤ ∞ (with corresponding modification for p = ∞), we get

Since for 0 < α < 1 and from the conditions of part (c), we have that part (b) also holds.

Let part (b) hold. Let I be the interval as in that part and I1 be an interval centered at x0 such that I1I. Let ζ be an infinitely differentiable on ℝ function supported on I1 and extended 2π-periodically. Then, from Lemma 5.3 for n ∈ ℕ and 1 ≤ p ≤ ∞, we have

Since ${\left\{{2}^{-n}\right\}}_{n=0}^{\infty }\in {b}_{\theta ,\alpha }$ for 0 < α < 1 and from the conditions of part (b) we have that part (c) also holds.

Note that Theorem 3.1 and Theorem 3.2 were proved for the smoothness parameter α which takes values from the interval (0, 1). The proofs depends on the smoothness properties of the coefficient functions g1 and g2 (see (2.1) and (2.2)). One can prove these theorems for other values of the parameter α by taking “smoother” coefficient functions (2.7) and (2.8).

### 5.3. Proof of Theorem 3.3

The equivalence between parts (a) and (b) follows from Lemma 2.1 and the equivalence between parts (a) and (c) of Theorem A. To get equivalence between parts (b) and (c) we use Theorem 4.1 and formulas (2.7) and (2.8).

## Author Contributions

All authors listed, have made substantial, direct and intellectual contribution to the work, and approved it for publication.

## Conflict of Interest Statement

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

## Acknowledgments

The authors were supported by FP7-People-2011-IRSES Project number 295164 (EUMLS: EU-Ukrainian Mathematicians for Life Sciences) and H2020-MSCA-RISE-2014 Project number 645672 (AMMODIT: Approximation Methods for Molecular Modeling and Diagnosis Tools). The authors would like to thank Viktor Romanyuk (Institute of Mathematics of NAS of Ukraine) for many valuable scientific discussions. Moreover, the authors would like to thank the referees for their helpful remarks and corrections.

## References

1. Bazarkhanov DB. Wavelet approximation and Fourier widths of classes of periodic functions of several variables. I. Proc Steklov Inst Math. (2010) 269:2–24. translation from: Tr Mat Inst Steklova (2010) 269:8–30. doi: 10.1134/S0081543810020021

2. Dinh D. B-spline quasi-interpolant representations and sampling recovery of functions with mixed smoothness. J Complex. (2011) 27:541–67. doi: 10.1016/j.jco.2011.02.004

3. Hinrichs A, Markhasin L, Oettershagen J, Ullrich T. Optimal quasi-Monte Carlo rules on higher order digital nets for the numerical integration of multivariate periodic functions. Num Math. (2016) 134:163–96. doi: 10.1007/s00211-015-0765-y

4. Kashin BS, Saakyan AA. Orthogonal Series. Translations of Mathematical Monographs, V.75, Providence: American Mathematical Society (1989).

5. Romanyuk VS. Multiple Haar basis and m-term approximation for functions from Besov classes. I. Ukr Math J. (2016) 68:625–37. translation from: Ukr Mat Zh. (2016) 68:551–62. doi: 10.1007/s11253-016-1246-x

6. Mhaskar HN, Prestin J. On local smoothness classes of periodic functions. J Fourier Anal Appl. (2005) 11:353–73. doi: 10.1007/s00041-005-4006-0

7. Prestin J, Selig KK. On a constructive representation of an orthogonal trigonometric Schauder basis for C. Oper Theory Adv Appl. (2001) 121:402–25. doi: 10.1007/978-3-0348-8276-7_22

8. Lorentz R, Saakyan A. Orthonormal trigonometric Schauder bases of optimal degree for C(K). J. Fourier Anal Appl. (1994) 1:103–12. doi: 10.1007/s00041-001-4005-8

9. Selig KK. Periodische Wavelet-Packets und Eine Gradoptimale schauderbasis. Shaker Verlag, Aachen: Thesis, Univ. Rostock 1997 (1998).

10. DeVore RA, Lorentz GG. Constructive Approximation. Berlin: Springer Verlag (1993).

11. Nikolskii SM. Approximation of Functions of Several Variables and Imbedding Theorems. Berlin: Springer (1975).

12. Dzyadyk VK, Shevchuk IA. Theory of Uniform Approximation of Functions by Polynomials. Berlin: Walter de Gruyter (2008).

13. Mhaskar HN, Prestin J. On the detection of singularities of a periodic function. Adv Comput Math. (2000) 12:95–131. doi: 10.1023/A:1018921319865

14. Zygmund A. Trigonometric Series. Volume I. Cambridge: Cambridge University Press (1968).

15. Timan AF. Theory of Approximation of Functions of a Real Variable. Oxford: Pergamon Press (1963).

Keywords: local Besov spaces, Schauder basis, Fourier coefficients, periodic multiresolution analysis, wavelets, scaling functions, trigonometric polynomials

2010 Mathematics Subject Classification: 42A10, 42C40.

Citation: Derevianko N, Myroniuk V and Prestin J (2017) Characterization of Local Besov Spaces via Wavelet Basis Expansions. Front. Appl. Math. Stat. 3:4. doi: 10.3389/fams.2017.00004

Received: 21 December 2016; Accepted: 13 March 2017;
Published: 28 March 2017.

Edited by:

Lixin Shen, Syracuse University, USA

Reviewed by:

Jian Lu, Shenzhen University, China
Xiaosheng Zhuang, City University of Hong Kong, Hong Kong

Copyright © 2017 Derevianko, Myroniuk and Prestin. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Jürgen Prestin, prestin@math.uni-luebeck.de