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

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

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

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_{δ σ}$ ).

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

A radial estimate for the maximal operator associated with the free Schrödinger equation

Sichun Wang (2006)

Studia Mathematica

Similarity:

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 $(S_{d} f) (x, t) = 1 / (2 π) ⁿ \int_{ℝ ⁿ} e^{i x \cdot ξ} e^{{i t | ξ |}^{d}} f ̂ (ξ) d ξ$ , f ∈ (ℝⁿ), x ∈ ℝⁿ, t ∈ ℝ, $(S * *_{d} f) (x) = s u p_{t \in ℝ} | 1 / (2 π) ⁿ \int_{ℝ ⁿ} e^{i x \cdot ξ} e^{{i t | ξ |}^{d}} f ̂ (ξ) d ξ |$ , 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 ≥...

Corrigendum to “Commutators on ${(\sum ℓ_{q})}_{p}$ ” (Studia Math. 206 (2011), 175-190)

Dongyang Chen, William B. Johnson, Bentuo Zheng (2014)

Studia Mathematica

Similarity:

We give a corrected proof of Theorem 2.10 in our paper “Commutators on ${(\sum ℓ_{q})}_{p}$ ” [Studia Math. 206 (2011), 175-190] for the case 1 < q < p < ∞. The case when 1 = q < p < ∞ remains open. As a consequence, the Main Theorem and Corollary 2.17 in that paper are only valid for 1 < p,q < ∞.

Generalized Lebesgue points for Sobolev functions

Nijjwal Karak (2017)

Czechoslovak Mathematical Journal

Similarity:

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X, d, μ)$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B (x, r)$ converge to $f (x)$ when $r$ converges to $0$ . We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

Selivanovski hard sets are hard

Janusz Pawlikowski (2015)

Fundamenta Mathematicae

Similarity:

Let $H \subseteq Z \subseteq 2^{ω}$ . For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{ω}$ to Z give as preimages of H all Σₙ¹ subsets of $2^{ω}$ , then so do continuous injections.

Measures of maximal entropy for random $β$ -expansions

Karma Dajani, Martijn de Vries (2005)

Journal of the European Mathematical Society

Similarity:

Let $β > 1$ be a non-integer. We consider $β$ -expansions of the form $\sum_{i = 1}^{\infty} d_{i} / β^{i}$ , where the digits ${(d_{i})}_{i \geq 1}$ are generated by means of a Borel map $K_{β}$ defined on ${0, 1}^{ℕ} \times [0, ⌊ β ⌋ / (β - 1)]$ . We show that $K_{β}$ has a unique mixing measure $ν_{β}$ of maximal entropy with marginal measure an infinite convolution of Bernoulli measures. Furthermore, under the measure $ν_{β}$ the digits ${(d_{i})}_{i \geq 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...

Weighted local Orlicz-Hardy spaces with applications to pseudo-differential operators

Dachun Yang, Sibei Yang

Similarity:

Let Φ be a concave function on (0,∞) of strictly critical lower type index $p_{Φ} \in (0, 1]$ and $ω \in A_{\infty}^{l o c} (ℝ ⁿ)$ (the class of local weights introduced by V. S. Rychkov). We introduce the weighted local Orlicz-Hardy space $h_{ω}^{Φ} (ℝ ⁿ)$ via the local grand maximal function. Let $ρ (t) \equiv t^{- 1} / Φ^{- 1} (t^{- 1})$ for all t ∈ (0,∞). We also introduce the BMO-type space $b m o_{ρ, ω} (ℝ ⁿ)$ and establish the duality between $h_{ω}^{Φ} (ℝ ⁿ)$ and $b m o_{ρ, ω} (ℝ ⁿ)$ . Characterizations of $h_{ω}^{Φ} (ℝ ⁿ)$ , including the atomic characterization, the local vertical and the local nontangential maximal function characterizations, are...

Invariant densities for random $β$ -expansions

Karma Dajani, Martijn de Vries (2007)

Journal of the European Mathematical Society

Similarity:

Let $β > 1$ be a non-integer. We consider expansions of the form $\sum_{i = 1}^{\infty} d_{i} / β^{i}$ , where the digits ${(d_{i})}_{i \geq 1}$ are generated by means of a Borel map $K_{β}$ defined on ${0, 1}^{ℕ} \times [0, ⌊ β ⌋ (β - 1)]$ . We show existence and uniqueness of a $K_{β}$ -invariant probability measure, absolutely continuous with respect to $m_{p} \otimes λ$ , where $m_{p}$ is the Bernoulli measure on ${0, 1}^{ℕ}$ with parameter $p$ ( $0 < p < 1$ ) and $λ$ is the normalized Lebesgue measure on $[0, ⌊ β ⌋ (β - 1)]$ . Furthermore, this measure is of the form $m_{p} \otimes μ_{β, p}$ , where $μ_{β, p}$ is equivalent to $λ$ . We prove that the measure of maximal entropy and $m_{p} \otimes λ$ are mutually...

Maximally convergent rational approximants of meromorphic functions

Hans-Peter Blatt (2015)

Banach Center Publications

Similarity:

Let f be meromorphic on the compact set E ⊂ C with maximal Green domain of meromorphy $E_{ρ (f)}$ , ρ(f) < ∞. We investigate rational approximants $r_{n, m ₙ}$ of f on E with numerator degree ≤ n and denominator degree ≤ mₙ. We show that a geometric convergence rate of order $ρ {(f)}^{- n}$ on E implies uniform maximal convergence in m₁-measure inside $E_{ρ (f)}$ if mₙ = o(n/log n) as n → ∞. If mₙ = o(n), n → ∞, then maximal convergence in capacity inside $E_{ρ (f)}$ can be proved at least for a subsequence Λ ⊂ ℕ. Moreover, an analogue...

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Some weighted norm inequalities for a one-sided version of $g *_{λ}$

L. de Rosa, C. Segovia (2006)

Studia Mathematica

Similarity:

We study the boundedness of the one-sided operator $g ⁺_{λ, φ}$ between the weighted spaces $L^{p} (M ¯ w)$ and $L^{p} (w)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g ⁺_{λ, φ}$ . For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g ⁺_{λ, φ}$ from $L^{p} ({(M ¯)}^{[p / 2] + 1} w)$ to $L^{p} (w)$ , where ${(M ¯)}^{k}$ denotes the operator M¯ iterated k times.