Showing 1–27 of 27 results for author: Engelstein, M

Singular set estimates for solutions to elliptic equations in higher co-dimension

Authors: Max Engelstein, Cole Jeznach, Yannick Sire

Abstract: Recent advances in quantitative unique continuation properties for solutions to uniformly elliptic, divergence form equations (with Lipschitz coefficients) has led to a good understanding of the vanishing order and size of singular and zero set of solutions. Such estimates also hold at the boundary, provided that the domain is sufficiently regular. In this work, we investigate the boundary behavio… ▽ More Recent advances in quantitative unique continuation properties for solutions to uniformly elliptic, divergence form equations (with Lipschitz coefficients) has led to a good understanding of the vanishing order and size of singular and zero set of solutions. Such estimates also hold at the boundary, provided that the domain is sufficiently regular. In this work, we investigate the boundary behavior of solutions to a class of elliptic equations in the higher co-dimension setting, whose coefficients are neither uniformly elliptic, nor uniformly Lipschitz. Despite these challenges, we are still able to show analogous estimates on the singular set of such solutions near the boundary. Our main technical advance is a variant of the Cheeger-Naber-Valtorta quantitative stratification scheme using cones instead of planes. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Comments: 83 pages. Comments welcome!

MSC Class: 35J70; 28A78; 35A02

Unique continuation for locally uniformly distributed measures

Authors: Max Engelstein, Ignasi Guillén-Mola

Abstract: In this note we show that the support of a locally $k$-uniform measure in $\mathbb R^{n+1}$ satisfies a kind of unique continuation property. As a consequence, we show that locally uniformly distributed measures satisfy a weaker unique continuation property. This continues work of Kirchheim and Preiss (Math. Scand. 2002) and David, Kenig and Toro (Comm. Pure Appl. Math. 2001) and lends additional… ▽ More In this note we show that the support of a locally $k$-uniform measure in $\mathbb R^{n+1}$ satisfies a kind of unique continuation property. As a consequence, we show that locally uniformly distributed measures satisfy a weaker unique continuation property. This continues work of Kirchheim and Preiss (Math. Scand. 2002) and David, Kenig and Toro (Comm. Pure Appl. Math. 2001) and lends additional evidence to the conjecture proposed by Kowalski and Preiss (J. Reine Angew. Math. 1987) that each connected component of the support of a locally $n$-uniform measure in $\mathbb R^{n+1}$ is contained in the zero set of a quadratic polynomial. △ Less

Submitted 16 March, 2025; v1 submitted 23 January, 2025; originally announced January 2025.

Comments: Correction of minor typos. The argument remains unchanged. Accepted for publication in The Journal of Geometric Analysis

MSC Class: 28A75; 28C15; 58C35. Secondary: 28A78; 49Q15

Dimension and structure of the Robin Harmonic Measure on Rough Domains

Authors: Guy David, Stefano Decio, Max Engelstein, Svitlana Mayboroda, Marco Michetti

Abstract: The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the ph… ▽ More The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the physics literature, that the dimension of the Robin harmonic measure in rough domains exhibits a phase transition as the boundary condition interpolates between completely reflecting and completely absorbing. In the adopted traditional language, the corresponding harmonic measure exhibits no dimension drop, and the absolute continuity necessitates neither rectifiability of the boundary nor control of the oscillations of the coefficients of the equation. The expected phase transition is rather exhibited through the detailed non-scale-invariant weight estimates. △ Less

Submitted 31 October, 2024; originally announced October 2024.

Comments: 53 pages, 2 figures. All comments welcome!

Graphical solutions to one-phase free boundary problems

Authors: Max Engelstein, Xavier Fernández-Real, Hui Yu

Abstract: We study viscosity solutions to the classical one-phase problem and its thin counterpart. In low dimensions, we show that when the free boundary is the graph of a continuous function, the solution is the half-plane solution. This answers, in the salient dimensions, a one-phase free boundary analogue of Bernstein's problem for minimal surfaces. As an application, we also classify monotone solutio… ▽ More We study viscosity solutions to the classical one-phase problem and its thin counterpart. In low dimensions, we show that when the free boundary is the graph of a continuous function, the solution is the half-plane solution. This answers, in the salient dimensions, a one-phase free boundary analogue of Bernstein's problem for minimal surfaces. As an application, we also classify monotone solutions of semilinear equations with a bump-type nonlinearity. △ Less

Submitted 9 November, 2023; v1 submitted 17 December, 2022; originally announced December 2022.

MSC Class: 35R35

Slowly vanishing mean oscillations: non-uniqueness of blow-ups in a two-phase free boundary problem

Authors: Matthew Badger, Max Engelstein, Tatiana Toro

Abstract: In Kenig and Toro's two-phase free boundary problem, one studies how the regularity of the Radon-Nikodym derivative $h= dω^-/dω^+$ of harmonic measures on complementary NTA domains controls the geometry of their common boundary. It is now known that $\log h \in C^{0,α}(\partial Ω)$ implies that pointwise the boundary has a unique blow-up, which is the zero set of a homogeneous harmonic polynomial.… ▽ More In Kenig and Toro's two-phase free boundary problem, one studies how the regularity of the Radon-Nikodym derivative $h= dω^-/dω^+$ of harmonic measures on complementary NTA domains controls the geometry of their common boundary. It is now known that $\log h \in C^{0,α}(\partial Ω)$ implies that pointwise the boundary has a unique blow-up, which is the zero set of a homogeneous harmonic polynomial. In this note, we give examples of domains with $\log h \in C(\partial Ω)$ whose boundaries have points with non-unique blow-ups. Philosophically the examples arise from oscillating or rotating a blow-up limit by an infinite amount, but very slowly. △ Less

Submitted 31 October, 2022; originally announced October 2022.

Comments: 13 pages, 9 figures. Dedicated to Carlos Kenig's 70th birthday. Comments welcome

Non-local distance functions and geometric regularity

Authors: Max Engelstein, Cole Jeznach, Svitlana Mayboroda

Abstract: We establish the equivalence between the regularity (rectifiability) of sets and suitable estimates on the oscillation of the gradient for smooth non-local distance functions. A prototypical example of such a distance was introduced, as part of a larger PDE theory, by Guy David, Joseph Feneuil, and the third author. The results apply to all dimensions and co-dimensions, require no underlying topol… ▽ More We establish the equivalence between the regularity (rectifiability) of sets and suitable estimates on the oscillation of the gradient for smooth non-local distance functions. A prototypical example of such a distance was introduced, as part of a larger PDE theory, by Guy David, Joseph Feneuil, and the third author. The results apply to all dimensions and co-dimensions, require no underlying topological assumptions, and provide a surprisingly rich class of analytic characterizations of rectifiability. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 44 pages. Comments welcome

MSC Class: Primary: 28A75; 35J70; Secondary: 42B20

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

Authors: Guy David, Max Engelstein, Mariana Smit Vega Garcia, Tatiana Toro

Abstract: 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 ver… ▽ More 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. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 30 pages, 5 figures. Comments Welcome!

Łojasiewicz Inequalities and Generic Smoothness of Nodal Sets of Solutions to Elliptic PDE

Authors: Matthew Badger, Max Engelstein, Tatiana Toro

Abstract: In this article, we prove that for a broad class of second order elliptic PDEs, including the Laplacian, the zero sets of solutions to the Dirichlet problem are smooth for "generic" $L^2$ data. When the zero set of a solution (e.g. a harmonic function) contains a singularity, this means that we can find an arbitrarily small perturbation of the boundary data so that the zero set of the perturbed so… ▽ More In this article, we prove that for a broad class of second order elliptic PDEs, including the Laplacian, the zero sets of solutions to the Dirichlet problem are smooth for "generic" $L^2$ data. When the zero set of a solution (e.g. a harmonic function) contains a singularity, this means that we can find an arbitrarily small perturbation of the boundary data so that the zero set of the perturbed solution is smooth throughout a prescribed neighborhood of the former singularity. Furthermore, we can take the perturbation to be "mean zero" for which there are additional technical difficulties to ensure that we do not introduce new singularities in the process of eliminating the original ones. Of independent interest, in order to prove the main theorem, we establish an effective version of the Łojasiewicz gradient inequality with uniform constants in the class of solutions with bounded frequency. △ Less

Submitted 6 October, 2021; v1 submitted 18 August, 2021; originally announced August 2021.

Comments: There is a flaw in proof of the Theorem 1.3 of the manuscript. The theorem is false

MSC Class: 35J15; 31B05; 35B65

Rectifiability and almost everywhere uniqueness of the blow-up for the vectorial Bernoulli free boundaries

Authors: Guido De Philippis, Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monoto… ▽ More We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monotonicity formula. △ Less

Submitted 8 August, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

Quantitative Stability for Minimizing Yamabe Metrics

Authors: Max Engelstein, Robin Neumayer, Luca Spolaor

Abstract: On any closed Riemannian manifold of dimension $n\geq 3$, we prove that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close, in a quantitative sense, to a minimizing Yamabe metric in the conformal class. Generically, this distance is controlled quadratically by the Yamabe energy deficit. Finally, we produce an example for which this quadratic estimate… ▽ More On any closed Riemannian manifold of dimension $n\geq 3$, we prove that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close, in a quantitative sense, to a minimizing Yamabe metric in the conformal class. Generically, this distance is controlled quadratically by the Yamabe energy deficit. Finally, we produce an example for which this quadratic estimate is false. △ Less

Submitted 14 February, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 23 pages. Minor edits and clarifications as suggested by the referee and others. Final version, accepted to Trans. AMS

Non-Uniqueness of Bubbling for Wave Maps

Authors: Max Engelstein, Dana Mendelson

Abstract: We consider wave maps from $\mathbb R^{2+1}$ to a $C^\infty$-smooth Riemannian manifold, $\mathcal N$. Such maps can exhibit energy concentration, and at points of concentration, it is known that the map (suitably rescaled and translated) converges weakly to a harmonic map, known as a bubble. We give an example of a wave map which exhibits a type of non-uniqueness of bubbling. In particular, we ex… ▽ More We consider wave maps from $\mathbb R^{2+1}$ to a $C^\infty$-smooth Riemannian manifold, $\mathcal N$. Such maps can exhibit energy concentration, and at points of concentration, it is known that the map (suitably rescaled and translated) converges weakly to a harmonic map, known as a bubble. We give an example of a wave map which exhibits a type of non-uniqueness of bubbling. In particular, we exhibit a continuum of different bubbles at the origin, each of which arise as the weak limit along a different sequence of times approaching the blow-up time. This is the first known example of non-uniqueness of bubbling for dispersive equations. Our construction is inspired by the work of Peter Topping [Topping 2004], who demonstrated a similar phenomena can occur in the setting of harmonic map heat flow, and our mechanism of non-uniqueness is the same 'winding' behavior exhibited in that work. △ Less

Submitted 21 December, 2022; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: Published version with the journal's style file. 30 pages. 2 figures

Journal ref: Ars Inveniendi Analytica (2022), Paper No. 5, 30 pp

Regularity for almost-minimizers of variable coefficient Bernoulli-type functionals

Authors: Guy David, Max Engelstein, Mariana Smit Vega Garcia, Tatiana Toro

Abstract: In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and… ▽ More In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and [ACF84] which deal only with the "Laplacian" setting). We prove Lipschitz regularity up to, and across, the free boundary, generalizing the results of [David-Toro 15] to the variable coefficient setting. △ Less

Submitted 20 November, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 41 pages. Revised version has minor corrections and additions. To appear in Math Z

Two Phase Free Boundary Problem for Poisson Kernels

Authors: Simon Bortz, Max Engelstein, Max Goering, Tatiana Toro, Zihui Zhao

Abstract: We provide a potential theoretic characterization of vanishing chord-arc domains under minimal assumptions. In particular we show that, if a domain has Ahlfors regular boundary, the oscillation of the logarithm of the interior and exterior Poisson kernels yields a great deal of geometric information about the domain. We use techniques from the classical calculus of variations, potential theory, qu… ▽ More We provide a potential theoretic characterization of vanishing chord-arc domains under minimal assumptions. In particular we show that, if a domain has Ahlfors regular boundary, the oscillation of the logarithm of the interior and exterior Poisson kernels yields a great deal of geometric information about the domain. We use techniques from the classical calculus of variations, potential theory, quantitative geometric measure theory to accomplish this. One feature of this work, compared to Bortz-Hofmann PAMS 16 and Kenig-Toro Crelle 06, is that a priori we only require that the domains in question are connected. △ Less

Submitted 10 November, 2020; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 48 pages. Final version including many suggestions by the referee(s). To appear in IUMJ

The Riemannian Quantitative Isoperimetric Inequality

Authors: Otis Chodosh, Max Engelstein, Luca Spolaor

Abstract: We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric,… ▽ More We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric, using the Lojasiewicz-Simon inequality. A main novelty of our work is that in all our results we do not require any a priori knowledge on the structure/shape of the minimizers. △ Less

Submitted 1 August, 2019; originally announced August 2019.

Comments: 28 pages. Comments welcome

Minimizers for the thin one-phase free boundary problem

Authors: Max Engelstein, Aapo Kauranen, Martí Prats, Georgios Sakellaris, Yannick Sire

Abstract: We consider the "thin one-phase" free boundary problem, associated to minimizing a weighted Dirichlet energy of the function in $\mathbb R^{n+1}_+$ plus the area of the positivity set of that function in $\mathbb R^n$. We establish full regularity of the free boundary for dimensions $n \leq 2$, prove almost everywhere regularity of the free boundary in arbitrary dimension and provide content and s… ▽ More We consider the "thin one-phase" free boundary problem, associated to minimizing a weighted Dirichlet energy of the function in $\mathbb R^{n+1}_+$ plus the area of the positivity set of that function in $\mathbb R^n$. We establish full regularity of the free boundary for dimensions $n \leq 2$, prove almost everywhere regularity of the free boundary in arbitrary dimension and provide content and structure estimates on the singular set of the free boundary when it exists. All of these results hold for the full range of the relevant weight. While our results are typical for the calculus of variations, our approach does not follow the standard one first introduced in \cite{AltCaffarelli}. Instead, the nonlocal nature of the distributional measure associated to a minimizer necessitates arguments which are less reliant on the underlying PDE. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one

Authors: Guy David, Max Engelstein, Svitlana Mayboroda

Abstract: In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regulari… ▽ More In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regularized distance is itself a solution to a degenerate elliptic operator in the complement of E. This allows us to precisely compute the harmonic measure of those sets associated to this degenerate operator and prove that, in a sharp contrast with the usual setting of co-dimension one, a converse to the Dahlberg's theorem (see [Da] and [DFM2]) must be false on lower dimensional boundaries without additional assumptions. △ Less

Submitted 14 July, 2020; v1 submitted 27 August, 2018; originally announced August 2018.

Comments: 38 pages. Final version with revisions suggested by referees. To appear in Duke Math Journal

MSC Class: 35R35

Regularity of the singular set in a two-phase problem for harmonic measure with Hölder data

Authors: Matthew Badger, Max Engelstein, Tatiana Toro

Abstract: In non-variational two-phase free boundary problems for harmonic measure, we examine how the relationship between the interior and exterior harmonic measures of a domain $Ω\subset \mathbb{R}^n$ influences the geometry of its boundary. This type of free boundary problem was initially studied by Kenig and Toro in 2006 and was further examined in a series of separate and joint investigations by sever… ▽ More In non-variational two-phase free boundary problems for harmonic measure, we examine how the relationship between the interior and exterior harmonic measures of a domain $Ω\subset \mathbb{R}^n$ influences the geometry of its boundary. This type of free boundary problem was initially studied by Kenig and Toro in 2006 and was further examined in a series of separate and joint investigations by several authors. The focus of the present paper is on the singular set in the free boundary, where the boundary looks infinitesimally like zero sets of homogeneous harmonic polynomials of degree at least 2. We prove that if the Radon-Nikodym derivative of the exterior harmonic measure with respect to the interior harmonic measure has a Hölder continuous logarithm, then the free boundary admits unique geometric blowups at every singular point and the singular set can be covered by countably many $C^{1,β}$ submanifolds of dimension at most $n-3$. This result is partly obtained by adapting tools such as Garofalo and Petrosyan's Weiss type monotonicity formula and an epiperimetric inequality for harmonic functions from the variational to the non-variational setting. △ Less

Submitted 1 June, 2019; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: 34 pages (v3: minor improvements, updated references, final version)

MSC Class: 31B15; 35R35

(Log-)epiperimetric inequality and regularity over smooth cones for almost Area-Minimizing currents

Authors: Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrabi… ▽ More We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrability). Moreover, if the cone is integrable (not only through rotations), we recover the classical epiperimetric inequality. As a consequence we deduce a new $\varepsilon$-regularity result for almost area-minimizing currents at singular points, where at least one blow-up is a multiplicity-one cone with isolated singularity. This result is similar to the one for stationary varifolds of Leon Simon, but independent from it since almost minimizers do not satisfy any equation. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Journal ref: Geom. Topol. 23 (2019) 513-540

Uniqueness of the blow-up at isolated singularities for the Alt-Caffarelli functional

Authors: Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of… ▽ More In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of the cone in the sphere. With additional assumptions on the cone, we can prove a classical epiperimetric inequality which can be applied to deduce a $C^{1,α}$ regularity result. We also show that these additional assumptions are satisfied by the De Silva-Jerison-type cones, which are the only known examples of minimizing cones with isolated singularity. Our approach draws a connection between epiperimetric inequalities and the Łojasiewicz inequality, and, to our knowledge, provides the first regularity result at singular points in the one-phase Bernoulli problem. △ Less

Submitted 23 October, 2019; v1 submitted 28 January, 2018; originally announced January 2018.

Comments: 37 pages. To appear in Duke Math Journal

Journal ref: Duke Math. J. 169, no. 8 (2020), 1541-1601

Reifenberg Flatness and Oscillation of the Unit Normal Vector

Authors: Simon Bortz, Max Engelstein

Abstract: We show (under mild topological assumptions) that small oscillation of the unit normal vector implies Reifenberg flatness. We then apply this observation to the study of chord-arc domains and to a quantitative version of a two-phase free boundary problem for harmonic measure previously studied by Kenig-Toro. We show (under mild topological assumptions) that small oscillation of the unit normal vector implies Reifenberg flatness. We then apply this observation to the study of chord-arc domains and to a quantitative version of a two-phase free boundary problem for harmonic measure previously studied by Kenig-Toro. △ Less

Submitted 17 August, 2017; originally announced August 2017.

Free Boundary Regularity for Almost-Minimizers

Authors: Guy David, Max Engelstein, Tatiana Toro

Abstract: In this paper we study the free boundary regularity for almost-minimizers of the functional \begin{equation*} J(u)=\int_{\mathcal O} |\nabla u(x)|^2 +q^2_+(x)χ_{\{u>0\}}(x) +q^2_-(x)χ_{\{u<0\}}(x)\ dx \end{equation*} where $q_\pm \in L^\infty(\mathcal O)$. Almost-minimizers satisfy a variational inequality but not a PDE or a monotonicity formula the way minimizers do (see [AC], [ACF], [CJK], [W]).… ▽ More In this paper we study the free boundary regularity for almost-minimizers of the functional \begin{equation*} J(u)=\int_{\mathcal O} |\nabla u(x)|^2 +q^2_+(x)χ_{\{u>0\}}(x) +q^2_-(x)χ_{\{u<0\}}(x)\ dx \end{equation*} where $q_\pm \in L^\infty(\mathcal O)$. Almost-minimizers satisfy a variational inequality but not a PDE or a monotonicity formula the way minimizers do (see [AC], [ACF], [CJK], [W]). Nevertheless we succeed in proving that, under a non-degeneracy assumption on $q_\pm$, the free boundary is uniformly rectifiable. Furthermore, when $q_-\equiv 0$, and $q_+$ is Hölder continuous we show that the free boundary is almost-everywhere given as the graph of a $C^{1,α}$ function (thus extending the results of [AC] to almost-minimizers). △ Less

Submitted 13 May, 2019; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 70 pages. Revised as per referee's comments

MSC Class: 35R35

Journal ref: Advances in Mathematics, Volume 350, 9 July 2019, Pages 1109-1192

Quantitative stratification for some free-boundary problems

Authors: Nick Edelen, Max Engelstein

Abstract: In this paper we prove the rectifiability of and measure bounds on the singular set of the free boundary for minimizers of a functional first considered by Alt-Caffarelli. Our main tools are the Quantitative Stratification and Rectifiable-Reifenberg framework of Naber-Valtorta, which allow us to do a type of "effective dimension-reduction." The arguments are sufficiently robust that they apply to… ▽ More In this paper we prove the rectifiability of and measure bounds on the singular set of the free boundary for minimizers of a functional first considered by Alt-Caffarelli. Our main tools are the Quantitative Stratification and Rectifiable-Reifenberg framework of Naber-Valtorta, which allow us to do a type of "effective dimension-reduction." The arguments are sufficiently robust that they apply to a broad class of related free boundary problems as well. △ Less

Submitted 16 September, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: This version has minor corrections and additional references

Parabolic NTA domains in $\mathbb R^2$

Authors: Max Engelstein

Abstract: We show that each connected component of the boundary of a parabolic NTA domain in $\mathbb R^2$ is given by a graph. We then apply this observation to classify blowup solutions in $\mathbb R^2$ to a free boundary problem for caloric measure first considered by Hofmann, Lewis and Nyström (Duke Math J. 2004). We show that each connected component of the boundary of a parabolic NTA domain in $\mathbb R^2$ is given by a graph. We then apply this observation to classify blowup solutions in $\mathbb R^2$ to a free boundary problem for caloric measure first considered by Hofmann, Lewis and Nyström (Duke Math J. 2004). △ Less

Submitted 16 September, 2017; v1 submitted 28 July, 2016; originally announced July 2016.

Comments: 12 pages, 2 figures. This version has minor revisions as suggested by a referee

A Free Boundary Problem for the Parabolic Poisson Kernel

Authors: Max Engelstein

Abstract: We study parabolic chord arc domains, introduced by Hofmann, Lewis and Nyström, and prove a free boundary regularity result below the continuous threshold. More precisely, we show that a Reifenberg flat, parabolic chord arc domain whose Poisson kernel has logarithm in VMO must in fact be a vanishing chord arc domain (i.e. satisfies a vanishing Carleson measure condition). This generalizes, to the… ▽ More We study parabolic chord arc domains, introduced by Hofmann, Lewis and Nyström, and prove a free boundary regularity result below the continuous threshold. More precisely, we show that a Reifenberg flat, parabolic chord arc domain whose Poisson kernel has logarithm in VMO must in fact be a vanishing chord arc domain (i.e. satisfies a vanishing Carleson measure condition). This generalizes, to the parabolic setting, a result of Kenig and Toro and answers in the affirmative a question left open in the aforementioned paper of Hofmann et al. A key step in this proof is a classification of "flat" blowups for the parabolic problem. △ Less

Submitted 19 October, 2015; originally announced October 2015.

Comments: 91 pages. Comments welcome

MSC Class: 35R35

Journal ref: Advances in Math. Vol 314 (2017) pp 835-947

Structure of sets which are well approximated by zero sets of harmonic polynomials

Authors: Matthew Badger, Max Engelstein, Tatiana Toro

Abstract: The zero sets of harmonic polynomials play a crucial role in the study of the free boundary regularity problem for harmonic measure. In order to understand the fine structure of these free boundaries a detailed study of the singular points of these zero sets is required. In this paper we study how "degree $k$ points" sit inside zero sets of harmonic polynomials in $\mathbb R^n$ of degree $d$ (for… ▽ More The zero sets of harmonic polynomials play a crucial role in the study of the free boundary regularity problem for harmonic measure. In order to understand the fine structure of these free boundaries a detailed study of the singular points of these zero sets is required. In this paper we study how "degree $k$ points" sit inside zero sets of harmonic polynomials in $\mathbb R^n$ of degree $d$ (for all $n\geq 2$ and $1\leq k\leq d$) and inside sets that admit arbitrarily good local approximations by zero sets of harmonic polynomials. We obtain a general structure theorem for the latter type of sets, including sharp Hausdorff and Minkowski dimension estimates on the singular set of "degree $k$ points" ($k\geq 2$) without proving uniqueness of blowups or aid of PDE methods such as monotonicity formulas. In addition, we show that in the presence of a certain topological separation condition, the sharp dimension estimates improve and depend on the parity of $k$. An application is given to the two-phase free boundary regularity problem for harmonic measure below the continuous threshold introduced by Kenig and Toro. △ Less

Submitted 1 February, 2017; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 40 pages, 2 figures (v2: streamlined several proofs, added statement of Lojasiewicz inequality for harmonic polynomials [Theorem 3.1])

MSC Class: 33C55; 49J52; 28A75; 31A15; 35R35

Journal ref: Analysis & PDE 10 (2017) 1455-1495

A Two-Phase Free Boundary Problem for Harmonic Measure

Authors: Max Engelstein

Abstract: We study a 2-phase free boundary problem for harmonic measure first considered by Kenig and Toro and prove a sharp Hölder regularity result. The central difficulty is that there is no a priori non-degeneracy in the free boundary condition. Thus we must establish non-degeneracy by means of monotonicity formulae. We study a 2-phase free boundary problem for harmonic measure first considered by Kenig and Toro and prove a sharp Hölder regularity result. The central difficulty is that there is no a priori non-degeneracy in the free boundary condition. Thus we must establish non-degeneracy by means of monotonicity formulae. △ Less

Submitted 27 September, 2016; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: 45 pages. This version has minor revisions as suggested by the referee

MSC Class: 35R35

Journal ref: Ann. Sci. de l'ENS. Vol 49. (2016), pp 859-905

The Least-Perimeter Partition of a Sphere into Four Equal Areas

Authors: Max Engelstein

Abstract: We prove that the least-perimeter partition of the sphere into four regions of equal area is a tetrahedral partition. We prove that the least-perimeter partition of the sphere into four regions of equal area is a tetrahedral partition. △ Less

Submitted 19 June, 2009; v1 submitted 24 March, 2009; originally announced March 2009.

Comments: 7 pages, 1 figure, PDFLaTeX. Minor cosmetic/typo revisions. Accepted to the Journal of Discrete and Computational Geometry

MSC Class: 53C42