Moving Frames. Peter J. Olver University of Minnesota olver. IMA, July, i 1
|
|
- Shannon Thomas
- 5 years ago
- Views:
Transcription
1 Moving Frames Peter J. Olver University of Minnesota olver IMA, July, 2006 i 1
2 Collaborators Mark Fels Gloria Marí Beffa Irina Kogan Juha Pohjanpelto Jeongoo Cheh i 2
3 Moving Frames Classical contributions: M. Bartels ( 1800), J. Serret, J. Frénet, C. Jordan, G. Darboux, É. Cotton, É. Cartan Modern contributions: P. Griffiths, M. Green, G. Jensen I did not quite understand how he [Cartan] does this in general, though in the examples he gives the procedure is clear. Nevertheless, I must admit I found the book, like most of Cartan s papers, hard reading. Cartan on groups and differential geometry Bull. Amer. Math. Soc. 44 (1938) Hermann Weyl i 1
4 Fels, M., Olver, P.J., References Part I, Acta Appl. Math. 51 (1998) Part II, Acta Appl. Math. 55 (1999) Calabi, Olver, Shakiban, Tannenbaum, Haker, Int. J. Computer Vision 26 (1998) Marí Beffa, G., Olver, P.J., Commun. Anal. Geom. 7 (1999) Olver, P.J., Classical Invariant Theory, Cambridge Univ. Press, 1999 Olver, P.J., Selecta Math. 6 (2000) Berchenko, I.A., Olver, P.J. J. Symb. Comp. 29 (2000) Olver, P.J., Found. Comput. Math. 1 (2001) 3 67 Olver, P.J., Appl. Alg. Engin. Commun. Comput. 11 (2001) Kogan, I.A., Olver, P.J., Acta Appl. Math. 76 (2003) Olver, P.J., Pohjanpelto, J., Selecta Math. 11 (2005) Olver, P.J., Pohjanpelto, J., Moving frames for Lie pseudo groups, Canadian J. Math., to appear Cheh, J., Olver, P.J., Pohjanpelto, J., J. Math. Phys., 46 (2005) Cheh, J., Olver, P.J., Pohjanpelto, J., Found. Comput. Math., to appear i 2
5 Applications of Moving Frames Differential geometry Equivalence Symmetry Differential invariants Rigidity Joint Invariants and Semi-Differential Invariants Invariant differential forms and tensors Identities and syzygies Classical invariant theory Computer vision object recognition symmetry detection Invariant numerical methods Poisson geometry & solitons Lie pseudogroups Invariants of Killing tensors Invariants of Lie algebras i 3
6 The Basic Equivalence Problem M smooth m-dimensional manifold. G transformation group acting on M finite-dimensional Lie group infinite-dimensional Lie pseudo-group Equivalence: Determine when two n-dimensional submanifolds N and N M are congruent: N = g N for g G Symmetry: Self-equivalence or self-congruence: N = g N i 4
7 Classical Geometry Equivalence Problem: Determine whether or not two given submanifolds N and N are congruent under a group transformation: N = g N. Symmetry Problem: Given a submanifold N, find all its symmetries (belonging to the group). Euclidean group G = SE(n) or E(n) isometries of Euclidean space translations, rotations (& reflections) z R z + a R SO(n) or O(n) a R n z R n Equi-affine group: G = SA(n) R SL(n) area-preserving Affine group: R GL(n) Projective group: acting on RP n 1 G = A(n) G = PSL(n) = Applications in computer vision i 5
8 Classical Invariant Theory Binary form: Q(x) = n k=0 ( ) n a k k x k Equivalence of polynomials (binary forms): Q(x) = (γx + δ) n Q ( ) αx + β γx + δ ( α β g = γ δ ) GL(2) multiplier representation of GL(2) modular forms Transformation group: g : (x,u) ( αx + β γx + δ, ) u (γx + δ) n Equivalence of functions equivalence of graphs N Q = { (x, u) = (x,q(x)) } C 2 i 6
9 Moving Frames Definition. A moving frame is a G-equivariant map ρ : M G Equivariance: ρ(g z) = g ρ(z) ρ(z) g 1 left moving frame right moving frame ρ left (z) = ρ right (z) 1 i 7
10 The Main Result Theorem. A moving frame exists in a neighborhood of a point z M if and only if G acts freely and regularly near z. G z = {g g z = z } = Isotropy subgroup free the only group element g G which fixes one point z M is the identity: = G z = {e} for all z M. locally free the orbits all have the same dimension as G: = G z is a discrete subgroup of G. regular all orbits have the same dimension and intersect sufficiently small coordinate charts only once irrational flow on the torus effective the only group element g G which fixes every point z M is the identity: g z = z for all z M iff g = e: G M = \ G z = {e} z M i 8
11 Theorem. A moving frame exists in a neighborhood of a point z M if and only if G acts freely and regularly near z. Necessity: Let z M. Let ρ : M G be a left moving frame. Freeness: If g G z, so g z = z, then by left equivariance: ρ(z) = ρ(g z) = g ρ(z). Therefore g = e, and hence G z = {e} for all z M. Regularity: Suppose z n = g n z z as n By continuity, Hence g n e in G. ρ(z n ) = ρ(g n z) = g n ρ(z) ρ(z) Sufficiency: By construction normalization. Q.E.D. i 9
12 Geometrical Construction Normalization = choice of cross-section to the group orbits K z O z k g =ρ(z ) K cross-section to the group orbits O z orbit through z M k K O z unique point in the intersection k is the canonical form of z the (nonconstant) coordinates of k are the fundamental invariants g G unique group element mapping k to z ρ(z) = g left moving frame ρ(h z) = h ρ(z) k = ρ 1 (z) z = ρ right (z) z = freeness i 10
13 Construction of Moving Frames Coordinate cross-section r = dim G m = dim M K = {z 1 = c 1,..., z r = c r } left w(g, z) = g 1 z right w(g, z) = g z Choose r = dim G components to normalize: w 1 (g, z) = c 1... w r (g, z) = c r The solution is a (local) moving frame. g = ρ(z) = Implicit Function Theorem i 11
14 The Fundamental Invariants Substituting the moving frame formulae g = ρ(z) into the unnormalized components of w(g, z) produces the fundamental invariants: I 1 (z) = w r+1 (ρ(z), z)... I m r (z) = w m (ρ(z), z) = These are the coordinates of the canonical form k K. Theorem. Every invariant I(z) can be (locally) uniquely written as a function of the fundamental invariants: I(z) = H(I 1 (z),...,i m r (z)) i 12
15 Invariantization Definition. The invariantization of a function F : M R with respect to a right moving frame ρ is the the invariant function I = ι(f) defined by I(z) = F(ρ(z) z). ι [ F(z 1,...,z m )] = F(c 1,,...c r, I 1 (z),...,i m r (z)) Invariantization amounts to restricting F to the cross-section I K = F K and then requiring that I = ι(f) be constant along the orbits. In particular, if I(z) is an invariant, then ι(i) = I. Invariantization defines a canonical projection ι: functions invariants i 13
16 The Rotation Group G = SO(2) acting on R 2 z = (x,u) g z = ( xcosθ usin θ, xsin θ + u cosθ ) = Free on M = R 2 \ {0} Left moving frame: w(g,z) = g 1 z = (y, v) y = xcosθ + u sin θ v = xsin θ + u cosθ Cross-section K = {u = 0, x > 0 } Normalization equation Left moving frame: v = xsin θ + u cosθ = 0 θ = tan 1 u x = θ = ρ(x, u) SO(2) Fundamental invariant r = ι(x) = x 2 + u 2 Invariantization ι[ F(x,u)] = F(r,0) i 14
17 Prolongation Most interesting group actions (Euclidean, affine, projective, etc.) are not free! An effective action can usually be made free by: Prolonging to derivatives (jet space) G (n) : J n (M,p) J n (M,p) = differential invariants Prolonging to Cartesian product actions G n : M M M M = joint invariants Prolonging to multi-space G (n) : M (n) M (n) = joint or semi-differential invariants = invariant numerical approximations i 15
18 Jet Space Although in use since the time of Lie and Darboux, jet space was first formally defined by Ehresmann in Jet space is the proper setting for the geometry of partial differential equations. M smooth m-dimensional manifold 1 p m 1 J n = J n (M,p) (extended) jet bundle = Defined as the space of equivalence classes of p- dimensional submanifolds under the equivalence relation of n th order contact at a single point. = Can be identified as the space of n th order Taylor polynomials for submanifolds given as graphs u = f(x) i 16
19 Local Coordinates on Jet Space J n = J n (M,p) n th extended jet bundle for p-dimensional submanifolds N M Local coordinates: Assume N = {u = f(x)} is a graph (section). x = (x 1,...,x p ) u = (u 1,...,u q ) independent variables dependent variables p + q = m = dimm z (n) = (x, u (n) ) = (... x i... u α J... ) u α J = J uα 0 #J n induced jet coordinates No bundle structure assumed on M. Projective completion of J n E when E X is a bundle. i 17
20 Prolongation of Group Actions G transformation group acting on M = G maps submanifolds to submanifolds and preserves the order of contact G (n) prolonged action of G on the jet space J n The prolonged group formulae w (n) = (y, v (n) ) = g (n) z (n) are obtained by implicit differentiation: dy i = D y j = p j=1 p i=1 P i j (g, z(1) )dx j Q i j (g,z(1) ) D x i = Q = P T v α J = D y j 1 D y j k (v α ) Differential invariant I : J n R I(g (n) z (n) ) = I(z (n) ) = curvatures i 18
21 Freeness Theorem. If G acts (locally) effectively on M, then G acts (locally) freely on a dense open subset V n J n for n 0. Definition. N M is regular at order n if j n N V n. Corollary. Any regular submanifold admits a (local) moving frame. Theorem. A submanifold is totally singular, j n N J n \ V n for all n, if and only if its symmetry group does not act freely on N. G N = { g g N N } i 19
22 Moving Frames on Jet Space w (n) = (y, v (n) ) = g (n) z (n) right (g (n) ) 1 z (n) left Choose r = dim G jet coordinates z 1,...,z r x i or u α J Coordinate cross-section K J n z 1 = c 1... z r = c r Corresponding lifted differential invariants: w 1,...,w r y i or v α J Normalization Equations w 1 (g, x,u (n) ) = c 1... w r (g, x, u (n) ) = c r Solution: g = ρ (n) (z (n) ) = ρ (n) (x,u (n) ) = moving frame i 20
23 The Fundamental Differential Invariants I (n) (z (n) ) = w (n) (ρ (n) (z (n) ), z (n) ) H i (x,u (n) ) = y i (ρ (n) (x,u (n) ),x, u) I α K (x, u(k) ) = v α K (ρ(n) (x,u (n) ),x, u (k) ) Phantom differential invariants w 1 = c 1... w r = c r = normalizations Theorem. Every n th order differential invariant can be locally uniquely written as a function of the non-phantom fundamental differential invariants in I (n). i 21
24 Invariant Differentiation Contact-invariant coframe dy i ω i = p j=1 Invariant differential operators: P i j (ρ(n) (z (n) ),z (n) ) dx i = arc length element Duality: D y j D j = df = p i=1 p i=1 Q i j (ρ(n) (z (n) ),z (n) ) D x i = arc length derivative D i F ω i Theorem. The higher order differential invariants are obtained by invariant differentiation with respect to D 1,...,D p. i 22
25 Euclidean Curves G = SE(2) Assume the curve is (locally) a graph: C = {u = f(x)} Prolong to J 3 via implicit differentiation y = cosθ (x a) + sin θ (u b) v = sin θ (x a) + cosθ (u b) v y = sin θ + u x cosθ cosθ + u x sin θ v yy = u xx (cosθ + u x sin θ ) 3 v yyy = (cosθ + u x sin θ )u xxx 3u2 xx sin θ (cosθ + u x sin θ ) 5. Normalization r = dim G = 3 w = R 1 (z b) y = 0, v = 0, v y = 0 Left moving frame ρ: J 1 SE(2) a = x, b = u, θ = tan 1 u x i 23
26 Differential invariants v yy κ = v yyy v yyyy dκ ds d2 κ ds 2 3κ3 = u xx (1 + u 2 x )3/2 = (1 + u2 x )u xxx 3u x u2 xx (1 + u 2 x )3 Invariant one-form arc length dy = (cosθ + u x sin θ)dx ds = 1 + u 2 x dx Invariant differential operator d dy = 1 cosθ + u x sin θ d dx d ds = u 2 x d dx Theorem. All differential invariants are functions of the derivatives of curvature with respect to arc length: κ, dκ ds, d 2 κ ds 2, i 24
27 Euclidean Curves e 2 e 1 x Moving frame ρ : (x,u, u x ) (R,a) SE(2) ( ) ( 1 1 ux x R = = (e 1 + u 2 u x x 1 1,e 2 ) a = u ) Frenet frame e 1 = dx ds = ( ) xs y s e 2 = e 1 = ( ys x s ) Frenet equations = Maurer Cartan equations: dx ds = e 1 de 1 ds = κe 2 de 2 ds = κe 1 i 25
28 The Replacement Theorem Any differential invariant has the form I = F(x,u (n) ) = F(y, w (n) ) = F(I (n) ) = T.Y. Thomas κ = v yy (1 + v 2 y )2 = u xx (1 + u 2 x )2 ι(x) = ι(u) = (u x ) = 0 ι(u xx ) = κ i 26
29 Equi-affine Curves G = SA(2) z Az + b A SL(2), b R 2 Prolong to J 3 via implicit differentiation dy = (δ u x β) dx D y = 1 δ u x β D x y = δ(x a) β(u b) v = γ(x a) + α(u b) w = A 1 (z b) v y = γ αu x δ βu x v yy = u xx (δ βu x ) 3 v yyy = (δ βu x )u xxx + 3βu2 xx (δ βu x ) 5 v yyyy = u xxxx (δ βu x )2 + 10u xx u xxx β(δ βu x ) + 15u 3 xx β2 (α + βu x ) 7. Nondegeneracy u xx = 0 = Straight lines are totally singular (three-dimensional equi-affine symmetry group) Normalization r = dimg = 5 y = 0, v = 0, v y = 0, v yy = 1, v yyy = 0. i 27
30 Left Moving frame ρ: J 3 SA(2) A = = 3 uxx 1 3 u 5/3 xx u xxx 3 u x uxx uxx 1/3 1 3 u 5/3 xx u xxx ) ( dz ds d 2 z ds 2 b = z = ( ) x u e 2 e 1 x i 28
31 Frenet frame e 1 = dz ds e 2 = d2 z ds 2 Frenet equations = Maurer Cartan equations: dz ds = e 1 de 1 ds = e 2 de 2 ds = κe 1 Equi-affine arc length Invariant differential operator dy ds = 3 uxx dx = 3 z z dt D y d ds = 1 D x = uxx z z D t Equi-affine curvature v 4y κ = 5u xx u xxxx 3u2 xxx 9u 8/3 xx = z s z ss v 5y dκ ds v 6y d2 κ ds 2 5κ2 i 29
32 Equivalence & Signature Cartan s main idea: The equivalence and symmetry properties of submanifolds will be found by restricting the differential invariants to the submanifold J(x) = I( j n N x ). Equivalent submanifolds should have the same invariants. However, unless an invariant J(x) is constant, it carries little information by itself, since the equivalence map will typically drastically change the dependence of the invariant on the parameter x. = Constant curvature submanifolds However, a functional dependency or syzygy among the invariants is intrinsic: J k (x) = Φ(J 1 (x),...,j k 1 (x)) i 30
33 The Signature Map Equivalence and symmetry properties of submanifolds are governed by the functional dependencies syzygies among the differential invariants. J k (x) = Φ(J 1 (x),...,j k 1 (x)) The syzygies are encoded by the signature map Σ : N S of the submanifold N, which is parametrized by the fundamental differential invariants: Σ(x) = (J 1 (x),...,j m (x)) = ( I 1 N,..., I m N ) The image S = Im Σ is the signature subset (or submanifold) of N. i 31
34 Geometrically, the signature S K is the image of j n N in the cross-section K J n, where n 0 is sufficiently large. Σ : N j n N S K Theorem. Two submanifolds are equivalent: N = g N if and only if their signatures are identical: S = S i 32
35 Signature Curves Definition. The signature curve S R 2 of a curve C R 2 is parametrized by the first two differential invariants κ and κ s S = { ( κ, dκ ds ) } R 2 Theorem. Two curves C and C are equivalent C = g C if and only if their signature curves are identical S = S = object recognition i 33
36 Symmetry Signature map Σ : N S Theorem. Let S denote the signature of the submanifold N. Then the dimension of its symmetry group G N = {g g N N } equals dimg N = dim N dim S Corollary. For a regular submanifold N M, 0 dimg N dim N = Only totally singular submanifolds can have larger symmetry groups! i 34
37 Maximally Symmetric Submanifolds Theorem. The following are equivalent: The submanifold N has a p-dimensional symmetry group The signature S degenerates to a point dim S = 0 The submanifold has all constant differential invariants N = H {z 0 } is the orbit of a p-dimensional subgroup H G = In Euclidean geometry, these are the circles, straight lines, helices, spheres & planes. = In equi-affine plane geometry, these are the conic sections. = In projective geometry, these are the W curves of Lie and Klein. i 35
38 Discrete Symmetries Definition. The index of a submanifold N equals the number of points in N which map to a generic point of its signature S: ι N = min { # Σ 1 {w} w S } = Self intersections Theorem. The cardinality of the symmetry group of N equals its index ι N. = Approximate symmetries i 36
39 Classical Invariant Theory { ( M = R 2 α β \ {u = 0} G = GL(2) = γ δ ) αδ βγ 0 } (x, u) ( αx + β γx + δ, ) u (γx + δ) n n 0,1 σ = γ x + δ = αδ βγ Prolongation: y = αx + β γx + δ v = σ n u v y = σu x nγu σ n 1 v yy = σ2 u xx 2(n 1)γσu x + n(n 1)γ 2 u 2 σ n 2 v yyy = Normalization: y = 0 v = 1 v y = 0 v yy = 1 n(n 1) i 37
40 Moving frame: α = u (1 n)/n H γ = 1 n u(1 n)/n β = xu (1 n)/n H δ = u 1/n 1 n xu(1 n)/n H = n(n 1)uu xx (n 1) 2 u 2 x Hessian Nonsingular form: H 0 Note: H 0 if and only if Q(x) = (ax + b) n = Totally singular forms Differential invariants: v yyy J n 2 (n 1) κ v yyyy K + 3(n 2) n 3 (n 1) dκ ds Absolute rational covariants: J 2 = T 2 H 3 K = U H 2 H = 1 2 (Q, Q)(2) = n(n 1)QQ (n 1) 2 Q 2 Q xx Q yy Q 2 xy T = (Q, H) (1) = (2n 4)Q H nqh Q x H y Q y H x U = (Q, T) (1) = (3n 6)Q T nqt Q x T y Q y T x deg Q = n deg H = 2n 4 deg T = 3n 6 deg U = 4n 8 i 38
41 Signatures of Binary Forms Signature curve of a nonsingular binary form Q(x): S Q = { (J(x) 2, K(x)) = ( T(x) 2 H(x) 3, U(x) H(x) 2 )} Nonsingular: H(x) 0 and (J (x),k (x)) 0. Signature map Σ: N Q S Q Σ(x) = (J(x) 2, K(x)) Theorem. Two nonsingular binary forms are equivalent if and only if their signature curves are identical. i 39
42 Maximally Symmetric Binary Forms Theorem. If u = Q(x) is a polynomial, then the following are equivalent: Q(x) admits a one-parameter symmetry group T 2 is a constant multiple of H 3 Q(x) x k is complex-equivalent to a monomial the signature curve degenerates to a single point all the (absolute) differential invariants of Q are constant the graph of Q coincides with the orbit of a one-parameter subgroup = diagonalizable i 40
43 Symmetries of Binary Forms Theorem. The symmetry group of a nonzero binary form Q(x) 0 of degree n is: A two-parameter group if and only if H 0 if and only if Q is equivalent to a constant. = totally singular A one-parameter group if and only if H 0 and T 2 is a constant multiple of H 3 if and only if Q is complexequivalent to a monomial x k, with k 0,n. = maximally symmetric In all other cases, a finite group whose cardinality equals the index ι Q = min { # Σ 1 {w} w S } of the signature curve, and is bounded by ι Q 6n 12 U = ch 2 4n 8 otherwise i 41
44 The Variational Bicomplex = Dedecker, Vinogradov, Tsujishita, I. Anderson Infinite jet space Local coordinates J = lim n Jn z ( ) = (x,u ( ) ) = (... x i... u α J... ) Horizontal one-forms dx 1,...,dx p Contact (vertical) one-forms θ α J = duα J p i=1 u α J,i dxi Intrinsic definition of contact form θ j N = 0 θ = A α J θα J i 42
45 Bigrading of the differential forms on J Ω = M r,s Ω r,s r = # of dx i s = # of θ α J Vertical and Horizontal Differentials d = d H + d V Variational Bicomplex: d H : Ω r,s Ω r+1,s d V : Ω r,s Ω r,s+1 d 2 H = 0 d H d V + d V d H = 0 d2 V = 0 F(x,u (n) ) differential function d H F = p i=1 d V F = α,j (D i F) dx i total differential F u α J θ α J variation i 43
46 The Simplest Example. M = R 2, x,u R Horizontal form dx Contact (vertical) forms θ = du u x dx θ x = du x u xx dx θ xx = du xx u xxx dx Differential F = F(x,u,u x, u xx,... ) df = F x Total derivative dx + F u. du + F u x du x + F u xx du xx + = (D x F) dx + F u θ + F u x θ x + F u xx θ xx + = d H F + d V F D x F = F u u x + F u x u xx + F u xx u xxx + i 44
47 Lagrangian form Vertical derivative λ = L(x,u (n) ) dx Ω 1,1 variation dλ = d V λ = d V L dx ( L = u θ + L θ u x + L θ x u xx + xx ) dx Ω 1,1 Integration by parts d H (A θ) = (D x A)dx θ A θ x dx so = [(D x A) θ + A θ x ] dx A θ x dx (D x A)θ dx mod im d H Variational derivative compute modulo im d H : ( L dλ δλ = u D L x + D 2 L x u x u xx = E(L) θ dx ) θ dx = Euler-Lagrange source form. i 45
48 Variational Derivative p = # independent variables Variation: d V : Ω p,0 Ω p,1 Integration by Parts: π : Ω p,1 F 1 = Ω p,1 /d H Ω p 1,1 = source forms Variational derivative or Euler operator: δ = π d V : Ω p,0 F 1 λ = Ldx q α=1 E α (L) θ α dx Variational Problems Source Forms i 46
49 The Variational Bicomplex..... d V d V d V d V δ Ω 0,3 d H Ω 1,3 d H d V d V Ω 0,2 d H Ω 1,2 d H d V d V d H Ω p 1,3 d H Ω p,3 π F 3 d V d V δ d H Ω p 1,2 d H Ω p,2 π F 2 d V d V δ R Ω 0,1 d H Ω 1,1 d H d H Ω p 1,1 d H Ω p,1 π F 1 d V d V d V d V Ω 0,0 d H Ω 1,0 d H d H Ω p 1,0 d H Ω p,0 p = # independent variables q = # dependent variables δ i 47
50 Invariantization of the Bicomplex ι : Functions Invariants Forms Invariant Forms Fundamental differential invariants H i (x,u (n) ) = ι(x i ) I α K (x, u(l) ) = ι(u α K ) Invariant horizontal forms ϖ i = ι(dx i ) = ω i + σ i Invariant contact forms ϑ α J = ι(θα J ) i 48
51 Invariant Variational Complex Differential forms Ω = M r,s Ω r,s = I. Kogan, PJO Differential d = d H + d V + d W d H : Ω r,s d V : Ω r,s d W : Ω r,s Ω r+1,s Ω r,s+1 Ω r 1,s+2 d 2 H = 0 d H d V + d V d H = 0 d 2 V + d H d W + d W d H = 0 d V d W + d W d V = 0 d 2 W = 0 i 49
52 The Key Formula d ι(ω) = ι(dω) + p k=1 ν κ ι[v κ (Ω)] v 1,...,v r basis for g ν κ = σ µ κ = γ κ + ε κ κ = 1,...,r γ κ Ω 1,0 ε κ Ω 0,1 pull back of the dual basis Maurer Cartan forms via the moving frame section σ : J B All recurrence formulae, syzygies, commutation formulae, etc. are found by applying the key formula for various forms and functions Ω i 50
53 Euclidean Curves Lifted invariants y = w (x) = xcos φ u sin φ + a v = w (u) = xcos φ + u sin φ + b v y = w (u x ) = sin φ + u x cosφ cosφ u x sin φ v yy = w (u xx ) = u xx (cosφ u x sin φ) 3 v yyy = w (u xx ) = (cosφ u x sin φ)u xxx 3u2 xx sin φ (cosφ u x sin φ) 5 dy = (cosφ u x sin φ)dx (sin φ) θ + da v dφ d J y = π J (dy) = (cos φ u x sin φ)dx (sin φ) θ D y = 1 cosφ u x sin φ D x θ = du u x dx Normalization y = 0 v = 0 v y = 0 Right moving frame φ = tan 1 u x ρ: J 1 SE(2) a = x + uu x 1 + u 2 x b = xu x u 1 + u 2 x i 51
54 Fundamental normalized differential invariants ι(x) = H = 0 ι(u) = I 0 = 0 ι(u x ) = I 1 = 0 ι(u xx ) = I 2 = κ ι(u xxx ) = I 3 = κ s ι(u xxxx ) = I 4 = κ ss + 3κ 3 phantom diff. invs. Invariant horizontal one-form ι(dx) = σ (d J y) = ϖ = ω + η = 1 + u 2 x dx + u x 1 + u 2 x θ Invariant contact forms ι(θ) = ϑ = θ 1 + u 2 x ι(θ x ) = ϑ 1 = (1 + u2 x )θ x u x u xx θ (1 + u 2 x )2 i 52
55 Prolonged infinitesimal generators v 1 = x v 2 = u v 3 = u x + x u + (1 + u 2 x ) u x + 3u x u xx uxx + d H I = D s I ϖ Horizontal recurrence formula d H ι(f) = ι(d H F) + ι(v 1 (F))γ 1 + ι(v 2 (F))γ 2 + ι(v 3 (F))γ 3 Use phantom invariants 0 = d H H = ι(d H x) + ι(v κ (x))γ κ = ϖ + γ 1, 0 = d H I 0 = ι(d H u) + ι(v κ (u))γ κ = γ 2, 0 = d H I 1 = ι(d H u x ) + ι(v κ (u x ))γ κ = κϖ + γ 3, to solve for γ 1 = ϖ γ 2 = 0 γ 3 = κϖ i 53
56 γ 1 = ϖ γ 2 = 0 γ 3 = κϖ Recurrence formulae κ s ϖ = d H κ = d H (I 2 ) = ι(d H u xx ) + ι(v 3 (u xx ))γ 3 = ι(u xxx dx) ι(3u x u xx ))κϖ = I 3 ϖ κ ss ϖ = d H (I 3 ) = ι(d H u xxx ) + ι(v 3 (u xxx )γ 3 = ι(u xxxx dx) ι(4u x u xxx + 3u 2 xx )κϖ = I 4 3I3 2 ϖ κ = I 2 κ s = I 3 I 2 = κ I 3 = κ s κ ss = I 4 3I 3 2 I 4 = κ ss + 3κ 3 κ sss = I 5 19I 2 2 I 3 I 4 = κ sss + 19κ 2 κ s i 54
57 Vertical recurrence formula d V ι(f) = ι(d V F) + ι(v 1 (F))ε 1 + ι(v 2 (F))ε 2 + ι(v 3 (F))ε 3 Use phantom invariants 0 = d V H = ε 1 0 = d V I 0 = ϑ + ε 2 0 = d V I 1 = ϑ 1 + ε 3 to solve for ε 1 = 0 ε 2 = ϑ = ι(θ) ε 3 = ϑ 1 = ι(θ 1 ) Recurrence formulae d V I 2 = d V κ = ι(θ 2 ) + ι(v 3 (u xx ))ε 3 = ϑ 2 = (D 2 + κ 2 )ϑ, d H ϑ: Dϑ = ϑ 1 Dϑ 1 = ϑ 2 κ 2 ϑ d V ϖ = κϑ ϖ i 55
58 Example (x 1,x 2,u) M = R 3 G = GL(2) (x 1,x 2,u) (αx 1 + βx 2,γx 1 + δx 2,λu) λ = αδ βγ = Classical invariant theory Prolongation (lifted differential invariants): y 1 = λ 1 (δx 1 βx 2 ) y 2 = λ 1 ( γx 1 + αx 2 ) v = λ 1 u v 1 = αu 1 + γu 2 λ v 2 = βu 1 + δu 2 λ Normalization v 11 = α2 u αγu 12 + γ 2 u 22 λ v 12 = αβu 11 + (αδ + βγ)u 12 + γδu 22 λ v 22 = β2 u βδu 12 + δ 2 u 22 λ y 1 = 1 y 2 = 0 v 1 = 1 v 2 = 0 Nondegeneracy x 1 u u + x2 x1 x 2 0 i 56
59 First order moving frame ( ) ( ) α β x 1 u = 2 γ δ x 2 u 1 Normalized differential invariants J 1 = 1 J 2 = 0 u I = x 1 u 1 + x 2 u 2 I 1 = 1 I 2 = 0 I 11 = (x1 ) 2 u x 1 x 2 u 12 + (x 2 ) 2 u 22 x 1 u 1 + x 2 u 2 I 12 = x1 u 2 u 11 + (x 1 u 1 x 2 u 2 )u 12 + x 2 u 1 u 22 x 1 u 1 + x 2 u 2 I 22 = (u 2 )2 u 11 2u 1 u 2 u 12 + (u 1 ) 2 u 22 x 1 u 1 + x 2 u 2 Phantom differential invariants Generating differential invariants I 1 I 2 I I 11 I 12 I 22 Invariant differential operators D 1 = x 1 D 1 + x 2 D 2 D 2 = u 2 D 1 + u 1 D 2 scaling process Jacobian process i 57
60 Recurrence formulae D 1 J 1 = δ = 0 D 2 J1 = δ = 0 D 1 J 2 = δ = 0 D 2 J2 = δ = 0 D 1 I = I 1 I(1 + I 11 ) = I(1 + I 11 ) D 2 I = I 2 I I 12 = I I 12 D 1 I 1 = I 11 I 11 = 0 D 2 I 1 = I 12 I 12 = 0 D 1 I 2 = I 12 I 12 = 0 D 2 I 2 = I 22 I 22 = 0 D 1 I 11 = I (1 I 11 )I 11 D 2 I 11 = I (2 I 11 )I 12 D 1 I 12 = I 112 I 11 I 12 D 2 I 12 = I (1 I 11 )I 22 D 1 I 22 = I (I 11 1)I 22 2I 2 12 D 2 I 22 = I 222 I 12 I 22 Syzygies = Use I to generate I 11 and I 12 D 1 I 12 D 2 I 11 = 2I 12 D 1 I 22 D 2 I 12 = 2(I 11 1)I 22 2I 2 12 (D 1 ) 2 I 22 (D 2 ) 2 I 11 = = 2I 22 D 1 I 11 + (5I 12 2)D 1 I 12 + (3I 11 5)D 1 I 22 (2I 11 5)(I 11 1)I (I 11 1)I 2 12 Commutation formulae [D 1, D 2 ] = I 12 D 1 + (I 11 1)D 2 i 58
61 Invariant Variational Problems I[u] = L(x,u (n) ) dx = P(... D K I α... ) ω I 1,...,I l D K I α fundamental differential invariants differentiated invariants ω = ω 1 ω p contact-invariant volume form Invariant Euler-Lagrange equations E(L) = F(... D K I α... ) = 0 Problem. Construct F directly from P. = P. Griffiths, I. Anderson i 59
62 Example. Planar Euclidean group G = SE(2) Invariant variational problem P(κ,κ s, κ ss,... ) ds Euler-Lagrange equations E(L) = F(κ, κ s, κ ss,... ) = 0 The Elastica (Euler): I[u] = 1 2 κ2 ds = u 2 xx dx (1 + u 2 x )5/2 Euler-Lagrange equation E(L) = κ ss κ3 = 0 = elliptic functions i 60
63 P(κ,κ s, κ ss,... ) ds Invariantized Euler operator E = n=0 ( D) n κ n D = d ds Invariantized Hamiltonian operator H(P) = i>j κ i j ( D) j P κ i P Invariant Euler-Lagrange formula E(L) = (D 2 + κ 2 ) E(P) + κ H(P). Elastica P = 1 2 κ2 E(P) = κ H(P) = P = 1 2 κ2 E(L) = κ ss κ3 = 0 i 61
64 Euler-Lagrange Equations Integration by Parts: π : Ω p,1 F 1 = Ω p,1 /d H Ω p 1,1 Variational derivative or Euler operator: = Source forms δ = π d V : Ω p,0 F 1 Variational Problems Source Forms Hamiltonian δ : λ = L dx H(L) = m α=1 i>j 0 q α=1 u α i j ( D L x )j u α i E α (L) θ α dx L i 62
65 The Simplest Example. M = R 2 x, u R Lagrangian form λ = L(x, u (n) )dx Vertical derivative dλ = d V λ ( L = u θ + L θ u x + L θ x u xx + xx Integration by parts d H (A θ) = (D x A)dx θ Aθ x dx ) = [(D x A)θ + A θ x ] dx dx Ω 1,1 Variational derivative δλ = ( L u D x L u x + D 2 x = E(L)θ dx F 1 ) L θ dx u xx i 63
66 Invariant Lagrangian Plane Curves P(κ,κ s,...) ϖ κ fundamental differential invariant (curvature) ϖ = ω + η fully invariant horizontal form ω = ds contact-invariant arc length Invariant integration by parts d V (P ϖ) = E(P) d V κ ϖ H(P) d V ϖ Vertical differentiation formulae d V κ = A(ϑ) d V ϖ = B(ϑ) ϖ A Eulerian operator B Hamiltonian operator = The explicit formulae follow from our fundamental recurrence formula, based on the infinitesimal generators of the action. Invariant Euler-Lagrange equation A E(P) B H(P) = 0 i 64
67 General Framework Fundamental differential invariants I 1,...,I l Invariant horizontal coframe ϖ 1,...,ϖ p Dual invariant differential operators D 1,...,D p Invariant volume form ϖ = ϖ 1 ϖ p Differentiated invariants I,K α = DK J α = D k1 D kn J α = order is important! i 65
68 Eulerian operator d V I α = q β=1 A α β (ϑβ ) A = ( A α β ) = m q matrix of invariant differential operators Hamiltonian operator complex d V ϖ j = q β=1 B j i,β (ϑβ ) ϖ i B j i = ( B j i,β ) = p 2 row vectors of invariant differential operators ϖ (i) = ( 1) i 1 ϖ 1 ϖ i 1 ϖ i+1 ϖ p Twist invariants Twisted adjoint d H ϖ (i) = Z i ϖ D i = (D i + Z i ) i 66
69 Invariant variational problem P(I (n) )ϖ Invariant Eulerian E α (P) = K D K P I α,k Invariant Hamiltonian tensor H i j (P) = P δi j + q α=1 J,K I α,j,j D K P I α,j,i,k, Invariant Euler-Lagrange equations A E(P) p i,j=1 (Bi) j Hj i (P) = 0. i 67
70 Euclidean Surfaces S M = R 3 coordinates z = (x,y, u) Group: G = E(3) z R z + a, R O(3) Normalization coordinate cross-section x = y = u = u x = u y = u xy = 0. Left moving frame a = z R = ( t 1 t 2 n ) t 1,t 2 TS n Frenet frame unit normal i 68
71 Fundamental differential invariants κ 1 = ι(u xx ) κ 2 = ι(u yy ) = principal curvatures Frenet coframe ϖ 1 = ι(dx 1 ) = ω 1 + η 1 ϖ 2 = ι(dx 2 ) = ω 2 + η 2 Invariant differential operators D 1 D 2 = Frenet differentiation Fundamental Syzygy: Use the recurrence formula to compare ι(u xxyy ) with κ 1,22 = D2 2 ι(u xx ) κ 2,11 = D2 1 ι(u yy ) κ 1,22 κ2,11 + κ1,1 κ2,1 + κ1,2 κ2,2 2(κ2,1 )2 2(κ 1,2 )2 κ 1 κ 2 κ 1 κ 2 (κ 1 κ 2 ) = 0 = Codazzi equations i 69
72 Twisted adjoints D 1 = (D 1 + Z 1 ) Z 1 = κ2,1 κ 1 κ 2 D 2 = (D 2 + Z 2 ) Z 2 = κ1,2 κ 2 κ 1 Gauss curvature Codazzi equations: K = κ 1 κ 2 = D 1(Z 1 ) + D 2(Z 2 ) = (D 1 + Z 1 )Z 1 (D 2 + Z 2 )Z 2 K is an invariant divergence = Gauss Bonnet Theorem! i 70
73 Invariant contact form ϑ = ι(θ) = ι(du u x dx u y dy) Invariant vertical derivatives d V κ 1 = ι(θ xx ) = ( D1 2 + Z 2 D 2 + (κ1 ) 2 )ϑ d V κ 2 = ι(θ yy ) = ( D2 2 + Z 1 D 1 + (κ2 ) 2 )ϑ Eulerian operator ( D 2 A = 1 + Z 2 D 2 + (κ 1 ) 2 D2 2 + Z 1 D 1 + (κ2 ) 2 ) d V ϖ 1 = κ 1 ϑ ϖ 1 + d V ϖ 2 = Hamiltonian operator complex 1 κ 1 κ 2( D 1 D 2 Z 2 D 1 )ϑ ϖ2, 1 κ 2 κ 1( D 2 D 1 Z 1 D 2 )ϑ ϖ1 κ 2 ϑ ϖ 2, B 1 1 = κ1, B 2 2 = κ 2, B 1 2 = 1 κ 1 κ 2( D 1 D 2 Z 2 D 1 ) = B2 1 i 71
74 Euclidean-invariant variational problem P(κ (n) )ω 1 ω 2 = P(κ (n) ) da Euler-Lagrange equations Special case: P(κ 1,κ 2 ) E(L) = A E(P) B H(P) = 0, E(L) = [(D 1 ) 2 + D 2 Z 2 + (κ 1 ) 2 ] L κ 1 + Minimal surfaces: P = 1 + [ (D 2 ) 2 + D 1 Z 1 + (κ 2 ) 2 ] L κ 2 (κ1 + κ 2 ) L. (κ 1 + κ 2 ) = 2H = 0 Minimizing mean curvature: P = H = 1 2 (κ1 + κ 2 ) [ 1 2 (κ 1 ) 2 + (κ 2 ) 2 (κ 1 + κ 2 ) 2 ] = κ 1 κ 2 = K = 0. Willmore surfaces: P = 1 2 (κ1 ) (κ2 ) 2 (κ 1 + κ 2 ) (κ1 + κ 2 )(κ 1 κ 2 ) 2 = 2 H + 4(H 2 K)H = 0 Laplace Beltrami operator = (D 1 + Z 1 )D 1 + (D 2 + Z 2 )D 2 = D 1 D 1 D 2 D 2 i 72
Invariant Variational Problems & Invariant Curve Flows
Invariant Variational Problems & Invariant Curve Flows Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Oxford, December, 2008 Basic Notation x = (x 1,..., x p ) independent variables
More informationWhat are Moving Frames?
What are Moving Frames? Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver USU, March, 2007 Moving Frames Classical contributions: M. Bartels ( 1800), J. Serret, J. Frénet, G. Darboux,
More informationSymmetry Preserving Numerical Methods via Moving Frames
Symmetry Preserving Numerical Methods via Moving Frames Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver = Pilwon Kim, Martin Welk Cambridge, June, 2007 Symmetry Preserving Numerical
More informationMoving Frames in Applications
Moving Frames in Applications Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Madrid, September 2009 Moving Frames Classical contributions: M. Bartels ( 1800), J. Serret, J. Frénet,
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More informationThe Invariant Variational Bicomplex
Contemporary Mathematics The Invariant Variational Bicomplex Irina A. Kogan and Peter J. Olver Abstract. We establish a group-invariant version of the variational bicomplex that is based on a general moving
More informationMoving Frames Classical contributions: G. Darboux, É. Cotton, É. Cartan Modern contributions: P. Griffiths, M. Green, G. Jensen I did not quite unders
Moving Frames Peter J. Olver University of Minnesota http : ==www:math:umn:edu= ο olver Beijing, March, 2001 ch 1 Moving Frames Classical contributions: G. Darboux, É. Cotton, É. Cartan Modern contributions:
More informationInvariant Calculus with Vessiot
Invariant Calculus with Vessiot Irina Kogan (Yale University) August 13, 2002 Invariant Euler-Lagrange Equations and the Invariant Variational Bicomplex, I. Kogan, P.J.Olver. Maple package Vessiot for
More informationAn Introduction to Moving Frames
An Introduction to Moving Frames Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455, USA Email: olver@ima.umn.edu Url: www.math.umn.edu/ olver October 31, 2003 Abstract
More informationDifferential Invariant Algebras
Differential Invariant Algebras Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. The equivariant method of
More informationDifferential Invariants of Equi Affine Surfaces
Differential Invariants of Equi Affine Surfaces Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. We show that
More informationInductive Approach to Cartan s Moving Frame Method. Irina Kogan Yale University
Inductive Approach to Cartan s Moving Frame Method Irina Kogan Yale University July, 2002 Generalized definition of a moving frame M. Fels and P.J. Olver (1999) A moving frame is an equivariant smooth
More informationMoving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions
Moving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions Peter. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@umn.edu http://www.math.umn.edu/
More informationInfinite Dimensional Symmetry Groups
Infinite Dimensional Symmetry Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Lausanne, July, 2007 Sur la théorie, si importante sans doute, mais pour nous si obscure, des
More informationLectures on Moving Frames
Lectures on Moving Frames Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. The goal of these lectures is to
More informationGeometric Affine Symplectic Curve Flows in R 4
Geometric Affine Symplectic Curve Flows in R 4 Francis Valiquette 1 epartment of Mathematics and Statistics alhousie University alifax, Nova Scotia, Canada B3 3J5 francisv@mathstat.dal.ca http://www.mathstat.dal.ca/
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationModern Developments in the Theory and Applications of Moving Frames
Modern Developments in the Theory and Applications of Moving Frames Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@umn.edu http://www.math.umn.edu/ olver Abstract.
More informationLectures on Moving Frames
Lectures on Moving Frames Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. This article presents the equivariant
More informationMoving Frames. Peter J. Olver 1. School of Mathematics, University of Minnesota, Minneapolis, MN 55455, U.S.A.
Moving Frames Peter J. Olver 1 School of Mathematics, University of Minnesota, Minneapolis, MN 55455, U.S.A. Abstract This paper surveys algorithmic aspects of a general equivariant theory of moving frames.
More informationCORRECTIONS TO SECOND PRINTING OF Olver, P.J., Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, 1995.
CORRECTIONS TO SECOND PRINTING OF Olver, PJ, Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, 1995 On back cover, line 17 18, change prospective geometry projective geometry
More informationB.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
More informationInductive and Recursive Moving Frames for Lie Pseudo-Groups
Inductive and Recursive Moving Frames for Lie Pseudo-Groups Francis Valiquette (Joint work with Peter) Symmetries of Differential Equations: Frames, Invariants and Applications Department of Mathematics
More informationObject Recognition, Symmetry Detection, Jigsaw Puzzles, and Melanomas
Object Recognition, Symmetry Detection, Jigsaw Puzzles, and Melanomas Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Lubbock, February, 2014 Symmetry = Group Theory! Next to the
More informationConstructive Algebra for Differential Invariants
Constructive Algebra for Differential Invariants Evelyne Hubert Rutgers, November 2008 Constructive Algebra for Differential Invariants Differential invariants arise in equivalence problems and are used
More informationMoving Coframes. II. Regularization and Theoretical Foundations
Moving Coframes II. Regularization and Theoretical Foundations Mark Fels School of Mathematics University of Minnesota Minneapolis, MN 55455 fels@math.umn.edu Peter J. Olver School of Mathematics University
More informationSIAM Conference on Applied Algebraic Geometry Daejeon, South Korea, Irina Kogan North Carolina State University. Supported in part by the
SIAM Conference on Applied Algebraic Geometry Daejeon, South Korea, 2015 Irina Kogan North Carolina State University Supported in part by the 1 Based on: 1. J. M. Burdis, I. A. Kogan and H. Hong Object-image
More informationDifferential Invariants of Conformal and Projective Surfaces
Differential Invariants of Conformal and Projective Surfaces Evelyne Hubert INRIA Sophia Antipolis, France www.inria.fr/cafe/evelyne.hubert Peter J. Olver University of Minnesota Minneapolis, USA www.math.umn.edu/~olver
More informationInvariant Histograms and Signatures for Object Recognition and Symmetry Detection
Invariant Histograms and Signatures for Object Recognition and Symmetry Detection Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver North Carolina, October, 2011 References Boutin,
More informationGeometric Foundations of Numerical Algorithms and Symmetry
Geometric Foundations of Numerical Algorithms and Symmetry Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 U.S.A. olver@math.umn.edu http://www.math.umn.edu/ olver Abstract.
More informationMoving Frames for Lie Pseudo Groups
Moving Frames for Lie Pseudo Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Benasque, September, 2009 Sur la théorie, si importante sans doute, mais pour nous si obscure,
More informationALGORITHMS FOR DIFFERENTIAL INVARIANTS OF SYMMETRY GROUPS OF DIFFERENTIAL EQUATIONS
ALGORITHMS FOR DIFFERENTIAL INVARIANTS OF SYMMETRY GROUPS OF DIFFERENTIAL EQUATIONS JEONGOO CHEH, PETER J. OLVER, AND JUHA POHJANPELTO Abstract. We develop new computational algorithms, based on the method
More informationInvariant Euler-Lagrange Equations and the Invariant Variational Bicomplex
Invariant Euler-Lagrange Equations and the Invariant Variational Bicomplex Irina A. Kogan Department of Mathematics Yale University New Haven, Connecticut 06520 kogan@math.yale.edu Peter J. Olver School
More informationPoisson Structures for Geometric Curve Flows in Semi-simple Homogeneous Spaces
Poisson Structures for Geometric Curve Flows in Semi-simple Homogeneous Spaces Gloria Marí Beffa Department of Mathematics University of Wisconsin Madison, Wisconsin 5376 maribeff@math.wisc.edu http://www.math.wisc.edu/
More informationCORRECTIONS TO FIRST PRINTING OF Olver, P.J., Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, 1995.
CORRECTIONS TO FIRST PRINTING OF Olver, P.J., Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, 1995. On back cover, line 17 18, change prospective geometry projective geometry
More informationAdventures in Imaging
Adventures in Imaging Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver MTNS 2016 Symmetry Definition. A symmetry of a set S is a transformation that preserves it: g S = S The set of
More informationOn the classification of certain curves up to projective tranformations
On the classification of certain curves up to projective tranformations Mehdi Nadjafikhah Abstract The purpose of this paper is to classify the curves in the form y 3 = c 3 x 3 +c 2 x 2 + c 1x + c 0, with
More informationPSEUDO GROUPS, MOVING FRAMES, AND DIFFERENTIAL INVARIANTS
PSEUDO GROUPS, MOVING FRAMES, AND DIFFERENTIAL INVARIANTS PETER J. OLVER AND JUHA POHJANPELTO Abstract. We survey recent developments in the method of moving frames for infinite-dimensional Lie pseudo-groups.
More informationMoving Coframes. I. A Practical Algorithm
Moving Coframes. I. A Practical Algorithm Mark Fels School of Mathematics University of Minnesota Minneapolis, MN 55455 fels@math.umn.edu Peter J. Olver School of Mathematics University of Minnesota Minneapolis,
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationLie Pseudo Groups. Peter J. Olver University of Minnesota olver. Paris, December, 2009
Lie Pseudo Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Paris, December, 2009 Sur la théorie, si importante sans doute, mais pour nous si obscure, des groupes de Lie infinis,
More informationThe Canonical Contact Form
The Canonical Contact Form Peter J Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 USA olver@mathumnedu http://wwwmathumnedu/ olver Abstract The structure group and the involutive
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction
ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationConification of Kähler and hyper-kähler manifolds and supergr
Conification of Kähler and hyper-kähler manifolds and supergravity c-map Masaryk University, Brno, Czech Republic and Institute for Information Transmission Problems, Moscow, Russia Villasimius, September
More informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationSymmetry Methods for Differential Equations and Conservation Laws. Peter J. Olver University of Minnesota
Symmetry Methods for Differential Equations and Conservation Laws Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Santiago, November, 2010 Symmetry Groups of Differential Equations
More informationAffine Differential Invariants for Invariant Feature Point Detection
Affine Differential Invariants for Invariant Feature Point Detection Stanley L. Tuznik Department of Applied Mathematics and Statistics Stony Brook University Stony Brook, NY 11794 stanley.tuznik@stonybrook.edu
More informationGlobal Lie-Tresse theorem
Global Lie-Tresse theorem Boris Kruglikov University of Tromsø, Norway (in part joint with: V.Lychagin, O. Morozov, E. Ferapontov) Group actions and classical Invariants The classical problem in invariant
More informationMAURER CARTAN EQUATIONS FOR LIE SYMMETRY PSEUDO-GROUPS OF DIFFERENTIAL EQUATIONS
MAURER CARTAN EQUATIONS FOR LIE SYMMETRY PSEUDO-GROUPS OF DIFFERENTIAL EQUATIONS JEONGOO CHEH, PETER J. OLVER, JUHA POHJANPELTO ABSTRACT. A new method of constructing structure equations of Lie symmetry
More informationEqui-Affine Differential Invariants for Invariant Feature Point Detection
Equi-Affine Differential Invariants for Invariant Feature Point Detection Stanley L. Tuznik Department of Applied Mathematics and Statistics Stony Brook University Stony Brook, NY 11794 stanley.tuznik@stonybrook.edu
More informationRecursive Moving Frames for Lie Pseudo-Groups
Recursive Moving Frames for Lie Pseudo-Groups Peter J. Olver 1 Francis Valiquette 2 School of Mathematics Department of Mathematics University of Minnesota SUNY at New Paltz Minneapolis, MN New Paltz,
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationGroup Invariant Solutions in Mathematical Physics and Differential Geometry
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2001 Group Invariant Solutions in Mathematical Physics and Differential Geometry Ian M. Anderson Utah State University
More informationOn Affine Geometry of Space Curves
On Affine Geometry of Space Curves Ali Mahdipour Shirayeh Abstract In this expository paper, we explain equivalence problem of space curves under affine transformations to complete the method of Spivak
More informationNon-Associative Local Lie Groups
Non-Associative Local Lie Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver P.J. Olver, Non-associative local Lie groups, J. Lie Theory 6 (1996) 23 51 Howard University, 2003
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationContact trivialization of ordinary differential equations 1
Differential Geometry and Its Applications 73 Proc. Conf., Opava (Czech Republic), August 27 31, 2001 Silesian University, Opava, 2001, 73 84 Contact trivialization of ordinary differential equations 1
More informationMOVING FRAMES, GEOMETRIC POISSON BRACKETS AND THE KDV-SCHWARZIAN EVOLUTION OF PURE SPINORS
MOVING FRAMES, GEOMETRIC POISSON BRACKETS AND THE KDV-SCHWARZIAN EVOLUTION OF PURE SPINORS GLORIA MARÍ BEFFA Abstract. In this paper we describe a non-local moving frame along a curve of pure spinors in
More informationThe Symmetry Groupoid and Weighted Signature of a Geometric Object
The Symmetry Groupoid and Weighted Signature of a Geometric Object Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@umn.edu http://www.math.umn.edu/ olver Abstract.
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationOn isometries of Finsler manifolds
On isometries of Finsler manifolds International Conference on Finsler Geometry February 15-16, 2008, Indianapolis, IN, USA László Kozma (University of Debrecen, Hungary) Finsler metrics, examples isometries
More informationν(u, v) = N(u, v) G(r(u, v)) E r(u,v) 3.
5. The Gauss Curvature Beyond doubt, the notion of Gauss curvature is of paramount importance in differential geometry. Recall two lessons we have learned so far about this notion: first, the presence
More informationIntroduction to invariant and equivariant problems
Introduction to invariant and equivariant problems The curve completion problem Consider the curve completion problem, which is a subproblem of the much more complex inpainting problem. Suppose we are
More informationClassification of curves in affine geometry
Classification of curves in affine geometry M. Nadjafikhah and A. Mahdipour-Shirayeh Abstract. This paper is devoted to represent a complete classification of space curves under affine transformations
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationGEOMETRIC HAMILTONIAN STRUCTURES ON FLAT SEMISIMPLE HOMOGENEOUS MANIFOLDS
GEOMETRIC HAMILTONIAN STRUCTURES ON FLAT SEMISIMPLE HOMOGENEOUS MANIFOLDS G. MARÍ BEFFA Abstract. In this paper we describe Poisson structures defined on the space of Serret-Frenet equations of curves
More informationMoving Frames and Noether s Finite Difference Conservation Laws I.
Moving Frames and Noether s Finite Difference Conservation Laws I. E. L. Mansfield *, A. Rojo-Echeburúa *, L. Peng ** and P. E. Hydon * arxiv:804.0037v3 [math.na] 6 Aug 208 * SMSAS, University of Kent,
More informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More information2 Lie Groups. Contents
2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups
More informationChanging coordinates to adapt to a map of constant rank
Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into
More informationarxiv: v1 [math.ap] 25 Aug 2009
Lie group analysis of Poisson s equation and optimal system of subalgebras for Lie algebra of 3 dimensional rigid motions arxiv:0908.3619v1 [math.ap] 25 Aug 2009 Abstract M. Nadjafikhah a, a School of
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
More informationTRANSVECTION AND DIFFERENTIAL INVARIANTS OF PARAMETRIZED CURVES
TRANSVECTION AND DIFFERENTIAL INVARIANTS OF PARAMETRIZED CURVES G. MARÍ BEFFA AND JAN A. SANDERS Abstract. In this paper we describe an sl 2 representation in the space of differential invariants of parametrized
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IB Thursday, 6 June, 2013 9:00 am to 12:00 pm PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each
More informationObject Recognition, Symmetry Detection, Jigsaw Puzzles, and Cancer
Object Recognition, Symmetry Detection, Jigsaw Puzzles, and Cancer Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Technion, May, 2015 Symmetry Definition. A symmetry of a set S is
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (Day 1) 1. (CA) Evaluate 0 x 2 + 1 x 4 + 1 dx Solution. We can consider the integration from to instead. For
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationHolonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15
Holonomy groups Thomas Leistner School of Mathematical Sciences Colloquium University of Adelaide, May 7, 2010 1/15 The notion of holonomy groups is based on Parallel translation Let γ : [0, 1] R 2 be
More informationThe Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation
Nonlinear Mathematical Physics 997, V.4, N 3 4, 364 376. The Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation Juha POHJANPELTO
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationRESEARCH STATEMENT YUHAO HU
RESEARCH STATEMENT YUHAO HU I am interested in researching in differential geometry and the geometry of partial differential equations. Earlier in my PhD studies, I learned the theory of exterior differential
More informationFinal Exam Topic Outline
Math 442 - Differential Geometry of Curves and Surfaces Final Exam Topic Outline 30th November 2010 David Dumas Note: There is no guarantee that this outline is exhaustive, though I have tried to include
More informationModuli spaces of Type A geometries EGEO 2016 La Falda, Argentina. Peter B Gilkey
EGEO 2016 La Falda, Argentina Mathematics Department, University of Oregon, Eugene OR USA email: gilkey@uoregon.edu a Joint work with M. Brozos-Vázquez, E. García-Río, and J.H. Park a Partially supported
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More informationGeometric approximation of curves and singularities of secant maps Ghosh, Sunayana
University of Groningen Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish
More informationChapter 5. The Second Fundamental Form
Chapter 5. The Second Fundamental Form Directional Derivatives in IR 3. Let f : U IR 3 IR be a smooth function defined on an open subset of IR 3. Fix p U and X T p IR 3. The directional derivative of f
More informationGLASGOW Paolo Lorenzoni
GLASGOW 2018 Bi-flat F-manifolds, complex reflection groups and integrable systems of conservation laws. Paolo Lorenzoni Based on joint works with Alessandro Arsie Plan of the talk 1. Flat and bi-flat
More informationConformally flat hypersurfaces with cyclic Guichard net
Conformally flat hypersurfaces with cyclic Guichard net (Udo Hertrich-Jeromin, 12 August 2006) Joint work with Y. Suyama A geometrical Problem Classify conformally flat hypersurfaces f : M n 1 S n. Def.
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationJune 21, Peking University. Dual Connections. Zhengchao Wan. Overview. Duality of connections. Divergence: general contrast functions
Dual Peking University June 21, 2016 Divergences: Riemannian connection Let M be a manifold on which there is given a Riemannian metric g =,. A connection satisfying Z X, Y = Z X, Y + X, Z Y (1) for all
More informationDifferential Geometry Exercises
Differential Geometry Exercises Isaac Chavel Spring 2006 Jordan curve theorem We think of a regular C 2 simply closed path in the plane as a C 2 imbedding of the circle ω : S 1 R 2. Theorem. Given the
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More information