We show in two dimensions that if $Kf={\int }_{ℝ₊²}k(x,y)f\left(y\right)dy$, $k(x,y)=\left(e^{i{x}^a·y^b}\right){/\left(\right|x-y|}^{\eta })$, p = 4/(2+η), a ≥ b ≥ 1̅ = (1,1), $v_p\left(y\right)=y^{(p/p^{\text{'}})(1̅-b/a)}$, then ${\left|\right|Kf\left|\right|}_p{\le C\left|\right|f\left|\right|}_{p,v_p}$ if η + α₁ + α₂ < 2, ${\alpha }_j=1-b_j/a_j$, j = 1,2. Our methods apply in all dimensions and also for more general kernels.

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

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

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $Aₙf\left(x\right)=2^{-n}{\int }_x^{x+2ⁿ}f$. The square function is defined as $Sf\left(x\right)=({\sum }_{n=-\infty }^{\infty }|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$. The local version of this operator, namely the operator $S₁f\left(x\right)=({\sum }_{n=-\infty }^0|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{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...

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

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

We consider Littlewood-Paley functions associated with a non-isotropic dilation group on ${ℝ}^n$. We prove that certain Littlewood-Paley functions defined by kernels with no regularity concerning smoothness are bounded on weighted $L^p$ spaces, $1<p<\infty$, with weights of the Muckenhoupt class. This, in particular, generalizes a result of N. Rivière (1971).

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

We prove the $L^p$ boundedness of the Marcinkiewicz integral operators ${\mu }_{\Omega }$ on ${ℝ}^{n₁}\times \cdots \times {ℝ}^{n_k}$ under the condition that $\Omega \in L{\left(logL\right)}^{k/2}{(}^{n₁-1}\times \cdots {\times }^{n_k-1})$. The exponent k/2 is the best possible. This answers an open question posed by Y. Ding.

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

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

We give some rather weak sufficient condition for $L^p$ boundedness of the Marcinkiewicz integral operator ${\mu }_{\Omega }$ on the product spaces $ℝⁿ\times {ℝ}^m$ (1 < p < ∞), which improves and extends some known results.

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 compute the Hilbert series of the complex Grassmannian using invariant theoretic methods. This is made possible by showing that the denominator of the $q$-Hilbert series is a Vandermonde-like determinant. We show that the $h$-polynomial of the Grassmannian coincides with the $k$-Narayana polynomial. A simplified formula for the $h$-polynomial of Schubert varieties is given. Finally, we use a generalized hypergeometric Euler transform to find simplified formulae for the $k$-Narayana numbers,...

We consider the maximal function $\left|\right|\left(S^{a}f\right)\left[x\right]{\left|\right|}_{L^{\infty }[-1,1]}$ where $\left(S^{a}f\right){\left(t\right)}^{\wedge }\left(\xi \right)=e^{{it\left|\xi \right|}^a}f̂\left(\xi \right)$ and 0 < a < 1. We prove the global estimate $\left|\right|S^{a}f{\left|\right|}_{L²(ℝ,L^{\infty }[-1,1])}{\le C\left|\right|f\left|\right|}_{H^s\left(ℝ\right)}$, s > a/4, with C independent of f. This is known to be almost sharp with respect to the Sobolev regularity s.

CONTENTSIntroduction.......................................................................................................................................................... 5Chapter I. Some preliminary lemmas............................................................................................................ 8Chapter II. Weighted $H^p$ spaces of analytic functions.......................................................................... 13 1. Behaviour at the boundary..........................................................................................................................

The second order linear differential equation $${\left(p\left(x\right)y^{\text{'}}\right)}^{\text{'}}+q\left(x\right)y=0,x\in (0,x_0]$$ is considered, where $p$, $q\in C^1(0,x_0]$, $p\left(x\right)>0$, $q\left(x\right)>0$ for $x\in (0,x_0]$. Sufficient conditions are established for every nontrivial solutions to be nonrectifiable oscillatory near $x=0$ without the Hartman–Wintner condition.

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 $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 study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ 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{⁺}_{\lambda ,\phi }$. 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{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

For a Lebesgue integrable complex-valued function $f$ defined on ${ℝ}^{+}:=[0,\infty )$ let $\widehat{f}$ be its Walsh-Fourier transform. The Riemann-Lebesgue lemma says that $\widehat{f}\left(y\right)\to 0$ as $y\to \infty$. But in general, there is no definite rate at which the Walsh-Fourier transform tends to zero. In fact, the Walsh-Fourier transform of an integrable function can tend to zero as slowly as we wish. Therefore, it is interesting to know for functions of which subclasses of $L^1\left({ℝ}^{+}\right)$ there is a definite rate at which the Walsh-Fourier transform tends...

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

We investigate the construction of Carleson measures from families of multilinear integral operators applied to tuples of $L^{\infty }$ and BMO functions. We show that if the family $R_t$ of multilinear operators has cancellation in each variable, then for BMO functions b₁, ..., bₘ, the measure $|R_t(b₁,...,bₘ)\left(x\right)|²dxdt/t$ is Carleson. However, if the family of multilinear operators has cancellation in all variables combined, this result is still valid if $b_j$ are $L^{\infty }$ functions, but it may fail if $b_j$ are unbounded BMO functions, as...

Abstract We develop an almost orthogonal wavelet-type expansion in ℝ² which is adapted to polar coordinates. We start by defining a product Fourier-Hankel transform f̂ and proving a sampling formula for f such that f̂ is compactly supported. For general f, the sampling formula and a partition of unity lead to an identity of the form $f={\sum }_{\mu ,k,m}⟨f,{\phi }_{\mu km}⟩{\psi }_{\mu km}$, in which each function ${\phi }_{\mu km}$ and ${\psi }_{\mu km}$ is concentrated near a certain annular sector, has compactly supported product Fourier-Hankel transform, and is smooth...