1
$\begingroup$

I define best as the simplest most consistent notation.

Question: What is the best derivative notation?

Summary of what others have done:

Let $f$ be a function that maps any $(x,y)$ to $f(x,y)$. I have seen the following with respect to the partial derivative of $f$ with respect to $x$:

$$ \frac{\delta}{\delta x} f = \frac{\delta f}{\delta x} = \frac{\delta f(x,y)}{\delta x} = \frac{\delta f}{\delta x} (x,y) = f'_x = f^{(1)}_x $$

And the following for their 2nd derivative: $$ \frac{\delta^2}{\delta x^2} f = \frac{\delta^2 f}{\delta x^2} = \frac{\delta^2 f(x,y)}{\delta x^2} = \frac{\delta^2 f}{\delta x^2} (x,y) = f''_x = f^{(2)}_x $$

Then, if we wish to use such derivative functions later to find their value at some point $(x,y)$, we use: $$ \left(\frac{\delta}{\delta x} f\right)(x,y) = \left(\frac{\delta f}{\delta x}\right)(x,y) = \left(\frac{\delta f(x,y)}{\delta x}\right)(x,y) = \left(\frac{\delta f}{\delta x} (x)\right)(x,y) = f'_x(x,y) = f^{(1)}_x(x,y) $$

But now there is a conflict between $x$ in the name of the derivative functions, and $x$ in the point $(x,y)$. To resolve this, we need to use some other name for the input point $(x,y)$, such as $(a,b)$ as follows $$ \left(\frac{\delta}{\delta x} f\right)(a,b) = \left(\frac{\delta f}{\delta x}\right)(a,b) = \left(\frac{\delta f(x,y)}{\delta x}\right)(a,b) = \left(\frac{\delta f}{\delta x} (x)\right)(a,b) = f'_x(a,b) = f^{(1)}_x(a,b) $$

What I have done:

I think the best notation for the partial derivative function is $$ f^{(n)}_m $$ where $n$ denotes the $n^{th}$ derivative, and $m$ denotes that the derivative is with respect to the $m^{th}$ argument of function $f$.

This is because of the fact that function arguments are addressed based on their order, not based on their names. E.g. $f(\pi, e)$ means that $\pi$ is fed as the first argument, and $e$ is fed as the 2nd argument.

More specifically my equivalent notation to $f''_x$ is: $$ f^{(2)}_1 $$ since $x$ is the 1st argument.

This way, we could use $(x,y)$ as the input point without causing the confusion earlier: $$ f^{(2)}_1(x,y) $$

Another thought that I have is the following: $$ f^{\nabla 2}_1 $$ which also relates to the gradient $\nabla f$, or the second gradient $\nabla^2 f$ (gradient of gradient) as follows: $$ \nabla^2 f = f^{\nabla 2} = f^{\nabla 2}_1 \mathbf{\hat i} + f^{\nabla 2}_2 \mathbf{\hat j} $$

Update 1: After thinking a bit more on mixed partial derivatives (thanks to the discussion with @axiom_of_choice under his answer), I found this idea to handle 1) mixed partial derivatives, as well as the case when $f$ takes highly dimensional input, e.g. $f(x_1, x_2, \ldots, x_{100})$: $$ f'_{2,1}(x_1, x_2, \ldots, x_{100}) $$ to denote the value that the mixed partial derivative maps against when given input $(x_1, x_2, \ldots, x_{100})$. This is traditionally probably denoted by $$ \frac{\partial^2}{\partial x_2 \partial x_1}f(x_{1,0}, x_{2,0}, \ldots, x_{100,0}) $$

More generally, I could say: $$ f'_{2^2,1^5} $$ to denote the $2+5=7^{th}$ mixed partial derivative, which is traditionally denoted by $$ \frac{\partial^7}{\partial x_2^2 \partial x_1^5}f $$

I also think using $f^{\nabla}$ instead of $\nabla f$, to denote the gradient, is better to avoid the confusion $\nabla f(x_1,\ldots)$ against $\nabla \big(f(x_1,\ldots)\big)$: $$ \nabla \left(\frac{\partial^7}{\partial x_2^2 \partial x_1^5}f\right) = f^{\nabla}_{2^2,1^5} = f'_{1,2^2,1^5} \mathbf{\hat i_1} + f'_{2^3,1^5} \mathbf{\hat i_2} + \ldots + f'_{100,2^2,1^5} \mathbf{\hat i_{100}} $$ where $\mathbf{\hat i_1}, \mathbf{\hat i_2}, \ldots, \mathbf{\hat i_{100}}$ are perpendicular unit vectors that make up the axis of a $100$-dimensional cartesian coordinate system.

If one really wants to say $\nabla \big(f(x_1,\ldots)\big)$, then I think this to be used: $f(x_1,\ldots)^{\nabla}$

$\endgroup$
2
$\begingroup$

You should use $\frac{\partial}{\partial x^i}$ since it easily allows the notation of mixed partial derivatives. (By the way the partial symbol is done by "\partial").

$\endgroup$
  • $\begingroup$ Thank you. Could you please elaborate on what you mean by mixed partial derivatives? $\endgroup$ – caveman Sep 9 '17 at 22:55
  • 1
    $\begingroup$ For example take $f(x,y)=x\cdot y$, then $\frac{\partial}{\partial x}f(x,y)=y$ and $\frac{\partial^2 }{\partial x^2}f(x,y)=0$ i.e. if you see $\frac{\partial}{\partial x}f(x,y)$ as a function of $(x,y)$ and do another partial derivative in the $x$ direction it is 0. But if you do $\frac{\partial^2}{\partial y\partial x}f(x,y)=\frac{\partial}{\partial y}(\frac{\partial}{\partial x}f(x,y))=\frac{\partial}{\partial y}y=1$. You call $\frac{\partial^2}{\partial y\partial x}f(x,y)$ a mixed partial derivative since you first derive in one direction and then in another. $\endgroup$ – axiom_of_choice Sep 9 '17 at 23:04
  • 1
    $\begingroup$ @caveman, the y partial of the x partial, for instance $\endgroup$ – Mark S. Sep 9 '17 at 23:06
  • 1
    $\begingroup$ You're right, this notation might be confusing but it is common. So actually if you want to have the first partial derivative at $(x_0,y_0)$ you write $\frac{\partial}{\partial x}f(x_0,y_0)$. The first partial derivative as a function would then map $(x_0,y_0)\mapsto\frac{\partial}{\partial x}f(x_0,y_0)$. If you really want to use your other notation of course you can do so as long as you state the meaning at the beginning, but i haven't seen them in any mathematical text i have read (if you decide to use them i would use $f^{(2)}_{2,1}$ since it seems more natural to me). $\endgroup$ – axiom_of_choice Sep 9 '17 at 23:28
  • 1
    $\begingroup$ You're right, though you should start counting at 1. Then you can also write something like $\frac{\partial}{\partial x_1}f(x)$. $\endgroup$ – axiom_of_choice Sep 10 '17 at 9:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.