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

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

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

We give a new proof using the classic Calderón-Zygmund decomposition that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space $L^{p(\cdot )}$ whenever the exponent function $p(\cdot )$ satisfies log-Hölder continuity conditions. We include the case where $p(\cdot )$ assumes the value infinity. The same proof also shows that the fractional maximal operator $M_a$, , maps $L^{p(\cdot )}$ into $L^{q(\cdot )}$, where $1/p(\cdot )-1/q(\cdot )=a/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 $\beta >1$ be a non-integer. We consider 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 existence and uniqueness of a $K_{\beta }$-invariant probability measure, absolutely continuous with respect to $m_p\otimes \lambda$, where $m_p$ is the Bernoulli measure on ${\{0,1\}}^{\mathbb{N}}$ with parameter $p$ ($0<p<1$) and $\lambda$ is the normalized Lebesgue measure on $[0,\lfloor \beta \rfloor (\beta -1\left)\right]$. Furthermore, this measure is of the form $m_p\otimes {\mu }_{\beta ,p}$, where ${\mu }_{\beta ,p}$ is equivalent to $\lambda$. We prove that the measure of maximal entropy and $m_p\otimes \lambda$ are mutually...

Let φ:ℝ ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let μ be the Borel measure on ℝ ³ defined by $\mu \left(E\right)={\int }_D{\chi }_E(x,\phi \left(x\right))dx$ with D = x ∈ ℝ ²:|x| ≤ 1 and let $T_{\mu }$ be the convolution operator with the measure μ. Let $\phi =\phi {₁}^{e₁}\cdots \phi {ₙ}^{eₙ}$ be the decomposition of φ into irreducible factors. We show that if $e_i\ne m/2$ for each ${\phi }_i$ of degree 1, then the type set $E_{\mu }:=(1/p,1/q)\in [0,1]\times [0,1]:\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty$ can be explicitly described as a closed polygonal region.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

The purpose of multifractal analysis of functions is to determine the Hausdorff dimensions of the sets of points where a function (or a distribution) f has a given pointwise regularity exponent H. This notion has many variants depending on the global hypotheses made on f; if f locally belongs to a Banach space E, then a family of pointwise regularity spaces $C_E^{\alpha }\left(x₀\right)$ are constructed, leading to a notion of pointwise regularity with respect to E; the case $E=L^{\infty }$ corresponds to the usual Hölder regularity,...

A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^p$ to $L^q$ for some q > p. Positive measures which are $L^p$-improving are known to have positive Hausdorff dimension. We extend this result to complex $L^p$-improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^p$-functions.

We present a new theorem on the differential inequality $u^{\left(m\right)}\le w\left(u\right)$. Next, we apply this result to obtain existence theorems for the equation $x^{\left(m\right)}=f(t,x)$.

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators ${ℳ}^{+}$ and ${ℳ}^{-}$. More precisely, we prove that ${ℳ}^{+}$ and ${ℳ}^{-}$ map $W^{1,p}\left(ℝ\right)\to W^{1,p}\left(ℝ\right)$ with $1<p<\infty$, boundedly and continuously. In addition, we show that the discrete versions $M^{+}$ and $M^{-}$ map $\mathrm{BV}\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ boundedly and map $l^1\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ continuously. Specially, we obtain the sharp variation inequalities of $M^{+}$ and $M^{-}$, that is, $$\mathrm{Var}\left(M^{+}\left(f\right)\right)\le \mathrm{Var}\left(f\right)\text{and}\mathrm{Var}\left(M^{-}\left(f\right)\right)\le \mathrm{Var}\left(f\right)$$ if $f\in \mathrm{BV}\left(\mathbb{Z}\right)$, where $\mathrm{Var}\left(f\right)$ is the total variation of $f$ on $\mathbb{Z}$ and $\mathrm{BV}\left(\mathbb{Z}\right)$ is the set of all functions $f:\mathbb{Z}\to ℝ$ satisfying $\mathrm{Var}\left(f\right)<\infty$.

Let $S_i:{ℝ}^d\to {ℝ}^d$ for i = 1,..., N be contracting similarities, let $(p₁,...,p_N,p)$ be a probability vector and let ν be a probability measure on ${ℝ}^d$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on ${ℝ}^d$ such that $\mu ={\sum }_{i=1}^N{p}_i\mu \circ S_i^{-1}+p\nu$. We give satisfactory estimates for the lower and upper bounds of the $L^q$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

Motivated by recent developments on calculus in metric measure spaces $(X,\mathrm{d},\mathrm{m})$, we prove a general duality principle between Fuglede’s notion [15] of $p$-modulus for families of finite Borel measures in $(X,\mathrm{d})$ and probability measures with barycenter in $L^q(X,\mathrm{m})$, with $q$ dual exponent of $p\in (1,\infty )$. We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$. In the final part of the paper we provide a new proof, independent of optimal transportation, of the...