53
$\begingroup$

$dx$ appears in differential equations, such us derivatives and integrals.

For example, a function $f(x)$ its first derivative is $\dfrac{d}{dx}f(x)$ and its integral $\displaystyle\int f(x)dx$. But I don't really understand what $dx$ is.

$\endgroup$
10
  • 2
    $\begingroup$ good question, but you can find lot about it in web as well ! $\endgroup$
    – Theorem
    May 9, 2012 at 21:39
  • 8
    $\begingroup$ Although the title is not exactly the same as your question, I believe your question is answered quite thoroughly in this similar post: math.stackexchange.com/questions/21199/is-dy-dx-not-a-ratio $\endgroup$
    – mboratko
    May 9, 2012 at 21:39
  • 3
    $\begingroup$ Also: math.stackexchange.com/questions/23902/… $\endgroup$
    – mboratko
    May 9, 2012 at 21:48
  • 2
    $\begingroup$ And math.stackexchange.com/questions/46530/… $\endgroup$ May 9, 2012 at 22:01
  • 4
    $\begingroup$ @Garmen: Please take a look at my comments under the answer you accepted. That answer is quite misleading; one of the limits is wrong, and the concept "infinitesimally small" is being used informally without a definition. While there is an interesting branch of mathematics called non-standard analysis that defines infinitesimal quantities, standard analysis (which is presumably what you're asking about) has no such concept. $\endgroup$
    – joriki
    May 10, 2012 at 21:42

6 Answers 6

39
$\begingroup$

The formal definition of an expression such as $$ \int_0^1 x^2\,dx $$ will depend on the setting. This is because there is not just one "theory of integration" - there are several different theories in different areas.

I like the presentation at the beginning of this note by Terence Tao. The key point is that there are really at least three different viewpoints on integration in elementary calculus:

  • Indefinite integration, which computes antiderivatives

  • An "unsigned definite integral" for finding areas under curves and masses of objects

  • A "signed definite integral" for computing work and other "net change" calculations.

The value of an expression such as $\int_0^1 x^2\,dx$ comes out the same under all these interpretations, of course.

In more general settings, the three interpretations generalize in different ways, so that the "dx" comes to mean different things. In the setting of measure theory, "dx" is interpreted as a measure; in the context of differential geometry, it is interpreted as a 1-form.

But, for the purposes of elementary calculus, the only role of the "dx" is to tell which variable is the variable of integration. In other words, it lets us distinguish $$ \int_0^1 uv\,du = v/2 $$ from $$ \int_0^1 uv\,dv = u/2 $$

$\endgroup$
2
  • 3
    $\begingroup$ there is also a fourth interpretation of $dx$ as an infinitesimal quantity under the nonstandard setting of the hyperreal field of Robinson. Also there are other interpretations of other nonstandard settings as in smooth infinitesimal analysis, just to name a phew for the curious reader $\endgroup$
    – Masacroso
    Jun 11, 2019 at 14:14
  • $\begingroup$ Though this answer is years old, I just want to comment that differential geometry doesn't only use the differential form generalization. It also uses a measure-theoretic analog: densities, which make integration possible on manifolds even without orientation. (These are important e.g. in relativity theory.) The rough intuition here is that a form + an orientation = a density. $\endgroup$ Dec 22, 2020 at 6:46
23
$\begingroup$

Formally, $dx$ does not mean anything. It's just a syntactical device to tell you the variable to differentiate with respect to or the integration variable.

$\endgroup$
22
  • 49
    $\begingroup$ IMHO this is just one, very unenlightening way to look at it. $\endgroup$ May 10, 2012 at 10:01
  • 16
    $\begingroup$ @Michael, sorry, can't tell my math-for-poets classes that it's a differential one-form; I can (and do) give them lhf's answer, and they get some mileage out of it. $\endgroup$ May 10, 2012 at 13:18
  • 10
    $\begingroup$ @GerryMyerson: I've never taught math-for-poets, but I wonder if teaching such people formal laws for manipulating symbols, without telling them about the meaning of it is more valuable than trying to explain in poetic terms what a differential one form is. (Maybe something like infinitesimal coordinates?) $\endgroup$ May 23, 2012 at 9:44
  • 11
    $\begingroup$ @Stefan, $dx$ is different things to different people. I'm guessing that for the person who asked the question, the answer posted by lhf is about right, and any attempt to tell that person about differential forms would be counterproductive. $\endgroup$ Dec 13, 2013 at 8:58
  • 13
    $\begingroup$ @Stefan Smith: I think it is quite debatable whether the "dx" in calculus 1 is a one-form. For example, a typical calculus textbook will have a formal definition of the Riemann integral, but not any mention of one-forms. This holds even for books like Rudin's Principles of Mathematical Analysis. So it could appear to be somewhat revisionist to say that dx is a one-form in that context. And, even if we want to be revisionist, what is to say that "dx" is not a measure, instead of a one-form? $\endgroup$ Dec 13, 2013 at 15:08
21
$\begingroup$

As Silvanus Thompson put it in his book Calculus made easy: $\mathrm dx$ means "a little bit of $x$".

If that is not satisfying, there are various more precise explanations. One of them is: $\mathrm dx$ is a differential one-form.

$\endgroup$
5
  • 8
    $\begingroup$ I think "a little bit of $x$" holds many, many advantages for engineering maths. $\endgroup$ Jun 24, 2013 at 21:10
  • $\begingroup$ What is meant by a little bit of x?I mean suppose we want to calculate the value of the slope at point (x,y).Then dx means a step to the right.But this dx is not in the line segment x.So how does it mean a little bit of x?It is outside of the line segment. $\endgroup$
    – a_i_r
    Jan 30, 2021 at 7:15
  • $\begingroup$ @AritraBarua X is usually a variable number, which is pictured along the x axis, not along the graph of the function, so it is along the line segment of the x axis. Does that answer your question? $\endgroup$ Jan 30, 2021 at 7:35
  • 1
    $\begingroup$ I mean imagine a line of length x.Then dx is an extension of the line to the right.But here why is dx a little bit of x when it is on the extension? $\endgroup$
    – a_i_r
    Jan 30, 2021 at 7:58
  • $\begingroup$ You could also shrink the line, instead of extending it (since the "sign" of dx could also be negative). But I agree that the expression "a little bit of" can be confusing, as you explain. Probably a better way of capturing the idea is to say that d means "a little change of", instead of "a little bit of". $\endgroup$ Feb 19, 2021 at 12:33
5
$\begingroup$

$dx$ means a very very small quantity, $dx=x_2-x_1$ where $x_1$ and $x_2$ very very near to $x$ (in geometry a very small distance), when you derive $\frac{d}{dx}f(x)$ it means you calculate the propinquity of $df(x)$ and $dx$, when you integrate, the sign $\int$ means a continuous sum, so $\int f(x) dx$ means a continuous sum of all the quantities $f(x) dx$ (geometrically very very small rectangles), in graduate language $dx$ is a linear map (differential form).

$\endgroup$
1
  • 10
    $\begingroup$ If I didn't already know what $dx$ was, I don't think this answer would clear anything up for me. $\endgroup$ May 10, 2012 at 23:48
4
$\begingroup$

The d$x$ comes from approximating the area under a curve by a discrete sum of narrow rectangular slices of heights $f(x_i)$ and equal widths $\Delta x = x_{i+1}-x_i$. Look up Riemann sum for more details. So the area is then approximately $\sum^n_{i=1} f(x_i) \Delta x$. This approximation becomes exact when $\Delta x$ becomes arbitrarily small, which is symbolized by replacing $\Delta x$ by d$x$ (and $\sum$ by $\int$). For derivatives, similar story; just replace "area" in the above by "slope" or "gradient", where the approximation is now a chord of length d$x$ along X-direction. NB: correct notation is d$x$, not $dx$.

$\endgroup$
3
$\begingroup$

I have a relevant blog post for those comfortable with multivariate calculus, found here.

Though treating $\mathrm{d}x$ as simply "that thing" works, there is hidden meaning behind it. To be clear, in this case, we are using $x$ to refer to the identity function $x(t)=t$, where $t\in\mathbb{R}$.

Imagine an arrow tangent to the real line. This can be represented by a vector (magnitude and direction) and a real number (position). We call such a vector a tangent vector. If the vector is $v$ and the position is $p$, then we denote the corresponding tangent vector* by $v_p$.

Mathematicians define $\mathrm{d}x$ as a type of function, called a differential $1$-form, that takes in a position $p$ and outputs a so-called "dual" tangent vector, or cotangent vector, which we call $\mathrm{d}x_p$. This $\mathrm{d}x_p$ is, somewhat confusingly, a function on the tangent vectors positioned at $p$. In the case of real numbers, though, the expression for $\mathrm{d}x_p$ is easy: $$\mathrm{d}x_p(v_p)=v.$$

Though many people will prefer to work with the (arguably more rudimentary) notion of "infinitesimals", differential forms have many advantages over the "old way". For example, change of variables, commonly known as $u$-substitution, has a simple formula in terms of something called the "pullback". As another example, when we move on to calculus on spaces that aren't strictly Euclidean, these differential forms give powerful information about the space itself, such as (in some sense) how many holes it has.

(* For the professionals, what I am meaning here is that $v_p=v\left.\frac{d}{dx}\right|_p$. Feel free to heckle in the comments.)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .