Let T be a kernel operator with values in a rearrangement invariant Banach function space X on [0,∞) and defined over simple functions on [0,∞) of bounded support. We identify the optimal domain for T (still with values in X) in terms of interpolation spaces, under appropriate conditions on the kernel and the space X. The techniques used are based on the relation between linear operators and vector measures.

Refinements of the classical Sobolev inequality lead to optimal domain problems in a natural way. This is made precise in recent work of Edmunds, Kerman and Pick; the fundamental technique is to prove that the (generalized) Sobolev inequality is equivalent to the boundedness of an associated kernel operator on [0,1]. We make a detailed study of both the optimal domain, providing various characterizations of it, and of properties of the kernel operator when it is extended to act in its optimal domain....

We establish the embedding of the critical Sobolev-Lorentz-Zygmund space $H_{p,q,\lambda ₁,...,\lambda ₘ}^{n/p}\left(ℝⁿ\right)$ into the generalized Morrey space ${ℳ}_{\Phi ,r}\left(ℝⁿ\right)$ with an optimal Young function Φ. As an application, we obtain the almost Lipschitz continuity for functions in $H_{p,q,\lambda ₁,...,\lambda ₘ}^{n/p+1}\left(ℝⁿ\right)$. O’Neil’s inequality and its reverse play an essential role in the proofs of the main theorems.

We prove optimal embeddings of homogeneous Sobolev spaces built over function spaces in ℝⁿ with K-monotone and rearrangement invariant norm into other rearrangement invariant function spaces. The investigation is based on pointwise and integral estimates of the rearrangement or the oscillation of the rearrangement of f in terms of the rearrangement of the derivatives of f.

Dato un qualsiasi spazio invariante per riordinamenti $X\left(\mathrm{\Omega }\right)$ su un insieme aperto $\mathrm{\Omega }\subset {\mathbb{R}}^n$, si determina il più piccolo spazio invariante per riordinamenti $Y\left(\mathrm{\Omega }\right)$ con la proprietà che se $u:\mathrm{\Omega }\to {\mathbb{R}}^n$ è una applicazione che mantiene l'orientamento e ${\left|Du\right|}^n\in X\left(\mathrm{\Omega }\right)$, allora $detDu$ appartiene localmente a $Y\left(\mathrm{\Omega }\right)$.

We study Sobolev-type embeddings involving rearrangement-invariant norms. In particular, we focus on the question when such embeddings are optimal. We concentrate on the case when the functions involved are defined on Rn. This subject has been studied before, but only on bounded domains. We first establish the equivalence of the Sobolev embedding to a new type of inequality involving two integral operators. Next, we show this inequality to be equivalent to the boundedness of a certain Hardy operator...

This paper continues our study of Sobolev-type imbedding inequalities involving rearrangement-invariant Banach function norms. In it we characterize when the norms considered are optimal. Explicit expressions are given for the optimal partners corresponding to a given domain or range norm.

We establish the sharpness of embedding theorems for Bessel-potential spaces modelled upon Lorentz-Karamata spaces and we prove the non-compactness of such embeddings. Target spaces in our embeddings are generalized Hölder spaces. As consequences of our results, we get continuous envelopes of Bessel-potential spaces modelled upon Lorentz-Karamata spaces.

Suppose E is fully symmetric Banach function space on (0,1) or (0,∞) or a fully symmetric Banach sequence space. We give necessary and sufficient conditions on f ∈ E so that its orbit Ω(f) is the closed convex hull of its extreme points. We also give an application to symmetrically normed ideals of compact operators on a Hilbert space.

The space of all order continuous linear functionals on an Orlicz space $L^{\varphi }$ defined by an arbitrary (not necessarily convex) Orlicz function $\varphi$ is described.

Let L-phi be an Orlicz space defined by a Young function phi over a sigma-finite measure space, and let phi* denote the complementary function in the sense of Young. We give a characterization of the Mackey topology tau(L*,L-phi*) in terms of some family of norms defined by some regular Young functions. Next we describe order continuous (=absolutely continuous) Riesz seminorms on L-phi, and obtain a criterion for relative sigma(L-phi,L-phi*)-compactness in L-phi. As an application we get a representation...

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.

Let I = (0,∞) with the usual topology. For x,y ∈ I, we define xy = max(x,y). Then I becomes a locally compact commutative topological semigroup. The Banach space L¹(I) of all Lebesgue integrable functions on I becomes a commutative semisimple Banach algebra with order convolution as multiplication. A bounded linear operator T on L¹(I) is called a multiplier of L¹(I) if T(f*g) = f*Tg for all f,g ∈ L¹(I). The space of multipliers of L¹(I) was determined by Johnson and Lahr. Let X be a Banach space...

Let $K$ be a compact space and let $C\left(K\right)$ be the Banach lattice of real-valued continuous functions on $K$. We establish eleven conditions equivalent to the strong compactness of the order interval $[0,x]$ in $C\left(K\right)$, including the following ones: (i) $\{x>0\}$ consists of isolated points of $K$; (ii) $[0,x]$ is pointwise compact; (iii) $[0,x]$ is weakly compact; (iv) the strong topology and that of pointwise convergence coincide on $[0,x]$; (v) the strong and weak topologies coincide on $[0,x]$. Moreover, the weak topology and that of pointwise convergence...

The classical theorems of Banach and Stone (1932, 1937), Gelfand and Kolmogorov (1939) and Kaplansky (1947) show that a compact Hausdorff space X is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure, respectively, of the space C(X). In this paper, it is shown that for rather general subspaces A(X) and A(Y) of C(X) and C(Y), respectively, any linear bijection T: A(X) → A(Y) such that f ≥ 0 if and only if Tf ≥ 0 gives rise to a homeomorphism...

Let E be an ideal of L⁰ over a σ-finite measure space (Ω,Σ,μ). For a real Banach space $(X,|\left|·\right|{|}_X)$ let E(X) be a subspace of the space L⁰(X) of μ-equivalence classes of strongly Σ-measurable functions f: Ω → X and consisting of all those f ∈ L⁰(X) for which the scalar function ${\left|\right|f\left(·\right)\left|\right|}_X$ belongs to E. Let E(X)˜ stand for the order dual of E(X). For u ∈ E⁺ let $D_u(={f\in E\left(X\right):\left|\right|f\left(·\right)\left|\right|}_X\le u)$ stand for the order interval in E(X). For a real Banach space $(Y,|\left|·\right|{|}_Y)$ a linear operator T: E(X) → Y is said to be order-bounded whenever for each u ∈ E⁺ the set...