Exploring the Product Rule: Why Does It "Go Away"?

  • Context: Undergrad 
  • Thread starter Thread starter joshd
  • Start date Start date
  • Tags Tags
    Product Product rule
Click For Summary

Discussion Overview

The discussion revolves around the product rule in calculus, specifically addressing the term \(\frac{\partial u \partial v}{\partial x}\) and why it is said to "go away" as \(x \rightarrow 0\). Participants explore the derivation of the product rule, the implications of limits, and the notation used in derivatives.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants express confusion about the notation used, particularly the distinction between partial derivatives and total derivatives.
  • One participant suggests that as \(dx \rightarrow 0\), the term \(\frac{\partial u \partial v}{\partial x}\) approaches zero because it is a product of a finite derivative and an infinitesimal.
  • Another participant questions the validity of the reasoning that leads to the conclusion that the term goes to zero, suggesting that it could imply all integrals would also be zero.
  • Several participants discuss the proper interpretation of limits and the implications of using infinitesimals in the context of derivatives.
  • One participant provides a detailed derivation of the product rule, introducing terms and limits to clarify the reasoning behind the product rule's formulation.
  • Another participant highlights potential misunderstandings regarding the notation and the meaning of limits, emphasizing that \(x\) does not actually equal zero in the limit process.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the reasoning behind why the term \(\frac{\partial u \partial v}{\partial x}\) goes to zero. There are multiple competing views regarding the interpretation of limits, the use of notation, and the implications of infinitesimals.

Contextual Notes

There are unresolved issues regarding the definitions of the variables involved, the proper use of notation, and the assumptions made in the derivation of the product rule. Some participants express concern over the clarity and rigor of the mathematical arguments presented.

joshd
Messages
24
Reaction score
0
We covered the product rule in maths last lecture, and as part of the derivation of it, we got this line:

[tex]\frac{\partial y}{\partial x}=\frac{u \partial v}{\partial x} + \frac{v \partial u}{\partial x} + \frac{\partial u \partial v}{\partial x}[/tex]

And were told that as [tex]x \rightarrow 0[/tex]

[tex]\frac{\partial u \partial v}{\partial x}[/tex] just "goes away".

Can anyone explain why this is so? :confused:

(edit: quite pleased with my first attempt at tex :D )
 
Physics news on Phys.org
joshd said:
We covered the product rule in maths last lecture, and as part of the derivation of it, we got this line:

[tex]\frac{\partial y}{\partial x}=\frac{u \partial v}{\partial x} + \frac{v \partial u}{\partial x} + \frac{\partial u \partial v}{\partial x}[/tex]

I think you mean:
[tex]\frac{dy}{dx}[/tex], instead of [tex]\frac{\partial y}{\partial x}[/tex]
The [tex]\partial[/tex] one is used to denote partial derivative, the one you are working with in muti-variable calculus.

And were told that as [tex]x \rightarrow 0[/tex]

Are you sure it's not dx ~~> 0?

[tex]\frac{\partial u \partial v}{\partial x}[/tex] just "goes away".

Can anyone explain why this is so? :confused:

(edit: quite pleased with my first attempt at tex :D )

Ok, you can think like this:
[tex]\frac{du dv}{dx} = \frac{du}{dx} dv = u'_x dv[/tex]

du/dx is the derivative of u, with respect to x, is a finite number, multiply with dv, a very very small number (since dv also tends to 0, as dx tends to 0.). So the whole thing should be 0. So, it just "go away". :)

Can you get it? :)
 
darn, yea, swap all [tex]\partial[/tex] for [tex]\delta[/tex] etc... sorry. :blushing:

Umm, not sure. After re-reading my notes, it says "Take limits as x -> 0".
 
Last edited:
I'm not sure how your professor derived the product rule, so I don't know how that cross-term comes about in your derivation there. Starting from the definition of the derivative and using the "add zero" trick, the proof is easy:

[tex]\left[f(x)g(x)\right]' = \lim_{h\rightarrow 0}~\frac{f(x+h)g(x + h) - f(x)g(x)}{h}[/tex]

Then introduce the terms [tex]g(x+h)f(x) - f(x)g(x+h)[/tex] in the numerator to get (limit notation left out):

[tex]\frac{f(x+h)g(x+h) - f(x)g(x+h)}{h} + \frac{g(x+h)f(x) - g(x)f(x)}{h}[/tex]

And factoring out the common terms in each term:

[tex]g(x+h)\frac{f(x+h) - f(x)}{h} + f(x)\frac{g(x+h)-g(x)}{h}[/tex]

As h -> 0, the fractions tend to derivatives and g(x+h) tends to g(x) (since the limit of a product is the product of the limits)

So, [tex]\left[f(x)g(x)\right]' = g(x)f'(x) + f(x)g'(x)[/tex]
 
joshd said:
We covered the product rule in maths last lecture, and as part of the derivation of it, we got this line:

[tex]\frac{\partial y}{\partial x}=\frac{u \partial v}{\partial x} + \frac{v \partial u}{\partial x} + \frac{\partial u \partial v}{\partial x}[/tex]

And were told that as [tex]x \rightarrow 0[/tex]

[tex]\frac{\partial u \partial v}{\partial x}[/tex] just "goes away".

Can anyone explain why this is so? :confused:

(edit: quite pleased with my first attempt at tex :D )

I would consider that extremely bad notation! Neither "x" nor "dx" "goes to 0". Certainly x doesn't and if you are using "dx" as a differential, then it doesn't "go to 0"- it is and remains an infinitesmal. With [itex]\delta x[/itex] rather than [itex]\partial x[/itex] or dx it makes a little more sense but you didn't say how y is a function of u and v (nor what u and v mean) so I can't tell how you would get [itex](\delta u \delta v)/\delta x[/itex]. Roughly speaking it is the fact that there are two [itex]\delta[/itex]'s in the numerator to only one in the denominator that makes it go to 0.
 
I thought [tex]x \rightarrow 0[/tex] means "x tends to 0", which means x is infinitly small, it doesn't mean that x IS 0?

I know I miseed a lot of stuff out, hence why I just said the line was just part of it...



We started with a curve, equation y=u.v, with two points, P and Q. The gradient between them is [tex]\delta y / \delta x[/tex].

The coordinates:

[tex]P=(x,u.v)[/tex]

[tex]Q=(x+ \delta x , (u+ \delta u)(v + \delta v))[/tex]

So:

[tex]\delta y = (u+ \delta u)(v+ \delta v)-(uv)[/tex], where [tex](u+ \delta u)(v+ \delta v)[/tex] is the value of the curve at Q and [tex](uv)[/tex] is the vale of the curve at P.

[tex]\delta y=v \delta u + u \delta v + \delta u \delta v+ uv - uv[/tex]

[tex]\frac{\delta y}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta v \delta u}{\delta x}[/tex]

Now, apparently, "Take limits as [tex]x \rightarrow 0[/tex]"

[tex]\Rightarrow \frac{\delta y}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x}[/tex]
 
VietDao29 said:
I think you mean:

Ok, you can think like this:
[tex]\frac{du dv}{dx} = \frac{du}{dx} dv = u'_x dv[/tex]

du/dx is the derivative of u, with respect to x, is a finite number, multiply with dv, a very very small number (since dv also tends to 0, as dx tends to 0.). So the whole thing should be 0. So, it just "go away". :)

Can you get it? :)

Could you perhaps explain it more rigorously? Because otherwise [tex]\int^b_a f(x) dx[/tex] would equal 0..for any bounds..or function...
 
Gib Z said:
Could you perhaps explain it more rigorously? Because otherwise [tex]\int^b_a f(x) dx[/tex] would equal 0..for any bounds..or function...

Well, let y = uv, where u, and v are functions of x, and everywhere differentiable.
So: [tex]\delta y = (u + \delta u) (v + \delta v) - uv = u \delta v + v \delta u + \delta u \delta v[/tex]
Divide both sides by [tex]\delta x[/tex], we obtain:

[tex]\frac{\delta y}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u \delta v}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v[/tex]

Now, take the limit as [tex]\delta x \rightarrow 0[/tex], we have:

[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = \lim_{\delta x \rightarrow 0} \left( u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v \right)[/tex], since, u and v are differentiable, [tex]\lim_{\delta x \rightarrow 0} \frac{\delta u}{\delta x} = u'(x)[/tex], [tex]\lim_{\delta x \rightarrow 0} \frac{\delta v}{\delta x} = v'(x)[/tex], both are finite. So we have:

[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = \lim_{\delta x \rightarrow 0} \left( u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x} + \frac{\delta u}{\delta x} \delta v \right) = u(x)v'(x) + u'(x)v(x) + u'(x) \lim_{\delta x \rightarrow 0} \delta v[/tex]

Since v is continuous, so, as [tex]\delta x \rightarrow 0[/tex], we also have: [tex]\delta v \rightarrow 0[/tex], so:

[tex]y'(x) = \lim_{\delta x \rightarrow 0} \frac{\delta y}{\delta x} = ... = u(x)v'(x) + u'(x)v(x) + u'(x) 0 = u(x)v'(x) + u'(x)v(x)[/tex]

Well, that's how I understand it.

I did mistype in the previous post, all dx, dy, du, or dv should be [tex]\delta x[/tex], [tex]\delta y[/tex], [tex]\delta u[/tex], and [tex]\delta v[/tex]. Sorry for the confusion. :blushing: :redface: :)
 
Last edited:
Ok I seem to be able to understand that, your reasoning is that a finite value ( u'(x)) multiplied by an infinitesimal that is approaching zero, must also be zero. However, wouldn't that mean that when we take the integral [tex]\int^b_a f(x) dx[/tex] We are summing up an infinite number of slices between b and a, each valued f(x) dx, as dx approaches zero? By the previous logic every integral is zero :(
 
  • #10
joshd said:
I thought [tex]x \rightarrow 0[/tex] means "x tends to 0",

it does

which means x is infinitly small,

it doesn't. That phrase is meaningless.

it doesn't mean that x IS 0?

correct - one cannot just insert x=0 into an object whose limit you're taking - that negates the whole point of taking limits in the first place


We started with a curve, equation y=u.v, with two points, P and Q. The gradient between them is [tex]\delta y / \delta x[/tex].

That is not the derivative. For a given [itex]\delta y /\delta x[/itex] (note you use itex and not tex for inline tags) it is the slope of a chord, as you let [itex]delta x[/itex] tend to zero it will (if the function is differentiable) converge to the gradient.


Now, apparently, "Take limits as [tex]x \rightarrow 0[/tex]"

[tex]\Rightarrow \frac{\delta y}{\delta x} = u \frac{\delta v}{\delta x} + v \frac{\delta u}{\delta x}[/tex]

Two things - that is an horrendous abuse of an equals sign. A problem that infests lower level mathematics teaching. It is true _approximately_.
Secondly, that should read as [itex]\delta x[/itex] tends to 0, not x. Then it is correct. Remember that [itex]\delta u[/itex] is approximately [itex]\delta x .du/dx[/itex], similarly for v, thus the cross term is approximately

[tex]\delta x \frac{du}{dx}\frac{dv}{dx}[/tex]

and does indeed tend to zero as [itex]\delta x[/itex] tends to 0
 
  • #11
Gib Z said:
Ok I seem to be able to understand that, your reasoning is that a finite value ( u'(x)) multiplied by an infinitesimal that is approaching zero, must also be zero. However, wouldn't that mean that when we take the integral [tex]\int^b_a f(x) dx[/tex] We are summing up an infinite number of slices between b and a, each valued f(x) dx, as dx approaches zero? By the previous logic every integral is zero :(

Nope. You should note that it's the sum of an infinite numbers of strips.

Say, if you sum (1/n), n times, as n increases without bound, what would you get?

[tex]\lim_{n \rightarrow \infty} n \times \frac{1}{n} = ?[/tex]

Would it be 0? :smile:
 
Last edited:
  • #12
I'm sorry, i do have lapses of idiocy :) Even wrote up the keyword and didn't realize it lol, thanks !
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
381