-
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.
-
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.
-
Multivariate orthogonal spline systems
Authors:
M. Passenbrunner
Abstract:
In this article we consider orthonormal systems consisting of tensor products of splines. We show some convergence results of the corresponding orthogonal series including a.e. convergence and unconditional convergence in $L^p$ for $1<p<\infty$, where the latter is proved under some geometric conditions on the involved partitions that depend on the spline order.
In this article we consider orthonormal systems consisting of tensor products of splines. We show some convergence results of the corresponding orthogonal series including a.e. convergence and unconditional convergence in $L^p$ for $1<p<\infty$, where the latter is proved under some geometric conditions on the involved partitions that depend on the spline order.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
An algebraic characterization of B-splines
Authors:
Anna Kamont,
Markus Passenbrunner
Abstract:
B-splines of order $k$ can be viewed as a map** $N$ taking a $(k+1)$-tuple of increasing real numbers $a_0 < \cdots < a_k$ and giving as a result a certain piecewise polynomial function. Looking at this map** $N$ as a whole, basic roperties of B-spline functions imply that it has the following algebraic properties: (1) $N(a_0,\ldots,a_k)$ has local support; (2) $N(a_0,\ldots,a_k)$ allows refin…
▽ More
B-splines of order $k$ can be viewed as a map** $N$ taking a $(k+1)$-tuple of increasing real numbers $a_0 < \cdots < a_k$ and giving as a result a certain piecewise polynomial function. Looking at this map** $N$ as a whole, basic roperties of B-spline functions imply that it has the following algebraic properties: (1) $N(a_0,\ldots,a_k)$ has local support; (2) $N(a_0,\ldots,a_k)$ allows refinement, i.e. for every $a\in \cup_{j=0}^{k-1} (a_j,a_{j+1})$ we have that if $(α_0,\ldots, α_{k+1})$ is the increasing rearrangement of the points $\{a_0,\ldots,a_k,a\}$, the 'old' function $N(a_0,\ldots,a_k)$ is a linear combination of the 'new' functions $N(α_0,\ldots,α_k)$ and $N(α_1,\ldots,α_{k+1})$; (3) $N$ is translation and dilation invariant. It is easy to see that derivatives of $N(a_0,\ldots,a_k)$ satisfy properties (1)-(3) as well.
In this paper we investigate if properties (1)-(3) are already sufficient to characterize B-splines and their derivatives.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Martingale convergence Theorems for Tensor Splines
Authors:
Markus Passenbrunner
Abstract:
In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on $d$-dimensional Euclidean space ($d$ is a positive integer), where conditional expectations are replaced by their corresponding tensor spline orthoprojectors. Versions of Doob's maximal inequality, the martingale convergence theorem and the characterization of the Radon-Nikodým p…
▽ More
In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on $d$-dimensional Euclidean space ($d$ is a positive integer), where conditional expectations are replaced by their corresponding tensor spline orthoprojectors. Versions of Doob's maximal inequality, the martingale convergence theorem and the characterization of the Radon-Nikodým property of Banach spaces $X$ in terms of pointwise $X$-valued martingale convergence are obtained in this setting. Those assertions are in full analogy to their martingale counterparts and hold independently of filtration, spline degree, and dimension $d$.
△ Less
Submitted 19 December, 2023; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Orthoprojectors on perturbations of splines spaces
Authors:
Karen Keryan,
Markus Passenbrunner
Abstract:
We show that $L^\infty$-norms of orthoprojectors on certain types of perturbations of spline spaces are bounded independently of the knot sequence. Explicit applications of this result are given, one of them being orthoprojectors onto Chebyshevian spline spaces.
We show that $L^\infty$-norms of orthoprojectors on certain types of perturbations of spline spaces are bounded independently of the knot sequence. Explicit applications of this result are given, one of them being orthoprojectors onto Chebyshevian spline spaces.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Extremal Distributions of Discrepancy functions
Authors:
Ralph Kritzinger,
Markus Passenbrunner
Abstract:
The irregularities of a distribution of $N$ points in the unit interval are often measured with various notions of discrepancy. The discrepancy function can be defined with respect to intervals of the form $[0,t)\subset [0,1)$ or arbitrary subintervals of the unit interval. In the former case, it is a well known fact in discrepancy theory that the $N$-element point set in the with the lowest…
▽ More
The irregularities of a distribution of $N$ points in the unit interval are often measured with various notions of discrepancy. The discrepancy function can be defined with respect to intervals of the form $[0,t)\subset [0,1)$ or arbitrary subintervals of the unit interval. In the former case, it is a well known fact in discrepancy theory that the $N$-element point set in the with the lowest $L_2$ or $L_{\infty}$ norm of the discrepancy function is the centered regular grid
$$ Γ_N:=\left\{\frac{2n+1}{2N}: n=0,1,\dots,N-1\right\}. $$
We show a stronger result on the distribution of discrepancy functions of point sets in $[0,1]$, which basically says that the distribution of the discrepancy function of $Γ_N$ is in some sense minimal among all $N$-element point sets. As a consequence, we can extend the above result to rearrangement-invariant norms, including $L_p$, Orlicz and Lorentz norms. We study the same problem for the discrepancy notions with respect to arbitrary subintervals. In this case, we will observe that we have to deal with integrals of convolutions of functions. To this end, we prove a general upper bound on such expressions, which might be of independent interest as well.
△ Less
Submitted 21 May, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Martingale inequalities for spline sequences
Authors:
Markus Passenbrunner
Abstract:
We show that D. Lé**le's $L_1(\ell_2)$-inequality \begin{equation*}
\Big\| \big( \sum_n \mathbb E[f_n | \mathscr F_{n-1}]^2
\big)^{1/2}\Big\|_1 \leq 2\cdot \Big\| \big( \sum_n f_n^2
\big)^{1/2} \Big\|_1, \qquad f_n\in\mathscr F_n,
\end{equation*} extends to the case where we substitute the conditional expectation operators with orthogonal projection operators onto spline spaces and where…
▽ More
We show that D. Lé**le's $L_1(\ell_2)$-inequality \begin{equation*}
\Big\| \big( \sum_n \mathbb E[f_n | \mathscr F_{n-1}]^2
\big)^{1/2}\Big\|_1 \leq 2\cdot \Big\| \big( \sum_n f_n^2
\big)^{1/2} \Big\|_1, \qquad f_n\in\mathscr F_n,
\end{equation*} extends to the case where we substitute the conditional expectation operators with orthogonal projection operators onto spline spaces and where we can allow that $f_n$ is contained in a suitable spline space $\mathscr S(\mathscr F_n)$. This is done provided the filtration $(\mathscr F_n)$ satisfies a certain regularity condition depending on the degree of smoothness of the functions contained in $\mathscr S(\mathscr F_n)$. As a by-product, we also obtain a spline version of $H_1$-$BMO$ duality under this assumption.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Projection operators onto spaces of Chebyshev splines
Authors:
Karen Keryan,
Markus Passenbrunner
Abstract:
We prove that the Chebyshev spline orthoprojectors are uniformly bounded on $L^\infty$.
We prove that the Chebyshev spline orthoprojectors are uniformly bounded on $L^\infty$.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
Spline Characterizations of the Radon-Nikodým property
Authors:
Markus Passenbrunner
Abstract:
We give necessary and sufficient conditions for a Banach space $X$ having the Radon-Nikodým property in terms of polynomial spline sequences.
We give necessary and sufficient conditions for a Banach space $X$ having the Radon-Nikodým property in terms of polynomial spline sequences.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Almost everywhere Convergence of Spline Sequences
Authors:
Paul F. X. Müller,
Markus Passenbrunner
Abstract:
We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikodým propert…
▽ More
We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikodým property. Let $(g_n)$ be a bounded sequence in the Bochner-Lebesgue space $L^1_X [0,1]$ satisfying $$ g_n = P_n ( g_{n+1} ),\qquad n \in \mathbb N . $$ We prove the existence of $\lim_{n\to \infty} g_n(t) $ in $X$ for almost every $t \in [0,1]. $ Already in the scalar valued case $X = \mathbb R $ the result is new.
△ Less
Submitted 16 September, 2019; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Unconditionality of Periodic Orthonormal Spline Systems in $L^p$
Authors:
K. Keryan,
M. Passenbrunner
Abstract:
Given any natural number $k$ and any dense point sequence $(t_n)$ on the torus $\mathbb T$, we prove that the corresponding periodic orthonormal spline system of order $k$ is an unconditional basis in $L^p$ for $1<p<\infty$.
Given any natural number $k$ and any dense point sequence $(t_n)$ on the torus $\mathbb T$, we prove that the corresponding periodic orthonormal spline system of order $k$ is an unconditional basis in $L^p$ for $1<p<\infty$.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Orthogonal projectors onto spaces of periodic splines
Authors:
Markus Passenbrunner
Abstract:
The main result of this paper is a proof that for any integrable function $f$ on the torus, any sequence of its orthogonal projections $(\widetilde{P}_n f)$ onto periodic spline spaces with arbitrary knots $\widetildeΔ_n$ and arbitrary polynomial degree converges to $f$ almost everywhere with respect to the Lebesgue measure, provided the mesh diameter $|\widetildeΔ_n|$ tends to zero. We also give…
▽ More
The main result of this paper is a proof that for any integrable function $f$ on the torus, any sequence of its orthogonal projections $(\widetilde{P}_n f)$ onto periodic spline spaces with arbitrary knots $\widetildeΔ_n$ and arbitrary polynomial degree converges to $f$ almost everywhere with respect to the Lebesgue measure, provided the mesh diameter $|\widetildeΔ_n|$ tends to zero. We also give a proof of the fact that the operators $\widetilde{P}_n$ are bounded on $L^\infty$ independently of the knots $\widetildeΔ_n$.
△ Less
Submitted 13 October, 2016; v1 submitted 24 August, 2016;
originally announced August 2016.
-
Estimating averages of order statistics of bivariate functions
Authors:
Richard Lechner,
Markus Passenbrunner,
Joscha Prochno
Abstract:
We prove uniform estimates for the expected value of averages of order statistics of bivariate functions in terms of their largest values by a direct analysis. As an application, uniform estimates for the expected value of averages of order statistics of sequences of independent random variables in terms of Orlicz norms are obtained. In the case where the bivariate functions are matrices, we provi…
▽ More
We prove uniform estimates for the expected value of averages of order statistics of bivariate functions in terms of their largest values by a direct analysis. As an application, uniform estimates for the expected value of averages of order statistics of sequences of independent random variables in terms of Orlicz norms are obtained. In the case where the bivariate functions are matrices, we provide a "minimal" probability space which allows us to $C$-embed certain Orlicz spaces $\ell_M^n$ into $\ell_1^{cn^3}$, $c,C>0$ being absolute constants.
△ Less
Submitted 22 July, 2015;
originally announced July 2015.
-
Uniform Estimates for Averages of Order Statistics of Matrices
Authors:
Richard Lechner,
Markus Passenbrunner,
Joscha Prochno
Abstract:
We prove uniform estimates for the expected value of averages of order statistics of matrices in terms of their largest entries. As an application, we obtain similar probabilistic estimates for $\ell_p$ norms via real interpolation.
We prove uniform estimates for the expected value of averages of order statistics of matrices in terms of their largest entries. As an application, we obtain similar probabilistic estimates for $\ell_p$ norms via real interpolation.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
Unconditionality of orthogonal spline systems in $H^1$
Authors:
Gegham Gevorkyan,
Anna Kamont,
Karen Keryan,
Markus Passenbrunner
Abstract:
We give a simple geometric characterization of knot sequences for which the corresponding orthonormal spline system of arbitrary order $k$ is an unconditional basis in the atomic Hardy space $H^1[0,1]$.
We give a simple geometric characterization of knot sequences for which the corresponding orthonormal spline system of arbitrary order $k$ is an unconditional basis in the atomic Hardy space $H^1[0,1]$.
△ Less
Submitted 17 March, 2015; v1 submitted 22 April, 2014;
originally announced April 2014.
-
Probabilistic estimates for tensor products of random vectors
Authors:
David Alonso-Gutierrez,
Markus Passenbrunner,
Joscha Prochno
Abstract:
We prove some probabilistic estimates for tensor products of random vectors. As an application we obtain embeddings of certain matrix spaces into $L_1$.
We prove some probabilistic estimates for tensor products of random vectors. As an application we obtain embeddings of certain matrix spaces into $L_1$.
△ Less
Submitted 10 June, 2015; v1 submitted 22 April, 2014;
originally announced April 2014.
-
Adaptive deterministic dyadic grids on spaces of homogeneous type
Authors:
Richard Lechner,
Markus Passenbrunner
Abstract:
In the context of spaces of homogeneous type, we develop a method to deterministically construct dyadic grids, specifically adapted to a given combinatorial situation. This method is used to estimate vector-valued operators rearranging martingale difference sequences such as the Haar system.
In the context of spaces of homogeneous type, we develop a method to deterministically construct dyadic grids, specifically adapted to a given combinatorial situation. This method is used to estimate vector-valued operators rearranging martingale difference sequences such as the Haar system.
△ Less
Submitted 16 May, 2014; v1 submitted 12 December, 2013;
originally announced December 2013.
-
On almost everywhere convergence of tensor product spline projections
Authors:
Markus Passenbrunner,
Joscha Prochno
Abstract:
Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $Δ_1,\ldots,$ $Δ_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(Δ_1,\dots,Δ_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $Δ_1,\ldots,Δ_d$ converges to $f$ almost everywhere a…
▽ More
Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $Δ_1,\ldots,$ $Δ_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(Δ_1,\dots,Δ_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $Δ_1,\ldots,Δ_d$ converges to $f$ almost everywhere as the mesh diameters $|Δ_1|,\ldots, |Δ_{d}|$ tend to zero. This extends the one-dimensional result in [Passenbrunner and Shadrin, Journal of Approximation Theory, 2014] to arbitrary dimensions.
In a second step, we show that this result is optimal, i.e., given any "bigger" Orlicz class $X=σ(L)L(\log^+ L)^{d-1}$ with an arbitrary function $σ$ tending to zero at infinity, there exists a function $\varphi\in X$ and partitions of the unit cube such that the orthogonal projections of $\varphi$ do not converge almost everywhere.
△ Less
Submitted 2 February, 2018; v1 submitted 24 October, 2013;
originally announced October 2013.
-
Unconditionality of orthogonal spline systems in $L^p$
Authors:
Markus Passenbrunner
Abstract:
Given any natural number $k$ and any dense point sequence $(t_n)$, we prove that the corresponding orthonormal spline system of order $k$ is an unconditional basis in reflexive $L^p$.
Given any natural number $k$ and any dense point sequence $(t_n)$, we prove that the corresponding orthonormal spline system of order $k$ is an unconditional basis in reflexive $L^p$.
△ Less
Submitted 30 January, 2014; v1 submitted 23 August, 2013;
originally announced August 2013.
-
On almost everywhere convergence of orthogonal spline projections with arbitrary knots
Authors:
Markus Passenbrunner,
Alexei Shadrin
Abstract:
The main result of this paper is a proof that, for any $f \in L_1[a,b]$, a sequence of its orthogonal projections $(P_{Δ_n}(f))$ onto splines of order $k$ with arbitrary knots $Δ_n$, converges almost everywhere provided that the mesh diameter $|Δ_n|$ tends to zero, namely \[ f \in L_1[a,b] \Rightarrow P_{Δ_n}(f,x) \to f(x) \quad \mbox{a.e.} \quad (|Δ_n|\to 0)\,. \] This extends the earlier result…
▽ More
The main result of this paper is a proof that, for any $f \in L_1[a,b]$, a sequence of its orthogonal projections $(P_{Δ_n}(f))$ onto splines of order $k$ with arbitrary knots $Δ_n$, converges almost everywhere provided that the mesh diameter $|Δ_n|$ tends to zero, namely \[ f \in L_1[a,b] \Rightarrow P_{Δ_n}(f,x) \to f(x) \quad \mbox{a.e.} \quad (|Δ_n|\to 0)\,. \] This extends the earlier result that, for $f \in L_p$, we have convergence $P_{Δ_n}(f) \to f$ in the $L_p$-norm for $1 \le p \le \infty$.}
△ Less
Submitted 26 November, 2013; v1 submitted 22 August, 2013;
originally announced August 2013.
-
On the Distribution of Random variables corresponding to Musielak-Orlicz norms
Authors:
David Alonso-Gutierrez,
Soeren Christensen,
Markus Passenbrunner,
Joscha Prochno
Abstract:
Given a normalized Orlicz function $M$ we provide an easy formula for a distribution such that, if $X$ is a random variable distributed accordingly and $X_1,...,X_n$ are independent copies of $X$, then the expected value of the p-norm of the vector $(x_iX_i)_{i=1}^n$ is of the order $\| x \|_M$ (up to constants dependent on p only). In case $p=2$ we need the function $t\mapsto tM'(t) - M(t)$ to be…
▽ More
Given a normalized Orlicz function $M$ we provide an easy formula for a distribution such that, if $X$ is a random variable distributed accordingly and $X_1,...,X_n$ are independent copies of $X$, then the expected value of the p-norm of the vector $(x_iX_i)_{i=1}^n$ is of the order $\| x \|_M$ (up to constants dependent on p only). In case $p=2$ we need the function $t\mapsto tM'(t) - M(t)$ to be 2-concave and as an application immediately obtain an embedding of the corresponding Orlicz spaces into $L_1[0,1]$. We also provide a general result replacing the $\ell_p$-norm by an arbitrary $N$-norm. This complements some deep results obtained by Gordon, Litvak, Schütt, and Werner. We also prove a result in the spirit of their work which is of a simpler form and easier to apply. All results are true in the more general setting of Musielak-Orlicz spaces.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Pointwise estimates for B-spline Gram matrix inverses
Authors:
Markus Passenbrunner
Abstract:
We present a new method for proving a certain geometric-decay inequality for entries of inverses of B-spline Gram matrices, which is given in [Passenbrunner,Shadrin 2013, arXiv:1308.4824].
We present a new method for proving a certain geometric-decay inequality for entries of inverses of B-spline Gram matrices, which is given in [Passenbrunner,Shadrin 2013, arXiv:1308.4824].
△ Less
Submitted 26 November, 2013; v1 submitted 12 December, 2012;
originally announced December 2012.
-
The Lebesgue Constant for the Periodic Franklin System
Authors:
Markus Passenbrunner
Abstract:
We identify the torus with the unit interval $[0,1)$ and let $n,ν\in\mathbb{N}$, $1\leq ν\leq n-1$ and $N:=n+ν$. Then we define the (partially equally spaced) knots \[ t_{j}=\{[c]{ll}% \frac{j}{2n}, & \text{for}j=0,...,2ν, \frac{j-ν}{n}, & \text{for}j=2ν+1,...,N-1.] Furthermore, given $n,ν$ we let $V_{n,ν}$ be the space of piecewise linear continuous functions on the torus with knots…
▽ More
We identify the torus with the unit interval $[0,1)$ and let $n,ν\in\mathbb{N}$, $1\leq ν\leq n-1$ and $N:=n+ν$. Then we define the (partially equally spaced) knots \[ t_{j}=\{[c]{ll}% \frac{j}{2n}, & \text{for}j=0,...,2ν, \frac{j-ν}{n}, & \text{for}j=2ν+1,...,N-1.] Furthermore, given $n,ν$ we let $V_{n,ν}$ be the space of piecewise linear continuous functions on the torus with knots $\{t_j:0\leq j\leq N-1\}$. Finally, let $P_{n,ν}$ be the orthogonal projection operator of $L^{2}([0,1))$ onto $V_{n,ν}.$ The main result is \[\lim_{n\rightarrow\infty,ν=1}\|P_{n,ν}:L^\infty\rightarrow L^\infty\|=\sup_{n\in\mathbb{N},0\leq ν\leq n}\|P_{n,ν}:L^\infty\rightarrow L^\infty\|=2+\frac{33-18\sqrt{3}}{13}.\] This shows in particular that the Lebesgue constant of the classical Franklin orthonormal system on the torus is $2+\frac{33-18\sqrt{3}}{13}$.
△ Less
Submitted 26 July, 2011; v1 submitted 10 March, 2011;
originally announced March 2011.
-
Monotonicity of the Lebesgue constant for equally spaced knots
Authors:
Markus Passenbrunner
Abstract:
Let $t_{i}=\frac{i}{n}$ for $i=0,...,n$ be equally spaces knots in the unit interval $[0,1].$ Let $\mathcal{S}_{n}$ be the space of piecewise linear continuous functions on $[0,1]$ with knots $π_{n}=\{t_{i}:0\leq i\leq n\}.$ Then we have the orthogonal projection $P_{n}$ of $L^{2}([0,1])$ onto $\mathcal{S}_{n}.$ In Section 1 we collect a few preliminary facts about the solutions of the recurrence…
▽ More
Let $t_{i}=\frac{i}{n}$ for $i=0,...,n$ be equally spaces knots in the unit interval $[0,1].$ Let $\mathcal{S}_{n}$ be the space of piecewise linear continuous functions on $[0,1]$ with knots $π_{n}=\{t_{i}:0\leq i\leq n\}.$ Then we have the orthogonal projection $P_{n}$ of $L^{2}([0,1])$ onto $\mathcal{S}_{n}.$ In Section 1 we collect a few preliminary facts about the solutions of the recurrence $f_{k-1}-4f_{k}+f_{k+1}=0$ that we need in Section 2 to show that the sequence $% a_{n}=\Vert P_{n}\Vert_{1}$ of $L^{1}-$norms of these projection operators is strictly increasing.
△ Less
Submitted 10 March, 2011;
originally announced March 2011.
-
A Representation Theorem for Singular Integral Operators on Spaces of Homogeneous Type
Authors:
Paul F. X. Mueller,
Markus Passenbrunner
Abstract:
Let (X,d,μ) be a space of homogeneous type and E a UMD Banach space. Under the assumption mu({x})=0 for all x in X, we prove a representation theorem for singular integral operators on (X,d,mu) as a series of simple shifts and rearrangements plus two paraproducts. This gives a T(1) Theorem in this setting.
Let (X,d,μ) be a space of homogeneous type and E a UMD Banach space. Under the assumption mu({x})=0 for all x in X, we prove a representation theorem for singular integral operators on (X,d,mu) as a series of simple shifts and rearrangements plus two paraproducts. This gives a T(1) Theorem in this setting.
△ Less
Submitted 10 March, 2011; v1 submitted 27 January, 2010;
originally announced January 2010.
