Vector Analysis: Dot Product, Cross Product, and Frenet-Serret Formulas, Assignments of Geometry

Various topics in vector analysis, including the dot product, cross product, and frenet-serret formulas. It includes calculations and derivations of the norms, angles between vectors, and the relationship between velocity, acceleration, and the curvature and torsion of a curve.

Typology: Assignments

Pre 2010

Uploaded on 08/30/2009

koofers-user-ejr
koofers-user-ejr 🇺🇸

5

(1)

8 documents

1 / 6

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Problems graded: 2.1.7, 2.2.2, 2.3.5 (15 points each); the other twelve prob-
lems were graded based on completeness (to be worth four points each) and
seven points were added to everyone’s score to bring the total to 100.
Section 2.1
1. (a) The dot product of v= (1,2,1) and w= (1,0,3) is 1 1 + 2
0 + 13 = 4.
(b) The cross product of vand wis the formal determinant of the matrix
whose first row is (i, j, k), whose second row is v, and whose third row is w; this
yields (23−−10)i+(1113)j+(1021)k= 6i2j+2k= (6,2,2).
(c) As ||v|| =p12+ 22+ (1)2=6, v
||v|| = ( 6
6,6
3,6
6).
As ||w|| =p(1)2+ 02+ 32=10, v
||v|| = ( 10
10 ,0,310
10 ).
(d) The cross product of vand w, (6,2,2), has norm p62+ (2)2+ 22=
211.
(e) Using the formula vw=||v||||w||cos θ(where θis the angle between v
and w), the cosine of the angle between vand wis 4
60 =215
15 .
3. To show that e1, e2,and e3constitute a frame it suffices to show that
they are orthonormal: as (1,2,1) has norm 6,||e1|| =6
6= 1 and similarly for
e2(as (2,0,2) has norm 8) and e3(as (1,1,1) has norm 3) so it suffices
to show orthogonalilty, for which we can clear the denominators.
The dot product of e1and e2is equal to 1
48 (12 + 2 0 + 1 2) = 0, the
dot product of e1and e3is equal to 1
18 (1 1 + 2 1 + 1 1) = 0, and the dot
product of e2and e3is equal to 1
24 (21 + 0 1 + 2 1) = 0 so the three
vectors form an orthonormal set in R3and therefore a frame.
Setting v= (6,1,1), we note that v= (ve1)e1+ (ve2)e2+ (ve3)e3;
here (ve1) = 61+12+11
6=76
6, (ve2) = 6∗−2+10+12
8=72
2, and
(ve3) = 61+1∗−1+11
3=43
3so
v=76
6e1+72
2e2+43
3e3.
This can be checked by noting that 76
6e1= (7
6,7
3,7
6), 72
2e2= (7
2,0,7
2),
and 43
3e3= (4
3,4
3,4
3); adding these three indeed gives v.
1
pf3
pf4
pf5

Partial preview of the text

Download Vector Analysis: Dot Product, Cross Product, and Frenet-Serret Formulas and more Assignments Geometry in PDF only on Docsity!

Problems graded: 2.1.7, 2.2.2, 2.3.5 (15 points each); the other twelve prob- lems were graded based on completeness (to be worth four points each) and seven points were added to everyone’s score to bring the total to 100. Section 2.

  1. (a) The dot product of v = (1, 2 , −1) and w = (− 1 , 0 , 3) is 1 ∗ −1 + 2 ∗ 0 + − 1 ∗ 3 = −4. (b) The cross product of v and w is the formal determinant of the matrix whose first row is (i, j, k), whose second row is v, and whose third row is w; this yields (2∗ 3 −− 1 ∗0)i+(− 1 ∗− 1 − 1 ∗3)j+(1∗ 0 − 2 ∗−1)k = 6i− 2 j+2k = (6, − 2 , 2).

(c) As ||v|| =

12 + 2^2 + (−1)^2 =

6, (^) ||vv|| = (

√ 6 6 ,^

√ 6 3 ,^

−√ 6 6 ). As ||w|| =

(−1)^2 + 0^2 + 3^2 =

10, (^) ||vv|| = ( −

√ 10 10 ,^0 ,^

3 √ 10 10 ). (d) The cross product of v and w, (6, − 2 , 2), has norm

62 + (−2)^2 + 2^2 =

(e) Using the formula v • w = ||v||||w|| cos θ (where θ is the angle between v

and w), the cosine of the angle between v and w is √− 604 = −^2

√ 15

  1. To show that e 1 , e 2 , and e 3 constitute a frame it suffices to show that they are orthonormal: as (1, 2 , 1) has norm

6 , ||e 1 || = 66 = 1 and similarly for e 2 (as (− 2 , 0 , 2) has norm

  1. and e 3 (as (1, − 1 , 1) has norm
  1. so it suffices to show orthogonalilty, for which we can clear the denominators. The dot product of e 1 and e 2 is equal to √^148 (− 1 ∗ 2 + 2 ∗ 0 + 1 ∗ 2) = 0, the

dot product of e 1 and e 3 is equal to √^118 (1 ∗ 1 + 2 ∗ −1 + 1 ∗ 1) = 0, and the dot

product of e 2 and e 3 is equal to √^124 (− 2 ∗ 1 + 0 ∗ −1 + 2 ∗ 1) = 0 so the three

vectors form an orthonormal set in R^3 and therefore a frame. Setting v = (6, 1 , −1), we note that v = (v • e 1 )e 1 + (v • e 2 )e 2 + (v • e 3 )e 3 ;

here (v • e 1 ) = 6 ∗1+1∗√2+ 6 −^1 ∗^1 = 7

√ 6 6 , (v^ •^ e^2 ) =^

6 ∗−2+1√∗0+− 1 ∗ 2 8 =^ −^

7 √ 2 2 , and

(v • e 3 ) = 6 ∗1+1∗−√ 3 1+ −^1 ∗^1 = 4

√ 3 3 so v = 7

√ 6 6 e^1 +^ −^

7 √ 2 2 e^2 +^

4 √ 3 3 e^3. This can be checked by noting that 7

√ 6 6 e^1 = (^

7 6 ,^

7 3 ,^

7 6 ),^ −^

7 √ 2 2 e^2 = (^

7 2 ,^0 ,^ −^

7 2 ), and 4

√ 3 3 e^3 = (^

4 3 ,^ −^

4 3 ,^

4 3 ); adding these three indeed gives^ v.

  1. (a) By the standard expansion of the determinant, we note that the right hand side (the determinant of the matrix whose first row is u, second row is v, and third row is w) is equal to

u 1 (v 2 w 3 − v 3 w 2 ) + u 2 (v 3 w 1 − v 1 w 3 ) + u 3 (v 1 w 2 − v 2 w 1 ) = u • (v × w)

as desired. (b) By the preceding part, u • v × w 6 = 0 iff the determinant of the matrix with u, v, and w as rows in that order is zero, which happens iff u, v, and w are linearly independent. (c) Switching any two vectors in the expression swaps two rows in the de- terminant from (a), causing the product to change sign. (d) Going from u•v ×w to u×v • w switches the bottom row with the middle row and then switches the middle row with the top row in the determinant from (a). As this causes two changes of sign from the previous part, the final result is unchanged.

  1. The expansion v = v 1 + v 2 is unique because once v 1 is defined as (v • u)u, v 2 is forced to equal v − v 1. It satisfies v 1 • v 2 = 0 because

v 1 • v 2 = v 1 • (v − v 1 ) = v 1 • v − v 1 • v 1 = ||v|| cos θ − ||v|| cos θ = 0.

  1. (a) v[f ] = (df )(v) by definition of df ; by Corollary 5.5 of Chapter 1 this equals Σi( (^) δxδfi dxi)v = Σi δxδfi vi (where the vi are the components of v) = v • (∇f ) (evaluated at the point p, where v is supposed to be a vector at v). (b) By the preceding part, the directional derivative in the direction u is equal to ||(∇f )(p)|| cos θ where θ is equal to the angle between ∇f and u; it reaches its maximum, ||(∇f )(p)|| when θ = 1 (assuming the gradient is nonzero; otherwise the maximum is 0 and attained in all directions). If the gradient is nonzero, then setting u to be equal to (^) ||((∇∇ff^ )( )(pp))|| , (∇f )(p) • u is indeed equal to

this maximum value (note v • v = ||v||^2 ).

  1. (a) If σ(t) = (1 − t)p + tq, |σ′| = ||q − p|| so L(σ), being the integral of |σ′| from 0 to 1, is itself ||q − p|| = d(q, p). (b) As ||α′^ • u|| ≤ ||α||||u|| = ||α|| (so ||α|| ≥ α • u), we have

L(α) =

∫ (^) b

t=a

||α′(t)||dt ≤

∫ (^) b

t=a

α′(t) • udt =

∫ (^) b

t=a

(α(t) • u)′dt

= α(b) • u − α(a) • u = (q − p) • u = ||q − p|| = d(p, q). (c) If we have equality in this expression then we need ||α′(t)|| = α(t) • u at every point; writing α′(t) = (α(t)•u)u+Y as in Problem 7 of Section 2.1 with Y orthogonal to zero, this can only happen if Y = 0 (as |α′(t)|^2 = |α(t) • u|^2 + Y 2 and α(t) • u ≥ 0 at every point.) In other words, the velocity of α points along the straight line segment from p to q at all times, implying that α travels along this straight line segment.

Section 2.

  1. In example 3.3, we computed T (s) = (− a c sin s c , a c cos s c , b c ), N (s) = (− cos s c , − sin s c , 0), B(s) = ( b c sin s c , − b c cos s c ), a c , κ(s) = (^) ca 2 , and τ (s) = (^) cb 2 (where c =

a^2 + b^2 ). In those computations we already verified two of the Frenet equations: T ′^ = κN and B′^ = −τ N (in fact, this is how κ and τ were computed). It remains to show N ′^ = −κT + τ B; however, N ′(s) = c−^1 (sin s c , − cos s c , 0)

while −κT (s) = c−^1 ( a

2 c^2 sin^

s c ,^ −^

a^2 c^2 cos^

s c ,^ −^

ab c^2 ) and τ B(s) = c−^1 ( b

2 c^2 sin^

s c ,^ −^

b^2 c^2 cos^

s c ,^

ab c^2 ) giving the desired conclusion because a^2 + b^2 = c^2.

  1. If A = τ T + κB, then A × T = κN (as B × T = N ) so the first Frenet formula becomes T ′^ = κN = A × T. Similarly, A × N = τ B − κT (as T × N = B, B × N = −T ) so the second Frenet formula becomes N ′^ = −κT + τ B = A × N. Finally, A×B = −κN (as B ×T = −N ) so the final Frenet formula becomes B′^ = −τ N = A × B.
  2. Writing γ(s) = c + r cos s r e 1 + r sin s r e 2 such that γ(0) = β(0), γ′(0) = β′(0), γ′′(0) = β′′(0), we note that these three conditions for γ are equivalent to c + re 1 = β(0), e 2 = β′(0), and −r−^1 e 1 = β′′(0). The second equation forces e 2 to be β′(0); by taking norms, the third equation tells us that r−^1 = κ(0), i.e. that r = κ(0)−^1 (so e 1 = −κ(0)−^1 β′′(0)). Plugging these back into the first equation, we conclude that c = β(0) + β′′(0). Therefore, the circle, if it exists, is uniquely characterized by c = β(0)+β′′(0), e 1 = −κ(0)−^1 β′′(0), e 2 = β′(0), and r = κ(0)−^1 ; this indeed gives what we want because e 1 and e 2 are unit vectors by direct computation (β is unit-speed so |β′′| = κ) and c + re 1 = β(0), e 2 = β′(0), and −r−^1 e 1 = β′′(0) follow by direct computation. As every point on the osculating plane of β at β(0) can be written in the form c + α 1 e 1 + α 2 e 2 for α 1 , α 2 real (since β(0) is expressible in this form and e 1 and e 2 , which are scalar multiples of the normal and tangent vectors to β(0) respectively span the plane), γ indeed lies in this plane; we already computed c = β(0) + β′′(0), r = κ(0)−^1.