Contraction of a Lie Algebra with respect to one of its Subalgebras and its application to Group Representations
|
|
- Ολυμπία Καλογιάννης
- 5 χρόνια πριν
- Προβολές:
Transcript
1 Contraction of a Lie Algebra with respect to one of its Subalgebras and its application to Group Representations Maury LeBlanc Department of Mathematics The University of Georgia 1 December 2011
2 Motivation Classical Mechanics is the limiting case of relativistic mechanics. Hence the group of the former, the Galilei group, must be in some sense a limiting case of the relativistic mechanics group, the representations of the former must be limiting cases of the latter s representations. -Inonu and Wigner
3 -1 / 61 Motivation Oftentimes while studying physics, we are forced by our lack of understanding to master first a simple model in hopes of generalizing the result. In the study of curved space-times, it is often convenient first to consider flat Minkowski space-time and then extend to the curved case. In this talk I will investigate one of the tools physicists use to conduct such studies: the concept of contraction. Beginning with a family of manifolds, we can contract this family to a simpler case where we already have a firm understanding of the manifold structure. We will further simplify this process by utilizing Lie algebras.
4 Outline Background Main definitions Examples Main Object of Study: The ax + b Group Group Structure Lie Algebra Structure Contraction of a Lie Algebra with Respect to a Subalgebra R 2 sl2 (C) Heisenberg Algebra ax + b Algebra Constructing a Group Contraction in Unitary Representations Representation of the family Gρ for ρ 0 Contraction in terms of these Representations.
5 Background
6 2 / 61 What is a Lie algebra? Definition A Lie algebra is a vector space, L, over a field with an operation [, ] : L L L called the bracket which satisfies: Bi-linearity [xx] = 0 for all x L [x[yz]] + [y[zx]] + [z[xy]] = 0 for all x, y, z L Remarks: This last condition is the Jacobi Identity and is usually the only condition whose verification requires work. Notice that the first two conditions give anti-commutativity: [yx] = [xy]
7 2 / 61 What is a Lie algebra? Definition A Lie algebra is a vector space, L, over a field with an operation [, ] : L L L called the bracket which satisfies: Bi-linearity [xx] = 0 for all x L [x[yz]] + [y[zx]] + [z[xy]] = 0 for all x, y, z L Remarks: This last condition is the Jacobi Identity and is usually the only condition whose verification requires work. Notice that the first two conditions give anti-commutativity: [yx] = [xy]
8 3 / 61 What is a subalgebra? Definition A subspace s of g is a subalgebra if [xy] s whenever x, y s. A subalgebra is a Lie algebra in its own right relative to the inherited operations.
9 4 / 61 What is a Lie group? Definition A Lie group is a group which is also a differentiable manifold. Therefore in a Lie group, the following maps must be differentiable: the multiplication map (g, h) gh the identity map {e} id (Note: this map is trivially differentiable) the inversion map g g 1
10 5 / 61 How are they connected? Let G be a Lie group. Since the Lie group G has a manifold structure, we can consider the tangent space to G at the id, T e (G). We can define the vector space g = T e (G). For x, y g, we can form left-invariant vector fields X and Y on G with X e = x and Y e = y. The commutation bracket of these two vector fields is another left-invariant vector field: [XY ] = Z Define [xy] := Z e
11 5 / 61 How are they connected? Let G be a Lie group. Since the Lie group G has a manifold structure, we can consider the tangent space to G at the id, T e (G). We can define the vector space g = T e (G). For x, y g, we can form left-invariant vector fields X and Y on G with X e = x and Y e = y. The commutation bracket of these two vector fields is another left-invariant vector field: [XY ] = Z Define [xy] := Z e
12 6 / 61 Example 1: R 2 Example R 2 is an abelian group under addition. It is also a manifold. The multiplication map ((x, y), (x, y )) (x + x, y + y ) and the inversion map (x, y) ( x, y) are differentiable. Hence R 2 is a Lie group. Since T e (R 2 ) = R 2, its Lie algebra is also abelian - i.e. the Lie algebra is spanned by {X, Y } satisfying [XY ] = 0. Notice however that these R 2 s are different objects. The Lie group is equipped with neither a bracket nor a vector space structure.
13 7 / 61 Example 2: SL 2 (C) Example SL 2 (C) is the collection of 2 2 matrices with determinant one. It forms a Lie group under matrix multiplication. Claim The set of all 2 2 complex matrices with trace zero is the Lie algebra of SL 2 (C)
14 7 / 61 Example 2: SL 2 (C) Example SL 2 (C) is the collection of 2 2 matrices with determinant one. It forms a Lie group under matrix multiplication. Claim The set of all 2 2 complex matrices with trace zero is the Lie algebra of SL 2 (C)
15 8 / 61 sl 2 (C) = {x M 2 2 (C) tr(x) = 0} Proof. SL 2 (C) is the set of 2 2 matrices with determinant one. Using the natural correspondence of M 2 2 (C) and C 4, SL 2 (C) can be viewed as the sub-manifold M of ordered quadruples in C 4 for which f (a, b, c, d) = ad bc 1 equals zero. The gradient of f is given by ( d, c, b, a ). The gradient of f at the identity element of SL 2 (C) (which corresponds to (1, 0, 0, 1) in C 4 ) is (1, 0, 0, 1). Since the gradient is orthogonal to the level sets, T (1,0,0,1) (M ) = {(a, b, c, d) C 4 (a, b, c, d) (1, 0, 0, 1) = 0} = {(a, b, c, d) C 4 a + d = 0}. We conclude that sl 2 (C) := T e (SL 2 (C)) = {x M 2 2 (C) trace(x) = 0}.
16 8 / 61 sl 2 (C) = {x M 2 2 (C) tr(x) = 0} Proof. SL 2 (C) is the set of 2 2 matrices with determinant one. Using the natural correspondence of M 2 2 (C) and C 4, SL 2 (C) can be viewed as the sub-manifold M of ordered quadruples in C 4 for which f (a, b, c, d) = ad bc 1 equals zero. The gradient of f is given by ( d, c, b, a ). The gradient of f at the identity element of SL 2 (C) (which corresponds to (1, 0, 0, 1) in C 4 ) is (1, 0, 0, 1). Since the gradient is orthogonal to the level sets, T (1,0,0,1) (M ) = {(a, b, c, d) C 4 (a, b, c, d) (1, 0, 0, 1) = 0} = {(a, b, c, d) C 4 a + d = 0}. We conclude that sl 2 (C) := T e (SL 2 (C)) = {x M 2 2 (C) trace(x) = 0}.
17 8 / 61 sl 2 (C) = {x M 2 2 (C) tr(x) = 0} Proof. SL 2 (C) is the set of 2 2 matrices with determinant one. Using the natural correspondence of M 2 2 (C) and C 4, SL 2 (C) can be viewed as the sub-manifold M of ordered quadruples in C 4 for which f (a, b, c, d) = ad bc 1 equals zero. The gradient of f is given by ( d, c, b, a ). The gradient of f at the identity element of SL 2 (C) (which corresponds to (1, 0, 0, 1) in C 4 ) is (1, 0, 0, 1). Since the gradient is orthogonal to the level sets, T (1,0,0,1) (M ) = {(a, b, c, d) C 4 (a, b, c, d) (1, 0, 0, 1) = 0} = {(a, b, c, d) C 4 a + d = 0}. We conclude that sl 2 (C) := T e (SL 2 (C)) = {x M 2 2 (C) trace(x) = 0}.
18 8 / 61 sl 2 (C) = {x M 2 2 (C) tr(x) = 0} Proof. SL 2 (C) is the set of 2 2 matrices with determinant one. Using the natural correspondence of M 2 2 (C) and C 4, SL 2 (C) can be viewed as the sub-manifold M of ordered quadruples in C 4 for which f (a, b, c, d) = ad bc 1 equals zero. The gradient of f is given by ( d, c, b, a ). The gradient of f at the identity element of SL 2 (C) (which corresponds to (1, 0, 0, 1) in C 4 ) is (1, 0, 0, 1). Since the gradient is orthogonal to the level sets, T (1,0,0,1) (M ) = {(a, b, c, d) C 4 (a, b, c, d) (1, 0, 0, 1) = 0} = {(a, b, c, d) C 4 a + d = 0}. We conclude that sl 2 (C) := T e (SL 2 (C)) = {x M 2 2 (C) trace(x) = 0}.
19 Main Object of Study
20 10 / 61 The ax + b group Example The ax + b group is the collection of affine linear transformations on R, denoted here by G. φ : G Aut(R) is given φ (b,a) (x) = ax + b Natural coordinates are (b, a) with b R and a R 0 I prefer to use coordinates (b, α) with b R and α R by setting e α = a. It is a Lie group under the group law: (b, α) (b, α ) = (b + e α b, α + α ).
21 10 / 61 The ax + b group Example The ax + b group is the collection of affine linear transformations on R, denoted here by G. φ : G Aut(R) is given φ (b,a) (x) = ax + b Natural coordinates are (b, a) with b R and a R 0 I prefer to use coordinates (b, α) with b R and α R by setting e α = a. It is a Lie group under the group law: (b, α) (b, α ) = (b + e α b, α + α ).
22 10 / 61 The ax + b group Example The ax + b group is the collection of affine linear transformations on R, denoted here by G. φ : G Aut(R) is given φ (b,a) (x) = ax + b Natural coordinates are (b, a) with b R and a R 0 I prefer to use coordinates (b, α) with b R and α R by setting e α = a. It is a Lie group under the group law: (b, α) (b, α ) = (b + e α b, α + α ).
23 11 / 61 Structure of the ax + b group Example In order to discover some of the structure of the group, we consider the conjugation action: (b, α) (B, A) (b, α) 1 = (b, α) (B, A) ( be α, α) = (b(1 e A ) + e α B, A) It is clear that the subgroup B = {(b, 0) : b R} is a normal subgroup of G. It follows that G is a solvable group since the subnormal series 1 B G has abelian factor groups. There is a map ψ : R Aut(R) given by ψ α (b) = e α b. G is a non-abelian, simply connected, two-dimensional Lie group which is isomorphic to R R.
24 11 / 61 Structure of the ax + b group Example In order to discover some of the structure of the group, we consider the conjugation action: (b, α) (B, A) (b, α) 1 = (b, α) (B, A) ( be α, α) = (b(1 e A ) + e α B, A) It is clear that the subgroup B = {(b, 0) : b R} is a normal subgroup of G. It follows that G is a solvable group since the subnormal series 1 B G has abelian factor groups. There is a map ψ : R Aut(R) given by ψ α (b) = e α b. G is a non-abelian, simply connected, two-dimensional Lie group which is isomorphic to R R.
25 11 / 61 Structure of the ax + b group Example In order to discover some of the structure of the group, we consider the conjugation action: (b, α) (B, A) (b, α) 1 = (b, α) (B, A) ( be α, α) = (b(1 e A ) + e α B, A) It is clear that the subgroup B = {(b, 0) : b R} is a normal subgroup of G. It follows that G is a solvable group since the subnormal series 1 B G has abelian factor groups. There is a map ψ : R Aut(R) given by ψ α (b) = e α b. G is a non-abelian, simply connected, two-dimensional Lie group which is isomorphic to R R.
26 11 / 61 Structure of the ax + b group Example In order to discover some of the structure of the group, we consider the conjugation action: (b, α) (B, A) (b, α) 1 = (b, α) (B, A) ( be α, α) = (b(1 e A ) + e α B, A) It is clear that the subgroup B = {(b, 0) : b R} is a normal subgroup of G. It follows that G is a solvable group since the subnormal series 1 B G has abelian factor groups. There is a map ψ : R Aut(R) given by ψ α (b) = e α b. G is a non-abelian, simply connected, two-dimensional Lie group which is isomorphic to R R.
27 11 / 61 Structure of the ax + b group Example In order to discover some of the structure of the group, we consider the conjugation action: (b, α) (B, A) (b, α) 1 = (b, α) (B, A) ( be α, α) = (b(1 e A ) + e α B, A) It is clear that the subgroup B = {(b, 0) : b R} is a normal subgroup of G. It follows that G is a solvable group since the subnormal series 1 B G has abelian factor groups. There is a map ψ : R Aut(R) given by ψ α (b) = e α b. G is a non-abelian, simply connected, two-dimensional Lie group which is isomorphic to R R.
28 12 / 61 The ax + b group as a matrix group The ax + b group can be realized as a 2 2 real matrix group. ( e γ : G GL 2 (R) given by (b, α) α ) b 0 1 ( ) 1 0 γ (0, 0) = 0 1 ( γ (b, α) 1 e = γ ( be α, α) = α be α ) 0 1 γ ((b, α) (b, α )) ( = γ (b + e α b, α + α ) e α+α b + e = α b ) 0 1 ( e = α ) ( b e α b ) = γ (b, α) γ (b, α )
29 12 / 61 The ax + b group as a matrix group The ax + b group can be realized as a 2 2 real matrix group. ( e γ : G GL 2 (R) given by (b, α) α ) b 0 1 ( ) 1 0 γ (0, 0) = 0 1 ( γ (b, α) 1 e = γ ( be α, α) = α be α ) 0 1 γ ((b, α) (b, α )) ( = γ (b + e α b, α + α ) e α+α b + e = α b ) 0 1 ( e = α ) ( b e α b ) = γ (b, α) γ (b, α )
30 12 / 61 The ax + b group as a matrix group The ax + b group can be realized as a 2 2 real matrix group. ( e γ : G GL 2 (R) given by (b, α) α ) b 0 1 ( ) 1 0 γ (0, 0) = 0 1 ( γ (b, α) 1 e = γ ( be α, α) = α be α ) 0 1 γ ((b, α) (b, α )) ( = γ (b + e α b, α + α ) e α+α b + e = α b ) 0 1 ( e = α ) ( b e α b ) = γ (b, α) γ (b, α )
31 12 / 61 The ax + b group as a matrix group The ax + b group can be realized as a 2 2 real matrix group. ( e γ : G GL 2 (R) given by (b, α) α ) b 0 1 ( ) 1 0 γ (0, 0) = 0 1 ( γ (b, α) 1 e = γ ( be α, α) = α be α ) 0 1 γ ((b, α) (b, α )) ( = γ (b + e α b, α + α ) e α+α b + e = α b ) 0 1 ( e = α ) ( b e α b ) = γ (b, α) γ (b, α )
32 13 / 61 The Lie algebra of the ax + b group Example In order to discover the Lie algebra of G, it is insightful to use its matrix representation. B := dγ db (0, 0) = ( ) A := dγ dα (0, 0) = ( e α ) (0,0) = (0,0) = ( ) ( ) Hence {B, A} serves as a basis for the tangent space to G at the identity and the Lie algebra g has the relation: ( ) ( ) ( ) ( ) [AB] = AB BA = = B
33 13 / 61 The Lie algebra of the ax + b group Example In order to discover the Lie algebra of G, it is insightful to use its matrix representation. B := dγ db (0, 0) = ( ) A := dγ dα (0, 0) = ( e α ) (0,0) = (0,0) = ( ) ( ) Hence {B, A} serves as a basis for the tangent space to G at the identity and the Lie algebra g has the relation: ( ) ( ) ( ) ( ) [AB] = AB BA = = B
34 13 / 61 The Lie algebra of the ax + b group Example In order to discover the Lie algebra of G, it is insightful to use its matrix representation. B := dγ db (0, 0) = ( ) A := dγ dα (0, 0) = ( e α ) (0,0) = (0,0) = ( ) ( ) Hence {B, A} serves as a basis for the tangent space to G at the identity and the Lie algebra g has the relation: ( ) ( ) ( ) ( ) [AB] = AB BA = = B
35 13 / 61 The Lie algebra of the ax + b group Example In order to discover the Lie algebra of G, it is insightful to use its matrix representation. B := dγ db (0, 0) = ( ) A := dγ dα (0, 0) = ( e α ) (0,0) = (0,0) = ( ) ( ) Hence {B, A} serves as a basis for the tangent space to G at the identity and the Lie algebra g has the relation: ( ) ( ) ( ) ( ) [AB] = AB BA = = B
36 14 / 61 Properties of the Lie algebra g The derived series for g is: g (0) = g g (1) = [g, g] = B g (2) = [g (1), g (1) ] = [BB] = 0. Hence g is a solvable Lie algebra. This is unsurprising as the ax + b group is solvable. The derived series of Lie algebras is the Lie algebra of the derived series of (closed) subgroups. However g is not nilpotent since its descending central series is: g 0 = g g 1 = [g, g] = B g 2 = [g, g 1 ] = [g, B] = B.
37 14 / 61 Properties of the Lie algebra g The derived series for g is: g (0) = g g (1) = [g, g] = B g (2) = [g (1), g (1) ] = [BB] = 0. Hence g is a solvable Lie algebra. This is unsurprising as the ax + b group is solvable. The derived series of Lie algebras is the Lie algebra of the derived series of (closed) subgroups. However g is not nilpotent since its descending central series is: g 0 = g g 1 = [g, g] = B g 2 = [g, g 1 ] = [g, B] = B.
38 Contraction of a Lie Algebra with Respect to a Subalgebra
39 16 / 61 What is a contraction? In this context, a contraction is a deformation of an algebra (or group) into another algebra using a singular transformation. This transformation can be used to model the limiting behavior of one algebra (or group) by effecting the structure of the algebra. A contraction is carried out with respect to a subalgebra (or subgroup); this subalgebra remains unchanged by the contraction.
40 17 / 61 Structure Constants of a Lie algebra A Lie algebra can be described by giving a basis and a set of relations. Definition Given a basis {x i } n i=1 for a Lie algebra g, the relations are given by [x i, x j ] = n k=1 C k ij x k These C k ij are known as the structure constants of g.
41 18 / 61 Contraction with respect to a subalgebra We may contract a Lie algebra with respect to any of its subalgebras by altering the structure constants. For a fixed subalgebra, s, construct a basis {x k } for s. Now extend this basis to a basis for g, {x k } {x µ }. Take c to be the span of {x µ }. We can now write g as a vector space direct sum: g = s c. Notice that c is not usually a subalgebra of g.
42 19 / 61 Contraction with respect to a subalgebra Following the contraction process laid out by Wigner & Inonu, let roman indices refer to basis elements which span s and greek indices refer to basis elements which span c. The new contracted structure constants, c k ij are given by: c k ij = C k ij c µ ij = C µ ij = 0 c k iµ = 0 c ν iµ = C ν iµ c k µν = c ϑ µν = 0 The structure constants of the subalgebra are not affected. Since s is a subalgebra, these structure constants were zero in the uncontracted algebra. This makes c an ideal of the new Lie algebra. This has the effect of abelianizing c.
43 20 / 61 Alternative description of a contraction Alternatively, we can demonstrate how the bracket between two arbitrary elements of g is affected by contraction. Let [, ] o denote the contracted Lie algebra relations and the unadorned bracket denote the original Lie algebra relations. Fix arbitrary s, t s and y, z c where c is the vector space complement of s in g. [st] o = [st] [sy] o = proj c [sy] [yz] o = 0 the projection of the bracket onto its component in c
44 21 / 61 The object described is in fact a Lie algebra Claim The contraction of a Lie algebra produces another Lie algebra. Proof. Bi-linearity and Alternating are immediately inherited from the original Lie algebra. The Jacobi Identity [x[yz] o ] o + [y[zx] o ] o + [z[xy] o ] o = 0 must be verified.
45 22 / 61 The object described is in fact a Lie algebra Proof. We can separate each bracket into its s and c components & write: [x[yz] s ] s + [x[yz] c ] s + [x[yz] s ] c + [x[yz] c ] c + [y[zx] s ] s + [y[zx] c ] s + [y[zx] s ] c + [y[zx] c ] c + [z[xy] s ] s + [z[xy] c ] s + [z[xy] s ] c + [z[xy] c ] c = 0 Thus it must be shown that [x[yz] o s ] o s + [x[yz] o c ] o s + [y[zx] o s ] o s + [y[zx] o c ] o s + [z[xy] o s ] o s + [z[xy] o c ] o s = 0 and that [x[yz] o s ] o c + [x[yz] o c ] o c + [y[zx] o s ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c + [z[xy] o c ] o c = 0
46 22 / 61 The object described is in fact a Lie algebra Proof. We can separate each bracket into its s and c components & write: [x[yz] s ] s + [x[yz] c ] s + [x[yz] s ] c + [x[yz] c ] c + [y[zx] s ] s + [y[zx] c ] s + [y[zx] s ] c + [y[zx] c ] c + [z[xy] s ] s + [z[xy] c ] s + [z[xy] s ] c + [z[xy] c ] c = 0 Thus it must be shown that [x[yz] o s ] o s + [x[yz] o c ] o s + [y[zx] o s ] o s + [y[zx] o c ] o s + [z[xy] o s ] o s + [z[xy] o c ] o s = 0 and that [x[yz] o s ] o c + [x[yz] o c ] o c + [y[zx] o s ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c + [z[xy] o c ] o c = 0
47 23 / 61 The object described is in fact a Lie algebra Proof. If x s and y, z c, then [yz] o = 0, [xy] o s = 0, [zx] o s = 0 Hence the first expression simplifies to: [x[yz] o s ] o s + [x[yz] o c ] o s + [y[zx] o s ] o s + [y[zx] o c ] o s + [z[xy] o s ] o s + [z[xy] o c ] o s = 0 and the second simplifies to: [x[yz] o s ] o c + [x[yz] o c ] o c + [y[zx] o s ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c + [z[xy] o c ] o c = 0 Each of the remaining brackets is the bracket of elements in c and thus equals zero. Hence the Jacobi Identity is satisfied.
48 24 / 61 The object described is in fact a Lie algebra Proof. If x, y s and z c, then [xy] o c = 0, [zx] o s = 0, [yz] o s = 0 Hence the first expression simplifies to: [x[yz] o s ] o s + [x[yz] o c ] o s + [y[zx] o s ] o s + [y[zx] o c ] o s + [z[xy] o s ] o s + [z[xy] o c ] o s = 0 and the second simplifies to: [x[yz] o s ] o c + [x[yz] o c ] o c + [y[zx] o s ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c + [z[xy] o c ] o c = 0 Since [yz] o c and [zx] o c c, [x[yz] o c ] o s = 0 and [y[zx] o c ] o s = 0. [z[xy] o s ] c implies that [z[xy] o s ] o s = 0 Hence the first expression equals zero.
49 24 / 61 The object described is in fact a Lie algebra Proof. If x, y s and z c, then [xy] o c = 0, [zx] o s = 0, [yz] o s = 0 Hence the first expression simplifies to: [x[yz] o s ] o s + [x[yz] o c ] o s + [y[zx] o s ] o s + [y[zx] o c ] o s + [z[xy] o s ] o s + [z[xy] o c ] o s = 0 and the second simplifies to: [x[yz] o s ] o c + [x[yz] o c ] o c + [y[zx] o s ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c + [z[xy] o c ] o c = 0 Since [yz] o c and [zx] o c c, [x[yz] o c ] o s = 0 and [y[zx] o c ] o s = 0. [z[xy] o s ] c implies that [z[xy] o s ] o s = 0 Hence the first expression equals zero.
50 25 / 61 The object described is in fact a Lie algebra Proof. In order to dispense with the second expression, [x[yz] o c ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c we use the fact that the Jacobi Identity was satisfied in the original Lie algebra. Separating the expression as before... [x[yz] s ] c +[x[yz] c ] c +[y[zx] s ] c +[y[zx] c ] c +[z[xy] s ] c +[z[xy] c ] c = 0 Since x, y, [yz] s, [zx] s s, the first, third, and last term are zero. Thus [x[yz] c ] c + [y[zx] c ] c + [z[xy] s ] c = 0 and the proof is complete.
51 25 / 61 The object described is in fact a Lie algebra Proof. In order to dispense with the second expression, [x[yz] o c ] o c + [y[zx] o c ] o c + [z[xy] o s ] o c we use the fact that the Jacobi Identity was satisfied in the original Lie algebra. Separating the expression as before... [x[yz] s ] c +[x[yz] c ] c +[y[zx] s ] c +[y[zx] c ] c +[z[xy] s ] c +[z[xy] c ] c = 0 Since x, y, [yz] s, [zx] s s, the first, third, and last term are zero. Thus [x[yz] c ] c + [y[zx] c ] c + [z[xy] s ] c = 0 and the proof is complete.
52 26 / 61 A more abstract approach Claim Let g be a Lie algebra with subalgebra s. The Lie algebra produced by contracting g with respect to s can be realized as a semi-direct product of Lie algebras. Proof. Consider the vector space direct sum decomposition: g = s c where c is defined as it was previously. Define the map φ : s End vs (g) where φ s (x) = [sx] for s s and x g.
53 27 / 61 A more abstract approach Proof. This map gives an action of s on the vector space g which maps the subalgebra s to itself. Hence there is a vector space action of s on the quotient vector space a := g / s We can consider this vector space a as an abelian Lie algebra. Notice that c = a as vector spaces.
54 28 / 61 A more abstract approach Proof. We now have a Lie algebra a and a Lie algebra action of s on this Lie algebra a. Since a vector space endomorphism on an abelian Lie algebra is automatically a Lie algebra endomorphism, we may form the Lie algebra semi-direct product g o := s a. This new object is isomorphic to g as a vector space and has the desired structure constant changes. Remark: The need to demonstrate that contractions produce Lie algebras was first brought to my attention by Dr. Rothstein. Fortunately he and Dr. Usher then assisted me in these proofs.
55 29 / 61 Contractions - Example 1: R 2 Example R 2 is an abelian Lie algebra with basis {X, Y } and relation [XY ] = 0 Clearly this Lie algebra is already abelian and therefore a contraction can have no effect upon the structure constants. Hence any contraction of the Lie algebra R 2 is trivially R 2.
56 30 / 61 Contractions - Example 2: sl 2 (C) Example sl 2 (C) is the simplest non-abelian Lie algebra so it is our first non-trivial example. sl 2 (C) is a three-dimensional Lie algebra with basis {x, h, y} and relations [xy] = h, [hx] = 2x, and [hy] = 2y
57 31 / 61 Contractions - Example 2: sl 2 (C) Example Let us contract sl 2 (C) with respect to the subalgebra spanned by {x}. [xy] = h Since h a, this bracket relation is unaffected. [hx] = 2x After contracting the bracket of an element of s with an element of a must be in a. We therefore annihilate this bracket. [hx] o = 0 [hy] = 2y After contraction the subalgebra a is abelian; hence this bracket must also be set to zero. [hy] o = 0
58 31 / 61 Contractions - Example 2: sl 2 (C) Example Let us contract sl 2 (C) with respect to the subalgebra spanned by {x}. [xy] = h Since h a, this bracket relation is unaffected. [hx] = 2x After contracting the bracket of an element of s with an element of a must be in a. We therefore annihilate this bracket. [hx] o = 0 [hy] = 2y After contraction the subalgebra a is abelian; hence this bracket must also be set to zero. [hy] o = 0
59 32 / 61 Contractions - Example 2: sl 2 (C) Example Hence after contraction, we produce a new Lie algebra g o with basis {x, h, y} and relations [xy] o = h while [hx] o = [hy] o = 0. This Lie algebra is known as the Heisenberg Algebra which will be one of my later examples. The contraction with respect to the subalgebra spanned by {y} produces the same algebra.
60 32 / 61 Contractions - Example 2: sl 2 (C) Example Hence after contraction, we produce a new Lie algebra g o with basis {x, h, y} and relations [xy] o = h while [hx] o = [hy] o = 0. This Lie algebra is known as the Heisenberg Algebra which will be one of my later examples. The contraction with respect to the subalgebra spanned by {y} produces the same algebra.
61 33 / 61 Contractions - Example 2: sl 2 (C) Example Consider the contraction of sl 2 (C) with respect to the subalgebra spanned by {h}. [xy] o = 0 since a is abelian. [hx] o = [hx] = 2x and [hy] o = [hy] = 2y since these relations conform with a being an abelian ideal.
62 33 / 61 Contractions - Example 2: sl 2 (C) Example Consider the contraction of sl 2 (C) with respect to the subalgebra spanned by {h}. [xy] o = 0 since a is abelian. [hx] o = [hx] = 2x and [hy] o = [hy] = 2y since these relations conform with a being an abelian ideal.
63 34 / 61 Contractions - Example 2: sl 2 (C) Example We are unable to contract with respect to {x, y} as this set does not form a subalgebra. Now we consider the contraction with respect to the subalgebra spanned by {x, h} [hx] o = [hx] = 2x The subalgebra with respect to which the contraction is performed is unaffected. [xy] o = 0 This follows from the requirement that a be an ideal. [hy] o = 2y is compatible with a being an ideal and is unaffected. Again the contraction with respect to the subalgebra spanned by {h, y} has the same effect on the structure constants.
64 34 / 61 Contractions - Example 2: sl 2 (C) Example We are unable to contract with respect to {x, y} as this set does not form a subalgebra. Now we consider the contraction with respect to the subalgebra spanned by {x, h} [hx] o = [hx] = 2x The subalgebra with respect to which the contraction is performed is unaffected. [xy] o = 0 This follows from the requirement that a be an ideal. [hy] o = 2y is compatible with a being an ideal and is unaffected. Again the contraction with respect to the subalgebra spanned by {h, y} has the same effect on the structure constants.
65 34 / 61 Contractions - Example 2: sl 2 (C) Example We are unable to contract with respect to {x, y} as this set does not form a subalgebra. Now we consider the contraction with respect to the subalgebra spanned by {x, h} [hx] o = [hx] = 2x The subalgebra with respect to which the contraction is performed is unaffected. [xy] o = 0 This follows from the requirement that a be an ideal. [hy] o = 2y is compatible with a being an ideal and is unaffected. Again the contraction with respect to the subalgebra spanned by {h, y} has the same effect on the structure constants.
66 35 / 61 Contractions - Example 3: The Heisenberg Algebra Example As was shown above, the Heisenberg Algebra is the contraction of sl 2 (C) with respect to to subalgebra spanned by {x}. It has basis {x, h, y} and non-zero relation [xy] = h Contraction with respect to subalgebra spanned by {x} [xy] o = [xy] = h This is a simple example of the fact that contracting a Lie algebra with respect to the same subalgebra twice has no further effect.
67 35 / 61 Contractions - Example 3: The Heisenberg Algebra Example As was shown above, the Heisenberg Algebra is the contraction of sl 2 (C) with respect to to subalgebra spanned by {x}. It has basis {x, h, y} and non-zero relation [xy] = h Contraction with respect to subalgebra spanned by {x} [xy] o = [xy] = h This is a simple example of the fact that contracting a Lie algebra with respect to the same subalgebra twice has no further effect.
68 36 / 61 Contractions - Example 3: The Heisenberg Algebra Example The Heisenberg Algebra has basis {x, h, y} and relation [xy] = h Contraction with respect to the subalgebra spanned by {h} produces the abelian Lie algebra C 3 since the ideal spanned by {x, y} is abelian after undertaking the contraction.
69 37 / 61 Contractions - Example 4: the ax + b algebra Example The Lie algebra for the ax + b group is two-dimensional with basis {A, B} and relation [AB] = B The contraction with respect to the subalgebra spanned by {A} has no effect upon the Lie algebra structure since [AB] = B which lies in the abelian ideal a as required. However the contraction with respect to the subalgebra spanned by {B} abelianizes the algebra since [AB] o must lie in the abelian ideal spanned by {A}. Thus after contraction with respect to the subalgebra spanned by {B}, the Lie algebra for the ax + b group becomes abelian.
70 37 / 61 Contractions - Example 4: the ax + b algebra Example The Lie algebra for the ax + b group is two-dimensional with basis {A, B} and relation [AB] = B The contraction with respect to the subalgebra spanned by {A} has no effect upon the Lie algebra structure since [AB] = B which lies in the abelian ideal a as required. However the contraction with respect to the subalgebra spanned by {B} abelianizes the algebra since [AB] o must lie in the abelian ideal spanned by {A}. Thus after contraction with respect to the subalgebra spanned by {B}, the Lie algebra for the ax + b group becomes abelian.
71 Constructing a Group Contraction in Unitary Representations
72 39 / 61 A family of Lie groups: G ρ Definition The ax + b group can be naturally generalized by considering a family of Lie groups {G ρ : ρ 0} Using the global coordinates (b, α) ρ, the group law can be written as (b, α) ρ (b, α ) ρ = (b + e ρα b, α + α ) ρ For ρ = 0 the group law deteriorates to (b, α) 0 (b, α ) 0 = (b + b, α + α ) 0. Hence G 0 = R 2 with its usual abelian structure. The ax + b group is G 1
73 40 / 61 A family of Lie groups: G ρ Claim For ρ > 0, G ρ = G1 as Lie groups Proof. Consider the map π : G ρ G 1 given by π((b, α) ρ ) = (b, ρ α) In order to verify this is a homomorphism of groups, it must be shown that π ((b, α) ρ (b, α ) ρ ) = π((b, α) ρ ) π((b, α ) ρ ) π ((b, α) ρ (b, α ) ρ ) = π (b + e ρ α b, α + α ) ρ ) = (b + e ρ α b, ρ (α + α )) = (b, ρ α) (b, ρ α) = π((b, α) ρ ) π((b, α ) ρ )
74 40 / 61 A family of Lie groups: G ρ Claim For ρ > 0, G ρ = G1 as Lie groups Proof. Consider the map π : G ρ G 1 given by π((b, α) ρ ) = (b, ρ α) In order to verify this is a homomorphism of groups, it must be shown that π ((b, α) ρ (b, α ) ρ ) = π((b, α) ρ ) π((b, α ) ρ ) π ((b, α) ρ (b, α ) ρ ) = π (b + e ρ α b, α + α ) ρ ) = (b + e ρ α b, ρ (α + α )) = (b, ρ α) (b, ρ α) = π((b, α) ρ ) π((b, α ) ρ )
75 40 / 61 A family of Lie groups: G ρ Claim For ρ > 0, G ρ = G1 as Lie groups Proof. Consider the map π : G ρ G 1 given by π((b, α) ρ ) = (b, ρ α) In order to verify this is a homomorphism of groups, it must be shown that π ((b, α) ρ (b, α ) ρ ) = π((b, α) ρ ) π((b, α ) ρ ) π ((b, α) ρ (b, α ) ρ ) = π (b + e ρ α b, α + α ) ρ ) = (b + e ρ α b, ρ (α + α )) = (b, ρ α) (b, ρ α) = π((b, α) ρ ) π((b, α ) ρ )
76 41 / 61 What is a group representation? Definition A group representation of a group G on a vector space V is a group homomorphism from G into GL(V ). If Φ : G GL(V ) is a representation, then Φ(g h) = Φ(g) Φ(h) for all g, h G. A representation is called (algebraically) irreducible if the only subspaces of V which are invariant under the action of G are the zero-dimensional subspace and V itself. A representation is unitary if it preserves a norm on V i.e. Φ g (v) = v for every g G and v V. If a representation is injective, then it is called faithful.
77 41 / 61 What is a group representation? Definition A group representation of a group G on a vector space V is a group homomorphism from G into GL(V ). If Φ : G GL(V ) is a representation, then Φ(g h) = Φ(g) Φ(h) for all g, h G. A representation is called (algebraically) irreducible if the only subspaces of V which are invariant under the action of G are the zero-dimensional subspace and V itself. A representation is unitary if it preserves a norm on V i.e. Φ g (v) = v for every g G and v V. If a representation is injective, then it is called faithful.
78 41 / 61 What is a group representation? Definition A group representation of a group G on a vector space V is a group homomorphism from G into GL(V ). If Φ : G GL(V ) is a representation, then Φ(g h) = Φ(g) Φ(h) for all g, h G. A representation is called (algebraically) irreducible if the only subspaces of V which are invariant under the action of G are the zero-dimensional subspace and V itself. A representation is unitary if it preserves a norm on V i.e. Φ g (v) = v for every g G and v V. If a representation is injective, then it is called faithful.
79 41 / 61 What is a group representation? Definition A group representation of a group G on a vector space V is a group homomorphism from G into GL(V ). If Φ : G GL(V ) is a representation, then Φ(g h) = Φ(g) Φ(h) for all g, h G. A representation is called (algebraically) irreducible if the only subspaces of V which are invariant under the action of G are the zero-dimensional subspace and V itself. A representation is unitary if it preserves a norm on V i.e. Φ g (v) = v for every g G and v V. If a representation is injective, then it is called faithful.
80 41 / 61 What is a group representation? Definition A group representation of a group G on a vector space V is a group homomorphism from G into GL(V ). If Φ : G GL(V ) is a representation, then Φ(g h) = Φ(g) Φ(h) for all g, h G. A representation is called (algebraically) irreducible if the only subspaces of V which are invariant under the action of G are the zero-dimensional subspace and V itself. A representation is unitary if it preserves a norm on V i.e. Φ g (v) = v for every g G and v V. If a representation is injective, then it is called faithful.
81 42 / 61 Equivalent representations Definition Two representations of a group G, β 1 and β 2, are equivalent if there exists a vector space isomorphism γ such that β 2 (g) = γ 1 β 1 γ(g) for all g G.
82 43 / 61 Representation of the ax + b group on L 2 (R) Let G 1 be the ax + b group Consider the group homomorphism Φ : G 1 GL(L 2 (R)) where Φ (b,α) ψ(x) = e α 2 +ibx ψ(e α x) for (b, α) G 1 and ψ(x) L 2 (R)
83 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
84 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
85 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
86 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
87 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
88 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
89 44 / 61 Representation of the ax + b group on L 2 (R) We must verify that this is indeed a group homomorphism. ( Φ(b,α) Φ (b,α )ψ ) (x) = e α 2 +ibx ( Φ (b,α )ψ ) (e α x) = e α 2 +ibx e α 2 +ib (e α x) ψ(e α e α x) = e α+α 2 +ibx+ib e αx ψ(e α+α x) = e α+α 2 +i(b+b e α )x ψ(e α+α x) = Φ (b+e α b,α+α )ψ(x) = Φ (b,α)(b,α )ψ(x) Hence Φ is a group homomorphism from G 1 to GL(V ).
90 45 / 61 Φ (b,α) is a unitary operator on L 2 (R) Let Φ (b,α) ψ(x) = e α 2 +ibx ψ(e α x) Claim Φ is a unitary representation of G 1 on L 2 (R) Proof. Φ (b,α) ψ(x) 2 2 = e α 2 +ibx ψ(e α x) 2 e α 2 = 2 +ibx ψ(e α x) 2 dx = e α ψ(e α x) 2 dx = ψ(y) 2 dy = ψ(y) 2 2
91 45 / 61 Φ (b,α) is a unitary operator on L 2 (R) Let Φ (b,α) ψ(x) = e α 2 +ibx ψ(e α x) Claim Φ is a unitary representation of G 1 on L 2 (R) Proof. Φ (b,α) ψ(x) 2 2 = e α 2 +ibx ψ(e α x) 2 e α 2 = 2 +ibx ψ(e α x) 2 dx = e α ψ(e α x) 2 dx = ψ(y) 2 dy = ψ(y) 2 2
92 46 / 61 The only game in town The representation Φ (b,α) on L 2 (R) is practically the only such irreducible infinite-dimensional representation of the ax + b group. There is another (non-equivalent) representation that can be produced by mapping b b. For each s R, there is also a unitary finite-dimensional representation of the ax + b group (G 1 ) on C given by: where Υ s : G 1 GL 1 (C) Υ s (b,α) (z) = eisα z for (b, α) G 1 and z C.
93 46 / 61 The only game in town The representation Φ (b,α) on L 2 (R) is practically the only such irreducible infinite-dimensional representation of the ax + b group. There is another (non-equivalent) representation that can be produced by mapping b b. For each s R, there is also a unitary finite-dimensional representation of the ax + b group (G 1 ) on C given by: where Υ s : G 1 GL 1 (C) Υ s (b,α) (z) = eisα z for (b, α) G 1 and z C.
94 47 / 61 Representation of the G ρ on L 2 (R) for ρ > 0 It is natural to extend Φ to a representation Φ ρ of G ρ on L 2 (R) by using the isomorphism π : G ρ G 1 which maps (b, α) ρ to (b, ρα) Thus there is a representation Φ ρ,(b,α)ρ = Φ (b,ρα) of G ρ on L 2 (R) ( Φρ,(b,α)ρ ψ ) (x) = ( Φ (b,ρα) ψ ) (x) = e ρα 2 +ibx ψ(e ρα x)
95 47 / 61 Representation of the G ρ on L 2 (R) for ρ > 0 It is natural to extend Φ to a representation Φ ρ of G ρ on L 2 (R) by using the isomorphism π : G ρ G 1 which maps (b, α) ρ to (b, ρα) Thus there is a representation Φ ρ,(b,α)ρ = Φ (b,ρα) of G ρ on L 2 (R) ( Φρ,(b,α)ρ ψ ) (x) = ( Φ (b,ρα) ψ ) (x) = e ρα 2 +ibx ψ(e ρα x)
96 48 / 61 An equivalent representation of G ρ Example In order to see the effect on the representation of the contraction ρ 0, it is easier to consider the equivalent representation Π ρ,(b,α)ρ := M 1 if ρ if (x) where M if is multiplication by e ρ ρ function f (x) and ρ > 0. M if ρ Φ ρ,(b,α)ρ M if ρ for a real-valued, differentiable is an operator which maps L 2 (R) to itself isomorphically. 1 Thus Π ρ,(b,α)ρ is equivalent to Φ ρ,(b,α)ρ 1 See slides 63 & 64
97 49 / 61 An equivalent representation of G ρ Example Let ψ L 2 (R) ( Πρ,(b,α)ρ ψ ) (x) = if (x) ( = e ρ ( ) M 1 if Φ ρ,(b,α)ρ M if ψ (x) ρ ρ ) Φ ρ,(b,α)ρ M if ψ (x) ρ ) (e ρα x) ( if (x) = e ρ e ρα 2 +ibx M if ψ ρ if (x) = e ρ e ρα 2 +ibx e if (eρα x) ρ ψ(e ρα x) = e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x)
98 49 / 61 An equivalent representation of G ρ Example Let ψ L 2 (R) ( Πρ,(b,α)ρ ψ ) (x) = if (x) ( = e ρ ( ) M 1 if Φ ρ,(b,α)ρ M if ψ (x) ρ ρ ) Φ ρ,(b,α)ρ M if ψ (x) ρ ) (e ρα x) ( if (x) = e ρ e ρα 2 +ibx M if ψ ρ if (x) = e ρ e ρα 2 +ibx e if (eρα x) ρ ψ(e ρα x) = e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x)
99 49 / 61 An equivalent representation of G ρ Example Let ψ L 2 (R) ( Πρ,(b,α)ρ ψ ) (x) = if (x) ( = e ρ ( ) M 1 if Φ ρ,(b,α)ρ M if ψ (x) ρ ρ ) Φ ρ,(b,α)ρ M if ψ (x) ρ ) (e ρα x) ( if (x) = e ρ e ρα 2 +ibx M if ψ ρ if (x) = e ρ e ρα 2 +ibx e if (eρα x) ρ ψ(e ρα x) = e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x)
100 49 / 61 An equivalent representation of G ρ Example Let ψ L 2 (R) ( Πρ,(b,α)ρ ψ ) (x) = if (x) ( = e ρ ( ) M 1 if Φ ρ,(b,α)ρ M if ψ (x) ρ ρ ) Φ ρ,(b,α)ρ M if ψ (x) ρ ) (e ρα x) ( if (x) = e ρ e ρα 2 +ibx M if ψ ρ if (x) = e ρ e ρα 2 +ibx e if (eρα x) ρ ψ(e ρα x) = e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x)
101 49 / 61 An equivalent representation of G ρ Example Let ψ L 2 (R) ( Πρ,(b,α)ρ ψ ) (x) = if (x) ( = e ρ ( ) M 1 if Φ ρ,(b,α)ρ M if ψ (x) ρ ρ ) Φ ρ,(b,α)ρ M if ψ (x) ρ ) (e ρα x) ( if (x) = e ρ e ρα 2 +ibx M if ψ ρ if (x) = e ρ e ρα 2 +ibx e if (eρα x) ρ ψ(e ρα x) = e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x)
102 50 / 61 lim ρ 0 Π ρ,(b,α) ρ By sending ρ 0, the ax + b group (aka G 1 ) can be contracted to R 2 with its usual abelian structure. ( lim Πρ,(b,α)ρ ψ ) (x) ρ 0 = lim e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) ρ 0 = lim e if (e ρα x)e ρααx e ρα 2 e ibx ψ(e ρα x) ρ 0 = e ixf (x)α e ibx ψ(x) We can therefore define ( Π 0,(b,α)0 ψ ) (x) := e ixf (x)α e ibx ψ(x)
103 50 / 61 lim ρ 0 Π ρ,(b,α) ρ By sending ρ 0, the ax + b group (aka G 1 ) can be contracted to R 2 with its usual abelian structure. ( lim Πρ,(b,α)ρ ψ ) (x) ρ 0 = lim e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) ρ 0 = lim e if (e ρα x)e ρααx e ρα 2 e ibx ψ(e ρα x) ρ 0 = e ixf (x)α e ibx ψ(x) We can therefore define ( Π 0,(b,α)0 ψ ) (x) := e ixf (x)α e ibx ψ(x)
104 50 / 61 lim ρ 0 Π ρ,(b,α) ρ By sending ρ 0, the ax + b group (aka G 1 ) can be contracted to R 2 with its usual abelian structure. ( lim Πρ,(b,α)ρ ψ ) (x) ρ 0 = lim e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) ρ 0 = lim e if (e ρα x)e ρααx e ρα 2 e ibx ψ(e ρα x) ρ 0 = e ixf (x)α e ibx ψ(x) We can therefore define ( Π 0,(b,α)0 ψ ) (x) := e ixf (x)α e ibx ψ(x)
105 50 / 61 lim ρ 0 Π ρ,(b,α) ρ By sending ρ 0, the ax + b group (aka G 1 ) can be contracted to R 2 with its usual abelian structure. ( lim Πρ,(b,α)ρ ψ ) (x) ρ 0 = lim e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) ρ 0 = lim e if (e ρα x)e ρααx e ρα 2 e ibx ψ(e ρα x) ρ 0 = e ixf (x)α e ibx ψ(x) We can therefore define ( Π 0,(b,α)0 ψ ) (x) := e ixf (x)α e ibx ψ(x)
106 50 / 61 lim ρ 0 Π ρ,(b,α) ρ By sending ρ 0, the ax + b group (aka G 1 ) can be contracted to R 2 with its usual abelian structure. ( lim Πρ,(b,α)ρ ψ ) (x) ρ 0 = lim e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) ρ 0 = lim e if (e ρα x)e ρααx e ρα 2 e ibx ψ(e ρα x) ρ 0 = e ixf (x)α e ibx ψ(x) We can therefore define ( Π 0,(b,α)0 ψ ) (x) := e ixf (x)α e ibx ψ(x)
107 51 / 61 Contraction of a Lie group With the variable parameter ρ in hand, we have a simple, intuitive model for the concept of a group contraction. By allowing ρ 0, the ax + b group can be contracted to R 2. Since it has been shown that G ρ = G1 for all ρ > 0, we expect something dramatic to happen at ρ = 0. However Lie groups are often difficult to work with, and a similar but simpler problem can be considered by working with the Lie algebra of G ρ, which will be notated as g ρ.
108 52 / 61 Contraction of a Lie group The Lie algebra is an indispensable tool in studying the matrix Lie groups. On the one hand, Lie algebras are simpler that the matrix Lie groups, because the Lie algebra is a linear space. Thus, we can understand much about Lie algebras just by doing linear algebra. On the other hand, the Lie algebra of a matrix Lie group contains much information about that group. Thus many questions about matrix Lie groups can be answered by considering a similar but easier problem for the Lie algebra. -Brian Hall
109 53 / 61 The representation of g ρ on L 2 (R) for ρ > 0 In order to discover the representation of the Lie algebra on L 2 (R), we differentiate the representation of the Lie group. π b ρ:= d db (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d db (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = ixψ(x) Notice that this operator is independent of ρ
110 53 / 61 The representation of g ρ on L 2 (R) for ρ > 0 In order to discover the representation of the Lie algebra on L 2 (R), we differentiate the representation of the Lie group. π b ρ:= d db (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d db (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = ixψ(x) Notice that this operator is independent of ρ
111 53 / 61 The representation of g ρ on L 2 (R) for ρ > 0 In order to discover the representation of the Lie algebra on L 2 (R), we differentiate the representation of the Lie group. π b ρ:= d db (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d db (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = ixψ(x) Notice that this operator is independent of ρ
112 53 / 61 The representation of g ρ on L 2 (R) for ρ > 0 In order to discover the representation of the Lie algebra on L 2 (R), we differentiate the representation of the Lie group. π b ρ:= d db (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d db (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = ixψ(x) Notice that this operator is independent of ρ
113 53 / 61 The representation of g ρ on L 2 (R) for ρ > 0 In order to discover the representation of the Lie algebra on L 2 (R), we differentiate the representation of the Lie group. π b ρ:= d db (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d db (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = ixψ(x) Notice that this operator is independent of ρ
114 54 / 61 The representation of g ρ on L 2 (R) for ρ > 0 π α ρ := d dα (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d dα (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = [e i f (e ρα x) f (x) i ρ ρ f (e ρα x)e ρα xρ e ρα 2 e ibx ψ(e ρα x) + e i f (e + e i f (e ρα x) f (x) ρ e ρα 2 ρ 2 eibx ψ(e ρα x) ρα x) f (x) ρ e ρα 2 e ibx ψ (e ρα x)e ρα xρ] (0,0) = i ρ f (x)xρψ(x) + ρ 2 ψ(x) + xρψ (x) = ( ixf (x) + ρ( x d dx )) ψ(x)
115 54 / 61 The representation of g ρ on L 2 (R) for ρ > 0 π α ρ := d dα (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d dα (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = [e i f (e ρα x) f (x) i ρ ρ f (e ρα x)e ρα xρ e ρα 2 e ibx ψ(e ρα x) + e i f (e + e i f (e ρα x) f (x) ρ e ρα 2 ρ 2 eibx ψ(e ρα x) ρα x) f (x) ρ e ρα 2 e ibx ψ (e ρα x)e ρα xρ] (0,0) = i ρ f (x)xρψ(x) + ρ 2 ψ(x) + xρψ (x) = ( ixf (x) + ρ( x d dx )) ψ(x)
116 54 / 61 The representation of g ρ on L 2 (R) for ρ > 0 π α ρ := d dα (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d dα (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = [e i f (e ρα x) f (x) i ρ ρ f (e ρα x)e ρα xρ e ρα 2 e ibx ψ(e ρα x) + e i f (e + e i f (e ρα x) f (x) ρ e ρα 2 ρ 2 eibx ψ(e ρα x) ρα x) f (x) ρ e ρα 2 e ibx ψ (e ρα x)e ρα xρ] (0,0) = i ρ f (x)xρψ(x) + ρ 2 ψ(x) + xρψ (x) = ( ixf (x) + ρ( x d dx )) ψ(x)
117 54 / 61 The representation of g ρ on L 2 (R) for ρ > 0 π α ρ := d dα (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d dα (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = [e i f (e ρα x) f (x) i ρ ρ f (e ρα x)e ρα xρ e ρα 2 e ibx ψ(e ρα x) + e i f (e + e i f (e ρα x) f (x) ρ e ρα 2 ρ 2 eibx ψ(e ρα x) ρα x) f (x) ρ e ρα 2 e ibx ψ (e ρα x)e ρα xρ] (0,0) = i ρ f (x)xρψ(x) + ρ 2 ψ(x) + xρψ (x) = ( ixf (x) + ρ( x d dx )) ψ(x)
118 54 / 61 The representation of g ρ on L 2 (R) for ρ > 0 π α ρ := d dα (0,0) ( Πρ,(b,α)ρ ψ ) (x) = d dα (0,0)e i f (e ρα x) f (x) ρ e ρα 2 e ibx ψ(e ρα x) = [e i f (e ρα x) f (x) i ρ ρ f (e ρα x)e ρα xρ e ρα 2 e ibx ψ(e ρα x) + e i f (e + e i f (e ρα x) f (x) ρ e ρα 2 ρ 2 eibx ψ(e ρα x) ρα x) f (x) ρ e ρα 2 e ibx ψ (e ρα x)e ρα xρ] (0,0) = i ρ f (x)xρψ(x) + ρ 2 ψ(x) + xρψ (x) = ( ixf (x) + ρ( x d dx )) ψ(x)
119 55 / 61 The representation of the Lie algebra of G ρ on L 2 (R) The basis for the operators in the Lie algebra representation of g ρ in L 2 (R) for ρ > 0 is: π b ρ = ix π α ρ = ( ixf (x) + ρ( x d dx )) Notice that for ρ > 0, the operators π b 0 and πα 0 do not commute. Note also that these operators are not bounded on L 2 (R)
120 55 / 61 The representation of the Lie algebra of G ρ on L 2 (R) The basis for the operators in the Lie algebra representation of g ρ in L 2 (R) for ρ > 0 is: π b ρ = ix π α ρ = ( ixf (x) + ρ( x d dx )) Notice that for ρ > 0, the operators π b 0 and πα 0 do not commute. Note also that these operators are not bounded on L 2 (R)
121 56 / 61 The representation of the Lie algebra of G ρ on L 2 (R) In order to discover the action after contraction, send ρ 0 π b 0 = ix π α 0 = ixf (x) Notice that after contracting, the operators π b 0 and πα 0 now commute, but remain unbounded on L 2 (R).
122 56 / 61 The representation of the Lie algebra of G ρ on L 2 (R) In order to discover the action after contraction, send ρ 0 π b 0 = ix π α 0 = ixf (x) Notice that after contracting, the operators π b 0 and πα 0 now commute, but remain unbounded on L 2 (R).
123 57 / 61 The representation of the Lie algebra of G ρ on L 2 (R) This corresponds to contracting the Lie group with respect to the B = {(b, 0) : b R} subgroup as we have considered the representation associated to Π ρ,(b,α)ρ := M 1 if ρ = M 1 if ρ Φ ρ,(b,α)ρ M if ρ Φ (b,ρα) M if ρ The contraction of the Lie group with respect to the subgroup A = {(0, α) : α R} has no effect on the representation of the group and subsequently no effect on the representation of the algebra. 2 2 see slide 65
124 57 / 61 The representation of the Lie algebra of G ρ on L 2 (R) This corresponds to contracting the Lie group with respect to the B = {(b, 0) : b R} subgroup as we have considered the representation associated to Π ρ,(b,α)ρ := M 1 if ρ = M 1 if ρ Φ ρ,(b,α)ρ M if ρ Φ (b,ρα) M if ρ The contraction of the Lie group with respect to the subgroup A = {(0, α) : α R} has no effect on the representation of the group and subsequently no effect on the representation of the algebra. 2 2 see slide 65
125 58 / 61 Applications and Future Research I hope to use this concept of contractions to investigate the geometry of curved spacetimes and their associated Hilbert spaces. As flat spacetimes are well-understood, the contraction of a curved spacetime to a flat one may give insight into the physical realm. The techniques described here can help to carry out a study of homogenous spacetimes by their flat spacetime approximations.
126 59 / 61 Thank you Thank you for listening.
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότερα6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραReminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραCongruence Classes of Invertible Matrices of Order 3 over F 2
International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραDIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS
GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραLecture 13 - Root Space Decomposition II
Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραParametrized Surfaces
Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some
Διαβάστε περισσότεραLecture 10 - Representation Theory III: Theory of Weights
Lecture 10 - Representation Theory III: Theory of Weights February 18, 2012 1 Terminology One assumes a base = {α i } i has been chosen. Then a weight Λ with non-negative integral Dynkin coefficients Λ
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότερα2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραMath 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότερα= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.
PHY 396 T: SUSY Solutions for problem set #1. Problem 2(a): First of all, [D α, D 2 D α D α ] = {D α, D α }D α D α {D α, D α } = {D α, D α }D α + D α {D α, D α } (S.1) = {{D α, D α }, D α }. Second, {D
Διαβάστε περισσότεραSrednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραMath221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραTHE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano
235 Kragujevac J. Math. 30 (2007) 235 242. THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS Daniel A. Romano Department of Mathematics and Informatics, Banja Luka University, Mladena Stojanovića
Διαβάστε περισσότεραCommutative Monoids in Intuitionistic Fuzzy Sets
Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραProblem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.
Chemistry 362 Dr Jean M Standard Problem Set 9 Solutions The ˆ L 2 operator is defined as Verify that the angular wavefunction Y θ,φ) Also verify that the eigenvalue is given by 2! 2 & L ˆ 2! 2 2 θ 2 +
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραNumerical Analysis FMN011
Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότεραUniform Convergence of Fourier Series Michael Taylor
Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula
Διαβάστε περισσότεραORDINAL ARITHMETIC JULIAN J. SCHLÖDER
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.
Διαβάστε περισσότεραOn a four-dimensional hyperbolic manifold with finite volume
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In
Διαβάστε περισσότεραChapter 3: Ordinal Numbers
Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραSolutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
Διαβάστε περισσότεραSpace-Time Symmetries
Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a
Διαβάστε περισσότερα5. Choice under Uncertainty
5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation
Διαβάστε περισσότεραOn the Galois Group of Linear Difference-Differential Equations
On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραUNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition
UNIT - I LINEAR ALGEBRA Definition Vector Space : A non-empty set V is said to be vector space over the field F. If V is an abelian group under addition and if for every α, β F, ν, ν 2 V, such that αν
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραdim(u) = n 1 and {v j } j i
SOLUTIONS Math B4900 Homework 1 2/7/2018 Unless otherwise specified, U, V, and W denote vector spaces over a common field F ; ϕ and ψ denote linear transformations; A, B, and C denote bases; A, B, and
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραforms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with
Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραCyclic or elementary abelian Covers of K 4
Cyclic or elementary abelian Covers of K 4 Yan-Quan Feng Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China Summer School, Rogla, Slovenian 2011-06 Outline 1 Question 2 Main results 3
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραPractice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1
Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the
Διαβάστε περισσότεραHomomorphism of Intuitionistic Fuzzy Groups
International Mathematical Forum, Vol. 6, 20, no. 64, 369-378 Homomorphism o Intuitionistic Fuzz Groups P. K. Sharma Department o Mathematics, D..V. College Jalandhar Cit, Punjab, India pksharma@davjalandhar.com
Διαβάστε περισσότεραLecture 15 - Root System Axiomatics
Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the
Διαβάστε περισσότεραAbstract Storage Devices
Abstract Storage Devices Robert König Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009 Outline 1. Motivation: Storage Devices 2. Abstract Storage Devices (ASD s) 3. Reducibility 4. Factoring ASD
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραOrbital angular momentum and the spherical harmonics
Orbital angular momentum and the spherical harmonics March 8, 03 Orbital angular momentum We compare our result on representations of rotations with our previous experience of angular momentum, defined
Διαβάστε περισσότεραPartial Trace and Partial Transpose
Partial Trace and Partial Transpose by José Luis Gómez-Muñoz http://homepage.cem.itesm.mx/lgomez/quantum/ jose.luis.gomez@itesm.mx This document is based on suggestions by Anirban Das Introduction This
Διαβάστε περισσότερα( y) Partial Differential Equations
Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate
Διαβάστε περισσότεραJesse Maassen and Mark Lundstrom Purdue University November 25, 2013
Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering
Διαβάστε περισσότεραOptimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices
Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Chi-Kwong Li Department of Mathematics The College of William and Mary Williamsburg, Virginia 23187-8795
Διαβάστε περισσότεραw o = R 1 p. (1) R = p =. = 1
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:
Διαβάστε περισσότεραMATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)
1. MATH43 String Theory Solutions 4 x = 0 τ = fs). 1) = = f s) ) x = x [f s)] + f s) 3) equation of motion is x = 0 if an only if f s) = 0 i.e. fs) = As + B with A, B constants. i.e. allowe reparametrisations
Διαβάστε περισσότεραSolutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.
Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. Proof. ( ) Since α is 1-1, β : S S such that β α = id S. Since β α = id S is onto,
Διαβάστε περισσότεραω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω
0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +
Διαβάστε περισσότεραSCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραThe challenges of non-stable predicates
The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates
Διαβάστε περισσότερα14 Lesson 2: The Omega Verb - Present Tense
Lesson 2: The Omega Verb - Present Tense Day one I. Word Study and Grammar 1. Most Greek verbs end in in the first person singular. 2. The present tense is formed by adding endings to the present stem.
Διαβάστε περισσότερα6.3 Forecasting ARMA processes
122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear
Διαβάστε περισσότερα= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y
Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4
Διαβάστε περισσότεραECE Spring Prof. David R. Jackson ECE Dept. Notes 2
ECE 634 Spring 6 Prof. David R. Jackson ECE Dept. Notes Fields in a Source-Free Region Example: Radiation from an aperture y PEC E t x Aperture Assume the following choice of vector potentials: A F = =
Διαβάστε περισσότεραSOME PROPERTIES OF FUZZY REAL NUMBERS
Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical
Διαβάστε περισσότεραMATH1030 Linear Algebra Assignment 5 Solution
2015-16 MATH1030 Linear Algebra Assignment 5 Solution (Question No. referring to the 8 th edition of the textbook) Section 3.4 4 Note that x 2 = x 1, x 3 = 2x 1 and x 1 0, hence span {x 1, x 2, x 3 } has
Διαβάστε περισσότεραDESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.
DESIGN OF MACHINERY SOLUTION MANUAL -7-1! PROBLEM -7 Statement: Design a double-dwell cam to move a follower from to 25 6, dwell for 12, fall 25 and dwell for the remader The total cycle must take 4 sec
Διαβάστε περισσότεραBounding Nonsplitting Enumeration Degrees
Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,
Διαβάστε περισσότεραarxiv: v1 [math.ra] 19 Dec 2017
TWO-DIMENSIONAL LEFT RIGHT UNITAL ALGEBRAS OVER ALGEBRAICALLY CLOSED FIELDS AND R HAHMED UBEKBAEV IRAKHIMOV 3 arxiv:7673v [mathra] 9 Dec 7 Department of Math Faculty of Science UPM Selangor Malaysia &
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραHigher Derivative Gravity Theories
Higher Derivative Gravity Theories Black Holes in AdS space-times James Mashiyane Supervisor: Prof Kevin Goldstein University of the Witwatersrand Second Mandelstam, 20 January 2018 James Mashiyane WITS)
Διαβάστε περισσότεραGeneral 2 2 PT -Symmetric Matrices and Jordan Blocks 1
General 2 2 PT -Symmetric Matrices and Jordan Blocks 1 Qing-hai Wang National University of Singapore Quantum Physics with Non-Hermitian Operators Max-Planck-Institut für Physik komplexer Systeme Dresden,
Διαβάστε περισσότεραD Alembert s Solution to the Wave Equation
D Alembert s Solution to the Wave Equation MATH 467 Partial Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Objectives In this lesson we will learn: a change of variable technique
Διαβάστε περισσότερα