The Unapologetic Mathematician

Mathematics for the interested outsider

Partial Derivatives

Okay, we want to move towards some analogue of the derivative of a function that applies to functions of more than one variable. For the moment we’ll stick to single real outputs. As a goal, we want “differentiability” to be a refinement of the idea of smoothness started with “continuity“, so an important check is that it’s a stronger condition. That is, a differentiable function should be continuous.

For functions with a single real input we defined the derivative of the function f at the point a by the limit of the difference quotient

\displaystyle f'(a)=\lim\limits_{x\rightarrow a}\frac{f(x)-f(a)}{x-a}

The problem here is that for vector inputs we can’t “divide” by the vector x-a. So we need some other way around this problem.

Our first attempt may be familiar from calculus classes: we’ll just look at one variable at a time. That is, if we have a function of n real variables and we keep all of them fixed except the ith one, we can try to take the limit

\displaystyle f_{i}(a_1,\dots,a_n)=\lim\limits_{x_i\rightarrow a_i}\frac{f(a_1,\dots,x_i,\dots,a_n)-f(a_1,\dots,a_i,\dots,a_n)}{x_i-a_i}

That is, we fix down the values of all the other variables and get a function of the single remaining variable. We then take the single-variable derivative as normal.

The first problem here is that it having these partial derivatives — even having a partial derivative for each variable — doesn’t make a function continuous. Let’s look at the first pathological example of a limit we discussed:

\displaystyle f(x,y)=\frac{x^2-y^2}{x^2+y^2}

If we consider the point (0,0), we can calculate both partial derivatives here. First we fix y=0 and find f(x,0)=\frac{x^2}{x^2}=1. Thus it’s easy to check that f_1(0,0)=0. Similarly, we can fix x=0 to find f(0,y)=\frac{-y^2}{y^2}=-1, and thus that f_2(0,0)=0. So both partial derivatives exist at (0,0), but the function doesn’t even have a limit there, much less one which equals its value.

The problem is the same one we saw in the case of multivariable limits: we can’t take a limit as one input point approaches another along a single path and just blithely expect that it’s going to mean anything. Here we’re just picking out two paths towards the same point and establishing that the function is continuous when we restrict to those paths, which doesn’t establish continuity in general.

There’s a deeper problem with partial derivatives, though. Implicit in the whole set-up is choosing a basis of our space. To write f as a function of n real variables instead of one n-dimensional vector variable means picking a basis. In practice we often have no problem with this. Indeed, many problems come to us in terms of a collection of variables which we bind together to make a single vector variable. But in principle, anything with any geometric meaning should be independent of artificial choices of coordinates. We can’t even talk about partial derivatives without making such a choice, and so they clearly don’t get to the heart of any sensible notion of “differentiability”.

About these ads

September 21, 2009 - Posted by | Analysis, Calculus

20 Comments »

  1. “We can’t even talk about partial derivatives without making such a choice, and so they clearly don’t get to the heart of any sensible notion of “differentiability”.”

    Well now I want to know how we can talk about differentiability?

    Comment by David | September 21, 2009 | Reply

  2. Patience, grasshopper. We’ve got one more blind alley before we get to the right answer.

    Comment by John Armstrong | September 21, 2009 | Reply

  3. [...] So yesterday we noted that the big conceptual problem with partial derivatives is that they’re highly [...]

    Pingback by Hard Choices « The Unapologetic Mathematician | September 22, 2009 | Reply

  4. [...] Okay, now let’s generalize away from partial derivatives. The conceptual problem there was picking a bunch of specific directions as our basis, and [...]

    Pingback by Directional Derivatives « The Unapologetic Mathematician | September 23, 2009 | Reply

  5. [...] Okay, partial derivatives don’t work as an extension of derivation to higher-dimensional spaces. Even generalizing them [...]

    Pingback by Differentials « The Unapologetic Mathematician | September 24, 2009 | Reply

  6. [...] want to analyze these components. I assert that these are just the partial derivatives in terms of the orthonormal basis we’ve chosen: . In particular, I’m asserting that if [...]

    Pingback by Uniqueness of the Differential « The Unapologetic Mathematician | September 29, 2009 | Reply

  7. So according to the definition of partial derivative you need a value for f(0,0) to compute its partial derivatives at (0,0). But you do not have any such value.

    Comment by Johan Richter | September 29, 2009 | Reply

  8. Sorry, Johan. Easiest way around is to patch it at that point by defining f(0,0)=0. Then the partial derivatives exist, but the limit doesn’t. I did something similar when talking about directional derivatives.

    Comment by John Armstrong | September 29, 2009 | Reply

  9. With that definition I do not think either limit defining the partial derivatives exist.

    For the x-derivative for example I get:

    \lim_{x \rightarrow 0} \frac{1}{x}

    which does not exist.

    Comment by Johan Richter | September 29, 2009 | Reply

  10. Okay, Johan, here’s one that’s a lot more hacky but should finally settle this: let f(x,y)=x+y if either x or y are 0, and f(x,y)=1 otherwise. Then both partials exist but the limit doesn’t.

    Or go back to the original function and use the definition of the derivative that takes a sample point approaching the given point from either side, which is a common alternative to handle the nonexistence of a function at the point in question

    \displaystyle f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x-h)}{2h}

    Enough.

    Comment by John Armstrong | September 29, 2009 | Reply

  11. [...] we can say “the” differential), we showed that given an orthonormal basis we have all partial derivatives. We even have all directional derivatives, with pretty much the same proof. We replace with an [...]

    Pingback by Differentiability Implies Continuity « The Unapologetic Mathematician | September 30, 2009 | Reply

  12. [...] know from the uniqueness proof that if it does exist, then given an orthonormal basis we have all partial derivatives, and the differential must be given by the [...]

    Pingback by An Existence Condition for the Differential « The Unapologetic Mathematician | October 1, 2009 | Reply

  13. [...] we can ask how the function behaves as we move our input point around. It’s easy to find the partial derivatives. If [...]

    Pingback by Examples and Notation « The Unapologetic Mathematician | October 2, 2009 | Reply

  14. [...] most common first approach to differential calculus in more than one variable starts by defining partial derivatives and directional derivatives, as we did. But instead of defining the differential, it simply [...]

    Pingback by The Gradient Vector « The Unapologetic Mathematician | October 5, 2009 | Reply

  15. [...] Chain Rule Since the components of the differential are given by partial derivatives, and partial derivatives (like all single-variable derivatives) are linear, it’s [...]

    Pingback by The Chain Rule « The Unapologetic Mathematician | October 7, 2009 | Reply

  16. [...] within an open region . In particular, if we pick coordinates on the function has all partial derivatives at each point in . As we move around within the value of the partial derivative changes, [...]

    Pingback by Higher Partial Derivatives « The Unapologetic Mathematician | October 14, 2009 | Reply

  17. [...] Just like we assembled partial derivatives into the differential of a function, so we can assemble higher partial derivatives into [...]

    Pingback by Higher-Order Differentials « The Unapologetic Mathematician | October 16, 2009 | Reply

  18. [...] we consider those functions which have all partial derivatives at every point of , and these partial derivatives are themselves continuous throughout . [...]

    Pingback by Smoothness « The Unapologetic Mathematician | October 21, 2009 | Reply

  19. [...] for every . Further, assume that the partial derivative exists and is continuous throughout . Then the derivative of exists and is given [...]

    Pingback by Differentiation Under the Integral Sign « The Unapologetic Mathematician | January 13, 2010 | Reply

  20. [...] the coordinate map to get , where is some open neighborhood of the point . Now we can take that th partial derivative of this function and evaluate it at the point [...]

    Pingback by Tangent Vectors and Coordinates « The Unapologetic Mathematician | March 30, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 391 other followers

%d bloggers like this: