CORRECTIONS TO SECOND PRINTING OF Olver, P.J., Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, 1995.

Transcription

1 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 page xv, add acknowledgements Last modified: Ocber 1, 2017 Joe Benson, Jeongoo Cheh, Faruk Güngor, Joseph Malkoun, Oleg Morozov, Juha Pohjanpel, Jessica Senou, Francis Valiquette page 22, Theorem 128, line 3, change all t,s R where the equation is defined all t,s V where V R 2 is a connected open subset of the (t,s) plane containing (0, 0) consisting of points where the equation is defined page 32, line 12-13, change an (necessarily unique) a (necessarily unique) page 32, line before Definition 21, change stucture structure page 36, line before Example 29, change GL(2) GL(2,C) page 39, Example 213, change the first two occurrences of PSL(n, R) PGL(n,R) 1

2 Also append the last sentence PSL(n,R) = SL(n,R)/{±11} is equal the connected component of PGL(n,R) containing the identity page 51, equation (214), change C k ij = Ck ij C k ji = Ck ij page 65, Example 280, line 8, change v(hf) = 0 v(h) = 0 page 93, change the first full paragraph In order formulate a general theorem governing constructed in this manner In order formulate a general theorem governing the existence of relative invariants for sufficiently regular group actions, we consider the extended group action (315) on the bundle E = M U and its dual version (x,v) (g x,µ(g,x) T ) on the dual bundle E = X U Thekeyremarkisthatthereisaone--onecorrespondence betweenrelative invariants of weight µ and linear absolute invariants of the dual action Specifically, a linear function J(x,v) = n α=1 R α (x)vα is an invariant of the dual action on E if and only if the vecr-valued function R(x) = (R 1 (x),,r q (x)) T is a relative invariant of weight µ Therefore, we need only produce a sufficient number of linear invariants of the extended action Moreover, if J(x,v) is any invariant of the extended group action, then it is not hard prove that its linear Taylor polynomial is also an invariant, and hence provides a relative invariant for the multiplier representation Thus, the only question is how many independent relative invariants can be constructed in this manner page 94, lines 26 28, change I do not know a general theorem that counts the number of relative invariants of multiplier representations that do not satisfy the hypotheses of Theorem 336 A general theorem that counts the number of relative invariants of multiplier representations in all cases can be found in the recent paper by M Fels and the author, On relative invariants, Math Ann 308 (1997),

3 page 96, equation (330), change v = a 1 +2a a 2 + +(n 1)a 0 a n 1 +na 1 a n, n 2 a n 1 v 0 = na 0 (n 2)a a 1 + +(n 2)a 0 a n 1 1 +na a n, n 1 a n v + = na 0 +(n 1)a a a 1 a n 2 +a 2 a n 1 n 1 a n v = na 1 +(n 1)a a a 0 a n 1 1 +a a n, n 2 a n 1 v 0 = na 0 +(n 2)a a 1 + +(2 n)a 0 a n 1 na 1 a n, n 1 a n v + = a 0 +2a a 1 + +(n 1)a 1 a n 2 +na 2 a n 1 n 1 a n page 110, Theorem 46, line 2, change r-dimensional orbits s-dimensional orbits page 113, line 7, change z 0 = ( x 0,ū (n) 0 ) = (x 0, f(x 0 )) z 0 = ( x 0,ū (n) 0 ) = (x 0, f (n) (x 0 )) page 119, equation (431), change #J 0 n #J=0 page 119, equation (432), change D i D (n) i, and add the following sentence: 3

4 where D (n) i denotes the order n truncation of the i th tal derivative, ie, the summation in (418) is just over 0 #J n page 120, second line after equation (435), change The Lie algebra (414) The Lie algebra (435) page 124, first displayed equation, add subscript i Q in first summation ω = p q Q i (x,u (n) )dx i + i=1 α=1 #J n P J α (x,u(n) )du α J page 144, line 10, change a ν µ ξi ν A ν µ ξi ν page 148, equation (515), change v 0 = x x n 2 u u, v 0 = x x + n 2 u u, page 159, lines 5, 15 & 18, change d n+1 K 1 d n+1 K r d n+1 [DK 1 ] d n+1 [DK r ] page 171, lines 20 & -8, change n+2 n+1 v + = x2 x nxu u v + = x2 x +nxu u page 171, line -7-3, delete sentence Moreover, if the stable have order at most n+1 page 173, Example 552, line 2, after via the standard representation, add (x,y,u) (αx+βy,γx+δy,u), where αδ βγ = 1 4

5 page 188, line -2, change logx = h(u/x) logx = h(u/x m ) page 190, line 9, change G H /G G H /H page 190, line 18, change η y +ζ u +ζ y vy η y +ζ v +ζ y vy page 190, line 22, change v = y v = v page 192, formula (632), change (1+u x ) 3/2 (1+u 2 x )3/2 page 192, displayed formula after (632), change (1+θr 2) (1+r 2 θr 2)3/2 page 195, line -4, change Alternatively, x = w uu /w u, where w is an arbitrary solution Alternatively, w = x uu /x u is an arbitrary solution page 198, equation (656), change y w 5

6 page 201, equation (661), change det det ξ 1 ϕ 1 ϕ 1 1 ϕ r 1 1 ξ 2 ϕ 2 ϕ 1 2 ϕ r 1 2 = 0 ξ r ϕ r ϕ 1 r ϕ r 1 r ξ 1 ϕ 1 ϕ 1 1 ϕ r 2 1 ξ 2 ϕ 2 ϕ 1 2 ϕ r 2 2 = 0 ξ r ϕ r ϕ 1 r ϕ r 2 r page 213, equation (684), change all p s f s: page 218, line -2, change f k (x) = W k (x) f k (x) = ( 1) k W k (x) page 226, line 6, change P(t,x,u (2n) ) R(t,x,u (2n) ) page 231, lines -4 & -1, change E(L) E(L) η(x) = f n (x) { x (1 n)/(2n) f n 1 } (y) exp nf n (y) dy (684) page 238, Exercise 726, delete the sentence Determine the conservation laws associated with the point symmetries found in Exercise 616 since the precise connection between symmetries and conservation laws has not been discussed in this book (See, however, [186]) 6

7 page 240, in Remark, replace two sentences: However, I do not know I Anderson, [7] by See the paper by IA Kogan and the author, Invariant Euler Lagrange equations and the invariant variational bicomplex, Acta Appl Math 76 (2003), , for a general formula for calculating the invariant formulation of the Euler Lagrange equations directly from the invariant formula for the Lagrangian page 243, lines 18 & 20, change (x,v y,v yy,) (y,v y,v yy,) page 293, line 7, change a 4 = 0 a 4 = a 5 = 0 page 293, equations (930) & (932), change ā 6 ω 3 = a 6 ω 3 ā 6 ω 3 = a 6 ω 3 page 307, line 13, change α κ = k zκ j (x)θj α κ = j zκ j (x)θj page 307, equation (107), change r k=1 m j=1 z κ j θj z κ j θj page 309, equation (1012), change p i=1 m i=1 z κ i θi z κ i θi 7

8 page 339, line 6, delete first arc length page 341, line -3, change I 4 I 5 page 349, line -12, change α 1 T 1 12 θ1 θ 2 T 1 13 θ1 θ 3 α 1 T 1 12 θ2 T 1 13 θ3 page 367, line 10, change manifolds M manifolds M and M page 372, lines 13 16, change However, I do not know any naturally occurring examples exhibiting this phenomenon, and, moreover, the prolongation procedure be discussed below will handle this (remote) possibility as well) However, the prolongation procedure be discussed below will handle this possibility as well; an example is the equivalence problem for a parabolic evolution equation analyzed in [69]) page 375, line 5, change (123) (121) page 394, lines 16 & 21, change (116) (117) page 394, line 22, change vecr S matrix S 8

9 page 395, equation (1252), change = α+sθ, or explicitly, i = α i + m j=1 Si j θj = α Sθ, or explicitly, i = α i m j=1 Si j θj page 406, equation (1273), change Q p Dx Q pp 6Q uu Q p Dx Q pp +6Q uu page 411, lines 12 13, change c(x,y,ϕ(x,y)) ϕ x = a(x,y,ϕ(x,y)), c(x,y,ϕ(x,y)) ϕ y = b(x,y,ϕ(x,y)) c(x,y,ϕ(x,y)) ϕ x = a(x,y,ϕ(x,y)), c(x,y,ϕ(x,y)) ϕ y = b(x,y,ϕ(x,y)) page 423, equation (144), change Φ(t, w) Φ(t, s) page 437, line -9, change the rank zero case in Theorem 424 the rank zero case in Theorem 418 page 442, Figure 5, change L M page 446, line 5, change restrictions of θ U and V, so that restrictions of θ U and Ũ, so that 9

10 page 475, Table 6, Case 62, column 5, change pages 477, 484 & 487, update the following references: [8] Anderson, IM, and Kamran, N, The variational bicomplex for second order scalar partial differential equations in the plane, Duke Math J 87 (1997), [139] Komrakov, B, Primitive actions and the Sophus Lie problem, in: The Sophus Lie Memorial Conference, Oslo, 1992, OA Laudal and B Jahren, eds, Scandinavian Univ Press, Oslo, 1994, pp [190] Olver, PJ, Sapiro, G, and Tannenbaum, A, Invariant geometric evolutions of surfaces and volumetric smoothing, SIAM J Appl Math 57 (1997), page 479, ref [30], change preprint, Selecta Math; 1 (1995) Selecta Math 1 (1995), page 483, reference [128], change dx/dy dy/dx page 504, change two entries affine-invariant arc length, 339 affine-invariant arc length, 241,