Related papers: A characterization of cut locus for $C^1$ hypersur…

Let $\Omega$ be a domain in $R^n$, and let $N=3\cdot 2^{n-1}$. We prove that the trace of the space $C^2(\Omega)$ to the boundary of $\Omega$ has the following finiteness property: A function $f:\partial\Omega\to R$ is the trace to the…

A property of smooth convex domains $\Omega \subset \mathbb{R}^n$ is that if two points on the boundary $x, y \in \partial \Omega$ are close to each other, then their normal vectors $n(x), n(y)$ point roughly in the same direction and this…

To a Riemannian manifold $(M, g)$ endowed with a magnetic form ${\sigma}$ and its Lorentz operator ${\Omega}$ we associate an operator $M^{\Omega}$, called the magnetic curvature operator. Such an operator encloses the classical Riemannian…

The Hilbert manifold $\Sigma$ consisting of positive invertible (unitized) Hilbert-Schmidt operators has a rich structure and geometry. The geometry of unitary orbits $\Omega\subset \Sigma$ is studied from the topological and metric…

Let $\Omega$ be an open set in Euclidean space $\R^m,\, m=2,3,...$, and let $v_{\Omega}$ denote the torsion function for $\Omega$. It is known that $v_{\Omega}$ is bounded if and only if the bottom of the spectrum of the Dirichlet Laplacian…

Let $\partial \,\mathcal{C}$ be the boundary of a compact convex body $\mathcal{C}$ in $\mathbb{R}^n,\, n\geq 2$, and $O$ be an interior point of $\mathcal C$. Every straight line $l$ containing $O$ cuts from $\mathcal{C}$ a segment $[AB]$…

A geometric potential $V_C$ depending on the mean and Gaussian curvatures of a surface $\Sigma$ arises when confining a particle initially in a three-dimensional space $\Omega$ onto $\Sigma$ when the particle Hamiltonian $H_\Omega$ is taken…

The notion of strictly outward minimising hull is investigated for open sets of finite perimeter sitting inside a complete noncompact Riemannian manifold. Under natural geometric assumptions on the ambient manifold, the strictly outward…

We consider shape functionals of the form $F_q(\Omega)=P(\Omega)T^q(\Omega)$ on the class of open sets of prescribed Lebesgue measure. Here $q>0$ is fixed, $P(\Omega)$ denotes the perimeter of $\Omega$ and $T(\Omega)$ is the torsional…

We introduce the concept of an obstacle skeleton which is a set of line segments inside a polygonal obstacle $\omega$ that can be used in place of $\omega$ when performing intersection tests for obstacle-avoiding network problems in the…

Our work investigates varifolds $\Sigma \subset M$ in a Riemannian manifold, with arbitrary codimension and bounded mean curvature, contained in an open domain $\Omega$. Under mild assumptions on the curvatures of $M$ and on $\partial…

For compact regions Omega in R^3 with generic smooth boundary B, we consider geometric properties of Omega which lie midway between their topology and geometry and can be summarized by the term "geometric complexity". The "geometric…

We prove that, if $\Omega\subset \mathbb{R}^n$ is an open bounded starshaped domain of class $C^2$, the constancy over $\partial \Omega$ of the function $$\varphi(y) = \int_0^{\lambda(y)} \prod_{j=1}^{n-1}[1-t \kappa_j(y)]\, dt$$ implies…

We prove that if $\Sigma$ is a closed surface of genus at least 3 and $G$ is a split real semisimple Lie group of rank at least $3$ acting faithfully by isometries on a symmetric space $N$, then there exists a Hitchin representation…

Let $\Omega$ be a bounded, convex, centrally symmetric in $\mathbb{R}^{2}$ with a connected $C^{2,\epsilon}$ ($\epsilon\in(0,1)$) boundary. We show that, if the following overdetermined elliptic problem \begin{equation} -\Delta u=\alpha…

Let $n \ge 2$, $p \in (1, \, +\infty)$ be given and let $\Sigma$ be a $n$-dimensional, closed hypersurface in $\mathbb{R}^{n+1}$. Denote by $A$ its second fundamental form, and by $\mathring{A}$ the tensor $A - \frac{1}{n} A^i_i g$ where $g…

We prove the scalar curvature rigidity for $L^\infty$ metrics on $\mathbb S^n\backslash\Sigma$, where $\mathbb S^n$ is the $n$-dimensional sphere with $n\geq 3$ and $\Sigma$ is a closed subset of $\mathbb S^n$ of codimension at least…

For $d\ge 1$, we construct a compact subset $K\subseteq \mathbb {R}^{d+1}$ containing a $d$-sphere of every radius between $1$ and $2$, such that for every $\delta\in (0,1)$, the $\delta$-neighbourhood of $K$ has Lebesgue measure $\lesssim…

Let $\Omega\subset\mathbb{R}^n$, $n\ge 2$, be a bounded connected $C^2$ domain. For any unit vector $\nu\in\mathbb{R}^n$, let $T_{\lambda}^{\nu}=\{x\in\mathbb{R}^n:x\cdot\nu=\lambda\}$,…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…