A complete description of the real interpolation space $L={(L_{p₀}\left(\omega ₀\right),...,L_{pₙ}\left(\omega ₙ\right))}_{\theta ⃗,q}$ is given. An interesting feature of the result is that the whole measure space (Ω,μ) can be divided into disjoint pieces ${\Omega }_i$ (i ∈ I) such that L is an $l_q$ sum of the restrictions of L to ${\Omega }_i$, and L on each ${\Omega }_i$ is a result of interpolation of just two weighted $L_p$ spaces. The proof is based on a generalization of some recent results of the first two authors concerning real interpolation of vector-valued spaces.

The interpolation properties of Cesàro sequence and function spaces are investigated. It is shown that $Ce{s}_p\left(I\right)$ is an interpolation space between $Ce{s}_{p₀}\left(I\right)$ and $Ce{s}_{p₁}\left(I\right)$ for 1 < p₀ < p₁ ≤ ∞ and 1/p = (1 - θ)/p₀ + θ/p₁ with 0 < θ < 1, where I = [0,∞) or [0,1]. The same result is true for Cesàro sequence spaces. On the other hand, $Ce{s}_p[0,1]$ is not an interpolation space between Ces₁[0,1] and $Ce{s}_{\infty }[0,1]$.

We find necessary and sufficient conditions under which the norms of the interpolation spaces ${(N₀,N₁)}_{\theta ,q}$ and ${(X₀,X₁)}_{\theta ,q}$ are equivalent on N, where N is the kernel of a nonzero functional ψ ∈ (X₀ ∩ X₁)* and $N_i$ is the normed space N with the norm inherited from $X_i$ (i = 0,1). Our proof is based on reducing the problem to its partial case studied by Ivanov and Kalton, where ψ is bounded on one of the endpoint spaces. As an application we completely resolve the problem of when the range of the operator $T_{\theta }=S-2^{\theta }I$ (S...

If C is a capacity on a measurable space, we prove that the restriction of the K-functional $K(t,f;L^p\left(C\right),L^{\infty }\left(C\right))$ to quasicontinuous functions f ∈ QC is equivalent to $K(t,f;L^p\left(C\right)\cap QC,L^{\infty }\left(C\right)\cap QC)$. We apply this result to identify the interpolation space ${(L^{p₀,q₀}\left(C\right)\cap QC,L^{p₁,q₁}\left(C\right)\cap QC)}_{\theta ,q}$.

We introduce the notion of the modulus of dentability defined for any point of the unit sphere S(X) of a Banach space X. We calculate effectively this modulus for denting points of the unit ball of the classical interpolation space $L¹+L^{\infty }.$ Moreover, a criterion for denting points of the unit ball in this space is given. We also show that none of denting points of the unit ball of $L¹+L^{\infty }$ is a LUR-point. Consequently, the set of LUR-points of the unit ball of $L¹+L^{\infty }$ is empty.

Let $(A_0,A_1)$ be a regular interpolation couple. Under several different assumptions on a fixed $A^{\beta }$, we show that $A^{\theta }=A_{\theta }$ for every $\theta \in (0,1)$. We also deal with assumptions on ${\overline{A}}^{\beta }$, the closure of $A^{\beta }$ in the dual of ${(A_0^{*},A_1^{*})}_{\beta }$.

We prove the existence of solutions to the evolutionary Stokes system in a bounded domain Ω ⊂ ℝ³. The main result shows that the velocity belongs either to $W_p^{2s+2,s+1}\left({\Omega }^T\right)$ or to $B_{p,q}^{2s+2,s+1}\left({\Omega }^T\right)$ with p > 3 and s ∈ ℝ₊ ∪ 0. The proof is divided into two steps. First the existence in $W_p^{2k+2,k+1}$ for k ∈ ℕ is proved. Next applying interpolation theory the existence in Besov spaces in a half space is shown. Finally the technique of regularizers implies the existence in a bounded domain. The result is generalized to the spaces...

This paper deals with Besov spaces of logarithmic smoothness $B_{p,r}^{0,b}$ formed by periodic functions. We study embeddings of $B_{p,r}^{0,b}$ into Lorentz-Zygmund spaces $L_{p,q}{\left(logL\right)}_{\beta }$. Our techniques rely on the approximation structure of $B_{p,r}^{0,b}$, Nikol’skiĭ type inequalities, extrapolation properties of $L_{p,q}{\left(logL\right)}_{\beta }$ and interpolation.

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⃗.

We establish an interpolation theorem for a class of nonlinear operators in the Lebesgue spaces ${ℒ}^s\left(ℝⁿ\right)$ arising naturally in the study of elliptic PDEs. The prototype of those PDEs is the second order p-harmonic equation ${div\left|\nabla u\right|}^{p-2\nabla }u=div$. In this example the p-harmonic transform is essentially inverse to $div\left(\right|\nabla {|}^{p-2}\nabla )$. To every vector field $\in {ℒ}^q(ℝⁿ,ℝⁿ)$ our operator ${\mathscr{H}}_p$ assigns the gradient of the solution, ${\mathscr{H}}_p=\nabla u\in {ℒ}^p(ℝⁿ,ℝⁿ)$. The core of the matter is that we go beyond the natural domain of definition of this operator. Because of nonlinearity our...

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

Given two n-tuples $a=(a_1,...,a_n)$ and $b=(b_1,...,b_n)$ of bounded linear operators on a Hilbert space the question of when there exists an elementary operator E such that $E{a}_j=b_j$ for all j =1,...,n, is studied. The analogous question for left multiplications (instead of elementary operators) is answered in any C*-algebra A, as a consequence of the characterization of closed left A-submodules in $A^n$.

Let $u$ be a holomorphic function and $\varphi$ a holomorphic self-map of the open unit disk $𝔻$ in the complex plane. We provide new characterizations for the boundedness of the weighted composition operators $u{C}_{\varphi }$ from Zygmund type spaces to Bloch type spaces in $𝔻$ in terms of $u$, $\varphi$, their derivatives, and ${\varphi }^n$, the $n$-th power of $\varphi$. Moreover, we obtain some similar estimates for the essential norms of the operators $u{C}_{\varphi }$, from which sufficient and necessary conditions of compactness of $u{C}_{\varphi }$ follows immediately. ...

We study embeddings of spaces of Besov-Morrey type, $i{d}_{\Omega }{:}_{p₁,u₁,q₁}^{s₁}\left(\Omega \right){\hookrightarrow }_{p₂,u₂,q₂}^{s₂}\left(\Omega \right)$, where $\Omega \subset {ℝ}^d$ is a bounded domain, and obtain necessary and sufficient conditions for the continuity and compactness of $i{d}_{\Omega }$. This continues our earlier studies relating to the case of ${ℝ}^d$. Moreover, we also characterise embeddings into the scale of $L_p$ spaces or into the space of bounded continuous functions.

Let $u$ be a weight on $(0,\infty )$. Assume that $u$ is continuous on $(0,\infty )$. Let the operator $S_u$ be given at measurable non-negative function $\varphi$ on $(0,\infty )$ by $$S_u\varphi \left(t\right)=\underset{0<\tau \le t}{sup}u\left(\tau \right)\varphi \left(\tau \right).$$ We characterize weights $v,w$ on $(0,\infty )$ for which there exists a positive constant $C$ such that the inequality $${\left({\int }_0^{\infty }{\left[S_u\varphi \left(t\right)\right]}^{q}w\left(t\right)dt\right)}^{\frac{1}{q}}\lesssim {\left({\int }_0^{\infty }{\left[\varphi \left(t\right)\right]}^{p}v\left(t\right)dt\right)}^{\frac{1}{p}}$$ holds for every $0<p,q<\infty$. Such inequalities have been used in the study of optimal Sobolev embeddings and boundedness of certain operators on classical Lorenz spaces.

We present several continuous embeddings of the critical Besov space $B_p^{n/p,\rho }\left(ℝⁿ\right)$. We first establish a Gagliardo-Nirenberg type estimate ${\left|\right|u\left|\right|}_{{Ḃ}_{q,w_r}^{0,\nu }}\le Cₙ{(1/(n-r))}^{1/q+1/\nu -1/\rho }{(q/r)}^{1/\nu -1/\rho }{\left|\right|u\left|\right|}_{{Ḃ}_p^{0,\rho }}^{(n-r)p/nq}{\left|\right|u\left|\right|}_{{Ḃ}_p^{n/p,\rho }}^{1-(n-r)p/nq}$, for 1 < p ≤ q < ∞, 1 ≤ ν < ρ ≤ ∞ and the weight function $w_r\left(x\right)=1/{\left(\right|x|}^r)$ with 0 < r < n. Next, we prove the corresponding Trudinger type estimate, and obtain it in terms of the embedding $B_p^{n/p,\rho }\left(ℝⁿ\right)\hookrightarrow B_{\Phi ₀,w_r}^{0,\nu }\left(ℝⁿ\right)$, where the function Φ₀ of the weighted Besov-Orlicz space $B_{\Phi ₀,w_r}^{0,\nu }\left(ℝⁿ\right)$ is a Young function of the exponential type. Another point of interest is to embed $B_p^{n/p,\rho }\left(ℝⁿ\right)$ into the weighted Besov...

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.

Let $h$ be a three times partially differentiable function on ${ℝ}^n$, let $X=(X_1,...,X_n)$ be a collection of real-valued random variables and let $Z=(Z_1,...,Z_n)$ be a multivariate Gaussian vector. In this article, we develop Stein’s method to give error bounds on the difference $𝔼h\left(X\right)-𝔼h\left(Z\right)$ in cases where the coordinates of $X$ are not necessarily independent, focusing on the high dimensional case $n\to \infty$. In order to express the dependency structure we use Stein couplings, which allows for a broad range of applications, such as classic...

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

In this paper we completely characterize those weighted Hardy spaces that are Poletsky-Stessin Hardy spaces $H_u^p$. We also provide a reduction of $H^{\infty }$ problems to $H_u^p$ problems and demonstrate how such a reduction can be used to make shortcuts in the proofs of the interpolation theorem and corona problem.

We give new characterizations of the analytic Besov spaces $B_p$ on the unit ball $𝔹$ of ${ℂ}^n$ in terms of oscillations and integral means over some Euclidian balls contained in $𝔹$.

Let $W(m,n;\underline{\psi })$ denote the set of ${\psi }_1,...,{\psi }_n$–approximable points in ${ℝ}^{mn}$. The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions $\underline{\psi }$. Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of $m$ and $n$. It can not be removed for $m=n=1$ as Duffin–Schaeffer provided the counter example. We deal with the only remaining case $m=2$ and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem. ...

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...

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

Let A be a linear closed densely defined operator in a complex Banach space X. If A is of type ω (i.e. the spectrum of A is contained in a sector of angle 2ω, symmetric around the real positive axis, and $\parallel \lambda {(\lambda I-A)}^{-1}\parallel$ is bounded outside every larger sector) and has a bounded inverse, then A has a bounded $H^{\infty }$ functional calculus in the real interpolation spaces between X and the domain of the operator itself.