A new calculus, based upon the multivector derivative, is developed for Lagrangian mechanics and field theory, providing streamlined and rigorous derivations of the Euler-Lagrange equations. A more general form of Noether's theorem is found which is appropriate to both discrete and continuous symmetries. This is used to find the conjugate currents of the Dirac theory, where it improves on techniques previously used for analyses of local observables. General formulas for the canonical stress-energy and angular-momentum tensors are derived, with spinors and (...) vectors treated in a unified way. It is demonstrated that the antisymmetric terms in the stress-energy tensor are crucial to the correct treatment of angular momentum. The multivector derivative is extended to provide a functional calculus for linear functions which is more compact and more powerful than previous formalisms. This is demonstrated in a reformulation of the functional derivative with respect to the metric, which is then used to recover the full canonical stress-energy tensor. Unlike conventional formalisms, which result in a symmetric stress-energy tensor, our reformulation retains the potentially important antisymmetric contribution. (shrink)

This paper employs the ideas of geometric algebra to investigate the physical content of Dirac's electron theory. The basis is Hestenes' discovery of the geometric significance of the Dirac spinor, which now represents a Lorentz transformation in spacetime. This transformation specifies a definite velocity, which might be interpreted as that of a real electron. Taken literally, this velocity yields predictions of tunnelling times through potential barriers, and defines streamlines in spacetime that would correspond to electron paths. We also present a (...) general, first-order diffraction theory for electromagnetic and Dirac waves. We conclude with a critical appraisal of the Dirac theory. (shrink)

The modern use of algebra to describe geometric ideas is discussed with particular reference to the constructions of Grassmann and Hamilton and the subsequent algebras due to Clifford. An Einstein addition law for nonparallel boosts is shown to follow naturally from the use of the representation-independent form of the geometric algebra of space-time.

An equation proposed by Levy, Perdew and Sahni (Phys. Rev. A 30:2745, 1984) is an orbital-free formulation of density functional theory. However, this equation describes a bosonic system. Here, we analyze on a very fundamental level, how this equation could be extended to yield a formulation for a general fermionic distribution of charge and spin. This analysis starts at the level of single electrons and with the question, how spin actually comes into a charge distribution in a non-relativistic model. To (...) this end we present a space-time model of extended electrons, which is formulated in terms of geometric algebra. Wave properties of the electron are referred to mass density oscillations. We provide a comprehensive and non-statistical interpretation of wavefunctions, referring them to mass density components and internal field components. It is shown that these wavefunctions comply with the Schrödinger equation, for the free electron as well as for the electron in electrostatic and vector potentials. Spin-properties of the electron are referred to intrinsic field components and it is established that a measurement of spin in an external field yields exactly two possible results. However, it is also established that the spin of free electrons is isotropic, and that spin-dynamics of single electrons can be described by a modified Landau-Lifshitz equation. The model agrees with the results of standard theory concerning the hydrogen atom. Finally, we analyze many-electron systems and derive a set of coupled equations suitable to characterize the system without any reference to single electron states. The model is expected to have the greatest impact in condensed matter theory, where it allows to describe an N-electron system by a many-electron wavefunction Ψ of four, instead of 3N variables. The many-body aspect of a system is in this case encoded in a bivector potential. (shrink)