Related papers: $\theta$-Lebesgue spaces
The targets of this article are threefold. The first one is to give a survey on the recent developments of function spaces with mixed norms, including mixed Lebesgue spaces, iterated weak Lebesgue spaces, weak mixed-norm Lebesgue spaces and…
Many examples of zeta functions in number theory and combinatorics are special cases of a construction in homotopy theory known as a decomposition space. This article aims to introduce number theorists to the relevant concepts in homotopy…
We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates…
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…
$L^p$ spaces are investigated for vector lattice-valued functions, with respect to filter convergence. As applications, some classical inequalities are extended to the vector lattice context, and some properties of the Brownian Motion and…
We study $H^p$ spaces of Dirichlet series, called $\mathcal{H}^p$, for the range $0<p< \infty$. We begin by showing that two natural ways to define $\mathcal{H}^p$ coincide. We then proceed to study some linear space properties of…
The proofs of A. Villani on inclusion relations among classical Lebesgue spaces are dicussed. The techinque of using closed graph theorem, due to Villani, is applied to derive results on inclusion relations among some more additional…
Two classical results characterizing regularity of a convergence space in terms of continuous extensions of maps on one hand, and in terms of continuity of limits for the continuous convergence on the other, are extended to…
Usually, the dynamics of linear time-invariant systems described by an integral operator of convolution type, which is defined in the Hilbert space of Lebesgue square integrable functions on the whole line. Such a description leads to…
The classical Hausdorff-Young inequalities for the Fourier transform acting between appropriate $L_p$ spaces are cornerstones of Fourier analysis. Here we extend it to weighted spaces of Besov or Sobolev type where the weight has the form…
We introduce new function spaces $\mathcal{L}_{W,s}^{q,p}(\mathbb{R}^{n})$ that yield a natural reformulation of the $\ell^{q}L^{p}$ decoupling inequalities for the sphere and the light cone. These spaces are invariant under the Euclidean…
Using Dunkl theory, we introduce into consideration some weighted $L_p$-spaces on $[-1,1]$ and on the unit Euclidean sphere $\mathbb{S}^{d-1}$, $d\geq 2$. Then we define a family of linear bounded operators $\{V_\kappa^p(x)\colon…
In this work we study the Riemann-Liouville fractional integral of order $\alpha\in(0,1/p)$ as an operator from $L^p(I;X)$ into $L^{q}(I;X)$, with $1\leq q\leq p/(1-p\alpha)$, whether $I=[t_0,t_1]$ or $I=[t_0,\infty)$ and $X$ is a Banach…
The class $A_\alpha^p$ consists of those analytic functions $f$ in the unit disc such that \[\|f\|_{\alpha,p}^p := |f(0)|^p+\int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{\alpha-1} \,dr < \infty,\] where $M_p^p(r,f)$ is the radial…
We define a p-norm in the context of quantum random variables, measurable operator-valued functions with respect to a positive operator-valued measure. This norm leads to a operator-valued L^p space that is shown to be complete. Various…
There are two main aims of the paper. The first one is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second one is to extend the criterion for the…
We introduce a new class of quasi-Banach spaces as an extension of the classical Grand Lebesgue Spaces for small values of the parameter, and we investigate some its properties, in particular, completeness, fundamental function, operators…
Using elementary arguments based on the Fourier transform we prove that for $1 \leq q < p < \infty$ and $s \geq 0$ with $s > n(1/2-1/p)$, if $f \in L^{q,\infty}(\R^n) \cap \dot{H}^s(\R^n)$ then $f \in L^p(\R^n)$ and there exists a constant…
The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $\L_p [0, 1]$ for some $1\le p<\infty$, then $E$…
Let $A^p_\omega$ denote the Bergman space in the unit disc induced by a radial weight~$\omega$ with the doubling property $\int_{r}^1\omega(s)\,ds\le C\int_{\frac{1+r}{2}}^1\omega(s)\,ds$. The positive Borel measures such that the…