Let G be a locally compact group, let (φ,ψ) be a complementary pair of Young functions, and let $L^{\phi }\left(G\right)$ and $L^{\psi }\left(G\right)$ be the corresponding Orlicz spaces. Under some conditions on φ, we will show that for a Banach $L^{\phi }\left(G\right)$-submodule X of $L^{\psi }\left(G\right)$, the multiplier space $Ho{m}_{L^{\phi }\left(G\right)}(L^{\phi }\left(G\right),X*)$ is a dual Banach space with predual $L^{\phi }\left(G\right)\bullet X:=\overline{span}ux:u\in L^{\phi }\left(G\right),x\in X$, where the closure is taken in the dual space of $Ho{m}_{L^{\phi }\left(G\right)}(L^{\phi }\left(G\right),X*)$. We also prove that if $\phi$ is a Δ₂-regular N-function, then $C{v}_{\phi }\left(G\right)$, the space of convolutors of $M^{\phi }\left(G\right)$, is identified with the dual of a Banach algebra of functions on G...

Let (Ω,μ) be a measure space, E be an arbitrary separable Banach space, $E{*}_{\omega *}$ be the dual equipped with the weak* topology, and g:Ω × E → ℝ be a Carathéodory function which is Lipschitz continuous on each ball of E for almost all s ∈ Ω. Put $G\left(x\right):={\int }_{\Omega }g(s,x\left(s\right))d\mu \left(s\right)$. Consider the integral functional G defined on some non-$L^p$-type Banach space X of measurable functions x: Ω → E. We present several general theorems on sufficient conditions under which any element γ ∈ X* of Clarke’s generalized gradient (multivalued...

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of...

We give some equivalent conditions (independent from the Young functions) for inclusions between some classes of $X^{\Phi }$ spaces, where $\Phi$ is a Young function and $X$ is a quasi-Banach function space on a $\sigma$-finite measure space $(\Omega ,𝒜,\mu )$.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

We introduce and study two new classes of Banach spaces, the so-called sequentially Right Banach spaces of order $p$, and those defined by the dual property, the sequentially Right${}^{*}$ Banach spaces of order $p$ for $1\le p\le \infty$. These classes of Banach spaces are characterized by the notions of $L_p$-limited sets in the corresponding dual space and $R_p^{*}$ subsets of the involved Banach space, respectively. In particular, we investigate whether the injective tensor product of a Banach space $X$ and a reflexive Banach...

Let 1 ≤ p < 2 and let $L_p=L_p[0,1]$ be the classical $L_p$-space of all (classes of) p-integrable functions on [0,1]. It is known that a sequence of independent copies of a mean zero random variable $f\in L_p$ spans in $L_p$ a subspace isomorphic to some Orlicz sequence space $l_M$. We give precise connections between M and f and establish conditions under which the distribution of a random variable $f\in L_p$ whose independent copies span $l_M$ in $L_p$ is essentially unique.

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_k}$ for which $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ is attained at some f in the dual unit sphere $S_{X*}$. A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f\in S_{X*}$, there exists $g\in S_{X*}$ such that $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

Let ${\beta \left(n\right)}_{n=0}^{\infty }$ be a sequence of positive numbers and 1 ≤ p < ∞. We consider the space ${\ell }^p\left(\beta \right)$ of all power series $f\left(z\right)={\sum }_{n=0}^{\infty }f̂\left(n\right)zⁿ$ such that ${\sum }_{n=0}^{\infty }{\left|f̂\left(n\right)\right|}^p{\left|\beta \left(n\right)\right|}^p<\infty$. We give some sufficient conditions for the multiplication operator, $M_z$, to be unicellular on the Banach space ${\ell }^p\left(\beta \right)$. This generalizes the main results obtained by Lu Fang [1].

We give a full solution of the following problems concerning the spaces $M_{\phi }\left(X⃗\right)$: (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{\phi }\left(X⃗\right)\ne M_{\psi }\left(X⃗\right)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{\phi }\left(X⃗\right)⊊M_{\psi }\left(X⃗\right)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{\phi }\left(X⃗\right)$-space for some (unknown beforehand) Banach couple X⃗.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

We study order convexity and concavity of quasi-Banach Lorentz spaces ${\Lambda }_{p,w}$, where 0 < p < ∞ and w is a locally integrable positive weight function. We show first that ${\Lambda }_{p,w}$ contains an order isomorphic copy of $l^p$. We then present complete criteria for lattice convexity and concavity as well as for upper and lower estimates for ${\Lambda }_{p,w}$. We conclude with a characterization of the type and cotype of ${\Lambda }_{p,w}$ in the case when ${\Lambda }_{p,w}$ is a normable space.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T:X\to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$-algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C\left(K\right)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

We study imbeddings of the Sobolev space $W^{m,\varrho }\left(\Omega \right)$: = u: Ω → ℝ with $\varrho ({\partial }^{\alpha }u/\partial x^{\alpha })$ < ∞ when |α| ≤ m, in which Ω is a bounded Lipschitz domain in ℝⁿ, ϱ is a rearrangement-invariant (r.i.) norm and 1 ≤ m ≤ n - 1. For such a space we have shown there exist r.i. norms, ${\tau }_{\varrho }$ and ${\sigma }_{\varrho }$, that are optimal with respect to the inclusions $W^{m,\varrho }\left(\Omega \right)\subset W^{m,{\tau }_{\varrho }}\left(\Omega \right)\subset L_{{\sigma }_{\varrho }}\left(\Omega \right)$. General formulas for ${\tau }_{\varrho }$ and ${\sigma }_{\varrho }$ are obtained using the -method of interpolation. These lead to explicit expressions when ϱ is a Lorentz Gamma norm or an Orlicz norm.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\overline{linf\left(\right[0,1\left]\right)}$ contains an order isomorphic copy of D(0,1), (2) $\overline{linf\left(Q\right)}$ contains an isomorphic copy of C([0,1]), (3) $\overline{linf\left(\right[0,1\left]\right)}/\overline{linf\left(Q\right)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

Let $L:=-\Delta +V$ be a Schrödinger operator on ${ℝ}^n$ with $n\ge 3$ and $V\ge 0$ satisfying ${\Delta }^{-1}V\in L^{\infty }\left({ℝ}^n\right)$. Assume that $\varphi :{ℝ}^n\times [0,\infty )\to [0,\infty )$ is a function such that $\varphi (x,·)$ is an Orlicz function, $\varphi (·,t)\in {𝔸}_{\infty }\left({ℝ}^n\right)$ (the class of uniformly Muckenhoupt weights). Let $w$ be an $L$-harmonic function on ${ℝ}^n$ with $0<C_1\le w\le C_2$, where $C_1$ and $C_2$ are positive constants. In this article, the author proves that the mapping $H_{\varphi ,L}\left({ℝ}^n\right)\ni f\mapsto wf\in H_{\varphi }\left({ℝ}^n\right)$ is an isomorphism from the Musielak-Orlicz-Hardy space associated with $L$, $H_{\varphi ,L}\left({ℝ}^n\right)$, to the Musielak-Orlicz-Hardy space $H_{\varphi }\left({ℝ}^n\right)$ under some assumptions on $\varphi$. As applications, the author further...

A new lower bound for the Jung constant $JC\left(l^{\left(\Phi \right)}\right)$ of the Orlicz sequence space $l^{\left(\Phi \right)}$ defined by an N-function Φ is found. It is proved that if $l^{\left(\Phi \right)}$ is reflexive and the function tΦ’(t)/Φ(t) is increasing on $(0,{\Phi }^{-1}\left(1\right)]$, then $JC\left(l^{\left(\Phi \right)}\right)\ge \left({\Phi }^{-1}(1/2)\right)/\left({\Phi }^{-1}\left(1\right)\right)$. Examples in Section 3 show that the above estimate is better than in Zhang’s paper (2003) in some cases and that the results given in Yan’s paper (2004) are not accurate.

Our aim in this paper is to establish Trudinger’s inequality on Musielak-Orlicz-Morrey spaces $L^{\Phi ,\kappa }\left(G\right)$ under conditions on $\Phi$ which are essentially weaker than those considered in a former paper. As an application and example, we show Trudinger’s inequality for double phase functionals $\Phi (x,t)=t^{p\left(x\right)}+a\left(x\right)t^{q\left(x\right)}$, where $p(·)$ and $q(·)$ satisfy log-Hölder conditions and $a(·)$ is nonnegative, bounded and Hölder continuous.

An example of a non-zero non-atomic translation-invariant Borel measure ${\nu }_p$ on the Banach space ${\ell }_p\left(1\le p\le \infty \right)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "${\nu }_p$-almost every element of ${\ell }_p$ has a property P" implies that “almost every” element of ${\ell }_p$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

Denote by any set of cardinality continuum. It is proved that a Banach algebra A with the property that for every collection $a_{\alpha }:\alpha \in \subset A$ there exist α ≠ β ∈ such that $a_{\alpha }\in a_{\beta }{A}^{}$ is isomorphic to ${⨁}_{i=1}^r(ℂ\left[X\right]/X^{d_i}ℂ\left[X\right])\oplus E$, where $d₁,...,d_r\in \mathbb{N}$, and E is either $Xℂ\left[X\right]/X^{d₀}ℂ\left[X\right]$ for some d₀ ∈ ℕ or a 1-dimensional ${⨁}_{i=1}^rℂ\left[X\right]/X^{d_i}ℂ\left[X\right]$-bimodule with trivial right module action. In particular, ℂ is the unique non-zero prime Banach algebra satisfying the above condition.

For a completely contractive Banach algebra $B$, we find conditions under which the completely bounded multiplier algebra ${ℳ}_{cb}\left(B\right)$ is a dual Banach algebra and the operator amenability of $B$ is equivalent to the operator Connes-amenability of ${ℳ}_{cb}\left(B\right)$. We also show that, in this case, these are equivalent to the existence of a normal virtual operator diagonal.