We present the complex interpolation of Besov and Triebel–Lizorkin spaces with generalized smoothness. In some particular cases these function spaces are just weighted Besov and Triebel–Lizorkin spaces. As a corollary of our results, we obtain the complex interpolation between the weighted Triebel–Lizorkin spaces ${\dot{F}}_{p_0,q_0}^{s_0}\left({\omega }_0\right)$ and ${\dot{F}}_{\infty ,q_1}^{s_1}\left({\omega }_1\right)$ with suitable assumptions on the parameters $s_0,s_1,p_0,q_0$ and $q_1$, and the pair of weights $({\omega }_0,{\omega }_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...

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

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

Let $\theta \in (0,1)$, $\lambda \in [0,1)$ and $p,p_0,p_1\in (1,\infty ]$ be such that $(1-\theta )/p_0+\theta /p_1=1/p$, and let $\varphi ,{\varphi }_0,{\varphi }_1$ be some admissible functions such that $\varphi ,{\varphi }_0^{p/p_0}$ and ${\varphi }_1^{p/p_1}$ are equivalent. We first prove that, via the $\pm$ interpolation method, the interpolation $\langle L_{{\varphi }_0}^{p_0),\lambda }\left(𝒳\right),L_{{\varphi }_1}^{p_1),\lambda }\left(𝒳\right),\theta \rangle$ of two generalized grand Morrey spaces on a quasi-metric measure space $𝒳$ is the generalized grand Morrey space $L_{\varphi }^{p),\lambda }\left(𝒳\right)$. Then, by using block functions, we also find a predual space of the generalized grand Morrey space. These results are new even for generalized grand Lebesgue spaces.

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

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

We discuss the existence of the current $g^{k}T$, $k\in \mathbb{N}$ for positive and closed currents $T$ and unbounded plurisubharmonic functions $g$. Furthermore, a new type of weighted Lelong number is introduced under the name of weight $k$ Lelong number.

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 the duality theory of the weighted multi-parameter Triebel-Lizorkin spaces ${\dot{F}}_p^{\alpha ,q}(\omega ;{ℝ}^{n_1}\times {ℝ}^{n_2})$. This space has been introduced and the result $${\left({\dot{F}}_p^{\alpha ,q}(\omega ;{ℝ}^{n_1}\times {ℝ}^{n_2})\right)}^{*}={\mathrm{CMO}}_p^{-\alpha ,q^{\text{'}}}(\omega ;{ℝ}^{n_1}\times {ℝ}^{n_2})$$ for $0<p\le 1$ has been proved in Ding, Zhu (2017). In this paper, for $1<p<\infty$, $0<q<\infty$ we establish its dual space ${\dot{H}}_p^{\alpha ,q}(\omega ;{ℝ}^{n_1}\times {ℝ}^{n_2})$.

The aim of this paper is to characterize the $L^p-L^q$ boundedness of two classes of integral operators from $L^p(𝒰,\mathrm{d}{V}_{\alpha })$ to $L^q(𝒰,\mathrm{d}{V}_{\beta })$ in terms of the parameters $a$, $b$, $c$, $p$, $q$ and $\alpha$, $\beta$, where $𝒰$ is the Siegel upper half-space. The results in the presented paper generalize a corresponding result given in C. Liu, Y. Liu, P. Hu, L. Zhou (2019).

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

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

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