Orthogonal curvilinear coordinates (derivatives of unit vectors)

366 Views Asked by At

Suppose that $\{u_i\}_{1\le i\le 3}$ is a set of orthogonal curvilinear coordinates with unit vectors $\{\mathbf{\hat{e}_i}\}_{1\le i\le 3}$. I proved that $$\frac{\partial \mathbf{\hat{e}_i}}{\partial u_j} = \frac{\mathbf{\hat{e}_j}}{h_i}\frac{\partial h_j}{\partial u_i},\tag{1}$$ where $h_i$ is a scale factor such that for a position vector $\mathbf r$ we have $\dfrac{\partial \mathbf r}{\partial u_i}= h_i \mathbf{\hat{e}_i}$. Eq. $(1)$ is valid for $i\neq j$. I'm trying to prove that

$$\frac{\partial \mathbf{\hat{e}_i}}{\partial u_i} = -\sum\limits_{k\neq i}\frac{\mathbf{\hat{e}_k}}{h_k}\frac{\partial h_i}{\partial u_k}.$$

First of all I find it strange that the variation of $\mathbf{\hat{e}_i}$ with respect to the $i$-th coordinate is not pointing towards $\mathbf{\hat{e}_i}$. For instance in Eq. (1) we have that $\dfrac{\partial \mathbf{\hat{e}_i}}{\partial u_j}\parallel \mathbf{\hat{e}_j}$, which makes sense. And secondly this is what I tried to prove the equality (I followed some steps that were suggested, I will mark these steps with $\overset{*}{=}$):

\begin{align} \mathbf{\hat{e}_i} = \mathbf{\hat{e}_j}\times \mathbf{\hat{e}_k} = \sum\limits_{i=1}^3\epsilon_{ijk}\mathbf{\hat{e}_i} \overset{*}{=}\frac12\sum\limits_{j,k=1}^3\epsilon_{ijk}\mathbf{\hat{e}_j}\times \mathbf{\hat{e}_k}, \end{align}

where $\epsilon_{ijk}$ is the Levi-Civita tensor. \begin{align} \frac{\partial \mathbf{\hat{e}_i}}{\partial u_i} &= \frac12\sum\limits_{j,k=1}^3\epsilon_{ijk}\frac{\partial}{\partial u_i}(\mathbf{\hat{e}_j}\times \mathbf{\hat{e}_k}) = \frac12\sum\limits_{j,k=1}^3\epsilon_{ijk}\left(\frac{\partial\mathbf{\hat{e}_j}}{\partial u_i}\times \mathbf{\hat{e}_k} + \frac{\partial\mathbf{\hat{e}_k}}{\partial u_i}\times \mathbf{\hat{e}_j}\right)\\ &\overset{*}{=} \frac12\sum\limits_{j,k=1}^3\epsilon_{ijk}\left(\frac{\mathbf{\hat{e}_i}}{h_j}\frac{\partial h_i}{\partial u_j}\times \mathbf{\hat{e}_k} + \frac{\mathbf{\hat{e}_i}}{h_k}\frac{\partial h_i}{\partial u_k}\times \mathbf{\hat{e}_j}\right)=\frac12\sum\limits_{j,k=1}^3\epsilon_{ijk}\left(-\frac{\mathbf{\hat{e}_j}}{h_j}\frac{\partial h_i}{\partial u_j} + \frac{\mathbf{\hat{e}_k}}{h_k}\frac{\partial h_i}{\partial u_k}\right). \end{align}

I feel so close...

I have the hint that one should get to this result:

$$\frac{\partial \mathbf{\hat{e}_i}}{\partial u_i} = \sum_{jkl}\epsilon_{ijk}\epsilon_{ilj}\frac{\mathbf{\hat{e}_l}}{h_k}\frac{\partial h_i}{\partial u_k}.$$

But I don't know how to get to that. Any help is very much appreciated. Thanks.