Source author record

Michele Villa

Michele Villa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
5topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

4 published item(s)

preprint2022arXiv

A square function involving the center of mass and rectifiability

For a Radon measure $μ$ on $\mathbb{R}^d$, define $C^n_μ(x, t)= \ (\frac{1}{t^n} \ |\int_{B(x,t)} \frac{x-y}{t} \, dμ(y)\ | \ )$. This coefficient quantifies how symmetric the measure $μ$ is by comparing the center of mass at a given scale and location to the actual center of the ball. We show that if $μ$ is $n$-rectifiable, then $ \int_0^\infty |C^n_μ(x,t)|^2 \frac{dt}{t} < \infty \, \, μ\mbox{-almost everywhere}. $ Together with a previous result of Mayboroda and Volberg, where they showed that the converse holds true, this gives a characterisation of $n$-rectifiability. To prove our main result, we also show that for an $n$-uniformly rectifiable measure, $|C_μ^n(x,t)|^2 dt/t dμ$ is a Carleson measure on $\mathrm{spt}(μ) \times (0,\infty)$. We also show that, whenever a measure $μ$ is $1$-rectifiable in the plane, then the same Dini condition as above holds for more general kernels. Moreover, we give a characterisation of uniform 1-rectifiability in the plane in terms of a Carleson measure condition.

preprint2022arXiv

Integrability of orthogonal projections, and applications to Furstenberg sets

Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$-dimensional subspaces of $\mathbb{R}^{d}$, and let $π_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $μ$ is a compactly supported Radon measure on $\mathbb{R}^{d}$ satisfying the $s$-dimensional Frostman condition $μ(B(x,r)) \leq Cr^{s}$ for all $x \in \mathbb{R}^{d}$ and $r > 0$, then $$\int_{\mathcal{G}(d,n)} \|π_{V}μ\|_{L^{p}(V)}^{p} \, dγ_{d,n}(V) < \infty, \qquad 1 \leq p < \frac{2d - n - s}{d - s}.$$ The upper bound for $p$ is sharp, at least, for $d - 1 \leq s \leq d$, and every $0 < n < d$. Our motivation for this question comes from finding improved lower bounds on the Hausdorff dimension of $(s,t)$-Furstenberg sets. For $0 \leq s \leq 1$ and $0 \leq t \leq 2$, a set $K \subset \mathbb{R}^{2}$ is called an $(s,t)$-Furstenberg set if there exists a $t$-dimensional family $\mathcal{L}$ of affine lines in $\mathbb{R}^{2}$ such that $\dim_{\mathrm{H}} (K \cap \ell) \geq s$ for all $\ell \in \mathcal{L}$. As a consequence of our projection theorem in $\mathbb{R}^{2}$, we show that every $(s,t)$-Furstenberg set $K \subset \mathbb{R}^{2}$ with $1 < t \leq 2$ satisfies $$\dim_{\mathrm{H}} K \geq 2s + (1 - s)(t - 1).$$ This improves on previous bounds for pairs $(s,t)$ with $s > \tfrac{1}{2}$ and $t \geq 1 + ε$ for a small absolute constant $ε> 0$. We also prove a higher dimensional analogue of this estimate for codimension-1 Furstenberg sets in $\mathbb{R}^{d}$. As another corollary of our method, we obtain a $δ$-discretised sum-product estimate for $(δ,s)$-sets. Our bound improves on a previous estimate of Chen for every $\tfrac{1}{2} < s < 1$, and also of Guth-Katz-Zahl for $s \geq 0.5151$.

preprint2020arXiv

$Ω$-symmetric measures and related singular integrals

Let $\mathbb{S} \subset \mathbb{C}$ be the circle in the plane, and let $Ω: \mathbb{S} \to \mathbb{S}$ be an odd bi-Lipschitz map with constant $1+δ_Ω$, where $δ_Ω>0$ is small. Assume also that $Ω$ is twice continuously differentiable. Motivated by a question raised by Mattila and Preiss in [MP95], we prove the following: if a Radon measure $μ$ has positive lower density and finte upper density almost everywhere, and the limit $$ \lim_{ε\downarrow 0} \int_{\mathbb{C} \setminus B(x,ε)} \frac{Ω\left((x-y)/|x-y|\right)}{|x-y|} \, dμ(y) $$ exists $μ$-almost everywhere, then $μ$ is $1$-rectifiable. To achieve this, we prove first that if an Ahlfors-David 1-regular measure $μ$ is symmetric with respect to $Ω$, that is, if $$ \int_{B(x,r)} |x-y|Ω\left(\frac{x-y}{|x-y|}\right) \, dμ(y) = 0 \mbox{ for all } x \in \mbox{spt}(μ) \mbox{ and } r>0, $$ then $μ$ is flat, or, in other words, there exists a constant $c>0$ and a line $L$ so that $μ= c \mathcal{H}^{1}|_{L}$.

preprint2020arXiv

Sub-elliptic boundary value problems in flag domains

A flag domain in $\mathbb{R}^{3}$ is a subset of $\mathbb{R}^{3}$ of the form $\{(x,y,t) : y < A(x)\}$, where $A \colon \mathbb{R} \to \mathbb{R}$ is a Lipschitz function. We solve the Dirichlet and Neumann problems for the sub-elliptic Kohn-Laplacian $\bigtriangleup^{\flat} = X^{2} + Y^{2}$ in flag domains $Ω\subset \mathbb{R}^{3}$, with $L^{2}$-boundary values. We also obtain improved regularity for solutions to the Dirichlet problem if the boundary values have first order $L^{2}$-Sobolev regularity. Our solutions are obtained as sub-elliptic single and double layer potentials, which are best viewed as integral operators on the first Heisenberg group. We develop the theory of these operators on flag domains, and their boundaries.