Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Variables and Differentials

  1. Aug 17, 2013 #1
    I am currently reading Calculus Made Easy by S. P. Thompson, and the author's idea of what it means for a variable to "vary" seems fundamentally different from my own, so I was hoping someone could help me correct my understanding. Here is the excerpt I'm having trouble with:


    Those [quantities] which we consider as capable of growing, or (as mathematicians say) of "varying," we denote by letters from the end of the alphabet, such as [itex]x, y, z, u, v, w, [/itex] or sometimes [itex] t [/itex] . . . Suppose we have two variables that depend on each other. An alteration in one will bring about an alteration in the other, because of this dependence. Let us call one of the variables [itex] x [/itex], and the other that depends on it [itex] y [/itex] . . . Suppose we make [itex] x [/itex] to vary, that is to say, we either alter it or imagine it to be altered, by adding to it a bit which we call [itex] \mathrm{d}x [/itex]. We are thus causing [itex] x [/itex] to become [itex] x + \mathrm{d}x [/itex]. Then, because [itex] x [/itex] has been altered, [itex] y [/itex] will have altered also, and will have become [itex] y + \mathrm{d}y [/itex].


    My previous understanding is: a variable is an unspecified element of some set. So if I say that [itex] x [/itex] is a real number, this means that [itex] x [/itex] is an unspecified element of [itex] \mathbb{R} [/itex]. The fact that there is more than one element in [itex] \mathbb{R} [/itex] is the reason why [itex] x [/itex] is capable of "varying" --- i.e., it can potentially take any one of the values in [itex] \mathbb{R} [/itex].

    But [itex] x [/itex] varying to become [itex] x + \mathrm{d}x [/itex] doesn't make sense to me, [itex] x [/itex] being just a placeholder for an element of some set. I agree that the quantity [itex] x + \mathrm{d}x [/itex] is probably also an element of the same set that [itex] x [/itex] ranges over, but it seems more like a new variable than the result of simple variation. That is to say, it seems more appropriate to call [itex] x + \mathrm{d}x [/itex] the output of some underlying iterating function like [itex] g(x) = x + \mathrm{d}x [/itex], instead of a new value of the original [itex] x [/itex], in which case, if I define [itex] y = f(x) [/itex], then
    [tex]
    \begin{equation}
    y + \mathrm{d}y = f(g(x)) = f(x + \mathrm{d}x).
    \end{equation}
    [/tex]
    would be the corresponding definition. Could someone explain if the above is the correct way to think about "varying" as the author describes it, and whether my concept of a variable is correct?
     
    Last edited: Aug 17, 2013
  2. jcsd
  3. Aug 17, 2013 #2

    lurflurf

    User Avatar
    Homework Helper

    Yes that is quite good. Often your function g is denoted with E so we have
    Ey=f(Ex)
    That book is a bit informal.
    You might like to be a bit careful about using dy like that.
    Where all this is headed is we have two functions
    Δy=f(x+dx)-f(x)
    dy=f'(x) dx
    The function Δy need not be linear, but dy is not only linear it is the best linear approximation of Δy near x
     
  4. Aug 17, 2013 #3

    verty

    User Avatar
    Homework Helper

    Think of x as being controlled by a dial that one can adjust, like tuning a radio. Turning the dial makes x vary. Perhaps you are looking at the graph of the function on an oscilloscope screen and as you turn the dial, the dot traces out the curve.

    If x is a continuous variable, it can vary continuously. This means it is like a dial without notches. We aren't going click, click, click, to different positions, the adjustment is smooth. Whereas a discrete variable would be a dial with notches, somewhat like the dial on a washing machine.

    Can this be made rigorous? That is the job of set theory and real analysis, to provide continuity and smoothness using numbers.
     
  5. Aug 17, 2013 #4
    Thanks for the replies, they were very helpful.
     
    Last edited: Aug 17, 2013
  6. Aug 17, 2013 #5
    Actually, I am still confused on a fundamental thing: I am used to plotting values of the independent variable on one axis and the dependent variable on a different axis. But when looking at a functional relationship like [itex] y=f(x) [/itex], what enables us to plot both [itex] x [/itex] and [itex] x + h [/itex], for some constant [itex] h [/itex], on the same axis (like when thinking about the limit definition of the derivative)? What is the guarantee that [itex] x + h [/itex], being the output of a function of [itex] x [/itex], and itself a dependent variable, doesn't just fall off the domain of [itex] f [/itex]?
     
  7. Aug 17, 2013 #6

    SteamKing

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper

    Maybe it's time that you abandoned your previous conceptions about variables being discrete elements in some set.

    In my view, if x is a particular element in a set, then there is the next element after x and the element immediately preceding x. You don't have half elements, quarter elements, etc.

    The calculus is based on the notion, however un-setlike, of continuous change. If we have a quantity x, then we assume that there also exists a quantity x+dx, and that the change, dx, can be made arbitrarily small. Calculus also is established on the notion that, however small the change dx is made, a function f(x+dx) will tend, in the limit, to become f(x).
     
  8. Aug 17, 2013 #7

    LCKurtz

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    I don't see how you think of ##x+h## as being an "output function" of ##x##. Perhaps it is the idea of calling a point on the x axis ##x## that is bothering you. Would it help you to think of picking two numbers ##a## and ##h## and marking both ##a## and ##a+h## on the x axis? Assuming they are both in the domain of ##f##, you can talk bout ##f(a+h)-f(a)## and ## \frac{f(a+h)-f(a)}{h}##. Taking the limit as ##h\to 0## gives ##f'(a)##. Since you could do this for any ##a## in the domain of ##f##, it seems simpler and less confusing to just use ##x## instead of ##a## in the first place.
     
  9. Aug 17, 2013 #8
    This is EXACTLY my source of confusion. It seems so silly, when you put it like that though. I find it confusing to read about a variable [itex] x [/itex] taking the value [itex] x [/itex] or the value [itex] x + h [/itex]. When I think of a variable [itex] x [/itex] taking a value [itex] a [/itex], I interpret that as [itex] x=a [/itex], so variable [itex] x [/itex] taking value [itex] x + h [/itex] would then mean [itex] x = x + h [/itex], which would make sense only if the equals sign was used in the sense of assignment from computer science, but that is not the sense in which it is used in mathematics.

    I guess I'm having a lot of trouble distinguishing cases where the author is talking about [itex] x [/itex] as being a constant that can assume only a single unknown value, and [itex] x [/itex] as being a variable that can assume any of a set of values. In the passage from the book that I typed in the first post, I cannot tell whether [itex] x [/itex] is a constant or a variable.

    In either case, thinking of, for instance, [itex] x [/itex] as a variable "varying" by taking an original value [itex] a [/itex] and then a slightly larger value [itex] a + \mathrm{d}x [/itex] makes perfect sense to me, and maybe this is what the author's intent is.
     
    Last edited: Aug 17, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook