conservation of first integrals and projection methods - casa
TRANSCRIPT
![Page 1: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/1.jpg)
Conservation of First Integrals and ProjectionMethods
CASA
Fengnan Gao
Industrial and Applied MathematicsEindhoven University of Technology
13.10.2010
![Page 2: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/2.jpg)
2/24
Outline
Conservation of First Integrals
Quadratic Invariants
Projection Methods
Numerical Examples of Projection Methods
Conclusion
![Page 3: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/3.jpg)
3/24
Intuition
I ODEs often conserve certain quantitiesI Numerical solutions also shouldI How to design such a numerical method?
![Page 4: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/4.jpg)
4/24
Definition of First Integrals
I Consider differential equation
y = f (y).
I A non-constant function I (y) is called a first integral if
I ′(y) f (y) = 0 for all y.
I This impliesI (y(t)) = I (y0) = Const.
for any solution y(t) .
![Page 5: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/5.jpg)
4/24
Definition of First Integrals
I Consider differential equation
y = f (y).
I A non-constant function I (y) is called a first integral if
I ′(y) f (y) = 0 for all y.
I This impliesI (y(t)) = I (y0) = Const.
for any solution y(t) .
![Page 6: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/6.jpg)
4/24
Definition of First Integrals
I Consider differential equation
y = f (y).
I A non-constant function I (y) is called a first integral if
I ′(y) f (y) = 0 for all y.
I This impliesI (y(t)) = I (y0) = Const.
for any solution y(t) .
![Page 7: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/7.jpg)
5/24
Example: Conservation of the Total Energy
I The Hamiltoninan systems of the form
p = −Hq(p, q), q = Hp(p, q),
I Hq = ∇q H =(∂H∂q
)T and Hp = ∇p H =(∂H∂p
)T
I The Hamilton function H(p, q) is a first integral
∂H∂p
(−∂H∂q
)T+∂H∂q
(∂H∂p
)T= 0.
![Page 8: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/8.jpg)
6/24
Background: Explicit Runge-Kutta Methods
1. Given initial value problem y′ = f (t, y), y(t0) = y0
2. Given the current step yn and tn3. Runge-Kutta methods are given by:
k1 = f (tn, yn),
k2 = f (tn + c2h, yn + a21hk1),
k3 = f (tn + c3h, yn + a31hk1 + a32hk2),
. . .
. . .
ks = f (tn + csh, yn + as1hk1 + as2hk2 + · · · + as,s−1hks−1),
yn+1 = yn + hs∑
i=1
bi ki ,
4. yn+1 and tn+1 are the new step
![Page 9: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/9.jpg)
7/24
Background: Runge-Kutta Method of Order 4
1. Given initial value problem y′ = f (t, y), y(t0) = y0
2. Given the current step yn and tn3. Runge-Kutta method is given by:
k1 = f (tn, yn)
k2 = f (tn +12
h, yn +12
hk1)
k3 = f (tn +12
h, yn +12
hk2)
k4 = f (tn + h, yn + hk3)
yn+1 = yn +16
h(k1 + 2k2 + 2k3 + k4)
4. yn+1 and tn+1 are the new step
![Page 10: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/10.jpg)
8/24
Background: Runge-Kutta Method of Order 2
1. Given initial value problem y′ = f (t, y), y(t0) = y0
2. Given the last step yn and tn3. Runge-Kutta method is given by:
k1 = f (tn, yn)
k2 = f (tn + h, yn + hk1)
yn+1 =yn +12
h(k1 + k2)
4. yn+1 and tn+1 are the new step
![Page 11: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/11.jpg)
9/24
Conservation of Linear Invariants
TheoremAll explicit and implicit Runge-Kutta methods conserve linear invariants.
![Page 12: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/12.jpg)
10/24
A Quadratic Invariant
TheoremConsider ODE of the form
Y = A(Y )Y,
if A(Y ) is skew-symmetric for all Y (i.e., AT= −A), then the quadratic function
I (Y ) = Y T Y is an invariant.
![Page 13: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/13.jpg)
11/24
Quadratic Invariants
I Consider ODE y = f (y) and quadratic functions
Q(y) = yT Cy,
I Q(y) is an invariant if yT C f (y) = 0 for all y.
![Page 14: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/14.jpg)
12/24
Quadratic Conservation of Runge-Kutta Methods
TheoremIf the coefficients of a Runge-Kutta method satisfy
bi ai j + b j a j i = bi b j for all i, j = 1, . . . , s,
then it conserves quadratic invariants.
![Page 15: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/15.jpg)
13/24
Invariants on a Sub-manifold
I Suppose an (n − m)-dimensional sub-manifold of Rn,
M = {y; g(y) = 0} (1)
(g : Rn→ Rm ),
I And a differential equation y = f (y) with the property that
y0 ∈M implies y(t) ∈M for all t.
I It holds if g′(y) f (y) = 0 for y ∈M.I We call g(y) a weak invariant.
![Page 16: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/16.jpg)
14/24
Algorithm of Projection Methods
Here the Standard Projection Methods are proposed as following:
AlgorithmAssume that yn ∈M. One step yn → yn+1 is defined as follows:
1. Compute yn+1 = 8h(yn), where8h is an arbitrary one-step methodapplied to y = f (y);
2. project the value yn+1 onto the manifold M to obtain yn+1 ∈M.
![Page 17: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/17.jpg)
14/24
Algorithm of Projection Methods
Here the Standard Projection Methods are proposed as following:
AlgorithmAssume that yn ∈M. One step yn → yn+1 is defined as follows:
1. Compute yn+1 = 8h(yn), where8h is an arbitrary one-step methodapplied to y = f (y);
2. project the value yn+1 onto the manifold M to obtain yn+1 ∈M.
![Page 18: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/18.jpg)
14/24
Algorithm of Projection Methods
Here the Standard Projection Methods are proposed as following:
AlgorithmAssume that yn ∈M. One step yn → yn+1 is defined as follows:
1. Compute yn+1 = 8h(yn), where8h is an arbitrary one-step methodapplied to y = f (y);
2. project the value yn+1 onto the manifold M to obtain yn+1 ∈M.
![Page 19: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/19.jpg)
15/24
Background: Newton Iterations
I Given a function f (x) and its derivative f ′(x)I Want to solve an equation f (x) = 0I Repeat
xn+1 = xn −f (xn)
f ′(xn)
until sufficiently accurate
![Page 20: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/20.jpg)
16/24
A Minimization Problem
In order to project yn+1 onto M to obtain yn+1, one needs toI Solve the constrained minimization problem
||yn+1 − yn+1||L2 → min subject to g(yn+1) = 0.
I Introduce Lagrange multipliers λ = (λ1, . . . , λm)T , and the Langrange
functionL(yn+1, λ) = ||yn+1 − yn+1||
2/2− g(yn+1)T λ.
![Page 21: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/21.jpg)
16/24
A Minimization Problem
In order to project yn+1 onto M to obtain yn+1, one needs toI Solve the constrained minimization problem
||yn+1 − yn+1||L2 → min subject to g(yn+1) = 0.
I Introduce Lagrange multipliers λ = (λ1, . . . , λm)T , and the Langrange
functionL(yn+1, λ) = ||yn+1 − yn+1||
2/2− g(yn+1)T λ.
![Page 22: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/22.jpg)
17/24
Langrange multiplier
I The necessary condition leads to the system
yn+1 = yn+1 + g′(yn+1)T λ
0 = g(yn+1).
I Inserting the first equation into the second gives
g(yn+1 + g′(yn+1)
T λ)= 0
I Solve the equation for λ with simplified Newton Method:
1λi = −(g′(yn+1)g′(yn+1)
T )−1g(yn+1 + g′(yn+1)
T λi),
with λi+1 = λi +1λi .
![Page 23: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/23.jpg)
18/24
Perturbed Kepler Problem
I Consider the perturbed Kepler problem
p = −Hq(p, q), q = Hp(p, q),
with the Hamilton function
H(p, q) =12(p2
1 + p22)−
1√q2
1 + q22
−0.005
2√(q2
1 + q22 )
3
I Initial values: q1(0) = 1− e, q2(0) = 0, p2(0) =√(1+ e)/(1− e),
p1(0) = 0 (e = 0.6 as the eccentricity)I Two known first integrals:
• the Hamilton function H(p, q)• the angular momentum L(p, q) = q1 p2 − q2 p1
![Page 24: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/24.jpg)
19/24
Explicit Euler
−70 −60 −50 −40 −30 −20 −10 0 10−2.5
−2
−1.5
−1
−0.5
0
0.5
1
1.5
2
2.5Euler with neither Projections on H and L
(a) Without Projection
−1.5 −1 −0.5 0 0.5 1−1.5
−1
−0.5
0
0.5
1Euler with Projection only on H
(b) With Projection onto H
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5Euler with both Projections on H and L
(c) With Projection onto H and L
Figure: Explicit euler, h = 0.03
![Page 25: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/25.jpg)
20/24
Runge-Kutta of Order 2
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2−2
−1.5
−1
−0.5
0
0.5
1
1.5
2RK−2 with neither Projections on H and L
(a) Without Projection
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5RK−2 with Projection only on H
(b) With Projection onto H
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5RK−2 with both Projections on H and L
(c) With Projection onto H and L
Figure: RK2, h = 0.03
![Page 26: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/26.jpg)
21/24
Runge-Kutta of Order 4
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5RK−4 with neither Projections on H and L
(a) Without Projection
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5RK−4 with Projection only on H
(b) With Projection onto H
−1.5 −1 −0.5 0 0.5 1 1.5−1.5
−1
−0.5
0
0.5
1
1.5RK−4 with both Projections on H and L
(c) With Projection onto H and L
Figure: RK4, h = 0.03
![Page 27: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/27.jpg)
22/24
Concluding Remarks
I A lot of ODEs have the property to conserve the First IntegralsI Certain numerical methods conserve the first integrals automaticallyI If not, apply projection methods to conserve it manuallyI Projection methods improve the numerical resultsI Projections are especially effective for low order methods
![Page 28: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/28.jpg)
23/24
Questions?
![Page 29: Conservation of First Integrals and Projection Methods - CASA](https://reader031.vdocuments.mx/reader031/viewer/2022020705/61fb907a2e268c58cd5fac9f/html5/thumbnails/29.jpg)
24/24
Thanks for your attention.