Can I have a flexible partial derivative macro?

Question

I was thinking about writing a partial derivative macro that has a similar syntax to the Mathematica D function. (example)

The syntax could be like this:

\D{f}{x} expands to \frac{\partial f}{\partial x}
\D{f}{x,y} expands to \frac{\partial^2 f}{\partial x\,\partial y}
\D{f}{{x,2},y} expands to \frac{\partial^3 f}{\partial x^2\,\partial y}
et cetera for any number of derivatives.

Bonus points for an optional argument so that for instance

\D[subscript]{f}{{x,2},y} expands to f_{xxy}

I looked at the commath package but the syntax is a little tedious. For instance, to get \frac{\partial^3 f}{\partial x^2\,\partial y} with that package I would need to do \md{f}{3}{x}{2}{y}{}. And it doesn't generalize to three variables.

Before I dive in I thought I'd ask the hive and see what's been done.

@Torbjorn: cool is cool indeed! So I can use \pderiv[2,1]{f}{x,y} to get \frac{\partial^3 f}{\partial x^2\,\partial y}. — Matthew Leingang, Jul 01 '11 at 21:16
@Torbjorn: if you will repost your comment as an answer I will accept it. I'm going with cool for this and other reasons. — Matthew Leingang, Jul 07 '11 at 19:14
This must be something that every mathematician does. I think my first "serious" macros were (simple) versions of this. I'll definitely investigate the answers to this. — Andrew Stacey, Jul 07 '11 at 20:54
Did you experience any errors with the \pderiv macro? Specifically, when having more than one power in the optional argument. (See the comments to my answer.) — Torbjørn T., Sep 28 '11 at 12:51
@TorbjornT.: I will check; lately I've been using so much legacy code I haven't been able to create new partial derivatives. — Matthew Leingang, Oct 05 '11 at 18:56

score 28 · Accepted Answer · edited Apr 13 '17 at 12:34

28

The cool package offers commands for writing partial derivates (and a lot of other stuff).

A short example:

enter image description here

\documentclass{article}
\usepackage{cool}
\begin{document}
\begin{equation*}
  \pderiv{f}{x} \qquad
  \pderiv[2,3]{f}{x,y} \qquad
  \pderiv[1,n,4]{f}{x,y,z}
\end{equation*}
\end{document}

Note

By default the last two of those will not work, as there is a bug in the package. This can be fixed by changing a \def to \edef in line 2059 of cool.sty, see Basic use of derivative with cool package fails with "Missing \endcsname inserted"

edited Apr 13 '17 at 12:34

Community

1

answered Jul 07 '11 at 19:30

Torbjørn T.

206,688

I was just trying this out (from curiosity) and found that if I put more than one power in the first (optional) argument to the \pderiv then it complains vociferously. Any chance you could post a MWE? I'm sure I'm just doing something silly. – Andrew Stacey Sep 22 '11 at 08:53
@AndrewStacey Maybe not, I get an error as well, from examples copied directly from the cool demo file: ! Missing endcsname inserted. <to be read again> \toks@. I've never really used the package myself, I just stumbled upon it at one point, and remembered it for this question. Not sure what is going on ... – Torbjørn T. Sep 22 '11 at 10:56

egreg · Answer 2 · 2011-10-04T15:53:04.210

I have this, which is quite similar to what you want:

\documentclass[a4paper]{article} 

\makeatletter 
\newcommand{\der}[2]{\begingroup 
  \@tempswafalse\toks@={}\count@=\z@ 
  \@for\next:=#2\do 
    {\expandafter\check@var\next
     \advance\count@\der@exp 
     \if@tempswa 
       \toks@=\expandafter{\the\toks@\,}% 
     \else 
       \@tempswatrue 
     \fi 
     \toks@=\expandafter{\the\expandafter\toks@\expandafter\partial\der@var}}% 
  \frac{\partial\ifnum\count@=\@ne\else^{\number\count@}\fi#1}{\the\toks@}% 
  \endgroup} 
\def\check@var{\@ifstar{\mult@var}{\one@var}} 
\def\mult@var#1#2{\def\der@var{#2^{#1}}\def\der@exp{#1}} 
\def\one@var#1{\def\der@var{#1}\chardef\der@exp\@ne} 
\makeatother 

\begin{document} 
\[ 
\der{f}{x}\qquad \der{f}{*{2}{x},y}\qquad \der{f}{*{3}{x},y,*{4}{z}} 
\] 
\end{document}

enter image description here

EDIT: the following code will render correctly also

\pder{f}{\mathbf{x}}
\pder{f_1}{x_1}

Here it is:

\makeatletter 
\newcommand{\der}[2]{\begingroup 
  \@tempswafalse\toks@={}\count@=\z@ 
  \@for\next:=#2\do 
    {\expandafter\check@var\next\@nil
     \advance\count@\der@exp 
     \if@tempswa 
       \toks@=\expandafter{\the\toks@\,}% 
     \else 
       \@tempswatrue 
     \fi 
     \toks@=\expandafter{\the\expandafter\toks@\expandafter\partial\der@var}}% 
  \frac{\partial\ifnum\count@=\@ne\else^{\number\count@}\fi#1}{\the\toks@}% 
  \endgroup} 
\def\check@var{\@ifstar{\mult@var}{\one@var}} 
\def\mult@var#1#2\@nil{\def\der@var{#2^{#1}}\def\der@exp{#1}} 
\def\one@var#1\@nil{\def\der@var{#1}\chardef\der@exp\@ne} 
\makeatother

Interesting. Did you use the stars to mimic tabular preambles? — Matthew Leingang, Jul 01 '11 at 20:33
Reading the code, I see now you used stars so you could implement it with \@ifstar. Clever. — Matthew Leingang, Jul 01 '11 at 20:35
@Matthew: yes, the *{2}{x} comes from the tabular preambles, and, yes, it makes convenient to use \@ifstar. :) — egreg, Jul 01 '11 at 21:07
@egreg: The following two lines $\der{f}{\mathbf{n}}$ $\def{f_1}{x_1}$ do not process correctly. Is it possible to fix the macro so they do? Thanks. — rogerl, Oct 04 '11 at 15:34

Thorsten Donig · Answer 3 · 2012-11-23T08:58:28.667

9

The esdiff package should not go unmentioned in this context.

In the meantime there are two other packages which facilitate easy typesetting of derivatives.

edited Nov 23 '12 at 08:58

answered Jul 07 '11 at 21:34

Thorsten Donig

46,014

5

OK, it's been mentioned. :-) But could you add a code snippet to show how it works? – Matthew Leingang Oct 04 '11 at 17:29
What about just reading the (very short) package manual? I couldn't add any better code examples here. – Thorsten Donig Oct 04 '11 at 19:17
You're right. I just realized that this package does this and nothing else. – Matthew Leingang Oct 05 '11 at 18:55
It would still be helpful to show the syntax here so that everybody who is looking for solutions can see if the package fits their needs. – Paul Wintz May 11 '22 at 23:25

Martin Scharrer · Answer 4 · 2011-07-01T22:23:04.593

Here my try. I prefer a more simply input format: \Der{<var>}{<var><num>,<var><num>,...} e.g. \Der{f}{x3,y,z4}. This also works for more complicated input like \Der{f}{{\hat{x}}3,y105}.

\documentclass{article}

\makeatletter

\newcommand\Der[2]{%
    \begingroup
    \@temptokena{\@gobble}%
    \@tempcnta\z@
    \@for\var:=#2\do{%
        \expandafter\@Der\var\relax
    }%
    \ensuremath{\frac{\partial
    \ifnum\@tempcnta>\@ne
        ^{\the\@tempcnta}%
    \fi
    #1}{\the\@temptokena}}%
    \endgroup
}

\def\@Der#1#2\relax{%
    \ifx\relax#2\relax
        \advance\@tempcnta by \@ne
        \@temptokena\expandafter{\the\@temptokena\,\partial{#1}}%
    \else
        \advance\@tempcnta by #2\relax
        \@temptokena\expandafter{\the\@temptokena\,\partial{#1}^{#2}}%
    \fi
}

\makeatother

\usepackage{amsmath}
\begin{document}

\[
\Der{f}{x}
\qquad
\Der{f}{x,y}
\qquad
\Der{f}{x2,y}
\]

\[ 
\Der{f}{x}\qquad \Der{f}{x2,y}\qquad \Der{f}{x3,y,z4} 
\]

\[ 
\Der{f}{{\hat{x}}3,y1,z10} 
\]

\end{document}

It is also possible to avoid the need for commas. I'm thought first this is more readable but I'm not sure about that anymore. This version doesn't support negative numbers (no loss) and might be a little more sensitive than the first.

\documentclass{article}

\makeatletter

\newcommand\Der[2]{%
    \begingroup
    \@temptokena{\@gobble}%
    \@tempcnta\z@
    \expandafter\@Der@var#2\relax
    \ensuremath{\frac{\partial
    \ifnum\@tempcnta>\@ne
        ^{\the\@tempcnta}%
    \fi
    #1}{\the\@temptokena}}%
    \endgroup
}

\def\@Der@var#1{%
    \ifx\relax#1\empty\else
        \def\next{\expandafter\@Der@num\expandafter{\the\@tempcntb}{#1}}%
        \afterassignment\next
        \@tempcntb=0%
    \fi
}

\def\@Der@num#1#2{%
    \ifnum#1=\z@
        \advance\@tempcnta by \@ne
        \@temptokena\expandafter{\the\@temptokena\,\partial{#2}}%
    \else
        \advance\@tempcnta by #1\relax
        \@temptokena\expandafter{\the\@temptokena\,\partial{#2}^{#1}}%
    \fi
    \@Der@var
}

\makeatother

\usepackage{amsmath}
\begin{document}

\[
\Der{f}{x}
\qquad
\Der{f}{xy}
\qquad
\Der{f}{x2y}
\]

\[ 
\Der{f}{x}\qquad \Der{f}{x2y}\qquad \Der{f}{x3 y z4} 
\]

\[ 
\Der{f}{{\hat{x}}3y1z10} 
\]

\end{document}

Result (for both implementations):

Result

Thanks for playing. Both you and egreg used \@for, which means I should learn more about that. — Matthew Leingang, Jul 02 '11 at 04:14

score 3 · Answer 5 · edited Jul 28 '19 at 22:11

3

Since 2019-07-21 there is another package that allows to write, in a rather simple fashion, derivatives or partial derivatives. This package is namely derivative. Here are some examples, taken from the manual:

\documentclass[12pt]{article}
\usepackage{derivative,mathtools}
\begin{document}
\[
\begin{aligned}
\odv{y}{x}\\ 
\odv*{y}{x}\quad \texttt{switch-*=false}\\ 
\odv[n]{y}{x}\\ 
\odv{y}/{x}\\ 
\odv{y}{x}_{a}\\
\odv{y}{x}^{b}\\
\odv{y}{x}^{b}_{a}\\
\pdv{f}{x,y}\\
\pdv*{f}{x,y}\\
\pdv{ f(x,y,z) }{ x, y, z }\\
\end{aligned}
\]
\end{document}

edited Jul 28 '19 at 22:11

egreg

1,121,712

answered Jul 28 '19 at 21:05

Sebastiano

54,118

Would it be possible to make \pdv[n]{f}{x} works like \pdv[order=2]{f}{x}? – Eli4ph Apr 17 '22 at 23:58
@Eli4ph Hi, please can you provided to ask a new question? Thank you very much. – Sebastiano Apr 18 '22 at 09:57

Can I have a flexible partial derivative macro?

5 Answers5

Note

Result (for both implementations):

Linked

Related