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
, induces a symmetric and positive bilinear form
g called a Riemannian metric. In [7], a statistical manifold
, is a Riemannian manifold
with a dual connection pair
; where
g is a Riemannian manifold and
∇ is a affine connection on
S and verify
where
are the vector fields. In [
5], the Riemannian metric
g induces an isomorphism between the module of vector fields
and the modulus of linear forms
on
S, denoted
. Let
a coordinate system on
S. In [5] and [11], a gradient system on the Riemannian manifold is the negative flow of the gradient field
defined by
where
is the potential function associated with the gradient field
with respect to
g.
, such that
, with
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
where is the Bivariate Beta family of the first kind with three parameters, that is an exponential function. Therefore, according to Ovidiu [9], 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 It is proven that the associate gradient system is Hamiltonian with which is in involution and satisfying 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: and for all the cube of edges . We show that the dual potential function associated on S is defined for all is given by, So, we prove that for all the cube such that , let , let the vector line, let
If , then S then is algebraic manifold.
If 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
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:
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
be the set of probabilities
, parametrized by
, open a subset of
; on the sample space
. Let
be the space of real-valued smooth functions on
. According to Ovidiu [9], the log-likelihood function is a mapping defined by
Sometimes, for convenient reasons, this will be denoted by
.
In [3] and [7], the Fisher information defined by
Denote
the Fisher information matrix, the gradient system is given by
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
a statistical manifold.
Proposition 1.
The Bivariate Beta family of the first kind with three parameters distribution
is an exponential family for all .
Proof. We have,
Whose, we have
whose,
with:
More explicitly the potential function given by
and
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
with
and where
Proof. we have
using the expression (
7) we have the following relation;
So we obtain the following expression
by setting
we obtain the following expression
Using (
2), we have
□
Since our coordinate system
admits a dual pair
such that
According to Amari [7] there exists a dual potential function
which verifies the Legendre equation. We have
Theorem 1.
Let
be the statistical manifold, where 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
where
and
where
is the determinant of the matrix G.
Proof. Using the lemma 1 we have
we obtain:
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
Indeed, since
so, using () and (
9) in (
12) we obtain
which clearly shows that system (
18) is linearized. We have the following lemma.
Lemma 2.
Let
be the statistical manifold, where 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 such that:
Proof. Using the main Theorem in [11], and using (8), by setting
We have
□
We have the following theorem
Theorem 2.
Let
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 , such that:
where is a Poisson tensor.
Proof. Using the main Theorem in [11], and using (8), by setting
We have
Using the Lemma 1 we have
We have the following system
the system (
15) take the form:
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 . The potential function Φ is defined on the space of three dimensional deprived of the cube of edges 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
Proof. Using (
5) and Stirling [4] we have
Relation (
16) is defined only for the values of
a,
b, and
c such that:
By setting
defines the cube of edges
. Then
. □
So, we have the following Lemma
Lemma 4.
Let the cube of edges .The information metric defined for all is given by
Proof. Using the relation (
1), and the potential function (
16) we obtain the following coefficients,
□
For all
with .
We have a dual coordinate
. So,
we have the following system
we have
We have
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 is given by
Proof. By applying (
19) we have the result. □
We start by computing the determinant, and we have:
So, we have the following theorem:
Theorem 3.
Let Υ the cube such that ,let , let the vector line,let
If , then S then is an algebraic manifold.
If then G is a pseudo riemannian metric.
Proof. For all
we solve and we have where . Or define the vector line D and define . So if , then S then is algebraic manifold.
If then 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 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
Proof. In the case,
G is a Pseudo-Riemannian matrix, using Lemma 4 we have the inverse of the matrix will be given by
with
So, we have
The gradient system will therefore be written as follows
□
4.2. Linearization and Hamiltonian function.
Let’s calculate now
so, we have
we have
which clearly shows that system (
20) is linearized in the form
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
Proof. We obtain these values in the appendix. So, we have . is involution.
We have: we have □ □
5. Integrability of Gradient Systems.
After calculation we have
So, given that
We have the following system:
the system (
25) takes the form
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
where is a Poisson tensor.
Proof. We show that (
26) is equivalent to the Hamiltonian system
on
S. Thus
is a set of canonical variables. Since
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: and . With .
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:
and
with, .
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.
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
The matrix that allows us to have
is given by
To determine the values of
and
, we solve the equation:
. So we obtain
for all
. So, we have
and we have
□
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
- 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.
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.
- 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. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).