A note on the strong maximal operator on ℝⁿ

Jiecheng Chen; Xiangrong Zhu

Displaying similar documents to “A note on the strong maximal operator on ℝⁿ”

Local integrability of strong and iterated maximal functions

Paul Alton Hagelstein (2001)

Studia Mathematica

Similarity:

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

Algebraic genericity of strict-order integrability

Luis Bernal-González (2010)

Studia Mathematica

Similarity:

We provide sharp conditions on a measure μ defined on a measurable space X guaranteeing that the family of functions in the Lebesgue space $L^{p} (μ, X)$ (p ≥ 1) which are not q-integrable for any q > p (or any q < p) contains large subspaces of $L^{p} (μ, X)$ (without zero). This improves recent results due to Aron, García, Muñoz, Palmberg, Pérez, Puglisi and Seoane. It is also shown that many non-q-integrable functions can even be obtained on any nonempty open subset of X, assuming that X is a topological...

A note on rare maximal functions

Paul Alton Hagelstein (2003)

Colloquium Mathematicae

Similarity:

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

On Hermite expansions of $x^{k}$ and ln|x|

Z. Sadlok, Z. Tyc (1977)

Annales Polonici Mathematici

Similarity:

On the Rademacher maximal function

Mikko Kemppainen (2011)

Studia Mathematica

Similarity:

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

On the UMD constant of the space $ℓ ₁^{N}$

Adam Osękowski (2016)

Colloquium Mathematicae

Similarity:

Let N ≥ 2 be a given integer. Suppose that $d f = {(d f ₙ)}_{n \geq 0}$ is a martingale difference sequence with values in $ℓ ₁^{N}$ and let ${(ε ₙ)}_{n \geq 0}$ be a deterministic sequence of signs. The paper contains the proof of the estimate $ℙ (s u p_{n \geq 0} | | \sum_{k = 0}^{n} ε_{k} d f_{k} {| |}_{ℓ ₁^{N}} \geq 1) \leq (l n N + l n (3 l n N)) / (1 - {(2 l n N)}^{- 1}) s u p_{n \geq 0} | | \sum_{k = 0}^{n} d f_{k} {| |}_{ℓ ₁^{N}}$ . It is shown that this result is asymptotically sharp in the sense that the least constant $C_{N}$ in the above estimate satisfies $l i m_{N \to \infty} C_{N} / l n N = 1$ . The novelty in the proof is the explicit verification of the ζ-convexity of the space $ℓ ₁^{N}$ .

Distinguished subspaces of $L_{p}$ of maximal dimension

Geraldo Botelho, Daniel Cariello, Vinícius V. Fávaro, Daniel Pellegrino, Juan B. Seoane-Sepúlveda (2013)

Studia Mathematica

Similarity:

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

Kristóf Szarvas, Ferenc Weisz (2016)

Czechoslovak Mathematical Journal

Similarity:

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_{p} (ℝ^{d})$ (in the case $p > 1$ ), but (in the case when $1 / p (\cdot)$ is log-Hölder continuous and $p_{-} = inf {p (x) : x \in ℝ^{d}} > 1$ ) on the variable Lebesgue spaces $L_{p (\cdot)} (ℝ^{d})$ , 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 $γ$ -rectangles. We introduce a general maximal operator $M_{s}^{γ, δ}$ and with the help of generalized $Φ$ -functions, the strong-...

Weak-type inequalities for maximal operators acting on Lorentz spaces

Adam Osękowski (2014)

Banach Center Publications

Similarity:

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 $ϕ \in L^{p, q}$ , ${| | ℳ ϕ | |}_{r, \infty} \leq C_{p, q, r} {| | ϕ | |}_{p, q}$ .

Problems on averages and lacunary maximal functions

Andreas Seeger, James Wright (2011)

Banach Center Publications

Similarity:

We prove three results concerning convolution operators and lacunary maximal functions associated to dilates of measures. First we obtain an H¹ to $L^{1, \infty}$ bound for lacunary maximal operators under a dimensional assumption on the underlying measure and an assumption on an $L^{p}$ regularity bound for some p > 1. Secondly, we obtain a necessary and sufficient condition for L² boundedness of lacunary maximal operator associated to averages over convex curves in the plane. Finally we prove an $L^{p}$ ...

Radial maximal function characterizations for Hardy spaces on RD-spaces

Loukas Grafakos, Liguang Liu, Dachun Yang (2009)

Bulletin de la Société Mathématique de France

Similarity:

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} (𝒳)$ 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 maximal theorem for weighted grand Lebesgue spaces

Alberto Fiorenza, Babita Gupta, Pankaj Jain (2008)

Studia Mathematica

Similarity:

We study the Hardy inequality and derive the maximal theorem of Hardy and Littlewood in the context of grand Lebesgue spaces, considered when the underlying measure space is the interval (0,1) ⊂ ℝ, and the maximal function is localized in (0,1). Moreover, we prove that the inequality ${| | M f | |}_{p), w} {\leq c | | f | |}_{p), w}$ holds with some c independent of f iff w belongs to the well known Muckenhoupt class $A_{p}$ , and therefore iff ${| | M f | |}_{p, w} {\leq c | | f | |}_{p, w}$ for some c independent of f. Some results of similar type are discussed for the case of small...

Restricted weak type inequalities for the one-sided Hardy-Littlewood maximal operator in higher dimensions

Fabio Berra (2022)

Czechoslovak Mathematical Journal

Similarity:

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 \leq p < \infty$ . More precisely, given any measurable set $E_{0}$ , the estimate $w ({x \in ℝ^{n} : M^{+, d} (𝒳_{E_{0}}) (x) > t}) \leq \frac{C {[(w, v)]}_{A_{p}^{+, d} (ℛ)}^{p}}{t^{p}} v (E_{0})$ holds if and only if the pair $(w, v)$ belongs to $A_{p}^{+, d} (ℛ)$ , that is, $\frac{| E |}{| Q |} \leq {[(w, v)]}_{A_{p}^{+, d} (ℛ)} {(\frac{v (E)}{w (Q)})}^{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...

Maximal operators of Fejér means of double Vilenkin-Fourier series

István Blahota, György Gát, Ushangi Goginava (2007)

Colloquium Mathematicae

Similarity:

The main aim of this paper is to prove that the maximal operator $σ ₀ * : = s u p ₙ | σ_{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 weak type inequality for the Walsh system

Ushangi Goginava (2008)

Studia Mathematica

Similarity:

The main aim of this paper is to prove that the maximal operator $σ^{}$ 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}$ .

Weighted norm inequalities for maximal singular integrals with nondoubling measures

Guoen Hu, Dachun Yang (2008)

Studia Mathematica

Similarity:

Let μ be a nonnegative Radon measure on $ℝ^{d}$ which satisfies μ(B(x,r)) ≤ Crⁿ for any $x \in ℝ^{d}$ and r > 0 and some positive constants C and n ∈ (0,d]. In this paper, some weighted norm inequalities with $A_{p}^{ϱ} (μ)$ weights of Muckenhoupt type are obtained for maximal singular integral operators with such a measure μ, via certain weighted estimates with $A_{\infty}^{ϱ} (μ)$ weights of Muckenhoupt type involving the John-Strömberg maximal operator and the John-Strömberg sharp maximal operator, where ϱ,p ∈ [1,∞).

Maximal non-pseudovaluation subrings of an integral domain

Rahul Kumar (2024)

Czechoslovak Mathematical Journal

Similarity:

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.

Sums of commuting operators with maximal regularity

Christian Le Merdy, Arnaud Simard (2001)

Studia Mathematica

Similarity:

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 (Y) \subset L_{p} (Y)$ . 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^{- t B}$ is a positive contraction...

Transference and restriction of maximal multiplier operators on Hardy spaces

Zhixin Liu, Shanzhen Lu (1993)

Studia Mathematica

Similarity:

The aim of this paper is to establish transference and restriction theorems for maximal operators defined by multipliers on the Hardy spaces $H^{p} (ℝ^{n})$ 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} (ℝ^{n})$ function m is a maximal multiplier on $H^{p} (ℝ^{n})$ 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. ...

Spectral radius of weighted composition operators in $L^{p}$ -spaces

Krzysztof Zajkowski (2010)

Studia Mathematica

Similarity:

We prove that for the spectral radius of a weighted composition operator $a T_{α}$ , acting in the space $L^{p} (X,, μ)$ , the following variational principle holds: $l n r (a T_{α}) = m a x_{ν \in M ¹_{α, e}} \int_{X} l n | a | d ν$ , where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M ¹_{α, e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and $_{\infty}$ -measurable function, where $_{\infty} = ⋂_{n = 0}^{\infty} α^{- n} ()$ . This considerably extends the range of validity of the above formula, which was previously known...

Certain simple maximal subfields in division rings

Mehdi Aaghabali, Mai Hoang Bien (2019)

Czechoslovak Mathematical Journal

Similarity:

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^{(n)},$ the $n$ th multiplicative derived subgroup such that $F (a)$ is a maximal subfield of $D$ . We also show that a single depth- $n$ iterated additive commutator would generate a maximal subfield of $D .$

A complete characterization of R-sets in the theory of differentiation of integrals

G. A. Karagulyan (2007)

Studia Mathematica

Similarity:

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 (x) = l i m s u p_{d i a m (R) \to 0, x \in R \in_{s}} {| R |}^{- 1} \int_{R} f = \infty$ almost everywhere if s ∈ S. If the condition $D ̅_{s} f (x) = \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_{δ}$ (resp. a $G_{δ σ}$ ).

Maximal non $λ$ -subrings

Rahul Kumar, Atul Gaur (2020)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a commutative ring with unity. The notion of maximal non $λ$ -subrings is introduced and studied. A ring $R$ is called a maximal non $λ$ -subring of a ring $T$ if $R \subset T$ is not a $λ$ -extension, and for any ring $S$ such that $R \subset S \subseteq T$ , $S \subseteq T$ is a $λ$ -extension. We show that a maximal non $λ$ -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 $λ$ -domain is given. A necessary condition...

Continuity of halo functions associated to homothecy invariant density bases

Oleksandra Beznosova, Paul Hagelstein (2014)

Colloquium Mathematicae

Similarity:

Let be a collection of bounded open sets in ℝⁿ such that, for any x ∈ ℝⁿ, there exists a set U ∈ of arbitrarily small diameter containing x. The collection is said to be a density basis provided that, given a measurable set A ⊂ ℝⁿ, for a.e. x ∈ ℝⁿ we have $l i m_{k \to \infty} 1 / | R_{k} | \int_{R_{k}} χ_{A} = χ_{A} (x)$ for any sequence $R_{k}$ of sets in containing x whose diameters tend to 0. The geometric maximal operator $M_{}$ associated to is defined on L¹(ℝⁿ) by $M_{} f (x) = s u p_{x \in R \in} 1 / | R | \int_{R} | f |$ . The halo function ϕ of is defined on (1,∞) by $ϕ (u) = s u p 1 / | A | | x \in ℝ ⁿ : M_{} χ_{A} (x) > 1 / u | : 0 < | A | < \infty$ and on [0,1] by ϕ(u) = u. It is shown...

One-sided discrete square function

A. de la Torre, J. L. Torrea (2003)

Studia Mathematica

Similarity:

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $A ₙ f (x) = 2^{- n} \int_{x}^{x + 2 ⁿ} f$ . The square function is defined as $S f (x) = (\sum_{n = - \infty}^{\infty} | A ₙ f (x) - A_{n - 1} f (x) {| ²)}^{1 / 2}$ . The local version of this operator, namely the operator $S ₁ f (x) = (\sum_{n = - \infty}^{0} | A ₙ f (x) - A_{n - 1} f (x) {| ²)}^{1 / 2}$ , is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps $L^{p}$ into itself (p > 1) and $L^{\infty}$ into BMO. We prove that the operator S not only maps $L^{\infty}$ into BMO but it also maps BMO into BMO. We also prove that the $L^{p}$ boundedness...

The Young Measure Representation for Weak Cluster Points of Sequences in M-spaces of Measurable Functions

Hôǹg Thái Nguyêñ, Dariusz Pączka (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into $ℝ^{d}$ . The paper deals with Y-weak cluster points ϕ̅ of the sequence $ϕ (\cdot, z_{j} (\cdot))$ in X, where $z_{j} : Ω \to ℝ^{m}$ is measurable for j ∈ ℕ and $ϕ : Ω \times ℝ^{m} \to ℝ^{d}$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{ϕ}$ , the integral $I (ϕ, ν_{x}) : = \int_{ℝ^{m}} ϕ (x, λ) d ν_{x} (λ)$ exists for $x \in Ω ∖ A_{ϕ}$ and $ϕ ̅ (x) = I (ϕ, ν_{x})$ on $Ω ∖ A_{ϕ}$ , where $ν = {ν_{x}}_{x \in Ω}$ is a measurable-dependent family of Radon probability measures on $ℝ^{m}$ .

Maximal regularity of discrete and continuous time evolution equations

Sönke Blunck (2001)

Studia Mathematica

Similarity:

We consider the maximal regularity problem for the discrete time evolution equation $u_{n + 1} - T u ₙ = 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 ${(T ⁿ)}_{n \in ℕ ₀}$ 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...

$L^{p}$ Maximal Regularity for Second Order Cauchy Problems is Independent of $p$

Ralph Chill, Sachi Srivastava (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

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

On Peano derivatives in $L^{p} (E_{n})$

S. Lasher (1968)

Studia Mathematica

Similarity:

A New Proof of the Boundedness of Maximal Operators on Variable Lebesgue Spaces

D. Cruz-Uribe, L. Diening, A. Fiorenza (2009)

Bollettino dell'Unione Matematica Italiana

Similarity:

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}$ , $0<a<n$ , maps $L^{p(\cdot)}$ into $L^{q(\cdot)}$ , where $1/p(\cdot)-1/q(\cdot)=a/n$ .

Une inégalité maximale sous-gaussienne sur les espaces de tentes

E. Labeye-Voisin (2003)

Studia Mathematica

Similarity:

We introduce a maximal function (denoted by π̅ ) on the tent spaces $T^{p} (ℝ ₊^{n + 1})$ , 0 < p < ∞, of Coifman, Meyer and Stein [8]. We prove a good-λ estimate of subgaussian type for this maximal function and for the square function of tent spaces, leading to integrability results for π̅. We deduce convergence results for the singular integral defining π.