Related papers: A new, self-contained proof of Shahgholian's theor…

We develop a stabilized cut finite element method for the convection problem on a surface based on continuous piecewise linear approximation and gradient jump stabilization terms. The discrete piecewise linear surface cuts through a…

An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…

The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the…

Chaplygin proved the integrability by quadratures of a round sphere, rolling without slipping on a horizontal plane, with center of mass at the center of the sphere, but with arbitrary moments of inertia. Although the system is integrable…

In this article an analytical solution of equations of motion of a rigid disk of finite thickness rolling on its edge on a perfectly rough horizontal plane under the action of gravity is given. The solution is given in terms of Gauss…

Let P be a locally finite disk pattern on the complex plane C whose combinatorics are described by the one-skeleton G of a triangulation of the open topological disk and whose dihedral angles are equal to a function \Theta:E\to [0,\pi/2] on…

We examine the metrics that arise when a finite set of points is embedded in the real line, in such a way that the distance between each pair of points is at least 1. These metrics are closely related to some other known metrics in the…

In this technical note we provide a simple proof of Nehari's theorem on the optimal approximation by $H_\infty$ functions, based on convex duality.

We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike…

Any surface can be foliated into equipotential hypersurfaces of the level sets. A current result is that the contours are the progressing wave fronts of a certain hyperbolic partial differential equation, a wave equation. It is connected…

Recently, we introduced a new class of shapes, called soft cells which fill space as soft tilings without gaps and overlaps while minimizing the number of sharp corners. We introduced the edge bending algorithm that deforms a polyhedral…

We construct a surface that is obtained from the octahedron by pushing out 4 of the faces so that the curvature is supported in a copy of the Sierpinski gasket in each of them, and is essentially the self similar measure on SG. We then…

Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other…

In Euclidean space, we investigate surfaces whose mean curvature $H$ satisfies the equation $H=\alpha\langle N,\mathbf{x}\rangle+\lambda$, where $N$ is the Gauss map, $\mathbf{x}$ is the position vector and $\alpha$ and $\lambda$ are two…

In this note we prove that the version of Newton algorithm with line search we used in [2] converges quadratically.

A new $n-$ noded polygonal plate element is proposed for the analysis of plate structures comprising of thin and thick members. The formulation is based on the discrete Kirchhoff Mindlin theory. On each side of the polygonal element,…

In this article, we study a calibrated version of Reifenberg theorem "with holes". In particular we study sets that are suitably approximable at all points and scales by calibrated planes and show that, without any additional hypotheses on…

We present a simplified proof of a forty-year-old result concerning the tiling of the plane with equilateral convex polygons. Our approach is based on a theorem by M. Rao, who used an exhaustive computer search to confirm the completeness…

In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…