The Galilean transformation is used to transform between the coordinates of two reference frames which differ only by constant relative motion within the constructs of Newtonian physics. This is the passive transformation point of view. The equations below, although apparently obvious, break down at speeds that approach the speed of light due to physics described by Einstein's theory of relativity.
Galileo formulated these concepts in his description of uniform motion [1] The topic was motivated by Galileo's description of the motion of a ball rolling down a ramp, by which he measured the numerical value for the acceleration of gravity, at the surface of the Earth. The descriptions below are another mathematical notation for this concept.
Contents |
In essence, the Galilean transformations embody the intuitive notion of addition and subtraction of velocities. The assumption that time can be treated as absolute is at the heart of the Galilean transformations.
This assumption is abandoned in the Lorentz transformations. These relativistic transformations are deemed applicable to all velocities, whilst the Galilean transformation can be regarded as a low-velocity approximation to the Lorentz transformation.
The notation below describes the relationship of two coordinate systems (x′ and x) in constant relative motion (velocity v) in the x-direction according to the Galilean transformation:




Note that the last equation expresses the assumption of a universal time independent of the relative motion of different observers.
Under the Erlangen program, the space-time (no longer spacetime) of nonrelativistic physics is described by the symmetry group generated by Galilean transformations, spatial and time translations and rotations.
The Galilean symmetries (interpreted as active transformations):
Spatial translations:


Time translations:




Rotations and Reflections:


where R is an orthogonal matrix.
The Galilean group: Here, we will only look at its Lie algebra. It's easy to extend the results to the Lie group. The Lie algebra of L is spanned by E, Pi, Ci and Lij (antisymmetric tensor) subject to commutators (operators of the form [,]), where
![[E,P_i]=0 \,\!](http://upload.wikimedia.org/math/e/5/5/e55bbcb6a86c6f29c5ce79228c94db83.png)
![[P_i,P_j]=0 \,\!](http://upload.wikimedia.org/math/7/1/4/714ee7c4593f9d028979d594a444a160.png)
![[L_{ij},E]=0 \,\!](http://upload.wikimedia.org/math/5/1/9/519a90ca8b0a0039488467baad67802e.png)
![[C_i,C_j]=0 \,\!](http://upload.wikimedia.org/math/9/6/b/96bbec83e55ace393e4a1ae676f802ea.png)
![[L_{ij},L_{kl}]=i\hbar [\delta_{ik}L_{jl}-\delta_{il}L_{jk}-\delta_{jk}L_{il}+\delta_{jl}L_{ik}] \,\!](http://upload.wikimedia.org/math/2/a/7/2a78cf36212d2b7f3d6a23bab89520cb.png)
![[L_{ij},P_k]=i\hbar[\delta_{ik}P_j-\delta_{jk}P_i] \,\!](http://upload.wikimedia.org/math/1/7/c/17c1f3cde8b6aeaf6817d9ffa96408cd.png)
![[L_{ij},C_k]=i\hbar[\delta_{ik}C_j-\delta_{jk}C_i] \,\!](http://upload.wikimedia.org/math/b/2/e/b2e6549b288075ce99f9f2f3396b554b.png)
![[C_i,E]=i\hbar P_i \,\!](http://upload.wikimedia.org/math/4/2/6/426a9cb64840691dc5be4530bcab6104.png)
![[C_i,P_j]=0 \,\!](http://upload.wikimedia.org/math/7/3/9/739fb4bddf8c97bf5ed6302314b1de6d.png)
We can now give it a central extension into the Lie algebra spanned by E', P'i, C'i, L'ij (antisymmetric tensor), M such that M commutes with everything (i.e. lies in the center, that's why it's called a central extension) and
![[E',P'_i]=0 \,\!](http://upload.wikimedia.org/math/4/4/1/441b6ede2a0ad83c66d4798ce45fb885.png)
![[P'_i,P'_j]=0 \,\!](http://upload.wikimedia.org/math/e/4/1/e416d2fe973d9378e11cba0a9b9a705d.png)
![[L'_{ij},E']=0 \,\!](http://upload.wikimedia.org/math/9/1/8/9184ddb56bac2495c75a7616de1e077a.png)
![[C'_i,C'_j]=0 \,\!](http://upload.wikimedia.org/math/e/5/b/e5b3a1020639092d849c1d517fb52ccf.png)
![[L'_{ij},L'_{kl}]=i\hbar [\delta_{ik}L'_{jl}-\delta_{il}L'_{jk}-\delta_{jk}L'_{il}+\delta_{jl}L'_{ik}] \,\!](http://upload.wikimedia.org/math/b/8/8/b88facd406a6f7d639b800ffd860b618.png)
![[L'_{ij},P'_k]=i\hbar[\delta_{ik}P'_j-\delta_{jk}P'_i] \,\!](http://upload.wikimedia.org/math/3/a/5/3a5e205e8a6458de3275203b6d467aaf.png)
![[L'_{ij},C'_k]=i\hbar[\delta_{ik}C'_j-\delta_{jk}C'_i] \,\!](http://upload.wikimedia.org/math/3/4/0/3401a5a46f79bec13d5203edae47191e.png)
![[C'_i,E']=i\hbar P'_i \,\!](http://upload.wikimedia.org/math/6/f/6/6f6ceabf9714a21d4366b1d42b46b601.png)
![[C'_i,P'_j]=i\hbar M\delta_{ij} \,\!](http://upload.wikimedia.org/math/8/1/8/81814bc5efbeb1405d9b78f22feab552.png)