What is gradient operator in geometric algebra with some null basis vectors?

337 Views Asked by At

Consider a geometric algebra with the orthogonal basis $\{e_x,e_y\}$ where $e_x\cdot e_x = 1$ and $e_y\cdot e_y = 0$. Then define the vector function $f(r) = r$ where $r = xe_x+ye_y$. Then the directional derivative in the $e_y$ direction is

$$\lim_{h\to 0} \frac{f(r+he_y)-f(r)}{h} = e_y$$

is well defined. In this case (for this metric) can one define a meaningful gradient operator equivalent to $\nabla = e^x\partial_x+e^y\partial_y$ in the case where none of the orthogonal basis vectors are null and $e^x$ and $e^y$ are the reciprocal basis vectors?

1

There are 1 best solutions below

2
On

One of $e_1$ and $e_2$ being null does not imply that $I$ has no inverse. For example, consider a Dirac (relativistic) basis $\{\gamma_0, \gamma_1\}$, where

$$\gamma_0^2 = 1 = -\gamma_1^2,$$

and $$\begin{aligned}\gamma^0 &= \gamma_0 \\ \gamma^1 &= -\gamma_1.\end{aligned}$$

Suppose that $$\begin{aligned}e_x &= \gamma_0 \\ e_y &= \gamma_0 + \gamma_1.\end{aligned}$$

These vectors can be used as a basis for the space, and have the properties specified $e_x^2 = 1, e_y^2 = 0$. For this basis the pseudoscalar is

$$\begin{aligned}I &= e_x \wedge e_y \\ &= \gamma_0 \wedge \left( { \gamma_0 + \gamma_1 } \right) \\ &= \gamma_0 \wedge \gamma_1 \\ &= \gamma_0 \gamma_1.\end{aligned}$$

This is actually its own inverse

$$\begin{aligned}I^{-1} &= \gamma^1 \gamma^0 \\ &= -\gamma_1 \gamma_0 \\ &= \gamma_0 \gamma_1 \\ &= I.\end{aligned}$$

The reciprocal basis vectors can now be calculated $$\begin{aligned}e^x&= e_y I \\ &= \left( { \gamma_0 + \gamma_1 } \right) \gamma^1 \gamma^0 \\ &= \gamma^0 - \gamma^1,\end{aligned}$$

and $$\begin{aligned}e^y&= -e_x I \\ &= -\gamma_0 \gamma^1 \gamma^0 \\ &= \gamma^1.\end{aligned}$$

In this case the representation of the gradient corresponding to the vector parameterization $r = x e_x + y e_y = (x + y) \gamma_0 + y \gamma_1$ is

$$\boldsymbol{\nabla} = \left( { \gamma^0 - \gamma^1 } \right) \frac{\partial {}}{\partial {x}} + \gamma^1 \frac{\partial {}}{\partial {y}}.$$

Aside: An alternative way of looking at this problem is presented in the excellent little text "Vector and Geometric Calculus" by Alan Macdonald. See 5.4 Curvilinear Coordinates, and 5.5 The Vector Derivative. For a complete parameterization of the space, as is the case here, the vector derivative (defined for curvilinear coordinates on a surface) is identical to the gradient, and the text presents the differential operators that can be used to define both the curvilinear basis and its reciprocal basis. In this case neither basis varies with the parameterization, but the toolbox of curvilinear coordinates applies nicely.