SearcharxivSearch

arXiv subjects

Eric Sawyer

Publications and source records attributed to Eric Sawyer.

At least 19 recordsLinked to original sources

Calderon-type commutators and chamber lifting in the Dunkl setting

Let $G$ be a finite reflection group, and let $T_j$, $\Delta_\kappa$, and $d\omega$ denote its Dunkl operators, Laplacian, and measure, respectively. Write $\mathcal R_j=-T_j(-\Delta_\kappa)^{-1/2}$ for the $j$th Dunkl Riesz transform. We study the Calder\'on-type commutator $[M_b,T_i\mathcal R_j]$ on the full space $L^p(\R^N,d\omega)$, without assuming $G$-invariance of the functions. For $b\in\Lipd$, a full-space Dunkl $T1$ argument for $[M_b,(-\Delta_\kappa)^{1/2}]$, combined with the exact factorization $$ [M_b,T_i\mathcal R_j] =-M_{\partial_i b}\mathcal R_j-\mathcal R_iM_{\partial_jb} +\mathcal R_i[M_b,(-\Delta_\kappa)^{1/2}]\mathcal R_j, $$ implies boundedness on $L^p(d\omega)$ for every $1<p<\infty$. We also prove that the prescribed heat truncations are uniformly bounded on $L^2(d\omega)$ and converge jointly to this operator. To control these truncations, we lift all reflected values of an arbitrary function to separate coordinates on a fixed Weyl chamber. This chamber lifting retains all non-$G$-invariant information and places every possible orbit singularity on the ordinary chamber diagonal of a finite matrix operator. Wall-layer estimates and scalar $T1$ bounds for the integrated entries are uniform in both heat endpoints. A dense-core argument then proves joint, path-independent weak-operator convergence to the factorized commutator. The lifted limit is associated, in the separated-support sense, with a finite matrix of scalar Calder\'on--Zygmund kernels on the chamber.

math.CA

Stability of Weighted Norm Inequalities

We show that while individual Riesz transforms are two weight norm stable under biLipschitz change of variables on $A_{\infty}$ weights, they are two weight norm unstable under even rotational change of variables on doubling weights. More precisely, we show that individual Riesz transforms are unstable under a set of rotations having full measure, which includes rotations arbitrarily close to the identity. This provides an operator theoretic distinction between $A_{\infty}$ weights and doubling weights. More generally, all iterated Riesz transforms of odd order are rotationally unstable on pairs of doubling weights, thus demonstrating the need for characterizations of iterated Riesz transform inequalities using testing conditions for doubling measures, as opposed to the typically stable 'bump' conditions.

math.CA

The scalar $T1$ theorem for pairs of doubling measures fails for Riesz transforms when p not 2

We show that for an individual Riesz transform in the setting of doubling measures, the scalar $T1$ theorem fails when $p \neq 2$: for each $ p \in (1, \infty) \setminus \{2\}$, we construct a pair of doubling measures $(\sigma, \omega)$ on $\mathbb{R}^2$ with doubling constant close to that of Lebesgue measure that also satisfy the scalar $\mathcal{A}_p$ condition and the full scalar $L^p$-testing conditions for an individual Riesz transform $R_j$, and yet $\left ( R_j \right )_{\sigma} : L^p (\sigma) \not \to L^p (\omega)$. On the other hand, we improve upon the quadratic, or vector-valued, $T1$ theorem of Sawyer-Wick when $p \neq 2$ on pairs of doubling measures: we dispense with their vector-valued weak boundedness property to show that for pairs of doubling measures, the two-weight $L^p$ norm inequality for the vector Riesz transform is characterized by a quadratic Muckenhoupt condition $A_{p} ^{\ell^2, \operatorname{local}}$, and a quadratic testing condition. Finally, in the appendix, we use constructions of Kakaroumpas-Treil to show that the two-weight norm inequality for the maximal function cannot be characterized solely by the $A_p$ condition when the measures are doubling, contrary to reports in the literature.

math.CA

A Helmholtz-type decomposition for the space of symmetric matrices

In this paper, we introduce a Helmholtz-type decomposition for the space of square integrable, symmetric-matrix-valued functions analogous to the standard Helmholtz decomposition for vector fields. This decomposition provides a better understanding of the strain constraint space, which is important to the Navier--Stokes regularity problem. In particular, we give a full characterization the orthogonal complement of the strain constraint space and investigate the geometry of the eigenvalue distribution of matrices in the strain constraint space.

math.AP

The Moser method and boundedness of solutions to infinitely degenerate elliptic equations

We show that if $\mathbb{R}^{n}$ is equipped with certain non-doubling metric and an Orlicz-Sobolev inequality holds for a special family of Young functions $\Phi $, then weak solutions to quasilinear infinitely degenerate elliptic divergence equations of the form $$\mathrm{div}\mathcal{A}\left( x,u\right) \nabla u=\phi _{0}-\mathrm{div}_{A} \vec{\phi}_{1}$$ are locally bounded. Furthermore, we establish a maximum principle for solutions whenever a global Orlicz-Soblev estimate is available. We obtain these results via the implementation of a Moser iteration method, what constitutes the first instance of such technique applied to infinite degenerate equations. These results partially extend previously known estimates for solutions of these equations but for which the right hand side did not have a drift term. We also obtain bounds for small negative powers of nonnegative solutions; these will be applied to obtain continuity of solutions in a subsequent paper.

math.AP

Tops of dyadic grids

We extend the notion of a dyadic grid of cubes in Euclidean space to include infinite dyadic cubes. These `tops' of a dyadic grid form a tiling of Euclidean space which is subject to the constraints similar to those arising in tiling Euclidean space by (finite) unit cubes. These tops arise in the theory of two weight norm inequalities through weighted Haar and Alpert wavelets.

math.CA

Leading Nonlinear Tidal Effects and Scattering Amplitudes

We present the two-body Hamiltonian and associated eikonal phase, to leading post-Minkowskian order, for infinitely many tidal deformations described by operators with arbitrary powers of the curvature tensor. Scattering amplitudes in momentum and position space provide systematic complementary approaches. For the tidal operators quadratic in curvature, which describe the linear response to an external gravitational field, we work out the leading post-Minkowskian contributions using a basis of operators with arbitrary numbers of derivatives which are in one-to-one correspondence with the worldline multipole operators. Explicit examples are used to show that the same techniques apply to both bodies interacting tidally with a spinning particle, for which we find the leading contributions from quadratic in curvature tidal operators with an arbitrary number of derivatives, and to effective field theory extensions of general relativity. We also note that the leading post-Minkowskian order contributions from higher-dimension operators manifest double-copy relations. Finally, we comment on the structure of higher-order corrections.

hep-th

Structure of two-loop SMEFT anomalous dimensions via on-shell methods

We describe on-shell methods for computing one- and two-loop anomalous dimensions in the context of effective field theories containing higher-dimension operators. We also summarize methods for computing one-loop amplitudes, which are used as inputs to the computation of two-loop anomalous dimensions, and we explain how the structure of rational terms and judicious renormalization scheme choices can lead to additional vanishing terms in the anomalous dimension matrix at two loops. We describe the two-loop implications for the Standard Model Effective Field Theory (SMEFT). As a by-product of this analysis we verify a variety of one-loop SMEFT anomalous dimensions computed by Alonso, Jenkins, Manohar and Trott.

hep-ph

Non-renormalization and operator mixing via on-shell methods

Using on-shell methods, we present a new perturbative non-renormalization theorem for operator mixing in massless four-dimensional quantum field theories. By examining how unitarity cuts of form factors encode anomalous dimensions we show that longer operators are often restricted from renormalizing shorter operators at the first order where there exist Feynman diagrams. The theorem applies quite generally and depends only on the field content of the operators involved. We apply our theorem to operators of dimension five through seven in the Standard Model Effective Field Theory, including examples of nontrivial zeros in the anomalous-dimension matrix at one through four loops. The zeros at two and higher loops go beyond those previously explained using helicity selection rules. We also include explicit sample calculations at two loops.

hep-ph

Sharp local boundedness and maximum principle in the infinitely degenerate regime via DeGiorgi iteration

We obtain local boundedness and maximum principles for weak subsolutions to certain infinitely degenerate elliptic divergence form equations, and the local boundedness turns out to be sharp in more than two dimensions, answering the `Moser gap' problem left open in arXiv:1506.09203v5. Finally we obtain a maximum principle for weak solutions under the same condition on the degeneracy.

math.CA

Continuity of weak solutions to rough infinitely degenerate equations

We obtain a generalization of the DeGiorgi Lemma to the infinitely degenerate regime and apply it to obtain continuity of weak solutions to certain infinitely degenerate equations. This reproduces the continuity result obtained in arXiv:1506.09203 via Moser iteration, but only for homogeneous equations. However, the proofs are much less technical and more transparent.

math.AP

Onto Interpolating Sequences for the Dirichlet Space

We describe two new classes of onto interpolating sequences for the Dirichlet space, in particular resolving a question of Bishop. We also give a complete description of the analogous sequences for a discrete model of the Dirichlet space.

math.CV

Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations

We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity of certain infinitely degenerate quasilinear equations with smooth coefficients having mild nonlinearities and degeneracies.

math.CA

Measures of polynomial growth and classical convolution inequalities

We study $L^p(μ) \to L^q(ν)$ mapping properties of the convolution operator $ T_λf(x)=λ*(fμ)(x)$ and of the corresponding maximal operator $ {\mathcal T}_λf(x)=\sup_{t>0} |λ_t*(fμ)(x)|$, where $λ$ is a tempered distribution, and $μ$ and $ν$ are compactly supported measures satisfying the polynomial growth bounds $μ(B(x,r)) \leq Cr^{s_μ}$ and $ν(B(x,r)) \leq Cr^{s_ν}$. As a result, we prove variants of the classical $L^p$-improving (Littman; Strichartz) and maximal (Stein) inequalities in a setting where the Plancherel formula is not available. Connections with the David-Semmes conjecture are also discussed.

math.CA

Restricted convolution inequalities, multilinear operators and applications

For $ 1\le k <n$, we prove that for functions $F,G$ on $ {\Bbb R}^{n}$, any $k$-dimensional affine subspace $H \subset {\Bbb R}^{n}$, and $p,q,r \ge 2$ with $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}=1$, one has the estimate $$ {||(F*G)|_H||}_{L^{r}(H)} \leq {||F||}_{Λ^H_{2, p}({\Bbb R}^{n})} \cdot {||G||}_{Λ^H_{2, q}({\Bbb R}^{n})},$$ where the mixed norms on the right are defined by $$ {||F||}_{Λ^H_{2,p}({\Bbb R}^{n})}={(\int_{H^*} {(\int {|\hat{F}|}^2 dH_ξ^{\perp})}^{\frac{p}{2}} dξ)}^{\frac{1}{p}},$$ with $dH_ξ^{\perp}$ the $(n-k)$-dimensional Lebesgue measure on the affine subspace $H_ξ^{\perp}:=ξ+ H^\perp$. Dually, one obtains restriction theorems for the Fourier transform for affine subspaces. Applied to $F(x^{1},...,x^{m})=\prod_{j=1}^m f_j(x^{j})$ on $\R^{md}$, the diagonal $H_0={(x,...,x): x \in {\Bbb R}^d}$ and suitable kernels $G$, this implies new results for multilinear convolution operators, including $L^p$-improving bounds for measures, an $m$-linear variant of Stein's spherical maximal theorem, estimates for $m$-linear oscillatory integral operators, certain Sobolev trace inequalities, and bilinear estimates for solutions to the wave equation.

math.CA

Flag Hardy spaces and Marcinkiewicz multipliers on the Heisenberg group: an expanded version

Marcinkiewicz multipliers are L^{p} bounded for 1<p<\infty on the Heisenberg group H^{n}\simeqC^{n}\timesR (D. Muller, F. Ricci and E. M. Stein) despite the lack of a two parameter group of automorphic dilations on H^{n}. This lack of dilations underlies the inability of classical one or two parameter Hardy space theory to handle Marcinkiewicz multipliers on H^{n} when 0<p\leq1. We address this deficiency by developing a theory of flag Hardy spaces H_{flag}^{p} on the Heisenberg group, 0<p\leq1, that is in a sense `intermediate' between the classical Hardy spaces H^{p} and the product Hardy spaces H_{product}^{p} on C^{n}\timesR. We show that flag singular integral operators, which include the aforementioned Marcinkiewicz multipliers, are bounded on H_{flag}^{p}, as well as from H_{flag}^{p} to L^{p}, for 0<p\leq1. We characterize the dual spaces of H_{flag}^{1} and H_{flag}^{p}, and establish a Calderón-Zygmund decomposition that yields standard interpolation theorems for the flag Hardy spaces H_{flag}^{p}. In particular, this recovers the L^{p} results by interpolating between those for H_{flag}^{p} and L^{2} (but regularity sharpness is lost).

math.CA

Hypoellipticity for infinitely degenerate quasilinear equations and the Dirichlet problem

In a previous paper we considered a class of infinitely degenerate quasilinear equations and derived a priori bounds for high order derivatives of solutions in terms of the Lipschitz norm. We now show that it is possible to obtain bounds just in terms of the supremum norm for a further subclass of such equations, and we apply the resulting estimates to prove that continuous weak solutions are necessarily smooth. We also obtain existence, uniqueness and interior regularity of solutions for the Dirichlet problem with continuous boundary data.

math.AP