Crítica de los diferenciales (2)

En la entrada anterior traté sobre los diferenciales en una variable. Ahora trataré sobre los diferenciales en varias variables. Igualmente, para cada variable independiente $x_i$ creamos una variable independiente $\Delta x_i$ y para cada variable dependiente $y=f(x_1,x_2,\dots,x_n)$ creamos una variable dependiente $$\Delta y=f(x_1+\Delta x_1,x_2+\Delta x_2,\dots,x_n+\Delta x_n)-f(x_1,x_2,\dots,x_n) \text,$$ aunque no lo vayamos a utilizar aquí. Lo que sí nos interesa es el diferencial $\mathrm dy=\sum_{i=1}^n\mathrm D_{x_i}[y]\Delta x_i$, que para la variable independiente $x_i$ queda $\mathrm dx_i=\Delta x_i$, como en el caso anterior. La notación tipo Leibnitz en este caso es $\displaystyle\mathrm dy =\sum_{i=1}^n\frac{\partial y}{\partial x_i}\mathrm dx_i$, donde no ha lugar cancelación entre $\mathrm dx_i$ y $\partial x_i$. Aquí se nota claramente que $\dfrac{\partial\square}{\partial\square}$ es un operador con dos argumentos, y no hay definición de $\partial y$ y $\partial x_i$ por separado. La notación $\dfrac{\partial\square}{\partial\square}$ fue introducida por Legendre [Memoire sur la manière de distinguer les maxima des minima dans le Calcul des Variations, Histoire de l'Academie Royale des Sciences, Année 1786, pp. 7-37, París, 1788] explicando con una nota a pie de la página 8 lo siguiente

Pour éviter toute ambiguité, je répresentarie par $\dfrac{\partial v}{\partial x}$ le coefficient de $x$ dans la différence de $v$, et par $\dfrac{dv}{dx}$ la différence complette de $v$ divisée par $dx$.

Tratándose de un coeficiente, queda claro que $\dfrac{\partial\square}{\partial\square}$ fue un operador con dos argumentos desde el principio.

Además, la derivada parcial $\dfrac{\partial v}{\partial x}$ no depende sólo de $v$ y de $x$, sino que depende de todo el sistema de variables independientes. Por ejemplo, si tenemos las variables independientes $x$ e $y$ y la variable dependiente $v=x-y$, resulta $\dfrac{\partial v}{\partial x}=1$. Si hacemos el cambio de variable poniendo como independiente $y$ y poniendo en su lugar $z=x+y$, resulta $\dfrac{\partial v}{\partial x}=2$. La trampa está en utilizar el mismo nombre para cosas que cambian, siendo al principio $v=\mathrm{vd}(f,x,y)$ con $f(x,y)=x-y$ y después $v=\mathrm{vd}(g,x,z)$ con $g(x,z)=2x-z$. Aquí podemos decir que $v$ ha cambiado, pero en Geometría Diferencial se utiliza también alegremente la notación $\dfrac{\partial\square}{\partial\square}$ operando sobre funciones puras en $\mathcal C^\infty(\mathbb R^2)$ y tenemos el mismo fenómeno, por lo que la notación es ambigua y requiere fijar todo es sistema de coordenadas, no sólo una función respecto a la que se deriva como si fuera una variable independiente.

Concluyendo, la notación $\dfrac{\partial\square}{\partial\square}$ es un operador con dos argumentos que utiliza dos líneas cuando se podría utilizar sólo una y que induce confusión, por lo que debería evitarse.