-
Functions of bounded variation from ideal perspective
Authors:
Jacek Gulgowski,
Adam Kwela,
Jacek Tryba
Abstract:
We present a unified approach to two classes of Banach spaces defined with the aid of variations: Waterman spaces and Chanturia classes. Our method is based on some ideas coming from the theory of ideals on the set of natural numbers.
We present a unified approach to two classes of Banach spaces defined with the aid of variations: Waterman spaces and Chanturia classes. Our method is based on some ideas coming from the theory of ideals on the set of natural numbers.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Properties of local orthonormal systems, Part III: Variation spaces
Authors:
Jacek Gulgowski,
Anna Kamont,
Markus Passenbrunner
Abstract:
In [Y.~K.~Hu, K.~A.~Kopotun, X.~M.~Yu, Constr. Approx. 2000], the authors have obtained a characterization of best $n$-term piecewise polynomial approximation spaces as real interpolation spaces between $L^p$ and some spaces of bounded dyadic ring variation. We extend this characterization to the general setting of binary filtrations and finite-dimensional subspaces of $L^\infty$ as discussed in o…
▽ More
In [Y.~K.~Hu, K.~A.~Kopotun, X.~M.~Yu, Constr. Approx. 2000], the authors have obtained a characterization of best $n$-term piecewise polynomial approximation spaces as real interpolation spaces between $L^p$ and some spaces of bounded dyadic ring variation. We extend this characterization to the general setting of binary filtrations and finite-dimensional subspaces of $L^\infty$ as discussed in our earlier papers [J.~Gulgowski, A.~Kamont, M.~Passenbrunner, arXiv:2303.16470 and arXiv:2304.05647]. Furthermore, we study some analytical properties of thus obtained abstract spaces of bounded ring variation, as well as their connection to greedy approximation by corresponding local orthonormal systems.
△ Less
Submitted 22 February, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Integral operators in the spaces of functions of bounded Schramm variation
Authors:
Jacek Gulgowski,
Piotr Kasprzak,
Piotr Maćkowiak
Abstract:
In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels.
In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Properties of local orthonormal systems, Part II: Geometric characterization of Bernstein inequalities
Authors:
Jacek Gulgowski,
Anna Kamont,
Markus Passenbrunner
Abstract:
Let $(Ω,\mathscr F,\mathbb P) $ be a probability space and let $(\mathscr F_n)$ be a binary filtration, i.e. exactly one atom of $\mathscr F_{n-1}$ is divided into two atoms of $\mathscr F_n$ without any restriction on their respective measures. Additionally, denote the collection of atoms corresponding to this filtration by $\mathscr A$. Let $S \subset L^\infty(Ω)$ be a finite-dimensional linear…
▽ More
Let $(Ω,\mathscr F,\mathbb P) $ be a probability space and let $(\mathscr F_n)$ be a binary filtration, i.e. exactly one atom of $\mathscr F_{n-1}$ is divided into two atoms of $\mathscr F_n$ without any restriction on their respective measures. Additionally, denote the collection of atoms corresponding to this filtration by $\mathscr A$. Let $S \subset L^\infty(Ω)$ be a finite-dimensional linear subspace, having an additional stability property on atoms $\mathscr A$. For these data, we consider the two dictionaries $\mathscr C = \{ f \cdot χ_A: f \in S, A \in \mathscr A\}$ and $Φ$, a local orthonormal system generated by $S$ and the filtration $(\mathscr F_n)$. We are interested in approximation spaces corresponding to the best $n$-term approximation in $L^p$ for $1<p<\infty$ by elements of $\mathscr C$ and $Φ$, respectively. It is known that in the classical Haar case, i.e. when $S = {\rm span} (χ_{[0,1]})$ and the binary filtration $(\mathscr F_n)$ is dyadic (that is, an atom $A \in \mathscr A$ is divided into two new atoms of equal measure), those approximation spaces coincide, cf. [P. Petrushev, Multivariate $n$-term rational and piecewise polynomial approximation, J. Approx. Theory 121(1), 2003]. This motivates us to ask the question whether this is true in the general setting described above. The answer to this question is governed by the validity of a specific Bernstein type inequality.
The main result of this paper is a geometric characterization of this type of Bernstein inequality, i.e. a characterization in terms of the behaviour of functions from the space $S$ on atoms $\mathscr A$ and rings $\mathscr R = \{ A \setminus B: A, B \in \mathscr A, B \subset A \}\setminus \mathscr A$. We specialize this general result to some examples of interest, including general Haar systems and spaces $S$ consisting of (multivariate) polynomials.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Properties of local orthonormal systems, Part I: Unconditionality in $L^p, 1<p<\infty$
Authors:
Jacek Gulgowski,
Anna Kamont,
Markus Passenbrunner
Abstract:
Assume that we are given a filtration $(\mathscr F_n)$ on a probability space $(Ω,\mathscr F,\mathbb P)$ of the form that each $\mathscr F_n$ is generated by the partition of one atom of $\mathscr F_{n-1}$ into two atoms of $\mathscr F_n$ having positive measure. Additionally, assume that we are given a finite-dimensional linear space $S$ of $\mathscr F$-measurable, bounded functions on $Ω$ so tha…
▽ More
Assume that we are given a filtration $(\mathscr F_n)$ on a probability space $(Ω,\mathscr F,\mathbb P)$ of the form that each $\mathscr F_n$ is generated by the partition of one atom of $\mathscr F_{n-1}$ into two atoms of $\mathscr F_n$ having positive measure. Additionally, assume that we are given a finite-dimensional linear space $S$ of $\mathscr F$-measurable, bounded functions on $Ω$ so that on each atom $A$ of any $σ$-algebra $\mathscr F_n$, all $L^p$-norms of functions in $S$ are comparable independently of $n$ or $A$. Denote by $S_n$ the space of functions that are given locally, on atoms of $\mathscr F_n$, by functions in $S$ and by $P_n$ the orthoprojector (with respect to the inner product in $L^2(Ω)$) onto $S_n$. Since $S = \operatorname{span}\{1_Ω\}$ satisfies the above assumption and $P_n$ is then the conditional expectation $\mathbb E_n$ with respect to $\mathscr F_n$, for such filtrations, martingales $(\mathbb E_n f)$ are special cases of our setting. We show in this article that certain convergence results that are known for martingales (or rather martingale differences) are also true in the general framework described above. More precisely, we show that the differences $(P_n - P_{n-1})f$ converge unconditionally and are democratic in $L^p$ for $1<p<\infty$. This implies that those differences form a greedy basis in $L^p$-spaces for $1<p<\infty$.
△ Less
Submitted 19 December, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Compactness in the spaces of functions of bounded variation
Authors:
Jacek Gulgowski
Abstract:
Recently the characterization of the compactness in the space $BV([0,1])$ of functions of bounded Jordan variation was given. Here, certain generalizations of this result are given for the spaces of functions of bounded Waterman $Λ$-variation, Young $Φ$-variation and integral variation. It appears that on the compact sets the norm is uniformly approximated by certain seminorms induced by the selec…
▽ More
Recently the characterization of the compactness in the space $BV([0,1])$ of functions of bounded Jordan variation was given. Here, certain generalizations of this result are given for the spaces of functions of bounded Waterman $Λ$-variation, Young $Φ$-variation and integral variation. It appears that on the compact sets the norm is uniformly approximated by certain seminorms induced by the selection of finitely many intervals in $[0,1]$.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Compactness in Lipschitz spaces and around
Authors:
Jacek Gulgowski,
Piotr Kasprzak,
Piotr Maćkowiak
Abstract:
The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are intere…
▽ More
The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are interesting on their own since they use a concept of equicontinuity not seen in the literature, are based on an abstract compactness criterion related to the recently introduced notion of an equinormed set.
△ Less
Submitted 19 June, 2023; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Compactness in normed spaces: a unified approach through semi-norms
Authors:
Jacek Gulgowski,
Piotr Kasprzak,
Piotr Maćkowiak
Abstract:
In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are…
▽ More
In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are given some freedom of choice of the underlying semi-normed structure that is used to define equinormed sets, our approach opens a new perspective for building compactness criteria in specific normed spaces. As an example we show that natural selections of families of semi-norms in spaces $C(X,\mathbb{R})$ and $l^p$ for $p\in[1,+\infty)$ lead to the well-known compactness criteria (including the Arzelà-Ascoli theorem). In the second part of the paper, applying the abstract theorems, we construct a simple compactness criterion in the space of functions of bounded Schramm variation and provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in therms of their generating kernels.
△ Less
Submitted 22 June, 2023; v1 submitted 20 November, 2021;
originally announced November 2021.