How is this mathematically rigorous?

In summary: But we don't know how Φ varies since we don't know the curveIn the picture, there is a force ##\vec{F}## that is always tangent to the curve. That's enough to get you the angle ##\phi##, since ##\phi## is the angle between ##\vec{F}## and the horizontal. Although not stated, I believe the assumption is that the direction ##\vec{F}## points...In summary, In the solution of this problem(121), dW = (kmgcosΦ + mgsinΦ) ds, where ds is the differential element along the curve. Now they have done kmg dscosΦ + mg
  • #1
EddiePhys
131
6
IMG_20170308_231451_01.jpg

In the solution of this problem(121), dW = (kmgcosΦ + mgsinΦ) ds, where ds is the differential element along the curve. Now they have done kmg dscosΦ + mg ds(sinΦ) = kmgdx +mgdy. Makes sense intuitively, but I want to know how this is rigorous. What I'm thinking is, the curve is broken into N elements of the same length along the curve over which a Riemann sum gives a line integral. But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length? And if your explanation is that as Δx tends to zero the two become the same, then why can't we simply treat all differential elements as the same since they all tend to zero after all?

Sorry for the rambling at the end. But can someone just show me why such an operation is rigorous?
 
Physics news on Phys.org
  • #2
Isn't ##ds*cos(\phi) = dx## and ##ds*sin(\phi) = dy## ?

You're breaking the ##ds## into components along x and y directions.
 
  • #3
jedishrfu said:
Isn't ##ds*cos(\phi) = dx## and ##ds*sin(\phi) = dy## ?

You're breaking the ##ds## into components along x and y directions.
the curve is broken into N elements of the same length along the curve over which a Riemann sum gives a line integral. But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length?
 
  • #4
EddiePhys said:
What I'm thinking is, the curve is broken into N elements of the same length along the curve over which a Riemann sum gives a line integral. But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length?
No, they wouldn't. In portions of the curve where the angle is less than 45°, ##\Delta x## will be larger than ##\Delta y##. In other portions, where the angle is greater than 45°, ##\Delta y## will be larger. The curve is broken up into equal-length segments, with each segment being approximately the hypotenuse of a right triangle. Even though these segments of arc length are the same size, along the curve, that doesn't imply that the horizontal and vertical legs of the triangles will be equal in length.
 
  • #5
Mark44 said:
No, they wouldn't. In portions of the curve where the angle is less than 45°, ##\Delta x## will be larger than ##\Delta y##. In other portions, where the angle is greater than 45°, ##\Delta y## will be larger. The curve is broken up into equal-length segments, with each segment being approximately the hypotenuse of a right triangle. Even though these segments of arc length are the same size, along the curve, that doesn't imply that the horizontal and vertical legs of the triangles will be equal in length.

I think you misread what I posted. I posted: "But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length?"

Now since the Δx's and Δy's everywhere would vary with Φ, how can we do a Riemann sum along x and y when the interval that we're using itself is varying?
 
  • #6
EddiePhys said:
I think you misread what I posted. I posted: "But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length?"

Now since the Δx's and Δy's everywhere would vary with Φ, how can we do a Riemann sum along x and y when the interval that we're using itself is varying?
In a Riemann sum the intervals along the curve don't have to be the same size, but as the number of subintervals increases, the lengths of ##\Delta s##, ##\Delta x##, and ##\Delta y## grow smaller as well, but again, that doesn't mean they all are the same size.
 
  • #7
Mark44 said:
In a Riemann sum the intervals along the curve don't have to be the same size, but as the number of subintervals increases, the lengths of ##\Delta s##, ##\Delta x##, and ##\Delta y## grow smaller as well, but again, that doesn't mean they all are the same size.

But here if Δx is changing Φ with and we don't know the curve either, we can't do Δx = l/N. How would we evaluate this Riemann sum?
 
  • #8
EddiePhys said:
But here if Δx is changing Φ with and we don't know the curve either, we can't do Δx = l/N. How would we evaluate this Riemann sum?
If you know ##\Delta s## and ##\phi##, you can get ##\Delta x## and ##\Delta y## -- simple trig.
 
  • #9
Mark44 said:
If you know ##\Delta s## and ##\phi##, you can get ##\Delta x## and ##\Delta y## -- simple trig.

But we don't know how Φ varies since we don't know the curve
 
  • #10
In the picture, there is a force ##\vec{F}## that is always tangent to the curve. That's enough to get you the angle ##\phi##, since ##\phi## is the angle between ##\vec{F}## and the horizontal. Although not stated, I believe the assumption is that the direction ##\vec{F}## points would be known at each point along the curve.
 
  • #11
Mark44 said:
Although not stated, I believe the assumption is that the direction ##\vec{F}## points would be known at each point along the curve.

How would we know that if we don't know the curve?
 
  • #12
EddiePhys said:
How would we know that if we don't know the curve?
Assume that the curve is given by y = f(x), which you can assume to be a differentiable function. At any point (x, f(x)) on the curve, you can find the tangent to the curve, right? I.e., at the point (x, f(x)), the slope of the tangent line is f'(x). From that you can write an expression for the angle ##\phi##.
 
  • Like
Likes RogueOne
  • #13
Before going any further, what's your background in mathematics? IOW, what classes have you taken?
 
  • #14
Mark44 said:
Before going any further, what's your background in mathematics? IOW, what classes have you taken?

I know single variable calculus from math but I do know a bit about line integrals, and a little bit of vector calculus because of the physics I'm trying to learn.
 
  • #15
OK, so do you understand what I write in post #12?
 
  • #16
Mark44 said:
OK, so do you understand what I write in post #12?
Let me try to anticipate what he will say next: "Yes, but how can I know that f(x) is differentiable if I don't know what f(x) is?"
 
  • #17
Mark44 said:
OK, so do you understand what I write in post #12?

We can write f'(x)= tanΦ but we don't know f(x).
 
  • #18
EddiePhys said:
We can write f'(x)= tanΦ but we don't know f(x).
I was close. :biggrin:

You need to think in an abstract way. That allows you to say a lot about things even if you don't know what they are. For instance one grbljh + one grbljh equals two grbljh even if you have no idea what grbljh is.
 
  • Like
Likes RogueOne
  • #19
Demystifier said:
I was close. :biggrin:
Haha :p
 
  • #20
EddiePhys said:
Haha :p
Seriously, the point is that if something is true for any f(x), then you don't need to know what is f(x) to make a rigorous argument about f(x).
 
  • Like
Likes RogueOne
  • #21
EddiePhys said:
In the solution of this problem(121), dW = (kmgcosΦ + mgsinΦ) ds, where ds is the differential element along the curve.
Makes sense intuitively, but I want to know how this is rigorous.
It isn't mathematically rigorous. Reasoning with "infinitesimals" isn't mathematically rigorous. Reasoning with "differentials" can be made mathematically rigorous in advanced mathematical contexts, but that is not what was done in this problem.

To interpret the answer to the problem in terms of concepts that have a rigorous mathematical definition we need to find an interpretation that is free of infinitesimals. If it makes sense as physics, it should imply a differential equation. What is the differential equation that is implied? In that equation, some symbols represent functions. What variables are the arguments of these functions?

What I'm thinking is, the curve is broken into N elements of the same length along the curve over which a Riemann sum gives a line integral. But here cosΦ is varying, so wouldn't all the Δx's and Δy's not be of the same length?
If the integral ##\int_a^b F(s) ds## had a defined value, then every symbol involved in expressing ##F(s)## must be a constant or a function of ##s##. In this problem, ##\Phi## is a function of ##s##.

Think of computing ##\int_a^b F(s) ds ## as approximating the area under the graph of ##F(s)## by using a "regular" Riemann sum (where all rectangles having the same length base "##ds##". This is done on a graph of the function in the ##F##-##s## coordinate system (i.e. Force vs arc length). No ##dx## or ##dy## is involved in those coordinates. The shape of the function ##F(s)## is not the same as the shape of the function ##y= f(x)## that describes the profile of the hill in the ##x##-##y## coordinate system.

The goal of the "infinitesimal reasoning" is to express the graph of ##F(s)## (which is the derivative of ##W(s)## with respect to ##s## , i.e. "##\frac{dW}{ds}##") by using the graph of ##y = f(x)##, which is the profile of the hill. To do that, we assume we are "at" ##(F,s)## on the graph of ##F(s)##. This corresponds to being at some point ##(x,y) ## on the graph of ##y = f(x)##. If we "move" to ##(F+dF,s+ds)## on the graph of ##F(s)## then we move to ##(x+dx,y+dy)## on the graph of ##y = f(x)## but we don't assume that using equal increments of ##ds## will produce equal increments of ##dx## and ##dy##. Both ##dx## and ##dy## will, in general, be functions of both ##s## and ##ds##.
 
  • #22
You can either think of it as infinitesimal or just think of it as this, If you have two points apart, in order to travel from point a to point b then you have to move a specified dx and dy. Now imagine any pathway that connects between these two points, What should be the total sum you get in the x direction? Just dx. If you move more or less then you "Overshoot". So that integral must be equal to dx and that applies to all functions.

And yes, when you choose ds to be really small and assume that the function is constant over that interval, the dx doesn't have to be equal in each step. You might get negative, postive and even zero but the sum of this all must be equal to the distance between these two points along the x axis.
 
  • #23
Stephen Tashi said:
It isn't mathematically rigorous. Reasoning with "infinitesimals" isn't mathematically rigorous. Reasoning with "differentials" can be made mathematically rigorous in advanced mathematical contexts, but that is not what was done in this problem.

To interpret the answer to the problem in terms of concepts that have a rigorous mathematical definition we need to find an interpretation that is free of infinitesimals. If it makes sense as physics, it should imply a differential equation. What is the differential equation that is implied? In that equation, some symbols represent functions. What variables are the arguments of these functions?If the integral ##\int_a^b F(s) ds## had a defined value, then every symbol involved in expressing ##F(s)## must be a constant or a function of ##s##. In this problem, ##\Phi## is a function of ##s##.

Think of computing ##\int_a^b F(s) ds ## as approximating the area under the graph of ##F(s)## by using a "regular" Riemann sum (where all rectangles having the same length base "##ds##". This is done on a graph of the function in the ##F##-##s## coordinate system (i.e. Force vs arc length). No ##dx## or ##dy## is involved in those coordinates. The shape of the function ##F(s)## is not the same as the shape of the function ##y= f(x)## that describes the profile of the hill in the ##x##-##y## coordinate system.

The goal of the "infinitesimal reasoning" is to express the graph of ##F(s)## (which is the derivative of ##W(s)## with respect to ##s## , i.e. "##\frac{dW}{ds}##") by using the graph of ##y = f(x)##, which is the profile of the hill. To do that, we assume we are "at" ##(F,s)## on the graph of ##F(s)##. This corresponds to being at some point ##(x,y) ## on the graph of ##y = f(x)##. If we "move" to ##(F+dF,s+ds)## on the graph of ##F(s)## then we move to ##(x+dx,y+dy)## on the graph of ##y = f(x)## but we don't assume that using equal increments of ##ds## will produce equal increments of ##dx## and ##dy##. Both ##dx## and ##dy## will, in general, be functions of both ##s## and ##ds##.

If ##dx## and ##dy## are functions of ##s## and ##ds##, then how is it possible to evaluate the Riemann sum along ##x## or ##y## since we don't know how ##\Delta x## varies with ##s## since we don't know the curve(and hence we don't know the slope at any point and hence the Φ). Also in a Riemann sum we usually take ##\Delta x = l/N##. Would this Riemann sum where ##\Delta x## varies with ##s## simply reduce to a normal integral along x ##\int{f(x)dx}## where f(x) is the horizontal component of force. If so, how can we show this mathematically?

Could you solve the above sum rigorously using Riemann sums? It would be really illustrative.
 
Last edited:
  • #24
EddiePhys said:
If ##dx## and ##dy## are functions of ##s## and ##ds##, then how is it possible to evaluate the Riemann sum along ##x## or ##y## since we don't know how ##\Delta x## varies with ##s## since we don't know the curve(and hence we don't know the slope at any point and hence the Φ).
Did you read what Demystifier wrote in post #20?
Demystifier said:
Seriously, the point is that if something is true for any f(x), then you don't need to know what is f(x) to make a rigorous argument about f(x).
EddiePhys said:
Also in a Riemann sum we usually take ##\Delta x = l/N##. Would this Riemann sum where ##\Delta x## varies with ##s## simply reduce to a normal integral along x ##\int{f(x)dx}## where f(x) is the horizontal component of force. If so, how can we show this mathematically?

Could you solve the above sum rigorously using Riemann sums? It would be really illustrative.
If you're asking us to do your work for you, we can't do that, per the rules of this forum. See https://www.physicsforums.com/threads/physics-forums-global-guidelines.414380/, under Homework Guidelines.
 
  • #25
Mark44 said:
Did you read what Demystifier wrote in post #20?
If you're asking us to do your work for you, we can't do that, per the rules of this forum. See https://www.physicsforums.com/threads/physics-forums-global-guidelines.414380/, under Homework Guidelines.

This is clearly not a homework problem. I simply want to know why what I'm doing is rigorous and I don't know how to do that myself.
 
  • #26
EddiePhys said:
If ##dx## and ##dy## are functions of ##s## and ##ds##, then how is it possible to evaluate the Riemann sum along ##x## or ##y##
What Riemann sum are you talking about? As I pointed out, the problem is focused on evaluating ##\int_a^b F(s) ds ## in the ##F##-##s## coordinate system. There is no ##dx## or ##dy## involved in the Riemann sum for that integral.

since we don't know how ##\Delta x## varies with ##s## since we don't know the curve(and hence we don't know the slope at any point and hence the Φ).

You don't know the mass "m" either. The solution is based on being given the mass "m" and the function that describes the profile of the hill. Unless a particular curve for the profile of the hill is taken as given, the problem has no defined solution. If you assume the profile of the hill is given by a particular curve ##H(x)## then we can compute the slope at any point.

Also in a Riemann sum we usually take ##\Delta x = l/N##.
Yes, that particular type of Riemann sum is a convenient way to think about approximating integrals. But don't forget that the general (modern) definition of "Riemann sum" doesn't require we use approximating rectangles whose bases have equal lengths.

Would this Riemann sum where ##\Delta x## varies with ##s##
Be specific about which Riemann sum you are talking about. What function of what variable are you wanting to approximate by a Riemann sum?

simply reduce to a normal integral along x ##\int{f(x)dx}## where f(x) is the horizontal component of force. If so, how can we show this mathematically?

The total work done includes the work done by both the horizontal and vertical components of force. Let the cross section of the hill be given by the function ##H(x)##. If you let ##f(x)## be the horizontal component of the force exerted by the person pulling the object at (x,H(x)) then, yes, the total work done by that horizontal force would be ##\int_a^b f(x) dx##.

Could you solve the above sum rigorously using Riemann sums? It would be really illustrative.

Which sum is "the above sum"? As I said before, reasoning with infinitesimals is not rigorous mathematical reasoning.

Reasoning intuitively, we can say that the horizontal component of force needed to pull the object at ##(x,H(x))## on the hill can be computed as if the object were sitting on an incline plane whose slope matches the tangent line to ##H(x)## at ##(x,H(x))##. The slope of the plane at ##(x,H(x))## is ##H'(x)##. Can you find the expression that gives ##f(x)##, the horizontal component of the force exerted by the person pulling the object? It doesn't require calculus. It is a typical inclined plane scenario. The only unusual thing is that a typical inclined plane problem would ask for the force the person exerts parallel to the plane to pull the object instead of asking only for the horizontal component of that force.
 

1. What does it mean for something to be mathematically rigorous?

Being mathematically rigorous means that a statement or argument has been proven to be logically sound and follows the rules and principles of mathematics. It requires a clear and precise use of definitions, symbols, and logic to reach a valid conclusion.

2. How do you ensure mathematical rigor in your work?

To ensure mathematical rigor, one must carefully define all terms and symbols used, clearly state assumptions and axioms, use valid logical reasoning, and provide sufficient evidence and proof to support their claims. It also involves critically evaluating the work and checking for any errors or inconsistencies.

3. Can something be both mathematically rigorous and intuitive?

Yes, something can be both mathematically rigorous and intuitive. While mathematical rigor requires precise definitions and logical reasoning, intuition allows for a deeper understanding and insight into the concepts being studied. A combination of both can lead to a better understanding and explanation of mathematical concepts.

4. Why is mathematical rigor important in scientific research?

Mathematical rigor is important in scientific research because it ensures the validity and reliability of the results and conclusions. It allows for clear communication and understanding of the methods and findings, and it helps to avoid errors and incorrect assumptions. Without mathematical rigor, the scientific process would lack credibility and would not be able to make progress towards new discoveries and advancements.

5. How can one improve their mathematical rigor?

Improving mathematical rigor takes practice and attention to detail. Some ways to improve include studying and understanding mathematical concepts and principles, familiarizing oneself with logical reasoning and proof techniques, and actively seeking feedback and criticism on one's work. It is also beneficial to read and analyze rigorous mathematical proofs and to constantly question and evaluate one's own reasoning and assumptions.

Similar threads

  • Other Physics Topics
Replies
2
Views
881
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
Replies
1
Views
504
  • Calculus and Beyond Homework Help
Replies
6
Views
17K
  • Differential Geometry
Replies
1
Views
2K
  • Advanced Physics Homework Help
Replies
6
Views
3K
  • Math Proof Training and Practice
6
Replies
175
Views
19K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
7
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
9
Views
2K
Back
Top