Curved spacetime and General Relativity

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Curved spacetime and General Relativity"

Transcript

1 Chapter 6 Curved spacetime and General Relativity 6.1 Manifolds, tangent spaces and local inertial frames A manifold is a continuous space whose points can be assigned coordinates, the number of coordinates being the dimension of the manifold [ for example a surface of a sphere is 2D, spacetime is 4D ]. A manifold is differentiable if we can define a scalar field φ at each point which can be differentiated everywhere. General Relativity. This is always true in Special Relativity and We can then define one - forms dφ as having components {φ,α φ x α } and vectors V as linear functions which take dφ into the derivative of φ along a curve with tangent V: V ( dφ ) = V φ = φ,α V α = dφ dλ. (6.1) Tensors can then be defined as maps from one - forms and vectors into the reals [ see chapter 3 ]. A Riemannian manifold is a differentiable manifold with a symmetric metric tensor g at each point such that g (V, V) > 0 (6.2) for any vector V, for example Euclidian 3D space. 65

2 CHAPTER 6. CURVED SPACETIME AND GR 66 If however g (V, V) is of indefinite sign as it is in Special and General Relativity it is called Pseudo - Riemannian. For a general spacetime with coordinates {x α }, the interval between two neighboring points is ds 2 = g αβ dx α dx β. (6.3) In Special Relativity we can choose Minkowski coordinates such that g αβ = η αβ everywhere. This will not be true for a general curved manifold. Since g αβ is a symmetric matrix, we can always choose a coordinate system at each point x 0 in which it is transformed to the diagonal Minkowski form, i.e. there is a transformation such that gᾱ β(x 0 ) = ηᾱ β = Λᾱβ xᾱ x β (6.4) (6.5) Note that the sum of the diagonal elements is conserved; this is the signature of the metric [ +2 ]. In general Λᾱβ will not diagonalize g αβ at every point since there are ten functions g αβ (x) and only four transformation functions X ᾱ(x β ). x 0 i.e. We can also choose Λᾱβ so that the first derivatives of the metric vanishes at for all α, β and γ. This implies g αβ x γ = 0 (6.6) g αβ (x µ ) = η αβ + O[(x µ ) 2 ]. (6.7) That is, the metric near x 0 is approximately that of Special Relativity, differences being of second order in the coordinates. This corresponds to the local inertial frame whose existence was deduced from the equivalence principle. In summary we can define a local inertial frame to be one where g αβ (x 0 ) = η αβ (6.8)

3 CHAPTER 6. CURVED SPACETIME AND GR 67 for all α, β, and for all α, β, γ. However g αβ,γ (x 0 ) = 0 (6.9) g αβ,γµ (x 0 ) 0 (6.10) for at least some values of α. β, γ and µ. It reflects the fact that any curved space has a flat tangent space at every point, although these tangent spaces cannot be meshed together into a global flat space. Recall that straight lines in a flat spacetime are the worldlines of free particles; the absence of first derivative terms in the metric of a curved spacetime will mean that free particles are moving on lines that are locally straight in that coordinate system. This makes such coordinates very useful for us, since the equations of physics will be nearly as simple as they are in flat spacetime, and if they are tensor equations they will be valid in every coordinate system. 6.2 Covariant derivatives and Christoffel symbols In Minkowski spacetime with Minkowski coordinates (t, x, y, z) the derivative of a vector V = V α e α is just V x β = V α x β e α, (6.11) since the basis vectors do not vary. In a general spacetime with arbitrary coordinates, e α which vary from point to point so V x β = V α x β e α + V α e α x β. (6.12) Since e α / x β is itself a vector for a given β it can be written as a linear combination of the bases vectors: e α x β = Γµ αβe µ. (6.13) The Γ s are called Christoffel symbols [ or the metric connection ]. Thus we have: V x β = V α x β e α + V α Γ µ αβe µ, (6.14)

4 CHAPTER 6. CURVED SPACETIME AND GR 68 so Thus we can write where ( ) V V α x = β x e β α + V µ Γ α µβ e α. (6.15) V x β = V α ;βe α, (6.16) V α ;β = V α,β + V µ Γ α µβ. (6.17) Let us now prove that V α ;β are the components of a 1/1 tensor. Remember in section 3.5 we found that V α,β was only a tensor under Poincaré transformations in Minkowski space with Minkowski coordinates. V α ;β is the natural generalization for a general coordinate transformation. Writing Λᾱβ xᾱ x β, we have: Now therefore so we obtain: V ᾱ; β = V ᾱ, β + V µ Γᾱ µ β = Λ µ β x (ΛᾱνV ν ) + V µ µ Γᾱ µ β = Λ µ V ν βλᾱν x + V ν Λ µ Λᾱν µ β x + V µ µ Γᾱ µ β. (6.18) e µ x β = Γ λ µ βe λ, (6.19) e µ x β wᾱ = Γ λ µ βe λ wᾱ = Γ λ µ βδᾱ λ = Γᾱ µ β, (6.20) V ᾱ; β = Λ µ V ν βλᾱν x + V ν Λ µ Λᾱν µ β x µ = Λ µ V ν βλᾱν x + V ν Λ µ Λᾱν µ β x µ = Λ µ V ν βλᾱν x + V ν Λ µ Λᾱν µ β x µ µ e µ + V wᾱ x β + Λ µ γv γ Λᾱδ w δ e µ x β + Λ µ γv γ Λᾱδ w δ Λ ɛ β x ɛ (Λν µe ν ) = Λ µ V ν βλᾱν x + V ν Λ µ Λᾱν µ β x + Λ µ γv γ µ Λᾱδ w δ Λ ɛ βλ ν e ν µ x ɛ + Λ µ γv γ Λᾱδ w δ Λ ɛ βe ν Λ ν µ x ɛ (6.21)

5 CHAPTER 6. CURVED SPACETIME AND GR 69 Now using Λ ν µλ µ γ = δ ν γ, w δ e ν = δ δ ν and Λᾱν Λν µ x ɛ = Λ ν µ Λᾱν x ɛ we obtain: V ᾱ; β = ΛᾱνΛ µ V ν β x + V ν Λ µ Λᾱν µ β x µ + ΛᾱδΛ ɛ βv ν Γ δ νɛ Λ µ Λᾱν β x V ν µ = ΛᾱνΛ µ V ν β x + ΛᾱδΛ ɛ βv ν Γ δ µ νɛ ( ) V = ΛᾱνΛ µ ν β x + V δ Γ ν µ δµ, (6.22) so V ᾱ; β = ΛᾱνΛ µ βv ν ;µ. (6.23) We have shown that V α ;β are indeed the components of a 1/1 tensor. We write this tensor as V = V α ;βe α w β. (6.24) It is called the covariant derivative of V. Using a Cartesian basis, the components are just V α,β, but this is not true in general; however for a scalar φ we have: since scalars do not depend on basis vectors. α φ φ ;α = φ x α, φ = dφ, (6.25) Writing Γ α µβ = eµ x β w α, we can find the transformation law for the components of the Christoffel symbols. This is just Γ α µβ = e µ x β wα = Λ α γ w γ Λ σ β x σ ( Λ λµ e λ = Λ α γλ σ e λ βλ λ µ w γ + Λα γλ σ x σ β w γ Λ λ µ e λ x σ = Λ α γλ σ βλ λ Γ γ µ λ σ + Λ α λλ σ Λ λ µ β (6.26) x σ Γ α µβ = xα x σ x λ Γ γ x γ x β x µ λ σ + xα 2 x λ x λ x β x. (6.27) µ We can calculate the covariant derivative of a one - form p by using the fact that p(v) is a scalar for any vector V: φ = p α V α. (6.28) )

6 CHAPTER 6. CURVED SPACETIME AND GR 70 We have β φ = φ,β = p α x V α V α + p β α x β = p α x V α + p β α V α ;β p α V µ Γ α µβ = ( ) pα x p µγ µ β αβ V α + p α V α ;β. (6.29) Since β φ and V α ;β components: are tensors, the term in the parenthesis is a tensor with p α;β = p α,β p µ Γ µ αβ. (6.30) We can extend this argument to show that β T µν T µν;β = T µν,β T αν Γ α µβ Γ µα Γ α νβ, β T µν T µν ;β = T µν ;β + T αν Γ µ αβ + T µα Γ ν αβ, β T µ ν T µ ν;β = T µ ν,β + T α νγ µ αβ T µ αγ α νβ. (6.31) 6.3 Calculating Γ α βγ from the metric Since V α ;β is a tensor we can lower the index α using the metric tensor: V α;β = g αµ V µ ;β. (6.32) But by linearity, we have: V α;β = (g αµ V µ ) ;β = g αµ;β V µ + g αµ V µ ;β. (6.33) So consistency requires g αµ;β V µ = 0. Since V is arbitrary this implies that g αµ;β = 0. (6.34) Thus the covariant derivative of the metric is zero in every frame. We next prove that Γ α βγ = Γ α γβ [ i.e. symmetric in β and γ ]. In a general frame we have for a scalar field φ: φ ;βα = φ,β;α = φ,βα Γ γ βαφ,γ. (6.35)

7 CHAPTER 6. CURVED SPACETIME AND GR 71 in a local inertial frame, this is just φ,βα 2 φ, which is symmetric in β and α. x β x α Thus it must also be symmetric in a general frame. Hence Γ γ αβ is symmetric in β and α: Γ γ αβ = Γ γ βα. (6.36) We now use this to express Γ γ αβ in terms of the metric. Since g αβ;µ = 0, we have: g αβ,µ = Γ ν αµg νβ + Γ ν βµg αν. (6.37) By writing different permutations of the indices and using the symmetry of Γ γ αβ, we get g αβ,µ + g αµ,β g βµ,α = 2g αν Γ ν βµ. (6.38) Multiplying by 1 2 gαγ and using g αγ g αν = δ γ ν gives Γ γ βµ = 1 2 gαγ (g αβ,µ + g αµ,β g βµ,α ). (6.39) Note that Γ γ βµ is not a tensor since it is defined in terms of partial derivatives. In a local inertial frame Γ γ βµ = 0 since g αβ,µ = 0. We will see later the significance of this result. 6.4 Tensors in polar coordinates The covariant derivative differs from partial derivatives even in flat spacetime if one uses non - Cartesian coordinates. This corresponds to going to a non - inertial frame. To illustrate this we will focus on two dimensional Euclidian space with Cartesian coordinates (x 1 = x, x 2 = y) and polar coordinates (x 1 = r, x 2 = θ). The coordinates are related by x = r cos θ, y = r sin θ, θ = tan ( ) ( 1 y x, r = x 2 + y 2) 1/2. (6.40) For neighboring points we have and dr = r r dx + dy = cos θdx + sin θdy, (6.41) x y dθ = θ θ dx + x y dy = 1 r sin θdx + 1 cos θdy. (6.42) r

8 CHAPTER 6. CURVED SPACETIME AND GR 72 We can represent this by a transformation matrix Λᾱβ: where Λᾱβ = dxᾱ = Λᾱβdx β, (6.43) ( ) cos θ sin θ 1 sin θ 1 cos θ. (6.44) r r Any vector components must transform in the same way. For any scalar field φ, we can define a one - form: We have dφ ( φ r, φ ) θ. (6.45) φ θ = φ x x θ + φ y y θ = r sin θ φ φ + r cos θ x y, (6.46) and φ r = φ x x r + φ y y r = cos θ φ φ + sin θ x y, (6.47) This transformation can be represented by another matrix Λ α β: φ x β = φ Λα β x, (6.48) α where ( cos θ r sin θ Λ α β = sin θ r cos θ ). (6.49) Any one - form components must transform in the same way. The matrices Λᾱβ and Λ α β are different but related: ( ) ( ) ΛᾱγΛ γ cos θ sin θ cos θ r sin θ β = 1 sin θ 1 cos θ = sin θ r cos θ r r ( ). (6.50)

9 CHAPTER 6. CURVED SPACETIME AND GR 73 This is just what you would expect since in general ΛᾱγΛ γ β = δᾱ β. The basis vectors and basis one - forms are e r = Λ α re α = Λ x re x + Λ y re y = cos θe x + sin θe y, e θ = Λ α θe α = Λ x θe x + Λ y θe y = r sin θe x + r cos θe y, (6.51) and w r = dr = Λ r α w α = Λ r x w x + Λ r y w y = cos θ w x + sin θ w y, w θ = dθ = Λ θ α w α = Λ θ x w x + Λ θ y w y = 1 r sin θ wx + 1 r cos θ wy. (6.52) Note that the basis vectors change from point to point in polar coordinates and need not have unit length so they do not form an orthonormal basis: e r = 1, e θ = r, w r = 1, w θ = 1 r. (6.53) The inverse metric tensor is: gᾱ β = ( r 2 ) (6.54) so the components of the vector gradient dφ of a scalar field φ are: (dφ) r = g αr φ,α = g rr φ,r + g rθ φ,θ = φ r, (dφ) θ = g αθ φ,α = g rθ φ,r + g θθ φ,θ = 1 r 2 φ θ. (6.55) This is exactly what we would expect from our understanding of normal vector calculus. and We also have: Since e r r = r (cos θe x + sin θe y ) = 0, (6.56) e r θ = 1 r e θ, e θ r = 1 r e θ, e θ θ = re r. (6.57) eᾱ x β = Γ µ ᾱ βe µ, (6.58)

10 CHAPTER 6. CURVED SPACETIME AND GR 74 we can work out all the components of the Christoffel symbols: Γ θ rθ = 1 r, Γθ θr = 1 r, Γr θθ = r, (6.59) and all other components are zero. Alternatively, we can work out these components from the metric [ EXERCISE ]: Γᾱ β γ = [ 1 gᾱ δ g 2 β δ, γ + g γ δ, β g β γ, δ]. (6.60) In fact this is the best way of working out the components of Γᾱ β γ, and it is the way we will adopt in General Relativity. Finally we can check that all the components of gᾱ β; γ = 0 as requited. For example g θθ;r = g θθ,r Γ µ θrg θ µ Γ µ θrg µθ = (r 2 ),r 2 r (r2 ) = 0. (6.61) 6.5 Parallel transport and geodesics A vector field V is parallel transported along a curve with tangent U = dx dλ, (6.62) where λ is the parameter along the curve [ usually taken to be the proper time τ if the curve is timelike ] if and only if in an inertial frame. Since in a general frame the condition becomes: dv α dλ = 0 (6.63) dv α dλ = V α x β dx β dλ = U β V α,β, (6.64) U β V α ;β = 0, (6.65) i.e. we just replace the partial derivatives (,) with a covariant derivative (;). This is called the comma goes to semicolon rule, i.e. work things out in a local inertial

11 CHAPTER 6. CURVED SPACETIME AND GR 75 V Timelike curve U Figure 6.1: Parallel transport of a vector V along a timelike curve with tangent U. frame and if it is a tensor equation it will be valid in all frames. The curve is a geodesic if it parallel transports its own tangent vector: U β U α ;β = 0. (6.66) This is the closest we can get to defining a straight line in a curved space. In flat space a tangent vector is everywhere tangent only for a straight line. Now U β U α ;β = 0 U β U α,β + Γ α µβu µ U β = 0. (6.67) Since U α = dxα dλ and d = U β dλ x β we can write this as d 2 x α dλ + dx µ dx β 2 Γα µβ dλ dλ = 0. (6.68) This is the geodesic equation. It is a second order differential equation for x α (λ), so one gets a unique solution by specifying an initial position x 0 and velocity U The variational method for geodesics We now apply the variational techniques to compute the geodesics for a given metric. For a curved spacetime, the proper time dτ is defined to be dτ 2 = 1 c 2 ds2 = 1 c 2 g αβdx α dx β. (6.69)

12 CHAPTER 6. CURVED SPACETIME AND GR 76 Remember in flat spacetime it was just dτ 2 = 1 c η αβdx α dx β. (6.70) 2 Therefore the proper time between two points A and B along an arbitrary timelike curve is τ AB = = B A B A dτ = B A dτ dλ dλ [ 1 g αβ (x) dxα c dλ dx β ] 1/2 dλ, (6.71) dλ so we can write the Lagrangian as and the action becomes L(x α, ẋ α, λ) = 1 c A = τ AB = [ B A g αβ (x) dxα dλ dx β ] 1/2, (6.72) dλ L(x α, ẋ α, λ)dλ. (6.73) Extremizing the action we get the Euler - Lagrange equations: L x = d ( ) L α dλ ẋ α. (6.74) Now and Since we get and L x = 1 ( dx µ g α µν 2c dλ L ẋ = 1 ( dx µ g α µν 2c dλ ( 1 dx α g αβ c dλ dx ν ) 1/2 g βγ dx β dx γ dλ x α dλ dλ (6.75) dx ν ) 1/2 dx β (2)g αβ dλ dλ. (6.76) dx β ) 1/2 = dτ dλ dλ L x = 1 dλ g βγ dx β dx γ α 2 dτ x α dλ dλ (6.77) (6.78) L ẋ α = dλ dτ g αβ dx β dλ = g αβ dx β dτ, (6.79)

13 CHAPTER 6. CURVED SPACETIME AND GR 77 so the Euler - Lagrange equations become: 1 dλ g βγ dx β dx γ 2 dτ x α dλ dλ = d dλ [ g αβ dx β dτ ]. (6.80) Multiplying by dλ dτ we obtain 1 g βγ dx β dx γ 2 x α dτ dτ = d dτ [ dx β ] g αβ dτ. (6.81) Using we get Multiplying by g δα gives dg αβ dτ 1 g βγ dx β dx γ 2 x α dτ dτ = g d 2 x β αβ dτ 2 = g αβ x γ dx γ dτ, (6.82) + g αβ dx γ dx β x γ dτ dτ. (6.83) d 2 x δ dτ 2 = gδα [ gαβ x γ 1 2 ] g βγ dx β dx γ x α dτ dτ. (6.84) Now g αβ dx β dx γ x γ dτ dτ = 1 2 [ gαβ dx β x γ dτ dx γ dτ + g αβ dx γ x γ dτ dx β ] dτ = 1 2 [ gαβ x γ + g αγ x β ] dx β dτ dx γ dτ. (6.85) Using the above result gives us d 2 x δ = 1 dτ 2 2 gδα [g αβ,γ + g αγ,β g βγ,α ] dxβ dx γ dτ dτ so we get the geodesic equation again = Γ δ dx β dx γ βγ dτ dτ, (6.86) d 2 x δ dτ 2 + dx β dx γ Γδ βγ dτ dτ = 0. (6.87) This is the equation of motion for a particle moving on a timelike geodesic in curved spacetime. Note that in a local inertial frame i.e. where Γ δ βγ = 0, the equation reduces to d 2 x δ dτ 2 = 0, (6.88)

14 CHAPTER 6. CURVED SPACETIME AND GR 78 which is the equation of motion for a free particle. The geodesic equation preserves its form if we parameterize the curve by any other parameter λ such that for constants a and b. affine. d 2 λ = 0 λ = aτ + b (6.89) dτ 2 A parameter which satisfies this condition is said to be The principle of equivalence again In Special Relativity, in a coordinate system adapted for an inertial frame, namely Minkowski coordinates, the equation for a test particle is: d 2 x α dτ 2 = 0. (6.90) If we use a non - inertial frame of reference, then this is equivalent to using a more general coordinate system [xᾱ = xᾱ(x β )]. In this case, the equation becomes where Γ α βγ d 2 x α dτ 2 + dx β dx γ Γα βγ dτ dτ = 0, (6.91) is the metric connection of g αβ, which is still a flat metric but not the Minkowski metric η αβ. The additional terms involving Γ α βγ which appear, are inertial forces. The principle of equivalence requires that gravitational forces, a well as inertial forces, should be given by an appropriate Γ α βγ. In this case we can no longer take the spacetime to be flat. The simplest generalization is to keep Γ α βγ as the metric connection, but now take it to be the metric connection of a non - flat metric. If we are to interpret the Γ α βγ as force terms, then it follows that we should regard the g αβ as potentials. The field equations of Newtonian gravitation consist of second - order partial differential equations in the potential Φ. In an analogous manner, we would expect that General Relativity also to involve second order partial differential equations in the potentials g αβ. The remaining task which will allow us to build a relativistic theory of gravitation is to construct this set of partial differential equations. We will do this shortly but first we must define a quantity that quantifies spacetime curvature.

15 CHAPTER 6. CURVED SPACETIME AND GR The curvature tensor and geodesic deviation So far we have used the local - flatness theorem to develop as much mathematics on curved manifolds as possible without having to consider curvature explicitly. In this section we will make a precise mathematical definition of curvature and discuss the remaining tools needed to derive the Einstein field equations. It is important to distinguish two different kinds of curvature: intrinsic and extrinsic. Consider for example a cylinder. Since a cylinder is round in one direction, one thinks of it as curved. It is its extrinsic curvature i.e. the curvature it has in relation to the flat three - dimensional space it is part of. On the other hand, a cylinder can be made by rolling a flat piece of paper without tearing or crumpling it, so the intrinsic geometry is that of the original paper i.e. it is flat. This means that the distance between any two points is the same as it was in the original paper. Also parallel lines remain parallel when continued; in fact all of Euclid s axioms hold for the surface of a cylinder. A 2D ant confined to that surface would decide that it was flat; only that the global topology is funny! It is clear therefore that when we talk of the curvature of spacetime, we talk of its intrinsic curvature since the worldlines [ geodesics ] of particles are confined to remain in spacetime. The cylinder, as we have just seen is intrinsically flat; a sphere, on the other hand, has an intrinsically curved surface. To see this, consider the surface of a sphere [ or balloon ] in which two neighboring lines begin at A and B perpendicular to the equator, and hence are parallel. When continued as locally straight lines they follow the arc of great circles, and the two lines meet at the pole P. So parallel lines, when continued, do not remain parallel, so the space is not flat. There is an even more striking illustration of the curvature of the surface of a sphere. Consider, first, a flat space. Let us take a closed path starting at A then going to B and C and then back to A. Let s parallel transport a vector around this loop. The vector finally drawn at A is, of course, parallel to the original one [ see Figure 6.2 ]. A completely different thing happens on the surface of a sphere! This time the vector is rotated through 90 degrees! [ see the balloon example ]. We will

16 CHAPTER 6. CURVED SPACETIME AND GR 80 B A Figure 6.2: Parallel transport around a closed loop in flat space. C now use parallel transport around a closed loop in curved space to define curvature in that space The curvature tensor Imagine in our manifold a very small closed loop whose four sides are the coordinate lines x 1 = a, x 1 = a + δa, x 2 = b, x 2 = b + δb. A vector V defined at A is parallel transported to B. From the parallel transport law e V = 0 V α it follows that at B the vector has components V α (B) = V α (A) + V α (B) = V α (A) x 1 = Γα µ1v µ, (6.92) B A x 2 =b V α x 1 dx1 Γ α µ1v µ dx 1, (6.93) where the notation x 2 = b under the integral denotes the path AB. Similar transport from B to C to D gives and V α (C) = V α (B) V α (D) = V α (C) + x 1 =a+δa x 1 =b+δb Γ α µ2v µ dx 2, (6.94) Γ α µ1v µ dx 1. (6.95) The integral in the last equation has a different sign because of the direction of transport from C to D is in the negative x 1 direction.

17 CHAPTER 6. CURVED SPACETIME AND GR 81 B x 1 =a A e^ 1 e^ 2 C x 1 =a+ δa x 2 =b D x 2 =b + δb Figure 6.3: Parallel transport around a closed loop ABCD. Similarly, the completion of the loop gives V α (A final ) = V α (D) + x 1 =a Γ α µ2v µ dx 2. (6.96) The net change in V α (A) is a vector δv α, found by adding (6.93) - (6.96). To lowest order we get δv α = V α (A final ) V α (A initial ) = Γ α µ2v µ dx 2 + x 1 =a x 2 =b+δb Γ α µ1v µ dx 1 x 1 =a+δa x 2 =b b+δb δv α = δa b x 1 (Γα µ2v mu ) dx 2 + a+δa a δaδb [ δb x 2 (Γα µ1v µ ) dx 1 x 1 (Γα µ2v µ ) + Γ α µ2v µ dx 2 Γ α µ1v µ dx 1. (6.97) ] x 2 (Γα µ1v µ ). (6.98) This involves derivatives of Γ s and of V α. The derivatives of V α can be eliminated

18 CHAPTER 6. CURVED SPACETIME AND GR 82 using for example This gives V µ x 1 = Γµ α1v α. (6.99) δv α = δaδb [Γ α µ1,2 Γ α µ2,1 + Γ α ν2γ ν µ1 Γ α ν1γ ν µ2] V µ. (6.100) To obtain this, one needs to relabel dummy indices in the terms quadratic in Γ. Notice that this just turns out to be a number times V µ summed on µ. Now the indices 1 and 2 appear because the path was chosen to go along those coordinates. It is antisymmetric in 1 and 2 because the change δv α would have the opposite sign if one went around the loop in the opposite direction. If we use general coordinate lines x σ and x λ, we find δv α = δaδb [Γ α µσ,λ Γ α µλ,σ + Γ α νλγ ν µσ Γ α νσγ ν µλ] V µ. (6.101) Defining we can write R α µλσ Γ α µσ,λ Γ α µλ,σ + Γ α νλγ ν µσ Γ α νσγ ν µλ (6.102) δv α = δaδbr α µλσv µ w λ w σ. (6.103) R α βµν are the components of a 1/3 tensor. This tensor is called the Riemann curvature tensor Properties of the Riemann curvature tensor Recall that the Riemann tensor is R α βµν Γ α βν,µ Γ α βµ,ν + Γ α σµγ σ βν Γ α σνγ σ βµ. (6.104) In a local inertial frame we have Γ α µν = 0, so in this frame R α βµν = Γ α βν,µ Γ α βµ,ν. (6.105) Now Γ α βν = 1 2 gαδ (g δβ,ν + g δν,β g βν,δ ) (6.106)

19 CHAPTER 6. CURVED SPACETIME AND GR 83 so Γ α βν,µ = 1 2 gαδ (g δβ,νµ + g δν,βµ g βν,δµ ) (6.107) since g αδ,µ = 0 i.e the first derivative of the metric vanishes in a local inertial frame. Hence R α βµν = 1 2 gαδ (g δβ,νµ + g δν,βµ g βν,δµ g δβ,µν g δµ,βν + g βµ,δν ). (6.108) Using the fact that partial derivatives always commute so that g δβ,νµ = g δβ,µν, we get R α βµν = 1 2 gαδ (g δν,βµ g δµ,βν + g βµ,δν g βν,δν ) (6.109) in a local inertial frame. Lowering the index α with the metric we get R αβµν = g αλ R λ βνν = 1 2 δδ α (g δν,βµ g δµ,βν + g βµ,δν g βν,δν ). (6.110) So in a local inertial frame the result is R αβµν = 1 2 (g αν,βµ g αµ,βν + g βµ,αν g βν,αµ ). (6.111) We can use this result to discover what the symmetries of R αβµν are. It is easy to show from the above result that R αβµν = R βαµν = R αβνµ = R µναβ (6.112) and R αβµν + R ανβµ + R αµνβ = 0. (6.113) Thus R αβµν is antisymmetric on the final pair and second pair of indices, and symmetric on exchange of the two pairs. Since these last two equations are valid tensor equations, although they were derived in a local inertial frame, they are valid in all coordinate systems. We can use these two identities to reduce the number of independent components of R αβµν from 256 to just 20.

20 CHAPTER 6. CURVED SPACETIME AND GR 84 A flat manifold is one which has a global definition of parallelism: i.e. a vector can be moved around parallel to itself on an arbitrary curve and will return to its starting point unchanged. This clearly means that R α βµν = 0, (6.114) i.e. the manifold is flat [ EXERCISE 6.5: try a cylinder! ]. An important use of the curvature tensor comes when we examine the consequences of taking two covariant derivatives of a vector field V: α β V µ = α (V µ ;β) = (V µ ;β),α + Γ µ σαv σ ;β Γ µ βαv µ ;σ. (6.115) As usual we can simplify things by working in a local inertial frame. So in this frame we get α β V µ = (V µ ;β),α = (V µ,β + Γ µ νβv ν ),α = V µ,βα + Γ µ νβ,αv ν + Γ µ νβv ν,α. (6.116) The second term of this is zero in a local inertial frame, so we obtain α β V µ = V µ,αβ + Γ µ νβ,αv ν. (6.117) Consider the same formula with the α and β interchanged: β α V µ = V µ,βα + Γ µ να,βv ν. (6.118) If we subtract these we get the commutator of the covariant derivative operators α and β : [ α, β ] V µ = α β V µ β α V µ = (Γ µ νβ,α Γ µ να,β) V ν. (6.119) The terms involving the second derivatives of V µ drop out because V µ,αβ = V ν,βα [ partial derivatives commute ].

21 CHAPTER 6. CURVED SPACETIME AND GR 85 V/ A/ ξ a V A Figure 6.4: Geodesic deviation Since in a local inertial frame the Riemann tensor takes the form R µ ναβ = Γ µ νβ,α Γ µ να,β, (6.120) we get [ α, β ] V µ = R µ ναβv ν. (6.121) This is closely related to our original derivation of the Riemann tensor from parallel transport around loops, because the parallel transport problem can be thought of as computing, first the change of V in one direction, and then in another, followed by subtracting changes in the reverse order. 6.7 Geodesic deviation We have shown that in a curved space [ for example on the surface of a balloon ] parallel lines when extended do not remain parallel. We will now formulate this mathematically in terms of the Riemann tensor. Consider two geodesics with tangents V and V that begin parallel and near each other at points A and A [ see Figure 6.4 ]. Let the affine parameter on the geodesics be λ. We define a connecting vector ξ which reaches from one geodesic to another, connecting points at equal intervals in λ. To simplify things, let s adopt a local inertial frame at A, in which the coordinate x 0 points along the geodesics. Thus at A we have V α = δ α 0.

22 CHAPTER 6. CURVED SPACETIME AND GR 86 The geodesic equation at A is d 2 x α dλ 2 A = 0 (6.122) since all the connection coefficients vanish at A. The connection does not vanish at A, so the equation of the geodesic at A is d 2 x α dλ 2 A + Γα 00(A ) = 0, (6.123) where again at A we have arranged the coordinates so that V α = δ α 0. But, since A and A are separated by the connecting vector ξ we have the right hand side being evaluated at A, so Now x α (A ) x α (A) = ξ α so Γ α 00(A ) = Γ α 00,βξ β, (6.124) d 2 x α dλ 2 A = Γα 00,βξ β. (6.125) d 2 ξ α dλ 2 = d2 x α dλ 2 A d2 x α dλ 2 A = Γ α 00,βξ β. (6.126) This then gives us an expression telling us how the components of ξ change. Consider now the full second covariant derivative V V ξ. Now In a local inertial frame this is V V ξ α = V ( V ξ α ) = d dλ ( ( Vξ α ) + Γ α β0 V ξ β). (6.127) V V ξ α = d dλ ( Vξ α ) = d dλ ( dξ α dλ + Γα β0ξ β ) = d2 ξ α dλ + Γα β0,0ξ β, (6.128)

23 CHAPTER 6. CURVED SPACETIME AND GR 87 where everything is again evaluated at A. Using the result for d2 ξ α dλ 2 we get since we have chosen V α = δ α 0. V V ξ α = (Γ α β0,0 Γ α 00,β) ξ β = R α 00βξ β = R α µνβv µ V ν ξ β, (6.129) The final expression is frame invariant, so we have in any basis V V ξ α = R α µνβv µ V ν ξ β. (6.130) So geodesics in flat space maintain their separation; those in curved space don t. This is called the equation of geodesic deviation and it shows mathematically that the tidal forces of a gravitational field can be represented by the curvature of spacetime in which particles follow geodesics. 6.8 The Bianchi identities; Ricci and Einstein tensors In the last section we found that in a local inertial frame the Riemann tensor could be written as R αβµν = 1 2 (g αν,βµ g αµ,βν + g βµ,αν g βν,αµ ). (6.131) Differentiating with respect to x λ we get R αβµν,λ = 1 2 (g αν,βµλ g αµ,βνλ + g βµ,ανλ g βν,αµλ ). (6.132) From this equation, the symmetry g αβ = g βα and the fact that partial derivatives commute, it is easy to show that R αβµν,λ + R αβλµ,ν + R αβνλ,µ = 0. (6.133) This equation is valid in a local inertial frame, therefore in a general frame we get R αβµν;λ + R αβλµ;ν + R αβνλ;µ = 0. (6.134) This is a tensor equation, therefore valid in any coordinate system. It is called the Bianchi identities, and will be very important for our work.

24 CHAPTER 6. CURVED SPACETIME AND GR The Ricci tensor Before looking at the consequences of the Bianchi identities, we need to define the Ricci tensor R αβ : R αβ = R µ αµβ = R βα. (6.135) It is the contraction of R µ ανβ on the first and third indices. Other contractions would in principle also be possible: on the first and second, the first and fourth, etc. But because R αβµν is antisymmetric on α and β and on µ and ν, all these contractions either vanish or reduce to ±R αβ. Therefore the Ricci tensor is essentially the only contraction of the Riemann tensor. Similarly, the Ricci scalar is defined as R = g µν R µν = g µν g αβ R αβµν. (6.136) The Einstein Tensor Let us apply the Ricci contraction to the Bianchi identities g αµ [R αβµν;λ + R αβλµ;ν + R αβνλ;µ ] = 0. (6.137) Since g αβ;µ = 0 and g αβ ;µ = 0, we can take g αµ in and out of covariant derivatives at will: We get: R µ βµν;λ + R µ βλµ;ν + R µ βνλ;µ = 0. (6.138) Using the antisymmetry on the indices µ and λ we get R µ βµν;λ R µ βµλ;ν + R µ βνλ;µ, (6.139) so R βν;λ R βλ;ν + R µ βνλ;µ = 0. (6.140) These equations are called the contracted Bianchi identities. Let us now contract a second time on the indices β and ν: g βν [R βν;λ R βλ;ν + R µ βνλ;µ] = 0. (6.141) This gives R ν ν;λ R ν λ;ν + R µν νλ;µ = 0. (6.142)

25 CHAPTER 6. CURVED SPACETIME AND GR 89 so or R ;λ 2R µ λ;µ = 0, (6.143) 2R µ λ;µ R ;λ = 0. (6.144) Since R ;λ = g µ λr ;µ, we get [ 2R µ λ 1 2 gµ λr ] ;µ = 0. (6.145) Raising the index λ with g λν we get [ R µν 1 2 gµν R ] ;µ = 0. (6.146) Defining we get G µν = R µν 1 2 gµν R (6.147) G µν ;µ = 0. (6.148) The tensor G µν is constructed only from the Riemann tensor and the metric, and it is automatically divergence free as an identity. It is called the Einstein tensor, since its importance for gravity was first understood by Einstein. We will see in the next chapter that Einstein s field equations for General Relativity are where T µν is the stress - energy tensor. The Bianchi Identities then imply which is the conservation of energy and momentum. G µν = 8πG c 4 T µν, (6.149) T αβ ;β = 0, (6.150)

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

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

Διαβάστε περισσότερα

Parallel transport and geodesics

Parallel transport and geodesics Parallel transport and geodesics February 4, 3 Parallel transport Before defining a general notion of curvature for an arbitrary space, we need to know how to compare vectors at different positions on

Διαβάστε περισσότερα

2 Composition. Invertible Mappings

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,

Διαβάστε περισσότερα

Tutorial problem set 6,

Tutorial problem set 6, GENERAL RELATIVITY Tutorial problem set 6, 01.11.2013. SOLUTIONS PROBLEM 1 Killing vectors. a Show that the commutator of two Killing vectors is a Killing vector. Show that a linear combination with constant

Διαβάστε περισσότερα

Section 8.3 Trigonometric Equations

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.

Διαβάστε περισσότερα

A Short Introduction to Tensors

A Short Introduction to Tensors May 2, 2007 Tensors: Scalars and Vectors Any physical quantity, e.g. the velocity of a particle, is determined by a set of numerical values - its components - which depend on the coordinate system. Studying

Διαβάστε περισσότερα

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

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

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

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

Διαβάστε περισσότερα

Geodesic Equations for the Wormhole Metric

Geodesic Equations for the Wormhole Metric Geodesic Equations for the Wormhole Metric Dr R Herman Physics & Physical Oceanography, UNCW February 14, 2018 The Wormhole Metric Morris and Thorne wormhole metric: [M S Morris, K S Thorne, Wormholes

Διαβάστε περισσότερα

Riemannian Curvature

Riemannian Curvature Riemannian Curvature February 6, 013 We now generalize our computation of curvature to arbitrary spaces. 1 Parallel transport around a small closed loop We compute the change in a vector, w, which we parallel

Διαβάστε περισσότερα

derivation of the Laplacian from rectangular to spherical coordinates

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

Διαβάστε περισσότερα

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

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

Διαβάστε περισσότερα

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

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

Διαβάστε περισσότερα

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 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

Διαβάστε περισσότερα

Areas and Lengths in Polar Coordinates

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

Διαβάστε περισσότερα

Symmetry. March 31, 2013

Symmetry. March 31, 2013 Symmetry March 3, 203 The Lie Derivative With or without the covariant derivative, which requires a connection on all of spacetime, there is another sort of derivation called the Lie derivative, which

Διαβάστε περισσότερα

Math221: HW# 1 solutions

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

Διαβάστε περισσότερα

Partial Differential Equations in Biology The boundary element method. March 26, 2013

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

Διαβάστε περισσότερα

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)

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

Διαβάστε περισσότερα

Homework 8 Model Solution Section

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

Διαβάστε περισσότερα

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

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) =

Διαβάστε περισσότερα

Parametrized Surfaces

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

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

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

Διαβάστε περισσότερα

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr 9.9 #. Area inside the oval limaçon r = + cos. To graph, start with = so r =. Compute d = sin. Interesting points are where d vanishes, or at =,,, etc. For these values of we compute r:,,, and the values

Διαβάστε περισσότερα

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds! MTH U341 urface Integrals, tokes theorem, the divergence theorem To be turned in Wed., Dec. 1. 1. Let be the sphere of radius a, x 2 + y 2 + z 2 a 2. a. Use spherical coordinates (with ρ a) to parametrize.

Διαβάστε περισσότερα

Srednicki Chapter 55

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

Διαβάστε περισσότερα

Second Order Partial Differential Equations

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

Διαβάστε περισσότερα

Section 7.6 Double and Half Angle Formulas

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(θ + θ)

Διαβάστε περισσότερα

Geometry of the 2-sphere

Geometry of the 2-sphere Geometry of the 2-sphere October 28, 2 The metric The easiest way to find the metric of the 2-sphere (or the sphere in any dimension is to picture it as embedded in one higher dimension of Euclidean space,

Διαβάστε περισσότερα

Space-Time Symmetries

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

Διαβάστε περισσότερα

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

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

Διαβάστε περισσότερα

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

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)

Διαβάστε περισσότερα

EE512: Error Control Coding

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

Διαβάστε περισσότερα

Section 9.2 Polar Equations and Graphs

Section 9.2 Polar Equations and Graphs 180 Section 9. Polar Equations and Graphs In this section, we will be graphing polar equations on a polar grid. In the first few examples, we will write the polar equation in rectangular form to help identify

Διαβάστε περισσότερα

Concrete Mathematics Exercises from 30 September 2016

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)

Διαβάστε περισσότερα

Appendix A. Curvilinear coordinates. A.1 Lamé coefficients. Consider set of equations. ξ i = ξ i (x 1,x 2,x 3 ), i = 1,2,3

Appendix A. Curvilinear coordinates. A.1 Lamé coefficients. Consider set of equations. ξ i = ξ i (x 1,x 2,x 3 ), i = 1,2,3 Appendix A Curvilinear coordinates A. Lamé coefficients Consider set of equations ξ i = ξ i x,x 2,x 3, i =,2,3 where ξ,ξ 2,ξ 3 independent, single-valued and continuous x,x 2,x 3 : coordinates of point

Διαβάστε περισσότερα

Solutions Ph 236a Week 8

Solutions Ph 236a Week 8 Solutions Ph 236a Week 8 Page 1 of 9 Solutions Ph 236a Week 8 Kevin Barkett, Jonas Lippuner, and Mark Scheel December 1, 2015 Contents Problem 1................................... 2...................................

Διαβάστε περισσότερα

CRASH COURSE IN PRECALCULUS

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

Διαβάστε περισσότερα

Solutions to Exercise Sheet 5

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

Διαβάστε περισσότερα

Homework 3 Solutions

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

Διαβάστε περισσότερα

Cosmological Space-Times

Cosmological Space-Times Cosmological Space-Times Lecture notes compiled by Geoff Bicknell based primarily on: Sean Carroll: An Introduction to General Relativity plus additional material 1 Metric of special relativity ds 2 =

Διαβάστε περισσότερα

( y) Partial Differential Equations

( 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

Διαβάστε περισσότερα

Orbital angular momentum and the spherical harmonics

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

Διαβάστε περισσότερα

Example Sheet 3 Solutions

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

Διαβάστε περισσότερα

Variational Wavefunction for the Helium Atom

Variational Wavefunction for the Helium Atom Technische Universität Graz Institut für Festkörperphysik Student project Variational Wavefunction for the Helium Atom Molecular and Solid State Physics 53. submitted on: 3. November 9 by: Markus Krammer

Διαβάστε περισσότερα

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θ.

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 +

Διαβάστε περισσότερα

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

= {{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

Διαβάστε περισσότερα

Matrices and Determinants

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

Διαβάστε περισσότερα

Statistical Inference I Locally most powerful tests

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

Διαβάστε περισσότερα

Reminders: linear functions

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

Διαβάστε περισσότερα

Lecture 26: Circular domains

Lecture 26: Circular domains Introductory lecture notes on Partial Differential Equations - c Anthony Peirce. Not to be copied, used, or revised without eplicit written permission from the copyright owner. 1 Lecture 6: Circular domains

Διαβάστε περισσότερα

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

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

Διαβάστε περισσότερα

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS EXERCISE 01 Page 545 1. Use matrices to solve: 3x + 4y x + 5y + 7 3x + 4y x + 5y 7 Hence, 3 4 x 0 5 y 7 The inverse of 3 4 5 is: 1 5 4 1 5 4 15 8 3

Διαβάστε περισσότερα

Higher Derivative Gravity Theories

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)

Διαβάστε περισσότερα

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

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

Διαβάστε περισσότερα

C.S. 430 Assignment 6, Sample Solutions

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

Διαβάστε περισσότερα

You may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.

You may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator. MATHEMATICAL TRIPOS Part III Monday 6 June, 2005 9 to 12 PAPER 60 GENERAL RELATIVITY Attempt THREE questions. There are FOUR questions in total. The questions carry equal weight. The signature is ( + ),

Διαβάστε περισσότερα

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (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

Διαβάστε περισσότερα

4.6 Autoregressive Moving Average Model ARMA(1,1)

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

Διαβάστε περισσότερα

Sixth lecture September 21, 2006

Sixth lecture September 21, 2006 Sixth lecture September, 006 Web Page: http://www.colorado.edu/physics/phys7840 NOTE: Next lectures Tuesday, Sept. 6; noon Thursday, Sept. 8; noon Tuesday, Oct. 3; noon Thursday, Oct. 5; noon more????

Διαβάστε περισσότερα

Phys624 Quantization of Scalar Fields II Homework 3. Homework 3 Solutions. 3.1: U(1) symmetry for complex scalar

Phys624 Quantization of Scalar Fields II Homework 3. Homework 3 Solutions. 3.1: U(1) symmetry for complex scalar Homework 3 Solutions 3.1: U(1) symmetry for complex scalar 1 3.: Two complex scalars The Lagrangian for two complex scalar fields is given by, L µ φ 1 µ φ 1 m φ 1φ 1 + µ φ µ φ m φ φ (1) This can be written

Διαβάστε περισσότερα

6.3 Forecasting ARMA processes

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

Διαβάστε περισσότερα

Lecture 2. Soundness and completeness of propositional logic

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

Διαβάστε περισσότερα

TMA4115 Matematikk 3

TMA4115 Matematikk 3 TMA4115 Matematikk 3 Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet Trondheim Spring 2010 Lecture 12: Mathematics Marvellous Matrices Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet

Διαβάστε περισσότερα

1 Lorentz transformation of the Maxwell equations

1 Lorentz transformation of the Maxwell equations 1 Lorentz transformation of the Maxwell equations 1.1 The transformations of the fields Now that we have written the Maxwell equations in covariant form, we know exactly how they transform under Lorentz

Διαβάστε περισσότερα

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

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

Διαβάστε περισσότερα

Exercise 1.1. Verify that if we apply GS to the coordinate basis Gauss form ds 2 = E(u, v)du 2 + 2F (u, v)dudv + G(u, v)dv 2

Exercise 1.1. Verify that if we apply GS to the coordinate basis Gauss form ds 2 = E(u, v)du 2 + 2F (u, v)dudv + G(u, v)dv 2 Math 209 Riemannian Geometry Jeongmin Shon Problem. Let M 2 R 3 be embedded surface. Then the induced metric on M 2 is obtained by taking the standard inner product on R 3 and restricting it to the tangent

Διαβάστε περισσότερα

Symmetric Stress-Energy Tensor

Symmetric Stress-Energy Tensor Chapter 3 Symmetric Stress-Energy ensor We noticed that Noether s conserved currents are arbitrary up to the addition of a divergence-less field. Exploiting this freedom the canonical stress-energy tensor

Διαβάστε περισσότερα

The Simply Typed Lambda Calculus

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

Διαβάστε περισσότερα

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

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)

Διαβάστε περισσότερα

Problem Set 3: Solutions

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

Διαβάστε περισσότερα

Approximation of distance between locations on earth given by latitude and longitude

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

Διαβάστε περισσότερα

( ) 2 and compare to M.

( ) 2 and compare to M. Problems and Solutions for Section 4.2 4.9 through 4.33) 4.9 Calculate the square root of the matrix 3!0 M!0 8 Hint: Let M / 2 a!b ; calculate M / 2!b c ) 2 and compare to M. Solution: Given: 3!0 M!0 8

Διαβάστε περισσότερα

Numerical Analysis FMN011

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) =

Διαβάστε περισσότερα

PARTIAL NOTES for 6.1 Trigonometric Identities

PARTIAL NOTES for 6.1 Trigonometric Identities PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

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

Διαβάστε περισσότερα

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 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

Διαβάστε περισσότερα

Finite Field Problems: Solutions

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

Διαβάστε περισσότερα

Derivations of Useful Trigonometric Identities

Derivations of Useful Trigonometric Identities Derivations of Useful Trigonometric Identities Pythagorean Identity This is a basic and very useful relationship which comes directly from the definition of the trigonometric ratios of sine and cosine

Διαβάστε περισσότερα

Every set of first-order formulas is equivalent to an independent set

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

Διαβάστε περισσότερα

THE ENERGY-MOMENTUM TENSOR IN CLASSICAL FIELD THEORY

THE ENERGY-MOMENTUM TENSOR IN CLASSICAL FIELD THEORY THE ENERGY-MOMENTUM TENSOR IN CLASSICAL FIELD THEORY Walter Wyss Department of Physics University of Colorado Boulder, CO 80309 (Received 14 July 2005) My friend, Asim Barut, was always interested in classical

Διαβάστε περισσότερα

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1. Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given

Διαβάστε περισσότερα

D Alembert s Solution to the Wave Equation

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

Διαβάστε περισσότερα

Uniform Convergence of Fourier Series Michael Taylor

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

Διαβάστε περισσότερα

The kinetic and potential energies as T = 1 2. (m i η2 i k(η i+1 η i ) 2 ). (3) The Hooke s law F = Y ξ, (6) with a discrete analog

The kinetic and potential energies as T = 1 2. (m i η2 i k(η i+1 η i ) 2 ). (3) The Hooke s law F = Y ξ, (6) with a discrete analog Lecture 12: Introduction to Analytical Mechanics of Continuous Systems Lagrangian Density for Continuous Systems The kinetic and potential energies as T = 1 2 i η2 i (1 and V = 1 2 i+1 η i 2, i (2 where

Διαβάστε περισσότερα

On a four-dimensional hyperbolic manifold with finite volume

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

Διαβάστε περισσότερα

Other Test Constructions: Likelihood Ratio & Bayes Tests

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 :

Διαβάστε περισσότερα

Written Examination. Antennas and Propagation (AA ) April 26, 2017.

Written Examination. Antennas and Propagation (AA ) April 26, 2017. Written Examination Antennas and Propagation (AA. 6-7) April 6, 7. Problem ( points) Let us consider a wire antenna as in Fig. characterized by a z-oriented linear filamentary current I(z) = I cos(kz)ẑ

Διαβάστε περισσότερα

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007 Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο

Διαβάστε περισσότερα

Math 6 SL Probability Distributions Practice Test Mark Scheme

Math 6 SL Probability Distributions Practice Test Mark Scheme Math 6 SL Probability Distributions Practice Test Mark Scheme. (a) Note: Award A for vertical line to right of mean, A for shading to right of their vertical line. AA N (b) evidence of recognizing symmetry

Διαβάστε περισσότερα

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

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 = =

Διαβάστε περισσότερα

Integrals in cylindrical, spherical coordinates (Sect. 15.7)

Integrals in cylindrical, spherical coordinates (Sect. 15.7) Integrals in clindrical, spherical coordinates (Sect. 5.7 Integration in spherical coordinates. Review: Clindrical coordinates. Spherical coordinates in space. Triple integral in spherical coordinates.

Διαβάστε περισσότερα

1 String with massive end-points

1 String with massive end-points 1 String with massive end-points Πρόβλημα 5.11:Θεωρείστε μια χορδή μήκους, τάσης T, με δύο σημειακά σωματίδια στα άκρα της, το ένα μάζας m, και το άλλο μάζας m. α) Μελετώντας την κίνηση των άκρων βρείτε

Διαβάστε περισσότερα

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

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

Διαβάστε περισσότερα

A Short Introduction to Tensor Analysis

A Short Introduction to Tensor Analysis June 20, 2008 Scalars and Vectors An n-dim manifold is a space M on every point of which we can assign n numbers (x 1,x 2,...,x n ) the coordinates, in such a way that there will be a one to one correspondence

Διαβάστε περισσότερα

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2 Chapter 3. Analytic Trigonometry 3.1 The inverse sine, cosine, and tangent functions 1. Review: Inverse function (1) f 1 (f(x)) = x for every x in the domain of f and f(f 1 (x)) = x for every x in the

Διαβάστε περισσότερα

1. (a) (5 points) Find the unit tangent and unit normal vectors T and N to the curve. r(t) = 3cost, 4t, 3sint

1. (a) (5 points) Find the unit tangent and unit normal vectors T and N to the curve. r(t) = 3cost, 4t, 3sint 1. a) 5 points) Find the unit tangent and unit normal vectors T and N to the curve at the point P, π, rt) cost, t, sint ). b) 5 points) Find curvature of the curve at the point P. Solution: a) r t) sint,,

Διαβάστε περισσότερα

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

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

Διαβάστε περισσότερα

Physics 554: HW#1 Solutions

Physics 554: HW#1 Solutions Physics 554: HW#1 Solutions Katrin Schenk 7 Feb 2001 Problem 1.Properties of linearized Riemann tensor: Part a: We want to show that the expression for the linearized Riemann tensor, given by R αβγδ =

Διαβάστε περισσότερα

If we restrict the domain of y = sin x to [ π 2, π 2

If we restrict the domain of y = sin x to [ π 2, π 2 Chapter 3. Analytic Trigonometry 3.1 The inverse sine, cosine, and tangent functions 1. Review: Inverse function (1) f 1 (f(x)) = x for every x in the domain of f and f(f 1 (x)) = x for every x in the

Διαβάστε περισσότερα