Researcher profile

Mihalis Mourgoglou

Mihalis Mourgoglou contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

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

We consider a uniformly elliptic operator $L_A$ in divergence form associated with an $(n+1)\times(n+1)$-matrix $A$ with real, merely bounded, and possibly non-symmetric coefficients. If $$ω_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$, we prove the following: if $μ$ is a compactly supported Radon measure in $\mathbb{R}^{n+1}$, $n \geq 2$, and $T_μf(x)=\int \nabla_xΓ_A (x,y)f(y)\, dμ(y)$ denotes the gradient of the single layer potential associated with $L_A$, then $$ 1+ \|T_μ\|_{L^2(μ)\to L^2(μ)}\approx 1+ \|\mathcal R_μ\|_{L^2(μ)\to L^2(μ)},$$ where $\mathcal R_μ$ indicates the $n$-dimensional Riesz transform. This allows us to provide a direct generalization of some deep geometric results, initially obtained for $\mathcal R_μ$, which were recently extended to $T_μ$ associated with $L_A$ with Hölder continuous coefficients. In particular, we show the following: 1) If $μ$ is an $n$-Ahlfors-David-regular measure on $\mathbb{R}^{n+1}$ with compact support, then $T_μ$ is bounded on $L^2(μ)$ if and only if $μ$ is uniformly $n$-rectifiable. 2) Let $E\subset \mathbb{R}^{n+1}$ be compact and $\mathcal H^n(E)<\infty$. If $T_{\mathcal H^n|_E}$ is bounded on $L^2(\mathcal H^n|_E)$, then $E$ is $n$-rectifiable. 3) If $μ\not\equiv 0$ satisfies $\limsup_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n}$ {is positive and finite} for $μ$-a.e. $x\in \mathbb{R}^{n+1}$ and $\liminf_{r\to 0}\tfrac{μ(B(x,r))}{(2r)^n}$ vanishes for $μ$-a.e. $x\in \mathbb{R}^{n+1}$, then $T_μ$ is not bounded on $L^2(μ)$. 4) If $μ$ is a compactly supported Radon measure satisfying a certain set of local conditions at the level of a ball $B$ with small radius, then a significant portion of $μ|_B$ can be covered by a UR set.

preprint2021arXiv

Approximate tangents, harmonic measure, and domains with rectifiable boundaries

Let $Ω\subset \mathbb{R}^{n+1}$, $n \geq 1$, be an open and connected set. Set $\mathcal{T}_n$ to be the set of points $ξ\in \partial Ω$ so that there exists an approximate tangent $n$-plane for $\partialΩ$ at $ξ$ and $\partialΩ$ satisfies the weak lower Ahlfors-David $n$-regularity condition at $ξ$. We first show that $\mathcal{T}_n$ can be covered by a countable union of boundaries of bounded Lipschitz domains. Then, letting $\partial^\star Ω$ be a subset of $\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 $n$-regular, and the measure-theoretic boundary coincides with the topological boundary of $Ω$ up to a set of $\mathcal{H}^n$-measure zero, then $\partial Ω$ can be covered, up to a set of $\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, $\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 \subset \mathbb{R}^{n+1}$, $n \geq 1$ are two disjoint domains whose complements satisfy the capacity density condition and the intersection of their boundaries $F$ has positive harmonic measure. Then we show that in a fixed ball $B$ centered on $F$, if the harmonic measure of $Ω_1$ satisfies a scale invariant $A_\infty$-type condition with respect to the harmonic measure of $Ω_2$ in $B$, then there exists a uniformly $n$-rectifiable set $Σ$ so that the harmonic measure of $Σ\cap F$ contained in $B$ is bounded below by a fixed constant independent of $B$. 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$ and $Ω_2$ are complementary NTA domains, we obtain a geometric characterization of the $A_\infty$ condition between the respective harmonic harmonic measures of $Ω_1$ and $Ω_2$.

preprint2020arXiv

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

It is well-known that quantitative, scale invariant absolute continuity (more precisely, the weak-$A_\infty$ property) of harmonic measure with respect to surface measure, on the boundary of an open set $ Ω\subset \mathbb{R}^{n+1}$ with Ahlfors-David regular boundary, is equivalent to the solvability of the Dirichlet problem in $Ω$, with data in $L^p(\partialΩ)$ for some $p<\infty$. In this paper, we give a geometric characterization of the weak-$A_\infty$ property, of harmonic measure, and hence of solvability of the $L^p$ Dirichlet problem for some finite $p$. 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.

preprint2012arXiv

On $L^2$ Solvability of BVPs for elliptic systems

In this article we prove solvability results for $L^2$ boundary value problems of some elliptic systems $Lu=0$ on the upper half-space $\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 ${\mathbb R}^d$ is greater than $\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 $N$ points in ${\mathbb R}^d$, $d \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 ${\Bbb R}^d$

Given $E \subset \mathbb{R}^d$, $d \ge 2$, define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$. We prove that if the Hausdorff dimension of $E$ is greater than $d-1$, then $σ({\mathcal D}(E))>0$, where $σ$ denotes the surface measure on $S^{d-1}$. This result is sharp since the conclusion fails to hold if $E$ is a $(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 $\mathbb{R}^d$. Also define ${\mathcal A}(E)=\{θ(x,y,z): x,y,z \in E\},$ where $θ(x,y,z)$ is the angle between $x-y$ and $y-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 $E$ is greater than $(d-1)/2+1/3$, then the Lebesgue measure of ${\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 \subset {\Bbb R}^d$, $d \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 \subset {\Bbb R}^d$, $d \ge 2$, is greater than $\frac{d+1}{2}$, then the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ contains an interval. We prove this result for distance sets $Δ_B(E)=\{{||x-y||}_B: x,y \in E \}$, where ${|| \cdot ||}_B$ is the metric induced by the norm defined by a symmetric bounded convex body $B$ 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 \subset {\Bbb R}^d$, define the \emph{volume set} of $E$, ${\mathcal V}(E)= \{det(x^1, x^2, ... x^d): x^j \in E\}$. In $\R^3$, we prove that ${\mathcal V}(E)$ has positive Lebesgue measure if either the Hausdorff dimension of $E\subset \Bbb R^3$ is greater than 13/5, or $E$ is a product set of the form $E=B_1\times B_2\times B_3$ with $B_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\subset\R^d$ with $\hde>d-1$, and give applications to discrete combinatorial geometry.