Abstract
We introduce and investigate an adaptation of Fourier series to set-valued functions (multifunctions, SVFs) of bounded variation. In our approach we define an analogue of the partial sums of the Fourier series with the help of the Dirichlet kernel using the newly defined weighted metric integral. We derive error bounds for these approximants. As a consequence, we prove that the sequence of the partial sums converges pointwisely in the Hausdorff metric to the values of the approximated set-valued function at its points of continuity, or to a certain set described in terms of the metric selections of the approximated multifunction at a point of discontinuity. Our error bounds are obtained with the help of the new notions of one-sided local moduli and quasi-moduli of continuity which we discuss more generally for functions with values in metric spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Set-valued functions (SVFs, multifunctions) find applications in different fields such as economy, optimization, dynamical systems, control theory, game theory, differential inclusions, geometric modeling. Analysis of set-valued functions has been a rapidly developing field in the last decades. One may consider the book [4] as establishing the field of set-valued analysis. Approximation of SVFs has been developing in parallel.
Older approaches to the approximation, related mainly to control theory, investigate almost exclusively SVFs with convex images (values). Research on approximation and numerical integration of set-valued functions with convex images can be found e.g. in [6,7,8,9,10,11, 14, 16,17,18, 20, 27,28,32, 36, 37]. The standard tools used are the Minkowski linear combinations and the Aumann integral. It is well-known that the Aumann integral of a multifunction with compact values in \({{{\mathbb {R}}}}^d\) is convex even if the values of the integrand are not convex [5]. This property is called convexification, see e.g. [20]. Also the Minkowski convex combinations with a growing number of summands suffer from convexification [20].
Some newer applications, as geometric modeling for instance, motivate the study of approximation of SVFs with general, not necessarily convex values. Trying to apply the known methods for the convex-valued case to set-valued functions with general values, R. A. Vitale cosidered in [37] the polynomial Bersntein operators adapted to SVFs by replacing linear combinations of numbers by the Minkowski linear combinations of sets. While this construction works perfectly for SVFs with convex images, in the general case the sequence of so generated Bernstein approximants does not approximate the given SVF but the multifunction with values equal to the convex hulls of those of the original SVF. Clearly, such methods are useless for approximating set-valued functions with general, not necessarily convex images.
A pioneering work on approximation of SVFs with general images is done by Z. Artstein [3], who constructs piecewise-linear interpolants of multifunctions. He replaces the Minkowski averages between two sets by the set of averages of special pairs of elements termed in later works “metric pairs”. Using the concept of metric pairs and metric linear combinations, N. Dyn, E. Farkhi and A. Mokhov developed in a series of works techniques that are free of convexification and are suitable for approximating set-valued functions with general compact images. The tools used in these techniques include repeated binary metric averages [19, 22, 24], metric linear combinations [21, 22], metric selections [22, 23] and the metric integral [23], which is extended here to a weighted metric integral. In [13, 21,22,23] the authors studied approximation of set-valued functions by means of metric adaptations of classical approximation operators such as the Bernstein polynomial operator, the Schoenberg spline operator, the polynomial interpolation operator. While in older papers the approximated SVFs are mainly continuous, the later works [13, 23] are concerned with multifunctions of bounded variation.
The main topic is an adaptation of the trigonometric Fourier series to set-valued functions of bounded variation with general compact images. We also try to obtain error bounds under minimal regularity requirements on the multifunctions to be approximated and focus on the investigation on SVFs of bounded variation. We use in our analysis some properties of maps of bounded variation with values in metric spaces proved in [15].
We are familiar only with few works on trigonometric approximation of multifunctions. Some results on this topic for convex-valued SVFs by methods based on the Aumann integral are obtained in [6]. For the related topic of trigonometric approximation of fuzzy-valued functions see, e.g. [2, 12, 25, 38]. Note that in this context the level sets determine multifunctions with convex values (intervals in \({{\mathbb {R}}}\)).
In this paper we define the metric analogue of the partial sums of the Fourier series of a multifunction via convolutions with the Dirichlet kernel of order n, for \(n\ge 0\), the convolutions being defined as weighted metric integrals. To study error bounds of these approximants and to prove convergence as \(n\rightarrow \infty \), we introduce new one-sided local moduli of continuity in Sect. 3 and quasi-moduli of continuity in Sect. 6. The main result of the paper is analogous to the classical Dirichlet-Jordan Theorem for real functions [39]. It states the pointwise convergence in the Hausdorff metric of the metric Fourier approximants of a multifunction of bounded variation to a compact set. In particular, if the multifunction F is of bounded variation and continuous at a point x, then the metric Fourier approximants of it at x converge to F(x). The convergence is uniform in closed finite intervals where F is continuous. At a point of discontinuity the limit set is determined by the values of the metric selections of F there.
The paper is organized as follows. In the next section some basic notions and notation are recalled. One-sided local moduli of continuity of univariate functions with values in a metric space are introduced and studied in Sect. 3. The theory developed in Sect. 3 is specified in Sect. 4 to set-valued functions of bounded variation, to their chain functions and metric selections. In Sect. 5 the weighted metric integral is introduced and some of its properties are derived. The main results of the paper are presented in Sect. 6. To make the reading easier, the section is divided into three subsections. The first subsection contains the definition of the metric Fourier approximants of multifunctions. The second subsection contains a refinement of the classical Dirichlet-Jordan Theorem [39]. There we obtain error bounds for the Fourier approximants for special classes of real functions of bounded variation. This refinement is used in the third subsection for the main results on the metric Fourier approximation of set-valued functions. In Sect. 7 we discuss properties of a set-valued function and of its metric selections at a point of discontinuity and study the structure of the limit set of the metric Fourier approximants.
There are two appendices: Appendix A contains the proof of Theorem 4.13 which is stated without a proof in Section 4 of [23]. Appendix B contains the proof of the refined Dirichlet-Jordan Theorem from Sect. 6.2.
2 Preliminaries
In this section we introduce some notation and basic notions related to sets and set-valued functions.
All sets considered from now on are sets in \({{{\mathbb {R}}}}^d\). We denote by \(\mathrm {K}({{{\mathbb {R}}}}^d)\) the collection of all compact non-empty subsets of \({{{\mathbb {R}}}}^d\). By \(\mathrm {Co}({{{\mathbb {R}}}}^d)\) we denote the collection of all convex sets in \(\mathrm {K}({{{\mathbb {R}}}}^d)\). The convex hull of a set A is denoted by \(\mathrm {co}(A)\). The metric in \({{{\mathbb {R}}}}^d\) is of the form \(\rho (u,v)=|u-v|\), where \(|\cdot |\) is a norm on \({{{\mathbb {R}}}}^d\). Note that all norms on \({{{\mathbb {R}}}}^d\) are equivalent. In the following we fix one norm in \({{{\mathbb {R}}}}^d\). Recall that \({{{\mathbb {R}}}}^d\) is a complete metric space.
Let A and B be non-empty subsets of \({{{\mathbb {R}}}}^d\). To measure the distance between A and B, we use the Hausdorff metric based on \(\rho \)
where the distance from a point c to a set D is \(\mathrm {dist}(c,D)_{\rho }=\inf _{d \in D}\rho (c,d)\).
It is well known that \(\mathrm {K}({{{\mathbb {R}}}}^d)\) and \(\mathrm {Co}({{{\mathbb {R}}}}^d)\) are complete metric spaces with respect to the Hausdorff metric [33, 35]. For an arbitrary metric space \((X,\rho )\), the same formula (1) defines a metric on the set \({\mathcal {C}}(X)\) of all non-empty closed subsets of X. It is known that the metric space \(({\mathcal {C}}(X), \mathrm {haus})\) is complete if \((X,\rho )\) is complete. Moreover, \(({\mathcal {C}}(X), \mathrm {haus})\) is compact if X is compact (e.g. [1, Section 4.4]).
We denote by \(|A|=\mathrm {haus}(A,\{0\})\) the “norm” of the set \(A \in \mathrm {K}({{{\mathbb {R}}}}^d)\).
The set of projections of \(a \in {{{\mathbb {R}}}}^d\) on a set \(B \in \mathrm {K}({{{\mathbb {R}}}}^d)\) is
and the set of metric pairs of two sets \(A,B \in \mathrm {K}({{{\mathbb {R}}}}^d)\) is
Using metric pairs, we can rewrite
In [23], the three last-named authors introduced the notions of a metric chain and of a metric linear combination as follows.
Definition 2.1
[23] Given a finite sequence of sets \(A_0, \ldots , A_n \in \mathrm {K}({{{\mathbb {R}}}}^d)\), \(n \ge 1\), a metric chain of \(A_0, \ldots , A_n\) is an \((n+1)\)-tuple \((a_0,\ldots ,a_n)\) such that \((a_i,a_{i+1}) \in \Pi \big ( {A_i},{A_{i+1}} \big )\), \(i=0,1,\ldots ,n-1\). We denote the collection of all metric chains of \(A_0, \ldots , A_n\) by
The metric linear combination of the sets \(A_0, \ldots , A_n \in \mathrm {K}({{{\mathbb {R}}}}^d)\), \(n \ge 1\), is
Note that the metric linear combination depends on the order of the sets, in contrast to the Minkowski linear combination of sets which is defined by
For a sequence of sets \(\{A_n\}_{n=1}^{\infty }\) the lower Kuratowski limit is the set of all limit points of converging sequences \(\{a_{n}\}_{n=1}^{\infty }\), where \(a_{n} \in A_{n} \), namely,
Analogously, for a set-valued function \(F:[a,b]\rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\) and \({\widetilde{x}} \in [a,b]\) we define
The upper Kuratowski limit is the set of all limit points of converging subsequences \(\{a_{n_k}\}_{k=1}^{\infty }\), where \({a_{n_k} \in A_{n_k} }\), \(k\in {{\mathbb {N}}}\), namely
Correspondingly, for a set-valued function \(F:[a,b]\rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\) and \({\widetilde{x}} \in [a,b]\)
A sequence \(\{A_n\}_{n=1}^{\infty }\) converges in the sense of Kuratowski to A if \({\displaystyle A = \liminf _{n \rightarrow \infty } A_n =} {\limsup _{n \rightarrow \infty } A_n }\). Similarly, a set A is a Kuratowski limit of F(x) as \(x \rightarrow {\widetilde{x}}\) if \({\displaystyle A = \liminf _{x \rightarrow {\widetilde{x}}} F(x) = \limsup _{x \rightarrow {\widetilde{x}}} F(x) }\).
Remark 2.2
There is a connection between convergence in the sense of Kuratowski and convergence in the Hausdorff metric, the latter meaning that \(\displaystyle \lim _{n \rightarrow \infty } { \mathrm {haus}(A_n,A)} = 0\) or \(\displaystyle \lim _{x \rightarrow {\widetilde{x}}} { \mathrm {haus}\big ( F(x), A \big )} = 0\), respectively. If the underlying space X is compact, then convergence in the Hausdorff metric and in the sense of Kuratowski are equivalent (see, e.g., [1, Section 4.4]).
3 Local Regularity Measures of Functions with Values in a Metric Space
Here we focus our investigation to local regularity measures of functions defined on a fixed interval \([a,b] \subset {{\mathbb {R}}}\) with values in a complete metric space \((X,\rho )\).
A basic notion in this paper is the modulus-bounding function \(\omega (\delta )\) which is a non-decreasing function \(\omega : [0,\infty ) \rightarrow [0,\infty )\). Frequently we occur the situation when in addition \(\lim \limits _{\delta \rightarrow 0^+} \omega (\delta )=0\), but we do not require this in the definition.
In the analysis of continuity of a function at a point, the notion of the local modulus of continuity is instrumental [34]
To characterize left and right continuity of functions, we introduce the left and the right local moduli of continuity, respectively.
Definition 3.1
The left local modulus of continuity of f at \(x^*\in [a,b]\) is
Similarly, the right local modulus of continuity of f at \(x^* \in [a,b]\) is
Remark 3.2
-
(i)
One can define the one-sided local moduli of continuity analogously to (2), for example, the left local modulus as
$$\begin{aligned} \nu ^{-}(f,x^*,\delta )=\sup \left\{ \rho (f(x_1),f(x_2))\ : \ x_1,x_2\in [x^*-\delta , x^*] \cap [a,b] \right\} ,\quad \delta >0. \end{aligned}$$Yet it is easily seen that this quantity is equivalent to (3), namely
$$\begin{aligned} \omega ^{-}(f,x^*,\delta ) \le \nu ^{-}(f,x^*,\delta ) \le 2\omega ^{-}(f,x^*,\delta ). \end{aligned}$$ -
(ii)
Note that the classical global modulus of continuity \(\displaystyle \omega \big ( {f},{\delta } \big ) = \sup _{x\in [a,b]} \omega \big ( {f},{x},{\delta } \big )\) is subadditive in \(\delta \), while this property is not satisfied by the local moduli.
The following relations hold for \(x^* \in [a,b]\):
In the next proposition we extend some properties known for the local modulus of continuity \(\omega (f,x^*,\delta )\) to the one-sided local moduli. The proof is standard and we omit it.
Proposition 3.3
A function \(f:[a,b]\rightarrow X\) is left continuous at \(x^* \in (a,b]\) if and only if \(\lim \limits _{\delta \rightarrow 0+}\omega ^{-}\big ( {f},{x^*},{\delta } \big )= 0\). The function f is right continuous at \(x^* \in [a,b)\) if and only if \(\lim \limits _{\delta \rightarrow 0+}\omega ^{+}(f,x^*,\delta )=0\).
We recall the notion of the variation of a function \({f:[a,b]\rightarrow X}\). Let \(\chi =\{x_0,\ldots , x_n\} \), \(a=x_0< \cdots <x_n=b\), be a partition of the interval [a, b] with the norm
The variation of f on the partition \(\chi \) is defined as
The total variation of f on [a, b] is
where the supremum is taken over all partitions \(\chi \) of [a, b].
A function f is said to be of bounded variation if \({ V_{a}^{b}(f) < \infty }\). We call functions of bounded variation BV functions and write \(f \in \mathrm {BV}[a,b]\). If f is also continuous, we write \(f\in \mathrm {CBV}[a,b]\).
For \(f \in \mathrm {BV}[a,b]\) the function \(v_f:[a,b]\rightarrow {{\mathbb {R}}}\), \(v_f(x)=V_{a}^{x}(f)\) is called the variation function of f. Note that
and that \(v_f\) is monotone non-decreasing.
Proposition 3.4
For a function \({f:[a,b]\rightarrow X}\), \({f \in \mathrm {BV}[a,b]}\) we have
The proof is straightforward.
The following claim is a slight refinement of Proposition 1.1.1 in [22] and of [26, Chapter 9, Sec. 32, Theorem 3]. Its proof is a minor nodification of the proofs in the above references.
Proposition 3.5
A function \(f:[a,b]\rightarrow X\), \(f \in \mathrm {BV}[a,b]\) is left continuous at \(x^*\in (a,b]\) if and only if \(v_f\) is left continuous at \(x^*\). The function f is right continuous at \(x^* \in [a,b)\) if and only if \(v_f\) is right continuous at \(x^*\).
Analogs of Propositions 3.4 and 3.5 for the two-sided local modulus of continuity are well-known:
Proposition 3.6
For a function \({f:[a,b]\rightarrow X}\), \({f \in \mathrm {BV}[a,b]}\) we have
Moreover, f is continuous at \(x^* \in [a,b]\) if and only if \(v_f\) is continuous at \(x^*\).
The first statement can be proved along the same lines, and the second statement follows immediately from Proposition 3.5.
Remark 3.7
Note that, in general, \(\omega (f,x^*,\delta )\) and \(\omega (v_f, x^*,\delta )\) are not equivalent for \(f \in \mathrm {BV}[a,b]\). As an example, consider \(f(x) = x^2 \sin {\frac{1}{x}} \in \mathrm {BV}[0,1]\) (where we define \(f(0) = 0\) by continuity). It is easy to see that
To estimate the local variation of f, consider the points \(\frac{1}{x_k} = \frac{\pi }{2} + \pi k\), \(k \in {{\mathbb {N}}}\), so that \(\sin { \frac{1}{x_k} } = (-1)^k\). Then
Helly’s Selection Principle (see, e.g. [26, Chapter 6]) will be heavily used in our analysis. We cite a version of it which is relevant to our paper.
Helly’s Selection Principle. Let \(\{f_n\}_{n \in {{\mathbb {N}}}}\) be a sequence of functions \(f_n : [a,b] \rightarrow {{\mathbb {R}}}\), and assume that there are constants \(A,B > 0\) such that \(|f_n(x)| \le A\), \(n \in {{\mathbb {N}}}\), \(x \in [a,b]\) and \(V_a^b(f_n) \le B\), \(n \in {{\mathbb {N}}}\). Then \(\{f_n\}_{n \in {{\mathbb {N}}}}\) contains a subsequence \(\{f_{n_k}\}_{k \in {{\mathbb {N}}}}\) that converges pointwisely to a function \(f^{\infty } : [a,b] \rightarrow {{\mathbb {R}}}\), i.e., \(f^{\infty }(x) = \lim _{k \rightarrow \infty } f_{n_k}(x)\), \(x \in [a,b]\).
In the following statements we consider pointwise limits of sequences of BV functions. We show that the limit function inherits local properties which are shared by the members of the sequence. The first result is known, see e.g. [15, Section 2], and the second one follows from it immediately.
Theorem 3.8
Let \(\{f_n\}_{n=1}^\infty \) be a sequence of functions \(f_n : [a,b]\rightarrow X\) that converges pointwisely to a function \(f^{\infty } : [a,b]\rightarrow X\). Then
In particular, if \(V_{a}^{b}(f_n) \le A\) for all \(n\in {{\mathbb {N}}}\) with some \(A \in {{\mathbb {R}}}\), then
In the next theorem we study sequences of functions which are equicontinuous from the left or from the right at a point.
Theorem 3.9
Let \(x^*\in (a,b]\), and \(\{f_n\}_{n=1}^\infty \) be a sequence of functions \(f_n: [a,b]\rightarrow X\) satisfying \({\omega ^-(f_n, x^*, \delta ) \le \omega (\delta )}\), \(0< \delta \le \delta _0\), \(n\in {{\mathbb {N}}}\), where \(\omega (\delta )\) is a modulus-bounding function. If \(f^\infty = \lim \limits _{n\rightarrow \infty } f_n \) pointwisely on \([x^*-\delta _0, x^*]\cap [a,b]\), then
In particular, if \(\lim \limits _{\delta \rightarrow 0^+} \omega (\delta ) =0\) then \(f^\infty \) is left continuous at \(x^*\).
Proof
Let \(\delta \in (0,\delta _0]\). Fix \(z\in [x^*-\delta , x^*]\cap [a,b]\). By the assumption,
Let \(\varepsilon >0\) be arbitrarily small. There exists \(N(\varepsilon ,z)\) such that
for all \(n \ge N(\varepsilon ,z)\). For such n we have
Since \(\varepsilon > 0\) was taken arbitrarily, it follows that \(\rho (f^\infty (z),f^\infty (x^*)) \le \omega (\delta )\). Thus,
In particular, it follows from Proposition 3.3 that \(f^\infty \) is left continuous at \(x^*\). \(\square \)
An analogous result holds for the right continuity at \(x^*\).
Arguing along the same lines, one can also prove an analogous statement for the two-sided local modulus of continuity.
Theorem 3.10
Let \(x^*\in [a,b]\) and let \(\, \{f_n\}_{n=1}^{\infty }\) be a sequence of functions \(\, f_n : [a,b] \rightarrow X\) satisfying \({\omega (f_n, x^*, \delta ) \le \omega (\delta )}\), \(0< \delta \le \delta _0\), \(n \in {{\mathbb {N}}}\), where \(\omega (\delta )\) is a modulus-bounding function. If \(f^\infty = \lim \limits _{n \rightarrow \infty } f_n \) pointwisely on \([x^*-\frac{\delta _0}{2}, x^*+\frac{\delta _0}{2}]\cap [a,b]\), then
In particular, if \(\lim \limits _{\delta \rightarrow 0^+} \omega (\delta ) =0\) then \(f^\infty \) is continuous at \(x^*\).
As the last statement in this section, we formulate a property similar to Theorem 3.9 for the local moduli of the function \(v_f\).
Proposition 3.11
Let \(x^*\in (a,b]\), and let \(\{f_n\}_{n=1}^\infty \) be a sequence of functions \(f_n: [a,b]\rightarrow X\), \(f_n \in \mathrm {BV}[a,b]\), satisfying \({\omega ^-(v_{f_n}, x^*, \delta ) \le \omega (\delta )}\), \(0< \delta \le \delta _0\), \(n\in {{\mathbb {N}}}\), where \(\omega (\delta )\) is a modulus-bounding function. If \(f^\infty = \lim \limits _{n\rightarrow \infty } f_n \) pointwisely on [a, b], then
In particular, if \(\lim \limits _{\delta \rightarrow 0^+} \omega (\delta ) =0\) then \(v_{f^\infty }\) is left continuous at \(x^*\).
Proof
Let \(x\in [x^*-\delta , x^*] \cap [a,b]\). By Theorem 3.8 and by the monotonicity of the variation function we have
Taking supremum over \(x \in [x^*-\delta , x^*]\cap [a,b]\) we get the first claim. The second claim follows from Proposition 3.3. \(\square \)
Analogous statements hold for the right local modulus of continuity and for the two-sided local modulus of continuity.
4 Multifunctions, Their Chain Functions and Metric Selections
The main object of this paper are set-valued functions (SVFs, multifunctions) mapping [a, b] to \(\mathrm {K}({{{\mathbb {R}}}}^d)\). First we recall some basic notions on such SVFs.
The graph of a multifunction F is the set of points in \({{\mathbb {R}}}^{d+1}\) defined as
It is easy to see that if \(F \in \mathrm {BV}[a,b]\) then \({\mathrm {Graph}}(F)\) is a bounded set and F has a bounded range, namely \(\Vert F\Vert _\infty = \left| \bigcup _{x\in [a,b]} F(x) \right| < \infty \). We denote the class of SVFs of bounded variation with compact graphs by \({\mathcal {F}}[a,b]\).
For a set-valued function \(F : [a,b] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\), a single-valued function \({s:[a,b] \rightarrow {{{\mathbb {R}}}}^d}\) such that \(s(x) \in F(x)\) for all \(x \in [a,b]\) is called a selection of F.
Below we present some definitions and results from [23] that will be used in this paper. In particular, we recall the definitions of chain functions and metric selections.
Given a multifunction \(F: [a,b] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\), a partition \(\chi =\{x_0,\ldots ,x_n\} \subset [a,b]\), \(a=x_0< \cdots < x_n=b\), and a corresponding metric chain \(\phi =(y_0,\ldots ,y_n) \in {\mathrm {CH}}\left( F(x_0),\ldots ,F(x_n) \right) \) (see Definition 2.1), the chain function based on \(\chi \) and \(\phi \) is
Result 4.1
[23] For \(F \in {\mathcal {F}}[a,b]\), all chain functions satisfy \(V_a^b(c_{\chi , \phi }) \le V_a^b(F)\) and \(\Vert c_{\chi , \phi }\Vert _\infty \le \Vert F\Vert _\infty \).
A selection s of F is called a metric selection, if there is a sequence of chain functions \(\{ c_{\chi _k, \phi _k} \}_{k \in {{\mathbb {N}}}}\) of F with \({\lim _{k \rightarrow \infty } |\chi _k| =0}\) such that
We denote the set of all metric selections of F by \({\mathcal {S}}(F)\).
Note that the definitions of chain functions and metric selections imply that a metric selection s of a multifunction F is constant in any open interval where the graph of s stays in the interior of \({\mathrm {Graph}}(F)\).
Result 4.2
[23] Let \(F \in {\mathcal {F}}[a,b]\). Through any point \(\alpha \in {\mathrm {Graph}}(F)\) there exists a metric selection which we denote by \({\,s_\alpha }\). Moreover, F has a representation by metric selections, namely
Result 4.3
[23] Let s be a metric selection of \(F \in {\mathcal {F}}[a,b]\). Then \(V_a^b(s) \le V_a^b(F)\) and \(\Vert s\Vert _\infty \le \Vert F\Vert _\infty \).
The next statements focus on local regularity properties of chain functions and metric selections. They refine results in [22] and [23].
Lemma 4.4
Let \(F\in {\mathcal {F}}[a,b]\) and let \(c_{\chi , \phi }\) be a chain function corresponding to a partition \(\chi \) and a metric chain \(\phi \) as in (6). Then for any \(x^*\in [a,b]\) we have
Proof
The claim holds trivially for \(x^* = a\). So we assume that \(x^* \in (a,b]\). Let \(\chi =\{x_0,\ldots ,x_n\}\), \(a=x_0< \cdots < x_n=b\). We have \(x^*\in [x_k,x_{k+1})\) for some \(0 \le k \le n-1\) or \(x^*=x_n=b\). Take \(z \in [a,b]\) such that \(x^*-\delta \le z \le x^*\). If \(x_k \le z \le x^*\), then \(c_{\chi , \phi }(z) = c_{\chi , \phi }(x^*) = c_{\chi , \phi }(x_k)\), and thus \(|c_{\chi , \phi }(x^*)-c_{\chi , \phi }(z)| = 0\). Otherwise there is \(i< k\) such that \(x_i \le z <x_{i+1}\). By the definitions of the chain function and of the metric chain we get
Using the definitions of the variation of F, of \(v_F\) and of \(\omega ^-\), we continue the estimate:
Taking the supremum over \(z \in [x^*-\delta , x^*]\cap [a,b]\) we obtain the claim of the lemma. \(\square \)
Lemma 4.5
Let \(F\in {\mathcal {F}}[a,b]\) and let \(c_{\chi , \phi }\) be a chain function corresponding to a partition \(\chi \) and a metric chain \(\phi \). Then for any \(x\in [a,b]\) we have
Proof
If \(x^* = b\), then the claim holds trivially. So we assume that \(x^* \in [a,b)\). Let \(x^*\in [x_k,x_{k+1})\) for some \(0 \le k \le n-1\). Take \(z \in [a,b]\) such that \(x^* \le z \le x^*+\delta \). There is \(i\ge k\) such that \(x_i \le z <x_{i+1}\). By the definition of the chain function we get
Using the definitions of the variation of F, of the variation function \(v_F\) and (2), (3), (4), (5), we obtain
The claim of the lemma follows by taking the supremum over \(z \in [x^*, x^*+\delta ]\cap [a,b]\). \(\square \)
Lemma 4.6
Let \(F \in {\mathcal {F}}[a,b]\) and let \(c_{\chi , \phi }\) be a chain function corresponding to a partition \(\chi \) and a metric chain \(\phi \). Then for any \(x^*\in [a,b]\) we have
Proof
Let \(x,z \in [x^*-\delta /2, x^*+\delta /2] \cap [a,b]\), \(x < z\). First assume that \(z \ne x_n\). In this case there exist k, i with \(0 \le k \le i \le n-1\) such that \(x\in [x_k,x_{k+1})\) and \(z \in [x_i,x_{i+1})\). We get
The above inequalities hold also for \(x<z=x_n\). In the case when \(x=z\) this estimate is trivial. Taking the supremum over \(x,z \in [x^*-\delta /2, x^*+\delta /2] \cap [a,b]\) we obtain \( \omega \big ( { c_{\chi , \phi } },{x^*},{\delta } \big )\le \omega \big ( {v_F},{x^*},{\delta + 2|\chi |} \big )\). \(\square \)
Theorem 4.7
Let \(F\in {\mathcal {F}}[a,b]\), s be a metric selection of F and \(x^*\in [a,b]\). Then
In particular, if F is left continuous at \(x^*\), then s is left continuous at \(x^*\).
Proof
Let s be a metric selection of F. Then there exists a sequence of partitions \(\{\chi _n\}_{n \in {{\mathbb {N}}}}\) with \(|\chi _n| \rightarrow 0\), \(n \rightarrow \infty \), and a corresponding sequence of chain functions \(\{c_n\}_{n \in {{\mathbb {N}}}}\) such that \(s(x)=\lim \limits _{n\rightarrow \infty }c_n(x)\) pointwisely for all \(x\in [a,b]\). For n so large that \(|\chi _n|\le \delta \), we get by Lemma 4.4
Theorem 3.9 implies
Moreover, if F is left continuous at \(x^*\) then by Propositions 3.5 and 3.3 we have \(\omega ^{-}(v_F,x^*,2\delta ) \rightarrow 0\) as \(\delta \rightarrow 0\). The latter implies that s is left continuous at \(x^*\). \(\square \)
Using Lemma 4.5 instead of Lemma 4.4 and arguing as above, we obtain
Theorem 4.8
Let \(F\in {\mathcal {F}}[a,b]\), s be a metric selection of F and \(x^*\in [a,b]\). Then
Similarly, Lemma 4.6 and Theorem 3.10 lead to
Theorem 4.9
Let \(F \in {\mathcal {F}}[a,b]\), s be a metric selection of F and \(x^*\in [a,b]\). Then
In particular, if F is continuous at \(x^*\), then s is continuous at \(x^*\).
Remark 4.10
Analysing the proofs, it is not difficult to see that the estimates in Theorems 4.7–4.9 can be improved in the following way
with an arbitrarily small \(\varepsilon >0\). Taking the supremum of the both sides of the last inequality over \(x^* \in [a,b]\) we obtain
If \(F\in \mathrm {CBV}[a,b]\), then \(v_F \in \mathrm {CBV}[a,b]\) and \(\omega (v_F, \delta )\) is continuous in \(\delta \). Taking the limit as \(\varepsilon \rightarrow 0+\) we get
Therefore also \(s\in \mathrm {CBV}[a,b]\).
Lemma 4.11
Let \(F\in {\mathcal {F}}[a,b]\) and let \(c_{\chi , \phi }\) be a chain function corresponding to a partition \(\chi \) and a metric chain \(\phi \). Let \(\delta > 0\) be such that \([a+\delta +|\chi |, b-\delta ] \ne \emptyset \). Then for any \(x\in [a+\delta +|\chi |, b-\delta ]\) we have
Proof
Let \(\chi =\{x_0,\ldots ,x_n\}\), \(a=x_0< \cdots < x_n=b\). By definition, \(\left( c_{\chi , \phi }(x_j),c_{\chi , \phi }(x_{j+1}) \right) \in \Pi \big ( {F(x_j)},{F(x_{j+1})} \big )\), \(j=0,\ldots ,n-1\). Thus, \(V_{x_i}^{x_k}(c_{\chi , \phi })\le V_{x_i}^{x_k}(F)\) for all \(0\le i < k \le n\). If \(x_k \le x-\delta< x+\delta < x_{k+1}\), then \(c_{\chi , \phi }(t) = c_{\chi , \phi }(x_k)\) for all \(t \in [x-\delta , x+ \delta ]\), and therefore \( V_{x-\delta }^{x+\delta }(c_{\chi , \phi })=0 \). In the case when \(x_{i-1} \le x-\delta< x_i< \cdots< x_k \le x+\delta < x_{k+1}\) we have \({c_{\chi , \phi }(x-\delta )=c_{\chi , \phi }(x_{i-1})}\), \({c_{\chi , \phi }(x+\delta )=c_{\chi , \phi }(x_{k})}\). Thus,
For the second inequality, we continue the estimate as follows:
\(\square \)
Theorem 4.12
Let \(F\in {\mathcal {F}}[a,b]\) and let s be a metric selection of F. Then for all small \(\delta > 0\) and all \(x\in [a+2\delta , b-\delta ]\) we have
Proof
Since s is a metric selection, there exists a sequence of partitions \(\{\chi _n \}_{n \in {{\mathbb {N}}}}\) with \(|\chi _n| \rightarrow 0\), \(n \rightarrow \infty \), and a corresponding sequence of chain functions \(\{c_n\}_{n \in {{\mathbb {N}}}}\) such that \(s(x)=\lim \limits _{n\rightarrow \infty }c_n(x)\) pointwisely. Take n so large that \(|\chi _n| < \delta \), then by Lemma 4.11 we have \( { V_{x-\delta }^{x+\delta }(c_n) \le V_{x-\delta -|\chi _n|}^{x+\delta }(F) \le V_{x-2\delta }^{x+\delta }(F) } \). In view of Theorem 3.8 we get \(V_{x-\delta }^{x+\delta }(s) \le V_{x-2\delta }^{x+\delta }(F) \le \omega \left( v_F,x,4\delta \right) \). \(\square \)
The statement of Theorem 4.12 can be improved in the same manner like in Remark 4.10. Namely, the estimate
holds with an arbitrarily small \(\varepsilon > 0\).
The next result was announced in [23, Lemma 3.9] without a detailed proof. Although the result is intuitively clear, its proof is rather complicated. We present the full proof in Appendix A.
Theorem 4.13
For \(F\in {\mathcal {F}}[a,b]\), the pointwise limit of a sequence of metric selections of F is a metric selection of F.
5 Weighted Metric Integral
The well-known Aumann integral [5] of a multifunction F is defined as
Everywhere in this context we understand the integral of a function \(f : [a,b] \rightarrow {{{\mathbb {R}}}}^d\) to be applied to each component of f.
It is known that the Aumann integral is convex for each function \(F \in {\mathcal {F}}[a,b]\), even if the values of F are not convex. Moreover,
where \(A \in \mathrm {K}({{{\mathbb {R}}}}^d)\) and \(w(x) \ge 0\), \(x \in [a,b]\).
The metric integral of SVFs has been introduced in [23]. In contrast to the Aumann integral, the metric integral is free of the undesired effect of the convexification. We recall its definition. First we define the metric Riemann sums. For a multifunction \(F:[a,b] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\) and for a partition \(\chi =\{x_0,\ldots ,x_n\}\), \({a=x_0<x_1<\cdots < x_n=b}\), the metric Riemann sum of F is defined by
Definition 5.1
[23] The metric integral of F is defined as the Kuratowski upper limit of metric Riemann sums corresponding to partitions with norms tending to zero, namely,
The upper limit here is understood in the following sense: \(y \in \limsup _{|\chi | \rightarrow 0} {\scriptstyle ({\mathcal {M}})} S_{\chi } F\) if there is a sequence of partitions \(\{ \chi _n\}_{n \in {{\mathbb {N}}}}\) with \(|\chi _n| \rightarrow 0\), \(n \rightarrow \infty \), and a sequence \(\{y_n\}_{n \in {{\mathbb {N}}}}\) such that \(y_n \in {\scriptstyle ({\mathcal {M}})} S_{\chi _n} F\) and \(y_n \rightarrow y\), \(n \rightarrow \infty \).
It is easy to see that the set \({\scriptstyle ({\mathcal {M}})}\int _{a}^{b}F(x)dx\) is non-empty if F has a bounded range.
The following result from [23] relates the metric integral of \(F\in {\mathcal {F}}[a,b]\) to its metric selections.
Result 5.2
[23] Let \(F \in {\mathcal {F}}[a,b]\). Then \( {\scriptstyle ({\mathcal {M}})}\int _{a}^{b}F(x)dx=\left\{ \int _{a}^{b} {s} (x)dx \ :\ s \in {\mathcal {S}}(F) \right\} . \)
In this section we define an extension of the metric integral, namely, the weighted metric integral.
For a set-valued function \(F:[a,b] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\), a weight function \(k:[a,b] \rightarrow {{\mathbb {R}}}\) and for a partition \(\chi =\{x_0,\ldots ,x_n\}\), \({a=x_0<x_1<\cdots < x_n=b}\), we define the weighted metric Riemann sum of F by
Remark 5.3
The elements of \( {\scriptstyle ({\mathcal {M}}_k)} S_{\chi } F \) are of the form \( \int _{a}^{b} k_\chi (x) c_{\chi ,\phi }(x) dx \), where \(c_{\chi , \phi }\) is a chain function based on the partition \(\chi \) and a metric chain \(\phi = (y_0, \ldots , y_n) \in {\mathrm {CH}}\left( F(x_0), \ldots ,F(x_{n})\right) \), and \(k_\chi \) the piecewise constant function defined by
We define the weighted metric integral of F as the Kuratowski upper limit of weighted metric Riemann sums.
Definition 5.4
The weighted metric integral of F with the weight function k is defined by
The set \({\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\) is non-empty whenever the SVF kF has a bounded range.
Observe that the weighted metric integral of F with the weight k is not the metric integral of the multifunction kF. The difference is that the metric chains in Definition 5.4 are constructed on the base of the function F, and not kF which would be in the latter case.
In the remaining part of this section we extend results obtained for the metric integral in [23] to the weighted metric integral.
Remark 5.5
It is possible to define a “right” weighted metric Riemann sum as
and a corresponding weighted metric integral. For BV functions F and k, this integral is identical with \({\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\). This can be concluded from the following lemma.
Lemma 5.6
Let \(F, k \in \mathrm {BV}[a,b]\). Then
Proof
Fix a partition \(\chi \) and consider a corresponding chain \(\phi =(y_0,\ldots ,y_n)\in {\mathrm {CH}}(F(x_0), \ldots ,F(x_n) ) \). We have
Since
the desired estimate follows. \(\square \)
The next theorem is an extension of Result 5.2 to the weighted metric integral.
Theorem 5.7
Let \(F \in {{\mathcal {F}}}[a,b]\) and \(k \in \mathrm {BV}[a,b]\). Then
Proof
By Result 4.3, every metric selection s of \(F \in {{\mathcal {F}}}[a,b]\) is BV, and thus ks is Riemann integrable. Denote \(I=\left\{ \int _{a}^{b}k(x)s(x)dx \ : s \in {\mathcal {S}}(F) \right\} \).
We first show that \(I \subseteq {\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\). Let s be a metric selection of F. Then s is the pointwise limit of a sequence of chain functions \(\{c_n\}_{n\in {{\mathbb {N}}}}\) corresponding to partitions \(\{\chi _n\}_{n\in {{\mathbb {N}}}}\) with \(\lim _{n \rightarrow \infty } |\chi _n| =0\). Denote \(k_n=k_{\chi _n}\) (see (9)) and \(\sigma _n = \int _a^b k_n(x)c_n(x)dx\). By Remark 5.3, \(\sigma _n \in {\scriptstyle ({\mathcal {M}}_k)} S_{\chi _n} F\).
Clearly, \(\Vert k_n\Vert _\infty \le \Vert k\Vert _\infty \) and \(V_a^b(k_n) \le V_a^b(k)\). By Helly’s Selection Principle there exists a subsequence \(\{k_{n_\ell }\}_{\ell \in {{\mathbb {N}}}}\) that converges pointwisely to a certain function \(k^*\). For simplicity we denote this sequence by \(\{k_n\}_{n \in {{\mathbb {N}}}}\) again. It is easy to see that \(k^*(x)=k(x)\) at all points of continuity of k. Indeed, for a partition \(\chi _n\) there is an index \(i_n\) such that \(x\in [x_{i_n},x_{i_n+1})\), where \(x_{i_n}\) and \(x_{i_n+1}\) are subsequent points in \(\chi _n\). By (9) we get
Thus \(\lim _{n \rightarrow \infty } k_n(x)c_n(x) = k(x)s(x)\) at all points of continuity of k. Note that since k is BV, it has at most countably many points of discontinuity in [a, b]. By Result 4.1 and the Lebesgue Dominated Convergence Theorem we obtain
It remains to show the converse inclusion \({\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\subseteq I\). Let \({\sigma \in {\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx}\). There exists a sequence \(\{\sigma _n\}_{n\in {{\mathbb {N}}}}\), \({ \sigma _n \in {\scriptstyle ({\mathcal {M}}_k)} S_{\chi _n} F }\), such that \({\displaystyle \sigma = \lim _{n\rightarrow \infty } \sigma _n }\). By Remark 5.3 we have \(\sigma _n = \int _{a}^{b}k_n(x)c_n(x)dx\). Applying Helly’s Selection Principle two times consequently, we conclude that there is a subsequence \(\{ k_{n_\ell } \}_{\ell \in {{\mathbb {N}}}}\) that converges pointwisely to a certain function \(k^*\), and then there is a subsequence \(\left\{ c_{n_{\ell _m}} \right\} _{m \in {{\mathbb {N}}}}\) that converges pointwisely to a certain function s. By definition, \(s\in {\mathcal {S}}(F)\). It follows from Result 4.1 and the Lebesgue Dominated Convergence Theorem that
which completes the proof. \(\square \)
Theorem 5.7, (7) and (8) yield the following statement.
Corollary 5.8
Under the assumptions of Theorem 5.7 we have
Moreover,
Corollary 5.8 implies the following “inclusion property” of the weighted metric integral as stated below.
Proposition 5.9
For \(F \in {{\mathcal {F}}}[a,b]\) and \(k \in \mathrm {BV}[a,b]\) we have
Moreover, if \(k(x) \ge 0\) , \(x\in [a,b]\) and \(\int _{a}^{b}k(x)dx \ne 0\) then
Proof
First we prove the left inclusion in (11). If \(\bigcap _{x\in [a,b]}F(x) = \emptyset \) then there is nothing to prove. Suppose \(\bigcap _{x\in [a,b]}F(x) \ne \emptyset \). Let \( p \in \bigcap _{x\in [a,b]}F(x)\). Then \(s(x)\equiv p\), \(x\in [a,b]\), is a metric selection of F, since for any partition \(\chi \) the function \(c_{\chi ,\phi }(x) \equiv p\) is a chain function corresponding to the chain \(\phi =(p,\ldots ,p)\). Therefore,
To show the right inclusion in (11), we use (10) and (8) and write
In the case when \(k(x) \ge 0\) and \(\int _{a}^{b}k(x)dx \ne 0\), the left inclusion in (12) follows directly from (11). To prove the right inclusion in (12), we start with (10). Denoting \(R=\bigcup _{x\in [a,b]} F(x) \in \mathrm {K}({{{\mathbb {R}}}}^d)\) we get in view of the second property in (8)
and the right inclusion follows. \(\square \)
Note that the middle set in (12) is a weighted average of F(x) on [a, b]. Proposition 5.9 says that it contains the intersection of the sets \(\{F(x)\}_{x\in [a,b]}\) and is contained in the convex hull of their union.
Proposition 5.10
Let \(F \in {{\mathcal {F}}}[a,b]\) and \(k \in \mathrm {BV}[a,b]\). The set \({\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\) is compact.
Proof
Since F and k are both bounded, the set \({\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\) is bounded. To prove the proposition, it suffices to show that it is closed. Consider a convergent sequence \(\{v_n\}_{n \in {{\mathbb {N}}}} \subset {\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\). Let \(\displaystyle \ v=\lim _{ n \rightarrow \infty }v_n \). By Theorem 5.7 we have \(v_n=\int _{a}^{b}k(x)s_n(x)dx\) for some \(s_n \in {\mathcal {S}}(F)\). The sequence \(\{s_n\}_{n\in {{\mathbb {N}}}}\) is uniformly bounded and of uniformly bounded variation. By Helly’s Selection Principle there exists a subsequence \(\{s_{n_\ell }\}_{\ell \in {{\mathbb {N}}}}\) which converges pointwisely to a certain function \(s^\infty \) as \(\ell \rightarrow \infty \). By Theorem 4.13, \(s^\infty \) is a metric selection. Clearly, \(\lim _{\ell \rightarrow \infty } k(x)s_{n_\ell }(x) = k(x)s^\infty (x)\) pointwisely. Applying the Lebesgue Dominated Convergence Theorem we get
and thus \(v \in {\scriptstyle ({\mathcal {M}}_{k})}\int _{a}^{b}k(x)F(x)dx\). \(\square \)
6 The Metric Fourier Approximation of SVFs of Bounded Variation
6.1 On Fourier Approximation of Real-Valued Functions of Bounded Variation
First we present the classical material relevant to our study of SVFs.
For a \(2\pi \)-periodic real-valued function \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) which is integrable over the period, its Fourier series is
where
Following the classical theory of Fourier series, we introduce the Dirichlet kernel (see e.g. [39, Chapter II])
For the partial sums of the Fourier series one has the well-known representation
where \(\partial _{n,x}(t) = D_n(x-t)\).
A basic result on the convergence of Fourier series of real-valued functions of bounded variation is the Dirichlet-Jordan Theorem (e.g., [39, Chapter II, (8.1) Theorem]).
Dirichlet-Jordan Theorem. Let \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) be a \(2\pi \) -periodic function of bounded variation on \([-\pi ,\pi ]\). Then at every point x
In particular, \({\mathscr {S}}_nf\) converges to f at every point of continuity of f. If f is continuous at every point of a closed interval I, then the convergence is uniform in I.
Following [39, Chapter II], we introduce the so-called modified Dirichlet kernel
and the modified Fourier sum
Clearly,
and
We also need the next result that follows immediately from [39, Chapter II, (4.12) Theorem].
Lemma 6.1
Let \(f \in \mathrm {BV}[-\pi ,\pi ]\). Then its Fourier coefficients (13) satisfy the estimate
A further property of the kernel \(D^*_n\) which can be found in [39, Chapter II, (8.2) Lemma] is
Lemma 6.2
There is a constant \(C > 0\) such that for all \(\xi \in [0,\pi ]\) and all \(n \in {{\mathbb {N}}}\)
Remark 6.3
Analyzing the proof of this statement in [39, Chapter II, (8.2) Lemma], one can see that one can take \(C =2 \), i.e.
6.2 Local Quasi-Moduli and Error Bounds for Fourier Approximation of Real-Valued BV Functions
It is known that functions of bounded variation with values in an arbitrary complete metric space \((X,\rho )\) are not necessarily continuous, but have right and left limits at any point [15]. To study such functions we introduce the left and right local quasi-moduli for discontinuous functions of bounded variation.
Definition 6.4
For a function \(f : [a,b] \rightarrow X\) of bounded variation and \(x^* \in (a,b]\) we define the left local quasi-modulus
and for \(x^* \in [a,b)\) the right local quasi-modulus
where \(\displaystyle f(x-0) = \lim _{ t \rightarrow x-0 }f(t)\), \(\displaystyle f(x+0) = \lim _{ t \rightarrow x+0 }f(t)\).
The facts given in the following remark are direct consequences of the above definitions.
Remark 6.5
Let \(f : [a,b] \rightarrow X\) be a BV function and \(x^* \in (a,b]\) for the left modulus or \(x^* \in [a,b)\) for the right modulus, respectively.
-
(i)
If f is monotone then
$$\begin{aligned}&\varpi ^{-}\big ( {f},{x^*},{\delta } \big ) = \rho (f(x^*-0), f(x^* - \delta )),\\&\varpi ^{+}\big ( {f},{x^*},{\delta } \big ) = \rho (f(x^*+\delta ),f(x^* + 0)).\end{aligned}$$ -
(ii)
Although at a point of discontinuity \(x^*\) at least one of the local moduli \(\omega ^{-}\big ( {f},{x^*},{\delta } \big )\), \(\omega ^{+}\big ( {f},{x^*},{\delta } \big )\) does not tend to zero as \(\delta \) tends to zero, for the local quasi-moduli we always have
$$\begin{aligned} \lim _{ \delta \rightarrow 0^+ } \varpi ^{-}\big ( {f},{x^*},{\delta } \big )=0, \quad \lim _{ \delta \rightarrow 0^+ } \varpi ^{+}\big ( {f},{x^*},{\delta } \big ) =0. \end{aligned}$$ -
(iii)
The left local quasi-modulus of f at a point \(x^* \in (a,b]\) coincides with the left local modulus (3) of the function
$$\begin{aligned} {\widetilde{f}}(x) = {\left\{ \begin{array}{ll} f(x), &{} x \ne x^*,\\ f(x^*-0), &{} x = x^*. \end{array}\right. } \end{aligned}$$An analogous relation holds for the right local quasi-modulus. Clearly, at a point of continuity of f the one sided local quasi-moduli and the one-sided local moduli of Sect. 3 coincide.
In the next two lemmas we derive results similar to those in Sect. 4 for the local one-sided moduli.
Lemma 6.6
Let \(F \in {\mathcal {F}}[a,b]\), \(x^* \in (a,b]\) and \(c_{\chi ,\phi }\) be a chain function corresponding to a partition \(\chi \) and a metric chain \(\phi \). Then
Proof
We estimate \(\, \varpi ^{-}\big ( {v_{c_{\chi ,\phi }}},{x^*},{\delta } \big ) = v_{c_{\chi ,\phi }}(x^*-0) - v_{c_{\chi ,\phi }}(x^* - \delta )\). Let \({\chi = \{ a=x_0< x_1< \cdots < x_m=b\}}\). If \({x^* \not \in \chi }\), then \(x^* \in (x_{k-1},x_{k})\) with some \(1 \le k \le m\). If \(x^* \in \chi \), then \(x^* = x_k\) for some \(1 \le k \le m\). In both cases \(c_{\chi ,\phi }(x) = c_{\chi ,\phi }(x_{k-1})\) for \(x_{k-1} \le x < x^*\), so that \(c_{\chi ,\phi }(x^*-0) = c_{\chi ,\phi }(x_{k-1})\). If \(x_{k-1} \le x^* - \delta < x^*\), then \(c_{\chi ,\phi }(x^* - \delta ) = c_{\chi ,\phi }(x_{k-1})\) and \(v_{c_{\chi ,\phi }}(x^*-0) - v_{c_{\chi ,\phi }}(x^* - \delta ) = 0\). Otherwise there is \(0 \le i < k-1\) such that \(x_i \le x^* - \delta < x_{i+1}\) and \(c_{\chi ,\phi }(x^* - \delta ) = c_{\chi ,\phi }(x_{i})\). By the definitions of the metric chain and of the chain function we have
and we obtain the claim. \(\square \)
Lemma 6.7
Let \(F \in {\mathcal {F}}[a,b]\), \(x^* \in (a,b]\) and \(s \in {\mathcal {S}}(F)\). Then
Proof
Let \(s \in {\mathcal {S}}(F)\) and \(\delta > 0\). There exists a sequence of chain functions \(\{c_n\}_{n \in {{\mathbb {N}}}}\) that corresponds to a sequence of partitions \(\{\chi _n\}_{n \in {{\mathbb {N}}}}\) with \(|\chi _n| \rightarrow 0\) as \(n \rightarrow \infty \) such that \(s(x) = \lim _{n \rightarrow \infty }{c_n(x)}\), \(x \in [a,b]\). Take \(N \in {{\mathbb {N}}}\) so large that \(|\chi _n| < \delta \) for all \(n \ge N\).
We estimate \(\varpi ^{-}\big ( {v_s},{x^*},{\delta } \big ) = v_s(x^* - 0) - v_s(x^* - \delta )\). Take \(0< t < \delta \). For each \(n \ge N\) we have by Lemma 6.6
By Theorem 3.8 we have
Taking the limit as \(t \rightarrow 0+\) we obtain the claim. \(\square \)
Note that we cannot expect a bound for \(\varpi ^{+}\big ( {v_{c_{\chi ,\phi }}},{x^*},{\delta } \big )\) in terms of \(\big ({v_F}{x^*}{\delta + \varepsilon }\big )\). The reason is that in the definition of the chain function we use values on the left of a point \(x^*\) that we cannot control by \(\varpi ^{+}\big ( {v_F},{x^*},{\delta } \big )\). However, the following estimates hold true for a metric selection s.
Lemma 6.8
Let \(F \in {\mathcal {F}}[a,b]\), \(x^* \in [a,b)\) and \(s \in {\mathcal {S}}(F)\). Then
Proof
Let \(s \in {\mathcal {S}}(F)\) and \(\delta > 0\). Let \(\{c_n\}_{n \in {{\mathbb {N}}}}\) be a sequence of chain functions like in the proof of Lemma 6.7. We estimate \( \varpi ^{+}\big ( {v_s},{x^*},{\delta } \big ) = v_{s}(x^* + \delta ) - v_{s}(x^* + 0)\). Take \(0< t <\delta \). There is \(N \in {{\mathbb {N}}}\) such that \(|\chi _n| < t\) for all \(n \ge N\). Then the interval \((x^*, x^* + t)\) contains at least one point of the partition \(\chi _n\), \(n \ge N\). Let \(\chi _n = \{ a=x_0^n< x_1^n< \cdots < x_{m(n)}^n=b\}\). There is \(0 \le k(n) \le m(n)-1\) such that \(x^* + t \in [x_{k(n)}^n,x_{k(n)+1}^n)\). It holds \(x_{k(n)}^n > x^*\).
If \(x^* + \delta \in [x_{k(n)}^n,x_{k(n)+1}^n)\), then \(c_n(x^* + t) = c_n(x^* + \delta ) = c_n(x_{k(n)}^n)\), so that \(v_{c_n}(x^* + \delta ) - v_{c_n}(x^* + t) = 0\). Otherwise there is \(k(n) < i(n) \le m(n)-1\) such that \(x^* + \delta \in [x_{i(n)}^n, x_{i(n)+1}^n)\), or \(x^* + \delta = b = x_{m(n)}^n\) so that \(i(n) = m(n)\). In both cases \(c_n(x^* + \delta ) = c_n(x_{i(n)}^n)\). Therefore,
for each \(n \ge N\). By Theorem 3.8 we have
Taking the limit as \(t \rightarrow 0+\) we obtain the claim. \(\square \)
In the next definition we introduce several classes of periodic vector-valued functions.
Definition 6.9
Given \(B > 0\), a point \(x \in {{\mathbb {R}}}\), a closed interval \(I \subset {{\mathbb {R}}}\) and a modulus-bounding function \(\omega \), we define the following classes of functions.
-
(i)
\({\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{x},{\omega } \big )\) is the class of all \(2\pi \)-periodic functions \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}^d\) satisfying
$$\begin{aligned} V_{-\pi }^{\pi }(f) \le B \quad \text{ and } \quad \varpi ^{-}\big ( {v_f},{x},{\delta } \big ) \le \omega (\delta ), \quad \varpi ^{+}\big ( {v_f},{x},{\delta } \big ) \le \omega (\delta ) \end{aligned}$$for all \(0< \delta \le \pi \).
-
(ii)
\({\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{I},{\omega } \big ) = {\displaystyle \bigcap _{z\in I}{\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{z},{\omega } \big )} \).
-
(iii)
\({\mathscr {C}}{\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{I},{\omega } \big ) = {\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{I},{\omega } \big ) \cap {{\mathcal {C}}}_d(I) \), where \({{\mathcal {C}}}_d(I)\) is the class of functions \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}^d\) which are continuous on I.
Remark 6.10
It is easy to conclude from the equivalence of norms on \({{{\mathbb {R}}}}^d\) that if \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}^d\), \(f = \begin{pmatrix} f_1 \\ \vdots \\ f_d \end{pmatrix}\), and \(f \in {\mathscr {B}}{\mathscr {V}}_{d}\big ( {B},{x},{\omega } \big )\), then \(f_j \in {\mathscr {B}}{\mathscr {V}}_{1}\big ( {KB},{x},{K\omega } \big )\), \(j = 1, \ldots , d\), with a constant \(K > 0\) depending only on the underlying norm on \({{{\mathbb {R}}}}^d\).
In view of Remark 6.10 we formulate the subsequent results only for functions \(f : {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\).
The theorem below is an extension of the Dirichlet-Jordan Theorem for the class \({\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{x},{\omega } \big )\). To establish the result, we carefully go through the proof of the Dirchlet-Jordan Theorem in [39, Chapter II] and examine the estimates. The proof is given in Appendix B.
Theorem 6.11
Let \(B > 0\), \(x \in {{\mathbb {R}}}\) and \(\omega \) be a modulus-bounding function. Then for all \(f \in {\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{x},{\omega } \big )\) and each \(\delta \in (0,\pi ]\) we have
where C is the constant from Lemma 6.2.
In view of Remark 6.3 one can take \(C=2\) in (19).
The next corollary follows from the above theorem.
Corollary 6.12
Let \(B > 0\), \(x \in {{\mathbb {R}}}\) and \(\omega \) be a modulus-bounding function satisfying \(\lim _{ \delta \rightarrow 0^+ }\omega (\delta )=0\). Then
Proof
Take an arbitrary \(\varepsilon >0\). Fix \(\delta >0\) such that \(\omega (\delta )<\frac{\varepsilon }{16C}\). Choose n large enough such that \({\frac{2B}{\pi n} \left( 1+6\cot \left( \frac{\delta }{2} \right) \right) < \frac{\varepsilon }{2} }\). Then by (19) we have
for all \(f \in {\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{x},{\omega } \big )\), and the statement follows. \(\square \)
For \( f \in {\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{I},{\omega } \big )\) the estimate in the right-hand side of (19) does not depend on \(x \in I\). We arrive at the following statement.
Corollary 6.13
Let \(B > 0\), \(I \subset {{\mathbb {R}}}\) be a closed interval and \(\omega \) be a modulus-bounding function satisfying \({\lim _{\delta \rightarrow 0+}{\omega (\delta )} = 0}\). Then
Finally, if f is in addition continuous in I then the Fourier series of f converges to f on I, and the statement above takes the following form.
Corollary 6.14
Under the assumptions of Corollary 6.13 we have
6.3 Extension to SVFs
We define the Fourier series of set-valued functions via the integral representation (14) using the weighted metric integral.
Definition 6.15
Let \(F:[-\pi ,\pi ] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\). The metric Fourier series of F is the sequence of the set-valued functions \(\{{\mathscr {S}}_nF\}_{n \in {{\mathbb {N}}}}\), where \({\mathscr {S}}_nF \) is a SVF defined by
whenever the integrals above exist.
For \(F \in {\mathcal {F}}[-\pi ,\pi ]\) the integrals in Definition 6.15 exist. Moreover, each \(\partial _{n,x} = D_n(x - \cdot )\) for fixed \(n \in {{\mathbb {N}}}\) and \({x \in {{\mathbb {R}}}}\) is of bounded variation on each finite interval. Hence, if \(F \in {\mathcal {F}}[-\pi ,\pi ]\), then the set-valued functions \({{\mathscr {S}}_nF}\) have compact images by Proposition 5.10. By Theorem 5.7 we have
Note that we do not expect metric selections s in this definition to be periodic. In fact, even if the set-valued function F itself is periodic, it can have metric selections that are not periodic (see Fig. 1).
For \(F \in {\mathcal {F}}[-\pi ,\pi ]\) and \(x \in (-\pi ,\pi )\) we define
We show that this is the limit set of the Fourier approximants.
Proposition 6.16
Let \(F \in {\mathcal {F}}[-\pi ,\pi ]\) and \(x \in (-\pi ,\pi )\). Then there exists \(\delta _0=\delta _0(x) > 0\) such that for all \(\delta \in (0,\delta _0] \) and \(n \in {{\mathbb {N}}}\) the following estimate holds
where \(\omega (\delta )=\max \big \{\varpi ^{-}\big ( {v_F},{x},{2\delta } \big ) , \varpi ^{+}\big ( {v_F},{x},{\delta } \big ) \big \}\) and \(K > 0\) is a constant that depends only on the underlying norm in the space \({{\mathbb {R}}}^d\).
Proof
First we observe that \(\omega (\delta )\) is a modulus-bounding function by its definition.
Indeed, for any \(y \in {\mathscr {S}}_nF(x)\) and for any selection \(s \in {\mathcal {S}}(F)\) with \(y={\mathscr {S}}_ns(x)\), the following holds: \( \left| y - \frac{1}{2} \left( s(x+0) + s(x-0) \right) \right| \ge \mathrm {dist}(y, A_ F(x)). \) Similarly, for any \(z \in A_ F(x)\) and for any \(s \in {\mathcal {S}}(F)\) such that \(z= \frac{1}{2} \left( s(x+0) + s(x-0) \right) \) we have \(\left| z - {\mathscr {S}}_ns(x) \right| \ge \mathrm {dist}(z, {\mathscr {S}}_nF(x) )\). The last two inequalities, in view of (1), imply (23).
Let \(s \in {\mathcal {S}}(F)\), and let \({\tilde{s}}\) be the \(2\pi \)-periodic function that coincides with s on \([-\pi ,\pi )\). Clearly, \({\mathscr {S}}_n s = {\mathscr {S}}_n {\tilde{s}}\). By Result 4.3 we have \(V_{-\pi }^{\pi }( {\tilde{s}} ) \le 2 V_{-\pi }^{\pi } (F)\); the factor 2 here comes because of a possible jump at the point \(\pi \). Since x lies in the open interval \((-\pi ,\pi )\), there exists \(\delta _0 > 0\) such that \([x- \delta _0, x + \delta _0] \subset (-\pi ,\pi )\) and therefore \({\tilde{s}}\) coincides with s in the interval \([x- \delta _0, x + \delta _0]\). Thus by Lemmas 6.7 and 6.8
For \(\delta > \delta _0\), we redefine \(\omega (\delta )\) in a non-decreasing way so that the estimates \(\varpi ^{-}\big ( {v_{{\tilde{s}}}},{x},{\delta } \big ) \le \omega (\delta )\), \(\varpi ^{+}\big ( {v_{{\tilde{s}}}},{x},{\delta } \big ) \le \omega (\delta )\) hold for all \(\delta \in (0,\pi ]\). We achieve it by putting \(\omega (\delta ) = 2 V_{-\pi }^{\pi }(F)\) for \(\delta _0 < \delta \le \pi \).
By Remark 6.10, there exist a constant \(K_1 > 0\) such that for each metric selection \(s \in {\mathcal {S}}(F)\), each coordinate of its \(2\pi \)-periodization \({\tilde{s}}_j\), \(j = 1, \ldots , d\), lies in the class \({\mathscr {B}}{\mathscr {V}}_{1}\big ( {2 K_1 V_{-\pi }^{\pi } (F)},{x},{ K_1\omega } \big )\). Applying Theorem 6.11 to all \({\tilde{s}}_j\), \(j = 1, \ldots , d\), we obtain for each \(s\in {\mathcal {S}}(F)\)
where the constant \(K_2 > 0\) depends only on the underlying norm in \({{\mathbb {R}}}^d\). In view of (23) the claim follows with \(K= 2K_1 K_2 \max \{\frac{1}{\pi }, 4C\}\), where C is defined in (18).
\(\square \)
The next two theorems are the main results of the paper.
Theorem 6.17
Let \(F \in {\mathcal {F}}[-\pi ,\pi ]\) and \(x \in (-\pi ,\pi )\). Then
Proof
Let \(\omega (\delta )=\max \big \{\varpi ^{-}\big ( {v_F},{x},{2\delta } \big ) , \varpi ^{+}\big ( {v_F},{x},{\delta } \big ) \big \}\). By Remark 6.5(ii), \(\omega (\delta ) \rightarrow 0\) as \(\delta \rightarrow 0+\). To prove (24), take an arbitrary \(\varepsilon > 0\) and choose in (22) first \(\delta \in (0, \delta _0(x)]\) so small that \(K \omega (\delta ) < \frac{\varepsilon }{2}\). Then by choosing n so large that \(K V_{-\pi }^{\pi } (F) \frac{1}{n} \left( 1+6\cot \left( \frac{\delta }{2} \right) \right) < \frac{\varepsilon }{2}\) we complete the proof. \(\square \)
In case F is continuous, its Fourier series converges to F in the Hausdorff metric. Namely, the following holds true.
Theorem 6.18
Let \(F \in {\mathcal {F}}[-\pi ,\pi ]\) and let F be continuous at \(x \in (-\pi ,\pi )\). Then
If F is continuous in a closed interval \(I \subset (-\pi ,\pi )\), then the convergence is uniform in I.
Proof
The first statement of the above theorem is an immediate consequence of Theorem 6.17. For the second statement note that there exists \(\delta _0 > 0\) such that \([x-\delta _0,x+\delta _0] \subset (-\pi ,\pi )\) for all \(x \in I\). Defining \(\omega (\delta )\) as in the proof of Proposition 6.16 and applying Corollary 6.13, we obtain the result. \(\square \)
7 On the Limit Set of the Fourier Approximants
In the previous section we proved that the sequence \(\{ {\mathscr {S}}_nF(x)\}_{n \in {{\mathbb {N}}}} \) converges at a point x where F is discontinuous to the set \(A_F(x) = \left\{ \frac{1}{2} \left( s(x+0) + s(x-0) \right) \ : \ s \in {\mathcal {S}}(F) \right\} \). An interesting question is to describe the set \(A_F(x)\) in terms of the values of F. At the moment we do not have a satisfactory answer to this question.
The two statements below give some idea about the structure of a set-valued function F and its metric selections at a point x where F is discontinuous.
Proposition 7.1
For \(F\in {\mathcal {F}}[a,b]\) and \(x \in (a,b)\) we have \(F(x-0) \cup F(x+0) \subseteq F(x)\).
Proof
We show that \(F(x-0) \subseteq F(x)\), the proof for \(F(x+0)\) is similar.
Since F is bounded, we can restrict our consideration to a bounded region of \({{\mathbb {R}}}^d\), so that the convergence in the Hausdorff metric is equivalent to the convergence in the sense of Kuratowski (see Remark 2.2).
Consider \(y \in F(x-0)\). Take an arbitrary sequence \(\{x_n\}_{n \in {{\mathbb {N}}}}\) with \(x_n < x\), \(n \in {{\mathbb {N}}}\), and \(x_n \rightarrow x\), \(n \rightarrow \infty \). Since \(F(x-0)\) coincides with the lower Kuratowski limit \(\liminf _{t \rightarrow x-0}{F(t)}\), for each n there exists \(y_n \in F(x_n)\) such that \(y_n \rightarrow y\), \(n \rightarrow \infty \). We have \((x_n,y_n) \in {\mathrm {Graph}}{(F)}\) for each \(n \in {{\mathbb {N}}}\) and \((x_n,y_n) \rightarrow (x,y)\), \(n \rightarrow \infty \). Since \({\mathrm {Graph}}{(F)}\) is closed, it follows that \((x,y) \in {\mathrm {Graph}}{(F)}\), and thus \(y \in F(x)\). This implies that \(F(x-0) \subseteq F(x)\). \(\square \)
Proposition 7.2
For \(F \in {\mathcal {F}}[a,b]\)
Proof
We prove the first claim, the proof of the second one is similar.
Fix \(x\in (a,b]\). The inclusion \(\{ s(x-0) \ :\ s\in {\mathcal {S}}(F)\} \subseteq F(x-0)\) follows from the fact that \(F(x-0)\) coincides with the Kuratowski upper limit \(\limsup _{t \rightarrow x-0}{F(t)}\) (see Remark 2.2). It remains to show \(F(x-0) \subseteq \{s(x-0) \ :\ s\in {\mathcal {S}}(F)\} \). Define a multifunction \({{\widetilde{F}}}: [a,b] \rightarrow \mathrm {K}({{{\mathbb {R}}}}^d)\) by
Clearly, \({{\widetilde{F}}}\) is left continuous at x and \({{\widetilde{F}}} \in {\mathcal {F}}[a,b]\). By Result 4.2\({{\widetilde{F}}}\) has a representation by its metric selection. By Proposition 7.1\({{\widetilde{F}}}(x) \subseteq F(x)\), and thus \({\mathcal {S}}({{\widetilde{F}}}) \subseteq {\mathcal {S}}(F)\).
Now, let \(y \in F(x-0) = {{\widetilde{F}}}(x) \subseteq F(x)\). There exists a selection \(s\in {\mathcal {S}}({{\widetilde{F}}}) \subseteq {\mathcal {S}}( F)\) such that \(y=s(x)\). Since \({{\widetilde{F}}}\) is left continuous at x, by Theorem 4.7s is also left continuous at x. Thus, \({y = s(x) = s(x-0) \in \{s(x-0) \ :\ s\in {\mathcal {S}}(F)\} }\). \(\square \)
In view of the last proposition and by the definition of \(A_F(x)\) (see (21)), we conclude
where the right-hand side is the Minkowski average which might be much larger than \(A_F(x)\).
One could conjecture that \(A_F(x)\) coincides with the metric average of \(F(x-0)\) and \(F(x+0)\), namely
where
It is easy to see that a sufficient condition for the inclusion
is the property
for any \(s\in {\mathcal {S}}(F)\). However, (26) is not always true. The next example provides a counterexample to both (26) and (25).
Example 7.3
Let \(B(x_1,x_2)\) denote the closed disc of radius 1 with center at the point \((x_1,x_2)\), and let \(x\in (-\pi ,\pi )\). Consider the function \(F: [-\pi ,\pi ] \rightarrow {\mathrm {K}({{\mathbb {R}}}^2)}\), \(F \in {\mathcal {F}}[-\pi ,\pi ]\), defined by
and its metric selection
First we show that (26) does not hold. It is easy to see that \(s(x-0) = (-2 + \frac{\sqrt{2}}{2}, 2 - \frac{\sqrt{2}}{2}) = \Pi _{F(x-0)}((0,0))\) is the projection of \({(0,0) \in F(x)}\) on \({F(x-0)}\), and \({s(x+0) = (2 - \frac{\sqrt{2}}{2}, 2 - \frac{\sqrt{2}}{2}) = \Pi _{F(x+0)}((0,0))}\) is the projection of (0, 0) on \({F(x+0)}\). On the other hand, the pair \(\big ( s(x-0) , s(x+0) \big )\) is not a metric pair of \((F(x-0),F(x+0))\) since the line connecting the points \(s(x-0)\) and \(s(x+0)\) does not pass through any of the centers of the two discs. By similar geometric arguments one can show that \({\frac{1}{2} ( s(x-0) + s(x + 0)) = (0, 2 - \frac{\sqrt{2}}{2}) \in A_F(x)}\), but does not belong to \({\frac{1}{2} F(x-0) \oplus \frac{1}{2} F(x+0)}\).
Note that in this example \(F(x-0)\cup F(x+0) \ne F(x)\), and that the selection s for which (26) does not hold satisfies \(s(x) \notin F(x-0)\cup F(x+0)\).
Also the reverse inclusion to (25), \(A_F(x) \supseteq \frac{1}{2} F(x-0) \oplus \frac{1}{2} F(x+0)\), does not hold in general. The next example demonstrates this.
Example 7.4
Consider the set-valued function \(F: [-\pi ,\pi ] \rightarrow \mathrm {K}({{\mathbb {R}}})\) defined by
where \(x \in (-\pi ,\pi )\). We have \(F(x-0) = \left\{ -\frac{1}{4}, 0, \frac{1}{4} \right\} \), \(F(x+0) = \{-1, 1 \}\), and their metric average is \(\frac{1}{2} F(x-0) \oplus \frac{1}{2} F(x+0) = \left\{ -\frac{5}{8}, -\frac{1}{2}, \frac{1}{2}, \frac{5}{8} \right\} \). We show that \(\frac{1}{2} \in \frac{1}{2} F(x-0) \oplus \frac{1}{2} F(x+0)\) does not belong to \(A_F(x)\), i.e., there is no metric selection s of F such that
Indeed, if (27) is fulfilled for a selection \({\hat{s}}\) of F, then for this selection we necessarily have \({\hat{s}}(t) = 0\) for \(t \in [-\pi ,x)\) and \({\hat{s}}(t) = 1 + t - x\) for \(t \in (x,\pi ]\) (with an arbitrary choice of the value \(s(x) \in F(x)\)). But such \({\hat{s}}\) cannot be a metric selection, because there are no chain functions that would lead to such a selection. The only chain functions which might converge to \({\hat{s}}\) are constant with the value 0 on the left of x and piecewise constant functions with values sampled from \(1 + t -x\) on the right of x, possibly except for the interval between two neighboring points of the partition that contains the point x.
But no chain function can take the value 0 on the left of x and the value \({1 + t -x}\) on the right of x. Indeed, if x is not a point of the partition, then this is impossible because the closest point to 0 in the set \({F(t) = \left\{ -1 + t - x\, ,\, 1 + t - x \right\} }\), \(t > x\), is \( -1 + t - x\) and not \( 1 + t - x\), and the closest point to \(1 + t -x\) in the set \(F(t) = \left\{ -\frac{1}{4}, 0, \frac{1}{4} \right\} \), \(t < x\), is \(\frac{1}{4}\) and not 0. If x is a point of the partition, then the value of a chain function at x is one of the five values from \({F(x) = \left\{ -1, -\frac{1}{4}, 0, \frac{1}{4}, 1 \right\} }\). The choices 0 and 1 are impossible because of the reasons explained above. But also the other three choices are impossible, since the pointwise limit of the chain functions would not be equal to 0 on the left of x.
Yet, the conjecture \(A_F(x)=\frac{1}{2} F(x-0) \oplus \frac{1}{2} F(x+0)\) or a weaker form of it might be true for functions F from a certain subclass of \({\mathcal {F}}[a,b]\).
References
Ambrosio, L., Tilli, P.: Topics on Analysis in Metric Spaces. Oxford University Press, Oxford (2004)
Anastassiou, G.A.: Fuzzy Mathematics: Approximation Theory. Springer, Berlin (2010)
Artstein, Z.: Piecewise linear approximations of set-valued maps. J. Approx. Theory 56, 41–47 (1989)
Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser Boston Inc., Boston (1990)
Aumann, R.J.: Integrals of set-valued functions. J. Math. Anal. Appl. 12, 1–12 (1965)
Babenko, V.F., Babenko, V.V., Polishchuk, M.V.: Approximation of some classes of set-valued periodic functions by generalized trigonometric polynomials. Ukrainian Math. J. 68(4), 502–514 (2016)
Baier, R.: Mengenwertige Integration und die diskrete Approximation erreichbarer Mengen (German) [Set-valued integration and the discrete approximation of attainable sets], Dissertation, Universität Bayreuth. Bayreuth. Math. Schr. No. 50 (1995)
Baier, R., Farkhi, E.: Regularity and integration of set-valued maps represented by generalized Steiner points. Set-Valued Anal. 15(2), 185–207 (2007)
Baier, R., Lempio, F.: Computing Aumann’s integral, In: Modeling techniques for uncertain systems (Sopron, 1992), Progr. Systems Control Theory, 18, Birkhäuser Boston, Boston, MA, 1994, 71–92
Baier, R., Lempio, F.: Approximating reachable sets by extrapolation methods. In: Peters, A.K. (Eds.), Curves and surfaces in geometric design (Chamonix-Mont-Blanc, 1993), Wellesley, MA, 1994, 9–18
Baier, R., Perria, G.: Set-valued Hermite interpolation. J. Approx. Theory 163, 1349–1372 (2011)
Bede, B., Iovane, G., Esposito, I.: Fuzzy Fourier transforms and their application to fingerprint identification. J. Discrete Math. Sci. Cryptogr. 8(1), 59–79 (2005)
Berdysheva, E.E., Dyn, N., Farkhi, E., Mokhov, A.: Metric approximation of set-valued functions of bounded variation. J. Comput. Appl. Math. 349, 251–264 (2019)
Campiti, M.: Korovkin-type approximation in spaces of vector-valued and set-valued functions. Appl. Anal. 98, 2486–2496 (2019)
Chistyakov, V.V.: On mappings of bounded variation. J. Dyn. Control Syst. 3, 261–289 (1997)
Dontchev, A.L., Farkhi, E.M.: An averaged modulus of continuity for multivalued maps and its applications to differential inclusions, In: Constructive theory of functions (Varna, 1987), Publ. House Bulgar. Acad. Sci., Sofia, pp. 127–131 (1988)
Donchev, T., Farkhi, E.: Moduli of smoothness of vector valued functions of a real variable and applications. Numer. Funct. Anal. Optim. 11, 497–509 (1990)
Dyn, N., Farkhi, E.: Spline subdivision schemes for convex compact sets. J. Comput. Appl. Math. 119(1–2), 133–144 (2000)
Dyn, N., Farkhi, E.: Spline subdivision schemes for compact sets with metric averages, In: Trends in approximation theory (Nashville, TN, 2000). Innov. Appl. Math., Vanderbilt Univ. Press, Nashville, TN, pp. 93–102 (2001)
Dyn, N., Farkhi, E.: Set-valued approximations with Minkowski averages – convergence and convexification rates. Numer. Funct. Anal. Optim. 25, 363–377 (2004)
Dyn, N., Farkhi, E., Mokhov, A.: Approximations of set-valued functions by metric linear operators. Constr. Approx. 25, 193–209 (2007)
Dyn, N., Farkhi, E., Mokhov, A.: Approximations of Set-Valued Functions: Adaptation of Classical Approximation Operators. Imperial College Press, London (2014)
Dyn, N., Farkhi, E., Mokhov, A.: The metric integral of set-valued functions. Set-Valued Var. Anal. 26, 867–885 (2018)
Dyn, N., Mokhov, A.: Approximations of set-valued functions based on the metric average. Rend. Mat. Appl. VII. Ser. 26(3–4), 249–266 (2006)
Kadak, U., Başar, F.: On Fourier Series of Fuzzy-Valued Functions. Sci. World J. (2014). https://doi.org/10.1155/2014/782652
Kolmogorov, A., Fomin, S.: Introductory Real Analysis. Dover Publ, New York (1975)
Lempio, F.: Set-valued interpolation, differential inclusions, and sensitivity in optimization, In: Recent developments in well-posed variational problems, Math. Appl., 331, Kluwer Acad. Publ., Dordrecht, pp. 137–169 (1995)
Mureşan, M.: Set-valued approximation of multifunctions. Stud. Univ. Babeş-Bolyai, Math. 55(1), 107–148 (2010)
Nikolskĭ, M.S.: Approximation of convex-valued continuous multivalued mappings (Russian), Dokl. Akad. Nauk SSSR 308(5), 1047–1050 (1989); translation in Soviet Math. Dokl. 40(2), 406–409 (1990)
Nikolskĭ, M.S.: Approximation of continuous convex-valued multivalued mappings (Russian). Optimization 21(2), 209–214 (1990)
Nikolskĭ, M.S.: On the approximation of set-valued mappings in a uniform (Chebyshev) metric, In: Nonlinear synthesis (Sopron, 1989), Progr. Systems Control Theory, 9, Birkhäuser Boston, Boston, MA, 1991, 224–231
Nikolskĭ, M.S.: Local approximation of first order to set-valued mappings, In: Set-valued analysis and differential inclusions (Pamporovo, 1990), Progr. Systems Control Theory, 16, Birkhäuser Boston, Boston, MA, 1993, 149–156
Rockafellar, R.T., Wets, R.: Variational Analysis. Springer, Berlin (1998)
Sendov, B., Popov, V.: The Averaged Moduli of Smoothness: Applications in Numerical Methods and Approximation. Wiley, New York (1988)
Schneider, R.: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (1993)
Veliov, V.M.: Discrete approximations of integrals of multivalued mappings. C. R. Acad. Bulgare Sci. 42(12), 51–54 (1989)
Vitale, R.A.: Approximations of convex set-valued functions. J. Approx. Theory 26, 301–316 (1979)
Yavuz, E.: On the resummation of series of fuzzy numbers via generalized Dirichlet and generalized factorial series. J. Intell. Fuzzy Syst. 37, 8199–8206 (2019)
Zygmund, A.: Trigonometric Series, 2 edition, vol. I. Cambridge University Press, Cambridge (1959)
Acknowledgements
A considerable part of this work was done during a two weeks long stay of the authors at the Mathematisches Forschungsinstitut Oberwolfach in the frames of the “Research in Pairs” program. We thank the Mathematisches Forschungsinstitut Oberwolfach for the hospitality, excellent working conditions and the inspiring atmosphere.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Oscar Blasco.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Proof of Theorem 4.13
Theorem 4.13. For \(F\in {\mathcal {F}}[a,b]\), the pointwise limit of a sequence of metric selections of F is a metric selection of F.
Proof
Let \(s^{\infty }\) be the pointwise limit of a sequence \(\{s_n\}_{n \in {{\mathbb {N}}}}\) of metric selections of F. Since F(x) is closed for each \(x \in [a,b]\), \(s^{\infty }\) is a selection of F. By Result 4.3 we have \(V_a^b(s_n) \le V_a^b(F)\) for each \(n \in {{\mathbb {N}}}\). Theorem 3.8 implies \(V_a^b(s^{\infty }) \le V_a^b(F)\).
For each \(s_n\), there is a sequence of partitions \(\{ \chi _{n,k} \}_{k\in {{\mathbb {N}}}}\) with \(\displaystyle \lim _{k \rightarrow \infty } |\chi _{n,k}| =0\) and a sequence of corresponding chain functions \(\{c_{n,k}\}_{k \in {{\mathbb {N}}}}\) with \( \lim _{k \rightarrow \infty } c_{n,k}(x) =s_n(x)\) pointwisely for \(x \in [a,b]\).
Without loss of generality we may assume that each of the sequences \(\{ \chi _{n,k} \}_{k\in {{\mathbb {N}}}}\) satisfies the property \( |\chi _{n,k}|< \frac{1}{2^n} \) for all \(k \ge n\). Indeed, for fixed n we have \(|\chi _{n,k}| \rightarrow 0\) as \(k \rightarrow \infty \), and thus there exists \(K_n \in {{\mathbb {N}}}\) such that \(|\chi _{n,k}|<\frac{1}{2^n}\) for all \(k \ge K_n\). If \(K_n \le n\), then our assumption already holds. If \(K_n > n\), we remove \({\chi _{n,1},\ldots ,\chi _{n,K_n-n}}\) from the sequence \(\{ \chi _{n,k} \}_{k \in {{\mathbb {N}}}}\).
Denote by D the set consisting of all points of all partitions \(\{ \chi _{n,k} \}_{n,k \in {{\mathbb {N}}}}\), all points of discontinuity of the functions \( \{s_n\}_{n\in {{\mathbb {N}}}}\), all points of discontinuity of \(s^\infty \) and all points of discontinuity of F. The set D is dense in [a, b]. Since the set of discontinuities of each BV function is at most countable, the set D is countable. We order it as a sequence \(D=\{x_j\}_{j \in {{\mathbb {N}}}}\).
To show that \(s^\infty \) is a metric selection, we will construct a sequence of chain functions that converges pointwisely to \(s^\infty \) for all \(x\in [a,b]\).
For each n, there is an index \(k_n \ge n\) such that
Since \(k_n \ge n\), we also have
For simplicity, we denote \(\psi _n=c_{n,k_n}\) and \(\chi _n= \chi _{n,{k_n}}\). Clearly, \(|\chi _n| \rightarrow 0\) as \(n \rightarrow \infty \). We will show that there is a subsequence of \(\{\psi _n\}_{n \in {{\mathbb {N}}}}\) that converges to \(s^\infty \) pointwisely on [a, b].
First we show that \(\{ \psi _n \}_{n\in {{\mathbb {N}}}}\) converges to \(s^\infty \) on the set D. Fix \(x \in D\). Then \(x=x_{j^*}\) for some \(j^* = j^*(x) \in {{\mathbb {N}}}\). Given \(\varepsilon >0\), choose \(N(x,\varepsilon ) \in {{\mathbb {N}}}\) such that \({|s^\infty (x) - s_n(x)| < \frac{\varepsilon }{2}}\) for all \(n>N(x,\varepsilon )\). By (28), \(|s_n(x)-\psi _n(x)| < \frac{1}{2^n}\) for all \(n \ge j^*(x)\). For \(n> \log _2(1/\varepsilon )+1\) we have \(\frac{1}{2^n}<\frac{\varepsilon }{2}\). Thus for every \(n > \max \{ N(x,\varepsilon ), j^*(x), \log _2(1/\varepsilon )+1 \}\) we have
which proves that \(\lim _{n \rightarrow \infty }\psi _n(x) = s^\infty (x)\) for \(x \in D\).
By Result 4.1 the functions \(\psi _n\), \(n \in {{\mathbb {N}}}\), are uniformly bounded and of uniformly bounded variation. By Helly’s Selection Principle applied consequently to each component of \(\psi _n : [a,b] \rightarrow {{{\mathbb {R}}}}^d\), there exists a subsequence that converges pointwisely to a certain function \(\psi ^\infty : [a,b] \rightarrow {{{\mathbb {R}}}}^d\). For simplicity, we will denote this subsequence again by \(\{\psi _n \}_{n \in {{\mathbb {N}}}}\). Clearly, \(\psi ^\infty (x) =s^\infty (x)\) for all \(x\in D\).
It remains to show that \({\psi ^\infty (x) =s^\infty (x)}\) for all \(x \in [a,b]\setminus D\). Fix \(x \in [a,b]\setminus D\). For an arbitrary \(r \in D\) and each \(n \in {{\mathbb {N}}}\) we have
Take \(\varepsilon >0\). Since \(\lim _{n \rightarrow \infty } \psi _n(x) = \psi ^\infty (x)\), there exists \(N_1(x,\varepsilon ) \in {{\mathbb {N}}}\) such that
Also for each \(r \in D\) we have \(\lim _{n \rightarrow \infty } \psi _n(r) = \psi ^\infty (r)= s^\infty (r)\), and thus there exists \(N_2(r,\varepsilon ) \in {{\mathbb {N}}}\) such that
Since \(x \not \in D\), the function \(s^\infty \) is continuous at x. Therefore, there exists \(\delta _1(x,\varepsilon ) >0\) such that
for all \(r \in D\) with \(|x-r| < \delta _1(x,\varepsilon )\).
Since \(x \notin D\), also the function F is continuous at x. Consequently, the same is true for the function \(v_F\) (see Proposition 3.6), and there exists \(\delta _2(x,\varepsilon )> 0\) such that \(\omega \big ( {v_F},{x},{\delta _2(x,\varepsilon )} \big ) < \frac{\varepsilon }{4} \). Finally, there exists \(N_3(x,\varepsilon ) \in {{\mathbb {N}}}\) such that \(|\chi _n|<\frac{1}{4} \delta _2(x,\varepsilon )\) for \(n>N_3(x,\varepsilon )\).
Now, choose and fix \(r_0(x) \in D\) that satisfies
By Lemma 4.6 we have
Taking \(n > \max \{N_1(x,\varepsilon ), N_2(r_0(x),\varepsilon ), N_3(x,\varepsilon ) \}\) in (29) we thus obtain
Hence, \(\psi ^\infty (x)=s^\infty (x)\) for all \(x\in [a,b]\). Thus, \(s^\infty \) is a pointwise limit of a sequence of chain functions of F and therefore a metric selection of F. \(\square \)
Appendix B: Proof of Theorem 6.11
Theorem 6.11. Let \(B > 0\), \(x \in {{\mathbb {R}}}\) and \(\omega \) be a modulus-bounding function. Then for all \({f \in {\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{x},{\omega } \big )}\), each \(n \in {{\mathbb {N}}}\) and each \(\delta \in (0,\pi ]\) we have
where C is the constant from Lemma 6.2.
Proof
Let f be an arbitrary function from the class \({\mathscr {B}}{\mathscr {V}}_{1}\big ( {B},{x},{\omega } \big )\). By (16) we have
where \(a_n(f)\) and \(b_n(f) \) are the cosine and sine Fourier coefficients (13) of the function f. By Lemma 6.1 we have
Next we estimate \(\left| {\mathscr {S}}^*_n f(x) - \frac{1}{2}(f(x+0) + f(x-0)) \right| \) in two steps.
Step 1. Consider the functions
The functions \(\varphi \) and \(\psi \) are \(2\pi \)-periodic; \(\varphi \) is even with \(\varphi (0) = f(x)\) and \({\lim _{t \rightarrow 0}{\varphi (t)} = \frac{1}{2} ( f(x+0) + f(x-0))}\), \(\psi \) is odd with \(\psi (0) = 0\). Clearly, \(\varphi (t) + \psi (t) = f(x+t)\). The function \(D^*_n\) is even. Taking these facts into account we get
Now introduce for \(t \in [0,\pi ]\) the function
This function is continuous at \(t=0\). In view of (17) we get
For \(t \in [0,\pi ]\), we define \(r^+(t) = V_0^t (r)\) and \(r^-(t) = r^+(t) - r(t)\). We extend \(r^+\), \(r^-\) to \([-\pi ,0)\) such that the resulting functions are even. The functions \(r^+\), \(r^-\) are both non-negative and non-decreasing in \([0,\pi ]\). In terms of these functions we obtain the representation
Step 2. We derive bounds for the two integrals in (31).
First we estimate the variations of the functions r, \(r^+\), \(r^-\). Due to the continuity of r at zero, for its local variation on the interval \([0,\delta ]\), \(0 < \delta \le \pi \), we have
It follows that
For the global variation of these functions on \([0,\pi ]\) or \([-\pi ,\pi ]\), respectively, we obtain the estimates
Since the analysis of the two integrals in (31) is similar, we denote both of the integrals by \(\int _{0}^{\pi } D^*_n(t) r^\pm (t) dt\). Fix \(\delta \in (0,\pi ]\) and write
To estimate \({\mathcal {A}}^\pm \), we use the second mean value theorem,
with some \(0< \delta ^\pm < \delta \), and thus by (18) and (32)
For the second term \({\mathcal {B}}^\pm \) we have in view of (15)
where
In other words, \({\mathcal {B}}^\pm \) are the sine Fourier coefficients (13) of the functions \(u_{\delta }(t) r^\pm (t)\). The function \(\frac{1}{2} \cot { \left( \frac{1}{2}t \right) }\) is odd, decreasing in the interval \([\delta , \pi ]\) and takes the value zero at \(\pi \). Consequently, \({ \left| \frac{1}{2} \cot { \left( \frac{1}{2} t \right) }\right| \le \frac{1}{2} \cot { \left( \frac{1}{2} \delta \right) } }\) for \(\delta \le |t| \le \pi \) so that
On the other hand, for \(t \in [0,\pi ]\) we have by (33) \(0 \le r^+(t) \le r^+(\pi ) = V_0^\pi (r) \le \frac{1}{2}B\) and \(0 \le r^-(t) \le r^-(\pi ) = V_0^\pi (r^-) \le B\), so that
Using the inequality \(V_a^b(gh) \le \Vert g\Vert _{\infty } V_a^b(h) + \Vert h\Vert _\infty V_a^b(g) \), we obtain
Applying Lemma 6.1 again we estimate
Finally, taking into account (30) we obtain
which is the desired estimate. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Berdysheva, E.E., Dyn, N., Farkhi, E. et al. Metric Fourier Approximation of Set-Valued Functions of Bounded Variation. J Fourier Anal Appl 27, 17 (2021). https://doi.org/10.1007/s00041-021-09812-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-021-09812-7
Keywords
- Compact sets
- Set-valued functions
- Function of bounded variation
- Metric selections
- Metric linear combinations
- Metric integral
- Metric approximation operators
- Trigonometric Fourier approximation