Actualmente estoy revisando básica de análisis vectorial y tratando de entender cada uno de los detalles, sin embargo, me quedé atrapado en alguna derivación.
Lo que quiero mostrar es el siguiente:
Dada la del operador (es decir, el vector diferencial de operador) en la Coordenadas cartesianas $(x,y,z)$
$$\nabla=\frac{\partial }{\partial x}\mathbf{a}_x+\frac{\partial }{\partial y}\mathbf{a}_y+\frac{\partial }{\partial z}\mathbf{a}_z$$
mostrar que la corrseponding operador en coordenadas Cilíndricas $(\rho, \phi ,z)$ está dada por$$\nabla=\frac{\partial }{\partial\rho}\mathbf{a}_\rho+\frac{1}{\rho}\frac{\partial }{\partial \phi}\mathbf{a}_\phi+\frac{\partial }{\partial z}\mathbf{a}_z$$
He intentado una aproximación. Sin embargo, por curiosidad he intentado un método diferente, pero yo no podía hacerlo bien.
Enfoque #1:
Desde el punto-a-punto de transformación $$\rho=\sqrt{x^2+y^2}, \; \phi=\text{tan}\frac{y}{x}$$
diferenciación parcial con respecto a $x$ $y$ rendimientos \begin{align} \frac{\partial \rho}{\partial x} &=\frac{x}{\sqrt{x^2+y^2}}=\frac{\rho \, \text{cos}\phi}{\rho}=\text{cos}\phi \\ \frac{\partial \rho}{\partial y}&=\frac{y}{\sqrt{x^2+y^2}}=\frac{\rho \, \text{sin}\phi}{\rho}=\text{sin}\phi \end{align} y \begin{align} \frac{\partial \phi}{\partial x}&=\frac{-y}{x^2}\frac{1}{1+(\frac{y}{x})^2}=\frac{-y}{x^2+y^2}=\frac{-\rho \, \text{sin}\phi}{\rho^2}=\frac{-\text{sin}\phi}{\rho} \\ \frac{\partial \phi}{\partial y}&=\frac{1}{x}\frac{1}{1+(\frac{y}{x})^2}=\frac{x}{x^2+y^2}=\frac{\rho \, \text{cos}\phi}{\rho^2}=\frac{\text{cos}\phi}{\rho} \end{align}
Ahora, conectar estas en la regla de la cadena diferenciación de las fórmulas \begin{align} \frac{\partial }{\partial x}&=\frac{\partial }{\partial \rho}\;\frac{\partial \rho}{\partial x}+\frac{\partial }{\partial \phi}\;\frac{\partial \phi}{\partial x} \\ \frac{\partial }{\partial y}&=\frac{\partial }{\partial \rho}\;\frac{\partial \rho}{\partial y}+\frac{\partial }{\partial \phi}\;\frac{\partial \phi}{\partial y} \end{align}
y haciendo uso de la unidad de vectores de transformación de coordenadas Cartesianas a Cilíndrica \begin{align} \mathbf{a}_x&=\text{cos}\phi\;\mathbf{a}_\rho-\text{sin}\phi\;\mathbf{a}_\phi\\ \mathbf{a}_y&=\text{sin}\phi\;\mathbf{a}_\rho+\text{cos}\phi\;\mathbf{a}_\phi \end{align}
Tenemos \begin{align} \nabla&=\frac{\partial }{\partial x}\mathbf{a}_x+\frac{\partial }{\partial y}\mathbf{a}_y+\frac{\partial }{\partial z}\mathbf{a}_z \\ &=\left (\frac{\partial }{\partial \rho}\;\frac{\partial \rho}{\partial x}+\frac{\partial }{\partial \phi}\;\frac{\partial \phi}{\partial x} \right )\left ( \text{cos}\phi\;\mathbf{a}_\rho-\text{sin}\phi\;\mathbf{a}_\phi \right )\\ &+\left ( \frac{\partial }{\partial \rho}\;\frac{\partial \rho}{\partial y}+\frac{\partial }{\partial \phi}\;\frac{\partial \phi}{\partial y} \right )\left ( \text{sin}\phi\;\mathbf{a}_\rho+\text{cos}\phi\;\mathbf{a}_\phi \right )+\frac{\partial }{\partial z}\mathbf{a}_z \\ &=\left (\frac{\partial }{\partial \rho}\;\text{cos}\phi+\frac{\partial }{\partial \phi}\;\frac{-\text{sin}\phi}{\rho} \right )\left ( \text{cos}\phi\;\mathbf{a}_\rho-\text{sin}\phi\;\mathbf{a}_\phi \right )\\ &+\left ( \frac{\partial }{\partial \rho}\;\text{sin}\phi+\frac{\partial }{\partial \phi}\;\frac{\text{cos}\phi}{\rho} \right )\left ( \text{sin}\phi\;\mathbf{a}_\rho+\text{cos}\phi\;\mathbf{a}_\phi \right )+\frac{\partial }{\partial z}\mathbf{a}_z\\ &=\left ( \text{sin}^2\phi+\text{cos}^2\phi \right )\frac{\partial }{\partial \rho}\mathbf{a}_\rho+\frac{1}{\rho}\left ( \text{sin}^2\phi+\text{cos}^2\phi \right )\frac{\partial }{\partial \phi}\mathbf{a}_\phi+\frac{\partial }{\partial z}\mathbf{a}_z\\ &=\frac{\partial }{\partial\rho}\mathbf{a}_\rho+\frac{1}{\rho}\frac{\partial }{\partial \phi}\mathbf{a}_\phi+\frac{\partial }{\partial z}\mathbf{a}_z \end{align}
cual es el resultado deseado.
Enfoque #2:
¿Cómo puedo obtener el mismo resultado a partir de la punto-a-punto de transformación $$x=\rho \, \text{cos}\phi,\; y=\rho \, \text{sin}\phi$$ mediante el uso de diferenciación parcial? Tal vez implícita diferenciación?