scientific article; zbMATH DE number 1453122
complex \(L^p\)-spaceFourier transformhullinvariantkernellocal \(L^p\)-spacespace of all Lebesgue measurable functionstempered distributions
Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Integral transforms in distribution spaces (46F12)
Let \(R\) be a relation on a set \(X\). A subset \(B\) of \(X\) is called \(R\)-invariant if \((f\in B)\&(gRf)\Rightarrow g\in B\). For a set \(A\subset X\) we define its \(R\)-hull \(\overline A\) (\(R\)-kernel \(\underline A\)) as the smallest (the largest) \(R\)-invariant set containing \(A\) (contained in \(A\)). The space of all Lebesgue measurable functions on \(\mathbb{R}^n\) (and of all tempered distributions) is denoted by \(M\) (and by \({\mathcal S}'\)). The complex \(L^p\)-space and local \(L^p\)-space are denoted by \(L^p\) and \(L^p_{\text{loc}}\), respectively. Moreover, \(A^p= \{f\in L^1_{\text{loc}}\cap {\mathcal S}':F(f)\in L^p\}\) with \(1\leq p\leq\infty\), \(A^p_{\text{loc}}= \{f\in L^1_{\text{loc}}\cap {\mathcal S}':F(f)\in L^p_{\text{loc}}\}\) with \(1\leq p\leq\infty\), and \(A_\mu= \{f\in L^1_{\text{loc}}\cap{\mathcal S}': F(f)\in M_{\text{loc}}\}\), where \(F\) is the Fourier transform defined on \({\mathcal S}'\). There are considered three relations: \(fR_1g\Leftrightarrow f= g\circ\omega\) for some Lebesgue measure preserving invertible \(\mod 0\) transformation \(\omega:\mathbb{R}^n\to \mathbb{R}^n\), \(fR_2g\Leftrightarrow|f(x)|= |g(x)|\) for almost all \(x\in \mathbb{R}^n\) and \(fR_3g\Leftrightarrow|g(x)|\leq|f(x)|\) almost everywhere. The \(R_i\)-hull and kernel of a function class \(A\subset M\) are denoted by \((\overline A)_i\) and \((\underline A)_i\). The following equalities are proved: \((\underline A^p)_2= (\underline A^p)_3\) for all \(1< p\leq\infty\), \((\underline {A^p_{\text{loc}}})_2= (\underline {A^p_{\text{loc}}})_3\) for all \(1\leq p\leq\infty\), \((\underline{A^\infty_{\text{loc}}})_3= L^1\), \((\overline{A_\mu})_1= P^\infty\), \((\underline{A_\mu})_1= L^1+ L^2+ \{c\}\), \((\overline{A_\mu})_2= (\overline{A_\mu})_3= L^1_{\text{loc}}\), \((\underline{A_\mu})_2= (\underline{A_\mu})_3= \ell^2(L^1)\). For the entire collection see [Zbl 0933.00034].
- Resonance classes of measures
- Rearrangement-invariant spaces of functions on LCA groups
- Rearrangements of functions on a locally compact abelian group and integrability of the Fourier transform
- The level structures of the kernel and hull on lattice-valued functions and induced spaces
- scientific article; zbMATH DE number 1515885 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955403)
