Source author record

Mihalis Mourgoglou

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

24works
5topics
4close collaborators

Published work

24 publications

preprint2022arXiv

L2L^2-boundedness of gradients of single layer potentials for elliptic operators with coefficients of Dini mean oscillation-type

We consider a uniformly elliptic operator LAL_A in divergence form associated with an (n+1)×(n+1)(n+1)\times(n+1)-matrix AA with real, merely bounded, and possibly non-symmetric coefficients. If ωA(r)=sup⁡x∈Rn+11∣B(x,r)∣∫B(x,r)∣A(z)−1∣B(x,r)∣∫B(x,r)A∣ dz,ω_A(r)=\sup_{x\in \mathbb{R}^{n+1}} \frac{1}{|B(x,r)|}\int_{B(x,r)}\Big|A(z)-\frac{1}{|B(x,r)|}\int_{B(x,r)}A\Big|\,dz, then, under suitable Dini-type assumptions on ωAω_A, we prove the following: if μμ is a compactly supported Radon measure in Rn+1\mathbb{R}^{n+1}, n≥2n \geq 2, and Tμf(x)=∫∇xΓA(x,y)f(y) dμ(y)T_μf(x)=\int \nabla_xΓ_A (x,y)f(y)\, dμ(y) denotes the gradient of the single layer potential associated with LAL_A, then 1+∥Tμ∥L2(μ)→L2(μ)≈1+∥Rμ∥L2(μ)→L2(μ), 1+ \|T_μ\|_{L^2(μ)\to L^2(μ)}\approx 1+ \|\mathcal R_μ\|_{L^2(μ)\to L^2(μ)}, where Rμ\mathcal R_μ indicates the nn-dimensional Riesz transform. This allows us to provide a direct generalization of some deep geometric results, initially obtained for Rμ\mathcal R_μ, which were recently extended to TμT_μ associated with LAL_A with Hölder continuous coefficients. In particular, we show the following: 1) If μμ is an nn-Ahlfors-David-regular measure on Rn+1\mathbb{R}^{n+1} with compact support, then TμT_μ is bounded on L2(μ)L^2(μ) if and only if μμ is uniformly nn-rectifiable. 2) Let E⊂Rn+1E\subset \mathbb{R}^{n+1} be compact and Hn(E)<∞\mathcal H^n(E)<\infty. If THn∣ET_{\mathcal H^n|_E} is bounded on L2(Hn∣E)L^2(\mathcal H^n|_E), then EE is nn-rectifiable. 3) If μ≢0μ\not\equiv 0 satisfies lim sup⁡r→0μ(B(x,r))(2r)n\limsup_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n} {is positive and finite} for μμ-a.e. x∈Rn+1x\in \mathbb{R}^{n+1} and lim inf⁡r→0μ(B(x,r))(2r)n\liminf_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n} vanishes for μμ-a.e. x∈Rn+1x\in \mathbb{R}^{n+1}, then TμT_μ is not bounded on L2(μ)L^2(μ). 4) If μμ is a compactly supported Radon measure satisfying a certain set of local conditions at the level of a ball BB with small radius, then a significant portion of μ∣Bμ|_B can be covered by a UR set.

preprint2021arXiv

Approximate tangents, harmonic measure, and domains with rectifiable boundaries

Let Ω⊂Rn+1Ω\subset \mathbb{R}^{n+1}, n≥1n \geq 1, be an open and connected set. Set Tn\mathcal{T}_n to be the set of points ξ∈∂Ωξ\in \partial Ω so that there exists an approximate tangent nn-plane for ∂Ω\partialΩ at ξξ and ∂Ω\partialΩ satisfies the weak lower Ahlfors-David nn-regularity condition at ξξ. We first show that Tn\mathcal{T}_n can be covered by a countable union of boundaries of bounded Lipschitz domains. Then, letting ∂⋆Ω\partial^\star Ω be a subset of Tn\mathcal{T}_n where ΩΩ satisfies an appropriate thickness condition, we prove that ∂⋆Ω\partial^\star Ω can be covered by a countable union of boundaries of bounded Lipschitz domains contained in ΩΩ. As a corollary we obtain that if ΩΩ has locally finite perimeter, ∂Ω\partialΩ is weakly lower Ahlfors-David nn-regular, and the measure-theoretic boundary coincides with the topological boundary of ΩΩ up to a set of Hn\mathcal{H}^n-measure zero, then ∂Ω\partial Ω can be covered, up to a set of Hn\mathcal{H}^n-measure zero, by a countable union of boundaries of bounded Lipschitz domains that are contained in ΩΩ. This implies that in such domains, Hn∣∂Ω\mathcal{H}^n|_{\partialΩ} is absolutely continuous with respect to harmonic measure.

preprint2020arXiv

A two-phase free boundary problem for harmonic measure and uniform rectifiability

We assume that Ω1,Ω2⊂Rn+1Ω_1, Ω_2 \subset \mathbb{R}^{n+1}, n≥1n \geq 1 are two disjoint domains whose complements satisfy the capacity density condition and the intersection of their boundaries FF has positive harmonic measure. Then we show that in a fixed ball BB centered on FF, if the harmonic measure of Ω1Ω_1 satisfies a scale invariant A∞A_\infty-type condition with respect to the harmonic measure of Ω2Ω_2 in BB, then there exists a uniformly nn-rectifiable set ΣΣ so that the harmonic measure of Σ∩FΣ\cap F contained in BB is bounded below by a fixed constant independent of BB. A remarkable feature of this result is that the harmonic measures do not need to satisfy any doubling condition. In the particular case that Ω1Ω_1 and Ω2Ω_2 are complementary NTA domains, we obtain a geometric characterization of the A∞A_\infty condition between the respective harmonic harmonic measures of Ω1Ω_1 and Ω2Ω_2.

preprint2020arXiv

Harmonic measure and quantitative connectivity: geometric characterization of the LpL^p-solvability of the Dirichlet problem

It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-A∞A_\infty property) of harmonic measure with respect to surface measure, on the boundary of an open set Ω⊂Rn+1 Ω\subset \mathbb{R}^{n+1} with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in ΩΩ, with data in Lp(∂Ω)L^p(\partialΩ) for some p<∞p<\infty. In this paper, we give a geometric characterization of the weak-A∞A_\infty property, of harmonic measure, and hence of solvability of the LpL^p Dirichlet problem for some finite pp. This characterization is obtained under background hypotheses (an interior corkscrew condition, along with Ahlfors-David regularity of the boundary) that are natural, and in a certain sense optimal: we provide counter-examples in the absence of either of them (or even one of the two, upper or lower, Ahlfors-David bounds); moreover, the examples show that the upper and lower Ahlfors-David bounds are each quantitatively sharp.

preprint2016arXiv

A characterization of 11-rectifiable doubling measures with connected supports

Garnett, Killip, and Schul have exhibited a doubling measure μμ with support equal to Rd\mathbb{R}^{d} which is 11-rectifiable, meaning there are countably many curves ΓiΓ_{i} of finite length for which μ(Rd\⋃Γi)=0μ(\mathbb{R}^{d}\backslash \bigcup Γ_{i})=0. In this note, we characterize when a doubling measure μμ with support equal to a connected metric space XX has a 11-rectifiable subset of positive measure and show this set coincides up to a set of μμ-measure zero with the set of x∈Xx\in X for which lim inf⁡r→0μ(BX(x,r))/r>0\liminf_{r\rightarrow 0} μ(B_{X}(x,r))/r>0.

preprint2016arXiv

Absolute continuity of harmonic measure for domains with lower regular boundaries

We study absolute continuity of harmonic measure with respect to surface measure on domains ΩΩ that have large complements. We show that if Γ⊂Rd+1Γ\subset \mathbb{R}^{d+1} is dd-Ahlfors regular and splits Rd+1 \mathbb{R}^{d+1} into two NTA domains then ωΩ≪Hdω_Ω\ll \mathscr{H}^{d} on Γ∩∂ΩΓ\cap \partialΩ. This result is a natural generalisation of a result of Wu in [Wu86]. We also prove that almost every point in Γ∩∂ΩΓ\cap\partialΩ is a cone point if ΓΓ is a Lipschitz graph. Combining these results and a result from [AHMMMTV], we characterize sets of absolute continuity with finite Hd\mathscr{H}^{d}-measure both in terms of the cone point condition and in terms of the rectifiable structure of the boundary. This generalizes the results of McMillan in [McM69] and Pommerenke in [Pom86]. Finally, we also show our first result holds for elliptic measure associated with real second order divergence form elliptic operators with a mild assumption on the gradient of the matrix.

preprint2016arXiv

Harmonic measure and Riesz transform in uniform and general domains

Let Ω⊊Rn+1Ω\subsetneq\mathbb R^{n+1} be open and let μμ be some measure supported on ∂Ω\partialΩ such that μ(B(x,r))≤C rnμ(B(x,r))\leq C\,r^n for all x∈Rn+1x\in\mathbb R^{n+1}, r>0r>0. We show that if the harmonic measure in ΩΩ satisfies some scale invariant A∞A_\infty type conditions with respect to μμ, then the nn-dimensional Riesz transform Rμf(x)=∫x−y∣x−y∣n+1 f(y) dμ(y)R_μf(x) = \int \frac{x-y}{|x-y|^{n+1}}\,f(y)\,dμ(y) is bounded in L2(μ)L^2(μ). We do not assume any doubling condition on μμ. We also consider the particular case when ΩΩ is a bounded uniform domain. To this end, we need first to obtain sharp estimates that relate the harmonic measure and the Green function in this type of domains, which generalize classical results by Jerison and Kenig for the well-known class of NTA domains.

preprint2016arXiv

Singular sets for harmonic measure on locally flat domains with locally finite surface measure

A theorem of David and Jerison asserts that harmonic measure is absolutely continuous with respect to surface measure in NTA domains with Ahlfors regular boundaries. We prove that this fails in high dimensions if we relax the Ahlfors regularity assumption by showing that, for each d>1d>1, there exists a Reifenberg flat domain Ω⊂Rd+1Ω\subset \mathbb{R}^{d+1} with Hd(∂Ω)<∞\mathcal{H}^{d}(\partialΩ)<\infty and a subset E⊂∂ΩE\subset \partial Ω with positive harmonic measure yet zero Hd\mathcal{H}^{d}-measure. In particular, this implies that a classical theorem of F. and M. Riesz theorem fails in higher dimensions for this type of domains.

preprint2016arXiv

Tangent measures and absolute continuity of harmonic measure

We show that for uniform domains Ω⊆Rd+1Ω\subseteq \mathbb{R}^{d+1} whose boundaries satisfy a certain nondegeneracy condition that harmonic measure cannot be mutually absolutely continuous with respect to αα-dimensional Hausdorff measure unless α≤dα\leq d. We employ a lemma that shows that at almost every nondegenerate point, we may find a tangent measure of harmonic measure whose support is the boundary of yet another uniform domain whose harmonic measure resembles the tangent measure.

preprint2015arXiv

Representation and uniqueness for boundary value elliptic problems via first order systems

Given any elliptic system with tt-independent coefficients in the upper-half space, we obtain representation and trace for the conormal gradient of solutions in the natural classes for the boundary value problems of Dirichlet and Neumann types with area integral control or non-tangential maximal control. The trace spaces are obtained in a natural range of boundary spaces which is parametrized by properties of some Hardy spaces. This implies a complete picture of uniqueness vs solvability and well-posedness.

preprint2015arXiv

Uniform domains with rectifiable boundaries and harmonic measure

We assume that Ω⊂Rd+1Ω\subset \mathbb{R}^{d+1}, d≥2d \geq 2, is a uniform domain with lower dd-Ahlfors-David regular and dd-rectifiable boundary. We show that if Hd∣∂Ω\mathcal{H}^d|_{\partial Ω} is locally finite, then the Hausdorff measure Hd\mathcal{H}^d is absolutely continuous with respect to the harmonic measure ωω on ∂Ω\partial Ω, apart from a set of Hd\mathcal{H}^d-measure zero.

preprint2014arXiv

Boundedness of non-homogeneous square functions and LqL^q type testing conditions with q∈(1,2)q \in (1,2)

We continue the study of local TbTb theorems for square functions defined in the upper half-space (R+n+1,μ×dt/t)(\mathbb{R}^{n+1}_+, μ\times dt/t). Here μμ is allowed to be a non-homogeneous measure in Rn\mathbb{R}^n. In this paper we prove a boundedness result assuming local LqL^q type testing conditions in the difficult range q∈(1,2)q \in (1,2). Our theorem is a non-homogeneous version of a result of S. Hofmann valid for the Lebesgue measure. It is also an extension of the recent results of M. Lacey and the first named author where non-homogeneous local L2L^2 testing conditions have been considered.

preprint2013arXiv

Layer potentials and boundary value problems for elliptic equations with complex L∞L^{\infty} coefficients satisfying the small Carleson measure norm condition

We consider divergence form elliptic equations Lu:=∇⋅(A∇u)=0Lu:=\nabla\cdot(A\nabla u)=0 in the half space R+n+1:={(x,t)∈Rn×(0,∞)}\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n\times(0,\infty)\}, whose coefficient matrix AA is complex elliptic, bounded and measurable. In addition, we suppose that AA satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy A(x,t)−A(x,0)A(x,t) -A(x,0) satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in LpL^p, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for LL, with data in Lp(Rn)L^p(\mathbb{R}^n), BMO(Rn)BMO(\mathbb{R}^n), and Cα(Rn)C^α(\mathbb{R}^n), and solvability of the Neumann and Regularity problems, with data in the spaces Lp(Rn)/Hp(Rn)L^p(\mathbb{R}^n)/H^p(\mathbb{R}^n) and L1p(Rn)/H1,p(Rn)L^p_1(\mathbb{R}^n)/H^{1,p}(\mathbb{R}^n) respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the tt-independent operator L0:=−∇⋅(A(⋅,0)∇)L_0:= -\nabla\cdot(A(\cdot,0)\nabla).

preprint2013arXiv

Square functions with general measures II

We continue developing the theory of conical and vertical square functions on RnR^{n}, where μμ is a power bounded measure, possibly non-doubling. We provide new boundedness criteria and construct various counterexamples. First, we prove a general local TbTb theorem with tent space T2,∞T^{2,\infty} type testing conditions to characterise the L2L^{2} boundedness. Second, we completely answer the question, whether the boundedness of our operators on L2L^{2} implies boundedness on other LpL^{p} spaces, including the endpoints. For the conical square function, the answers are generally affirmative, but the vertical square function can be unbounded on LpL^{p} for p>2p > 2, even if μ=dxμ= dx. For this, we present a counterexample. Our kernels sts_t, t>0t > 0, do not necessarily satisfy any continuity in the first variable -- a point of technical importance throughout the paper. Third, we construct a non-doubling Cantor-type measure and an associated conical square function operator, whose L2L^{2} boundedness depends on the exact aperture of the cone used in the definition. Thus, in the non-homogeneous world, the 'change of aperture' technique -- widely used in classical tent space literature -- is not available. Fourth, we establish the sharp ApA_{p}-weighted bound for the conical square function under the assumption that μμ is doubling.

preprint2012arXiv

On L2L^2 Solvability of BVPs for elliptic systems

In this article we prove solvability results for L2L^2 boundary value problems of some elliptic systems Lu=0Lu=0 on the upper half-space R+n+1,n≥1\R^{n+1}_{+}, n\ge 1, with transversally independent coefficients. We use the first order formalism introduced by Auscher-Axelsson-McIntosh and further developed with a better understanding of the classes of solutions in the subsequent work of Auscher-Axelsson. The interesting fact is that we prove only half of the Rellich boundary inequality without knowing the other half.

preprint2011arXiv

On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

We prove that if the Hausdorff dimension of a compact subset of Rd{\mathbb R}^d is greater than d+12\frac{d+1}{2}, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among NN points in Rd{\mathbb R}^d, d≥4d \ge 4, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

preprint2011arXiv

On sets of directions determined by subsets of Rd{\Bbb R}^d

Given E⊂RdE \subset \mathbb{R}^d, d≥2d \ge 2, define D(E)≡(x−y)/∣x−y∣:x,y∈E⊂Sd−1,{\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1}, the set of directions determined by EE. We prove that if the Hausdorff dimension of EE is greater than d−1d-1, then σ(D(E))>0σ({\mathcal D}(E))>0, where σσ denotes the surface measure on Sd−1S^{d-1}. This result is sharp since the conclusion fails to hold if EE is a (d−1)(d-1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir (\cite{PPS04}, \cite{PPS07}) on angles determined by finite subsets of Rd\mathbb{R}^d. Also define A(E)={θ(x,y,z):x,y,z∈E},{\mathcal A}(E)=\{θ(x,y,z): x,y,z \in E\}, where θ(x,y,z)θ(x,y,z) is the angle between x−yx-y and y−zy-z. We use the techniques developed to handle the problem of directions and results on distance sets previously obtained by Wolff and Erdogan to prove that if the Hasudorff dimension of EE is greater than (d−1)/2+1/3(d-1)/2+1/3, then the Lebesgue measure of A(E){\mathcal A}(E) is positive. This result can be viewed as a continuous analog of a recent result of Apfelbaum and Sharir (\cite{AS05}). At the end of this paper we show that our continuous results can be used to recover and in some case improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P⊂RdP \subset {\Bbb R}^d, d≥3d \ge 3, satisfying a certain discrete energy condition (Definition \ref{adaptablemama}), determines $\gtrapprox # P$ distinct directions and $\gtrapprox {(# P)}^{6/(3d-1)}$ distinct angles. In two dimensions, the lower bound on the number of angles is $\gtrapprox # P$.

preprint2011arXiv

On the Mattila-Sjolin theorem for distance sets

We extend a result, due to Mattila and Sjolin, which says that if the Hausdorff dimension of a compact set E⊂RdE \subset {\Bbb R}^d, d≥2d \ge 2, is greater than d+12\frac{d+1}{2}, then the distance set Δ(E)={∣x−y∣:x,y∈E}Δ(E)=\{|x-y|: x,y \in E \} contains an interval. We prove this result for distance sets ΔB(E)={∣∣x−y∣∣B:x,y∈E}Δ_B(E)=\{{||x-y||}_B: x,y \in E \}, where ∣∣⋅∣∣B{|| \cdot ||}_B is the metric induced by the norm defined by a symmetric bounded convex body BB with a smooth boundary and everywhere non-vanishing Gaussian curvature. We also obtain some detailed estimates pertaining to the Radon-Nikodym derivative of the distance measure.

preprint2011arXiv

On volumes determined by subsets of Euclidean space

Given E⊂RdE \subset {\Bbb R}^d, define the \emph{volume set} of EE, V(E)={det(x1,x2,...xd):xj∈E}{\mathcal V}(E)= \{det(x^1, x^2, ... x^d): x^j \in E\}. In R3\R^3, we prove that V(E){\mathcal V}(E) has positive Lebesgue measure if either the Hausdorff dimension of E⊂R3E\subset \Bbb R^3 is greater than 13/5, or EE is a product set of the form E=B1×B2×B3E=B_1\times B_2\times B_3 with Bj⊂R, dimH(Bj)>2/3, j=1,2,3B_j\subset\R,\, dim_{\mathcal H}(B_j)>2/3,\, j=1,2,3. We show that the same conclusion holds for $\V(E)$ of Salem subsets E⊂RdE\subset\R^d with $\hde>d-1$, and give applications to discrete combinatorial geometry.

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.