We consider the existence problem for `Steiner networks' (trivalent graphs with 120 degree angles at each junction) in strictly convex domains, with `Neumann' boundary conditions (orthogonal intersection with the domain boundary.) For each of the three possible combinatorial possibilities, sufficient conditions on the domain are derived for existence; in addition, in each case explicit examples of nonexistence are given.
In this paper, a new approach of defining Steiner symmetrization of coercive convex functions is proposed and some fundamental properties of the new Steiner symmetrization are proved. Further, using the new Steiner symmetrization, we give a different approach to prove a functional version of the Blaschke-Santalo inequality due to Ball.
We give new characterisations of sets of positive reach and show that a closed hypersurface has positive reach if and only if it is of class $C^{1,1}$. These results are then used to prove new alternating Steiner formulæ for hypersurfaces of positive reach. Furthermore, it will turn out that every hypersurface that satisfies an alternating Steiner formula has positive reach. Finally, we provide a new solution to a problem by Hadwiger on convex sets and prove long time existence for the gradient flow of mean breadth.
We introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a locally strictly convex hyperquadric, then the symmetric and the antisymmetric planes coincide and contain the affine normal to the hyperquadric. In particular, any surface immersed in a locally strictly convex hyperquadric is affine semiumbilical with respect to the symmetric or antisymmetric equiaffine planes.
In [AMW], it is proved that if a compact $3$-manifold has positive Ricci curvature and strictly convex boundary, then this manifold is diffeomorphic to the standard $3$-dimensional Euclidean disk. In this paper, we prove its higher-dimensional generalization: if a compact $n$-manifold has positive curvature operator and strictly convex boundary, then this manifold is diffeomorphic to the standard $n$-dimensional Euclidean disk.
In a complete simply connected Riemannian manifold X of pinched negative curvature, we give a sharp criterion for a subset C to be the epsilon-neighbourhood of some convex subset of X, in terms of the extrinsic curvatures of the boundary of C.
Consider a strictly convex bounded regular domain $C$ of $\R^3$. For any arbitrary finite topological type we find a compact Riemann surface $\mathcal{M}$, an open domain $M\subset \mathcal{M}$ with the fixed topological type, and a conformal complete proper minimal immersion $X:M\to C$ which can be extended to a continuous map $X:\overline{M}\to \overline{C}$.
We consider the volume expansion of the Blaschke metric, which is a projectively invariant metric on a strictly convex domain in a locally flat projective manifold. When the boundary is even dimensional, we express the logarithmic coefficient L as the integral of affine invariants over the boundary. We also formulate an intrinsic geometry of the boundary as a conformal Codazzi structure and show that L gives a global conformal invariant of the boundary.
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in particular to micro seismicity. The reconstruction is based on embedding the manifold in a function space. This requires the differentiation of the distance functions. Therefore this paper also studies s…
We prove that every entire self-shrinking solution on $\mathbb{C}^n$ to the Kähler-Ricci flow with strictly real convex potential must be quadratic. The very same argument also gives a pointwise proof for the rigidity of entire self-shrinking solutions to Lagrangian mean curvature flow in pseudo-Euclidean space obtained by Q. Ding and Y.L. Xin. Furthermore, we show that our argument works for a larger class of equations.
Let $C$ be a strictly convex domain in a $3$-dimensional Riemannian manifold with sectional curvature bounded above by a constant and let $Σ$ be a constant mean curvature surface with free boundary in $C$. We provide a pinching condition on the length of the traceless second fundamental form on $Σ$ which guarantees that the surface is homeomorphic to either a disk or an annulus. Furthermore, under the same pinching condition, we prove that if $C$ is a geodesic ball of $3$-dimensional space forms, then $Σ$ is either a spherical cap or a Delaunay surface.
We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy anyone of the following three types of (new) boundary: strictly convex, totally geodesic or strictly concave. The extension procedure can be applied for instance to "positive mass" type of theorems.
In this paper we will prove Hadamard-Stoker type theorems in the following ambient spaces: $\man ^n \times \r$, where $\man ^n $ is a $1/4-$pinched manifold, and certain Killing submersions, e.g., Berger spheres and Heisenberg spaces. That is, under the condition that the principal curvatures of an immersed hypersurfaces are greater than some non-negative constant (depending on the ambient space), we prove that such a hypersurface is embedded and we also study its topology.
In this paper we find strictly locally convex hypersurfaces in $\mathbb{R}^{n+1}$ with prescribed curvature and boundary. The main result is that if the given data admits a strictly locally convex radial graph as a subsolution, we can find a radial graph realizing the prescribed curvature and boundary. As an application we show any smooth domain on the boundary of a compact strictly convex body can be deformed to a smooth hypersurface with the same boundary (inside the convex body) and realizing any prescribed curvature function smaller than the curvature of the body.
The existence of a smooth complete strictly locally convex hypersurface with prescribed scalar curvature and asymptotic boundary at infinity in $\mathbb{H}^{3}$ is proved under the assumption that there exists a strictly locally convex subsolution.
In this paper we obtain an analogue of Toponogov theorem in dimension 3 for compact manifolds $M^3$ with nonnegative Ricci curvature and strictly convex boundary $\partial M$. Here we obtain a sharp upper bound for the length $L(\partialΣ)$ of the boundary $\partialΣ$ of a free boundary minimal surface $Σ^2$ in $M^3$ in terms of the genus of $Σ$ and the number of connected components of $\partialΣ$, assuming $Σ$ has index one. After, under a natural hypothesis on the geometry of $M$ along $\partial M$, we prove that if $L(\partialΣ)$ saturates the respective upper bound, then $M^3$ is isometri…
This paper is devoted to $C^2$ a priori estimates for strictly locally convex radial graphs with prescribed Weingarten curvature and boundary in space forms. By constructing two-step continuity process and applying degree theory arguments, existence results in space forms are established for prescribed Gauss curvature equation under the assumption of a strictly locally convex subsolution.
We obtain $C^2$ a priori estimates for solutions of the nonlinear second-order elliptic equation related to the geometric problem of finding a strictly locally convex hypersurface with prescribed curvature and boundary in a space form. Under the assumption of a strictly locally convex subsolution, we establish existence results by using degree theory arguments.
A class of real functions, which is the generalization of a family of convex functions, is introduced; in this connection, we have defined $X$-convex, strictly $X$-convex, quasi-$X$-convex, strictly quasi-$X$-convex, and semi-strictly quasi-$X$-convex functions. Moreover, in this paper, we give a detailed study of the fundamental properties of these functions with various examples, supporting the concepts. Finally, the study of optimization problems employs quasi-$X$-convex, semistrictly quasi-$X$-convex, and strictly quasi-$X$-convex functions.
Let M be a compact manifold of dimension n with a strictly convex projective structure. We consider the geodesic flow of the Hilbert metric on it, which is known to be Anosov. We prove that its topological entropy is less than n-1, with equality if and only if the structure is Riemannian, that is hyperbolic. As a corollary, we get that the volume entropy of a divisible strictly convex set is less than n-1, with equality if and only if it is an ellipsoid.
We prove some Liouville type theorems on smooth compact Riemannian manifolds with nonnegative sectional curvature and strictly convex boundary. This gives a nonlinear generalization in low dimension of the recent sharp lower bound of the first Steklov eigenvalue by Xia-Xiong and verifies partially a conjecture by the third author. As a consequence, we derive several sharp Sobolev trace inequalities on these manifolds.
We prove entropy rigidity for finite volume strictly convex projective manifolds in dimensions $\geq 3$, generalizing the work of arXiv:1708.03983 to the finite volume setting. The rigidity theorem uses the techniques of Besson, Courtois, and Gallot's entropy rigidity theorem. It implies uniform lower bounds on the volume of any finite volume strictly convex projective manifold in dimensions $\geq 3$.
It was proved in \cite{NS1} that obstacles $K$ in $\R^d$ that are finite disjoint unions of strictly convex domains with $C^3$ boundaries are uniquely determined by the travelling times of billiard trajectories in their exteriors and also by their so called scattering length spectra. However the case $d = 2$ is not properly covered in \cite{NS1}. In the present paper we give a separate different proof of the same result in the case $d = 2$.
