Abstract:We consider the construction of a polyhedral Delaunay partition as a limit of the sequence of power diagrams (radical partitions). The dual Voronoi diagram is obtained as a limit of the sequence of weighted Delaunay partitions. The problem is reduced to the construction of two dual convex polyhedra, inscribed and superscribed around a circular paraboloid, as a limit of the sequence of pairs of general dual convex polyhedra. The sequence of primal polyhedra should converge to the superscribed polyhedron and the sequence of the dual polyhedra converges to the inscribed polyhedron. We are interested in the case when the vertices of primal polyhedra can move or merge together, i.e., no new faces are allowed for dual polyhedra. These rules define the transformation of the set of initial spheres into the set of Delaunay spheres using radius variation and sphere movement and elimination. Existence theorems are still unavailable but we suggest a functional measuring the deviation of the convex polyhedron from the one inscribed into the paraboloid. It is the discrete Dirichlet functional for the power function which is a linear interpolant of the vertical distance of the dual vertices from the paraboloid. The functional's absolute minimizer is attained on the constant power field, meaning that the inscribed polyhedron can be obtained by a simple translation. This formulation of the functional for the dual surface is not quadratic since the unknowns are the vertices of the primal polyhedron, hence, the transformation of the set of spheres into Delaunay spheres is not unique. We concentrate on the experimental confirmation of the approach viability and put aside mesh quality problems. The zero value of the gradient of the proposed functional defines a manifold describing the evolution of Delaunay spheres. Hence, Delaunay-Voronoi meshes can be optimized using the manifold as a constraint.

A discrete three-dimensional divdiv complex on polyhedral meshes with application to a mixed formulation of the biharmonic problem

A polytopal discrete de Rham complex on manifolds, with application to the Maxwell equations

The grad-div conforming virtual element method for the quad-div problem in three dimensions

A family of conforming finite element divdiv complexes on cuboid meshes

Polyhedral Discretizations for Elliptic PDEs

Complexes from Complexes: Finite Element Complexes in Three Dimensions

Discrete de-Rham complex involving a discontinuous finite element space for velocities: the case of periodic straight triangular and Cartesian meshes

A New Div-Div-Conforming Symmetric Tensor Finite Element Space with Applications to the Biharmonic Equation

Finite Element Complexes in Two Dimensions

High order approximation of Hodge Laplace problems with local coderivatives on cubical meshes

Conforming finite element DIVDIV complexes and the application for the linearized Einstein-Bianchi system

An exterior calculus framework for polytopal methods

Polytopal templates for semi-continuous vectorial finite elements of arbitrary order on triangulations and tetrahedralizations

Multigrid solvers for the de Rham complex with optimal complexity in polynomial degree

New conforming finite element divdiv complexes in three dimensions

Discrete tensor product BGG sequences: Splines and finite elements

Distributional Finite Element curl div Complexes and Application to Quad Curl Problems

Non-simplicial Delaunay meshing via approximation by radical partitions

Polyhedral finite elements for nonlinear solid mechanics using tetrahedral subdivisions and dual-cell aggregation

Construction of scalar and vector finite element families on polygonal and polyhedral meshes