Generalizing algebraically defined norms (Q2147952)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalizing algebraically defined norms |
scientific article |
Statements
Generalizing algebraically defined norms (English)
0 references
21 June 2022
0 references
Let \((\Omega,\Sigma,\mu)\) be a measure space and \(p:\Omega\to[1,\infty)\) be a measurable function. The variable Lebesgue space \(L^{p(\cdot)}(\Omega,\Sigma,\mu)\) consists of measurable functions \(f\) on \(\Omega\) for which there exists \(\lambda=\lambda(f)>0\) such that \(\varrho(f/\lambda):=\int_\Omega|f(x)/\lambda|^{p(x)}\,d\mu(x)<\infty\). It is a Banach space with respect to the norm \(\|f\|:=\inf\{\lambda>0:\varrho(f/\lambda)\le 1\}\). The main result of the paper says that if \(\|f\|=1\), then the following statements are equivalent: \begin{itemize} \item[(a)] the mapping \(\lambda\mapsto\varrho(f/\lambda)\) is continuous at \(\lambda=1\); \item[(b)] the function \(f\) belongs to the closure of the set \(\bigcup_{r<\infty}\{\chi_{\{p(\cdot)<r\}}f: f\in L^{p(\cdot)}(\Omega,\Sigma,\mu)\}\); \item[(c)] \(\varrho(f)=1\). \end{itemize}
0 references
modular spaces
0 references
Musielak-Orlicz spaces
0 references
variable exponent Lebesgue spaces
0 references
fixed point
0 references
nonlinear integral equation
0 references
0 references