This paper studies a new maximal operator introduced by Hytönen, McIntosh and Portal in 2008 for functions taking values in a Banach space. The $L^p$-boundedness of this operator depends on the range space; certain requirements on type and cotype are present for instance. The original Euclidean definition of the maximal function is generalized to σ-finite measure spaces with filtrations and the $L^p$-boundedness is shown not to depend on the underlying measure space or the filtration. Martingale...

Let ℳ be a hyperfinite finite von Nemann algebra and ${\left({ℳ}_k\right)}_{k\ge 1}$ be an increasing filtration of finite-dimensional von Neumann subalgebras of ℳ. We investigate abstract fractional integrals associated to the filtration ${\left({ℳ}_k\right)}_{k\ge 1}$. For a finite noncommutative martingale $x={\left(x_k\right)}_{1\le k\le n}\subseteq L₁\left(ℳ\right)$ adapted to ${\left({ℳ}_k\right)}_{k\ge 1}$ and 0 < α < 1, the fractional integral of x of order α is defined by setting $I^{\alpha }x={\sum }_{k=1}^n{\zeta }_k^{\alpha }d{x}_k$ for an appropriate sequence ${\left({\zeta }_k\right)}_{k\ge 1}$ of scalars. For the case of a noncommutative dyadic martingale in L₁() where is the type II₁ hyperfinite factor...

Let X = (Xₜ,ℱₜ) be a continuous BMO-martingale, that is, ${\left|\right|X\left|\right|}_{BMO}\equiv su{p}_T\left|\right|E\left[\right|X_{\infty }-X_T\left|\right|{ℱ}_T{\left]\right||}_{\infty }<\infty$, where the supremum is taken over all stopping times T. Define the critical exponent b(X) by $b\left(X\right)=b>0:su{p}_T\left|\right|E\left[exp\left(b²(⟨X{⟩}_{\infty }-⟨X{⟩}_T)\right)\right|{ℱ}_T]{\left|\right|}_{\infty }<\infty$, where the supremum is taken over all stopping times T. Consider the continuous martingale q(X) defined by $q\left(X\right)ₜ=E\left[⟨X{⟩}_{\infty }\right|ℱₜ]-E\left[⟨X{⟩}_{\infty }\right|ℱ₀]$. We use q(X) to characterize the distance between ⟨X⟩ and the class $L^{\infty }$ of all bounded martingales in the space of continuous BMO-martingales, and we show that the inequalities $1/4d₁(q\left(X\right),L^{\infty })\le b\left(X\right)\le 4/d₁(q\left(X\right),L^{\infty })$ hold for every continuous BMO-martingale X. ...

Let df be a Hilbert-space-valued martingale difference sequence. The paper is devoted to a new, elementary proof of the estimate $\parallel {\sum }_{k=0}^{\infty }d{f}_k{\parallel }_p\le C_p\parallel ({\sum }_{k=0}^{\infty }\left(\right|d{f}_k\left|²\right|{ℱ}_{k-1}{\left)\right)}^{1/2}{\parallel }_p+\parallel ({\sum }_{k=0}^{\infty }|d{f}_k{{|}^p)}^{1/p}{\parallel }_p,$ with $C_p=O(p/lnp)$ as p → ∞.

Consider the sequence ${\left(Cₙ\right)}_{n\ge 1}$ of positive numbers defined by C₁ = 1 and $C_{n+1}=1+Cₙ²/4$, n = 1,2,.... Let M be a real-valued martingale and let S(M) denote its square function. We establish the bound |Mₙ|≤ Cₙ Sₙ(M), n=1,2,..., and show that for each n, the constant Cₙ is the best possible.

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

We prove a lower bound in a law of the iterated logarithm for sums of the form ${\sum }_{k=1}^N{a}_{k}f(n_{k}x+c_k)$ where f satisfies certain conditions and the $n_k$ satisfy the Hadamard gap condition $n_{k+1}/n_k\ge q>1$.

Let f be a conditionally symmetric martingale and let S(f) denote its square function. (i) For p,q > 0, we determine the best constants $C_{p,q}$ such that $su{p}_n{\left(\right|fₙ|}^p{)/(1+Sₙ²\left(f\right))}^q\le C_{p,q}$. Furthermore, the inequality extends to the case of Hilbert space valued f. (ii) For N = 1,2,... and q > 0, we determine the best constants $C_{N,q}^{\text{'}}$ such that $su{p}_n\left(f{ₙ}^{2N-1}\right){(1+Sₙ²\left(f\right))}^q\le C_{N,q}^{\text{'}}$. These bounds are extended to sums of conditionally symmetric variables which are not necessarily integrable. In addition, we show that neither of the inequalities above holds if...

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 introduce generalized Campanato spaces ${}_{p,\varphi }$ on a probability space (Ω,ℱ,P), where p ∈ [1,∞) and ϕ: (0,1] → (0,∞). If p = 1 and ϕ ≡ 1, then ${}_{p,\varphi }=BMO$. We give a characterization of the set of all pointwise multipliers on ${}_{p,\varphi }$.

Let ${\left(h_k\right)}_{k\ge 0}$ be the Haar system on [0,1]. We show that for any vectors $a_k$ from a separable Hilbert space and any ${\epsilon }_k\in [-1,1]$, k = 0,1,2,..., we have the sharp inequality $\left|\right|{\sum }_{k=0}^n{\epsilon }_k{a}_k{h}_k{\left|\right|}_{W\left(\right[0,1\left]\right)}\le 2\left|\right|{\sum }_{k=0}^n{a}_k{h}_k{\left|\right|}_{L^{\infty }\left([0,1]\right)}$, n = 0,1,2,..., where W([0,1]) is the weak-$L^{\infty }$ space introduced by Bennett, DeVore and Sharpley. The above estimate is generalized to the sharp weak-type bound ${\left|\right|Y\left|\right|}_{W\left(\Omega \right)}{\le 2\left|\right|X\left|\right|}_{L^{\infty }\left(\Omega \right)}$, where X and Y stand for -valued martingales such that Y is differentially subordinate to X. An application to harmonic functions on Euclidean domains is presented.

Let $R$ be a commutative ring with unity. The notion of maximal non $\lambda$-subrings is introduced and studied. A ring $R$ is called a maximal non $\lambda$-subring of a ring $T$ if $R\subset T$ is not a $\lambda$-extension, and for any ring $S$ such that $R\subset S\subseteq T$, $S\subseteq T$ is a $\lambda$-extension. We show that a maximal non $\lambda$-subring $R$ of a field has at most two maximal ideals, and exactly two if $R$ is integrally closed in the given field. A determination of when the classical $D+M$ construction is a maximal non $\lambda$-domain is given. A necessary condition...

The notion of maximal non-pseudovaluation subring of an integral domain is introduced and studied. Let $R\subset S$ be an extension of domains. Then $R$ is called a maximal non-pseudovaluation subring of $S$ if $R$ is not a pseudovaluation subring of $S$, and for any ring $T$ such that $R\subset T\subset S$, $T$ is a pseudovaluation subring of $S$. We show that if $S$ is not local, then there no such $T$ exists between $R$ and $S$. We also characterize maximal non-pseudovaluation subrings of a local integral domain.

Let $M_S$ denote the strong maximal operator. Let $M_x$ and $M_y$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that ${\int }_Q{M}_y{M}_{x}h<\infty$ but ${\int }_Q{M}_x{M}_{y}h=\infty$. It is shown that if f is a function supported on Q such that ${\int }_Q{M}_y{M}_{x}f<\infty$ but ${\int }_Q{M}_x{M}_{y}f=\infty$, then there exists a set A of finite measure in ℝ² such that ${\int }_A{M}_{S}f=\infty$.

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

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.

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.

Let $D$ be a division ring finite dimensional over its center $F$. The goal of this paper is to prove that for any positive integer $n$ there exists $a\in D^{\left(n\right)},$ the $n$th multiplicative derived subgroup such that $F\left(a\right)$ is a maximal subfield of $D$. We also show that a single depth-$n$ iterated additive commutator would generate a maximal subfield of $D.$

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

We prove a law of the iterated logarithm for sums of the form ${\sum }_{k=1}^N{a}_{k}f\left(n_{k}x\right)$ where the $n_k$ satisfy a Hadamard gap condition. Here we assume that f is a Dini continuous function on ℝⁿ which has the property that for every cube Q of sidelength 1 with corners in the lattice ℤⁿ, f vanishes on ∂Q and has mean value zero on Q.

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

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_p\left({ℝ}^d\right)$ (in the case $p>1$), but (in the case when $1/p(·)$ is log-Hölder continuous and $p_{-}=inf\{p\left(x\right):x\in {ℝ}^d\}>1$) on the variable Lebesgue spaces $L_{p(·)}\left({ℝ}^d\right)$, too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type $(1,1)$. In the present note we generalize Besicovitch’s covering theorem for the so-called $\gamma$-rectangles. We introduce a general maximal operator $M_s^{\gamma ,\delta }$ and with the help of generalized $\Phi$-functions, the strong-...

Let Y be a Banach space and let $S\subset L_p$ be a subspace of an $L_p$ space, for some p ∈ (1,∞). We consider two operators B and C acting on S and Y respectively and satisfying the so-called maximal regularity property. Let ℬ and be their natural extensions to $S\left(Y\right)\subset L_p\left(Y\right)$. We investigate conditions that imply that ℬ + is closed and has the maximal regularity property. Extending theorems of Lamberton and Weis, we show in particular that this holds if Y is a UMD Banach lattice and $e^{-tB}$ is a positive contraction...

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

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

It is shown that there is no closed convex bounded non-dentable subset K of $C\left({\omega }^{{\omega }^k}\right)$ such that on subsets of K the PCP and the RNP are equivalent properties. Then applying the Schachermayer-Rosenthal theorem, we conclude that every non-dentable K contains a non-dentable subset L so that on L the weak topology coincides with the norm topology. It follows from known results that the RNP and the KMP are equivalent on subsets of $C\left({\omega }^{{\omega }^k}\right)$.