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

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

We consider the maximal regularity problem for the discrete time evolution equation $u_{n+1}-Tuₙ=fₙ$ for all n ∈ ℕ₀, u₀ = 0, where T is a bounded operator on a UMD space X. We characterize the discrete maximal regularity of T by two types of conditions: firstly by R-boundedness properties of the discrete time semigroup ${\left(Tⁿ\right)}_{n\in \mathbb{N}₀}$ and of the resolvent R(λ,T), secondly by the maximal regularity of the continuous time evolution equation u’(t) - Au(t) = f(t) for all t > 0, u(0) = 0, where A:= T - I. By recent...

We prove sharp a priori estimates for the distribution function of the dyadic maximal function ℳ ϕ, when ϕ belongs to the Lorentz space $L^{p,q}$, 1 < p < ∞, 1 ≤ q < ∞. The approach rests on a precise evaluation of the Bellman function corresponding to the problem. As an application, we establish refined weak-type estimates for the dyadic maximal operator: for p,q as above and r ∈ [1,p], we determine the best constant $C_{p,q,r}$ such that for any $\varphi \in L^{p,q}$, ${\left|\right|ℳ\varphi \left|\right|}_{r,\infty }\le C_{p,q,r}{\left|\right|\varphi \left|\right|}_{p,q}$.

Let ω be a Békollé-Bonami weight. We give a complete characterization of the positive measures μ such that ${\int }_{}|M_{\omega }{f\left(z\right)|}^{q}d\mu \left(z\right)\le C({\int }_{}{\left|f\left(z\right)\right|}^p{\omega \left(z\right)dV\left(z\right))}^{q/p}$ and $\mu \left(z\in :Mf\left(z\right)>\lambda \right)\le C/\left({\lambda }^q\right)({\int }_{}|f\left(z\right){{|}^p\omega \left(z\right)dV\left(z\right))}^{q/p}$, where $M_{\omega }$ is the weighted Hardy-Littlewood maximal function on the upper half-plane and 1 ≤ p,q <; ∞.

An RD-space $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds. The authors prove that for a space of homogeneous type $𝒳$ having “dimension” $n$, there exists a $p_0\in (n/(n+1),1)$ such that for certain classes of distributions, the $L^p\left(𝒳\right)$ quasi-norms of their radial maximal functions and grand maximal functions are equivalent when $p\in (p_0,\infty ]$. This result yields a radial maximal function characterization for Hardy spaces on $𝒳$. ...

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

If the second order problem $\ddot{u}+\dot{u}+Au=f$ has $L^p$ maximal regularity for some $p\in (1,\mathrm{\infty })$, then it has $L^p$ maximal regularity for every $p\in (1,\mathrm{\infty })$.

A necessary and sufficient condition is given on the basis of a rare maximal function $M_l$ such that $M_{l}f\in L¹\left([0,1]\right)$ implies f ∈ L log L([0,1]).

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

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.

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $\nu \left(E\right)={\int }_{ℂⁿ}{\chi }_E(w,\phi \left(w\right))\eta \left(w\right)dw$, where $\phi \left(w\right)={\sum }_{j=1}^n{a}_j\left|w_j\right|²$, w = (w₁,...,wₙ) ∈ ℂⁿ, $a_j\in ℝ$, and η(w) = η₀(|w|²) with $\eta ₀\in C_c^{\infty }\left(ℝ\right)$. We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^p\left(ℍⁿ\right)-L^q\left(ℍⁿ\right)$ bounded. We also obtain $L^p$-improving properties of measures supported on the graph of the function $\phi \left(w\right)={\left|w\right|}^{2m}$.

We prove $L^2$ $$\dot{u}\left(t\right)+A\left(t\right)u\left(t\right)=f\left(t\right)\text{for}\text{a.e.}t\in [0,T],u\left(0\right)=u_0,$$ where the operator $A\left(t\right)$ arises from a time depending sesquilinear form $𝔞(t,·,·)$ on a Hilbert space $H$ with constant domain $V.$ We prove the maximal regularity in $H$ when these forms are time Lipschitz continuous. We proceed by approximating the problem using the frozen coefficient method developed by El-Mennaoui, Keyantuo, Laasri (2011), El-Mennaoui, Laasri (2013), and Laasri (2012). As a consequence, we obtain an invariance criterion for convex and closed...

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 d > 0 be a positive real number and n ≥ 1 a positive integer and define the operator $S_d$ and its associated global maximal operator $S*{*}_d$ by $\left(S_{d}f\right)(x,t)=1/\left(2\pi \right)ⁿ{\int }_{ℝⁿ}{e}^{ix·\xi }{e}^{{it\left|\xi \right|}^d}f̂\left(\xi \right)d\xi$, f ∈ (ℝⁿ), x ∈ ℝⁿ, t ∈ ℝ, $(S*{*}_{d}f)\left(x\right)=su{p}_{t\in ℝ}|1/\left(2\pi \right)ⁿ{\int }_{ℝⁿ}{e}^{ix·\xi }{e}^{{it\left|\xi \right|}^d}f̂\left(\xi \right)d\xi |$, f ∈ (ℝⁿ), x ∈ ℝⁿ, where f̂ is the Fourier transform of f and (ℝⁿ) is the Schwartz class of rapidly decreasing functions. If d = 2, $S_{d}f$ is the solution to the initial value problem for the free Schrödinger equation (cf. (1.3) in this paper). We prove that for radial functions f ∈ (ℝⁿ), if n ≥ 3, 0 < d ≤ 2, and p ≥...

The main aim of this paper is to prove that the maximal operator $\sigma ₀*:=supₙ|{\sigma }_{n,n}|$ of the Fejér means of the double Vilenkin-Fourier series is not bounded from the Hardy space $H_{1/2}$ to the space weak-$L_{1/2}$.

The main aim of this paper is to prove that the maximal operator ${\sigma }^{}$ is bounded from the Hardy space $H_{1/2}$ to weak-$L_{1/2}$ and is not bounded from $H_{1/2}$ to $L_{1/2}$.

The aim of this paper is to establish transference and restriction theorems for maximal operators defined by multipliers on the Hardy spaces $H^p\left({ℝ}^n\right)$ and $H^p{(}^n)$, 0 < p ≤ 1, which generalize the results of Kenig-Tomas for the case p > 1. We prove that under a mild regulation condition, an $L^{\infty }\left({ℝ}^n\right)$ function m is a maximal multiplier on $H^p\left({ℝ}^n\right)$ if and only if it is a maximal multiplier on $H^p{(}^n)$. As an application, the restriction of maximal multipliers to lower dimensional Hardy spaces is considered. ...

We give a quantitative characterization of the pairs of weights $(w,v)$ for which the dyadic version of the one-sided Hardy-Littlewood maximal operator satisfies a restricted weak $(p,p)$ type inequality for $1\le p<\infty$. More precisely, given any measurable set $E_0$, the estimate $$w\left(\{x\in {ℝ}^n:M^{+,d}\left({𝒳}_{E_0}\right)\left(x\right)>t\}\right)\le \frac{C{\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}^p}{t^p}v\left(E_0\right)$$ holds if and only if the pair $(w,v)$ belongs to $A_p^{+,d}\left(ℛ\right)$, that is, $$\frac{\left|E\right|}{\left|Q\right|}\le {\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}{\left(\frac{v\left(E\right)}{w\left(Q\right)}\right)}^{1/p}$$ for every dyadic cube $Q$ and every measurable set $E\subset Q^{+}$. The proof follows some ideas appearing in S. Ombrosi (2005). We also obtain a similar quantitative characterization for the...

Let $\beta >1$ be a non-integer. We consider $\beta$-expansions of the form ${\sum }_{i=1}^{\infty }{d}_i/{\beta }^i$, where the digits ${\left(d_i\right)}_{i\ge 1}$ are generated by means of a Borel map $K_{\beta }$ defined on ${\{0,1\}}^{\mathbb{N}}\times [0,\lfloor \beta \rfloor /\left(\beta -1\right)]$. We show that $K_{\beta }$ has a unique mixing measure ${\nu }_{\beta }$ of maximal entropy with marginal measure an infinite convolution of Bernoulli measures. Furthermore, under the measure ${\nu }_{\beta }$ the digits ${\left(d_i\right)}_{i\ge 1}$ form a uniform Bernoulli process. In case 1 has a finite greedy expansion with positive coefficients, the measure of maximal entropy is Markov. We also discuss the uniqueness...

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...