We study the Hardy-Littlewood maximal operator defined via an unconditional norm, acting on block decreasing functions. We show that the uncentered maximal operator maps block decreasing functions of special bounded variation to functions with integrable distributional derivatives, thus improving their regularity. In the special case of the maximal operator defined by the ${\ell }_{\infty }$-norm, that is, by averaging over cubes, the result extends to block decreasing functions of bounded variation, not necessarily...

In this paper we consider the regularity problem for the commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ where $b$ is a locally integrable function and $(R_j{)}_{1\le j\le n}$ are the Riesz transforms in the $n$-dimensional euclidean space ${ℝ}^n$. More precisely, we prove that these commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ are bounded from $L^p$ into the Besov space ${\dot{B}}_p^{s,p}$ for $1\<p\<+\infty$ and $0\<s\<1$ if and only if $b$ is in the $BMO$-Triebel-Lizorkin space ${\dot{F}}_{\infty }^{s,p}$. The reduction of our result to the case $p=2$ gives in particular that the commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ are bounded form $L^2$ into the Sobolev space ${\dot{H}}^s$ if and only if $b$ is in the $BMO$-Sobolev...

For s>0, we consider bounded linear operators from $D\left({ℝ}^n\right)$ into $D^{\text{'}}\left({ℝ}^n\right)$ whose kernels K satisfy the conditions $|{\partial }_x^{\gamma }K(x,y)|\le C_{\gamma }{|x-y|}^{-n+s-\left|\gamma \right|}$ for x≠y, |γ|≤ [s]+1, $|{\nabla }_y{\partial }_x^{\gamma }K(x,y)|\le C_{\gamma }{|x-y|}^{-n+s-\left|\gamma \right|-1}$ for |γ|=[s], x≠y. We establish a new criterion for the boundedness of these operators from $L^2\left({ℝ}^n\right)$ into the homogeneous Sobolev space ${Ḣ}^s\left({ℝ}^n\right)$. This is an extension of the well-known T(1) Theorem due to David and Journé. Our arguments make use of the function T(1) and the BMO-Sobolev space. We give some applications to the Besov and Triebel-Lizorkin spaces as well as some other potential...

We characterize the class of weights, invariant under dilations, for which a modified fractional integral operator $I_{\alpha }$ maps weak weighted Orlicz$-\phi$ spaces into appropriate weighted versions of the spaces $BM{O}_{\psi }$, where $\psi \left(t\right)=t^{\alpha /n}{\phi }^{-1}(1/t)$. This generalizes known results about boundedness of $I_{\alpha }$ from weak $L^p$ into Lipschitz spaces for $p>n/\alpha$ and from weak $L^{n/\alpha }$ into $BMO$. It turns out that the class of weights corresponding to $I_{\alpha }$ acting on weak$-L_{\phi }$ for $\phi$ of lower type equal or greater than $n/\alpha$, is the same as the one solving the problem for weak...

On décrit de diverses façons les fermetures respectives, dans l’espace $BMO\left({ℝ}^n\right)$ et dans sa version locale $bmo\left({ℝ}^n\right)$, de l’ensemble des fonctions à support compact et de l’ensemble des fonctions $C^{\infty }$ à support compact. Certains de ces résultats sont nouveaux; d’autres, considérés comme classiques, ne semblent pas avoir fait l’objet de publication. Des contre-exemples permettent de vérifier la diversité des sous-espaces considérés.

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures μ in n-dimensional Euclidean space for all n ≥ 2 in terms of positivity of the lower density and finiteness of a geometric square function, which loosely speaking, records in an L2 gauge the extent to which μ admits approximate tangent lines, or has rapidly growing density ratios, along its support. In contrast with the classical theorems...

Let $M^{\circ }$ be a complete noncompact manifold of dimension at least 3 and $g$ an asymptotically conic metric on $M^{\circ }$, in the sense that $M^{\circ }$ compactifies to a manifold with boundary $M$ so that $g$ becomes a scattering metric on $M$. We study the resolvent kernel ${(P+k^2)}^{-1}$ and Riesz transform $T$ of the operator $P={\Delta }_g+V$, where ${\Delta }_g$ is the positive Laplacian associated to $g$ and $V$ is a real potential function smooth on $M$ and vanishing at the boundary.In our first paper we assumed that $P$ has neither zero modes nor a zero-resonance and showed...

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

In the first part we consider restriction theorems for hypersurfaces Γ in Rn, with the affine curvature KΓ1/(n+1) introduced as a mitigating factor. Sjölin, [19], showed that there is a universal restriction theorem for all convex curves in R2. We show that in dimensions greater than two there is no analogous universal restriction theorem for hypersurfaces with non-negative curvature.In the second part we discuss decay estimates for the Fourier transform of the density KΓ1/2 supported on the surface...

Let φ:ℝ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let Σ = (x,φ(x)): |x| ≤ 1 and let σ be the Borel measure on Σ defined by $\sigma \left(A\right)={\int }_B{\chi }_A(x,\phi \left(x\right))dx$ where B is the unit open ball in ℝ² and dx denotes the Lebesgue measure on ℝ². We show that the composition of the Fourier transform in ℝ³ followed by restriction to Σ defines a bounded operator from $L^p\left(ℝ³\right)$ to $L^q(\Sigma ,d\sigma )$ for certain p,q. For m ≥ 6 the results are sharp except for some border points.

Let $x\left(t\right)=(t,\frac{1}{2}{t}^2,\frac{1}{6}{t}^3)$ a certain curve in ${\mathbf{R}}^3.$ We investigate inequalities of the type $\{\int |\widehat{f}\left(x\right(t\left)\right){|}^{b}dt{\}}^{1/b}\le C\parallel f{\parallel }_a$ for $f\in 𝒮(\mathbf{R}$ 3). Our results improve improve an earlier restriction theorem of Prestini. Various generalizations are also discussed.

Some recent results on spline-Fourier and Ciesielski-Fourier series are summarized. The convergence of spline Fourier series and the basis properties of the spline systems are considered. Some classical topics, that are well known for trigonometric and Walsh-Fourier series, are investigated for Ciesielski-Fourier series, such as inequalities for the Fourier coefficients, convergence a.e. and in norm, Fejér and θ-summability, strong summability and multipliers. The connection between Fourier series...

In connection with the $A_{\varphi }$ classes of weights (see [K-T] and [B-K]), we study, in the context of Orlicz spaces, the corresponding reverse-Hölder classes $R{H}_{\varphi }$. We prove that when ϕ is ${\Delta }_2$ and has lower index greater than one, the class $R{H}_{\varphi }$ coincides with some reverse-Hölder class $R{H}_q,q>1$. For more general ϕ we still get $R{H}_{\varphi }\subset A_{\infty }={\bigcup }_{q>1}R{H}_q$ although the intersection of all these $R{H}_{\varphi }$ gives a proper subset of ${\bigcap }_{q>1}R{H}_q$.

Elementary estimates for the Riesz kernel and for its derivative are given. Using these we show that the maximal operator of the Riesz means of a tempered distribution is bounded from $H_p\left(ℝ\right)$ to $L_p\left(ℝ\right)$ (1/(α+1) < p < ∞) and is of weak type (1,1), where $H_p\left(ℝ\right)$ is the classical Hardy space. As a consequence we deduce that the Riesz means of a function $⨍\in L_1\left(ℝ\right)$ converge a.e. to ⨍. Moreover, we prove that the Riesz means are uniformly bounded on $H_p\left(ℝ\right)$ whenever 1/(α+1) < p < ∞. Thus, in case $⨍\in H_p\left(ℝ\right)$, the Riesz means converge...