cyrusabdollahi said:
Wow that is a neat trick. Could you explain how you arrived at your 3rd equation. Where did you get ds= ds/dx dx + ds/dy dy from?
This comes from fundamental properties of differentials of multivariate functions. By definition of a function, an arbitrary function in 3-space, f(x, y, z), must have a unique value at any coordinate point (x, y, z). The change in f corresponding to changes in x, y and z is
\Delta f(x, y, z) = f(x + \Delta x, y + \Delta y, z + \Delta z) - f(x, y, z)
If you hold y and z constant, this becomes
\Delta f(x, y, z) = f(x + \Delta x, y, z) - f(x, y, z)
If you divide by \Delta x and take the limit as \Delta x approaches zero you have
\frac{df(x, y, z)}{dx} = \mathop {\lim }\limits_{\Delta x \to 0} \frac{f(x + \Delta x, y, z) - f(x, y, z)}{\Delta x} = \frac{\partial f}{\partial x}
df(x, y, z) = \frac{\partial f}{\partial x} dx
Changing only y and changing only z yields similar equations in those variables. The justification for adding these results to get the total differential is that the change in the function when moving a differential distance from one point in space to another must be path independent. So if I move a small distance dx, followed by a small distance dy, followed by a small distance dz, or make those same changes in position in any other order, the sum of the changes in f must always be the same, and that must be the same as making all three changes at the same time. Putting it together you have
df(x, y, z) = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy + \frac{\partial f}{\partial z} dz
where in each term the partial derivative implies that the other two variables are being held constant. Always remember that a partial derivative implies something is being held constant, and it is very important to know what that is.
That is not a very formal derivation, but the most rigorous derivation will lead to the same result. In your problem you have a surface defined by the function of two variables z = f(x, y). By application of the above to a function of two variables you have
dz = df(x, y) = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy
Notice that in this case the partial derivatives imply only one other variable is being held constant, not two, because z is constrained to have only one specific value at every coordinate point (x, y) rather than being allowed to vary independently. dz is thus uniquely determined by the function f(x, y) and the changes dx and dy.
The vector introduced by arildno
\vec{S}(x,y)=x\vec{i}+y\vec{j}+f(x,y)\vec{k}
is just another way to describe the surface defined by f(x, y). Think of it as a sum of two vectors, one from the origin to the point (x, y) in the x-y plane and then a vertical vector from the x-y plane to the surface. To move to a new position on the surface, you must move to a new coordinate (x + dx, y + dy) and then move a distance dz = df(x, y) to get back to the surface. You can draw a differential vector from the initial point to the final point. That vector is the change in the vector to the surface from one point to the next. If z could change arbitrarily, moving from one point to another in 3-space would be
d\vec{S} = dx \widehat{i} + dy \widehat{j} + dz \widehat{k}
but z cannot change arbitrarily because the S vector must terminate on the surface. Since z is a function of x and y, the vector S is a function of x and y and this becomes
d\vec{S}(x,y) = dx \widehat{i} + dy \widehat{j} + df(x, y) \widehat{k}
d\vec{S}(x,y) = dx \widehat{i} + dy \widehat{j} + \left[\frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy \right] \widehat{k}
If x and y are functions of time, or some other parameter t, then by the chain rule you have
\frac{d\vec{S}(x,y)}{dt} = \vec{v} = \frac{dx}{dt}\widehat{i} + \frac{dy}{dt}\widehat{j}+\left[\frac{\partial{f}}{\partial{x}}\frac{dx}{dt} + \frac{\partial{f}}{\partial{y}}\frac{dy}{dt}\right ]\widehat{k}
The identical result is obtained by taking the derivative wrt to t of the defining equation for the S vector in terms of partial derivatives wrt x and y as done in the previous post.