Prove the Following Vector Identities Part 1

In summary, the problem asks to prove the identity \frac{d}{dt}(\vec u(t) \times \vec v (t))= \vec u'(t) \times \vec v(t)+ \vec u(t) \times \vec v'(t) for vectors u(t) and v(t) in R^3. The multiplication involved is the cross product, and the proof involves writing out the components of the vectors and applying the regular product rule.
  • #1
bugatti79
794
1

Homework Statement


[itex]\displaystyle \frac{d}{dt} (\vec u (t) \vec v (t))= \vec u (t)' \vec v(t)+\vec u(t) \vec v(t)'[/itex]

I know this is a product rule on the RHS but how does one prove it?

Thanks
 
Physics news on Phys.org
  • #2
bugatti79 said:

Homework Statement


[itex]\displaystyle \frac{d}{dt} (\vec u (t) \vec v (t))= \vec u (t)' \vec v(t)+\vec u(t) \vec v(t)'[/itex]

I know this is a product rule on the RHS but how does one prove it?
Definition of the derivative of a vector-valued function?

Also, for the sake of clarity, what kind of multiplication is implied here?
 
  • #3
OK, I guess I shouldn't have left out the x ie

[itex]\displaystyle \frac{d}{dt} (\vec u (t) x \vec v (t))= \vec u (t)' x\vec v(t)+\vec u(t) x\vec v(t)'[/itex]
 
  • #4
bugatti79 said:
OK, I guess I shouldn't have left out the x ie

[itex]\displaystyle \frac{d}{dt} (\vec u (t) x \vec v (t))= \vec u (t)' x\vec v(t)+\vec u(t) x\vec v(t)'[/itex]

Hmm, what do you mean by [itex]x[/itex]?
Did you mean the cross product (also called outer product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \times \vec v (t))= \vec u (t)' \times \vec v(t)+\vec u(t) \times \vec v(t)'[/itex]

Or did you mean the dot product (also called inner product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \cdot \vec v (t))= \vec u (t)' \cdot \vec v(t)+\vec u(t) \cdot \vec v(t)'[/itex]

(Or did you mean yet another unusual product? :wink:)

Either way, I think the problem asks you to write out the products in the components of the vectors and apply the regular product rule.
 
  • #5
I like Serena said:
Hmm, what do you mean by [itex]x[/itex]?
Did you mean the cross product (also called outer product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \times \vec v (t))= \vec u (t)' \times \vec v(t)+\vec u(t) \times \vec v(t)'[/itex]

Or did you mean the dot product (also called inner product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \cdot \vec v (t))= \vec u (t)' \cdot \vec v(t)+\vec u(t) \cdot \vec v(t)'[/itex]

(Or did you mean yet another unusual product? :wink:)

Either way, I think the problem asks you to write out the products in the components of the vectors and apply the regular product rule.

Yes, I meant the cross product! I didnt know the correct LaTex :-)
Will look at it tomorrow. Thanks!
 
  • #6
I like Serena said:
Did you mean the cross product (also called outer product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \times \vec v (t))= \vec u (t)' \times \vec v(t)+\vec u(t) \times \vec v(t)'[/itex]

Let [itex]\vec u =(x(t),x_2(t),x_3(t)...x_n(t))[/itex] and similarly for v hence

[itex]\displaystyle \frac{d}{dt} \vec u (t) \times \vec v(t)=\frac{d}{dt} (x(t) \times y(t)), \frac{d}{dt}(x_2(t) \times y_2(t))...\frac{d}{dt} (x_n(t) \times y_n (t))[/itex]

[itex]=x(t) y'(t)+y(t) x'(t), x_2(t)y_2'(t)+y_2(t)x_2'(t)...[/itex]

[itex]=(x(t)y'(t), x_2(t)y_2'(t),x_n(t)y_n'(t))+(y(t)x'(t), y_2(t)x_2'(t)...)[/itex]

[itex]=(x_n(t)y_n'(t))+ (y_n(t)x_n'(t))[/itex]

[itex]\displaystyle =\frac{d}{dt} (x_n(t) \times y_n(t))[/itex]

[itex]\displaystyle =\frac{d}{dt} (\vec u(t) \times \vec v (t))[/itex]...?
 
  • #7
The cross product is defined only for vectors in R3.
 
  • #8
What you did would be for yet another (unusual) vector product defined by component-wise multiplication.
As such, your proof would be correct (although your notation could be better).

But are you sure we're talking about a component-wise product? :confused:
(It would fit better with leaving out the multiplication sign completely.)
 
  • #9
Mark44 said:
The cross product is defined only for vectors in R3.

Not sure I understand what you are saying I.L.S. Is it not correct now that we know u and v are in R^3
 
  • #10
bugatti79 said:
Not sure I understand what you are saying I.L.S. Is it not correct now that we know u and v are in R^3

Sorry, but no.

Let me refresh the definition of the cross product of u and v.

[tex]\vec u \times \vec v
= \begin{pmatrix}
u_y v_z - u_z v_y\\
u_z v_x - u_x v_z \\
u_x v_y - u_y v_x\end{pmatrix}[/tex]

Did you mean this vector product?
 
  • #11
We are now 10 posts into this problem about vector multiplication (11 with this post), but still don't know what kind of multiplication is intended. Please give us the complete problem statement, which should include the space the vectors are in, and the kind of multiplication that is meant.
 
  • #12
Mark44 said:
We are now 10 posts into this problem about vector multiplication (11 with this post), but still don't know what kind of multiplication is intended. Please give us the complete problem statement, which should include the space the vectors are in, and the kind of multiplication that is meant.

Suppose that vector u(t) and v(t) take values in R^3. Prove the following identity

[itex]\frac{d}{dt}(\vec u(t) \times \vec v (t))= \vec u'(t) \times \vec v(t)+ \vec u(t) \times \vec v'(t)[/itex]

I think I see my mstake. I should not have x_n and y_n because the vectors are defined in 3-D space...
 
  • #13
bugatti79 said:
Suppose that vector u(t) and v(t) take values in R^3. Prove the following identity

[itex]\frac{d}{dt}(\vec u(t) \times \vec v (t))= \vec u'(t) \times \vec v(t)+ \vec u(t) \times \vec v'(t)[/itex]

I think I see my mstake. I should not have x_n and y_n because the vectors are defined in 3-D space...

What do you mean with [itex]\times[/itex]?? How is it defined??
 
  • #14
I see. So the real problem seems to be that you're not yet aware of the various vector products.
Can you tell us what the dot product is?
And can you perhaps find the definition (that I already gave) of the cross product in your notes?
 
  • #15
micromass said:
What do you mean with [itex]\times[/itex]?? How is it defined??

According to my notes, its the cross product...
 
  • #16
I like Serena said:
I see. So the real problem seems to be that you're not yet aware of the various vector products.
Can you tell us what the dot product is?
And can you perhaps find the definition (that I already gave) of the cross product in your notes?

The dot product is

A= a_x i + a_y j +a_ k, B=b_x i+b_y j+b_z k

A dot B = a_xb_x+ay_by+a_zb_z

The cross product is as your post 10. It looks like I did the dot product...?
 
  • #17
bugatti79 said:
The dot product is

A= a_x i + a_y j +a_ k, B=b_x i+b_y j+b_z k

A dot B = a_xb_x+ay_by+a_zb_z

The cross product is as your post 10. It looks like I did the dot product...?

Good, you have the dot product down (that also works in n dimensions)! :smile:

And no, you did the component-wise product, which isn't usually used:

[itex]\vec a \vec b = a_x b_x \vec i+a_y b_y \vec j+a_z b_z \vec k[/itex]
 
  • #18
Are you saying my answer in #6 is using the component wise product...but this is what is in my notes for a similar porblem. I don't know any other easier way.
So is #6 correct?
 
  • #19
bugatti79 said:
Are you saying my answer in #6 is using the component wise product...but this is what is in my notes for a similar porblem. I don't know any other easier way.
So is #6 correct?

No... :rolleyes: if you're supposed to use the cross product, you have to substitute the definition of the cross product, apply the regular product rule, and write it back into vector form.
 
  • #20
I like Serena said:
Good, you have the dot product down (that also works in n dimensions)! :smile:

And no, you did the component-wise product, which isn't usually used:

[itex]\vec a \vec b = a_x b_x \vec i+a_y b_y \vec j+a_z b_z \vec k[/itex]

Ok, will try that. but what is the difference between your above and my dot product in #16. They look the same to me except with the addition of the basis i,j and k...?
 
  • #21
bugatti79 said:
Ok, will try that. but what is the difference between your above and my dot product in #16. They look the same to me except with the addition of the basis i,j and k...?

Yes... those i, j, and k.

The difference is that the one is a scalar (just a number) and the other is a vector, which are pretty much very different things!

As it happens, the product rule for derivatives holds for all three types of vector products. :tongue2:
 
  • #22
To summarise

A dot B gives a number.

A dot B including the basis is the 'component wise product' method and gives a vector. (new to me!)

A Cross B gives a vector

I will be back with the right answer ;-) hopefully!
 
  • #23
bugatti79 said:
A dot B including the basis is the 'component wise product' method and gives a vector. (new to me!)

Let's not call this "A dot B"... it will confuse everyone (including me)!
As I said, it is an unusual vector product, but there are applications for it.
If you have to, simply call it "A B" and always explain which product you mean!
 
  • #24
I like Serena said:
Hmm, what do you mean by [itex]x[/itex]?
Did you mean the cross product (also called outer product):
[itex]\displaystyle \frac{d}{dt} (\vec u (t) \times \vec v (t))= \vec u (t)' \times \vec v(t)+\vec u(t) \times \vec v(t)'[/itex]

[itex]=u' \times v+u \times v'=\begin{pmatrix}
i & j & k\\
u'_1 &u'_2 &u'_3 \\
v_1&v_2 &v_3
\end{pmatrix}+\begin{pmatrix}
i & j & k\\
u_1 &u_2 &u_3 \\
v'_1&v'_2 &v'_3
\end{pmatrix}[/itex]

Is this attempt correct so far?
 
  • #25
What you wrote it correct.
 
  • #26
I like Serena said:
What you wrote it correct.

So I just evaulate this, tidy it up and show that it equals the RHS of question?

Cheers
 
  • #27
Uhh... what you have is the RHS of the question.

What you need to do is take the LHS of the question, evaluate it, and show that it is equal to what you just wrote (aka the RHS of the question).
 
  • #28
I like Serena said:
Uhh... what you have is the RHS of the question.

What you need to do is take the LHS of the question, evaluate it, and show that it is equal to what you just wrote (aka the RHS of the question).

Hmm...How would you evaluate the LHS? I thought the RHS matrix could be simplified further to arrive at something that resembles the LHS :-)
 
  • #29
The left side is the derivative of the cross product u(t) X v(t). Calculate the cross product, and then take the derivative. If that turns out to be equal to what you have in post #24, you have shown that d/dt(u(t) X v(t)) = u'(t) X v(t) + u(t) X v'(t).
 
  • #30
Mark44 said:
The left side is the derivative of the cross product u(t) X v(t). Calculate the cross product, and then take the derivative. If that turns out to be equal to what you have in post #24, you have shown that d/dt(u(t) X v(t)) = u'(t) X v(t) + u(t) X v'(t).

Thank you Mark and I.L.S
 

1. What is the purpose of proving vector identities?

The purpose of proving vector identities is to establish the validity of mathematical equations involving vectors. These identities are essential in solving various problems in physics, engineering, and other scientific fields.

2. What are some common vector identities that need to be proved?

Some common vector identities that are frequently proved include the distributive property, the commutative property, and the associative property. Other important identities involve the cross product, dot product, and vector differentiation.

3. How do you prove a vector identity?

To prove a vector identity, you must start with one side of the equation and manipulate it using known vector operations and properties until it is equivalent to the other side of the equation. This process involves careful algebraic manipulation and may also require the use of geometric reasoning.

4. Why is it important to prove vector identities?

Proving vector identities is important because it ensures the accuracy and consistency of mathematical equations involving vectors. It also allows for a deeper understanding of vector operations and their properties, which is essential in solving complex problems in science and engineering.

5. Are there any tips for proving vector identities?

One helpful tip for proving vector identities is to break down the equation into smaller, simpler steps. This can make the process more manageable and help identify which vector operations and properties to use at each step. Additionally, it is important to carefully track and simplify each step to avoid errors.

Similar threads

  • Calculus and Beyond Homework Help
Replies
9
Views
750
  • Calculus and Beyond Homework Help
Replies
5
Views
875
  • Calculus and Beyond Homework Help
Replies
4
Views
804
  • Calculus and Beyond Homework Help
Replies
13
Views
2K
  • Calculus and Beyond Homework Help
Replies
9
Views
136
  • Calculus and Beyond Homework Help
Replies
9
Views
949
  • Calculus and Beyond Homework Help
Replies
1
Views
545
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
7
Views
963
Back
Top