Source author record

Brian Street

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.AP math.DG math.CV math.FA math.MG

Catalog footprint

Research overview

11works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Hypoellipticity and Higher Order Gaussian Bounds

Let $(\mathfrak{M},ρ,μ)$ be a metric measure space satisfying a doubling condition, $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_ρ\left(x,ρ(x,y)+t^{1/2κ}\right) \right)^{-1},$ where $B_ρ$ 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.

preprint2022arXiv

Improving the Regularity of Vector Fields

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

preprint2020arXiv

Sub-Hermitian Geometry and the Quantitative Newlander-Nirenberg Theorem

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.

preprint2017arXiv

Differential Equations with a Difference Quotient

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.

preprint2016arXiv

Sobolev spaces associated to singular and fractional Radon transforms

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.

preprint2015arXiv

On a trilinear singular integral form with determinantal kernel

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.

preprint2013arXiv

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

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Multi-parameter singular Radon transforms

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Multi-parameter singular Radon transforms III: real analytic surfaces

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

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Brian Street

Research overview

Is this your work?

11 publications

Hypoellipticity and Higher Order Gaussian Bounds

Improving the Regularity of Vector Fields

Sub-Hermitian Geometry and the Quantitative Newlander-Nirenberg Theorem

Differential Equations with a Difference Quotient

Sobolev spaces associated to singular and fractional Radon transforms

On a trilinear singular integral form with determinantal kernel

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

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

Multi-parameter singular Radon transforms

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

Multi-parameter singular Radon transforms III: real analytic surfaces

See the researcher in context

Building this map preview

Brian Street

Research overview

Is this your work?

11 publications

Hypoellipticity and Higher Order Gaussian Bounds

Improving the Regularity of Vector Fields

Sub-Hermitian Geometry and the Quantitative Newlander-Nirenberg Theorem

Differential Equations with a Difference Quotient

Sobolev spaces associated to singular and fractional Radon transforms

On a trilinear singular integral form with determinantal kernel

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

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

Multi-parameter singular Radon transforms

Multi-parameter singular Radon transforms I: the L2L^2L2 theory

Multi-parameter singular Radon transforms III: real analytic surfaces

See the researcher in context

Building this map preview

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