arxiv:physics/ v2 [physics.hist-ph] 20 Dec 2015

Transcription

1 arxv:physcs/ v2 [physcs.hst-ph] 20 Dec 2015 Invarant Varaton Problems Emmy Noether M. A. Tavel s Englsh translaton of Invarante Varatonsprobleme, Nachr. d. Köng. Gesellsch. d. Wss. zu Göttngen, Math-phys. Klasse, ), whch orgnally appeared n Transport Theory and Statstcal Physcs, 1 3), ). 0 Abstract The problems n varaton here concerned are such as to admt a contnuous group n Le s sense); the conclusons that emerge from the correspondng dfferental equatons fnd ther most general expresson n the theorems formulated n Secton 1 and proved n followng sectons. Concernng these dfferental equatons that arse from problems of varaton, far more precse statements can be made than about arbtrary dfferental equatons admttng of a group, whch are the subject of Le s researches. What s to follow, therefore, represents a combnaton of the methods of the formal calculus of varatons wth those of Le s group theory. For specal groups and problems n varaton, ths combnaton of methods s not new; I may cte Hamel and Herglotz for specal fnte groups, Lorentz and hs pupls for nstance Fokker), Weyl and Klen for specal nfnte groups. 1 Especally Klen s second Note and the present developments have been mutually nfluenced by each other, n whch regard I may refer to the concludng remarks of Klen s Note. 1. Prelmnary Remarks and Formulaton of Theorems All functons occurrng n the sequel are to be assumed analytc, or at least contnuous and contnuously dfferentable a defnte number of tmes, and unque n the nterval consdered. By a group of transformaton, famlarly, s meant a system of transformatons such that for each transformaton, there exsts an nverse contaned n the system, and such that the composton of any two transformatons of the system n turn belongs to the system. The group wll be called a fnte contnuous group G ρ f ts transformatons are contaned n a most general transformaton) dependng analytcally on ρ essental parameters ǫ.e., the ρ parameters are not to be representable asρfuncton offewer parameters). Correspondngly, annfnte contnuousgroupg ρ s understood to be a group whose most general transformatons depend on ρ essental arbtrary functons px) and ther dervatves analytcally, or at least n a contnuous and fnte-fold contnuously dfferentable manner. The group dependng on nfntely many parameters but not on arbtrary functons stands as an ntermedate term between the two. Fnally, a group dependng both on arbtrary functons and on parameters s called a mxed group. 2 Let x 1,...,x n be ndependent varables and u 1 x),...,u µ x) functons dependng upon them. If the x s and u s are subjected to the transformatons of a group, then, by hypothess of nvertblty 0 Ths paper s reproduced by Frank Y. Wang fwang@lagcc.cuny.edu) wth LATEX. 1 Hamel, Math. Ann. 59 and Z. f. Math. u. Phys. 50. Herglotz, Ann. d. Phys. 4) 36, esp. 9, p Fokker, Verslag d. Amsterdamer Akad. Jan. 27, For further bblography, compare Klen s second Note, Göttnger Nachrchten, July 19, The recently publshed work by Kneser Math. Zschr. 2) deals wth the settng up of nvarants by a smlar method. 2 Le, n Grundlagen für de Theore der Unendlchen kontnuerlchen Transformatonsgruppen Foundatons of the theory of nfnte contnuous groups of transformatons), Ber. d. K. Sachs. Ges. d. Wssensch 1981 cted as Grundlagen), defnes the nfnte contnuous group as a group of transformatons whch are gven by the most general solutons of a system of partal dfferental equatons, provded these solutons do not depend only on a fnte number of parameters. One of the above-mentoned types dfferng from the fnte group wll thus be thereby obtaned; whereas conversely the lmtng case of nfntely many parameters need not necessarly satsfy a system of dfferental equatons. 1

2 of the transformatons, there must agan be exactly n ndependent varables y 1,...,y n among the transformed quanttes; let the others dependng upon them be desgnated by v 1 y),...,v µ y). In the transformatons, the dervatves of the u s wth respect to the x s, namely u, 2 u 2,... may also occur. 3 A functon s called an nvarant of the group f there subssts a relatonshp P x,u, u ), 2 u 2,... = P y,v, v ) y, 2 v y 2,.... In partcular, then, an ntegral I wll be an nvarant of the group f there subssts a relatonshp I =... f x,u, u ), 2 u 2... dx =... f y,v, v ) y, 2 v y dy 1) ntegrated over an arbtrary real x-nterval and the correspondng y-nterval. 5 Then, for an arbtrary, not necessarly nvarant ntegral I, I form the frst varaton δi and transform t by partal ntegraton accordng to the rules of the calculus of varatons. As we know, provded δu wth all dervatves that occur s assumed to vansh at the boundary, whle otherwse arbtrary, δi =... δf dx = ψ... x,u, u ) )δu,... dx, 2) where ψ stands for the Lagrange expressons,.e., the left-hand sdes of the Lagrange equatons of the correspondng varaton problem δi = 0. To ths ntegral relatonshp there corresponds an ntegral-free dentty n δu and ts dervatves, generated by wrtng n the boundary terms as well. As the partal ntegraton shows, these boundary terms are ntegrals over dvergences,.e., over expressons DvA = A A n n, where A s lnear n δu and ts dervatves. Hence ψ δu = δf +DvA. 3) If n partcular f contans only frst dervatves of the u s, then n the case of the sngle ntegral the dentty 3) s dentcal wth what Heun calls the central equaton of Lagrange ψ δu = δf d ) f dx u δu, u = du ), 4) dx whereas for the n-fold ntegral, 3) goes over nto ψ δu = δf f δu 1 u 1 ) )... f δu. 5) n u n 3 I suppress the subscrpts, nsofar as feasble, even n summatons; thus, 2 u 2 for 2 u α, etc. β γ 4 By way of abbrevaton, I wrte dx, dy for dx 1...dx n, dy 1...dy n. 5 All arguments x, u, ǫ, px) occurrng n the transformatons are to be assumed real, whereas the coeffcents may be complex. But snce the fnal results are concerned wth denttes n the x s, u s, parameters and arbtrary functons, these hold also for complex values, provded only that all functons that occur are assumed analytc. A large porton of the results, ncdentally, can be justfed wthout ntegrals, so that here the restrcton to reals s not necessary even to the arguments. On the other hand, the developments at the close of Secton 2 and begnnng of Secton 5 do not appear to be feasble wthout ntegrals. 2

3 For the sngle ntegral and κ dervatves of the u s, 3) s gven by ψ δu = δf { d 1 ) f dx 1 { 2 ) + d2 f dx 2 2 u 1) ) 2 f δu + 1 ) 3 f 2 δu u 2) + u 2) δu 1) δu 1) u 3) ) κ f 1 ) κ f 2 u κ) u κ) + 1) κ dκ dx κ δu κ 1) δu κ 2) { κ κ )} )} + ) f +... } δu u κ) and a correspondng dentty holds for the n-fold ntegral; n partcular, A contans δu as far as the κ 1)st dervatve. The fact that 4), 5), and 6) actually defne the Lagrange expressons ψ follows from the fact that the combnatons of the rght-hand sdes elmnate all hgher dervatves of the δu s, whle on the other hand the relaton 2), to whch the partal ntegraton leads unquely, s satsfed. Now n the followng we shall be concerned wth these two theorems: I. If the ntegral I s nvarant wth respect to a G ρ, then ρ lnearly ndependent combnatons of the Lagrange expressons become dvergences and from ths, conversely, nvarance of I wth respect to a G ρ wll follow. The theorem holds good even n the lmtng case of nfntely many parameters. II. If the ntegral I s nvarant wth respect to a G ρ n whch the arbtrary functons occur up to the σ-th dervatve, then there subsst ρ dentty relatonshps between the Lagrange expressons and ther dervatves up to the σ-th order. In ths case also, the converse holds. 6 For mxed groups, the statements of both theorems hold; that s, both dependences and dvergence relatons ndependent thereof occur. Passng over from these denttes to the correspondng varaton problem,.e., puttng ψ = 0, 7 Theorem I n the one-dmensonal case where the dvergence goes over nto a total dfferental asserts the exstence of ρ frst ntegrals, between whch, however, non-lnear dependences may subsst; 8 n the multdmensonal case, the dvergence equatons often referred to of late as laws of conservaton are obtaned; Theorem II states that ρ of the Lagrange equatons are a consequence of the rest. The smplest example of Theorem II wthout converse s afforded by the Weerstrass parametrc representaton; here the ntegral, wth homogenety of frst order, s as we know nvarant f the ndependent varable x s replaced by an arbtrary functon of x that leaves u unchanged y = px); v y) = u x)). Thus one arbtrary functon occurs, but wthout dervatves, and to ths corresponds the known lnear relatonshp among the Lagrange expressons themselves du ψ = 0. Another dx example s presented by the general theory of relatvty of the physcsts; there we have the group of all transformatons y = p x) of the x s, whle the u s desgnated as g µν and q) are subjected to the transformatons thereby nduced for the coeffcents of a quadratc and lnear dfferental form transformatons whch contan the frst dervatves of the arbtrary functon px). To ths correspond the famlar n dependences between the Lagrange expressons and ther frst dervatves. 9 If n partcular we specalze the group by allowng no dervatves of the ux) s n the transformatons, and moreover let the transformed ndependent quanttes depend only on the x s, not on the u s, then as s shown n Secton 5) the nvarance of I entals the relatve nvarance of ψ δu, 10 6 For certan trval exceptons, compare Secton 2, Note Somewhat more generally, we may alternatvely put ψ = T ; cf. Secton 3, Note Cf. close of Secton 3. 9 Cf. e.g., Klen s presentaton. 10 That s, ψ δu acqures a factor upon transformaton. 6) 3

4 and lkewse of the dvergences occurrng n Theorem I, once the parameters are subjected to sutable transformatons. For Theorem II, smlarly, we get relatve nvarance of the left-hand sdes of the dependences as assocated wth the ad of the arbtrary functons; and as a consequence of ths, another functon whose dvergence vanshes dentcally and admts of the group medatng, n the physcsts theory of relatvty, the connecton between dependences and the law of conservaton of energy. 11 Theorem II, fnally, n terms of group theory, furnshes the proof of a related Hlbertan asserton about the falure of laws of conservaton of energy proper n general relatvty. Wth these supplementary remarks, Theorem I comprses all theorems on frst ntegrals known to mechancs etc., whle Theorem II may be descrbed as the utmost possble generalzaton of the general theory of relatvty n group theory. 2. Dvergence Relatonshps and Dependences Let G be a fnte or nfnte contnuous group; then t s always possble to arrange for the zero values of the parameters ǫ, or of the arbtrary functon px), to correspond to the dentty transformaton. 12 The most general transformaton wll therefore be of the form y = A x,u, u ),... = x + x +... v y) = B x,u, u ),... = u + u +... where x, u stand for the terms of lowest dmenson n ǫ, or px) and ts dervatves; n whch, n fact, they wll be assumed lnear. As wll afterwards appear, ths s no restrcton of generalty. Now let the ntegral I be an nvarant wth respect to G, satsfyng, that s, the relatonshp 1). Then n partcular, I wll also be nvarant wth respect to the nfntesmal transformaton y = x + x ; v y) = u + u ; contaned n G, and for ths relaton 1) goes over nto 0 = I =... f y,vy), v ) y,... dy... f x,ux), u ),... dx, 7) where the frst ntegral s to be extended over the x+ x nterval correspondng to the x-nterval. But ths ntegraton may alternatvely be transformed nto an ntegraton over the x-nterval, but vrtue of the transformaton, vald for nfntesmal x,... f y,vy), v y,... ) dy =... f x,ux), u,... ) dx+... So f n place of the nfntesmal transformaton u, we ntroduce the varaton Dvf x)dx. 8) δu = v x) u x) = u u λ x λ, 9) then 7) and 8) go over nto 0 =... {δf +Dvf x) } dx. 10) The rght-hand sde s the famlar formula for smultaneous varaton of the dependent and ndependent varables. Snce the relaton 10) s satsfed for ntegraton over any arbtrary nterval, the 11 Compare Klen s second note. 12 Cf. e.g., Le, Grundlagen, p Where arbtraryfunctons are concerned, the specal values a σ ofthe parameters are to be replaced by fxed functons p σ, pσ,...; and correspondngly, the values aσ +ǫ by p+px), pσ + p, etc. 4

5 ntegrand must vansh dentcally; therefore Le s dfferental equatons for the nvarance of I goes over nto the relaton δf +Dvf x) = 0. 11) If n ths, by 3), δf s expressed n terms of the Lagrange expressons, we get ψ δu = DvB B = A f x), 12) and ths relatonshp, therefore, for every nvarant ntegral I, represents an dentty n all arguments that occur; t s the requred form of Le s dfferental equatons for I. 13 Now for the present let G be taken to be a fnte contnuous group G ρ ; snce by hypothess u and x are lnear n the parametersǫ 1,..., ǫ ρ, hence by 9) the same holds for δu and ts dervatves; therefore A and B are lnear n the ǫ s. So f I let B = B 1) ǫ B ρ) ǫ ρ ; δu = δu 1) ǫ δu ρ) ǫ ρ, where, that s δu 1),... are functons of x, u, u,..., the requred dvergence relatonshps follow from 12): ψ δu 1) = DvB 1) ;... ψ δu ρ) = DvB ρ). 13) Thus ρ lnearly ndependent combnatons of the Lagrange expressons become dvergences; the lnear ndependence follows from the fact that by 9), δu = 0, x = 0 would ental u = 0, x = 0, or n other words a dependency between the nfntesmal transformatons. But by hypothess, none such s satsfed for any value of the parameters, snce otherwse the G ρ regenerated by ntegraton from the nfntesmal transformatons would depend on fewer than ρ essental parameters. But the further possblty δu = 0, Dvf x) = 0 was excluded. These conclusons hold good even n the lmtng case of nfntely many parameters. Now let G be an nfnte contnuous group G ρ ; then δu and ts dervatves, and hence B also, wll agan be lnear n the arbtrary functons of px) and ther dervatves; 14 ndependently of 12), further, by substtuton of the values of δu, let ψ δu = { ψ a λ) x,u,...)p λ) x)+b λ) x,u,...) pλ) +...+cλ) x,u,...) σ p λ) } σ. λ, Now, by the dentty ϕx,u,...) τ px) τ = 1) τ τ ϕ px) mod Dvergences τ and analogously to the partal ntegraton formula, the dervatves of p can be replaced by p tself and by dvergences that wll be lnear n p and ts dervatves; hence we get ψ δu = { a λ) ψ ) } bλ) ψ ) ) σ σ σcλ) ψ ) p λ) +DvΓ 14) λ and n conjuncton wth 12) { a λ) ψ ) } bλ) ψ ) ) σ σ σcλ) ψ ) p λ) = DvB Γ). 15) I now form the n-fold ntegral over 15), extended over any nterval; and choose the px) s such that they, wth all dervatves occurrng n B Γ), wll vansh at the boundary. Snce the ntegral 13 12) goes over nto 0 = 0 for the trval case whch can occur only f x, u depend also on dervatves of the u s when Dvf x) = 0, δu = 0; thus these nfntesmal transformatons are always to be elmnated from the groups, and only the number of remanng parameters, or arbtrary functons, s to be counted n the formulaton of the theorems. Whether the remanng nfntesmal transformatons stll form a group must be left moot. 14 That t sgnfes no restrcton to assume the p s free from u, u, s shown by the converse. 5

6 over a dvergence reduces to a boundary ntegral, then, the ntegral over the left sde of 15) wll also vansh for px) s whch are arbtrary except that they and suffcently many of ther dervatves vansh at the boundary; and thence follows, by known nferences, the vanshng of the ntegrand for every px), or n other words the ρ relatonshps: { a λ) ψ ) } bλ) ψ ) ) σ σ σcλ) ψ ) = 0 λ = 1,2,...,ρ). 16) These are the requred dependences between the Lagrange expressons and ther dervatves for nvarance of I wth respect to G ρ ; the lnear ndependence s proved as above, snce the converse leads back to 12), and snce we can agan argue back from the nfntesmal transformatons to the fnte ones, as wll be explaned more fully n Secton 4. In the case of a G ρ, that s to say, even n the nfntesmal transformatons there always occur ρ arbtrary transformatons. Equaton 15) and 16) further ental DvB Γ) = 0. If, as corresponds to a mxed group, x and u are taken lnear n the ǫ s and px) s, then we see, by equatng frst the px) s and then the ǫ s to zero, that both dvergence relatonshps 13) and dependences 16) hold. 3. Converse n Case of Fnte Group To prove the converse, we are frst to run through essentally the foregong arguments n reverse order. From the fact of 13), by multplcaton by the ǫ s and addng, the fact of 12) follows; and thence, by vrtue of the dentty 3), a relatonshp δf +DvA B) = 0. So f we put x = 1 A B), we f have thereby arrved at 11); whence fnally, by ntegraton, there follows 7), I = 0, or n other words the nvarance of I wth respect to the nfntesmal transformaton determned by x, u, where u s by vrtue of 9) are determned from x and δu, and x and u become lnear n the parameters. But I = 0 entals, n known manner, the nvarance of I wth respect to the fnte transformatons generated by ntegraton of the smultaneous system dx dt = x ; du dt = u ; x = y, u = v, for t = 0). 17) These fnte transformatons contan ρ parameters a 1...a ρ, namely the combnatons tǫ 1,..., tǫ ρ. From the assumpton that there are ρ and only ρ lnearly ndependent dvergence relatonshps 13), t follows further that the fnte transformatons, once they do not contan the dervatves u, always form a group. For n the contrary case, at least one nfntesmal transformaton generated by Le s bracketng process would fal to be a lnear combnaton of the other ρ; and snce I admts of ths transformaton also, there would be more than ρ lnearly ndependent dvergence relatonshps; or elsethat nfntesmal transformatonwouldbe ofthe specalform whereδu = 0, Dvf x) = 0, but n that case x or u, contrary to hypothess, would depend on dervatves. Whether ths case can arse when dervatves occur n x or u must be left moot; n that case, the x determned above must be augmented by all functons x for whch Dvf x) = 0 to restore the group property, but by agreement the parameters thereby adjoned are not to count. Ths completes the proof of the converse. From ths converson, t follows further that x and u can actually be assumed lnear n the parameters. For f u and x were forms of hgher degree n ǫ, then by the lnear ndependence of the power products of the ǫ s, qute analogous relatons 13) would follow, only n greater number, from whch, by the converse, nvarance of I follows wth respect to a group whose nfntesmal transformatons contan the parameters lnearly. If ths group s to contan exactly ρ parameters, then lnear dependences must subsst between the dvergence relatonshps orgnally obtaned through the terms of hgher degree n ǫ. Let us add the remark that n the case where x and u also contan dervatves of the u s, the fnte transformatons may depend on nfntely many dervatves of the u s; for n that case the 6

7 ) ntegraton of 17), n the determnaton of d2 x dt 2, d2 u u leads to = u u x λ, dt2 κ κ λ κ λ so that the number of dervatves n general ncreases at each step. By way of example, say, f = 1 2 u 2 ; ψ = u ; ψ x = d dx u u x); δu = x ǫ; x = 2u ǫ; u = x 2u ) u 2 u ǫ Snce the Lagrange expressons of a dvergence vansh dentcally, the converse shows, fnally, the followng: f I admts of a G ρ, then any ntegral that dffers from I only by a boundary ntegral,.e., by an ntegral over a dvergence, lkewse admts of a G ρ havng the same δu s whose nfntesmal transformatons wll n general contan dervatves of the u s. Thus for nstance, correspondng to the above example, f = 1 { u 2 d )} u 2 admts of the nfntesmal transformaton u = xǫ, 2 dx x x = 0; whle dervatves of the u s occur n the nfntesmal transformatons correspondng to f. Passng over to the varatons problem,.e., puttng ψ = 0, 15 13) goes over nto the equaton DvB 1) = 0,...,DvB ρ) = 0, often referred to as laws of conservaton. In the one-dmensonal case,tfollowsfromthsthatb 1) = const., B ρ) = const.; andheretheb scontanatmost2κ 1)st dervatves of the u s by 6)), provded u and x contan no hgher dervatves than the κ-th one occurrng n f. Snce 2κ-th dervatves n general occur n ψ, 16 therefore, we have the exstence of ρ frst ntegrals. That there may be non-lnear dependences among these s agan shown by the above f. To the lnearlyndependent u = ǫ 1, x = ǫ 2 there correspondthe lnearlyndependent relatons u = d dx u ; u u = 1 d 2dx u ) 2 ; whereas between the frst ntegrals u = const., u 2 = const. a nonlnear dependency exsts. Ths relates to the elementary case where u, x contan no dervatves of the u s Converse n Case of Infnte Group Frst let us show that the assumpton of lnearty of x and u consttutes no restrcton, a concluson whch follows, even wthout the converse, from the fact that G ρ formally depends on ρ and only ρ arbtrary functons. For t turns out that n the non-lnear case, upon composton of the transformatons, whereby the terms of lowest order are added together, the number of arbtrary functons would ncrease. In fact, say, let y = A x,u, u,...;p ) = x+ ax,u,...)p ν +bx,u,...)p ν 1 p ) 2 ) ν p p +cp ν d +... and correspondngly v = B x,u, u ),...;p ; then by composton wth z = A the terms of lowest order, we get z = x+ { ap ν +q ν )+b p ν 1 p } { p +qν 1 q +c p ν 2 p ν = p 1) ) ν1...p ρ) ) νρ ) ; y,v, v ) y,...;q, for ) 2 ) } 2 q +q ν ψ = 0, or, somewhat more generally, ψ = T, where T are newly adjoned functons, are referred to n physcs as feld equatons. In the case ψ = T, the denttes 13) goes over nto equatons DvB λ) = T δu λ), lkewse known n physcs as laws of conservaton. 16 Provded f s non-lnear n the κ-th dervatves. 17 Otherwse we also have u λ = const. for every λ, correspondng to u u ) λ 1 = 1 d λ dx u ) λ. 7

8 Here, f any ) coeffcent dfferent from a and b s dfferent from zero, n other words, f a term σ ) σ p q p ν σ +q ν σ actually occurs for σ > 1 t cannot be wrtten as a dfferental quotent of a sngle functon or power product of one; the number of arbtrary functons, contrary to hypothess, has thus ncreased. If all coeffcents dfferent from a and b vansh, then, accordng to the values of the exponents ν 1,..., ν ρ, the second term wll become the dfferental quotent of the frst as always, for example, for a G 1 ), so that lnearty does actually result; or else the number of arbtrary functons must agan ncrease. The nfntesmal transformatons, then, owng to the lnearty of the px) s, satsfy a system of lnear partal dfferental equatons; and snce the group property s satsfed, they consttute an nfnte group of nfntesmal transformatons accord to Le s defnton Grundlagen, 10). Now the converse s arrved at smlarly to the case of the fnte group. The fact that the dependences 16) hold leads, through multplcaton by p λ) and addton, by vrtue of the dentty transformaton 14), to ψ δu = DvΓ and thence, as n Secton 3 follows the determnaton of x and u and the nvarance of I wth respect to these nfntesmal transformatons, whch do actually depend lnearly on ρ arbtrary functons and ther dervatves up to the σ-th order. The fact that these nfntesmal transformatons, f they contan no dervatves u,..., certanly form a group, follows, as n Secton 3, from the fact that otherwse, by composton more arbtrary functons would occur, whereas by assumpton there are to be only ρ dependences 16); hence they form an nfnte group of nfntesmal transformatons. But such a one conssts Grundlagen, Theorem VII, p. 391) of the most general nfntesmal transformatons of a certan nfnte group G of fnte transformatons, n Le s sense, thereby defned. Each such fnte transformaton s generated from nfntesmal ones Grundlagen, 7), 18 and so arses through ntegraton of the smultaneous system dx dt = x ; du dt = u ; x = y, u = v, for t = 0), where, however, t may be necessary further to assume the arbtrary px) s dependent on t. Thus G does actually depend on ρ arbtrary functons; f n partcular t suffces to assume px) free from t, then ths dependency becomes analytc n the arbtrary functon qx) = t px). 19 If dervatves u,..., occurs, t may be necessaryalsoto adjon nfntesmal transformatons)δu = 0, Dvf x) = 0 before drawng the same conclusons. In terms of an example of Le s Grundlagen, 7), let us add menton of a farly general case n whch t s possble to break through to explct formulas, whch at the same tme show that the dervatves of the arbtrary functons up to the σ-th order to occur; where, n other words, the converse s complete. I refer to such groups of nfntesmal transformatons of the u s thereby nduced corresponds;.e., such transformatons of the u s for whch u, and consequently u, depend only on the arbtrary functons occurrng n x; assumng further that the dervatves u,... do not occur n u. That s we have n x = p ) x); u = {a λ) x,u)p λ) +b λ) pλ) p λ) } +...+cλ) σ dx σ. λ=1 Snce the nfntesmal transformaton x = px) generates every transformaton x = y + gy) wth arbtrary gy), we can n partcular determne px) to depend on t n such a matter as to generate the sngle-member group x = y +t g y), 18) 18 Hence t follows n partcular that the group G generated from the nfntesmal transformatons x, u of a G ρ reduces back to G ρ. For G ρ contans no nfntesmal transformatons dstnct from x, u dependent on arbtrary functons, and cannot contan any ndependent of them but dependng on parameters, as otherwse t would be a mxed group. But accordng to the above, the nfntesmal transformatons determne the fnte ones. 19 The queston whether perhaps ths latter case always occurs was rased n a dfferent formulaton by Le Grundlagen, 7 and 13 at end). 8

9 whch goes over nto the dentty for t = 0 and nto the requred x = y + gy) for t = 1. For by dfferentaton of 18), t follows that dx dt = g y) = p ) x,t), 19) where px, t) s determned from gy) by nverson of 18); and conversely, 18) s generated from 19) by vrtue of the auxlary condton x = y for t = 0, by whch the ntegral s unquely determned. By means of 18), the x s can be replaced n u by the constants of ntegraton y and by t; the gy) s occurrng just up to the σ-th dervatve, the y s beng expressed n terms of y n p = g y κ y κ, and σ p g beng n general replaced by ts value n,..., σ y y,..., σ x yσ. For the determnaton of the u s we thus obtan the system of equatons du dt = F gy), g y,... σ g y σ,u,t ) u = v for t = 0) n whch only t and u are varables, whle the gy),... pertan to the feld of coeffcents, so that ntegraton yelds u = v +B v,gy), g ) y,... σ g y σ,t, t=1 or transformatons dependng on exactly σ dervatves of the arbtrary functons. The dentty s contanedn ths, by 18), forgy) = 0; and the grouppropertyfollowsfrom the fact that the method specfed affords every transformaton x = y + gy), whereby the nduced transformaton of the u s s unquely determned, and the group G accordngly exhausted. From the converse t follows ncdentally that t consttutes no restrcton to assume the arbtrary u functons to be dependent only on the x s, not on the u,,... For n the latter event, the dentty transformaton 14), and hence also 15), would nvolve not only the p λ) s but also pλ) u, p λ) u,... Now f we assume the pλ) s to be successvely of the zeroth, frst,... degree n u, u,..., wth arbtrary functons of x as coeffcents, then we agan obtan dependences 16), only n greater number; whch, however, accordng to the above converse, through conjuncton wth arbtraryfunctonsdependentonxonly, reducetotheprevouscase. Inthesamewaytsshownthat mxed groups correspond to smultaneous occurrence of dependences and of dvergence relatonshps ndependent of them As n Secton 3, t here agan follows from the converse that besdes I, every ntegral I dfferent from t by an ntegral over a dvergence lkewse admts of an nfnte group, wth the same δu s, though x and u wll n general nvolve dervatves of the u s. Such an ntegral I was ntroduced by Ensten n the general theory of relatvty to obtan a smpler verson of laws of conservaton of energy; I specfy the nfntesmal transformatons that ths I admts of, adherng precsely n nomenclature to Klen s second Note. The ntegral I =... Kdω =... KdS admts of the group of all transformatons of the ω s and those nduced thereby for the g µν s; to ths correspond the dependences Klen s 30)) Kµνg τ µν +2 g µν K µτ ω σ = 0. Now I =... K ds, where K = K + Dv, and consequently K µν = K µν, where K µν, K µν stand n each nstance for the Lagrange expressons. The dependences specfed are therefore such for K µν also; and after multplcaton by p τ and addton, we obtan, applyng the transformatons of product dfferentaton n reverse, Kµνp µν +2 Dv g µσ K µτp τ) = 0; δk +Dv ) 2g µσ K µτp τ K g σ µν p µν = 0. Comparng ths wth Le s dfferental equaton δk +DvK ω) = 0, ω σ = 1 K 2g µσ K µτp τ K g σ µν p µν ) ; g µν = p µν + g µν σ ω σ 9

10 5. Invarance of the Several Consttuents of the Relatons If we specalze the group G to be the smplest case usually consdered by allowng no dervatves of the u s n the transformatons, and n that the transformed ndependent varables depend only on the x s not on the u s, we can nfer nvarance of the several consttuents n formulas. To begn wth, by known arguments, we get nvarance of... ψδu )dx; relatve nvarance, that s of ψ δu, 21 meanng by δ any varaton. For we have n the frst place δi =... δf x,u, u ),... dx =... δf y,v, v ) y,... dy, and n the second place, for δu, δ u,... vanshng at the boundary, accordng to whch δv, δ v y,... vanshng at the boundary also owng to the lnear homogeneous transformaton of the δu, δ u,..., δf x,u, u ),... dx = δf y,v, v ) y,... dy = )... ψ u,...)δu dx; )... ψ v,...)δv dy, and consequently, for δu, δ u,... vanshng at the boundary, ) )... ψ u,...)δu dx =... ψ v,...)δv dy = )... ψ v,...)δv y κ dx. If n the thrd ntegral y, v, δv are expressed n terms of x, u, δu, and the thrd s equated to the frst, we thus have a relatonshp )... χ u,...)δu dx = 0 for δu vanshng at the boundary but otherwse arbtrary, and thence follows, famlarly, the vanshng of the ntegrand for any δu whatever; the relaton ψ u,...)δu = y ) κ ψ v,...)δv, dentcal n δu, therefore holds, assertng the relatve nvarance of ψ δu and consequently the nvarance of... ψ δu )dx. 22 follow as nfntesmal transformatons of whch I admts. These nfntesmal transformatons, then depend on the frst and second dervatves of the g µν s, and contan the arbtrary p s as far as the frst dervatve. 21 That s, ψ δu takes on a factor upon transformaton, and ths always used to be termed relatve nvarance n the algebrac theory of nvarance. 22 These conclusons fal f y depends also on the u s, snce n that case δf y,v, v ) y,... also contans terms f δy, so that the dvergence transformaton does not lead to the Lagrange expressons; and smlarly f dervatves y of the u s are admtted; for n that case the δv s become lnear combnatons of δu, δ u,..., and so lead only after another dvergence transformaton to an dentty... χ u,...)δu)dx = 0, so that agan the Lagrange expressons do not appear on the rght. The queston whether t s possble to argue from the nvarance of... ψ δu )dx back to the subsstence of dvergence relatonshps s synonymous, accordng to the converse, wth the queston whether one can thence nfer the nvarance of I wth respect to a group leadng not necessarly to the same u, x, but to the same δu s. In the specal case of the sngle ntegral and only frst dervatves n f, t s possble for the fnte group to argue from the nvarance of the Lagrange expressons to the exstence of frst ntegrals c.f. e.g., Engel, Gött. Nachr. 1916, p. 270). 10

11 To apply ths to the dvergence relatonshps and dependences derved, we must frst demonstrate that the δu dervedfrom the u, x s does n fact satsfythe lawsoftransformatonforthe varaton δu, provded only that the parameters, or arbtrary functons, n δv are so determned as corresponds to the smlar group of nfntesmal transformatons n y, v; f T q desgnates the transformaton that carres x, u over nto y, v, and T p and nfntesmal one n x, u, then the one smlar thereto n y, v s gven by T r = T q T p T 1 q, where the parameters, or arbtrary functons r, are thus determned from p and q. In formulas, ths s expressed as follows: T p : ξ = x+ xx,p); u = u+ ux,u,p); T q : y = Ax,q); v = Bx,u,q); T q T p : η = Ax+ xx,p), q); v = Bx+ xp),u+ up), q). But ths generates T r = T q T p T 1 q, or η = y + yr); v = v + vr), f by the nverse T q we regard the x s as functons of the y s and consder only the nfntesmal terms; so we have the dentty η = y + yr) = y + Ax,q) xp); v = v + vr) = v + Bx,u,q) xp)+ Bx,u,q) up). 20) u Replacng ξ = x+ x by ξ ξ n ths so that ξ goes back nto x, and x vanshes, by the frst equaton 20) η too wll go back over nto y = η η; f by ths substtuton up) goes over nto δup), then vr) wll go over nto δvr) as well, and the second formula 20) gves v +δvy,v,...r) = v + Bx,u,q) δup), u δvy,v,...r) = B u κ δu κ x,u,p), so that the transformaton formulas for varatons are actually satsfed provded δv s assumed to depend only on the parameters or arbtrary functons r. 23 So n partcular, the relatve nvarance of ψ δu follows: hence also, by 12), snce the dvergence relatonshps are satsfed n y, v as well, the relatve nvarance of DvB; and further, by 14) and 13), the relatve nvarance of DvΓ and of the left-hand sdes of the dependences as conjoned wth the p λ) s, where the arbtrary px) s or the parameters) are to be replaced by the r s everywhere n the transformed formulas. Ths leads as well to the relatve nvarance of DvB Γ), or of a dvergence of a not dentcally vanshng system of functons B Γ whose dvergence vanshes dentcally. From the relatve nvarance of Dv B, we can draw addtonal nference of nvarance of the frst ntegral n the one-dmensonal case and for fnte group. The parametrc transformaton correspondng to the nfntesmal transformaton becomes, by 20), lnear and homogeneous, and owng to the nvertblty of all transformatons, the ǫ s also wll be lnear and homogeneous n the transformed parameters ǫ. Ths nvertblty s certanly preserved f we put ψ = 0, snce no dervatves of the u s occur n 20). Through equatng the coeffcents of the ǫ s n DvBx,u,...ǫ) = dy dx DvBy,v,...ǫ ) 23 It turns out agan that y must be taken ndependent of u n order for the conclusons to hold. As an example, consder the δg µν and δq ρ gven by Klen, whch satsfy the transformatons for varatons provded the p s are subjected to a vector transformaton. 11

12 the d d dy Bλ) y,v,...) s therefore also become lnear homogeneous functons of dx Bλ) x,u,...) s so d that dx Bλ) x,u,...) = 0 or B λ) x,u) = const. duly entals d dy Bλ) y,v,...) = 0 or B λ) y,v) = const. as well. So the ρ frst ntegrals correspondng to a G ρ n each nstance admt of the group, wth result that the further ntegraton s smplfed. The smplest example of ths s that f s free of x or of a u, whch corresponds to the nfntesmal transformaton x = ǫ, u = 0, or x = 0, u = ǫ. We shall have δu = ǫ du or ǫ respectvely, and snce B s derved from f and δu by dx dfferentaton and ratonal combnaton, t s free accordngly of x or u respectvely, and admts of the correspondng groups A Hlbertan Asserton From the foregong, fnally, we also obtan the proof of a Hlbertan asserton about the connecton of the falure of laws of conservaton of energy proper wth general relatvty Klen s frst Note, Göttnger Nachr. 1917, Reply 1st paragraph), and that n a generalzed group theory verson. Let the ntegral I admt of a G ρ, and let G ρ be any fnte group generated by specalzng the arbtrary functons, and hence a subgroup of G ρ. Then to the nfnte group G ρ there correspond dependences 16), and to the fnte one G σ, dvergence relatonshps 13); and conversely from the subsstence of any dvergence relatonshps, the nvarance of I follows, wth respect to some fnte groupwhch wll be dentcal wth G σ fand only f the δu sare lnearcombnatonsofthose obtaned from G σ. Thus the nvarance wth respect to G σ cannot lead to any dvergence relatonshps dfferent from 13). But snce the subsstence of 16) entals the nvarance of I wth respect to the nfntesmal transformatons, u, x of G ρ for any px), t entals n partcular nothng less than nvarance wth respect to the nfntesmal transformatons of G σ arsng therefrom by specalzaton = DvB λ) must be consequences of the dependences 16), whch latter may alternatvely be wrtten ψ a λ) = Dvχ λ) where the χ λ) s are lnear combnatons of the Lagrange expressons and ther dervatves. Snce the ψ s occur lnearly n both 13) and 16), the dvergence relatons must thus n partcular and consequently wth respect to G σ. Thus the dvergence relatonshps ψ δu λ) be lnear combnatons of the dependences 16); Accordngly, DvB λ) = Dv α χ κ) ) ; and the B λ) s themselves are thus lnearly composed of the χ s,.e., the Lagrange expressons and ther dervatves, and of functons whose dvergence vanshes dentcally, say lke the B Γ s encountered at the close of Secton 2, for whch DvB Γ) = 0, and where the dvergence at the same tme has the nvarant property. I shall refer to dvergence relatonshps n whch the B λ) s can be composed from the Lagrange expressons and ther dervatves n the specfed manner as mproper, and to all other as proper. If conversely the dvergence relatons are lnear combnatons of the dependences 16), and so mproper, nvarance wth respect to G σ follows from that wth respect to G ρ ; G σ becomes a subgroup of G ρ. The dvergence relatonshps correspondng to an nfnte group G σ wll thus be mproper f and only f G σ s a subgroup of an nfnte group nvarant wth respect to I. By specalzaton of the groups, ths yelds the orgnal Hlbertan asserton. Let dsplacement group be understood to mean the fnte y = x +ǫ ; v y) = u x); 24 In the cases where mere nvarance of ψ δu )dx entals the exstence of frst ntegrals, these do not admt of the entre group G ρ; for example, u δu)dx admts of the nfntesmal transformaton x = ǫ 2, u = ǫ 1 + xǫ 3 ; whereas the frst ntegral u u x = const., correspondng to x = 0, u = xǫ 3, does not admt of the other two nfntesmal transformatons, snce t explctly contans both u and x. To ths frst ntegral, there happen to correspond nfntesmal transformatons for f that contan dervatves. So we see that nvarance... ψ δu )dx s at all events a weaker condton than nvarance of I, and ths should be noted as to a queston rased n a prevous remark. 12

13 that s x = ǫ, u = 0, δu = λ u λ ǫ λ. Invarance wth respect to the dsplacement group asserts, as we know, that n I =... f x,u, u ),... dx, the x s do not occur explctly n f. The assocated n dvergence relatonshps u ψ = DvB λ) λ = 1,2,...n) λ wll be referred to as energy relatonshps, snce the laws of conservaton DvB λ) = 0 correspondng to the varaton problem answer to laws of conservaton of energy, and the B λ) s to the energy components. So then we have: If I admts of the dsplacement group, then the energy relatonshps become mproper f and only f I s nvarant wth respect to an nfnte group contanng the dsplacement group as subgroup. 25 An example of such nfnte groups s presented by the group of all transformatons of the x s and such of the nduced transformatons of the ux) s n whch only dervatves of the arbtrary functons px) occur; the dsplacement group s generated by the specalzaton p ) x) = ǫ ; but t must reman undecded whether ths and the groups generated by change of I by a boundary ntegral suffces to gve the most general of these groups. Induced transformatons of the specfed knd arse, say, when the u s are subjected to the coeffcent transformatons of a total dfferental form,.e., a form ad λ x + bd λ 1 x dx κ +... contanng hgher dfferentals besdes the dx s; more specal nduced transformatons, n whch the px) s occur n frst dervatve only, are furnshed by the coeffcent transformatonsofordnarydfferental forms cdx 1...dx λ, and only these have ordnarly been consdered. Another group of the specfed knd one whch, owng to the occurrence of the logarthmc term, cannot be coeffcent transformaton s, say, the followng: The dependences 16) here become y = x+px); v = u +ln1+p x)) = u +ln dy dx ; x = px); u = p x); 26 and the mproper energy relatonshps ψ u + dψ ) = 0, dx ψ u + dψ +const.) dx δu = p x) u px). ) = 0. A smple nvarant ntegral of the group s I = e 2u1 u dx. 1 u 2 The most general I s determned by ntegraton of Le s dfferental equaton 11) δf + d f x) = 0, dx 25 The laws of conservaton of energy of classcal mechancs as well as those of the old theory of relatvty where dx 2 goes over nto tself) are proper, snce no nfnte groups occur. 26 From these nfntesmal transformatons, the fnte ones are calculated backwards by the method gven n Secton 4 at end. 13

14 whch by substtuton of ther values for x and δu, provded f s assumed to depend on only frst dervatves of the u s, goes over nto { f f px)+ f } { } f u u u +f p x)+ u p x) = 0 dentcally n px), p x), p x)). Ths system of equatons has solutons for as few as two functons ux) actually contanng the dervatves, namely ) f = u 1 u 2 u )Φ e u1 1 u 2, u, 1 u 2 where Φ stands for an arbtrary functon of the specfed arguments. Hlbert enuncates hs asserton to the effect that the falure of proper laws of conservaton of energy s a characterstc feature of the general theory of relatvty. In order for ths asserton to hold good lterally, therefore, the term general relatvty should be taken n a broader sense than usual, and extended also to the forgong groups dependng on n arbtrary functons Ths agan confrms the correctness of a comment of Klen s that the term relatvty current n physcs s replaceable by nvarance relatve to a group. Über de geometrshen Grundlagen der Lorentzgruppe, Jhrber. d. Deutsch. Math. Vereng ), p. 287, reprnted n the Phys. Zetschrft.) 14