Randers Type Finsler Norm

• Randers type Finslerian norm is a metric defined as F(x,y)=α(x,y)+β(x,y), where α is a Riemannian norm and β is a one-form, ensuring strong convexity when ||β||<1.
• It arises naturally in the Zermelo navigation problem, translating drift effects into geodesic flows that optimize travel time on manifolds.
• Recent generalizations extend its applications to gravity, cosmology, and control theory by exploring singular and non-regular regimes with distinctive curvature properties.

A Randers type Finslerian norm is a @@@@1@@@@ of the form $F(x, y) = \alpha(x, y) + \beta(x, y)$, where $\alpha$ is a Riemannian norm induced by a positive-definite (or Lorentzian, in some generalizations) metric tensor and $\beta$ is a one-form. Randers norms are central in the study of Finsler geometry and its applications to navigation, relativity, and various physical and geometric contexts. Their structure, convexity properties, classification, and geometric features are strongly tied to both classical and modern developments in global Finsler geometry, Zermelo navigation, gravitational theory, and cosmology.

1. Mathematical Definition and Structure

The Randers norm is specified on a smooth manifold $M$, with local coordinates $x^i$, by

$$F(x, y) = \alpha(x, y) + \beta(x, y), \qquad \text{where} \quad y \in T_x M.$$

Here,

$$\alpha(x, y) = \sqrt{a_{ij}(x) y^i y^j}, \qquad \beta(x, y) = b_i(x) y^i,$$

with $a_{ij}(x)$ a (pseudo-)Riemannian metric and $b_i(x)$ a smooth one-form. Homogeneity in $y$ (i.e., $F(x, \lambda y) = \lambda F(x, y)$ for $\lambda > 0$) is immediate.

The condition for $F$ to define a (regular) Finsler structure is the strong convexity requirement,

$$\|b\|_a^2(x) = a^{ij}(x) b_i(x) b_j(x) < 1 \qquad \forall x \in M.$$

When $a_{ij}$ is positive-definite, $F$ is strongly convex and positive on $TM \setminus \{0\}$ (Davis et al., 29 Aug 2025, Cheng et al., 2019, Kopacz, 2015, Caponio et al., 2014). The canonical fundamental tensor is

$$g_{ij}(x, y) = \frac{1}{2} \frac{\partial^2 F^2(x, y)}{\partial y^i \partial y^j}.$$

Explicit algebraic forms are available in terms of $a_{ij}$, $b_i$, $y^i$, and their derivatives (Davis et al., 29 Aug 2025, Bouali et al., 23 Jun 2025).

2. Zermelo Navigation Problem and Wind Finslerian Structures

Randers metrics arise naturally as solutions to the Zermelo navigation problem: given a Riemannian manifold $(M, h_{ij})$ and a vector field $W^i(x)$ (“wind” or drift) with $|W|_h^2 = h_{ij} W^i W^j < 1$, the minimal travel-time function is

$$F(x, y) = \frac{\sqrt{[h(W, y)]^2 + |y|_h^2 \lambda(x)} \, - \, h(W, y)}{\lambda(x)}, \quad \lambda(x) = 1 - |W|_h^2,$$

which is of Randers type: $F(x, y) = \alpha(x, y) + \beta(x, y)$, with explicit correspondence (Kopacz, 2015, Brody et al., 2015, Caponio et al., 2014). The underlying Riemannian metric, the wind vector field, and their interaction determine all coefficient tensors in a closed form.

In this context, the strong convexity of $F$ is equivalent to the physical requirement that the drift is weaker than the background metric allows: $|W|_h < 1$. Moreover, the Finslerian unit ball becomes a translation of the Riemannian unit ball by the drift, and the geodesics of $F$ coincide with time-optimal paths (“Zermelo geodesics”).

3. Fundamental Geometric Properties and Regimes

Three qualitatively distinct regimes are classified according to $b(x) := \|b\|_a$ (Tang et al., 2017):

• Strongly Convex Case ($0 \le b < 1$): $F$ is a regular, strongly convex Finsler metric. The indicatrix $\{y \,|\, F(y) = 1\}$ is an ellipsoid shifted by $b$.
• Singular (Parabolic) Case ($b \equiv 1$): The indicatrix becomes a paraboloid; convexity fails and the metric is non-regular but remains nonnegative.
• Non-regular (Hyperbolic) Case ($b > 1$): The indicatrix is a sheet of a two-sheeted hyperboloid, with a conical “light-cone” of null directions ($F=0$). These non-regular Randers metrics can still be Einstein with specified Ricci or flag curvature, with signatures determined via Zermelo-type correspondence.

This trichotomy is essential for both metric properties and global geometric analysis, including extensions to almost and partial Finsler manifolds (Davis et al., 29 Aug 2025).

4. Curvature, Geodesics, and Classification

The flag curvature $K(P, y)$ for a flag $P \subset T_x M$ (a plane spanned by $y$ and $u$) is a central Finslerian invariant, defined in terms of the Riemann curvature operator and the Finsler metric tensor $g_{ij}(x, y)$. For Randers metrics, explicit formulas exist for the Riemann curvature operator, Ricci tensor, and scalar, in terms of spray coefficients and their derivatives (Cheng et al., 2019, Bouali et al., 23 Jun 2025). In the context of Zermelo navigation, the correspondence between the Randers data $(a_{ij}, b_i)$ and $(h_{ij}, W^i)$ enables geometric classification for constant Ricci and flag curvature (Kopacz, 2015, Tang et al., 2017, Brody et al., 2015).

If $\beta$ is a Killing 1-form for $\alpha$ (i.e., $b_{i|j} + b_{j|i} = 0$), then the necessary conditions for scalar flag curvature reduce to explicit polynomial constraints in $\alpha$, $\beta$, and their derivatives (Cheng et al., 2019). The classic Bao-Robles-Shen classification is recovered in the regular case.

5. Fundamental Tensors and Invariant Characterizations

Key Finslerian tensors associated with the Randers metric include:

• Fundamental tensor $g_{ij}(x, y)$: positive-definite in the regular regime, with explicit formula in terms of the base metric and 1-form (Davis et al., 29 Aug 2025, Bouali et al., 23 Jun 2025).
• Cartan tensor $C_{ijk}$: totally symmetric third derivative of $F^2$ in $y$.
• Matsumoto tensor $M_{ijk}$: defined by

$$M_{ijk} = C_{ijk} - \frac{1}{n+1} (I_i h_{jk} + I_j h_{ki} + I_k h_{ij}),$$

where $I_i$ is the mean Cartan torsion and $h_{ij}$ the angular metric. Matsumoto–Hōjō’s theorem states $M_{ijk} \equiv 0$ if and only if $F$ is a Randers metric (Davis et al., 29 Aug 2025). Extensions to almost and partial Finsler manifolds are available for broader metric classes.

6. Physical and Geometric Applications

Randers norms are foundational in multiple domains:

• Search and control theory: Recasting navigation under drift as Randers geodesics yields time-optimal search patterns, notably for river-type planar perturbations (Kopacz, 2015).
• Relativity and Finsler gravity: Randers metrics describe spacetime structures in the presence of preferred directions (e.g., electromagnetic backgrounds, anisotropic cosmology) (Heefer et al., 2023, Li et al., 2013). They furnish testbeds for Finslerian modifications of gravitational theory and effective cosmological constants (Bouali et al., 23 Jun 2025).
• Wind Finsler structures in causality theory: Randers-Kropina metrics correspond to stationary spacetime slices (SSTK splittings), connecting causality, light-cone structures, and Fermat variational principles in both Finsler and Lorentzian manifolds (Caponio et al., 2014).
• Cosmology: Barthel-Randers models generalize the Friedmann equations, introducing new geometric terms interpreted as effective dark energy components (Bouali et al., 23 Jun 2025).

7. Generalizations and Recent Developments

Recent works extend the classical Randers framework:

• Modified causal Randers norms: For Lorentzian signature, sign-adjusted and absolute-value variants (e.g., $$F(x, y) = \operatorname{sgn}(A) \alpha(x, y) + |\beta(x, y)|$$) achieve reversible light-cones and restore standard causal geometry (Heefer et al., 2023).
• Almost and partial Finsler structures: “$\mathbf{a}$” and bipartite spaces, with generalized norms $F = \alpha \pm \|\beta\|_\alpha$, encompass Randers indicatrix geometry and characteristic tensors (Davis et al., 29 Aug 2025).
• Singular Randers / parabolic Finsler metrics: The $b \equiv 1$ regime leads to parabolic indicatrices and new classes of Finsler spaces beyond strong convexity (Tang et al., 2017).
• Classification via Zermelo navigation: The complete identification between navigation data and Randers pairs underlines a correspondence between geometric control theory and Finslerian curvature classification (Brody et al., 2015, Kopacz, 2015, Caponio et al., 2014).

Summary Table: Core Randers Formulae and Regimes

Regime	$\|b\|_a$ Condition	Indicatrix Geometry	Finsler Type
Regular	$0 \le \|b\|_a < 1$	Shifted ellipsoid	Strongly convex
Parabolic	$\|b\|_a \equiv 1$	Paraboloid (1-sheeted)	Singular
Hyperbolic	$\|b\|_a > 1$	Hyperboloid (2-sheeted)	Non-regular (pseudo)

Randers type Finsler norms thus provide a versatile analytic and geometric structure, linking optimal control, geometric mechanics, general relativity, and modern Finsler classification. Their study continues to yield new insights in both pure geometry and applications to mathematical physics and cosmology (Kopacz, 2015, Cheng et al., 2019, Tang et al., 2017, Davis et al., 29 Aug 2025, Bouali et al., 23 Jun 2025, Heefer et al., 2023, Brody et al., 2015, Caponio et al., 2014, Li et al., 2013).