The aim of this paper is to develop, via the least squares variational method, the Lagrange-Hamilton geometry (in the sense of nonlinear connections, d-torsions and Lagrangian Yang-Mills electromagnetic-like energy) produced by a Lotka-Volterra dynamical system, a simple model of the population dynamics of species competing for some common resource. From a geometrical point of view, the Jacobi stability of this system is discussed.
๋
ผ๋ฌธ ID : 2510.09843์ ๋ชฉ : Lagrange-Hamilton geometry applied to a Lotka-Volterra dynamical system์ ์ : Ana-Maria Boldeanu, Mircea Neagu (Transilvania University of Braลov)๋ถ๋ฅ : math.DG (๋ฏธ๋ถ๊ธฐํํ)๋ฐํ ์๊ฐ : 2025๋
10์ 10์ผ (arXiv ์ฌ์ ์ธ์๋ณธ)๋
ผ๋ฌธ ๋งํฌ : https://arxiv.org/abs/2510.09843 ๋ณธ ๋
ผ๋ฌธ์ ์ต์์ ๊ณฑ ๋ณ๋ถ๋ฒ์ ํตํด Lotka-Volterra ๋์ญํ๊ณ๋ก๋ถํฐ ์์ฑ๋๋ Lagrange-Hamilton ๊ธฐํํ(๋น์ ํ ์ฐ๊ฒฐ, d-๋นํ๋ฆผ ๋ฐ Lagrangian Yang-Mills ์ ์๊ธฐ ์ ํ ์๋์ง์ ์๋ฏธ์์)์ ๋ฐ์ ์ํค๋ ๊ฒ์ ๋ชฉํ๋ก ํ๋ค. ์ด ๊ณ๋ ๋์ผํ ์์์ ๋๊ณ ๊ฒฝ์ํ๋ ์ข
๊ฐ์ฒด๊ตฐ ๋์ญํ์ ๋จ์ ๋ชจ๋ธ์ด๋ค. ๊ธฐํํ์ ๊ด์ ์์ ์ด ๊ณ์ Jacobi ์์ ์ฑ์ ๋
ผ์ํ๋ค.
์๋ฌผ์ํ ๋ชจ๋ธ์ ๊ธฐํํํ : Lotka-Volterra ๊ณ๋ ๊ฒฝ์ ์ข
๊ฐ์ฒด๊ตฐ ๋์ญํ์ ์ค๋ช
ํ๋ ๊ณ ์ ์ ์ํ ๋ชจ๋ธ๋ก, ์๋ Lotka (1925)์ Volterra (1931, 1937)์ ์ํด ๋์
๋จ๊ธฐํํ์ ๋์ญํ์ ๋ฐ์ : ํ๋ ๋ฏธ๋ถ๊ธฐํํ์ ํนํ Lagrange ๋ฐ Hamilton ๊ธฐํํ์ ํ์ ํตํด ๋์ญํ๊ณ์ ๊น์ ๊ธฐํํ์ ํต์ฐฐ๋ ฅ์ ์ ๊ณตํจ์์ ์ฑ ๋ถ์์ ๊ธฐํํ์ ๋ฐฉ๋ฒ : ์ ํต์ ์์ ์ฑ ๋ถ์์ ์ฃผ๋ก ์ ํํ ๋ฐฉ๋ฒ์ ๊ธฐ๋ฐํ์ง๋ง, ๊ธฐํํ์ ๋ฐฉ๋ฒ์ ๋ ๊น์ ์ดํด๋ฅผ ์ ๊ณตํจํ์ ๊ฐ ์ตํฉ : ๋ฏธ๋ถ๊ธฐํํ์ ๊ณ ๊ธ ๋๊ตฌ๋ฅผ ์๋ฌผ์ํ ๋ชจ๋ธ์ ์ ์ฉ๊ธฐํํ์ ์์ ์ฑ ์ด๋ก : Jacobi ์์ ์ฑ ๋ถ์์ ํตํด ์ ํต์ ๋ฐฉ๋ฒ๋ณด๋ค ๋ ํ๋ถํ ์์ ์ฑ ์ ๋ณด ์ ๊ณต๋ฌผ๋ฆฌ ๊ธฐํํ์ ํด์ : ์๋ฌผ ๊ฒฝ์ ๊ณ์ ์ ์๊ธฐ์ฅ ์ ์ฌ ๊ธฐํํ์ ๋ฌผ๋ฆฌ ํด์ ์ ๊ณต์ต์์ ๊ณฑ Lagrangian ๊ตฌ์ฑ : 3์ฐจ์ ๊ฒฝ์ Lotka-Volterra ๊ณ๋ฅผ ๋ณ๋ถ ๋ฌธ์ ๋ก ๋ณํ์์ ํ Lagrange ๊ธฐํํ ๊ตฌ์กฐ ๋ฐ์ : ๋น์ ํ ์ฐ๊ฒฐ, d-๋นํ๋ฆผ ๋ฐ Yang-Mills ์ ์๊ธฐ ์ ํ ์๋์ง ํฌํจ๋์ฐ Hamilton ๊ธฐํํ ํ๋ฆฝ : ์ฌ์ ๋ค๋ฐ ์์ ํด๋นํ๋ Hamilton ๊ธฐํํ ๋์ ๊ตฌ์ฑJacobi ์์ ์ฑ ๋ถ์ ํ ์ ๊ณต : KCC (Kosambi-Cartan-Chern) ์ด๋ก ์ ํตํ ๊ณ์ ๊ธฐํํ์ ์์ ์ฑ ๋ถ์๊ธฐํํ์ ๋ฌผ๋ฆฌ ํด์ ์ ์ : ์๋ฌผ ๊ฒฝ์ ํ์์ ๋ํ ์ ์๊ธฐ ์ ํ ์๋์ง์ ๊ธฐํํ์ ํด์ ์ ๊ณต3์ฐจ์ ๊ฒฝ์ Lotka-Volterra ๋์ญํ๊ณ:
แบโ = xโ(bโ - aโโxโ - aโโxโ - aโโxโ)
แบโ = xโ(bโ - aโโxโ - aโโxโ - aโโxโ)
แบโ = xโ(bโ - aโโxโ - aโโxโ - aโโxโ)
๋ฅผ ๊ธฐํํ์ ๋ณ๋ถ ๋ฌธ์ ๋ก ๋ณํํ๊ณ ํด๋นํ๋ Lagrange-Hamilton ๊ธฐํํ ๊ตฌ์กฐ๋ฅผ ๊ตฌ์ฑํ๋ค.
์ ๋ค๋ฐ TM ์์์ ์ต์์ ๊ณฑ Lagrangian์ ์ ์:
L(x,y) = (yยน - Xยน(x))ยฒ + (yยฒ - Xยฒ(x))ยฒ + (yยณ - Xยณ(x))ยฒ
์ฌ๊ธฐ์ X^i(x)๋ ์๋ ๋์ญํ๊ณ์ ๋ฒกํฐ์ฅ ์ฑ๋ถ์ด๋ค.
๋ฐ๋ถ๋ฌด(Semispray) :
G^k = -1/2[(โX^k/โx^j - โX^j/โx^k)y^j + (โX^j/โx^k)X^j]
๋น์ ํ ์ฐ๊ฒฐ :
์ฌ๊ธฐ์ J๋ ๋ฒกํฐ์ฅ X์ Jacobian ํ๋ ฌ์ด๋ค.
d-๋นํ๋ฆผ :
์ฌ์ ๋ค๋ฐ T*M ์์์ ์ต์์ ๊ณฑ Hamiltonian์ ๊ตฌ์ฑ:
H(x,p) = 1/4(pโยฒ + pโยฒ + pโยฒ) + Xยน(x)pโ + Xยฒ(x)pโ + Xยณ(x)pโ
์ต์์ ๊ณฑ ๋ณ๋ถ๋ฒ : ๋์ญํ๊ณ๋ฅผ ๋ณ๋ถ ๋ฌธ์ ์ ์๊ณ์ ์ผ๋ก ์ฐฝ์์ ์ผ๋ก ํด์๊ธฐํํ์ ์ด์ค์ฑ : Lagrange ๋ฐ Hamilton ๋ ๊ฐ์ง ๊ธฐํํ ํ์ ๋์์ ๊ตฌ์ฑYang-Mills ์ ์ถ : ๋น์ ํ ์ฐ๊ฒฐ์ ์ ์๊ธฐ์ฅ ์ ์ถ๋ก ํด์Jacobi ์์ ์ฑ : ํธ์ฐจ ํ
์ ๋ถ์์ ํตํ ๊ถค๋์ ๊ธฐํํ์ ์์ ์ฑ๋ช
์ 2 (๋น์ ํ ์ฐ๊ฒฐ) :
N = ( 0 Nโยฒ Nโยณ )
(-Nโยฒ 0 Nโยณ )
(-Nโยณ -Nโยณ 0 )
์ฌ๊ธฐ์:
Nโยฒ = -1/2(aโโxโ - aโโxโ) Nโยณ = -1/2(aโโxโ - aโโxโ) Nโยณ = -1/2(aโโxโ - aโโxโ) ๋ช
์ 3 (d-๋นํ๋ฆผ ํ๋ ฌ) :
์ธ ๊ฐ์ ๋ฐ๋์นญ d-๋นํ๋ฆผ ํ๋ ฌ Rโ, Rโ, Rโ๋ฅผ ์ ์ํ๋ฉฐ, ๊ฐ๊ฐ์ ์๋ก ๋ค๋ฅธ ๋ฐฉํฅ์์ ๊ณ์ ๊ธฐํํ์ ์ ๋ณด๋ฅผ ์ธ์ฝ๋ฉํ๋ค.
๋ช
์ 4 (Yang-Mills ์๋์ง) :
E_YM(x) = 1/2 ยท Trace[F ยท F^t]
์ฌ๊ธฐ์ F = -N์ ์ ์๊ธฐ ์ ํ ์ฅ ํ๋ ฌ์ด๋ค.
๋ช
์ 6 : Hamilton ๋น์ ํ ์ฐ๊ฒฐ์ ๋ช
์์ ํํ์ ์ ์ํ๋ฉฐ, ํํ๋ N = J + J^t์ด๋ค.
๋ช
์ 7 : Hamilton d-๋นํ๋ฆผ๊ณผ Lagrange d-๋นํ๋ฆผ ์ฌ์ด์ ๊ด๊ณ: Rฬ_k = -2R_k.
ํธ์ฐจ ๊ณก๋ฅ ํ
์ P์ ๊ณ ์ ๊ฐ ๋ถ์์ ํตํ ๊ณ์ Jacobi ์์ ์ฑ:
P์ ๋ชจ๋ ๊ณ ์ ๊ฐ์ ์ค๋ถ๊ฐ ์๊ฒฉํ ์์์ด๋ฉด ๊ณ๋ Jacobi ์์ ๊ทธ๋ ์ง ์์ผ๋ฉด ๊ณ๋ Jacobi ๋ถ์์ ์์ ์๋์ง ๊ณก๋ฉด ๋ฐฉ์ ์:
(aโโxโ - aโโxโ)ยฒ + (aโโxโ - aโโxโ)ยฒ + (aโโxโ - aโโxโ)ยฒ = 4ฯ โฅ 0
์ด๋ ์ด์ฐจ ๊ณก๋ฉด์ ์ ์ํ๋ฉฐ, ์ข
๊ฒฝ์ ํ์์ ์ดํดํ๋ ๋ฐ ์ค์ํ ์๋ฏธ๋ฅผ ๊ฐ์ง ์ ์๋ค.
๋
ผ๋ฌธ์ ๋ค์์ ์ค์ํ ์ฐ๊ตฌ์ ๊ธฐ๋ฐํ๋ค:
Miron-Anastasiei (1994) : Lagrange ๊ณต๊ฐ ๊ธฐํํ์ ๊ธฐ์ด ์ด๋ก Bucฤtaru-Miron (2007) : Finsler-Lagrange ๊ธฐํํ ๋ฐ ๋์ญํ๊ณ์์ ์์ฉBรถhmer ๋ฑ (2012) : ๋์ญํ๊ณ์ Jacobi ์์ ์ฑ ๋ถ์Balan-Neagu (2011) : ์ ํธ Lagrange ๊ธฐํํ ๋ฐ ์์ฉLotka-Volterra ๊ณ์ ๊ธฐํํํ์ ์ฑ๊ณตํ์ฌ ์์ ํ Lagrange-Hamilton ๊ธฐํํ ๊ตฌ์กฐ ๊ตฌ์ฑ ์๋ก์ด ๊ธฐํํ์ ์์ ์ฑ ๋ถ์ ๋๊ตฌ ์ ๊ณต ์๋ฌผ ๊ฒฝ์ ๊ณ์ ์ ์๊ธฐ์ฅ ์ด๋ก ๊ฐ์ ์ ์ถ ํ๋ฆฝ ๋ฌผ๋ฆฌ ํด์์ ๋ถ์ฌ : ์ ์๋ค์ ๊ธฐํํ์ ๋์์ ์๋ฌผํ์ ๊ตฌ์ฒด์ ์๋ฏธ๋ฅผ ์์ ํ ์ดํดํ์ง ๋ชปํ์์ ์ธ์ ๊ณ์ฐ ๋ณต์ก์ฑ : ํธ์ฐจ ํ
์์ ๊ณ์ฐ์ ๋ณต์กํ ๋ฏธ๋ถ๊ธฐํํ ์ฐ์ฐ์ ํฌํจ์์ฉ ๊ฒ์ฆ ๋ถ์กฑ : ๊ตฌ์ฒด์ ์๋ฌผํ ์ฌ๋ก ๊ฒ์ฆ ๋ถ์ฌ๊ธฐํํ์ ๋์์ ์๋ฌผํ์ ํด์ : Yang-Mills ์๋์ง ๋ฑ ๊ธฐํํ์ ์์ ์๋ฌผํ์ ์๋ฏธ ํ์์์น ๊ณ์ฐ : ์ด์ฐจ ๊ณก๋ฉด์ ์ปดํจํฐ ๊ทธ๋ํฝ ๋ฐ ๋ฏธ๋ถ๊ธฐํํ ๋ถ์ ๊ฐ๋ฐ์ถ๊ฐ ์์ฉ : ๋ฐฉ๋ฒ์ ๋ ์ผ๋ฐ์ ์ธ ์๋ฌผ์ํ ๋ชจ๋ธ๋ก ํ๋์ด๋ก ์ ํ์ ์ฑ : ๊ณ ๊ธ ๋ฏธ๋ถ๊ธฐํํ ๋๊ตฌ๋ฅผ ์๋ฌผ์ํ์ ๋์
ํ์ฌ ๋งค์ฐ ๋์ ๋
์ฐฝ์ฑ ๋ณด์ ์ํ์ ์๋ฐ์ฑ : ๊ณ์ฐ์ด ์์ธํ๊ณ ์ ํํ๋ฉฐ ๊ธฐํํ์ ๊ตฌ์ฑ์ด ์์ ํจํ์ ๊ฐ ๊ฐ์น : ์๋ฌผ์ํ๊ณผ ๋ฏธ๋ถ๊ธฐํํ์ ๊ต์ฐจ ์ฐ๊ตฌ์ ์๋ก์ด ๋ฐฉํฅ ๊ฐ์ฒ๋ฐฉ๋ฒ๋ก ์ ์ฒด๊ณ์ฑ : Lagrange ๋ฐ Hamilton ๋ ๊ฐ์ง ๋์ฐ ๊ธฐํํ ํ์ ๋์์ ๊ตฌ์ฑ์๋ฌผํ์ ํด์ ๋ถ์กฑ : ๊ธฐํํ์ ๋์์ ์๋ฌผํ์ ์๋ฏธ๊ฐ ์์ง ๋ช
ํํ์ง ์์์ค์ ์์ฉ ๋ถ์ฌ : ๊ตฌ์ฒด์ ์์น ์คํ ๋๋ ์๋ฌผํ ์ฌ๋ก ์์์๊ฐํ ๋ถ์ ๊ฒฐ์ฌ : ์ด์ฐจ ๊ณก๋ฉด ๋ฑ ๊ธฐํํ์ ๋์์ ๋ํ ์ง๊ด์ ๊ทธ๋ํฝ ๋ถ์ ๋ถ์ฌ์์ ์ฑ ๋ถ์ ๋ฏธ์์ฑ : Jacobi ์์ ์ฑ์ ๊ตฌ์ฒด์ ๊ณ์ฐ ๋ฐ ๋ถ์ ์ฌํ ํ์ํ์ ์ ๊ฐ์น : ๋ฏธ๋ถ๊ธฐํํ์ ์๋ฌผ์ํ ์์ฉ์ ์ค์ํ ์ฌ๋ก ์ ๊ณต๋ฐฉ๋ฒ๋ก ์ ๊ธฐ์ฌ : ์ต์์ ๊ณฑ ๋ณ๋ถ๋ฒ์ ๊ธฐํํํ๋ ๋ณดํธ์ ์๋ฏธ ๋ณด์ ์ด๋ก ์ ์ง์ : Lagrange-Hamilton ๊ธฐํํ ์ด๋ก ์ ์์ฉ ๋ถ์ผ ํ๋์๋ฌผ์ํ ๋ชจ๋ธ๋ง : ๋ค๋ฅธ ์๋ฌผ ๋์ญํ๊ณ์ ๊ธฐํํ์ ๋ถ์์ ํ
ํ๋ฆฟ ์ ๊ณต์ด๋ก ๋ฌผ๋ฆฌํ : ๊ธฐํํ์ ๋ฐฉ๋ฒ์ด ๋ค๋ฅธ ๋ฌผ๋ฆฌ ๊ณ์์ ์์ฉ ๊ฐ๋ฅ์์น ๋ถ์ : ๋์ญํ๊ณ์ ๊ธฐํํ์ ์์น ๋ฐฉ๋ฒ์ ์ด๋ก ์ ๊ธฐ์ด ์ ๊ณต์ ์๋ค์ด ๋ช
์์ ์ผ๋ก ์ ์ํ ๋ฏธํด๊ฒฐ ๋ฌธ์ :
"What is the real meaning in the Lotka-Volterra competition between species for our Lagrange-Hamilton geometrical objects constructed in this paper?"
์ด ๋ฌธ์ ๋ ๋ณธ ์ฐ๊ตฌ์ ํต์ฌ ๊ณผ์ ๋ฅผ ์ง์ ํ๋ค: ์ถ์์ ๊ธฐํํ์ ๋์์ ๊ตฌ์ฒด์ ์๋ฌผํ์ ์๋ฏธ๋ฅผ ๋ถ์ฌํ๋ ๋ฐฉ๋ฒ.
๋
ผ๋ฌธ์ Lagrange ๊ธฐํํ, Hamilton ๊ธฐํํ, ๋์ญํ๊ณ ์ด๋ก ๋ฐ Lotka-Volterra ๋ชจ๋ธ์ ๊ณ ์ ๋ฐ ํ๋ ์ฐ๊ตฌ๋ฅผ ํฌ๊ดํ๋ 13ํธ์ ์ค์ ๋ฌธํ์ ์ธ์ฉํ์ฌ ๊ฒฌ๊ณ ํ ์ด๋ก ์ ๊ธฐ์ด๋ฅผ ์ ๊ณตํ๋ค.