Partial Differentiation Without Tears - Comments

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 3K views
Messages
4,140
Reaction score
1,741
andrewkirk submitted a new PF Insights post

Partial Differentiation Without Tears

partial-differentiation.png


Continue reading the Original PF Insights Post.
 
  • Like
Likes   Reactions: phion, stevendaryl and Greg Bernhardt
Physics news on Phys.org
Some of the ambiguity with functions could be cleared up using the lambda calculus (or just the lambda notation), which makes explicit what arguments a function takes. There is always a confusion in an expression such as [itex]f(x)[/itex] as to whether you mean the function, or whether you mean the value of [itex]f[/itex] at a particular point [itex]x[/itex]. The lambda calculus makes this clear. Your notation [itex]x\mapsto x^2[/itex] is basically equivalent (I think) to the lambda calculus, which would indicate that function by [itex]\lambda x . x^2[/itex]. I think that the only reason people don't use the lambda notation is that it's a lot of trouble, and usually it's not necessary.
 
This issue is particularly important when teaching students variational calculus and Lagrange mechanics. In particular when the base space is multi-dimensional and the Euler-Lagrange equations involve a partial derivative with respect to the base space coordinates of a partial derivative with respect to the arguments of the Lagrangian. This has confused many a student.
 
I have a suggestion. Start with images to explain all the differentiation concepts on the first day before even simple total derivative is explained. Once students grasp what they are trying to express, then they can better focus on how.

Using this one image, I think the following concepts can be explained in just seconds.
  1. Partial derivatives: The rate of change of altitude as we walk toward the summit versus the rate of change of altitude as we walk parallel to the summit.
  2. Total derivative: Imagine the image reduced to a 2D profile choosing a planar slice through the mountain. Then height Y represents altitude, and it varies only with the horizontal variable X. The slope is the total derivative.
  3. Covariant derivative: Consider the color shading as another independent variable. Now imagine walking on the mountain following a contour with constant shade of green. The rate of change of altitude is now the derivative covariant with color.
summitrgb.jpg
 
  • Like
Likes   Reactions: Greg Bernhardt