The unitary extension principle (UEP) by Ron and Shen yields a sufficient condition for the construction of Parseval wavelet frames with multiple generators. In this paper we characterize the UEP-type wavelet systems that can be extended to a Parseval wavelet frame by adding just one UEP-type wavelet system. We derive a condition that is necessary for the extension of a UEP-type wavelet system to any Parseval wavelet frame with any number of generators, and prove that this condition is also sufficient to ensure that an extension with just two generators is possible.

In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $\pi(\Gamma)\psi$, where $\pi$ is a unitary representation of a wavelet group and $\Gamma$ is the abstract pseudo-lattice $\Gamma$. We prove a condition in order that a Parseval frame $\pi(\Gamma)\psi$ can be dilated to an orthonormal basis of the form $\tau(\Gamma)\Psi$ where $\tau$ is a super-representation of $\pi$. For a subclass of groups that includes the case where the translation subgroup is Heisenberg, we show that this condition always holds, and we cite familiar examples as applications.

In this paper, the dimension function of a self-affine generalized scaling set associated with an $n\times n$ integral expansive dilation $A$ is studied. More specifically, we consider the dimension function of an $A$-dilation generalized scaling set $K$ assuming that $K$ is a self-affine tile satisfying $BK = (K+d_1) \cup (K+d_2)$, where $B=A^t$, $A$ is an $n\times n$ integral expansive matrix with $\lvert \det A\rvert=2$, and $d_1,d_2\in\mathbb{R}^n$. We show that the dimension function of $K$ must be constant if either $n=1$ or $2$ or one of the digits is $0$, and that it is bounded by $2\lvert K\rvert$ for any $n$.

We prove weak-type $(1,1)$ estimates for compositions of maximal operators with singular integrals. Our main object of interest is the operator $\Delta^*\Psi$ where $\Delta^*$ is Bourgain's maximal multiplier operator and $\Psi$ is the sum of several modulated singular integrals; here our method yields a significantly improved bound for the $L^q$ operator norm when $1 \lt q \lt 2.$ We also consider associated variation-norm estimates.

We establish estimates for restrictions to certain curves in $\mathbb R^2$ of the Fourier transforms of some fractal measures.

We provide a proof of a conjecture by Jakobson, Nadirashvili, and Toth stating that on an $n$-dimensional flat torus $\mathbb T^{n}$, and the Fourier transform of squares of the eigenfunctions $|\varphi_\lambda|^2$ of the Laplacian have uniform $l^n$ bounds that do not depend on the eigenvalue $\lambda$. The proof is a generalization of an argument by Jakobson, et al. for the lower dimensional cases. These results imply uniform bounds for semiclassical limits on $\mathbb T^{n+2}$. We also prove a geometric lemma that bounds the number of codimension-one simplices satisfying a certain restriction on an $n$-dimensional sphere $S^n(\lambda)$ of radius $\sqrt{\lambda}$, and we use it in the proof.

Under the assumption that $\mu$ is a nondoubling measure, we study certain commutators generated by the Lipschitz function and the Marcinkiewicz integral whose kernel satisfies a Hörmander-type condition. We establish the boundedness of these commutators on the Lebesgue spaces, Lipschitz spaces, and Hardy spaces. Our results are extensions of known theorems in the doubling case.

Müntz-Legendre polynomials $L_n(\Lambda;x)$ associated with a sequence $\Lambda=\{\lambda_k\}$ are obtained by orthogonalizing the system $(x^{\lambda_0}, x^{\lambda_1}, x^{\lambda_2}, \dots)$ in $L_2[0,1]$ with respect to the Legendre weight. If the $\lambda_k$'s are distinct, it is well known that $L_n(\Lambda;x)$ has exactly $n$ zeros $l_{n,n}\lt l_{n-1,n}\lt \cdots \lt l_{2,n}\lt l_{1,n}$ on $(0,1)$. First we prove the following global bound for the smallest zero, $$ \exp\biggl(-4\sum_{j=0}^n \frac{1}{2\lambda_j+1}\biggr) \lt l_{n,n}. $$ An important consequence is that if the associated Müntz space is non-dense in $L_2[0,1]$, then $$ \inf_{n}x_{n,n}\geq \exp\biggl({-4\sum_{j=0}^{\infty} \frac{1}{2\lambda_j+1}}\biggr)\gt 0, $$ so the elements $L_n(\Lambda;x)$ have no zeros close to 0. Furthermore, we determine the asymptotic behavior of the largest zeros; for $k$ fixed, $$ \lim_{n\rightarrow\infty} \vert \log l_{k,n}\vert \sum_{j=0}^n (2\lambda_j+1)= \Bigl(\frac{j_k}{2}\Bigr)^2, $$ where $j_k$ denotes the $k$-th zero of the Bessel function $J_0$.

In this paper we prove weighted norm inequalities with weights in the $A_p$ classes, for pseudodifferential operators with symbols in the class ${S^{n(\rho -1)}_{\rho, \delta}}$ that fall outside the scope of Calderón-Zygmund theory. This is accomplished by controlling the sharp function of the pseudodifferential operator by Hardy-Littlewood type maximal functions. Our weighted norm inequalities also yield $L^{p}$ boundedness of commutators of functions of bounded mean oscillation with a wide class of operators in $\mathrm{OP}S^{m}_{\rho, \delta}$.

We prove that the Return Times Theorem holds true for pairs of $L^p-L^q$ functions, whenever $\frac{1}{p}+\frac{1}{q}<\frac{3}{2}$.

We investigate the solutions of refinement equations of the form $$ \phi(x)=\sum_{\alpha\in\mathbb Z^s}a(\alpha)\:\phi(Mx-\alpha), $$ where the function $\phi$ is in $L_p(\mathbb R^s)$$(1\le p\le\infty)$, $a$ is an infinitely supported sequence on $\mathbb Z^s$ called a refinement mask, and $M$ is an $s\times s$ integer matrix such that $\lim_{n\to\infty}M^{-n}=0$. Associated with the mask $a$ and $M$ is a linear operator $Q_{a,M}$ defined on $L_p(\mathbb R^s)$ by $Q_{a,M} \phi_0:=\sum_{\alpha\in\mathbb Z^s}a(\alpha)\phi_0(M\cdot-\alpha)$. Main results of this paper are related to the convergence rates of $(Q_{a,M}^n \phi_0)_{n=1,2,\dots}$ in $L_p(\mathbb R^s)$ with mask $a$ being infinitely supported. It is proved that under some appropriate conditions on the initial function $\phi_0$, $Q_{a,M}^n \phi_0$ converges in $L_p(\mathbb R^s)$ with an exponential rate.

In this article, we establish a new atomic decomposition for $f\in L^2_w\cap H^p_w$, where the decomposition converges in $L^2_w$-norm rather than in the distribution sense. As applications of this decomposition, assuming that $T$ is a linear operator bounded on $L^2_w$ and $0
Keywords:$A_p$ weights, atomic decomposition, Calderón reproducing formula, weighted Hardy spaces
Categories:42B25, 42B30

We show a pointwise estimate for the Fourier transform on the line involving the number of times the function changes monotonicity. The contrapositive of the theorem may be used to find a lower bound to the number of local maxima of a function. We also show two applications of the theorem. The first is the two weight problem for the Fourier transform, and the second is estimating the number of roots of the derivative of a function.

The generalized Beurling-Ahlfors operator $S$ on $L^p(\mathbb{R}^n;\Lambda)$, where $\Lambda:=\Lambda(\mathbb{R}^n)$ is the exterior algebra with its natural Hilbert space norm, satisfies the estimate $$\|S\|_{\mathcal{L}(L^p(\mathbb{R}^n;\Lambda))}\leq(n/2+1)(p^*-1),\quad p^*:=\max\{p,p'\}$$ This improves on earlier results in all dimensions $n\geq 3$. The proof is based on the heat extension and relies at the bottom on Burkholder's sharp inequality for martingale transforms.

We prove that some inequalities, which are considered to be generalizations of Hardy's inequality on the circle, can be modified and proved to be true for functions integrable on the real line. In fact we would like to show that some constructions that were used to prove the Littlewood conjecture can be used similarly to produce real Hardy-type inequalities. This discussion will lead to many questions concerning the relationship between Hardy-type inequalities on the circle and those on the real line.

A class of generalized Marcinkiewicz integral operators is introduced, and, under rather weak conditions on the integral kernels, the boundedness of such operators on $L^p$ and Triebel--Lizorkin spaces is established.

We prove that if the Fourier transform of a compactly supported measure is in $L^2$ of a half-space, then the measure is absolutely continuous to Lebesgue measure. We then show how this result can be used to translate information about the dimensionality of a measure and the decay of its Fourier transform into geometric information about its support.

In this paper, we discuss various maximal functions on the Laguerre hypergroup $\mathbf{K}$ including the heat maximal function, the Poisson maximal function, and the Hardy--Littlewood maximal function which is consistent with the structure of hypergroup of $\mathbf{K}$. We shall establish the weak type $(1,1)$ estimates for these maximal functions. The $L^p$ estimates for $p>1$ follow from the interpolation. Some applications are included.

We give weighted norm inequalities for the maximal fractional operator $ \mathcal M_{q,\beta }$ of Hardy–Littlewood and the fractional integral $I_{\gamma}$. These inequalities are established between $(L^{q},L^{p}) ^{\alpha }(X,d,\mu )$ spaces (which are superspaces of Lebesgue spaces $L^{\alpha}(X,d,\mu)$ and subspaces of amalgams $(L^{q},L^{p})(X,d,\mu)$) and in the setting of space of homogeneous type $(X,d,\mu)$. The conditions on the weights are stated in terms of Orlicz norm.

We give a further decay estimate for the Dziubański-Hernández wavelets that are band-limited and have subexponential decay. This is done by constructing an appropriate bell function and using the Paley-Wiener theorem for ultradifferentiable functions.

Let $f\in L_{2\pi }$ be a real-valued even function with its Fourier series $% \frac{a_{0}}{2}+\sum_{n=1}^{\infty }a_{n}\cos nx,$ and let $S_{n}(f,x) ,\;n\geq 1,$ be the $n$-th partial sum of the Fourier series. It is well known that if the nonnegative sequence $\{a_{n}\}$ is decreasing and $\lim_{n\rightarrow \infty }a_{n}=0$, then% \begin{equation*} \lim_{n\rightarrow \infty }\Vert f-S_{n}(f)\Vert _{L}=0 \text{ if and only if }\lim_{n\rightarrow \infty }a_{n}\log n=0. \end{equation*}% We weaken the monotone condition in this classical result to the so-called mean value bounded variation (MVBV) condition. The generalization of the above classical result in real-valued function space is presented as a special case of the main result in this paper, which gives the $L^{1}$% -convergence of a function $f\in L_{2\pi }$ in complex space. We also give results on $L^{1}$-approximation of a function $f\in L_{2\pi }$ under the MVBV condition.

In this paper, we give the $L^p$ boundedness for a class of parabolic Littlewood--Paley $g$-function with its kernel function $\Omega$ is in the Hardy space $H^1(S^{n-1})$.

In the work presented below the classical subject of orthogonal polynomials on the unit circle is discussed in the matrix setting. An explicit matrix representation of the matrix valued orthogonal polynomials in terms of the moments of the measure is presented. Classical recurrence relations are revisited using the matrix representation of the polynomials. The matrix expressions for the kernel polynomials and the Christoffel--Darboux formulas are presented for the first time.

In this paper we establish that Hankel multipliers of Laplace transform type are bounded from $L^p(w)$ into itself when $1
Keywords:Hankel transform, Laplace transform, multiplier, Calderón--Zygmund
Category:42

Perturbation theory is a fundamental tool in Banach space theory. However, the applications of the classical results are limited by the fact that they force the perturbed sequence to be equivalent to the given sequence. We will develop a more general perturbation theory that does not force equivalence of the sequences.