• Support PF! Buy your school textbooks, materials and every day products Here!

Arc length and straight lines(Need clarification please!)

  • Thread starter Cauchy1789
  • Start date
  • #1
46
0

Homework Statement



Here is difficult one guys,

Lets imagine that an object movement along a curve is described by the parameterized function called

[tex]\omega: I \rightarrow \mathbb{R}^3[/tex] which moves on the interval [tex][a,b]\subset I[/tex]. and this depended on motor which supplies the constant effect of |v| = 1.

With this in mind show that

[tex](\omega(b) - \omega(a)) \cdot v = \int_{a}^{b} \omega(t)' \cdot v dt \leq \int_{a}^{b} |\omega(t)'| dt[/tex]

Homework Equations





The Attempt at a Solution


From what I learned in Calculus is relatively easy to show that according to the fundametal theorem of Calculus which states that [tex]\int_{a}^{b} f(x) dx = F(b) - F(a)[/tex] where F is the anti-derivate of f.

such that [tex](\omega(b) - \omega(a)) = \int_{a}^{b} \omega'(t) dt[/tex] where [tex]\omega(t)[/tex] is the anti-derivative, and since the movement depends of the constant, then both on side are the same aren't they?

If I expand the inequaliy then [tex]v \cdot(\omega(b) - \omega(a)) \leq |\omega(b) - \omega(a)| [/tex] which is only true if [tex]|v| \leq 1[/tex]

Haven't I covered what needs to be covered in this?

Sincerely
Cauchy
 
Last edited:

Answers and Replies

  • #2
gabbagabbahey
Homework Helper
Gold Member
5,002
6
and since the movement depends of the constant, then both on side are the same aren't they?
Careful, just because [itex]||\vec{v}||[/itex] is a constant, doesn't mean that [itex]\vec{v}[/itex] is constant --- It can still point in different directions at different points along the curve. (I'm using \vec to make it clear which quantities are vectors!)

Hint (1): Use the product rule for [tex]\left(\vec{\omega}(t)\cdot\vec{v}(t))'[/tex]
Hint (2): [tex]\vec{A} \cdot \vec{B}=||\vec{A}||*||\vec{B}||\cos\theta[/tex] , where [itex]\theta[/itex] is thew angle between the vectors.
 
Last edited:
  • #3
46
0
Careful, just because [itex]||\vec{v}||[/itex] is a constant, doesn't mean that [itex]\vec{v}[/itex] is constant --- It can still point in different directions at different points along the curve. (I'm using \vec to make it clear which quantities are vectors!)

Hint (1): Use the product rule for [tex]\left(\vec{\omega}(t)\cdot\vec{v}(t))'[/tex]
Hint (2): [tex]\vec{A} \cdot \vec{B}=||\vec{A}||*||\vec{B}||\cos\theta[/tex] , where [itex]\theta[/itex] is thew angle between the vectors.
Hi gab and thank you for your answer,

Then using hint(1) and hint (2)

[tex]\omega(t) \cdot v(t)' + \omega(t)' \cdot v(t) = \omega'(t) \cdot v(t) \leq |\omega'(t)|[/tex]

Is this what you mean?

Sincerely
Cauchy
 
  • #4
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Hi gab and thank you for your answer,

Then using hint(1) and hint (2)

[tex]\omega(t) \cdot v(t)' + \omega(t)' \cdot v(t) = \omega'(t) \cdot v(t) \leq |\omega'(t)|[/tex]

Is this what you mean?

Sincerely
Cauchy
Careful, you need to justify why [tex]\vec{\omega}(t)\cdot\vec{v}(t)'=0[/tex]....Hint: is [tex]\vec{v}(t)'[/tex] (a)tangent to the curve? (b)normal to the curve (c) some combination of the above?
 
  • #5
46
0
Careful, you need to justify why [tex]\vec{\omega}(t)\cdot\vec{v}(t)'=0[/tex]....Hint: is [tex]\vec{v}(t)'[/tex] (a)tangent to the curve? (b)normal to the curve (c) some combination of the above?
if [tex]\omega(t) \cdot v(t) = 0[/tex] then v(t) is perpendicular to the omega function? and thus the normal vector. Isn't it?

where [tex]v(t) \cdot(\omega(b)-\omega(a)) = 0[/tex]

this is what you mean?

Sincerely

Cauchy
 
  • #6
gabbagabbahey
Homework Helper
Gold Member
5,002
6
if [tex]\omega(t) \cdot v(t) = 0[/tex] then v(t) is perpendicular to the omega function? and thus the normal vector. Isn't it?
You are missing the primes in this expression and you have the if statement backwards....you should have that:

If [tex]\vec{v}(t)'[/tex] is perpendicular to [tex]\vec{\omega}(t)[/tex] then [tex]\vec{\omega}(t) \cdot \vec{v}(t)' = 0[/tex]

But why is [tex]\vec{v}(t)'[/tex] is perpendicular to [tex]\vec{\omega}(t)[/tex] in this case?

P.S. You really need to make it clear which quantities are vectors and which are scalars; your original post was very confusing.
 
  • #7
46
0
You are missing the primes in this expression and you have the if statement backwards....you should have that:

If [tex]\vec{v}(t)'[/tex] is perpendicular to [tex]\vec{\omega}(t)[/tex] then [tex]\vec{\omega}(t) \cdot \vec{v}(t)' = 0[/tex]

But why is [tex]\vec{v}(t)'[/tex] is perpendicular to [tex]\vec{\omega}(t)[/tex] in this case?
Hi again,

That can only be because v'(t) its the normal for the omega function?

So if I have understood this correctly then v'(t) is the normal vector for the omega function. Then reversed [tex]\omega(t)'[/tex] is the normal vector for [tex]v(t)[/tex] ? Because v is constant?

Sincerely
Cauchy
 
  • #8
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Hi again,

That can only be because v'(t) its the normal for the omega function?
No. [tex]\vec{v}(t)[/tex] represents the velocity of the object correct?....So [tex]\vec{v}(t)'[/tex] represents___?
 
  • #9
46
0
No. [tex]\vec{v}(t)[/tex] represents the velocity of the object correct?....So [tex]\vec{v}(t)'[/tex] represents___?
the speed.

oh then the right hand side of the equality sign is the function which defines the speed and the left hand the verlocity??

Sincerely Cauchy
 
  • #10
gabbagabbahey
Homework Helper
Gold Member
5,002
6
The time derivative of velocity is not the speed. I think you need to reread the chapter on vector calculus in your textbook.
 
  • #11
46
0
The time derivative of velocity is not the speed. I think you need to reread the chapter on vector calculus in your textbook.
The time derivative is [tex]\frac{d\omega}{dt} = \omega(t)'[/tex] isn't it?


Sincerely

Cauchy
 
Last edited:
  • #12
gabbagabbahey
Homework Helper
Gold Member
5,002
6
The time derivative is [tex]\frac{d\omega}{dt} = \omega(t)'[/tex] isn't it?


Sincerely

Cauchy
That's the time derivative of omega....what's the time derivative of [tex]\vec{v}(t)[/tex]?
 
  • #13
46
0
That's the time derivative of omega....what's the time derivative of [tex]\vec{v}(t)[/tex]?
That must be [tex]\frac{dv}{dt} = v'(t)[/tex]

The first part of the original eqn:
[tex](\omega(b) - \omega(a)) \cdot v(t) = \omega(b) \cdot v(t) - \omega(a) \cdot v(t) [/tex]

But what I don't get here is that this then according should equal [tex] = \int_{a}^{b}( \omega(t) \cdot v(t))' dt = \omega(b) \cdot v(t) - \omega(a) \cdot v(t) = v(t) \cdot (\omega(b) - \omega(a)) [/tex]

because omega(t) is the anti-derivative of omega(t)'.

Isn't this pretty much it for equality part?

Next I end up with [tex](\omega(b) - \omega(a)) \cdot v(t) = \omega(b) \cdot v(t) - \omega(a) \cdot v(t) = \int_{a}^{b}( \omega(t) \cdot v(t))' dt = \omega(b) \cdot v(t) - \omega(a) \cdot v(t) = v(t) \cdot (\omega(b) - \omega(a)) \leq |\omega(b) - \omega(a)|[/tex]

But then this must mean that the left hand side of the inequlity is depending on the verlocity vector while the right hand is not? Or in which direction should I go here?

Sincerely
Cauchy
 
Last edited:
  • #14
gabbagabbahey
Homework Helper
Gold Member
5,002
6
That must be [tex]\frac{dv}{dt} = v'(t)[/tex]
Sure, but what quantity does this represent? Position? Velocity? Acceleration? Speed? The number of Newfies it takes to screw in a light bulb?


But what I don't get here is that this then according should equal [tex] = \int_{a}^{b}( \omega(t) \cdot v(t))' dt = \omega(b) \cdot v(t) - \omega(a) \cdot v(t) = v(t) \cdot (\omega(b) - \omega(a)) [/tex]
Hold on, doesn't the fundamental theorem of calculus tell you that

[tex]\int_{a}^{b}( \vec{\omega}(t) \cdot \vec{v}(t))' dt = \vec{\omega}(b) \cdot \vec{v}(b) - \vec{\omega}(a) \cdot \vec{v}(a)[/tex]

Something is clearly missing/unclear in your original post...For [itex]\vec{\omega}(b) \cdot \vec{v}(b) - \vec{\omega}(a) \cdot \vec{v}(a)[/itex] to be equal to [itex]\left(\vec{\omega}(b)- \vec{\omega}(a)\right) \cdot \vec{v}(t)[/itex], [itex]\vec{v}(t)[/itex] would have to be constant....but that wasn't what I inferred from your OP.

Are you told that [itex]\vec{v}(t)[/itex] is a constant or that [itex]\vec{v}(a)=\vec{v}(b)[/itex], or are you actually asked to show that

[tex] \vec{\omega}(b) \cdot \vec{v}(b) - \vec{\omega}(a) \cdot \vec{v}(a)=\int_{a}^{b}\vec{\omega}(t)' \cdot \vec{v}(t) dt \leq \int_a^b|\vec{\omega}(t)|dt[/tex]

???

Your original post is very unclear...
 
  • #15
46
0
Hi again,

I am very sorry if my op has been unclear.

I am told to show the later.

I will repost it again now.

Let [tex]\omega: I \rightarrow \mathbb{R}^3[/tex] be a parameterized curve. Let [tex][a,b]\subset I[/tex] and set [tex]\omega(b) = s[/tex] and [tex]\omega(a) = t[/tex].

1) Show that, for any constant vector v, |v| = 1,

[tex](t-s) \cdot v(t)= \int_{a}^{b} \omega(t)' \cdot v(t) dt \leq \int_{a}^{b}|\omega(t)'| dt[/tex]

2) Set [tex] v = \frac{t-s}{|t-s|}[/tex]

and show [tex]|\omega(b) - \omega(a)| \leq \int_{a}^{b} |\omega(t)'|dt[/tex]

that is that the shortest length between omega(a) and omega(b) is a straight line.

Solution part(1)

[tex](s-t) \cdot v(t) = \int_{a}^{b} \omega'(t) \cdot v(t) \ dt [/tex]

Because by the fundamental theorem of Calculus.

[tex]\int_{a}^{b} \omega'(t) \cdot v(t) \ dt = \int_{a}^{b} (\omega(t) \cdot v(t))' dt = \omega(b) \cdot v(b) - \omega(a) \cdot v(a) [/tex] and since as |v| = 1 is constant vector v, then the lefthand side and the righthand side of the equality equal each other.

But does that apply for the inequality as well? Thats what I am not sure of.

Sincerely
Cauchy
 
  • #16
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Okay...a constant [tex]\vec{v}(t)[/tex] makes much more sense! :smile:


That means that [tex]\vec{v}(t)'=0[/tex] and hence

[tex]\left(\vec{\omega}(t)\cdot\vec{v}(t)\right)'= \vec{\omega}(t)'\cdot\vec{v}(t)+\vec{\omega}(t)\cdot\vec{v}(t)'=\vec{\omega}(t)'\cdot\vec{v}(t)+\vec{\omega}(t)\cdot(0)=\vec{\omega}(t)'\cdot\vec{v}(t)[/tex]

Now for the inequality part just use the fact that [tex]\vec{A} \cdot \vec{B}=||\vec{A}||*||\vec{B}||\cos\theta[/tex]

[tex]\implies \vec{\omega}(t)'\cdot\vec{v}(t)=\left(||\vec{\omega}(t)'||*||\vec{v}(t)\right)||\cos\theta=||\vec{\omega}(t)'||*(1)\cos\theta=||\vec{\omega}(t)'||\cos\theta[/tex]

theta is the angle between omega'(t) and v, which is always between 0 and pi right? what does that make the min and max values of cos(theta)?
 
  • #17
46
0
Okay...a constant [tex]\vec{v}(t)[/tex] makes much more sense! :smile:


That means that [tex]\vec{v}(t)'=0[/tex] and hence

[tex]\left(\vec{\omega}(t)\cdot\vec{v}(t)\right)'= \vec{\omega}(t)'\cdot\vec{v}(t)+\vec{\omega}(t)\cdot\vec{v}(t)'=\vec{\omega}(t)'\cdot\vec{v}(t)+\vec{\omega}(t)\cdot(0)=\vec{\omega}(t)'\cdot\vec{v}(t)[/tex]

Now for the inequality part just use the fact that [tex]\vec{A} \cdot \vec{B}=||\vec{A}||*||\vec{B}||\cos\theta[/tex]

[tex]\implies \vec{\omega}(t)'\cdot\vec{v}(t)=\left(||\vec{\omega}(t)'||*||\vec{v}(t)\right)||\cos\theta=||\vec{\omega}(t)'||*(1)\cos\theta=||\vec{\omega}(t)'||\cos\theta[/tex]

theta is the angle between omega'(t) and v, which is always between 0 and pi right? what does that make the min and max values of cos(theta)?
hi again and thanks for taking time :)

cos has max in cos(0) = 1 and min in cos(pi) = -1.

and this basicly proves that the inequality is true?

Sincerely Cauchy
 
  • #18
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Opps....the max angle between two vector is pi/2 not pi, so cos\theta has min of 0 and max of 1 ...therefor

[tex]\cos\theta\leq1[/tex]

So, [itex]||\vec{\omega}(t)'||\cos \theta\leq[/itex] ____?
 
  • #19
46
0
Opps....the max angle between two vector is pi/2 not pi, so cos\theta has min of 0 and max of 1 ...therefor

[tex]\cos\theta\leq1[/tex]

So, [itex]||\vec{\omega}(t)'||\cos \theta\leq[/itex] ____?
That must be then

[itex]||\vec{\omega}(t)'||\cos \theta\leq ||\vec{\omega}(t)'||[/itex]

please excuse me if I am misunderstanding you but cos(theta) <= 1 shows then that inequality is true if the vector v is constant?

Cauchy
 
  • #20
gabbagabbahey
Homework Helper
Gold Member
5,002
6
That must be then

[itex]||\vec{\omega}(t)'||\cos \theta\leq ||\vec{\omega}(t)'||[/itex]
Right, so [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq[/itex]___?
 
  • #21
46
0
Right, so [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq[/itex]___?
Hi

That must be [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq \|\vec{w(t)'}\|[/itex] ?

Cauchy
 
  • #22
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Hi

That must be [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq \|\vec{w(t)'}\|[/itex] ?

Cauchy
Well, in post #16 I showed [itex]\vec{\omega}(t)'\cdot\vec{v}(t)=||\vec{\omega}(t)'||\cos\theta[/itex]

And in post #19 You showed that [itex]||\vec{\omega}(t)'||\cos \theta\leq ||\vec{\omega}(t)'||[/itex]

So yes, when you put those two relations together you get [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq||\vec{\omega}(t)'||[/itex]

So, now what can you say about [tex]\int_a^b \vec{\omega}(t)'\cdot\vec{v}(t)dt[/tex] ?
 
  • #23
46
0
Well, in post #16 I showed [itex]\vec{\omega}(t)'\cdot\vec{v}(t)=||\vec{\omega}(t)'||\cos\theta[/itex]

And in post #19 You showed that [itex]||\vec{\omega}(t)'||\cos \theta\leq ||\vec{\omega}(t)'||[/itex]

So yes, when you put those two relations together you get [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq||\vec{\omega}(t)'||[/itex]

So, now what can you say about [tex]\int_a^b \vec{\omega}(t)'\cdot\vec{v}(t)dt[/tex] ?
Thats its

that [tex]\vec{\omega}(b)\cdot\vec{v}(b) - \vec{\omega}(a)\cdot\vec{v}(a)[/tex] ?

Cauchy
 
  • #24
gabbagabbahey
Homework Helper
Gold Member
5,002
6
No.

If [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq||\vec{\omega}(t)'||[/itex], then [itex]\int_a^b \vec{\omega}(t)'\cdot\vec{v}(t)dt\leq[/itex]___?
 
  • #25
46
0
No.

If [itex]\vec{\omega}(t)'\cdot\vec{v}(t)\leq||\vec{\omega}(t)'||[/itex], then [itex]\int_a^b \vec{\omega}(t)'\cdot\vec{v}(t)dt\leq[/itex]___?
Then thinking about it it must be:

[itex]\int_a^b \vec{\omega}(t)'\cdot\vec{v}(t)dt \leq \int_a^b ||\vec{\omega}(t)'|| dt[/itex]??

Sincerely Cauchy
 

Related Threads for: Arc length and straight lines(Need clarification please!)

  • Last Post
Replies
3
Views
1K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
7
Views
1K
  • Last Post
2
Replies
25
Views
2K
  • Last Post
Replies
1
Views
2K
Top