The forward and reverse Funk weak metrics are fundamental distance functions on convex bodies that serve as the building blocks for the Hilbert and Thompson metrics. In this paper we study Voronoi diagrams under the forward and reverse Funk metrics in polygonal and elliptical cones. We establish several key geometric properties: (1) bisectors consist of a set of rays emanating from the apex of the cone, and (2) Voronoi diagrams in the $d$-dimensional forward (or reverse) Funk metrics are equivalent to additively-weighted Voronoi diagrams in the $(d-1)$-dimensional forward (or reverse) Funk metrics on bounded cross sections of the cone. Leveraging this, we provide an $O\big(n^{\ceil{\frac{d-1}{2}}+1}\big)$ time algorithm for creating these diagrams in $d$-dimensional elliptical cones using a transformation to and from Apollonius diagrams, and an $O(mn\log(n))$ time algorithm for 3-dimensional polygonal cones with $m$ facets via a reduction to abstract Voronoi diagrams. We also provide a complete characterization of when three sites have a circumcenter in 3-dimensional cones. This is one of the first algorithmic studies of the Funk metrics.
Cauchy's surface area formula expresses the surface area of a convex body as the average area of its orthogonal projections over all directions. While this tool is fundamental in Euclidean geometry, with applications ranging from geometric tomography to approximation theory, extensions to non-Euclidean settings remain less explored. In this paper, we establish an analog of Cauchy's formula for the Funk geometry induced by a convex body $K$ in $\mathbb{R}^d$, for the Holmes--Thompson surface area. The formula is based on central projections to boundary points of $K$. We show that when $K$ is a convex polytope, the formula reduces to a weighted sum of contributions associated with the vertices of $K$. Finally, as a consequence of our analysis, we derive a generalization of Crofton's formula for surface areas in the Funk geometry. By viewing Euclidean, Minkowski, Hilbert, and hyperbolic geometries as limiting or special cases of the Funk setting, our results provide a unified framework for these classical surface area formulas.
Hamel functions of a spray play an important role in the study of the projective metrizability of the concerned spray, and Funk functions are special Hamel functions. A Finsler metric is a special Hamel function of the spray induced by the metric itself and a Funk metric is a special Funk function of a Minkowski spray. In this paper, we study sprays on a Hamel or Funk function model. Firstly, we give some basic properties of a Hamel or Funk function of a spray and some curvature properties of a Hamel or Funk function in projective relations. We use the Funk metric to construct a family of sprays and obtain some of their curvature properties and their metrizability conditions. Secondly, we consider the existence of Funk functions on certain spray manifold. We prove that there exist local Funk functions on a R-flat spray manifold, and on certain projectively flat Berwald spray manifolds, we construct a multitude of nonzero Funk functions. Finally, we introduce a new class of sprays called Hamel or Funk sprays associated to given sprays and Hamel or Funk functions. We obtain some special properties of a Hamel or Funk spray of scalar curvature, especially on its metrizability and a spe
Metric spaces defined within convex polygons, such as the Thompson, Funk, reverse Funk, and Hilbert metrics, are subjects of recent exploration and study in computational geometry. This paper contributes an educational piece of software for understanding these unique geometries while also providing a tool to support their research. We provide dynamic software for manipulating the Funk, reverse Funk, and Thompson balls in convex polygonal domains. Additionally, we provide a visualization program for traversing the Hilbert polygonal geometry.
In this paper, we {\it find} the infinitesimal structure of Funk-Finsler metric in spaces of constant curvature. We investigate the geometry of this Funk-Finsler metric by explicitly computing its $S$-curvature, Riemann curvature, Ricci curvature, and flag curvature. Moreover, we show that the $S$-curvature of the Funk-Finsler metric in hyperbolic space is bounded above by $\frac{3}{2}$, in spherical space bounded below by $\frac{3}{2}$, and in Euclidean case it is identically equal to $\frac{3}{2}$. Further, we show that the flag curvature of the Funk-Finsler metric in hyperbolic space is bounded above by $-\frac{1}{4}$, in spherical space bounded below by $-\frac{1}{4}$, and in Euclidean case it is identically equal to $-\frac{1}{4}$.
Rubin's generalized Minkowski--Funk transforms $M_t^α$ on the sphere $\mathbb{S}^n$ give rise, for irrational radii $t=\cos(βπ)$, to a small denominator problem governed by the asymptotic behavior of their spectral multipliers. We show that for Lebesgue-almost every $β$ the corresponding two-sine small divisor inequality has infinitely many solutions, and deduce that $(M_t^α)^{-1}$ is not bounded from $\tilde{H}^{s+ρ+1}(\mathbb{S}^n)$ to $H^s(\mathbb{S}^n)$ in the non-critical case $ρ eq 0,1$. In the critical cases $ρ\in\{0,1\}$ we prove Rubin's Conjectures 4.4 and 4.7 on the failure of endpoint Sobolev regularity for the inverse transforms.
In this paper, we construct the Funk-Finsler structure in various models of the hyperbolic plane. In particular, in the unit disc of the Klein model, it turns out to be a Randers metric, which is a non-Berwald Douglas metric. Further, using Finsler isometries we obtain the Funk-Finsler structures in other models of the hyperbolic plane. Finally, we also investigate the geometry of this Funk-Finsler metric by explicitly computing the S-curvature, Riemann curvature, flag curvature, and Ricci curvature in the Klein unit disc.
It is known that the Funk transform (the Funk-Radon transform) is invertible in the class of even (symmetric) continuous functions defined on the unit 2-sphere S^2. In this article, for the reconstruction of f from C(S^2) (can be non-even), an additional condition (to reconstruct an odd function) is found, and the injectivity of the so-called two data Funk transform is considered. An iterative inversion formula of the transform is presented. Such inversions have theoretical significance in convexity theory, integral geometry and spherical tomography. Also, the Funk-Radon transform is used in Diffusion-weighted magnetic resonance imaging.
Predicting time-dependent dynamics of complex systems governed by non-linear partial differential equations (PDEs) with varying parameters and domains is a challenging task motivated by applications across various fields. We introduce a novel family of neural operators based on our Graph Fourier Neural Kernels, designed to learn solution generators for nonlinear PDEs in which the highest-order term is diffusive, across multiple domains and parameters. G-FuNK combines components that are parameter- and domain-adapted with others that are not. The domain-adapted components are constructed using a weighted graph on the discretized domain, where the graph Laplacian approximates the highest-order diffusive term, ensuring boundary condition compliance and capturing the parameter and domain-specific behavior. Meanwhile, the learned components transfer across domains and parameters using our variant Fourier Neural Operators. This approach naturally embeds geometric and directional information, improving generalization to new test domains without need for retraining the network. To handle temporal dynamics, our method incorporates an integrated ODE solver to predict the evolution of the sys
The Funk-Radon transform assigns to a function defined on the unit sphere its integrals along all great circles of the sphere. In this paper, we consider a frame decomposition of the Funk-Radon transform, which is a flexible alternative to the singular value decomposition. In particular, we construct a novel frame decomposition based on trigonometric polynomials and show its application for the inversion of the Funk-Radon transform. Our theoretical findings are verified by numerical experiments, which also incorporate a regularization scheme.
In this article, we find three isometric models of the Funk disc: Finsler upper half of the hyperboloid of two sheets model, the Finsler band model and the Finsler upper hemi sphere model; and we also find two new models of the Finsler-Poincaré disc. We explicitly describe the geodesics in each model. Moreover, we compute the Busemann function and consequently describe the horocycles in the Funk and the Hilbert disc. Finally, we prove the asymptotic harmonicity of the Funk disc. We also show that, the concept of asymptotic harmonicity of the Finsler manifolds {\it tacitly} depends on the measure, in {\it contrast} to the Riemannian case.
We investigate the travel time in a navigation problem from a geometric perspective. The setting involves an open subset of the Euclidean plane, representing a lake perturbed by a symmetric wind flow proportional to the distance from the origin. The Randers metric derived from this physical problem generalizes the well-known Euclidean metric on the Cartesian plane and the Funk metric on the unit disk. We obtain formulas for distances, or travel times, from point to point, from point to line, and vice-versa
The Funk-Radon transform, also known as the spherical Radon transform, assigns to a function on the sphere its mean values along all great circles. Since its invention by Paul Funk in 1911, the Funk-Radon transform has been generalized to other families of circles as well as to higher dimensions. We are particularly interested in the following generalization: we consider the intersections of the sphere with hyperplanes containing a common point inside the sphere. If this point is the origin, this is the same as the aforementioned Funk--Radon transform. We give an injectivity result and a range characterization of this generalized Radon transform by finding a relation with the classical Funk--Radon transform.
The subject of this paper is the history of the Minkowski-Funk Transform. After introducing the Minkowski-Funk Transform as well as its dual transform and a generalization of both, we will present an inversion formula of the Minkowski-Funk Transform. Then we will discuss the history of this problem: related work by Minkowski and Funk and the connection between their work.
We explore connections furnished by the Funk metric, a relative of the Hilbert metric, between projective geometry, billiards, convex geometry and affine inequalities. We first show that many metric invariants of the Funk metric are invariant under projective transformations as well as projective duality. These include the Holmes-Thompson volume and surface area of convex subsets, and the length spectrum of their boundary, extending results of Holmes-Thompson and Álvarez Paiva on Schäffer's dual girth conjecture. We explore in particular Funk billiards, which generalize hyperbolic billiards in the same way that Minkowski billiards generalize Euclidean ones, and extend a result of Gutkin-Tabachnikov on the duality of Minkowski billiards. We next consider the volume of outward balls in Funk geometry. We conjecture a general affine inequality corresponding to the volume maximizers, which includes the Blaschke-Santaló and centro-affine isoperimetric inequalities as limit cases, and prove it for unconditional bodies, yielding a new proof of the volume entropy conjecture for the Hilbert metric for unconditional bodies. As a by-product, we obtain generalizations to higher moments of inequ
We study parabolas in the two dimensional unit disk equipped with a Funk metric. Four types of parabolas are obtained, due to the non-reversibility of the Funk metric, each one with applications to physics in the Zermelo navigation problem. We show that two of the four parabolas obtained are well known conics, and the remaining two are characterized by irreducible quartics. Explicit examples are given.
A discrete Funk--Hecke formula is set up using the analogy between ordinary and operator spherical harmonics. It is the fuzzy sphere analogue of the conventional theory. An example is related, in the classical limit, to the Rayleigh partial wave expansion.
The goal of this paper is to introduce and study analogues of the Euclidean Funk and Hilbert metrics on open convex subsets $Ω$ of hyperbolic or spherical spaces. At least at a formal level, there are striking similarities among the three cases: Euclidean, spherical and hyperbolic. We start by defining non-Euclidean analogues of the Euclidean Funk weak metric and we give three distinct representations of it in each of the non-Euclidean cases, which parallel the known situation for the Euclidean case. As a consequence, all of these metrics are shown to be Finslerian, and the associated norms of the Finsler metrics are described. The theory is developed by using a set of classical trigonometric identities on the sphere $S^n$ and the hyperbolic space $\mathbb{H}^n$ and the definition of a cross ratio on the non-Euclidean spaces of constant curvature. This in turn leads to the concept of projectivity invariance in these spaces. We then study the geodesics of the Funk and Hilbert metrics. In the case of Euclidean (respectively spherical, hyperbolic) geometry, the Euclidean (respectively spherical, hyperbolic) geodesics are Funk and Hilbert geodesics. Natural projection maps that exist b
We consider the Holmes--Thompson volume of balls in the Funk geometry on the interior of a convex domain. We conjecture that for a fixed radius, this volume is minimized when the domain is a simplex and the ball is centered at the barycenter, or in the centrally-symmetric case, when the domain is a Hanner polytope. This interpolates between Mahler's conjecture and Kalai's flag conjecture. We verify this conjecture for unconditional domains. For polytopal Funk geometries, we study the asymptotics of the volume of balls of large radius, and compute the two highest-order terms. The highest depends only on the combinatorics, namely on the number of flags. The second highest depends also on the geometry, and thus serves as a geometric analogue of the centro-affine area for polytopes. We then show that for any polytope, the second highest coefficient is minimized by a unique choice of center point, extending the notion of Santaló point. Finally, we show that, in dimension two, this coefficient, with respect to the minimal center point, is uniquely maximized by affine images of the regular polygon.
The Funk--Minkowski transform ${\mathcal F}$ associates a function $f$ on the sphere ${\mathbb S}^2$ with its mean values (integrals) along all great circles of the sphere. Thepresented analytical inversion formula reconstruct the unknown function $f$ completely if two Funk--Minkowski transforms, ${\mathcal F}f$ and ${\mathcal F} abla f$, are known. Another result of this article is related to the problem of Helmholtz--Hodge decomposition for tangent vector field on the sphere ${\mathbb S}^2$. We proposed solution for this problem which is used the Funk-Minkowski transform ${\mathcal F}$ and Hilbert type spherical convolution ${\mathcal S}$.