Preprint
Article

Determination of the Integral Curves of the Completely Integrable Gradient System on the Three-Parameter Beta Bivariate Statistical Manifold of the First Kind

This version is not peer-reviewed.

Submitted:

06 November 2023

Posted:

07 November 2023

You are already at the latest version

Abstract
In this paper, it is shown that the bivariate beta statistical manifold of the first kind with three parameters has a gradient system Hamiltonian and is completely integrable. It is shown that this system admits a Lax pair representation. The question here is how to construct a gradient system and show that it is completely integrable while determining the integrable curves on the three-parameter bivariate beta manifold of the first kind admitting a potential function?To do this, we prove the existence of the potential on the manifold using ovidiu in Ovidiu, then using Amari's theorems in Amari, we show that this coordinate system admits a dual coordinate system. This will allow us to determine the Riemannian metric on the variety and to construct the gradient system. We linearise this system using Nakamura's method. We prove that it is Hamiltonian and completely integrable using the theorem in \cite{mama-proceeding}. It is shown that the Bivariate Beta of the first kind with three parameters, is an exponential function. The gradient system is linearizable. It is proven that the associate gradient system is Hamiltonian with $ \mathcal{H} $ which is in involution and satisfying $d\mathcal{H}=0.$ Therefore, the gradient system obtained is a sub-dynamical system of a $4$-dimensional system and is a completely integrable system. We show that the gradient system on the statistical model has the following Lax pair representation: $ \dot{L}= \left[L, N\right] $ where $L$ is a symmetric matrix and $N$ is the diagonal matrix. The gradient system defined by the Bivariate Beta family of the first kind with three parameters odd-dimensional manifold is a completely integrable Hamiltonian system.
Keywords: 
Subject: 
Computer Science and Mathematics  -   Geometry and Topology

0. Introduction

This paper, it is develops an important example of the main Theorem on complete Integrability of gradient systems on a manifold admitting a potential in odd dimension in [11]. In [10] and [11], the dynamical system describes the passage in time of any object in the space of states S of the physical system. Being given a differentiable manifold S, any section X of the tangent fibred at a point p of S denoted by T S = p S T p S , induces a symmetric and positive bilinear form g called a Riemannian metric. In [7], a statistical manifold ( S , g , , * ) , is a Riemannian manifold ( S , g ) with a dual connection pair ( , * ) ; where g is a Riemannian manifold and is a affine connection on S and verify
g ( Y , Z ) = g X Y , Z + g Y , X * Z
where X , Y , Z are the vector fields. In [5], the Riemannian metric g induces an isomorphism between the module of vector fields X ( S ) and the modulus of linear forms Ω ( S ) on S, denoted b g . Let θ = θ 1 , , θ n a coordinate system on S. In [5] and [11], a gradient system on the Riemannian manifold is the negative flow of the gradient field g r a d g ( Φ ) defined by
θ ˙ = [ b g ] 1 θ Φ ( θ ) ,
where Φ C ( S ) is the potential function associated with the gradient field g r a d g ( Φ ) with respect to g. θ Φ ( θ ) = θ 1 Φ ( θ ) , , θ n Φ ( θ ) T , such that [ b g ] = ( g i j ) 1 i ; j n , with ( g i j ) 1 i ; j n is the Fisher information matrix on S. In this paper, the integral curves of the gradient system on the three-parameter bivariate beta manifold of the first kind are determined. Jacobi’s integration of the geodesics of a three-axis system of three geodesics on a three-axis ellipsoid, the motion of the vertex under the effect of gravity by Kovalevski in [2] for particular axis ratios. These efforts culminated in the work of Jacobi, who skilfully applied the method of separating variables to partial differential equations, the Hamilton-Jacobi, associated with the mechanical system in order to their integrable nature. In [1], Poincare recognized that integrability is an exceptional phenomenon of the Hamiltonian system. In 1993, Nakamura [3], proves the complete integrability of gradient systems constructed on the Gaussian and multinomial manifold. In the same year, Fujiwara [6], generalized Nakamura’s work to even dimensions. In 2023, in [11], it is studied the complete integrability of gradient systems defined on a statistical manifold in odd-dimension. How can we characterize the gradient system on S in order to study the integral curves on the three-parameter bivariate beta manifold of the first kind? Following this question, it is shown on S = p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1 , θ = ( a , b , c ) R + * × R + * × R + * x = ( x 1 , x 2 ) R + * × R + * x 1 + x 2 < 1 B ( a , b , c ) = Γ ( a ) . Γ ( b ) . Γ ( c ) Γ ( a + b + c )
where p θ is the Bivariate Beta family of the first kind with three parameters, that p θ is an exponential function. Therefore, according to Ovidiu [9], Φ = log 1 B ( a , b , c ) is its related potential function. It is concluded that S admits a dual-coordinate pair θ , η . The gradient system is linearizable and we have to take the following form η ˙ i = η i . It is proven that the associate gradient system is Hamiltonian with H which is in involution and satisfying d H = 0 . Therefore, applying the fundamental theorem and prove that On a statistical manifold S of three-dimensional defined by the Bivariate Beta family of the first kind with three parameters, the gradient system obtained is a sub-dynamical system of a 4-dimensional system and is a completely integrable system. From Stirling’s formula [4], it is shown that the potential function is given by: Φ ( θ ) = ( a + b + c 1 2 ) log ( a + b + c 1 ) + ( 1 2 a ) log ( a 1 ) + ( 1 2 b ) log ( b 1 ) + ( 1 2 c ) log ( c 1 ) log ( 2 π ) 2 . and for all Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 the cube of edges 1 c m . We show that the dual potential function associated on S is defined for all ( a , b , c ) R 3 { Υ } is given by, Ψ ( η ) = a 2 ( a 1 ) b 2 ( b 1 ) c 2 ( c 1 ) + 1 2 log ( a + b + c 1 ) 1 2 log ( a 1 ) 1 2 log ( b 1 ) 1 2 log ( c 1 ) k . So, we prove that for all Υ the cube such that Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 , let ( a , b , c ) R 3 { Υ } , let D = < A ( 0 , 3 2 , 3 2 ) ; e 1 0 0 > the vector line, let V = < 8 b c 15 b 15 c + 27 4 c b 8 b 8 c + 15 , b , c >
  • If ( a , b , c ) V { D } , then S then is algebraic manifold.
  • If ( a , b , c ) R 3 { Υ ; V { D } } then G is a Pseudo- Riemannian metric.
We also, prove that the gradient system on S obtained by using Stirling’s formula has the following linear representation η ˙ i = η i . Using [11], we prove that the gradient system is Hamiltonian and completely integrable. We show that the gradient system on S has the following Lax pair representation: L ˙ = L , N where L is a symmetric matrix and N is the diagonal matrix. After the introduction, in Section 2, recall the preliminaries motion on theory of statistical manifold, in Section 3 we determine the Riemannian structure on Bivariate Beta family of the first kind with three parameters distribution, in Section 4, linearization and integrability of Gradient Systems, in Section 5, we determine the Riemannian structure related to Stirling’s formula. In Section 6, we have the integrability of Gradient Systems. At the end, we show that this gradient system admits a Lax pair representation.

1. Preliminaries

Let S = p θ ( x ) , θ Θ x X be the set of probabilities p θ , parametrized by Θ , open a subset of R n ; on the sample space X R . Let F ( X , R ) be the space of real-valued smooth functions on X . According to Ovidiu [9], the log-likelihood function is a mapping defined by
l : S F ( X , R ) p θ l p θ ( x ) = log p θ ( x )
Sometimes, for convenient reasons, this will be denoted by l ( x , θ ) = l p θ ( x ) .
In [3] and [7], the Fisher information defined by
( g i j ) 1 i ; j n = E [ θ i θ j l ( x , θ ) ]
Denote G = ( g i j ) 1 i ; j n the Fisher information matrix, the gradient system is given by
θ ˙ = G 1 θ Φ ( θ ) .
The complete integrability of gradient system (3) is proven if the Theorem 1 in [11] is verify.

2. Riemannian structure on Bivariate Beta family of the first kind with three parameters distribution

In this section, we present the particular properties of beta bivariate Beta family of the first kind with three parameters and associated information metric and associated gradient system.

2.1. Particular properties of Beta Bivariate Beta family of the first kind with three parameters.

Let
S = p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1 , θ = ( a , b , c ) R + * × R + * × R + * x = ( x 1 , x 2 ) R + * × R + * x 1 + x 2 < 1 B ( a , b , c ) = Γ ( a ) . Γ ( b ) . Γ ( c ) Γ ( a + b + c )
a statistical manifold.
Proposition 1.
The Bivariate Beta family of the first kind with three parameters distribution
p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1
is an exponential family for all B ( a , b , c ) > 0 .
Proof. 
We have,
p θ ( x ) = exp ( a 1 ) log x 1 + ( b 1 ) log x 2 + ( c 1 ) log ( 1 x 1 x 2 ) + log 1 B ( a , b , c )
Whose, we have
p θ ( x ) = exp log x 1 log x 2 log ( 1 x 1 x 2 ) + a log x 1 + b log x 2 + c log ( 1 x 1 x 2 ) + log 1 B ( a , b , c )
whose,
p θ ( x ) = exp C ( x ) + a f 1 ( x 1 ) + b f 2 ( x 2 ) + c f 3 ( x 1 , x 2 ) Φ ( θ )
with:
f 1 ( x 1 ) = log x 1 , f 2 ( x 2 ) = log x 2 ; f 3 ( x 1 , x 2 ) = log ( 1 x 1 x 2 ) ,
Φ ( θ ) = log 1 B ( a , b , c )
More explicitly the potential function given by
Φ ( θ ) = log Γ ( a ) + log Γ ( b ) + log Γ ( c ) log Γ ( a + b + c )
and
C ( x ) = log x 1 log x 2 log ( 1 x 1 x 2 ) .
According to Ovidiu Scalin in his book [9] this family is an exponential family. □

2.2. Associated information metric and associated gradient system.

Lemma 1.
The Fisher information matrix for the Bivariate Beta family of the first kind with three parameters is given by
G = ϕ a a ( a ) + ϕ a a ( a + b + c ) ϕ a b ( a + b + c ) ϕ a c ( a + b + c ) ϕ a b ( a + b + c ) ϕ b b ( b ) + ϕ b b ( a + b + c ) ϕ b c ( a + b + c ) ϕ a c ( a + b + c ) ϕ b c ( a + b + c ) ϕ c c ( c ) + ϕ c c ( a + b + c )
with
ϕ a a ( a ) = ϕ a 2 ( a ) + ϕ a 2 ( a + b + c ) ϕ a a ( a + b + c ) = 2 Γ ( a ) a 2 Γ ( a ) 2 Γ ( a + b + c ) a 2 Γ ( a + b + c ) ϕ b b ( b ) = ϕ b 2 ( b ) + ϕ b 2 ( a + b + c ) ϕ b b ( a + b + c ) = 2 Γ ( b ) b 2 Γ ( b ) 2 Γ ( a + b + c ) b 2 Γ ( a + b + c ) ϕ c c ( a ) = ϕ c 2 ( c ) + ϕ c 2 ( a + b + c ) ϕ c c ( a + b + c ) = 2 Γ ( c ) c 2 Γ ( c ) 2 Γ ( a + b + c ) c 2 Γ ( a + b + c ) ϕ a b ( a + b + c ) = a b Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . b Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ a c ( a + b + c ) = a c Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ b c ( a + b + c ) = b c Γ ( a + b + c ) Γ ( a + b + c ) b Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c )
and ϕ a ( a ) = a Γ ( a ) Γ ( a ) ,   ϕ b ( b ) = b Γ ( b ) Γ ( b ) ,   ϕ c ( c ) = c Γ ( c ) Γ ( c ) ,   ϕ a ( a + b + c ) = a Γ ( a + b + c ) Γ ( a + b + c ) ,   ϕ b ( a + b + c ) = b Γ ( a + b + c ) Γ ( a + b + c ) ,   ϕ c ( a + b + c ) = c Γ ( a + b + c ) Γ ( a + b + c ) , where ϕ a a ( a ) = a ϕ a ( a ) , a = a
Proof. 
we have
l ( x , θ ) = log p θ ( x ) = C ( x ) + a f 1 ( x 1 ) + b f 2 ( x 2 ) + c f 3 ( x 1 , x 2 ) Φ ( θ ) .
using the expression (7) we have the following relation;
l ( x , θ ) a = f 1 ( x 1 ) + a Γ ( a ) Γ ( a ) a Γ ( a + b + c ) Γ ( a + b + c ) l ( x , θ ) b = f 2 ( x 2 ) + b Γ ( b ) Γ ( b ) b Γ ( a + b + c ) Γ ( a + b + c ) l ( x , θ ) c = f 3 ( x 1 , x 2 ) + c Γ ( c ) Γ ( c ) c Γ ( a + b + c ) Γ ( a + b + c )
So we obtain the following expression
2 l ( x , θ ) a 2 = ϕ a 2 ( a ) + ϕ a 2 ( a + b + c ) + 2 Γ ( a ) a 2 Γ ( a ) 2 Γ ( a + b + c ) a 2 Γ ( a + b + c ) 2 l ( x , θ ) b 2 = ϕ b 2 ( b ) + ϕ b 2 ( a + b + c ) + 2 Γ ( b ) b 2 Γ ( b ) 2 Γ ( a + b + c ) b 2 Γ ( a + b + c ) 2 l ( x , θ ) c 2 = ϕ c 2 ( c ) + ϕ c 2 ( a + b + c ) + 2 Γ ( c ) c 2 Γ ( c ) 2 Γ ( a + b + c ) c 2 Γ ( a + b + c ) 2 l ( x , θ ) a b = a b Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . b Γ ( a + b + c ) Γ 2 ( a + b + c ) 2 l ( x , θ ) a c = a c Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c ) 2 l ( x , θ ) b c = b c Γ ( a + b + c ) Γ ( a + b + c ) b Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c )
by setting
ϕ a a ( a ) = ϕ a 2 ( a ) + ϕ a 2 ( a + b + c ) and ϕ a a ( a + b + c ) = 2 Γ ( a ) a 2 Γ ( a ) 2 Γ ( a + b + c ) a 2 Γ ( a + b + c ) ϕ b b ( b ) = ϕ b 2 ( b ) + ϕ b 2 ( a + b + c ) and ϕ b b ( a + b + c ) = 2 Γ ( b ) b 2 Γ ( b ) 2 Γ ( a + b + c ) b 2 Γ ( a + b + c ) ϕ c c ( a ) = ϕ c 2 ( c ) + ϕ c 2 ( a + b + c ) and ϕ c c ( a + b + c ) = 2 Γ ( c ) c 2 Γ ( c ) 2 Γ ( a + b + c ) c 2 Γ ( a + b + c ) ϕ a b ( a + b + c ) = a b Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . b Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ a c ( a + b + c ) = a c Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ b c ( a + b + c ) = b c Γ ( a + b + c ) Γ ( a + b + c ) b Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c )
we obtain the following expression
2 l ( x , θ ) a 2 = ϕ a a ( a ) ϕ a a ( a + b + c ) 2 l ( x , θ ) b 2 = ϕ b b ( b ) ϕ b b ( a + b + c ) 2 l ( x , θ ) c 2 = ϕ c c ( a ) ϕ c c ( a + b + c ) 2 l ( x , θ ) a b = ϕ a b ( a + b + c ) 2 l ( x , θ ) a c = ϕ a c ( a + b + c ) 2 l ( x , θ ) b c = ϕ b c ( a + b + c ) .
Using (2), we have
g a a ( θ ) = ϕ a a ( a ) + ϕ a a ( a + b + c ) g b b ( θ ) = ϕ b b ( b ) + ϕ b b ( a + b + c ) g c c ( θ ) = ϕ c c ( c ) + ϕ c c ( a + b + c ) g a b ( θ ) = ϕ a b ( a + b + c ) g a c ( θ ) = ϕ a c ( a + b + c ) g b c ( θ ) = ϕ b c ( a + b + c ) .
Since our coordinate system θ = ( a , b , c ) admits a dual pair η = ( η 1 , η 2 , η 3 ) such that
η 1 = ϕ a ( a ) ϕ a ( a + b + c ) η 2 = ϕ b ( b ) ϕ b ( a + b + c ) η 3 = ϕ c ( c ) ϕ c ( a + b + c )
According to Amari [7] there exists a dual potential function Ψ which verifies the Legendre equation. We have
Ψ ( η ) = a ϕ a ( a ) a ϕ a ( a + b + c ) + b ϕ a ( a ) b ϕ b ( a + b + c ) + c ϕ c ( c ) c ϕ c ( a + b + c ) log Γ ( a ) log Γ ( b ) log Γ ( c ) + log Γ ( a + b + c )
Theorem 1.
Let
S = p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1 , θ = ( a , b , c ) R + * × R + * × R + * x = ( x 1 , x 2 ) R + * × R + * x 1 + x 2 < 1 B ( a , b , c ) = Γ ( a ) . Γ ( b ) . Γ ( c ) Γ ( a + b + c )
be the statistical manifold, where p θ ( x ) is the density function of the Bivariate Beta family of the first kind with three parameters family. The gradient system defined on S is given by
a ˙ = ζ 1 ( a + b + c ) ϕ a ( a ) ϕ a ( a + b + c ) ζ 4 ( a + b + c ) ϕ b ( b ) ϕ b ( a + b + c ) ζ 5 ( a + b + c ) ϕ c ( c ) + ϕ c ( a + b + c ) b ˙ = ζ 4 ( a + b + c ) ϕ a ( a ) ϕ a ( a + b + c ) ζ 2 ( a + b + c ) ϕ b ( b ) ϕ b ( a + b + c ) ζ 6 ( a + b + c ) ϕ c ( c ) + ϕ c ( a + b + c ) c ˙ = ζ 5 ( a + b + c ) ϕ a ( a ) ϕ a ( a + b + c ) ζ 6 ( a + b + c ) ϕ b ( b ) ϕ b ( a + b + c ) ζ 3 ( a + b + c ) ϕ c ( c ) + ϕ c ( a + b + c )
where
ζ 1 ( a + b + c ) = ϕ b b ( b ) ϕ c c ( c ) ϕ c c ( c ) ϕ c c ( a + b + c ) ϕ c c ( c ) ϕ b b ( a + b + c ) m ( a , b , c ) + ϕ b b ( a + b + c ) ϕ c c ( a + b + c ) ϕ b c 2 ( a + b + c ) m ( a , b , c ) ζ 2 ( a + b + c ) = ϕ a a ( a ) ϕ c c ( c ) ϕ a a ( a ) ϕ c c ( a + b + c ) ϕ c c ( c ) ϕ a a ( a + b + c ) m ( a , b , c ) + ϕ a a ( a + b + c ) ϕ c c ( a + b + c ) ϕ a c 2 ( a + b + c ) m ( a , b , c ) ζ 3 ( a + b + c ) = ϕ a a ( a ) ϕ b b ( b ) ϕ a a ( a ) ϕ b b ( a + b + c ) ϕ b b ( b ) ϕ a a ( a + b + c ) m ( a , b , c ) + ϕ a a ( a + b + c ) ϕ b b ( a + b + c ) ϕ a b 2 ( a + b + c ) m ( a , b , c ) ζ 4 ( a + b + c ) = ϕ b c ( a + b + c ) ϕ a c ( a + b + c ) + ϕ a b ( a + b + c ) ϕ c c ( c ) m ( a , b , c ) ϕ a b ( a + b + c ) ϕ c c ( a + b + c ) m ( a , b , c ) ζ 5 ( a + b + c ) = ϕ a b ( a + b + c ) ϕ b c ( a + b + c ) + ϕ a c ( a + b + c ) ϕ b b ( b ) m ( a , b , c ) ϕ a c ( a + b + c ) ϕ b b ( a + b + c ) m ( a , b , c ) ζ 6 ( a + b + c ) = ϕ b c ( a + b + c ) ϕ a a ( a ) ϕ b c ( a + b + c ) ϕ a a ( a + b + c ) m ( a , b , c ) + ϕ a b ( a + b + c ) ϕ a c ( a + b + c ) m ( a , b , c )
and
ϕ a a ( a ) = ϕ a 2 ( a ) + ϕ a 2 ( a + b + c ) ϕ a a ( a + b + c ) = 2 Γ ( a ) a 2 Γ ( a ) 2 Γ ( a + b + c ) a 2 Γ ( a + b + c ) ϕ b b ( b ) = ϕ b 2 ( b ) + ϕ b 2 ( a + b + c ) ϕ b b ( a + b + c ) = 2 Γ ( b ) b 2 Γ ( b ) 2 Γ ( a + b + c ) b 2 Γ ( a + b + c ) ϕ c c ( a ) = ϕ c 2 ( c ) + ϕ c 2 ( a + b + c ) ϕ c c ( a + b + c ) = 2 Γ ( c ) c 2 Γ ( c ) 2 Γ ( a + b + c ) c 2 Γ ( a + b + c ) ϕ a b ( a + b + c ) = a b Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . b Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ a c ( a + b + c ) = a c Γ ( a + b + c ) Γ ( a + b + c ) a Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c ) ϕ b c ( a + b + c ) = b c Γ ( a + b + c ) Γ ( a + b + c ) b Γ ( a + b + c ) . c Γ ( a + b + c ) Γ 2 ( a + b + c )
where
m ( a , b , c ) = ϕ a a ( a ) ϕ b b ( b ) ϕ c c ( c ) + ϕ a a ( a ) ϕ b b ( b ) ϕ c c ( a + b + c ) ϕ a a ( a ) ϕ b b ( a + b + c ) ϕ c c ( a + b + c ) ϕ a a ( a ) ϕ b c 2 ( a + b + c ) + ϕ a a ( a + b + c ) ϕ b b ( b ) ϕ c c ( c ) ϕ a a ( a + b + c ) ϕ b b ( b ) ϕ c c ( a + b + c ) ϕ a a ( a + b + c ) ϕ b b ( a + b + c ) ϕ c c ( a + b + c ) ϕ a a ( a + b + c ) ϕ b c 2 ( a + b + c ) + 2 ϕ a b ( a + b + c ) ϕ b c ( a + b + c ) ϕ a c ( a + b + c ) ϕ a b 2 ( a + b + c ) ϕ c c ( c ) ϕ a b 2 ( a + b + c ) ϕ c c ( a + b + c ) + ϕ a c 2 ( a + b + c ) ϕ b b ( b ) ϕ a c 2 ( a + b + c ) ϕ b b ( a + b + c )
is the determinant of the matrix G.
Proof. 
Using the lemma 1 we have
m ( a , b , c ) = d e t G = ϕ a a ( a ) ϕ b b ( b ) ϕ c c ( c ) + ϕ a a ( a ) ϕ b b ( b ) ϕ c c ( a + b + c ) ϕ a a ( a ) ϕ b b ( a + b + c ) ϕ c c ( a + b + c ) ϕ a a ( a ) ϕ b c 2 ( a + b + c ) + ϕ a a ( a + b + c ) ϕ b b ( b ) ϕ c c ( c ) ϕ a a ( a + b + c ) ϕ b b ( b ) ϕ c c ( a + b + c ) ϕ a a ( a + b + c ) ϕ b b ( a + b + c ) ϕ c c ( a + b + c ) ϕ a a ( a + b + c ) ϕ b c 2 ( a + b + c ) + 2 ϕ a b ( a + b + c ) ϕ b c ( a + b + c ) ϕ a c ( a + b + c ) ϕ a b 2 ( a + b + c ) ϕ c c ( c ) ϕ a b 2 ( a + b + c ) ϕ c c ( a + b + c ) + ϕ a c 2 ( a + b + c ) ϕ b b ( b ) ϕ a c 2 ( a + b + c ) ϕ b b ( a + b + c )
we obtain:
G 1 = ζ 1 ( a + b + c ) ζ 4 ( a + b + c ) ζ 5 ( a + b + c ) ζ 4 ( a + b + c ) ζ 2 ( a + b + c ) ζ 6 ( a + b + c ) ζ 5 ( a + b + c ) ζ 6 ( a + b + c ) ζ 3 ( a + b + c )
Using the relation (6) and (10) in (3) we have the result. □

3. Linearization and integrability of Gradient Systems.

Thereafter we show that this equation can be reduced to the following linear system
d η d t = η .
Indeed, since
η ˙ = G θ ˙
so, using () and (9) in (12) we obtain
η ˙ 1 η ˙ 2 η ˙ 3 = ϕ a ( a ) + ϕ a ( a + b + c ) ϕ b ( b ) + ϕ b ( a + b + c ) ϕ c ( c ) + ϕ c ( a + b + c )
which clearly shows that system (18) is linearized. We have the following lemma.
Lemma 2.
Let
S = p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1 , θ = ( a , b , c ) R + * × R + * × R + * x = ( x 1 , x 2 ) R + * × R + * x 1 + x 2 < 1 B ( a , b , c ) = Γ ( a ) . Γ ( b ) . Γ ( c ) Γ ( a + b + c )
be the statistical manifold, where p θ is the density function of the Bivariate Beta family of the first kind with three parameters family. The Hamiltonian of the gradient system (9) on S is given by H = Q 1 P 1 + Q 1 P 1 such that:
H ( a , b , c ) = ϕ b ( b ) ϕ b ( a + b + c ) ϕ a ( a ) ϕ a ( a + b + c ) + ϕ c ( c ) ϕ c ( a + b + c ) ϕ b ( b ) ϕ b ( a + b + c )
Proof. 
Using the main Theorem in [11], and using (8), by setting
P 1 = 1 ϕ a ( a ) ϕ a ( a + b + c ) , Q 1 = ϕ b ( b ) ϕ b ( a + b + c ) ,
P 1 = 1 ϕ b ( b ) ϕ b ( a + b + c ) , Q 1 = ϕ c ( c ) ϕ c ( a + b + c ) .
We have
H ( a , b , c ) = ϕ b ( b ) ϕ b ( a + b + c ) ϕ a ( a ) ϕ a ( a + b + c ) + ϕ c ( c ) ϕ c ( a + b + c ) ϕ b ( b ) ϕ b ( a + b + c ) .
We have the following theorem
Theorem 2.
Let
S = p θ ( x ) = 1 B ( a , b , c ) x 1 a 1 x 2 b 1 ( 1 x 1 x 2 ) c 1 , θ = ( a , b , c ) R + * × R + * × R + * x = ( x 1 , x 2 ) R + * × R + * x 1 + x 2 < 1 B ( a , b , c ) = Γ ( a ) . Γ ( b ) . Γ ( c ) Γ ( a + b + c )
the statistical manifold. The gradient system obtained (9) is a sub-dynamical system of 4-dimensional system and is a completely integrable Hamiltonian system with the Hamiltonian H , such that:
P ˙ 1 Q ˙ 1 P ˙ 1 Q ˙ 1 = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 H P 1 H Q 1 H P 1 H Q 1
where = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 is a Poisson tensor.
Proof. 
Using the main Theorem in [11], and using (8), by setting
P 1 = 1 ϕ a ( a ) ϕ a ( a + b + c ) , Q 1 = ϕ b ( b ) ϕ b ( a + b + c ) ,
P 1 = 1 ϕ b ( b ) ϕ b ( a + b + c ) , Q 1 = ϕ c ( c ) ϕ c ( a + b + c ) .
We have
P ˙ 1 = P 1 , Q ˙ 1 = Q 1 , P ˙ 1 = P 1 , Q ˙ 1 = Q 1 .
Using the Lemma 1 we have
H Q 1 = P 1 , H P 1 = Q 1 , H Q 2 = P 2 , H P 1 = Q 1 .
We have the following system
P ˙ 1 = H Q 1 Q ˙ 1 = H P 1 P ˙ 1 = H Q 1 Q ˙ 1 = H P 1 .
the system (15) take the form:
P ˙ 1 Q ˙ 1 P ˙ 1 Q ˙ 1 = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 H P 1 H Q 1 H P 1 H Q 2 .
We see that (9) is Hamiltonian system. Since the system (9) is completely integrable on S. □

4. Riemannian structure related to Stirling’s formula.

In this part, we study the geometric structure on the first species beta manifold using the approximation related to the Stirling’s formula [4].

4.1. Associated information metric and gradient system.

Using James Stirling’s formula which was recalled by Mortici, Cristinel [4] we have the following lemma:
Lemma 3.
Let ( a , b , c ) ] 1 ; + [ × ] 1 ; + [ × ] 1 ; + [ . The potential function Φ is defined on the space of three dimensional deprived of the cube of edges 1 c m and of which one of the vertices are the origin of the frame and the three positive axes define the supports of these edges, its expression is given by
Φ ( θ ) = ( a + b + c 1 2 ) log ( a + b + c 1 ) + ( 1 2 a ) log ( a 1 ) + ( 1 2 b ) log ( b 1 ) + ( 1 2 c ) log ( c 1 ) log ( 2 π ) 2 .
Proof. 
Using (5) and Stirling [4] we have
Φ ( θ ) = ( a + b + c 1 2 ) log ( a + b + c 1 ) + ( 1 2 a ) log ( a 1 ) + ( 1 2 b ) log ( b 1 ) + ( 1 2 c ) log ( c 1 ) log ( 2 π ) 2 .
Relation (16) is defined only for the values of a,b, and c such that:
( a , b , c ) ] 1 ; + [ × ] 1 ; + [ × ] 1 ; + [ .
By setting
Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 .
Υ defines the cube of edges 1 c m . Then ( a , b , c ) R 3 { Υ } . □
So, we have the following Lemma
Lemma 4.
Let Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 the cube of edges 1 c m .The information metric defined for all ( a , b , c ) R 3 { Υ } is given by
G = 1 a + b + c 1 a 3 2 ( a 1 ) 2 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 b 3 2 ( b 1 ) 2 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 c 3 2 ( c 1 ) 2
Proof. 
Using the relation (1), and the potential function (16) we obtain the following coefficients,
g 11 ( θ ) = 1 a + b + c 1 a 3 2 ( a 1 ) 2 . g 22 ( θ ) = 1 a + b + c 1 b 3 2 ( b 1 ) 2 . g 12 ( θ ) = 1 a + b + c 1 . g 21 ( θ ) = 1 a + b + c 1 g 31 ( θ ) = 1 a + b + c 1 . g 32 ( θ ) = 1 a + b + c 1 . g 13 ( θ ) = 1 a + b + c 1 . g 23 ( θ ) = 1 a + b + c 1 . g 33 ( θ ) = 1 a + b + c 1 c 3 2 ( c 1 ) 2 .
For all ( a , b , c ) R 3 { Υ }
with Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 .
We have a dual coordinate η i = i Φ ( θ ) . So,
η 1 = log ( a + b + c 1 ) log ( a 1 ) + 1 2 a 1 η 2 = log ( a + b + c 1 ) log ( b 1 ) + 1 2 b 1 η 3 = log ( a + b + c 1 ) log ( c 1 ) + 1 2 c 1
we have the following system
a φ ( θ ) a = 1 a + b + c 1 a 3 2 ( a 1 ) 2 a φ ( θ ) b = 1 a + b + c 1 a φ ( θ ) c = 1 a + b + c 1 b φ ( θ ) b = 1 a + b + c 1 b 3 2 ( b 1 ) 2 b φ ( θ ) c = 1 a + b + c 1 c φ ( θ ) c = 1 a + b + c 1 c 3 2 ( c 1 ) 2 .
we have
Φ ( θ ) = ( a + b + c 1 2 ) log ( a + b + c 1 ) + ( 1 2 a ) log ( a 1 ) + ( 1 2 b ) log ( b 1 ) + ( 1 2 c ) log ( c 1 ) + k . k R
We have
Ψ ( η ) = a η 1 + b η 2 + c η 3 Φ ( θ )
so, we have the following Lemma
Proposition 2.
The dual potential function associated with the first species beta variety with three parameters is defined for all ( a , b , c ) R 3 { Υ } is given by
Ψ ( η ) = a 2 ( a 1 ) b 2 ( b 1 ) c 2 ( c 1 ) + 1 2 log ( a + b + c 1 ) 1 2 log ( a 1 ) 1 2 log ( b 1 ) 1 2 log ( c 1 ) k
Proof. 
By applying (19) we have the result. □
We start by computing the determinant, and we have:
d e t ( G ) = 1 8 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ( a 1 ) 2 ( b 1 ) 2 ( c 1 ) 2 ( a + b + c 1 )
So, we have the following theorem:
Theorem 3.
Let Υ the cube such that Υ = ( a , b , c ) R 3 0 a 1 , 0 b 1 , 0 c 1 ,let ( a , b , c ) R 3 { Υ } , let D = < A ( 0 , 3 2 , 3 2 ) ; e 1 0 0 > the vector line,let V = < 8 b c 15 b 15 c + 27 4 c b 8 b 8 c + 15 , b , c >
  • If ( a , b , c ) V { D } , then S then is an algebraic manifold.
  • If ( a , b , c ) R 3 { Υ ; V { D } } then G is a pseudo riemannian metric.
Proof. 
For all ( a , b , c ) R 3 { Υ }
  • we solve d e t ( G ) = 0 and we have a = 27 15 b 15 c + 8 c b 4 c b 8 b 8 c + 15 , b = b , c = c where a = a , b = 3 2 , c = 3 2 . Or a = a , b = 3 2 , c = 3 2 define the vector line D and 27 15 b 15 c + 8 c b 4 c b 8 b 8 c + 15 , b = b , c = c define V . So if ( a , b , c ) V { D } , then S then is algebraic manifold.
  • If ( a , b , c ) R 3 { Υ ; V { D } } then d e t ( G ) 0 and G is a symmetric matrix then G is a pseudo riemannian metric.
Theorem 4.
Let G is a Pseudo-Riemannian matrix. Let S be the statistical manifold, where p θ is the density function of the Bivariate Beta family of the first kind with three parameters family. The gradient system on S is given by
a ˙ = 2 ( a 1 ) 2 ( 6 b a 6 c a + 9 a + 4 c a b c b + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 b ˙ = 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 2 ( b 1 ) 2 ( 6 b a a + 4 c a b + 9 b c 6 b c + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 c ˙ = 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 2 ( c 1 ) 2 ( 6 c a a + 4 c a b + 9 c + 3 b 6 b c ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 .
Proof. 
In the case, G is a Pseudo-Riemannian matrix, using Lemma 4 we have the inverse of the matrix will be given by
G 1 = a 1 a 2 a 3 b 1 b 2 b 3 c 1 c 2 c 3
with a 1 = 2 ( a 1 ) 2 ( 6 b a 6 c a + 9 a + 4 c a b c b + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; a 2 = 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; a 3 = 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; b 1 = 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; b 2 = 2 ( b 1 ) 2 ( 6 b a a + 4 c a b + 9 b c 6 b c + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; b 3 = 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; c 1 = 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; c 2 = 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b ; c 3 = 2 ( c 1 ) 2 ( 6 c a a + 4 c a b + 9 c + 3 b 6 b c ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b .
So, we have
θ Φ ( θ ) = log ( a + b + c 1 ) log ( a 1 ) + 1 2 a 1 log ( a + b + c 1 ) log ( b 1 ) + 1 2 b 1 log ( a + b + c 1 ) log ( c 1 ) + 1 2 c 1 .
The gradient system will therefore be written as follows
a ˙ = 2 ( a 1 ) 2 ( 6 b a 6 c a + 9 a + 4 c a b c b + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 b ˙ = 4 ( 2 c 3 ) ( b 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 2 ( b 1 ) 2 ( 6 b a a + 4 c a b + 9 b c 6 b c + 3 ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 c ˙ = 4 ( 2 b 3 ) ( c 1 ) 2 ( a 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + 4 ( 2 a 3 ) ( b 1 ) 2 ( c 1 ) 2 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 + 2 ( c 1 ) 2 ( 6 c a a + 4 c a b + 9 c + 3 b 6 b c ) 4 c a b 8 c a + 15 a 8 b a + 15 c 8 b c 27 + 15 b log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 .

4.2. Linearization and Hamiltonian function.

Let’s calculate now
η ˙ = G θ ˙
so, we have
η ˙ 1 η ˙ 2 η ˙ 3 = 1 a + b + c 1 a 3 2 ( a 1 ) 2 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 b 3 2 ( b 1 ) 2 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 1 a + b + c 1 c 3 2 ( c 1 ) 2 a ˙ b ˙ c ˙
we have
η ˙ 1 η ˙ 2 η ˙ 3 = log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1
which clearly shows that system (20) is linearized in the form
d η d t = η
we have the following Lemma.
Proposition 3.
Let S be the statistical manifold. The Hamiltonian of the gradient system (20) is given on the beta family of the first species manifold is given by
H ( a , b , c ) = log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 + log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1
Proof. 
We obtain these values in the appendix. So, we have { H , H } = 0 . H is involution.
We have: d H d t = H a d a d t + H b d b d t + H c d c d t we have d H d t = 0 . □ □

5. Integrability of Gradient Systems.

After calculation we have P ˙ 1 = P 1 , Q ˙ 1 = Q 1 , P ˙ 1 = P 1 , Q ˙ 1 = Q 1
So, given that H Q 1 = P 1 , H P 1 = Q 1 , H Q 2 = P 2 , H P 1 = Q 1
We have the following system:
H Q 1 = P ˙ 1 H P 1 = Q ˙ 1 H Q 1 = P ˙ 1 H P 1 = Q ˙ 1
the system (25) takes the form
P ˙ 1 Q ˙ 1 P ˙ 1 Q ˙ 1 = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 H P 1 H Q 1 H P 1 H Q 2
we obtain the following Theorem:
Theorem 5.
On a statistical manifold S of dimension 3 defined by the Bivariate Beta family of the first kind with three parameters, the gradient system obtained is a sub-dynamical system of 4-dimensional system and is a completely integrable Hamiltonian system, such that
P ˙ 1 Q ˙ 1 P ˙ 1 Q ˙ 1 = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 H P 1 H Q 1 H P 1 H Q 1
where = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 is a Poisson tensor.
Proof. 
We show that (26) is equivalent to the Hamiltonian system
H Q 1 = P ˙ 1 H P 1 = Q ˙ 1 H Q 1 = P ˙ 1 H P 1 = Q ˙ 1
on S. Thus ( Q 1 , P 1 , Q 1 , P 1 ) is a set of canonical variables. Since H C 1 ( S ) does not depend on t explicitly. According to Liouville-Arnol’d [8] system (20) the complete integrability is proven. □

6. Lax pair representation.

In [5], it is given the definition of the Lax-pair. In this section, we will construct the pair of lax associated with the gradient system. We recall that the pair of Lax must respect two important conditions: t r L = H and d t r L d t = 0 . With d t r L d t = t r L , N .
So, we have the Theorem
Theorem 6.
The gradient system on the manifold S of Beta family of the first kind Distribution is represented by the following Lax pair:
L ˙ = L , N
L = log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 0 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1
and
N = 0 0 0 0 0 0 0
with, R .
Proof. 
we are given a symmetric matrix L such that its trace is equal to the Hamiltonian and whose unknowns are on the second diagonal as a sequence.
L = log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 m 1 0 0 0 m 1 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1
The matrix (29) is a symmetric matrix and real-valued, so it is diagonalizable. And according to Zakharov shabat the determinant of this matrix is a prime integral therefore its eigenvalues are prime integrals. Thus to determine the values of m, we pose the condition that these values are prime integrals. We have the matrix () becomes
L = log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 0 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( a 1 ) 1 2 a 1 0 log ( a + b + c 1 ) log ( c 1 ) 1 2 c 1 log ( a + b + c 1 ) log ( b 1 ) 1 2 b 1
The matrix that allows us to have d t r L d t = 0 is given by
N = 1 0 0 0 0 0 0 0 2
To determine the values of 1 and 2 , we solve the equation: L ˙ = L , N . So we obtain
N = 0 0 0 0 0 0 0
for all R . So, we have
d L d t = 0 0 0 0 0 0 0 0 0
and we have
L , N = 0 0 0 0 0 0 0 0 0

7. Discussion

Authors should discuss the results and how they can be interpreted from the perspective of previous studies and of the working hypotheses. The findings and their implications should be discussed in the broadest context possible. Future research directions may also be highlighted.

8. Conclusions

The gradient system defined by the Bivariate Beta family of the first kind with three parameters odd-dimensional manifold is a completely integrable Hamiltonian system.

Author Contributions

Conceptualization, Mama Assandje Prosper Rosaire.,Dongho Joseph and Bouetou Bouetou Thomas.; methodology, Mama Assandje Prosper Rosaire.,Dongho Joseph and Bouetou Bouetou Thomas.;software, Mama Assandje Prosper Rosaire.; validation, Mama Assandje Prosper Rosaire.,Dongho Joseph and Bouetou Bouetou Thomas.; formal analysis, Mama Assandje Prosper Rosaire.; investigation, Mama Assandje Prosper Rosaire.; resources, Mama Assandje Prosper Rosaire.; data curation, Mama Assandje Prosper Rosaire.; writing—original draft preparation, Mama Assandje Prosper Rosaire.; writing—review and editing, Mama Assandje Prosper Rosaire.,Dongho Joseph and Bouetou Bouetou Thomas.; visualization, Mama Assandje Prosper Rosaire.; supervision, Dongho Joseph and Bouetou Bouetou Thomas.; project administration, Mama Assandje Prosper Rosaire.; funding acquisition, No. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

The study was conducted in accordance with the Declaration of Helsinki, and approved by the Institutional Review Board (or Ethics Committee) of University of Maroua.

Acknowledgments

We would like to thank all the active members of the algebra and geometry research group at the University of Maroua in Cameroon. We would also like to thank the laboratory of the Higher National School of Polytechnic of Yaounde I in Cameroon.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Stanisław,P and Kasperczuk. Quantum deformations of algebras associated with integrable hamiltonian systems. Japan journal of industrial and applied mathematics,transformation, Quantum deformations of algebras associated with integrable hamiltonian systems 2009, 100:4.
  2. A. NW Hone. Painlevé tests, singularity structure and Integrability. Japan journal of industrial and applied mathematics, Painlevé tests, singularity structure and Integrability 2009, 10(2), 245–277. [CrossRef]
  3. Nakamura,Y. Completely integrable systems on the manifolds of gaussian and multinomial distribution. Japan journal of industrial and applied mathematics, Completely integrable systems on the manifolds of gaussian and multinomial distribution 1993, 10(2), 179–189. [CrossRef]
  4. Mortici, C. Ramanujan formula for the generalized Stirling approximation. Applied mathematics and computation.Elsevier, Ramanujan formula for the generalized Stirling approximation 2010, 257, 2579–2585. [CrossRef]
  5. Mama Assandje,P.R; Dongho,J and Bouetou Bouetou,T. On the complete integrability of gradient systems on manifold of the lognormal family. Elsevier, Chaos, Solitons and Fractals. On the complete integrability of gradient systems on manifold of the lognormal family 2023, 173, 1–6. [CrossRef]
  6. Akio, F. Dynamical systems on statistical models (state of art and perspectives of studies on nonliear integrable systems). RIMS Kkyuroku. Dyn. Syst. Stat. 1993, 822, 32–42. [Google Scholar]
  7. Amari, S and Nagaoka,H. Methods of information geometry. In Methods of information geometry; Springer-Verlag, Shoshichi,K and Masamichi, T.; American Mathematic Society,: Oxford, volume 191; United States of America, 2000; pp. 1–216. [CrossRef]
  8. Arnol’d,V.I; Givental,A. B and Novikov, S.P. Symplectic geometry. Dynamical systems IV, Gamkrelidze.R.V.; Publisher: Springer-Verlag, Berlin Heidelberg New York London Paris Tokyo Hong Kong, volume 191, 2001; pp. 1–138. [CrossRef]
  9. Ovidiu, C and Udriste,C.Geometric modeling in probability and statistic, Gamkrelidze.R.V.; Publisher: Springer, Springer Cham Heidelberg New York Dordrecht London, volume 121, 2014; pp. 1–389. [CrossRef]
  10. Hirsch, Morris W and Smale, Stephen and Devaney, Robert L.Differential equations, dynamical systems, and an introduction to chaos, The United States Of America.; Publisher: Springer, Elsevier Academic Press, 2004.
  11. Mama Assandje,P.R, Dongho,J. and Bouetou Bouetou,T. Complete Integrability of Gradient Systems on a Manifold Admitting a Potential in Odd Dimension. International Conference on Geometric Science of Information, Springer, France, du 30/08/2023 au 01/09/2023; Abstract Number (optional), pp. 423-432, 2023. [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Alerts
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated