Source author record

Tatiana Toro

Tatiana Toro 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

13works
5topics
4close 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

13 published item(s)

preprint2022arXiv

Branch Points for (Almost-)Minimizers of Two-Phase Free Boundary Problems

We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have very little structure. This last example stands in contrast with recent results of De Philippis- Spolaor-Velichkov on the structure of branch points in the free boundary of stationary solutions.

preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part I: The small constant case

The present paper, along with its sequel, establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. This paper addresses the free boundary problem under the assumption of smallness of the Carleson measure of the coefficients. Part II of this work develops an extrapolation argument to bootstrap this result to the general case. The ideas in Part I constitute a novel application of techniques developed in geometric measure theory. They highlight the synergy between several areas. The ideas developed in this paper are well suited to study singularities arising in variational problems in a geometric setting.

preprint2020arXiv

Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case

The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the "large constant case". The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

preprint2019arXiv

Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates

We generalize to the setting of 1-sided chord-arc domains, that is, to domains satisfying the interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness) and which have an Ahlfors regular boundary, a result of Kenig-Kirchheim-Pipher-Toro, in which Carleson measure estimates for bounded solutions of the equation $Lu=-{\rm div}(A\nabla u) = 0$ with $A$ being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt $A_\infty$ class with respect to surface measure on the boundary. We present two applications of this result. In the first one we extend a perturbation result recently proved by Cavero-Hofmann-Martell presenting a simpler proof and allowing non-symmetric coefficients. Second, we prove that if an operator $L$ as above has locally Lipschitz coefficients satisfying certain Carleson measure condition then $ω_L\in A_\infty$ if and only if $ω_{L^\top}\in A_\infty$. As a consequence, we can remove one of the main assumptions in the non-symmetric case of a result of Hofmann-Martell-Toro and show that if the coefficients satisfy a slightly stronger Carleson measure condition the membership of the elliptic measure associated with $L$ to the class $A_\infty$ yields that the domain is indeed a chord-arc domain.

preprint2014arXiv

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

A quasiplane $f(V)$ is the image of an $n$-dimensional Euclidean subspace $V$ of ${\Bbb R}^N$ ($1\leq n\leq N-1$) under a quasiconformal map $f:{\Bbb R}^N\to{\Bbb R}^N$ . We give sufficient conditions in terms of the weak quasisymmetry constant of the underlying map for a quasiplane to be a bi-Lipschitz $n$-manifold and for a quasiplane to have big pieces of bi-Lipschitz images of ${\Bbb R}^n$. One main novelty of these results is that we analyze quasiplanes in arbitrary codimension $N-n$. To establish the big pieces criterion, we prove new extension theorems for "almost affine" maps, which are of independent interest. This work is related to investigations by Tukia and Väisälä on extensions of quasisymmetric maps with small distortion.

preprint2014arXiv

Rectifiability via a square function and Preiss' theorem

Let $E$ be a set in $\mathbb R^d$ with finite $n$-dimensional Hausdorff measure $H^n$ such that $\liminf_{r\to0}r^{-n} H^n(B(x,r)\cap E)>0$ for $H^n$-a.e. $x\in E$. In this paper it is shown that $E$ is $n$-rectifiable if and only if $$\int_0^1 \left|\frac{H^n(B(x,r)\cap E)}{r^n} - \frac{H^n(B(x,2r)\cap E)}{(2r)^n}\right|^2\,\frac{dr}r < \infty$$ for $H^n$-a.e. $x\in E$; and also if and only if $$ \lim_{r\to0}\left(\frac{H^n(B(x,r)\cap E)}{r^n} - \frac{H^n(B(x,2r)\cap E)}{(2r)^n}\right) = 0$$ for $H^n$-a.e. $x\in E$. Other more general results involving Radon measures are also proved.

preprint2014arXiv

Wasserstein Distance and the Rectifiability of Doubling Measures: Part I

Let $μ$ be a doubling measure in $\mathbb{R}^n$. We investigate quantitative relations between the rectifiability of $μ$ and its distance to flat measures. More precisely, for $x$ in the support $Σ$ of $μ$ and $r > 0$, we introduce a number $α(x,r)\in (0,1]$ that measures, in terms of a variant of the $L^1$-Wasserstein distance, the minimal distance between the restriction of $μ$ to $B(x,r)$ and a multiple of the Lebesgue measure on an affine subspace that meets $B(x,r/2)$. We show that the set of points of $Σ$ where $\int_0^1 α(x,r) \frac{dr}{r} < \infty$ can be decomposed into rectifiable pieces of various dimensions. We obtain additional control on the pieces and the size of $μ$ when we assume that some Carleson measure estimates hold. Soit $μ$ une mesure doublante dans $\mathbb{R}^n$. On étudie des relations quantifiées entre la rectifiabilité de $μ$ et la distance entre $μ$ et les mesures plates. Plus précisément, on utilise une variante de la $L^1$-distance de Wasserstein pour définir, pour $x$ dans le support $Σ$ de $μ$ et $r>0$, un nombre $α(x,r)$ qui mesure la distance minimale entre la restriction de $μ$ à $B(x,r)$ et une mesure de Lebesgue sur un sous-espace affine passant par $B(x,r/2)$. On décompose l'ensemble des points $x\in Σ$ tels que $\int_0^1 α(x,r) \frac{dr}{r} < \infty$ en parties rectifiables de dimensions diverses, et on obtient un meilleur contrôle de ces parties et de la taille de $μ$ quand les $α(x,r)$ vérifient certaines conditions de Carleson.

preprint2014arXiv

Wasserstein Distance and the Rectifiability of Doubling Measures: Part II

We study the structure of the support of a doubling measure by analyzing its self-similarity properties, which we estimate using a variant of the $L^1$ Wasserstein distance. We show that measure satisfying certain self-similarity conditions admits a unique (up to multiplication by a constant) flat tangent measure at almost every point. This allows us to decompose the support into rectifiable pieces of various dimensions.

preprint2013arXiv

Regularity for almost minimizers with free boundary

In this paper we study the local regularity of almost minimizers of the functional \begin{equation*} J(u)=\int_Ω|\nabla u(x)|^2 +q^2_+(x)χ_{\{u>0\}}(x) +q^2_-(x)χ_{\{u<0\}}(x) \end{equation*} where $q_\pm \in L^\infty(Ω)$. Almost minimizers do not satisfy a PDE or a monotonicity formula like minimizers do (see \cite{AC}, \cite{ACF}, \cite{CJK}, \cite{W}). Nevertheless we succeed in proving that they are locally Lipschitz, which is the optimal regularity for minimizers.

preprint2012arXiv

Perturbations of elliptic operators in chord arc domains

We study the boundary regularity of solutions to divergence form operators which are small perturbations of operators for which the boundary regularity of solutions is known. An operator is a small perturbation of another operator if the deviation function of the coefficients satisfies a Carleson measure condition with small norm. We extend Escauriaza's result on Lipschitz domains to chord arc domains with small constant. In particular we prove that if $L_1$ is a small perturbation of $L_0$ and $\log k_0$ has small BMO norm so does $\log k_1$. Here $k_i$ denotes the density of the elliptic measure of $L_i$ with respect to the surface measure of the boundary of the domain.

preprint2012arXiv

Quasisymmetry and rectifiability of quasispheres

We obtain Dini conditions with "exponent 2" that guarantee that an asymptotically conformal quasisphere is rectifiable. In particular, we show that for any e>0 integrability of (esssup_{1-t < |x| < 1+t} K_f(x)-1)^{2-e} dt/t implies that the image of the unit sphere under a global quasiconformal homeomorphism f is rectifiable. We also establish estimates for the weak quasisymmetry constant of a global K-quasiconformal map in neighborhoods with maximal dilatation close to 1.

preprint1999arXiv

Free boundary regularity for harmonic measures and Poisson kernels

One of the basic aims of this paper is to study the relationship between the geometry of ``hypersurface like'' subsets of Euclidean space and the properties of the measures they support. In this context we show that certain doubling properties of a measure determine the geometry of its support. A Radon measure is said to be doubling with constant C if C times the measure of the ball of radius r centered on the support is greater than the measure of the ball of radius 2r and the same center. We prove that if the doubling constant of a measure on \R^{n+1} is close to the doubling constant of the n-dimensional Lebesgue measure then its support is well approximated by n-dimensional affine spaces, provided that the support is relatively flat to start with. Primarily we consider sets which are boundaries of domains in \R^{n+1}. The n-dimensional Hausdorff measure may not be defined on the boundary of a domain in R^{n+1}. Thus we turn our attention to the harmonic measure which is well behaved under minor assumptions. We obtain a new characterization of locally flat domains in terms of the doubling properties of their harmonic measure. Along these lines we investigate how the ``weak'' regularity of the Poisson kernel of a domain determines the geometry of its boundary.