Brian Street

Books:

• + Maximal Subellipticity, De Gruyter Studies in Mathematics, Vol. 93, De Gruyter, Berlin, 2023, 756 pages

  Maximally subelliptic partial differential equations (PDE) are a far-reaching generalization of elliptic PDE. Elliptic PDE hold a special place: sharp results are known for general linear and even fully nonlinear elliptic PDE. Over the past half-century, important results for elliptic PDE have been generalized to maximally subelliptic PDE. This text presents this theory and generalizes the sharp, interior regularity theory for general linear and fully nonlinear elliptic PDE to the maximally subelliptic setting.

• + Multi-parameter singular integrals, Annals of Mathematics Studies no. 189, Princeton University Press, 411 pages

  This research monograph develops a new theory of "multi-parameter" singular integrals associated with Carnot-Carathéodory balls. The first two chapters give an introduction to the classical theory of Calderón-Zygmund singular integrals and applications to linear partial differential equations. The third chapter outlines the theory of mutli-parameter Carnot-Carathéodory geometry, where the main tool is a quantitative version of the classical theorem of Frobenius, as developed in the paper Multi-parameter Carnot-Carathéodory balls and the theorem of Frobenius listed below. The fourth chapter gives several examples of multi-parameter singular integrals which arise naturally in various problems. The fifth, and final, chapter develops a general theory of singular integrals which generalizes and unifies the examples in the fourth chapter.

Papers:

• + Non-uniqueness for a differential equation and a proof by ChatGPT, 15 pages arXiv

  Let \(f(t,x),M(t,x)\in C([0,1]^2)\) with \(M(t,x)>0\). We consider differential equations of the form \[ \frac{\partial f}{\partial t}(t,x)=\frac{M(t,x)f(t,x)-M(t,0)f(t,0)}{x},\quad x>0. \] For a fixed positive weight \(M\), we ask whether the condition \(f(0,x)=0\) forces \(f\equiv 0\). We show the answer is negative for smooth functions: there exist \(f(t,x),M(t,x)\in C^{\infty}([0,1]^2)\) with \(f(0,x)=0\), \(f(t,0)\not\equiv 0\), and \(M(t,x)>0\) satisfying the above equation. However, we show that for a large class of \(M(t,x)\), the equation does have uniqueness. We relate this to uniqueness/non-uniqueness theorems for weighted Laplace transforms. A key example originated in an output by ChatGPT-5.5-Pro, and we include a discussion of its output as well as a complete proof.

• + A Priori Estimates for Maximally Subelliptic Quadratic Forms, 61 pages arXiv

  We prove a priori subelliptic estimates, near a non-characteristic boundary point, for the heat operators associated to a wide class of maximally subelliptic quadratic forms. This is the third paper in a series devoted to studying general maximally subelliptic boundary value problems.

• + Function spaces and trace theorems for maximally subelliptic boundary value problems, 125 pages arXiv

  We introduce Besov and Triebel-Lizorkin spaces on a manifold with boundary adapted to Hörmander vector fields, near a so-called non-characteristic point of the boundary. We prove sharp results in these spaces for the corresponding restriction and trace operators, show these operators are retractions, and other related results. This is the second paper in a forthcoming series devoted to a general theory of maximally subelliptic boundary value problems, and lays the function space foundation for this general theory.

• + Carnot-Carathéodory Balls on Manifolds with Boundary, 47 pages arXiv

  Nagel, Stein, and Wainger introduced a detailed quantitative study of Carnot-Carathéodory balls on a smooth manifold without boundary. Most importantly, they introduced scaling maps adapted to Carnot-Carathéodory balls and Hörmander vector fields. Their work was extended by many authors and has since become a key tool in the study of the interior theory of subelliptic PDEs; in particular, the study of maximally subelliptic PDEs. We introduce a generalization of this quantitative theory to manifolds with boundary, where we have scaling maps both on the interior and on the part of the boundary which is non-characteristic with respect to the vector fields. This is the first paper in a forthcoming series devoted to studying maximally subelliptic boundary value problems.

• + Hypoellipticity and Higher Order Gaussian Bounds, 46 pages arXiv

  Let \((\mathfrak{M},\rho,\mu)\) be a metric measure space satisfying a doubling condition, \(p_0\in (1,\infty)\), and \(T(t):L^{p_0}(\mathfrak{M},\mu)\rightarrow L^{p_0}(\mathfrak{M},\mu)\), \(t\geq 0\), a strongly continuous semi-group. We provide sufficient conditions under which \(T(t)\) is given by integration against an integral kernel satisfying higher-order Gaussian bounds of the form \[ \left| K_t(x,y) \right| \leq C \exp\left( -c \left( \frac{\rho(x,y)^{2\kappa}}{t} \right)^{\frac{1}{2\kappa-1}} \right) \mu\left( B_\rho\left(x,\rho(x,y)+t^{1/2\kappa}\right) \right)^{-1}, \] where \(B_\rho\) denotes the metric ball. We also provide conditions for similar bounds on ``derivatives'' of \(K_t(x,y)\) and our results are localizable. If \(A\) is the generator of \(T(t)\) the main hypothesis is that \(\partial_t -A\) and \(\partial_t-A^{*}\) satisfy a hypoelliptic estimate at every scale, uniformly in the scale. We present applications to subelliptic PDEs.

• + with Domínguez, Ó., Seeger, A., Van Schaftingen, J., & Yung, P. (2023). Spaces of Besov-Sobolev type and a problem on nonlinear approximation, J. Funct. Anal., Vol 284 (2023), Issue 4, 109775, 50 pages arXiv

  We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space \(\dot{W}^{1,p}\). The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodeckiĭ spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions. We prove various new results on embeddings and non-embeddings, and give applications to harmonic and caloric extensions. For suitable wavelet bases we obtain a characterization of the approximation spaces for best n-term approximation from a wavelet basis via smoothness conditions on the function; this extends a classical result by DeVore, Jawerth and Popov.

• + with L. Yao, Improving the Regularity of Vector Fields, J. Funct. Anal., 283 (2022), Issue 5, 109537, 75 pp. arXiv

  Let α>0, β>α, and let X₁,..., X_q be C^α vector fields on a C^α+1 manifold which span the tangent space at every point, where C^s denotes the Zygmund-Hölder space of order s. We give necessary and sufficient conditions for when there is a C^β+1 structure on the manifold, compatible with its C^α+1 structure, with respect to which X₁,..., X_q are C^β. This strengthens previous results of the first author which dealt with the setting α>1, β>max{α, 2}.

• + Sub-Hermitian Geometry and the Quantitative Newlander-Nirenberg Theorem, Adv. Math. 368 (July, 2020), 107137, 87 pp. arXiv

  Given a finite collection of C¹ complex vector fields on a C² manifold M such that they and their complex conjugates span the complexified tangent space at every point, the classical Newlander-Nirenberg theorem gives conditions on the vector fields so that there is a complex structure on M with respect to which the vector fields are T^0,1. In this paper, we give intrinsic, diffeomorphic invariant, necessary and sufficient conditions on the vector fields so that they have a desired level of regularity with respect to this complex structure (i.e., smooth, real analytic, or have Zygmund regularity of some finite order). By addressing this in a quantitative way we obtain a holomorphic analog of the quantitative theory of sub-Riemannian geometry initiated by Nagel, Stein, and Wainger. We call this sub-Hermitian geometry. Moreover, we proceed more generally and obtain similar results for manifolds which have an associated formally integrable elliptic structure. This allows us to introduce a setting which generalizes both the real and complex theories.

• + Sharp Regularity for the Integrability of Elliptic Structures, J. Funct. Anal. 278 (2020), no. 1, 108290, 55pp. arXiv

  As part of his celebrated Complex Frobenius Theorem, Nirenberg showed that given a smooth elliptic structure (on a smooth manifold), the manifold is locally diffeomorphic to an open subset of ℝ^rxℂⁿ (for some r and n) in such a way that the structure is locally the span of ^∂⁄_∂t1, …, ^∂⁄_∂tr, ^∂⁄_∂z1, …, ^∂⁄_∂zn; where ℝ^rxℂⁿ has coordinates (t₁, …, t_r, z₁, …, z_n). In this paper, we give optimal regularity for the coordinate charts which achieve this realization. Namely, if the manifold has Zygmund regularity of order s+2 and the structure has Zygmund regularity of order s+1 (for some s>0), then the coordinate chart may be taken to have Zygmund regularity of order s+2. We do this by generalizing Malgrange's proof of the Newlander-Nirenberg Theorem to this setting.

• + Coordinates Adapted to Vector Fields
  • with B. Stovall, Part I: Canonical Coordinates, Geom. Funct. Anal. (2018) 28: 1780-1862 arXiv
  • Part II: Sharp Results, Amer. Jour. Math., 143 (2021), no. 6, 1791-1840. 58 (53) arXiv
  • Part III: Real Analyticity, Asian Jour. Math., Vol. 24, No. 6 (2020), pp. 1029-1078 arXiv

  Given a finite collection of C¹ vector fields on a C² manifold which span the tangent space at every point, we consider the question of when there is locally a coordinate system in which these vector fields have a higher level of smoothness. We give necessary and sufficient conditions for when there is a coordinate system in which the vector fields are smooth, or real analytic, or have Zygmund regularity of some finite order. By addressing this in a quantitative way, we strengthen and generalize previous works on the quantitative theory of sub-Riemannian (aka Carnot-Carathéodory) geometry due to Nagel, Stein, and Wainger, Tao and Wright, and others (including the below paper Multi-parameter Carnot-Carathéodory balls and the theorem of Frobenius). Furthermore, we provide a diffeomorphism invariant version of these theories. In the first paper, we study a particular coordinate system adapted to a collection of vector fields (sometimes called canonical coordinates) and present results related to the above questions which are not quite sharp; these results from the backbone of the series. The methods of the first paper are based on techniques from ODEs. In the second paper, we use additional methods from PDEs to obtain the sharp results. In the third paper, we prove results concerning real analyticity and use methods from ODEs.

• + with M. Christ, S. Dendrinos, B. Stovall, Endpoint Lebesgue Estimates For Weighted Averages on Polynomial Curves, Amer. J. Math., 142 (2020), no. 6, 1661-1731. arXiv

  We establish optimal Lebesgue estimates for a class of generalized Radon transforms defined by averaging functions along polynomial-like curves. The presence of an essentially optimal weight allows us to prove uniform estimates, wherein the Lebesgue exponents are completely independent of the curves and the operator norms depend only on the polynomial degree. Moreover, our weighted estimates possess rather strong diffeomorphism invariance properties, allowing us to obtain uniform bounds for averages on curves satisfying a natural nilpotency hypothesis.

• + with M. Hadžić, A. Seeger, C. Smart, Singular integrals and a problem on mixing flows, Ann. Inst. H. Poincaré Anal. Non Linéaire 35 (2018), no. 4, 921-943. arXiv

  We prove a result related to Bressan's mixing problem. We establish an inequality for the change of Bianchini semi-norms of characteristic functions under the flow generated by a divergence free time dependent vector field. The approach leads to a bilinear singular integral operator for which we prove bounds on Hardy spaces. We include additional observations about the approach and a discrete toy version of Bressan's problem.

• + with A. Seeger, C. Smart, Multilinear Singular Integral Forms of Christ-Journé Type, Mem. Amer. Math. Soc. 257 (2019), no. 1231, v+134 pp. arXiv

  We prove \(L^{p_1}(\mathbb{R}^d)\times \cdots L^{p_{n+2}}(\mathbb{R}^d)\) polynomial growth estimates for the Christ-Journé multilinear singular integral forms and suitable generalizations.

• + with P. Gressman, D. He, V. Kovač, C. Thiele, P. Yung, On a trilinear singular integral form with determinantal kernel, Proc. Amer. Math. Soc., 144(8):3465-3477, 2016 arXiv

  We study a trilinear singular integral form acting on two-dimensional functions and possessing invariances under arbitrary matrix dilations and linear modulations. One part of the motivation for introducing it lies in its large symmetry groups acting on the Fourier side. Another part of the motivation is that this form stands between the bilinear Hilbert transforms and the first Calderón commutator, in the sense that it can be reduced to a superposition of the former, while it also successfully encodes the latter. As the main result we determine the exact range of exponents in which the L^p estimates hold for the considered form.

• + Differential Equations with a Difference Quotient, Electron. J. Differential Equations, Vol. 2017 (2017), No. 227, pp. 1-42. arXiv

  The purpose of this paper is to study a class of ill-posed differential equations. In some settings, these differential equations exhibit uniqueness but not existence, while in others they exhibit existence but not uniqueness. An example of such a differential equation is, for a polynomial P and continuous functions \(f(x,t):[0,1]\times[0,1]\rightarrow \mathbb{R}\),

  \[ \frac{\partial}{\partial t} f(t,x) = \frac{P(f(t,x))-P(f(t,0))}{x},\quad x>0. \]

  These differential equations are related to inverse problems.

• + Sobolev spaces associated to singular and fractional Radon transforms, Rev. Mat. Iberoam. 33 (2017), no. 2, 633-748 arXiv

  The purpose of this paper is to study the smoothing properties (in \(L^p\) Sobolev spaces) of operators of the form

  \[ f\mapsto \psi(x) \int f(\gamma_t(x)) K(t) dt, \]

  where \(\gamma_t(x)\) is a C^∞ function defined on a neighborhood of the origin in \((t,x)\in \mathbb{R}^N\times \mathbb{R}^n\), satisfying \(\gamma_0(x)\equiv x\), \(\psi\) is a \(C^\infty\) cutoff function supported on a small neighborhood of \(0\in \mathbb{R}^n\), and \(K\) is a "multi-parameter fractional kernel" supported on a small neighborhood of \(0\in \mathbb{R}^N\). When \(K\) is a Calderón-Zygmund kernel these operators were studied by Christ, Nagel, Stein, and Wainger, and when \(K\) is a multi-parameter singular kernel they were studied by the author and Stein. In both of these situations, conditions on \(\gamma\) were given under which the above operator is bounded on \(L^p\) (1 < p < ∞). Under these same conditions, we introduce non-isotropic \(L^p\) Sobolev spaces associated to \(\gamma\). Furthermore, when \(K\) is a fractional kernel which is smoothing of an order which is close to 0 (i.e., very close to a singular kernel) we prove mapping properties of the above operators on these non-isotropic Sobolev spaces. As a corollary, under the conditions introduced on \(\gamma\) by Christ, Nagel, Stein, and Wainger, we prove optimal smoothing properties in isotropic \(L^p\) Sobolev spaces for the above operator when \(K\) is a fractional kernel which is smoothing of very low order.

• + Multi-parameter singular Radon transforms
  • with E. M. Stein, Announcement, Math. Res. Lett., vol. 18, 2011, no. 2, p. 257-277 arXiv
  • Part I: the L² theory, Journal d'Analyse Mathematique, vol. 116, 2012, no. 1, p. 83-162 arXiv
  • with E. M. Stein, Part II: the L^p theory, Adv. Math. 248 (2013), 736-783 arXiv
  • with E. M. Stein, Part III: real analytic surfaces, Adv. Math. 229 (2012), no. 4, 2210-2238 arXiv

  The purpose of this series is to study the \(L^p\) (1 < p < ∞) boundedness of operators of the form

  \[ f\mapsto \psi(x) \int f(\gamma_t(x)) K(t) dt, \]

  where \(\gamma_t(x)\) is a \(C^\infty\) function defined on a neighborhood of the origin in \((t,x)\in \mathbb{R}^N\times \mathbb{R}^n\), satisfying \(\gamma_0(x)\equiv x\), \(\psi\) is a \(C^\infty\) cutoff function supported on a small neighborhood of \(0\in \mathbb{R}^n\), and \(K\) is a "multi-parameter singular kernel" supported on a small neighborhood of \(0\in \mathbb{R}^N\).

  The goal is, given an appropriate class of kernels \(K\), to give conditions on \(\gamma\) such that every operator of the above form is bounded on \(L^p\) (1 < p < ∞). Associated maximal functions are also studied. The case when \(K\) is a Calderón-Zygmund kernel was studied by Christ, Nagel, Stein, and Wainger; we generalize their conditions to the case when \(K\) has a "multi-parameter" structure. For example, when \(K\) is given by a "product kernel." Even when \(K\) is a Calderón-Zygmund kernel, our methods yield some new results.

  The first paper deals with the \(L^2\) theory, the second paper deals with the \(L^p\) theory, while the third paper deals with the special case when \(\gamma\) is real analytic. The announcement gives an overview of the theory in a simpler special case.

• + with A. Nachman, Reconstruction in the Calderón Problem with Partial Data, Comm. Partial Differential Equations, 35 (2010), no. 2, 375-390 arXiv

  We consider the problem of recovering the coefficient σ(x) of the elliptic equation ∇ •(σ ∇ u)=0 in a body from measurements of the Cauchy data on possibly very small subsets of its surface. We give a constructive proof of a uniqueness result by Kenig, Sjöstrand, and Uhlmann. We construct a uniquely specified family of solutions such that their traces on the boundary can be calculated by solving an integral equation which involves only the given partial Cauchy data. The construction entails a new family of Green's functions for the Laplacian, and corresponding single layer potentials, which may be of independent interest.

• + Multi-parameter Carnot-Carathéodory balls and the theorem of Frobenius, Rev. Math. Iberoam., Vol 27, No. 2 (2011) 645-732 arXiv

  Multi-parameter Carnot-Carathéodory balls are studied, generalizing results due to Nagel, Stein, and Wainger in the single parameter setting. The main technical result is seen as a uniform version of the theorem of Frobenius. In addition, maximal functions associated to certain multi-parameter families of Carnot-Carathéodory balls are also studied.

• + A Parametrix for Kohn's operator, Forum Math., 22 (2010), no. 4, 767-810 PDF

  Kohn constructed examples of sums of squares of complex vector fields satisfying Hörmander's condition that lose derivatives, but are nevertheless hypoelliptic. He also demonstrated optimal L² regularity. In this paper, we construct parametricies for Kohn's operators, which lead to the corresponding L^p (1 < p < ∞) and Lipschitz regularity. In fact, our parametrix construction generalizes to a somewhat larger class of operators, yielding some new examples of operators which are hypoelliptic, but lose derivatives. This is the paper version of my thesis, which was done under the supervision of Eli Stein.

• + The ☐_b heat equation and multipliers via the wave equation, Math. Z., 263 (2009), no. 4, 861-886 arXiv

  Recently, Nagel and Stein studied the ☐_b heat equation, where ☐_b is the Kohn Laplacian on the boundary of a weakly pseudoconvex domain of finite type in ℂ². They showed that the Schwartz kernel of e^-t☐_b satisfies good "off-diagonal" estimates, while that of e^-t☐_b-π satisfies good "on-diagonal" estimates, where π denotes the Szegö projection. We offer a simple proof of these results, which easily generalizes to other, similar situations. Our methods involve adapting the well-known relationship between the heat equation and the finite propagation speed of the wave equation to this situation. In addition, we apply these methods to study multipliers of the form m(☐_b). In particular, we show that m(☐_b) is an NIS operator, where m satisfies an appropriate Mihlin−Hörmander condition.

• + An algebra containing the two-sided convolution operators, Adv. Math. 219 (2008), no. 1, 251-315 arXiv

  We present an intrinsically defined algebra of operators containing the right and left invariant Calderón−Zygmund operators on a stratified group. The operators in our algebra are pseudolocal and bounded on L^p (1<p<∞). This algebra provides an example of an algebra of singular integrals that falls outside of the classical Calderón−Zygmund theory.

• + L^p regularity for Kohn's Operator, Math. Res. Lett., 13, 2006, no. 5, 703-711

  This is an announcement of the paper "A parametrix for Kohn's operator" listed above. It contains a simplified example.

• with S. Iams, B. Katz, C. Silva, and K. Wickelgren, On weakly mixing and doubly ergodic nonsingular actions, Colloq. Math, 103, 2005, no. 2, 247-264 PDF
• with R. Oberlin and R. Strichartz, Sampling on the Sierpinski gasket Experiment. Math., 12, 2003, 403-418 PDF

Expository:

• + What else about…hypoellipticity?, Notices Amer. Math. Soc. 65 (2018), no. 4, 424-425.
• + Multiparameter Singular Radon Transforms

  A contribution to the paper Analysis and applications: The mathematical work of Elias Stein, by Charles Fefferman, Alex Ionescu, Terence Tao and Stephen Wainger.