Showing 1–23 of 23 results for author: Street, B

Carnot-Carathéodory Balls on Manifolds with Boundary

Authors: Brian Street

Abstract: 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 st… ▽ More 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. △ Less

Submitted 4 July, 2025; originally announced July 2025.

Comments: 47 pages. Part 1 in a series

Hypoellipticity and Higher Order Gaussian Bounds

Authors: Brian Street

Abstract: Let $(\mathfrak{M},ρ,μ)$ be a metric space of homogeneous type, $p_0\in (1,\infty)$, and $T(t):L^{p_0}(\mathfrak{M},μ)\rightarrow L^{p_0}(\mathfrak{M},μ)$, $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\lef… ▽ More Let $(\mathfrak{M},ρ,μ)$ be a metric space of homogeneous type, $p_0\in (1,\infty)$, and $T(t):L^{p_0}(\mathfrak{M},μ)\rightarrow L^{p_0}(\mathfrak{M},μ)$, $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{ρ(x,y)^{2κ}}{t} \right)^{\frac{1}{2κ-1}} \right) μ\left( B(x,ρ(x,y)+t^{1/2κ}) \right)^{-1}. \] 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. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 26 pages

MSC Class: 2020: 35K08 (Primary); 47D06; 35H10; and 35H20 (Secondary)

Spaces of Besov-Sobolev type and a problem on nonlinear approximation

Authors: Óscar Domínguez, Andreas Seeger, Brian Street, Jean Van Schaftingen, Po-Lam Yung

Abstract: 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.… ▽ More 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. △ Less

Submitted 22 November, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 45 pages

Journal ref: Journal of Functional Analysis, 284 (2023), no.4, 109775

Improving the Regularity of Vector Fields

Authors: Brian Street, Liding Yao

Abstract: Let $α>0$, $β>α$, and let $X_1,\ldots, X_q$ be $\mathscr{C}^α_{\mathrm{loc}}$ vector fields on a $\mathscr{C}^{α+1}$ manifold which span the tangent space at every point, where $\mathscr{C}^{s}$ denotes the Zygmund-Hölder space of order $s$. We give necessary and sufficient conditions for when there is a $\mathscr{C}^{β+1}$ structure on the manifold, compatible with its $\mathscr{C}^{α+1}$ structu… ▽ More Let $α>0$, $β>α$, and let $X_1,\ldots, X_q$ be $\mathscr{C}^α_{\mathrm{loc}}$ vector fields on a $\mathscr{C}^{α+1}$ manifold which span the tangent space at every point, where $\mathscr{C}^{s}$ denotes the Zygmund-Hölder space of order $s$. We give necessary and sufficient conditions for when there is a $\mathscr{C}^{β+1}$ structure on the manifold, compatible with its $\mathscr{C}^{α+1}$ structure, with respect to which $X_1,\ldots, X_q$ are $\mathscr{C}^β_{\mathrm{loc}}$. This strengthens previous results of the first author which dealt with the setting $α>1$, $β>\max\{ α, 2\}$. △ Less

Submitted 22 May, 2022; v1 submitted 21 May, 2021; originally announced May 2021.

Comments: 53 pages. Final version, to be appeared in Journal of Functional Analysis

MSC Class: 2020: 57R25 (Primary); 57R25; 35R05 and 53C17 (Secondary)

Sub-Hermitian Geometry and the Quantitative Newlander-Nirenberg Theorem

Authors: Brian Street

Abstract: Given a finite collection of $C^1$ complex vector fields on a $C^2$ 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, diffeomorp… ▽ More Given a finite collection of $C^1$ complex vector fields on a $C^2$ 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. △ Less

Submitted 9 April, 2020; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: v5: 62 pages, final version, to appear in Adv. Math

MSC Class: 32M25 (Primary); 53C17; 32W50 (Secondary)

Sharp Regularity for the Integrability of Elliptic Structures

Authors: Brian Street

Abstract: 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 $\mathbb{R}^r\times \mathbb{C}^n$ (for some $r$ and $n$) in such a way that the structure is locally the span of… ▽ More 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 $\mathbb{R}^r\times \mathbb{C}^n$ (for some $r$ and $n$) in such a way that the structure is locally the span of $\frac{\partial}{\partial t_1},\ldots, \frac{\partial}{\partial t_r},\frac{\partial}{\partial \overline{z}_1},\ldots, \frac{\partial}{\partial \overline{z}_n}$; where $\mathbb{R}^r\times \mathbb{C}^n$ has coordinates $(t_1,\ldots, t_r, z_1,\ldots, 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. △ Less

Submitted 24 July, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: v3: 39 pages, final version, to appear in J. Funct. Anal

MSC Class: 2010: 58A30 (Primary); 53C15 (Secondary)

Coordinates Adapted to Vector Fields III: Real Analyticity

Authors: Brian Street

Abstract: Given a finite collection of $C^1$ vector fields on a $C^2$ 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 are real analytic. We give necessary and sufficient, coordinate-free conditions for the existence of such a coordinate system. Moreover, we present a quantitative study of these coordinat… ▽ More Given a finite collection of $C^1$ vector fields on a $C^2$ 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 are real analytic. We give necessary and sufficient, coordinate-free conditions for the existence of such a coordinate system. Moreover, we present a quantitative study of these coordinate charts. This is the third part in a three-part series of papers. The first part, joint with Stovall, lay the groundwork for the coordinate system we use in this paper and showed how such coordinate charts can be viewed as scaling maps for sub-Riemannian geometry. The second part dealt with the analogous questions with real analytic replaced by $C^\infty$ and Zygmund spaces. △ Less

Submitted 27 August, 2021; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 44 pages; final version; to appear in Asian Jour. Math.; third part in a three-part series; part 1: arXiv:1709.04528; part 2: arXiv:1808.04159

MSC Class: 2010: 58A30 (Primary); 32C05 and 53C17 (Secondary)

Coordinates Adapted to Vector Fields II: Sharp Results

Authors: Brian Street

Abstract: Given a finite collection of $C^1$ vector fields on a $C^2$ 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 are $\mathscr{C}^{s+1}$ for $s\in (1,\infty]$, where $\mathscr{C}^s$ denotes the Zygmund space of order $s$. We give necessary and sufficient, coordinate-free conditions for the existence… ▽ More Given a finite collection of $C^1$ vector fields on a $C^2$ 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 are $\mathscr{C}^{s+1}$ for $s\in (1,\infty]$, where $\mathscr{C}^s$ denotes the Zygmund space of order $s$. We give necessary and sufficient, coordinate-free conditions for the existence of such a coordinate system. Moreover, we present a quantitative study of these coordinate charts. This is the second part in a three-part series of papers. The first part, joint with Stovall, addressed the same question, though the results were not sharp, and showed how such coordinate charts can be viewed as scaling maps in sub-Riemannian geometry. When viewed in this light, these results can be seen as strengthening and generalizing previous works on the quantitative theory of sub-Riemannian geometry, initiated by Nagel, Stein, and Wainger, and furthered by Tao and Wright, the author, and others. In the third part, we prove similar results concerning real analyticity. △ Less

Submitted 14 June, 2021; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: v6: fixed minor typos, 36 pages. Final version, to appear in Amer. Jour. Math., Part 2 in a 3 parts series. Part 1: arXiv:1709.04528 Part 3: arXiv:1808.04635

MSC Class: 2010: 58A30 (Primary); 57R55 and 53C17 (Secondary)

Endpoint Lebesgue estimates for weighted averages on polynomial curves

Authors: Michael Christ, Spyridon Dendrinos, Betsy Stovall, Brian Street

Abstract: 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 posse… ▽ More 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. △ Less

Submitted 30 September, 2019; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 56 pages; this version was significantly revised from the previous version

Coordinates Adapted to Vector Fields: Canonical Coordinates

Authors: Betsy Stovall, Brian Street

Abstract: Given a finite collection of $C^1$ vector fields on a $C^2$ 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. For example, when is there a coordinate system in which the vector fields are smooth, or real analytic, or have Zygmund regularity of some finite order?… ▽ More Given a finite collection of $C^1$ vector fields on a $C^2$ 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. For example, when is there a coordinate system in which the vector fields are smooth, or real analytic, or have Zygmund regularity of some finite order? We address this question in a quantitative way, which strengthens and generalizes previous works on the quantitative theory of sub-Riemannian (aka Carnot-Carathéodory) geometry due to Nagel, Stein, and Wainger, Tao and Wright, the second author, and others. Furthermore, we provide a diffeomorphism invariant version of these theories. This is the first part in a three part series of papers. In this 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 this 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. △ Less

Submitted 23 October, 2018; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: Part 1 in a 3 part series, 64 pages. final version, to appear in GAFA; part 2: arXiv:1808.04159, part 3: arXiv:1808.04635

MSC Class: 58A30 (Primary); 57R55 and 53C17 (Secondary)

Singular integrals and a problem on mixing flows

Authors: Mahir Hadžić, Andreas Seeger, Charles K. Smart, Brian Street

Abstract: 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… ▽ More 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. △ Less

Submitted 1 September, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: To appear in Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire

MSC Class: 34C11; 35Q35; 37C10; 42B20

Journal ref: Annales de l'Institut Henri Poincare / Analyse non lineaire. 35, No. 4 (2018), 921--943

Multilinear singular integral forms of Christ-Journé type

Authors: Andreas Seeger, Charles K. Smart, Brian Street

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

Submitted 2 May, 2016; v1 submitted 23 October, 2015; originally announced October 2015.

Comments: To appear in Memoirs of the AMS

MSC Class: 42B20

Journal ref: Memoirs of the American Mathematical Society, vol. 257, No. 1231 (2019)

On a trilinear singular integral form with determinantal kernel

Authors: Philip Gressman, Danqing He, Vjekoslav Kovač, Brian Street, Christoph Thiele, Po-Lam Yung

Abstract: 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 commutato… ▽ More 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. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 12 pages

MSC Class: 42B20

Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 8, 3465-3477

Differential Equations with a Difference Quotient

Authors: Brian Street

Abstract: 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(t,x):[0,1]\times [0,1]\rightarrow \mathbb{R}$, \begin{equation*} \frac{\parti… ▽ More 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(t,x):[0,1]\times [0,1]\rightarrow \mathbb{R}$, \begin{equation*} \frac{\partial}{\partial t} f(t,x) = \frac{ P(f(t,x))-P(f(t,0))}{x}, \quad x>0. \end{equation*} These differential equations are related to inverse problems. △ Less

Submitted 2 January, 2017; v1 submitted 22 September, 2015; originally announced September 2015.

Comments: 36 pages

MSC Class: 34K29; 34K09

Sobolev spaces associated to singular and fractional Radon transforms

Authors: Brian Street

Abstract: The purpose of this paper is to study the smoothing properties (in $L^p$ Sobolev spaces) of operators of the form $f\mapsto ψ(x) \int f(γ_t(x)) K(t)\: dt$, where $γ_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 $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cut-off function supported on a small neighborhood of… ▽ More The purpose of this paper is to study the smoothing properties (in $L^p$ Sobolev spaces) of operators of the form $f\mapsto ψ(x) \int f(γ_t(x)) K(t)\: dt$, where $γ_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 $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cut-off 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 $γ$ were given under which the above operator is bounded on $L^p$ ($1<p<\infty$). Under these same conditions, we introduce non-isotropic $L^p$ Sobolev spaces associated to $γ$. 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 $γ$ 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. △ Less

Submitted 13 May, 2016; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: 94 pages; final version; to appear in Rev. Mat. Ibero

MSC Class: 42B20 (Primary) 42B25; 44A12 (Secondary)

Multi-parameter singular Radon transforms II: the L^p theory

Authors: Elias M. Stein, Brian Street

Abstract: The purpose of this paper is to study the $L^p$ boundedness of operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x))K(t)\: dt, \] where $γ_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cutoff function supported on a small neighborhood of $0\in \R^n$, and $K$ is a "multi-parameter singular kerne… ▽ More The purpose of this paper is to study the $L^p$ boundedness of operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x))K(t)\: dt, \] where $γ_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cutoff function supported on a small neighborhood of $0\in \R^n$, and $K$ is a "multi-parameter singular kernel" supported on a small neighborhood of $0\in \R^N$. We also study associated maximal operators. The goal is, given an appropriate class of kernels $K$, to give conditions on $γ$ such that every operator of the above form is bounded on $L^p$ ($1<p<\infty$). The case when $K$ is a Calderón-Zygmund kernel was studied by Christ, Nagel, Stein, and Wainger; we generalize their work to the case when $K$ is (for instance) given by a "product kernel." Even when $K$ is a Calderón-Zygmund kernel, our methods yield some new results. This is the second paper in a three part series. The first paper deals with the case $p=2$, while the third paper deals with the special case when $γ$ is real analytic. △ Less

Submitted 31 July, 2013; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: 41 pages; part 2 in a three part series

MSC Class: MCS2010: Primary 42B20; Secondary 42B25

Multi-parameter singular Radon transforms III: real analytic surfaces

Authors: Elias M. Stein, Brian Street

Abstract: The goal of this paper is to study operators of the form, \[ Tf(x)= ψ(x)\int f(γ_t(x))K(t)\: dt, \] where $γ$ is a real analytic function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a cutoff function supported near $0\in \R^n$, and $K$ is a "multi-parameter singular kernel" supported near $0\in \R^N$. A main example is when $K$ is a "p… ▽ More The goal of this paper is to study operators of the form, \[ Tf(x)= ψ(x)\int f(γ_t(x))K(t)\: dt, \] where $γ$ is a real analytic function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a cutoff function supported near $0\in \R^n$, and $K$ is a "multi-parameter singular kernel" supported near $0\in \R^N$. A main example is when $K$ is a "product kernel." We also study maximal operators of the form, \[ \mathcal{M} f(x) = ψ(x)\sup_{0<δ_1,..., δ_N<<1} \int_{|t|<1} |f(γ_{δ_1 t_1,...,δ_N t_N}(x))|\: dt. \] We show that $\mathcal{M}$ is bounded on $L^p$ ($1<p\leq \infty$). We give conditions on $γ$ under which $T$ is bounded on $L^p$ ($1<p<\infty$); these conditions hold automatically when $K$ is a Calderón-Zygmund kernel. This is the final paper in a three part series. The first two papers consider the more general case when $γ$ is $C^\infty$. △ Less

Submitted 23 May, 2011; originally announced May 2011.

Comments: 22 pages, part 3 in a three part series

MSC Class: MCS2010: Primary 42B20; Secondary 42B25; 26E05; 32B05

Multi-parameter singular Radon transforms

Authors: Elias M. Stein, Brian Street

Abstract: The purpose of this announcement is to describe a development given in a series of forthcoming papers by the authors that concern operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x)) K(t)\: dt, \] where $γ_t(x)=γ(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 $γ_0(x)\equiv x$, $K(t)$ is a "multi-parameter singular ke… ▽ More The purpose of this announcement is to describe a development given in a series of forthcoming papers by the authors that concern operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x)) K(t)\: dt, \] where $γ_t(x)=γ(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 $γ_0(x)\equiv x$, $K(t)$ is a "multi-parameter singular kernel" supported near $t=0$, and $ψ$ is a cutoff function supported near $x=0$. This note concerns the case when $K$ is a "product kernel". The goal is to give conditions on $γ$ such that the above operator is bounded on $L^p$ for $1<p<\infty$. Associated maximal functions are also discussed. The "single-parameter" case when $K$ is a Calderón-Zygmund kernel was studied by Christ, Nagel, Stein, and Wainger. The theory here extends these results to the multi-parameter context and also deals effectively with the case when $γ$ is real-analytic. △ Less

Submitted 26 January, 2011; v1 submitted 12 December, 2010; originally announced December 2010.

Comments: 18 pages; an announcement for a three part series of papers; final version to appear in Math. Res. Lett

MSC Class: 42B20 (Primary) 42B25; 44A12 (Secondary)

Multi-parameter singular Radon transforms I: the $L^2$ theory

Authors: Brian Street

Abstract: The purpose of this paper is to study the $L^2$ boundedness of operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x)) K(t) dt, \] where $γ_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cutoff function supported on a small neighborhood of $0\in \R^n$, and $K$ is a "multi-parameter singular kernel… ▽ More The purpose of this paper is to study the $L^2$ boundedness of operators of the form \[ f\mapsto ψ(x) \int f(γ_t(x)) K(t) dt, \] where $γ_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(t,x)\in \R^N\times \R^n$, satisfying $γ_0(x)\equiv x$, $ψ$ is a $C^\infty$ cutoff function supported on a small neighborhood of $0\in \R^n$, and $K$ is a "multi-parameter singular kernel" supported on a small neighborhood of $0\in \R^N$. The goal is, given an appropriate class of kernels $K$, to give conditions on $γ$ such that every operator of the above form is bounded on $L^2$. 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. This is the first paper in a three part series, the later two of which are joint with E. M. Stein. The second paper deals with the related question of $L^p$ boundedness, while the third paper deals with the special case when $γ$ is real analytic. △ Less

Submitted 13 April, 2011; v1 submitted 24 May, 2010; originally announced May 2010.

Comments: 60 pages; part 1 of a 3 part series; to appear in Journal d'Analyse Mathematique

MSC Class: 42B20

Reconstruction in the Calderon Problem with Partial Data

Authors: Adrian Nachman, Brian Street

Abstract: We consider the problem of recovering the coefficient σ(x) of the elliptic equation \grad \cdot(σ\grad 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… ▽ More We consider the problem of recovering the coefficient σ(x) of the elliptic equation \grad \cdot(σ\grad 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. △ Less

Submitted 27 August, 2009; v1 submitted 30 April, 2009; originally announced April 2009.

Comments: Final version, 17 pages, to appear in Comm in PDE

MSC Class: 35R30

Multi-parameter Carnot-Caratheodory balls and the theorem of Frobenius

Authors: Brian Street

Abstract: We study multi-parameter Carnot-Caratheodory balls, 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, we study maximal functions associated to certain multi-parameter families of Carnot-Caratheodory balls. We study multi-parameter Carnot-Caratheodory balls, 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, we study maximal functions associated to certain multi-parameter families of Carnot-Caratheodory balls. △ Less

Submitted 14 January, 2011; v1 submitted 19 January, 2009; originally announced January 2009.

Comments: Final version, to appear in Rev. Mat. Ibero

The $\square_b$ Heat Equation and Multipliers via the Wave Equation

Authors: Brian Street

Abstract: Recently, Nagel and Stein studied the $\square_b$-heat equation, where $\square_b$ is the Kohn Laplacian on the boundary of a weakly-pseudoconvex domain of finite type in $\C^2$. They showed that the Schwartz kernel of $e^{-t\square_b}$ satisfies good "off-diagonal" estimates, while that of $e^{-t\square_b}-π$ satisfies good "on-diagonal" estimates, where $π$ is the Szegö projection. We offer a… ▽ More Recently, Nagel and Stein studied the $\square_b$-heat equation, where $\square_b$ is the Kohn Laplacian on the boundary of a weakly-pseudoconvex domain of finite type in $\C^2$. They showed that the Schwartz kernel of $e^{-t\square_b}$ satisfies good "off-diagonal" estimates, while that of $e^{-t\square_b}-π$ satisfies good "on-diagonal" estimates, where $π$ is 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ł(\square_b\r)$. In particular, we show that $mł(\square_b\r)$ is an NIS operator, where $m$ satisfies an appropriate Mihlin-Hörmander condition. △ Less

Submitted 10 September, 2008; v1 submitted 9 May, 2008; originally announced May 2008.

Comments: 29 pages; minor corrections

MSC Class: 32W30; 32T25; 32V35; 32W10

An Algebra Containing the Two-Sided Convolution Operators

Authors: Brian Street

Abstract: 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<\infty). This algebra provides an example of an algebra of singular integrals that falls outside of the classical Calderón-Zygmund theory. 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<\infty). This algebra provides an example of an algebra of singular integrals that falls outside of the classical Calderón-Zygmund theory. △ Less

Submitted 13 February, 2008; originally announced February 2008.

Comments: 69 pages

MSC Class: 42B20; 42B25