BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Brian Street

Brian Street contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.APmath.DGmath.CVmath.FAmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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\}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;multi-parameter fractional kernel&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;multi-parameter singular kernel&#34; 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 &#34;product kernel.&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;multi-parameter singular kernel&#34; supported near $t=0$, and $ψ$ is a cutoff function supported near $x=0$. This note concerns the case when $K$ is a &#34;product kernel&#34;. 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 &#34;single-parameter&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;multi-parameter singular kernel&#34; 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 &#34;multi-parameter&#34; structure. For example, when $K$ is given by a &#34;product kernel.&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;multi-parameter singular kernel&#34; supported near $0\in \R^N$. A main example is when $K$ is a &#34;product kernel.&#34; 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$.

0 citations0 reviewsNo code linkedOpen access