Source author record

Guy David

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

18works
4topics
4close collaborators

Published work

18 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.

preprint2022arXiv

Small A∞A_\infty results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries

In the present paper, we consider elliptic operators L=−div(A∇)L=-\textrm{div}(A\nabla) in a domain bounded by a chord-arc surface ΓΓ with small enough constant, and whose coefficients AA satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to LL is A∞A_\infty-absolutely continuous with respect to the surface measure on ΓΓ, with a small A∞A_\infty constant. In other words, we show that for relatively flat uniformly rectifiable sets and for operators with slowly oscillating coefficients the elliptic measure satisfies the A∞A_\infty condition with a small constant and the logarithm of the Poisson kernel has small oscillations.

preprint2021arXiv

Green function estimates on complements of low-dimensional uniformly rectifiable sets

It has been recently established by the first and third author that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the "flagship" degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators Lβ,γ=−divDd+1+γ−n∇L_{β,γ} =- {\rm div} D^{d+1+γ-n} \nabla associated to a domain Ω⊂RnΩ\subset \mathbb R^n with a uniformly rectifiable boundary ΓΓ of dimension d<n−1d < n-1, the now usual distance to the boundary D=DβD = D_β given by Dβ(X)−β=∫Γ∣X−y∣−d−βdσ(y)D_β(X)^{-β} = \int_Γ |X-y|^{-d-β} dσ(y) for X∈ΩX \in Ω, where β>0β>0 and γ∈(−1,1)γ\in (-1,1). In this paper we show that the Green function GG for Lβ,γL_{β,γ}, with pole at infinity, is well approximated by multiples of D1−γD^{1-γ}, in the sense that the function ∣D∇(ln⁡(GD1−γ))∣2\big| D\nabla\big(\ln\big( \frac{G}{D^{1-γ}} \big)\big)\big|^2 satisfies a Carleson measure estimate on ΩΩ. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the "magical" distance function from a previous work from the first author, the third author, and Max Engelstein.

preprint2020arXiv

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

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.

preprint2018arXiv

Localization of eigenfunctions via an effective potential

We consider the localization of eigenfunctions for the operator $L=-\mbox{div} A \nabla + V$ on a Lipschitz domain ΩΩ and, more generally, on manifolds with and without boundary. In earlier work, two authors of the present paper demonstrated the remarkable ability of the landscape, defined as the solution to Lu=1Lu=1, to predict the location of the localized eigenfunctions. Here, we explain and justify a new framework that reveals a richly detailed portrait of the eigenfunctions and eigenvalues. We show that the reciprocal of the landscape function, 1/u1/u, acts as an effective potential. Hence from the single measurement of uu, we obtain, via 1/u1/u, explicit bounds on the exponential decay of the eigenfunctions of the system and estimates on the distribution of eigenvalues near the bottom of the spectrum. (This version strengthens and simplifies the results of the first one by replacing a global bi-Lipschitz hypothesis on the domain with a local bi-Lipschitz hypothesis. It improves on the second version by adding pictures and numerical examples. This version is identical to the third version; all that is changed is to correct some tex mistakes in symbols in this abstract. There are no changes to the paper itself.)

preprint2016arXiv

Effective confining potential of quantum states in disordered media

The amplitude of localized quantum states in random or disordered media may exhibit long range exponential decay. We present here a theory that unveils the existence of an effective potential which finely governs the confinement of these states. In this picture, the boundaries of the localization subregions for low energy eigenfunctions correspond to the barriers of this effective potential, and the long range exponential decay characteristic of Anderson localization is explained as the consequence of multiple tunneling in the dense network of barriers created by this effective potential. Finally, we show that the Weyl's formula based on this potential turns out to be a remarkable approximation of the density of states for a large variety of one-dimensional systems, periodic or random.

preprint2016arXiv

Harmonic measure on sets of codimension larger than one

We introduce a new notion of a harmonic measure for a dd-dimensional set in Rn\R^n with d<n−1d<n-1, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a comprehensive elliptic theory, and, most notably, it is absolutely continuous with respect to the dd-dimensional Hausdorff measure on reasonably nice sets. This note provides general strokes of the proof of the latter statement for Lipschitz graphs with small Lipschitz constant.

preprint2014arXiv

A monotonicity formula for minimal sets with a sliding boundary condition

We prove a monotonicity formula for minimal or almost minimal sets for the Hausdorff measure Hd\cal{H}^d, subject to a sliding boundary constraint where competitors for EE are obtained by deforming EE by a one-parameter family of functions φtφ_t such that φt(x)∈Lφ_t(x) \in L when x∈Ex\in E lies on the boundary LL. In the simple case when LL is an affine subspace of dimension d−1d-1, the monotone or almost monotone functional is given by F(r)=r−dHd(E∩B(x,r))+r−dHd(S∩B(x,r))F(r) = r^{-d} \cal{H}^d(E \cap B(x,r)) + r^{-d} \cal{H}^d(S \cap B(x,r)), where xx is any point of EE (not necessarily on LL) and SS is the shade of LL with a light at xx. We then use this, the description of the case when FF is constant, and a limiting argument, to give a rough description of EE near LL in two simple cases. ----- On donne une formule de monotonie pour des ensembles minimaux ou presque minimaux pour la mesure de Hausdorff Hd\cal{H}^d, avec une condition de bord où les compétiteurs de EE sont obtenus en déformant EE par une famille à un paramètre de fonctions φtφ_t telles que φt(x)∈Lφ_t(x)\in L quand x∈Ex\in E se trouve sur la frontière LL. Dans le cas simple où LL est un sous-espace affine de dimension d−1d-1, la fonctionelle monotone ou presque monotone est donnée par F(r)=r−dHd(E∩B(x,r))+r−dHd(S∩B(x,r))F(r) = r^{-d} \cal{H}^d(E \cap B(x,r)) + r^{-d} \cal{H}^d(S \cap B(x,r)), où xx est un point de EE, pas forcément dans LL, et SS est l'ombre de LL, éclairée depuis xx. On utilise ceci, la description des cas où FF est constante, et un argument de limite, pour donner une description de EE près de LL dans deux cas simples.

preprint2014arXiv

Local regularity properties of almost- and quasiminimal sets with a sliding boundary condition

We study the boundary regularity of almost minimal and quasiminimal sets that satisfy sliding boundary conditions. The competitors of a set EE are defined as F=φ1(E)F = φ_1(E), where {φt}\{ φ_t \} is a one parameter family of continuous mappings defined on EE, and that preserve a given collection of boundary pieces. We generalize known interior regularity results, and in particular we show that the quasiminimal sets are locally Ahlfors-regular, rectifiable, and some times uniformly rectifiable, that our classes are stable under limits, and that for almost minimal sets the density of Hausdorff measure in balls centered on the boundary is almost nondecreasing.

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

A constructive proof of the Assouad embedding theorem with bounds on the dimension

We give a constructive proof of a theorem of Naor and Neiman, (to appear, Revista Matematica Iberoamercana), which asserts that if (E,d)(E,d) is a doubling metric space, there is an integer N>0N > 0, that depends only on the metric doubling constant, such that for each exponent α∈(1/2,1)α\in (1/2,1), we can find a bilipschitz mapping F=(E,dα)→RNF = (E,d^α) \to \R^N.

preprint2012arXiv

Approximation of a Reifenberg-flat set by a smooth surface

We show that if EıRnE ı\R^n is a Reifenberg flat set EE of dimension dd at scale r0r_0, we can find a smooth surface Σ0Σ_0 of dimension dd which is close to EE at the scale r0r_0. When EE is a Reifenberg flat set, this allows us to apply a result of G. David and T. Toro [Memoirs of the AMS 215 (2012), 1012], and get a bi-Hölder homeomorphism of Rn\R^n that sends Σ0Σ_0 to EE. If in addition d=n−1d=n-1 and EE is compact and connected, then Σ0Σ_0 is orientable, and $\R^n \sm E$ has exactly two connected components, which we can approximate from the inside by smooth domains.

preprint2012arXiv

Rectifiability of Self-contracted curves in the Euclidean space and applications

It is hereby established that, in Euclidean spaces of finite dimension, bounded self-contracted curves have finite length. This extends the main result of Daniilidis, Ley, and Sabourau (J. Math. Pures Appl. 2010) concerning continuous planar self-contracted curves to any dimension, and dispenses entirely with the continuity requirement. The proof borrows heavily from a geometric idea of Manselli and Pucci (Geom. Dedicata 1991) employed for the study of regular enough curves, and can be seen as a nonsmooth adaptation of the latter, albeit a nontrivial one. Applications to continuous and discrete dynamical systems are discussed: continuous self-contracted curves appear as generalized solutions of nonsmooth convex foliation systems, recovering a hidden regularity after reparameterization, as consequence of our main result. In the discrete case, proximal sequences (obtained through implicit discretization of a gradient system) give rise to polygonal self-contracted curves. This yields a straightforward proof for the convergence of the exact proximal algorithm, under any choice of parameters.

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.