Differential notations

dx is not really a single entity. It is usually treated like one, but d is really just an operation performed on x. d means "difference". This definition holds in both (1) and (2).

-------

First, let's consider four different kinds of "d" 's:

1. d - This means "infinitesimal change in". This is used whenever the function being operated on is completely in the dimension of the operation. For example, f(x) is a function entirely of x, so d/dx f(x) and ∫ f(x) dx are acceptable notations.

2. ∂ - This also means "infinitesimal change in". However, the difference from the regular d is that ∂ is used only partially. In other words, it's used whenever the function isn't entirely in the same variable. For example, when f(x,y) is operated on, it's custom to use ∂/∂x f(x,y) to specify that the function isn't entirely in the x dimension. y is treated as a constant when this computation is done.

3. δ - This is the lowercase Greek letter, "delta", and it also means "infinitesimal change in." This applies more to chemistry related thermodynamic equations, and it arises from the product rule:

W = -PV
d(W) = -PdV -VdP

When only one of the two components are taken, δ is used to denote that the other component is "missing". For example, it's customary to write δW = -PdV.


For 1., 2., and 3., the meaning of "infinitesimal change in" can be seen from this formula for computing the change in f(x) per unit x:

df(x)/dx = lim (f(x+h)-f(x))/h as h approaches 0

This is a rudimentary method of finding a derivative. The limit produces a function that measures the "slope" of the (x,f(x)) plane. In other words, it measures the greatest rate of change at any point of x. To obtain a better picture of the meaning of d, df is just the above limit multiplied by dx, where:

dx = lim (x+h)-x as h approaches 0

Really this is just 0, and multiplying that limit by 0 just returns a 0/0 is an undeterminate form, and l'Hopital's rule needs to be applied among other considerations. This seems somewhat circular (and I'm not even sure that it works), but this is just an illustration of the meaning of d.

4. Δ - This is the uppercase Greek letter, "delta". This means the "total change in". For example, Δx = x1-x0. To illustrate what I mean, here's an example of its usage:

∫ f '(x) dx [x0,x1] = Δf(x) = f(x1)-f(x0)

This "total difference" is what distinguishes Δ from d or ∂.

-------

In your brainstorming, section (1), you're questioning the notation of ∂/∂x f(x,y,z,...)

[∂/∂x](f) is the same thing as ∂f/∂x. The top computes the infinitesimal difference in f, and the bottom computes the infinitesimal difference in x. The division shows that this partial derivative is some kind of slope. In this case, it produces the x component of a gradient vector ∇f, where ∂f/∂x is the line in slope of the greatest rate of change along x at a point. There's no violation of this "difference in" definition.

 More on ∇

∇, the Greek letter "nabla", stands for "del", which is another operation performed similarly to ∂, but instead, it takes the scalar function f and produces a vector field indicating the greatest rate of change. The formula for this is:

∇f(x,y,z) = (∂f/∂x, ∂f/∂y, ∂f/∂z)

What's meant by the "greatest" rate of change is that on a surface, it considers the direction in which all the x,y, and z components are changing, since altering one of these would produce a lesser rate of change of the function. In this case, f is also called the scalar potential function. It's called a scalar because it returns a single value as the solution, and it's called a potential because it gives rise to a new function that have supposedly influenced the individual components x, y, z. In other words, ∇f(x,y,z) alters x, y, and z in some way, and f summarizes ∇f(x,y,z).

∇f indicates the direction of the greatest rate of change. Like in functions of two dimensions, differentiation produces a tangent. For a surface, it produces a tangent plane. Note, however, that all the vectors produced from ∇f are normal to the surface, or perpendicular. This is because it's customary to write planes based on their normal vectors, since only one vector and its scalar multiples are unique to a plane. For any vector that's not normal, there can be infinitely many solutions found by rotating the vector about its tail.

In your second condition, you're questioning ∫ f '(x) dx. I hope you've seen something like this before:

∫ f(x) dx = ∑ f(x) dx

In other words, the integral just means "sum up all of f along x". For the single variable function f(x), this just means the area under the curve. However, it doesn't have to be just this. It's also possible to take many other integrals.

 Here is a list of many types of integration

Double integral for taking volumes:

∫ f(x,y) dA = ∫∫ f(x,y) ∂y ∂x

Triple integrals for summing up values associated with every point in a three-dimensional figure. (For example, the temperature at every point in a room.)

∫ f(x,y,z) dV = ∫∫∫ f(x,y,z) ∂z ∂y ∂x

Scalar line integrals (summing up a density function along a line)

∫ ρ(x,y,z) ds

ds is not even a linear function. It's the length computed with the Pythagorean theroem over a fictitious quantity dt. (For example, if f is a function of x, y, and z, then ds is sqrt(x(t)^2+y(t)^2+z(t)^2) dt, and ρ(x,y,z) will have to be reparametrized to this fictitious quantity.)

Vector line integrals (summing up the vectors along a line)

∫ F(x,y,z) • T ds

Scalar surface integrals (summing up surface area along a surface)

∫∫ f(x,y) ds

Vector surface integrals

∫∫ f(x,y) • e_n ds

And whatever else you want.

It is clear from all above types of integration that the "d"s are detached from whatever follows it, such as the x in dx, and that they always means "infinitesimal difference in". The only one to be careful of is Δ, which is different from first three types of "d"s.