We prove the $L^p$ boundedness of the Marcinkiewicz integral operators ${\mu }_{\Omega }$ on ${ℝ}^{n₁}\times \cdots \times {ℝ}^{n_k}$ under the condition that $\Omega \in L{\left(logL\right)}^{k/2}{(}^{n₁-1}\times \cdots {\times }^{n_k-1})$. The exponent k/2 is the best possible. This answers an open question posed by Y. Ding.

Let $W$ be the subspace of ${\mathbb{N}}^{*}$ consisting of all weak $P$-points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$-pseudocompact space for all $p\in {\mathbb{N}}^{*}$.

Let ${}_s$ be the family of open rectangles in the plane ℝ² with a side of angle s to the x-axis. We say that a set S of directions is an R-set if there exists a function f ∈ L¹(ℝ²) such that the basis ${}_s$ differentiates the integral of f if s ∉ S, and $D{̅}_{s}f\left(x\right)=limsu{p}_{diam\left(R\right)\to 0,x\in R{\in }_s}{\left|R\right|}^{-1}{\int }_{R}f=\infty$ almost everywhere if s ∈ S. If the condition $D{̅}_{s}f\left(x\right)=\infty$ holds on a set of positive measure (instead of a.e.) we say that S is a WR-set. It is proved that S is an R-set (resp. a WR-set) if and only if it is a $G_{\delta }$ (resp. a $G_{\delta \sigma }$).

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s ≥ 3. Also let ${\Omega }_{\pi }$ be the image of D under the proper holomorphic map π. We characterize those continuous functions $f:\partial {\Omega }_{\pi }\to ℝ$ that can be extended to a real-valued pluriharmonic function in ${\Omega }_{\pi }$.

Let $X$ be a Stein manifold of complex dimension $n\ge 2$ and $\Omega ⋐X$ be a relatively compact domain with $C^2$ smooth boundary in $X$. Assume that $\Omega$ is a weakly $q$-pseudoconvex domain in $X$. The purpose of this paper is to establish sufficient conditions for the closed range of $\overline{\partial }$ on $\Omega$. Moreover, we study the $\overline{\partial }$-problem on $\Omega$. Specifically, we use the modified weight function method to study the weighted $\overline{\partial }$-problem with exact support in $\Omega$. Our method relies on the $L^2$-estimates by Hörmander (1965) and by Kohn (1973). ...

Let $\Omega \in L^s\left({\mathrm{S}}^{n-1}\right)$ for $s\ge 1$ be a homogeneous function of degree zero and $b$ a BMO function. The commutator generated by the Marcinkiewicz integral ${\mu }_{\Omega }$ and $b$ is defined by $${\displaystyle [b,{\mu }_{\Omega }]\left(f\right)\left(x\right)=({\int }_0^{\infty }{\left|{\int }_{|x-y|\le t}\frac{\Omega (x-y)}{{|x-y|}^{n-1}}[b\left(x\right)-b\left(y\right)]f\left(y\right)\mathrm{d}y{|}^2\frac{\mathrm{d}t}{t^3}\right)}^{1/2}.}$$ In this paper, the author proves the $(L^{p(·)}\left({ℝ}^n\right),L^{p(·)}\left({ℝ}^n\right))$-boundedness of the Marcinkiewicz integral operator ${\mu }_{\Omega }$ and its commutator $[b,{\mu }_{\Omega }]$ when $p(·)$ satisfies some conditions. Moreover, the author obtains the corresponding result about ${\mu }_{\Omega }$ and $[b,{\mu }_{\Omega }]$ on Herz spaces with variable exponent.

For each n ≥ 1, let $v_{n,k},k\ge 1$ and $u_{n,k},k\ge 1$ be mutually independent sequences of nonnegative random variables and let each of them consist of mutually independent and identically distributed random variables with means v̅ₙ and u̅̅ₙ, respectively. Let $X{ₙ}^B\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(v_{n,j}-v̅ₙ)$, $X{ₙ}^A\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(u_{n,j}-u̅̅ₙ)$, t ≥ 0, and $Xₙ=X{ₙ}^B-X{ₙ}^A$. The main result gives conditions under which the weak convergence $Xₙ\stackrel{}{\to }X$, where X is a Lévy process, implies $X{ₙ}^B\stackrel{}{\to }{X}^B$ and $X{ₙ}^A\stackrel{}{\to }{X}^A$, where $X^B$ and $X^A$ are mutually independent Lévy processes and $X=X^B-X^A$.

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

It is known that $ℬ\left({\ell }^p\right)$ is not amenable for p = 1,2,∞, but whether or not $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞), then so are ${\ell }^{\infty }\left(ℬ\left({\ell }^p\right)\right)$ and ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$. Moreover, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable so is ${\ell }^{\infty }(,\left(E\right))$ for any index set and for any infinite-dimensional ${ℒ}^p$-space E; in particular, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable for p ∈ (1,∞), then so is ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$. We show that ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

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

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...