Recent trends in the inverse problem of the...

14
Recent trends in the inverse problem of the calculus of variations 1 Beijing, July 2016 D. Krupka Lepage Research Institute Recent trends in the inverse problem of the calculus of variations Contents Part I The inverse problem of the calculus of variations: An outline Part II Applications - variational completion of differential equations - geometric mechanics - homogeneous differential equations - the Sonin-Douglas’s problem - geometric control theory - energy-momentum tensors

Transcript of Recent trends in the inverse problem of the...

Recent trends in the inverse problem of the calculus of variations

1

Beijing, July 2016

D. Krupka

Lepage Research Institute

Recent trends in the inverse problem of the calculus of variations

Contents

Part I

The inverse problem of the calculus of variations: An outline

Part II

Applications

- variational completion of differential equations

- geometric mechanics

- homogeneous differential equations

- the Sonin-Douglas’s problem

- geometric control theory

- energy-momentum tensors

D. Krupka

2

Basic references

Variational calculus on fibred manifolds: General theory

D. Krupka, Introduction to Global Variational Geometry, Atlantis Studies

in Variational Geometry, Atlantis Press 2015, Book DOI: 10.2991/978-94-

6239-0737, 371 pp.

Specific topics

D.V. Zenkov, Editor, The Inverse Problem of the Calculus of Variations,

Local and Global Theory, Atlantis Press, 2015, 1-29

Chapters:

- A.M. Bloch, D. Krupka and D.V. Zenkov, The Helmholtz Conditions

and the Method of Controlled Lagrangians

- D. Krupka, The Sonin–Douglas Problem

- Z. Urban, Variational Principles for Immersed Submanifolds

- N. Voicu, Source Forms and Their Variational Completions

Recent trends in the inverse problem of the calculus of variations

3

Part I

The inverse problem of the calculus of variations: An outline

Aim: to introduce basic concepts of variational theory on fibred mani-

folds on simple (classical) mathematical spaces: Euclidean spaces. All

concepts can be explained on general fibered manifolds and fibre bundles.

Euclidean spaces, canonical coordinates

Rn , x i , 1 £ i £ n

Rm , ys , 1 £ s £ m

Rn ´Rm , (x i , ys ),

Rn ´Rm ´Rnm , (x i , ys , y js ),

Rn ´Rm ´Rnm ´R1

2mn(n+1)

, (x i , ys , y js , y jk

s )

Differential equations

(1) en (xi ,ys ,y js ,y jk

s ) = 0

Aim: to study possibilities to construct a variational principle for (1)

D. Krupka

4

Source form associated with a system (1)

(2)

Reasons: possibilities to generalize E-L equations to fibred manifolds

Lagrangian associated to a source form (Vainberg-Tonti)

where

(Lagrange function times volume element).

The Euler-Lagrange expressions/equations for extremals of le:

Recent trends in the inverse problem of the calculus of variations

5

Theorem The Euler-Lagrange expressions of the Vainberg-Tonti La-

grangian le of a source form are

(integration along segment) where

(3)

Hs n

ij (e ) =∂es

∂yijn

-∂en

∂yijs

,

Hs n

i (e ) =∂es

∂yin

+∂en

∂yis

- 2d j∂en

∂yijs

,

Hs n (e ) =∂es

∂yn-

∂en

∂ys+ di

∂en

∂yis

- did j∂en

∂yijs

.

The Helmholtz expressions, associated with the source form e .

The theorem describes the difference between the given equations and

the Euler-Lagrange equations of the Vainberg-Tonti Lagrangian; we see, in

particular, that responsibility for the difference is characterized by the

Helmholtz expressions.

D. Krupka

6

The inverse problem of the calculus of variations

(Simplified definition) Consider any system of differential equations (1)

(1) en (xi ,ys ,y js ,y jk

s ) = 0.

We shall say that this system is variational, if there exists a function

such that

(4)

defines a variational principle for equation (1)

The local inverse problem consists in finding existence (integrability)

conditions and solutions of this system of partial differential equations

with given functions es on the left-hand side.

The global inverse problem arises when we consider differential equa-

tions on a (nontrivial) manifold. Then it may happen that locally the inverse

problem can be solved, but the global Lagrangian (as a differential form)

does not exist. Existence conditions: cohomology properties of the un-

derlying manifold (we do not discuss in this talk, see references).

Recent trends in the inverse problem of the calculus of variations

7

Local inverse problem: Integrability conditions

Theorem (Local inverse problem) Let en = en (xi ,ys ,y js ,y jk

s ) be dif-

ferentiable functions on Rn ´Rm ´Rnm ´R

1

2mn(n+1)

. The following two con-

ditions are equivalent:

(a) The system of partial differential equations

(3)

has a solution .

(b) The Helmholtz expressions (3) vanish identically,

Hs n

ij (e ) = 0, Hs n

i (e ) = 0, Hsn (e ) = 0.

D. Krupka

8

Remark (Sonin, Helmholtz, Douglas) The inverse problem of the

calculus of variations was first considered in 1886 for one second-order or-

dinary differential equation by Sonin. He proved that every second order

equation has a Lagrangian. It should be pointed out that in this paper the

variational multiplier, in contemporary terminology, was used as a natural

factor ensuring covariance of the considered equation. The variationality of

systems of second-order ordinary differential equations, expressed in the

covariant form, was studied by Helmholtz in 1887 and subsequently by

many followers (see e.g Havas). The systems of second-order ordinary dif-

ferential equations, solved with respect to the second derivatives, were con-

sidered by Douglas in 1940 with the techniques of variational multipliers

(see also Anderson and Thompson, Bucataru, Crampin, Sarlet, Crampin

and Martinez and many others).

Remark Global problem: Variational sequences (Krupka 1990).

Many contributors: Francaviglia, Ferraris, Winterroth, Palese, Vitolo,

Moreno (Italy); Grigore (Romania); Sardanashvily (Russia), Pommaret

(France), Krupka, Urban,Volna, Krbek, Musilova, (Czech Republic), etc.

Variational bicomplexes (Anderson (USA), Takens (Netherland),

Vinogradov (Russia), Saunders (GB), …

Recent trends in the inverse problem of the calculus of variations

9

Part II

APPLICATIONS

Variational completion of differential equation

N. Voicu, D. Krupka, Canonical variational completion of differential

equations, Journ. Math. Phys. 56 (4), 043507 (2015)

Basic idea

- a way how to assign to a non–variational system of differential equa-

tions a variational one: to add a correction term; in general, no unique

procedure

- variational completion: a unique way based on the use of the Vain-

berg-Tonti Lagrangian Consider a system of second order partial differential equations

es = 0, s =1,2,…,m

where en = en (xi ,ys ,y js ,y jk

s ). es define the Vainberg-Tonti Lagrangian

D. Krupka

10

Problem: To find functions ts such that equations

es +ts = 0, s =1,2,…,m

be variational.

Equations for ts known; the Helmholtz conditions for the inverse problem

to find ts and ;

- ts (if exists) is the variational completion of es

Applications

- Vacuum Einstein equations general relativity theory represents are

variational completion of the Ricci tensor; Vainberg-Tonti computed from

the Ricci tensor is identical with scalar curvature Lagrangian

- In classical mechanics, equations of damped small oscillations are

known to be non-variational. One can find their variational completion

Recent trends in the inverse problem of the calculus of variations

11

Geometric mechanics, control and stability of mechanical systems

- the problem of variational forces: to determine the structure

In standard Euclidean setting, consider a system of second-order ordi-

nary differential equations, solved with respect to the second derivatives of

an unknown curve xi = xi (t), the Newton’s equations

xj - F j = 0, j =1,2,…,n

with given functions F = F j (xi ,xi ), the components of a force. We say that

the force F is variational, if these equations are the Euler-Lagrange equa-

tions of some Lagrangian.

- Then F = F j (xi ,xi ) is called variational.

- More general systems of equations: open classification problem

gij (x

j - F j ) = 0, i = 1,2,…,n

gij integrating factors

- mathematics: the theory extends to manifolds

D. Krupka

12

Many results known, however, systematic exposition is needed.

References: W. Sarlet (Begium) and his school, Novotny, Krupkova,

Musilova and others (Czechia, Slovakia)

- control; to determine control parameters

A.M Bloch, D. Krupka and D.V. Zenkov, The Helmholtz Conditions

and the Method of Controlled Lagrangians, in The Inverse Prob-

lem of the Calculus of Variations, Local and Global Theory

Usual approach and methods: Methods applied: experimenal mathe-

matics based on modification of parameters in equations of motion (such

as force, energy)

Mathematical problem: given a system of equations describing the

motion of a mechanical system, introduce parameters into these equations

(e.g. by modifying the force, kinetic energy, geometric parameters like

constraints, …), and determine these parameters from the requirement

that the equations have a variational principle (Bloch, Krupka, Zenkov) tools: Helmholtz conditions

Recent trends in the inverse problem of the calculus of variations

13

The Sonin-Douglas’s problem

More systematic approach to the problem of variational forces and

variational parameters

Given a system of second-order ordinary differential equations, solved

with respect to the second derivatives of an unknown curve xi = xi (t),

(x) xj - F j = 0, j =1,2,…,n

F = F j (xi ,xi ) given functions.

Any collection of functions g jk = g jk (x

i ,xi ) , such that detgij ¹ 0 , de-

fines an equivalent system gij (x

j - F j ) = 0 . The Sonin-Douglas’s problem:

to study the problem of existence of a function such that

known as the inverse problem of the calculus of variations for the system

(x).

D. Krupka

14

Denoting

e i = gij (F

j - x j ),

the Helmholtz conditions can be applied.

Solved only for system of two equations (classification).

Many open questions related with existence and properties of the

force functions F

Many contributors

Sonin 1866, Darboux 1894, 1 equation

Douglas 1941 derived a complete classification of solutions the systems for

two equations, since then no essential progress

Geometrical point of view: e.g. Anderson and Thompson (USA), Bucataru

(Romania), Crampin (GB), Prince (Australia), Sarlet (Belgium), Martinez

(Spain), Krupka, Urban, Krupková (Czechia/Slovakia) and many others.