The χ-Hessian Quotient for Riemannian Metrics

Pseudo-Riemannian geometry and Hilbert–Schmidt norms are two important fields of research in applied mathematics. One of the main goals of this paper will be to find a link between these two research fields. In this respect, in the present paper, we will introduce and analyze two important quantities in pseudo-Riemannian geometry, namely the H-distorsion and, respectively, the Hessian χ-quotient. This second quantity will be investigated using the Frobenius (Hilbert–Schmidt) norm. Some important examples will be also given, which will prove the validity of the developed theory along the paper.


Introduction
The Hessian structural geometry is a fascinating emerging area of research. It is, in particular, related to Kaehlerian geometry, and also with many important pure mathematical fields of research, such as: affine differential geometry, cohomology, and homogeneous spaces. A strong relationship can also be established with the geometry of information in applied mathematics. This systematic introduction to the subject initially develops the foundations of Hessian structures on the basis of a certain pair of a flat connection and a Riemannian metric, and then describes these related fields as theoretical applications.
In Finsler geometry, respectively, in Riemannian geometry are few known invariants. Accordingly, one of the main path of research is to find new invariants and to study their impact in some concrete examples.
As we know, B n x represents, in Finsler geometry, the unit ball in a Finsler space centered at p ∈ M, where (M, F) is a Finsler manifold, i.e., and B n represents the unit ball in the Euclidean space centered at origin: Additionally, in Finsler geometry, we know that σ F (x) is given by: .

Let now recall one classical definition
. For a Finsler space, the distorsion τ = τ(x, y) is given by: Additionally, according to Shen ([1]), when F = g ij (x)y i y j , is Riemannian, then σ F (x) = det(g ij (x)).

Definition 2 ([2]).
A pseudo-Riemannian metric of metric signature (p, q) on a smooth manifold M of dimension n = p + q, is a smooth symmetric differentiable two-form g on M, such that, at each point, x ∈ M, g x is non-degenerate on T x M with the signature (p, q). We call (M, g) a pseudo-Riemannian manifold.
Also a well known results from [2], is the following: . Given a pseudo-Riemannian manifold (M, g), there exists a unique linear connection ∇ g on M, called the Levi-Civita connection of g, such that: (a) ∇ g g = 0, For a coordinate chart (U, x 1 , · · · , x n ), the Christoffel symbols Γ k ij of the Levi-Civita connection are related to the components of the metric g in the following way: If f : M → R is a smooth function, then the second covariant derivative of the function f is given by: In the paper [3], the authors used the following notations, which we will also use in this paper: Some important results regarding the "size" of a matrix were recently established in a series of papers. In this respect, please see [4,5].
As we know, the two norm for a matrix A is given by Axioms 2021, 10, 69 3 of 7 The Frobenius (or the Hilbert-Schmidt norm) of a matrix A = (A ij ) is defined, as follows: The operator norm of a matrix A = (A ij ) is given by Next we will recall some properties of these norms. We will be focused on Hilbert-Schmidt norm · HS , because we will use it to establish some new main results of this paper: In the previous inequality, the equality take place when A = I n . Additionally, Here, A denotes any positive definite symmetric matrix, r is the rank of A, and σ min (A) denotes the minimum singular value of A. Some interesting results regarding the Minkowski norm on Finsler geometry are presented in [6].

Main Results
Now, using the distortion definition, we will introduce the following definition: Definition 3. For a pseudo-Riemannian manifold, we will denote, by the H-distortion, if and only if σ 2 F,∇F (x) =constant. Example 1. We will consider a pseudo-Riemannian manifold, (x 1 , x 2 ) | x 1 = −1 ⊂ R 2 , endowed with the following metric: After tedious computations, we obtain the following Christoffel symbols for this metric: With the above Christoffel symbols, after replacing, we get the following Hessian matrix: We will search a function that respects the condition that the determinant of the Hessian will be a constant. In this respect, let us consider the following function f : R 2 → R, f (x 1 , x 2 ) = kx 1 x 2 + 1, where k is a non-positive real constant. For this function, at a critical point x, the above Hessian matrix became: Subsequently, the determinant of the Hessian will be det(∇ 2 g f ) = −k 2 = constant. Finally, let us conclude that in this case, the H-distorsion will be: Now, using the theory of Frobenius norms, we will introduce the following quantity: Definition 4. For a pseudo-Riemannian manifold (M, g), we will denote, by the Hessian χ-quotient for two smooth function f , f 1 : M → R. Here, · HS represent the Frobenius (Hilbert-Schmidt) norm of a Hessian matrix that is attached to the pseudo-Riemannian manifold. Here, the point x represents the critical point for the first Hessian of the smooth function f and the point x 1 represents the critical point of the Hessian of the second function f 1 .

Remark 1.
Because H f (x) HS and H f 1 (x 1 ) HS are two constants, then we can conclude that χ H must be also a constant. Next, we will investigate some of χ H properties.
First, let us recall the following well known properties regarding Frobenius norms: for two matrices A = (a ij ), respectively, B = (b ij ), as we know, the following inequalities hold:
Hence, now we can formulate the following: Theorem 2. For the Hessian χ H quotient for two smooth functions f , f 1 : M → R, which are considered for the same pseudo-Riemannian manifold (M, g), the following inequality holds: where Q = H f (x) HS , x is a critical point of the Hessian H f (x), r represents the rank of the second Hessian H f 1 (x 1 ), x 1 is the critical point of the Hessian H f 1 (x 1 ), and σ min H f −1 1 (x) is the minimum singular value of the Hessian H f −1 1 (x).
where x is a critical point of the Hessian H f (x), r represents the rank of the second Hessian