# A Review on Approximation Results for Integral Operators in the Space of Functions of Bounded Variation

Authors: Laura Angeloni; Gianluca Vinti
Journal: Journal of Function Spaces
 (2016)

---

## Abstract

We present a review on recent approximation results in the space of functions of bounded variation for some classes of integral operators in the multidimensional setting. In particular, we present estimates and convergence in variation results for both convolution and Mellin integral operators with respect to the Tonelli variation. Results with respect to a multidimensional concept ofφ-variation in the sense of Tonelli are also presented.


---

## Body

## 1. Introduction

The aim of the present paper is to give a review on recent results about convergence of integral operators of convolution type with respect to some concepts of multidimensional variation. We will consider the case of classical convolution integral operators of the formI
T
w
f
s
=
∫
R
N
K
w
t
f
s
-
t
d
t
,
s
∈
R
N
,
w
>
0
,where f
∈
L
1
R
N and K
w
w
>
0 is a family of approximate identities, as well as the case of Mellin integral operators of the form II
M
w
f
s
=
∫
R
+
N
K
w
t
f
s
t
t
-
1
d
t
,
s
∈
R
+
N
,
w
>
0
,where s
t
≔
s
1
t
1
,
…
,
s
N
t
N, s
,
t
∈
R
+
N, and t
≔
∏
i
=
1
N
‍
t
i. The above operators II are of convolution type with respect to the homothetic operator and the measure μ
A
=
∫
A
d
x
/
x, where A is a Borel subset of R
+
N (which is an invariant measure with respect to the multiplicative operation).An important tool in order to frame the results of the paper is the setting of the functional spaces we deal with. The BV-spaces, apart from the well-known importance from the mathematical point of view, also play an important role in problems of Image Reconstruction where some of the various approaches make use of integral operators of convolution type (see, e.g., sampling-type operators).The working space will be the space of functions of bounded multidimensional variation in the sense of Tonelli (defined in Section2) and, as further extension, in order to deal with a larger class of functions, we will consider the space BV
φ, where φ is a φ-function (see Section 2). We point out that, due to the necessary assumptions on the φ-function φ (Assumption ii), the case of BV cannot be obtained as particular case of BV
φ. This is the reason why the two settings have to be treated independently.For the above classes of operators we will provide estimates, convergence results, and also a characterization of the absolutely (φ-absolutely) continuous functions in terms of the respective convergence in variation. Moreover, the rate of approximation has been considered and examples of kernel functions to which the results can be applied are also furnished. Finally, also the nonlinear case for both the convolution and the Mellin-type operators has been considered.Apart from the well-known importance of the classical convolution integral operators, the Mellin operators are very interesting and widely studied in approximation theory (for the basic theory see [1, 2] while, for results about similar homothetic-type operators, see, e.g., [3–16]), also because of their important applications in several fields. Among them, for example, we recall that Mellin analysis is deeply connected with some problems of Signal Processing, in particular with the so-called Exponential Sampling, which have applications in various problems of engineering and optical physics (see, e.g., [17–20]).Concerning now the multidimensional concept ofφ-variation introduced in [21], we point out that, due to the lack of an integral representation of the φ-variation for φ-absolutely continuous functions as happens for the classical variation, the major results about convergence require a different approach and suitable techniques. In particular, this holds for the convergence of the φ-modulus of continuity. Again, a similar problem occurs in case of Mellin integral operators on BV
R
+
N, where the Tonelli integrals are defined via the log-measure. Moreover, in the latter case, in order to prove that the operators are absolutely continuous, in case of regular kernels (this is a crucial point to obtain the characterization of absolute continuity), one has to pass through an equivalent notion of absolute continuity (for the log-absolute continuity, see Section 4) compatible with the setting of R
+
N equipped with the log-measure.We finally remark that, of course, all the results of the paper contain, in particular, the one-dimensional case (see [22–27]).


## 2. Preliminaries and Some Concepts of Variation

We will now recall the multidimensional concept of variation in the sense of Tonelli. Such definition was introduced by Tonelli [28] for functions of two variables and then extended to dimension N
>
2 by Radó [29] and Vinti [30].Let us introduce some notations. If we are interested in thejth coordinate of a vector x
=
x
1
,
…
,
x
N
∈
R
N, we will write (1)
x
j
′
=
x
1
,
…
,
x
j
-
1
,
x
j
+
1
,
…
,
x
N
∈
R
N
-
1
,
x
=
x
j
′
,
x
j
,so that, for a function f
:
R
N
→
R, there holds (2)
f
x
=
f
x
j
′
,
x
j
.Given an N-dimensional interval I
=
∏
i
=
1
N
[
a
i
,
b
i
], by I
j
′
=
a
j
′
,
b
j
′ we will denote the N
-
1-dimensional interval obtained by deleting the jth coordinate from I; namely, (3)
I
=
a
j
′
,
b
j
′
×
a
j
,
b
j
,
j
=
1
,
…
,
N
.Definition 1.
A functionf
:
R
N
→
R is said to be of bounded variation if the sections of f are a.e. of bounded variation on R and their variation is summable; that is, V
R
f
x
j
′
,
· (the usual Jordan one-dimensional variation of the jth section of f) is finite a.e. x
j
′
∈
R
N
-
1 and ∫
R
N
-
1
‍
V
R
f
x
j
′
,
·
d
x
j
′
<
+
∞, for every j
=
1
,
…
,
N.In order to compute the variation off on an interval I, the first step is to define the N
-
1-dimensional integrals (the so-calledTonelli integrals) (4)
Φ
j
f
,
I
≔
∫
a
j
′
b
j
′
V
a
j
,
b
j
f
x
j
′
,
·
d
x
j
′
,
j
=
1
,
…
,
N
.Let now Φ
f
,
I be the Euclidean norm of the vector Φ
1
f
,
I
,
…
,
Φ
N
f
,
I; that is, (5)
Φ
f
,
I
≔
∑
j
=
1
N
Φ
j
2
f
,
I
1
/
2
,where we put Φ
f
,
I
=
∞ if Φ
j
f
,
I
=
∞ for some j
=
1
,
…
,
N.The variation off on an interval I
⊂
R
N is defined as(6)
V
I
f
≔
sup
⁡
∑
k
=
1
m
Φ
f
,
J
k
,where the supremum is taken over all the families of N-dimensional intervals J
1
,
…
,
J
m which form partitions of I.Finally, the variation off over the whole R
N is defined as(7)
V
R
N
f
≔
sup
I
⊂
R
N
⁡
V
I
f
,where the supremum is taken over all the intervals I
⊂
R
N.By(8)
BV
R
N
≔
f
∈
L
1
R
N
:
V
R
N
f
<
+
∞we will denote thespace of functions of bounded variation on
R
N.We recall that it can be proved that iff
∈
BV
R
N then ∇
f exists a.e. in R
N and ∇
f
∈
L
1
R
N (see, e.g., [29, 30]).We point out that, in the multidimensional setting, it is natural to consider functions of bounded variation within the Lebesgue spaceL
1
R
N: indeed this is analogous to the distributional concept of variation given by Cesari [31] and, in equivalent forms, by Krickeberg [32], De Giorgi [33], Giusti [34], and Serrin [35]. We notice that the definition of variation in the sense of Tonelli is equivalent to the distributional one in the class of functions which satisfy some approximate continuity properties (see, e.g., [30]).We will now recall the concept of absolute continuity in sense of Tonelli.Definition 2.
A functionf
:
R
N
→
R is locally absolutely continuous (f
∈
AC
⁡
loc
⁡
R
N) if, for every interval I
=
∏
i
=
1
N
a
i
,
b
i and for every j
=
1,2
,
…
,
N, the jth section f
x
j
′
,
·
:
a
j
,
b
j
→
R is (uniformly) absolutely continuous for almost every x
j
′
∈
a
j
′
,
b
j
′.Similarly to the one-dimensional case, it is possible to prove that iff
∈
BV
R
N
∩
AC
⁡
loc
⁡
R
N, then(9)
V
R
N
f
=
∫
R
N
∇
f
x
d
x(see, e.g., [29, 30]).We will denote byAC
⁡
R
N the space of all the functions f
∈
BV
R
N
∩
AC
⁡
loc
⁡
R
N.In the following we will present also results about convergence for a family of Mellin integral operators. In order to study such kind of operators the most natural way is to considerR
+
N
≔
]
0
,
+
∞
)
N (the domain of the functions where Mellin operators act), as a group with the multiplicative operation (instead of the additive operation on R
N) and equipped with the logarithmic Haar-measure μ
A
=
∫
A
d
x
/
x (A is a Borel subset of R
+
N and x
≔
∏
i
=
1
N
x
i, x
=
x
1
,
…
,
x
N
∈
R
+
N), instead of the usual Lebesgue measure. For this reason, in order to obtain results in BV-spaces for such kind of operators, it seems natural to adapt the definition of the Tonelli variation to this frame: we therefore introduced in [36] a new concept of multidimensional variation in which, in the Tonelli integrals, the Lebesgue measure is replaced by the logarithmic measure μ.Definition 3.
One will say thatf
∈
L
~
1
R
+
N is of bounded variation on R
+
N if the sections f
x
j
′
,
· are of bounded variation on R
+ a.e. x
j
′
∈
R
+
N
-
1 and V
R
+
f
x
j
′
,
·
∈
L
~
1
R
+
N
-
1, where L
~
1
R
+
N denotes the space of the functions f
:
R
+
N
→
R such that ∫
R
+
N
f
t
t
-
1
d
t
<
+
∞.In order to define the multidimensional variation onR
+
N, for a fixed interval I
≔
∏
i
=
1
N
a
i
,
b
i
⊂
R
+
N we consider the N
-
1-dimensional integrals(10)
Φ
j
f
,
I
≔
∫
a
j
′
b
j
′
V
a
j
,
b
j
f
x
j
′
,
·
d
x
j
′
x
j
′
,where x
j
′ denotes the product ∏
i
=
1
,
i
≠
j
N
x
i. The remaining steps for the definition of the variation follow as before.For the sake of simplicity, we will use the same notations for the variation in both the cases ofR
N and R
+
N: as it is natural, when one works on R
+
N, it is intended that the measure used is the logarithmic one.The classical definition of Jordan variation [37] was extended in the literature in several directions: one of the first generalizations was the quadratic variation introduced by Wiener [38], extended to the p-variation, p
≥
1 [39, 40], and later to the concept of φ-variation. The φ-variation was first introduced by Young [41] and then extensively studied by Musielak and Orlicz and their school (see, e.g., [22, 42–49]).From now on we will assume thatφ
:
R
0
+
→
R
0
+ is as follows.Assumption i.
φ is a convex φ-function, where a φ-function is a continuous, nondecreasing function on R
0
+, such that φ
(
0
)
=
0, φ
(
u
)
>
0 for u
>
0, and l
i
m
u
→
+
∞
φ
(
u
)
=
+
∞.Assumption ii.
u
-
1
φ
(
u
)
→
0 as u
→
0
+
.We recall that (see [22]) the φ-variation of f
:
R
→
R on a
,
b
⊂
R is defined as(11)
V
a
,
b
φ
f
≔
sup
D
⁡
∑
i
=
1
n
φ
f
s
i
-
f
s
i
-
1
,where the supremum is taken over all the partitions D
=
s
0
=
a
,
s
1
,
…
,
s
n
=
b of the interval a
,
b, and(12)
V
R
φ
f
≔
sup
a
,
b
⊂
R
⁡
V
a
,
b
φ
f
.Definition 4.
A functionf
:
R
→
R is said to be of bounded φ-variation (f
∈
BV
φ
R) if V
R
φ
λ
f
<
+
∞, for some λ
>
0.The Musielak-Orliczφ-variation was generalized to the multidimensional frame in [50] following the approach of Vitali. However, in order to study approximation problems, the approach of the Tonelli variation seems to be the most natural in this context. For such reason in [21] we introduced a concept of multidimensional φ-variation inspired by the Tonelli and C. Vinti approach.Again, the crucial point is to define, forj
=
1
,
…
,
N, the Tonelli integrals: in this case we put(13)
Φ
j
φ
f
,
I
≔
∫
a
j
′
b
j
′
V
a
j
,
b
j
φ
f
x
j
′
,
·
d
x
j
′
,where V
a
j
,
b
j
φ
f
x
j
′
,
· is the (one-dimensional) Musielak-Orlicz φ-variation of thejth section of f.Putting now(14)
Φ
φ
f
,
I
≔
∑
j
=
1
N
Φ
j
φ
f
,
I
2
1
/
2
,the multidimensional φ-variation of f
:
R
N
→
R on an interval I
⊂
R
N is defined as (15)
V
I
φ
f
≔
sup
⁡
∑
k
=
1
m
Φ
φ
f
,
J
k
,(the supremum is taken over all the partitions J
1
,
…
,
J
m of I) and, finally,(16)
V
R
N
φ
f
≔
sup
I
⊂
R
N
⁡
V
I
φ
f
.By(17)
BV
φ
R
N
=
f
∈
L
1
R
N
:
∃
λ
>
0
s.t.
V
φ
λ
f
<
+
∞we will denote thespace of functions of bounded
φ
-variation over R
N.Similarly to the classical variation, it is natural to introduce a concept of multidimensionalφ-absolute continuity.Definition 5.
One says thatf
:
R
N
→
R is locally φ-absolutely continuous (AC
⁡
loc
⁡
φ
R
N) if it is φ-absolutely continuous in the sense of Tonelli; that is, for every I
=
∏
i
=
1
N
a
i
,
b
i
⊂
R
N and j
=
1,2
,
…
,
N, the section f
x
j
′
,
·
:
a
j
,
b
j
→
R is (uniformly) φ-absolutely continuous for almost every x
j
′
∈
a
j
′
,
b
j
′.Here (see [22]) a function g
:
a
,
b
⊂
R
→
R is φ-absolutely continuous if there exists λ
>
0 such that the following property holds:for every
ε
>
0
, there exists
δ
>
0
for which
(18)
∑
ν
=
1
n
φ
λ
g
β
ν
-
g
α
ν
<
ε
,
for all the finite collections of nonoverlapping intervals
α
ν
,
β
ν
⊂
a
,
b
,
ν
=
1
,
…
,
n
, such that
(19)
∑
ν
=
1
n
φ
β
ν
-
α
ν
<
δ
.ByAC
⁡
φ
R
N we will denote the space of all the functions f
∈
BV
φ
R
N
∩
AC
⁡
loc
⁡
φ
R
N.As before, in order to obtain results for Mellin integral operators inBV
φ-spaces in the multidimensional frame, we adapted the previous definition of φ-variation in the sense of Tonelli to the case of functions defined on R
+
N equipped with the logarithmic measure μ. In such concept of multidimensional φ-variation, introduced in [51], the Tonelli integrals (13) are replaced by(20)
Φ
j
φ
f
,
I
≔
∫
a
j
′
b
j
′
V
a
j
,
b
j
φ
f
x
j
′
,
·
d
x
j
′
x
j
′
.Again, we will use the same notations, as in the case of the variation, for functions defined on both R
N and R
+
N.


## 3. Approximation Results for Convolution Integral Operators

In this section we will present results about approximation in variation by means of the convolution integral operators, namely,I, for f
∈
L
1
R
N. Here K
w
w
>
0 is a family of approximate identities (see, e.g., [52]); that is,K
w
.
1  K
w
:
R
N
→
R is a measurable essentially bounded function such that K
w
∈
L
1
R
N
,
K
w
1
≤
A for an absolute constant A
>
0 and ∫
R
N
K
w
t
d
t
=
1, for every w
>
0;
K
w
.
2 for any fixed δ
>
0, ∫
t
>
δ
K
w
t
d
t
→
0, as w
→
+
∞.In the following we will say thatK
w
w
>
0
⊂
K
w if K
w
.
1 and K
w
.
2 are satisfied.Of course the operatorsI are well-defined for every f
∈
L
1
R
N and therefore in particular for every function f
∈
BV
R
N, since(21)
T
w
f
x
≤
f
1
K
w
∞
,
∀
x
∈
R
N
.We first recall that the family of operatorsI map BV
R
N into itself. Indeed, the following estimate holds.Proposition 6 (see [25]).
Letf
∈
BV
R
N
. If K
w
w
>
0 satisfies K
w
.
1, then(22)
V
R
N
T
w
f
≤
A
V
R
N
f
,
w
>
0, where A is the constant of Assumption K
w
.
1.Remark 7.
In the case of nonnegative kernelsK
w
w
>
0, Proposition 6 gives the “variation diminishing property” for the operators T
w
f: indeed in this case A
=
K
w
1
=
1, w
>
0.In order to obtain the main result about convergence in variation, the following estimate of the error of approximation is essential.Proposition 8 (see [25]).
Iff
∈
BV
R
N then, for every w
>
0,(23)
V
R
N
T
w
f
-
f
≤
∫
R
N
V
R
N
f
·
-
t
-
f
·
K
w
t
d
t
.Another important tool is a characterization of the convergence for themodulus of smoothness of f, defined as(24)
ω
f
,
δ
≔
sup
t
≤
δ
⁡
V
R
N
τ
t
f
-
f
,where τ
t
f
s
≔
f
s
-
t, for every s
,
t
∈
R
N, is the translation operator (see, e.g., [6, 53]).Theorem 9 (see [25]).
Letf
∈
BV
R
N. Then f
∈
A
C
R
N if and only if (25)
lim
δ
→
0
⁡
ω
f
,
δ
=
0
.The proof of the sufficient part of this result is a consequence of integral representation (9) of the variation for absolutely continuous functions and of the continuity in L
1 of the translation operator. For the necessary part, in [25] it is proved that if the kernel functions K
w are absolutely continuous (as it happens in the most common cases), then also the integral operators T
w
f belong to AC
⁡
R
N. Then, since AC
⁡
R
N is a closed subspace of BV
R
N with respect to the convergence in variation [25] and by estimate (23), in case of regular kernels, the convergence of the modulus of smoothness implies that f
∈
AC
⁡
R
N.By means of Proposition8 and Theorem 9 it is possible to obtain the main result about convergence for absolutely continuous functions.Theorem 10 (see [25]).
Iff
∈
A
C
R
N and K
w
w
>
0
⊂
K
w, then (26)
lim
w
→
+
∞
⁡
V
R
N
T
w
f
-
f
=
0
.Remark 11.
We point out that the assumption of absolute continuity of the function is crucial to obtain the main convergence theorem and such result does not hold, in general, if, for example,f
∈
BV
R
N
∖
AC
⁡
R
N. For example, in the case N
=
1, let us consider f
:
R
→
R defined by (27)
f
x
=
1
,
x
≤
1
,
0
,
x
>
1
.First of all we point out that V
τ
t
f
-
f
↛
0 as t
→
0. Let us now consider the Poisson-Cauchy kernel defined as(28)
K
w
t
=
2
π
w
1
+
w
2
t
2
,
w
>
0
,
t
∈
R
.Then(29)
T
w
f
s
=
2
π
arctan
⁡
w
s
+
1
-
arctan
⁡
w
s
-
1
,
s
∈
R
,and therefore(30)
V
R
T
w
f
-
f
≥
V
-
∞
,
-
1
T
w
f
-
f
=
T
w
f
-
1
-
l
i
m
s
→
-
∞
T
w
f
s
=
-
2
π
arctan
⁡
-
2
w
.This implies that (31)
liminf
w
→
+
∞
⁡
V
R
T
w
f
-
f
≥
π
2
,and hence V
R
T
w
f
-
f
↛
0 as w
→
+
∞
.In case of regular kernels, by the closure ofAC
⁡
R
N in BV
R
N, the converse of Theorem 10 is also true. Hence we obtain the following characterization of the space of the absolutely continuous functions, similarly to what happens in the one-dimensional case for the Jordan variation.Theorem 12 (see [25]).
Assume thatf
∈
BV
R
N and K
w
w
>
0
⊂
K
w
∩
A
C
R
N. Then f
∈
A
C
R
N if and only if(32)
lim
w
→
+
∞
⁡
V
R
N
T
w
f
-
f
=
0
.The previous results were generalized to the case of the multidimensionalφ-variation in [21]. In particular, besides a kind of variation diminishing property, in [21] the following estimate for the error of approximation is obtained.Proposition 13 (see [21]).
Letf
∈
B
V
φ
R
N and let K
w
w
>
0 be such that K
w
.
1 is satisfied. Then, for every λ
,
δ
>
0 and for every w
>
0,(33)
V
R
N
φ
λ
T
w
f
-
f
≤
A
-
1
ω
φ
λ
A
f
,
δ
∫
t
≤
δ
K
w
t
d
t
+
V
R
N
φ
2
λ
A
f
∫
t
>
δ
K
w
t
d
t
,where ω
φ
f
,
δ
≔
sup
t
≤
δ
⁡
V
R
N
φ
τ
t
f
-
f is the φ-modulus of smoothness of f.Using the previous estimate, the main convergence result follows by the singularity assumption on the kernel functionsK
w
.
2 and by the convergence for the φ-modulus of smoothness.Theorem 14 (see [54]).
Letf
∈
B
V
φ
R
N. Then there exists λ
>
0 such that (34)
lim
δ
→
0
+
⁡
ω
φ
λ
f
,
δ
=
0
,if and only if f
∈
A
C
loc
⁡
φ
R
N.The convergence for the modulus of smoothness, in case of the Tonelli variation, is a direct consequence of the integral representation of the variation for absolutely continuous functions (9). On the contrary, for the φ-variation there are no results of this kind and, in order to get the convergence in φ-variation of the φ-modulus of smoothness, it is necessary to use a different technique. In particular (see [54]), the crucial point is to construct a kind of “step” functions that approximate the function f and for which a convergence result can be proved.Using Theorem14, it is possible to obtain the main result of convergence in φ-variation for the convolution integral operators I.Theorem 15 (see [21]).
Iff
∈
A
C
φ
R
N and K
w
w
>
0
⊂
K
w, then there exists λ
>
0 such that (35)
lim
w
→
+
∞
⁡
V
R
N
φ
λ
T
w
f
-
f
=
0
.To give a sketch of the proof, the starting point is the estimate of Proposition13 for the error of approximation V
R
N
φ
λ
T
w
f
-
f. By Theorem 14, we have that ω
φ
λ
f
,
δ tends to 0, for sufficiently small δ
>
0, while, by Assumption K
w
.
2 on the kernel functions, in correspondence with such small δ, ∫
t
>
δ
‍
K
w
t
d
t converges to 0 for w large enough; hence the result follows, taking into account K
w
.
1 and the fact that f
∈
BV
φ
R
N.As before, in case of regular kernels the converse of Theorem15 is also true.Theorem 16 (see [21]).
Letf
∈
B
V
φ
R
N and let K
w
w
>
0
⊂
K
w
∩
A
C
φ
R
N. Then f
∈
A
C
φ
R
N if and only if there exists λ
>
0 such that(36)
lim
w
→
+
∞
⁡
V
R
N
φ
λ
T
w
f
-
f
=
0
.Remark 17.
We point out that it is easy to find examples of kernel functions to which the previous results can be applied. Among them, for example, the Gauss-Weierstrass kernel is defined as(37)
G
w
t
=
w
N
π
N
/
2
e
-
w
2
t
2
,
t
∈
R
N
,
w
>
0
,or the Picard kernel(38)
P
w
t
=
w
N
Γ
N
/
2
2
π
N
/
2
Γ
N
e
-
w
t
,
t
∈
R
N
,
w
>
0
,where Γ is the Gamma Euler function (see Figure 1).Figure 1
Examples of Gauss-Weierstrass kernelG
w
x
,
y and Picard kernel P
w
x
,
y with w
=
10.
(a)
(b)


## 4. Approximation Results for Mellin Integral Operators

We now turn our attention to Mellin integral operators, defined asII, where s
t
≔
s
1
t
1
,
…
,
s
N
t
N, s
,
t
∈
R
+
N. On the kernel functions K
w
w
>
0 we assume thatK
~
w
.
1  K
w
:
R
+
N
→
R is a measurable essentially bounded function such that K
w
∈
L
~
1
R
+
N, K
w
L
~
1
≤
A for an absolute constant A
>
0 and ∫
R
+
N
K
w
t
t
-
1
d
t
=
1, for every w
>
0;
K
~
w
.
2 for every fixed 0
<
δ
<
1, ∫
1
-
t
>
δ
‍
K
w
t
t
-
1
d
t
→
0, as w
→
+
∞,that is, the assumptions of approximate identities, adapted to the present setting of R
+
N. If K
w
w
>
0 satisfy K
~
w
.
1 and K
~
w
.
2, we will write K
w
w
>
0
⊂
K
~
w.For Mellin integral operators it is possible to develop an “approximation theory” similar to the case of the convolution integral operators; however, one of the main differences is the homothetic structure ofR
+
N which leads to the choice of the logarithmic measure μ and also to the necessity to adapt some definitions. For example, the modulus of smoothness of f
∈
BV
R
+
N has to be now defined as(39)
ω
f
,
δ
≔
s
u
p
1
-
t
≤
δ
V
R
+
N
σ
t
f
-
f
,
0
<
δ
<
1, where σ
t
f
s
≔
f
s
t, for every s
,
t
∈
R
+
N, is the homothetic operator and 1
=
1
,
…
,
1 is the unit vector of R
+
N. Such notion of modulus of smoothness is the natural generalization, in the present frame of BV
R
+
N, of the classical modulus of continuity (see, e.g., [6, 21, 25]).Of course, due to the presence of the logarithmic measure, we cannot use the integral representation of the Tonelli variation; nevertheless, it is possible to directly prove a result of convergence in variation for the modulus of smoothness in case of AC-functions, using a kind of “separated” variations (V
j
f, j
=
1
,
…
,
N) which take into account just a single direction instead of all the N directions.Theorem 18 (see [36]).
Iff
∈
A
C
R
+
N, then (40)
lim
δ
→
0
+
⁡
ω
f
,
δ
=
0
.By means of the previous result and an estimate for the error of approximationM
w
f
-
f analogous to Proposition 13, it is possible to prove the following convergence result.Theorem 19.
Letf
∈
A
C
R
+
N and K
w
w
>
0
⊂
K
~
w. Then(41)
lim
w
→
+
∞
⁡
V
R
+
N
M
w
f
-
f
=
0
.A natural question now is whether, at least in case of AC-kernels, the converse of the previous result holds, as in the case of convolution operators. Actually, due to the form of the operatorsM
w
f, such question is now much more delicate and direct approach cannot be used. In order to solve the problem, it is necessary to use another concept of absolute continuity (thelog-absolute continuity), equivalent to the classical one, which takes into account the logarithmic measure μ. We first present the definition in the one-dimensional case.Definition 20 (see [55]).
One says thatf
:
R
+
→
R islog-absolutely continuous on a
,
b
⊂
R
+ (f
∈
AC
⁡
l
o
g
a
,
b) if for every ε
>
0 there exists δ
>
0 such that, for every collection of nonoverlapping intervals α
ν
,
β
ν
ν
=
1
n in a
,
b such that (42)
∑
ν
=
1
n
log
⁡
β
ν
-
log
⁡
α
ν
<
δ
,then (43)
∑
ν
=
1
n
f
β
ν
-
f
α
ν
<
ε
.By AC
⁡
l
o
g
R
+ we will denote the space of functions which are of bounded variation on R
+ and log-absolutely continuous on a
,
b, for every a
,
b
⊂
R
+.Now, in the general multidimensional frame,f
:
R
+
N
→
R islog-absolutely continuous on I
=
∏
i
=
1
N
a
i
,
b
i
⊂
R
+
N if, for every j
=
1,2
,
…
,
N, the jth sections of f, f
x
j
′
,
·
:
a
j
,
b
j
→
R, are (uniformly) log-absolutely continuous for almost every x
j
′
∈
R
+
N
-
1.By means of the definition of the log-absolute continuity, in [55] it is proved that Mellin integral operators, as the classical convolution operators, preserve absolute continuity: this, together with the fact that the set of the absolutely continuous functions is a closed subspace of the set of the BV-functions, allows us to obtain the following characterization.Theorem 21 (see [55]).
Letf
∈
BV
R
+
N and K
w
w
>
0
⊂
K
~
w
∩
A
C
R
+
N. Then f
∈
A
C
R
+
N if and only if lim
w
→
+
∞
⁡
V
R
+
N
M
w
f
-
f
=
0.In [56] approximation properties for Mellin integral operators were studied in the frame of BV
φ-spaces, using the multidimensional version of the φ-variation on R
+
N introduced in [51]. In particular the following theorem is obtained.Theorem 22 (see [56]).
Letf
∈
A
C
φ
R
+
N and K
w
w
>
0
⊂
K
~
w. Then there exists a constant μ
>
0 such that (44)
lim
w
→
+
∞
⁡
V
R
+
N
φ
μ
M
w
f
-
f
=
0
.The proof of Theorem22 is based on the estimate of the error of approximation [56],(45)
V
φ
λ
M
w
f
-
f
≤
ω
φ
λ
A
f
,
δ
+
A
-
1
V
φ
2
λ
A
f
∫
1
-
t
>
δ
K
w
t
t
-
1
d
t
,and on a convergence result for the φ-modulus of smoothness (46)
ω
φ
f
,
δ
≔
sup
1
-
t
≤
δ
⁡
V
R
+
N
φ
σ
t
f
-
f
,
δ
>
0. This last result was obtained in [51] by means of a direct approach: the function f is approximated in φ-variation by two auxiliary functions, constructed on a grid on which their sections are piecewise constant.In order to prove the converse of Theorem22, it is again necessary to use a concept of logarithmic φ-absolute continuity, which takes into account the homothetic structure of R
+
N. We report below the definition in the one-dimensional case, while for the multidimensional case it is sufficient to proceed as for the log-absolute continuity.Definition 23 (see [57]).
One says thatf
:
a
,
b
→
R is log-φ-absolutely continuous on a
,
b
⊂
R
+ if there exists λ
>
0 such that, for every ε
>
0, there exists δ
>
0 for which(47)
∑
ν
=
1
n
φ
λ
f
β
ν
-
f
α
ν
<
ε
,for all finite collections of nonoverlapping intervals α
ν
,
β
ν
⊂
a
,
b, ν
=
1
,
…
,
n, such that (48)
∑
ν
=
1
n
φ
log
⁡
β
ν
-
log
⁡
α
ν
<
δ
.The log-φ-absolute continuity is equivalent to the φ-absolute continuity and allows obtaining the characterization of A
C
φ
R
+
N in terms of convergence in φ-variation of Mellin integral operators.Theorem 24 (see [57]).
Letf
∈
B
V
φ
R
+
N and K
w
w
>
0
⊂
K
~
w
∩
A
C
φ
R
+
N. Then f
∈
A
C
φ
R
+
N if and only if there exists λ
>
0 such that lim
w
→
+
∞
⁡
V
R
+
N
φ
λ
M
w
f
-
f
=
0.Remark 25.
We point out that takingN
=
1 as particular case of Theorem 24 we obtain the characterization of φ-absolute continuity in the one-dimensional case, namely, for the classical Musielak-Orlicz φ-variation.Remark 26.
It is not difficult to find examples of kernel functions which fulfill Assumptions (K
~
w
.
1) and (K
~
w
.
2). Among them, for example, the moment-type kernels (or average kernels) are defined as(49)
A
w
t
≔
w
N
t
w
χ
0,1
N
t
,
t
∈
R
+
N
,
w
>
0
.It is easy to see that they fulfill Assumption K
~
w
.
1. Moreover, for every δ
∈
0,1, 1
-
t
>
δ implies that there exists an index j
=
1
,
…
,
N such that 1
-
t
j
>
δ
/
N; hence t
∈
0,1
N
:
1
-
t
>
δ
⊂
⋃
j
=
1
N
t
∈
R
+
N
:
0
<
t
j
<
1
-
δ
/
N
,
0
<
t
i
<
1
,
∀
i
≠
j
. Therefore (50)
∫
1
-
t
>
δ
A
w
t
t
-
1
d
t
≤
∑
j
=
1
N
∏
i
≠
j
∫
0
1
w
t
i
w
-
1
d
t
i
∫
0
1
-
δ
/
N
w
t
j
w
-
1
d
t
j
=
N
1
-
δ
N
w
⟶
0
,as w
→
+
∞; that is, also K
~
w
.
2 is satisfied.Other families of kernel functions to which the previous results can be applied are the Mellin-Gauss-Weierstrass kernels, defined as(51)
G
~
w
t
≔
w
N
π
N
/
2
e
-
w
2
log
⁡
t
2
,
t
∈
R
+
N
,
w
>
0
,or the Mellin-Picard kernels, which are defined as(52)
P
~
w
t
≔
w
N
2
π
N
/
2
Γ
N
/
2
Γ
N
e
-
w
log
⁡
t
,
t
∈
R
+
N
,
w
>
0
.We point out that these definitions are the natural reformulations, in the present multiplicative setting of R
+
N, of the classical Gauss-Weierstrass kernels and Picard kernels, respectively (see Remark 17).


## 5. Further Results

We will now give some hints about further approximation results that were obtained in BV-spaces.First of all, an interesting problem is to study the nonlinear versions of operatorsI and II. We point out that the nonlinear case is much more delicate than the linear one and requires some ad hoc assumptions; on the other side, it not only is interesting from a mathematical point of view, being of course more general than the linear one, but also is important from the point of view of the applications. Indeed, there are several applicative problems that cannot be faced by means of linear processes; an example is furnished by some problems of Signal Processing.The nonlinear version of the convolution integral operatorsII isIII
T
¯
w
f
s
=
∫
R
N
K
¯
w
t
,
f
s
-
t
d
t
,
w
>
0
,
s
∈
R
N
,where K
¯
w
w
>
0 is a family of measurable functions K
¯
w
:
R
N
×
R
→
R of the form (53)
K
¯
w
t
,
u
=
L
w
t
H
w
ufor every t
∈
R
N, u
∈
R
. Here L
w
:
R
N
→
R and H
w
:
R
→
R with H
w
0
=
0 is a Lipschitz kernel for every w
>
0; that is, there exists K
>
0 such that(54)
H
w
u
-
H
w
v
≤
K
u
-
v
,
∀
u
,
v
∈
R
.Moreover we assume that(K
-
w
.
1) L
w
:
R
N
→
R is a measurable function such that L
w
∈
L
1
R
N
,
L
w
1
≤
A, for some A
>
0 and for every w
>
0, and ∫
R
N
‍
L
w
t
d
t
=
1, for every w
>
0;
(K
-
w
.
2) for any fixed δ
>
0, ∫
t
>
δ
‍
L
w
t
d
t
→
0, as w
→
+
∞;
(K
-
w
.
3) denoted by G
w
u
≔
H
w
u
-
u, u
∈
R, w
>
0,(55)
V
J
G
w
m
J
⟶
0
,
as
w
⟶
+
∞
,uniformly with respect to every (not trivial) bounded interval J
⊂
R; that is, for every ε
>
0 there exists w
¯
>
0 such that V
J
G
w
/
m
J
<
ε, for every w
≥
w
¯ and for every bounded interval J
⊂
R.Remark 27.
We point out that AssumptionK
¯
w
.
3 is due to the nonlinear frame and of course it is obviously satisfied in the linear case (H
w
u
=
u, u
∈
R). Moreover it is not difficult to provide examples of kernels which fulfill all the previous assumptions. For example, we can consider the kernel functions K
¯
w
t
,
u
=
L
w
t
H
w
u, t
∈
R
0
+, u
∈
R
,
w
>
0, where L
w
w
>
0 are approximate identities,(56)
H
w
u
=
u
+
log
⁡
1
+
u
w
,
0
≤
u
<
1
,
u
+
log
⁡
1
+
1
w
u
,
u
≥
1
,and the definition of H
w
u is extended in odd way for u
<
0 (see Figure 2).Figure 2
Example of kernelsH
w
u, w
=
3,5
,
7,9.The problem of the convergence in variation for the nonlinear integral operatorsIII was faced in [58, 59]; in particular, the main convergence result reads as follows.Theorem 28 (see [58]).
Iff
∈
A
C
R
N and K
¯
w
w
>
0 satisfy K
¯
w
.
i, i
=
1,2
,
3, then (57)
lim
w
→
+
∞
⁡
V
R
N
T
¯
w
f
-
f
=
0
.Similar approximation results were obtained in [60] for the nonlinear convolution integral operators III in the frame of BV
φ
R
N and in [61] for the nonlinear version of the Mellin integral operators II in BV
R
+
N.We finally point out that, besides the problem of convergence, the rate of approximation has been also studied in all the previously mentioned settings. In order to do it, as it is natural, one has to introduce suitable Lipschitz classes which take into account the variation functional. We point out that, in order to approach the mentioned problem, the assumptions on kernels have to be slightly modified.For example, let us consider the case of the convolution integral operatorsI in the setting of BV
R
N. In this frame the Lipschitz class is defined as(58)
V
Lip
⁡
N
α
≔
f
∈
BV
R
N
:
V
R
N
τ
t
f
-
f
=
O
t
α
,
as
t
⟶
0
,
α
>
0, and Assumption K
w
.
2 has to be replaced by the following:K
w
′
.
2 for any fixed δ
>
0, ∫
t
>
δ
‍
L
w
t
d
t
=
O
w
-
α, as w
→
+
∞.Moreover we will say thatK
w
w
>
0 is an α
-singular kernel, for 0
<
α
≤
1, if(59)
∫
t
>
δ
K
w
t
d
t
=
O
w
-
α
,
as
w
⟶
+
∞
,for every δ
>
0. Then it is possible to obtain the following result about the order of approximation for the convolution integral operators I.Theorem 29 (see [25]).
Letf
∈
V
L
i
p
N
α and let K
w
w
>
0
⊂
K
w be an α-singular kernel satisfying K
w
.
1 and (
K
w
′
.
2
). Moreover assume that there exists 0
<
δ
~
<
1 such that (60)
∫
t
≤
δ
~
K
w
t
t
α
d
t
=
O
w
-
α
,
as
w
⟶
+
∞
.Then(61)
V
R
N
T
w
f
-
f
=
O
w
-
α
,as w
→
+
∞.Similar results in the nonlinear case were obtained in [58], while, for results about the rate of approximation for convolution integral operators with respect to the multidimensional φ-variation, see [21] and [60] (nonlinear case).The case of Mellin integral operators was studied in [36] and in [61] (nonlinear case) with respect to the Tonelli variation, while the case of the multidimensional φ-variation was studied in [56]. We finally refer to [62, 63] for approximation results in the slightly different setting of BV
φ
R
0
+
N.



---

*Source: 3843921-2016-09-26.xml*