• 検索結果がありません。

COMPLETE INTEGRABILITY OF HAMILTONIAN SYSTEMS AND DIFFERENTIAL GALOIS GROUPS (Lie Groups, Geometric Structures and Differential Equations : One Hundred Years after Sophus Lie)

N/A
N/A
Protected

Academic year: 2021

シェア "COMPLETE INTEGRABILITY OF HAMILTONIAN SYSTEMS AND DIFFERENTIAL GALOIS GROUPS (Lie Groups, Geometric Structures and Differential Equations : One Hundred Years after Sophus Lie)"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

Kyoto Sophus Lie Conference SL 101 Lecture 12/1999

COMPLETE INTEGRABILITY OF HAMILTONIAN

SYSTEMS

AND DIFFERENTIAL GALOIS GROUPS

by J.P. Ramis

The subject of the lecture is

a recent new

approach of the old problem of

integrability

of systems of

classical

mechanics based upon

differential

Galois

theory and algebraic groups. (The lecture is mainly based upon ajoint work with Juan Morales from Barcelona.)

Roughly speaking

an

hamiltonian system with $n$ degrees of freedom is integrable if there exists sufficiently many first integrals (integrals ofmotion)

such that its integration

can

be reduced to quadratures. Here

we are

mainly interested in completely integrable systems in the classical Liouville

sense

(i.e. there must exists $n$ first integrals generically independent and in involution).

The investigation of such systems was a central subject during the last

cen-tury and stimulated the appearance of the theory of Lie

groups.

Single out integrable systems among all the Hamiltonian systems remain

a

big open question. H. Poincar\’e proved that the existence of global integrals of

mo-tion is exceptional,

a

fortiori completely integrable systems

are

even

more

exceptional and only

a

small number of such systems

are

known. Recently the situation

was

perfectly stated by Perelomov (1990): To

find

a

general crite$7\dot{v}on$

for

complete integrability

seems

at present a hopeless task. In this

lecture

we

will present such

a

criterion. It will sound quite abstract, but it is (surprisingly

even

for me...) easy to apply

to actual

problems: it gives

new

elegant

solutions of

some

classical

problems (as Lagrange top) and

allows

us

to solve very easily

a

lot of open problems.

1. Ordinary differential equations, first integrals, linearized (variational) equations.

2. Hamiltonian systems (the symplectic formulation). Completely inte-grable

systein

$s$

.

3.

A

first (weak) formulation of

our

theorem: if

an

hamiltonian system is completely integrable, then the Lie algebra of the Zariski closure in the complex linear symplectic

group

$Sp(2n;C)$ of the monodromy

group of a

variational

equation along

a

solution (in complexified time) is abelian. 4. Basics about

differential

Galois theory

5. Our main theorem: if an hamiltonian system is completely integrable,

数理解析研究所講究録

(2)

then the

Lie

algebra

of

the

differential Galois group

of the variational equa-tion along any solution is abelian.

6.

Applications.

Recipe for applications. Examples of solutions ofclassical open problems:

Collinear

three body problems with homogeneous potentials, Bianchi IX Cosmological model, spring pendulum... (by J.Morales and $J.P$. Ramis),

Collinear four bodies problems with potential $1/r^{2}$ (solution of the first open

problem after Jacobi and Moser-Calogero results, by Emmanuelle

Juillard-Tose11999), nonintegrability of the planar Newton three bodies problem

near

the equilateral Lagrange solution by Delphine Boucher and Alexei

Tsygvint-sev

1999), Henon-Heiles systems...

参照

関連したドキュメント

We list in Table 1 examples of elliptic curves with minimal discriminant achieving growth to each possible torsion group over Q

In this paper we are interested in the solvability of a mixed type Monge-Amp`ere equation, a homology equation appearing in a normal form theory of singular vector fields and the

Keywords and phrases: super-Brownian motion, interacting branching particle system, collision local time, competing species, measure-valued diffusion.. AMS Subject

In this context, the Fundamental Theorem of the Invariant Theory is proved, a notion of basis of the rings of invariants is introduced, and a generalization of Hilbert’s

Greenberg ([9, Theorem 4.1]) establishes a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of

In order to be able to apply the Cartan–K¨ ahler theorem to prove existence of solutions in the real-analytic category, one needs a stronger result than Proposition 2.3; one needs

As fun- damental groups of closed surfaces of genus greater than 1 are locally quasicon- vex, negatively curved and LERF, the following statement is a special case of Theorem

Motivated by the brilliant observation of Kowalewski that integrable cases of the heavy top are integrated by means of elliptic and hyperelliptic integrals and that, therefore,