Source author record

Tatiana Toro

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
5topics
4close collaborators

Published work

13 publications

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 LpL^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 LpL^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 LpL^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=−div(A∇u)=0Lu=-{\rm div}(A\nabla u) = 0 with AA being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt A∞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 LL as above has locally Lipschitz coefficients satisfying certain Carleson measure condition then ωL∈A∞ω_L\in A_\infty if and only if ωL⊤∈A∞ω_{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 LL to the class A∞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)f(V) is the image of an nn-dimensional Euclidean subspace VV of RN{\Bbb R}^N (1≤n≤N−11\leq n\leq N-1) under a quasiconformal map f:RN→RNf:{\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 nn-manifold and for a quasiplane to have big pieces of bi-Lipschitz images of Rn{\Bbb R}^n. One main novelty of these results is that we analyze quasiplanes in arbitrary codimension N−nN-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 EE be a set in Rd\mathbb R^d with finite nn-dimensional Hausdorff measure HnH^n such that lim inf⁡r→0r−nHn(B(x,r)∩E)>0\liminf_{r\to0}r^{-n} H^n(B(x,r)\cap E)>0 for HnH^n-a.e. x∈Ex\in E. In this paper it is shown that EE is nn-rectifiable if and only if ∫01∣Hn(B(x,r)∩E)rn−Hn(B(x,2r)∩E)(2r)n∣2 drr<∞\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 HnH^n-a.e. x∈Ex\in E; and also if and only if lim⁡r→0(Hn(B(x,r)∩E)rn−Hn(B(x,2r)∩E)(2r)n)=0 \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 HnH^n-a.e. x∈Ex\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 Rn\mathbb{R}^n. We investigate quantitative relations between the rectifiability of μμ and its distance to flat measures. More precisely, for xx in the support ΣΣ of μμ and r>0r > 0, we introduce a number α(x,r)∈(0,1]α(x,r)\in (0,1] that measures, in terms of a variant of the L1L^1-Wasserstein distance, the minimal distance between the restriction of μμ to B(x,r)B(x,r) and a multiple of the Lebesgue measure on an affine subspace that meets B(x,r/2)B(x,r/2). We show that the set of points of ΣΣ where ∫01α(x,r)drr<∞\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 Rn\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 L1L^1-distance de Wasserstein pour définir, pour xx dans le support ΣΣ de μμ et r>0r>0, un nombre α(x,r)α(x,r) qui mesure la distance minimale entre la restriction de μμ à B(x,r)B(x,r) et une mesure de Lebesgue sur un sous-espace affine passant par B(x,r/2)B(x,r/2). On décompose l'ensemble des points x∈Σx\in Σ tels que ∫01α(x,r)drr<∞\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)α(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 L1L^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±∈L∞(Ω)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 L1L_1 is a small perturbation of L0L_0 and log⁡k0\log k_0 has small BMO norm so does log⁡k1\log k_1. Here kik_i denotes the density of the elliptic measure of LiL_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.

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.