Preliminaries to Studying Non-Euclidean Geometry

From EVOCD
Revision as of 01:29, 9 May 2015 by Tenev (Talk | contribs)

Jump to: navigation, search


Contents

Introduction

Continuum mechanics applies the tools of differential geometry to study stress and strain fields within a material by treating that material as an idealized continuum. In most cases, we assume that we assume Euclidean geometry for the continuum, but there are several situations when the assumptions of Euclidean geometry no longer apply.

One example is using the tools of continuum mechanics at astronomical length-scale where the effects of gravity, i.e. the curvature of space, become non-negligible, such as when studying neutron stars. [1] [2]

Another example is when applying continuum mechanics at the mesoscale to study material defects such as dislocations, voids and disclinations. [3] [4] [5] Normally, the continuum idealization would have meant that we cannot model explicitly discontinuities in the material such as due to dislocations and disclinations, but as the aforementioned references show, this problem can be overcome by applying non-Euclidean geometry to the discontinuous material. Here is an intuitive way to see how non-Euclidean geometry helps: Consider a wall map of the Earth and notice that any such map would have a one or more discontinuities, e.g. the line where east-west hemispheres appear separated on the projection. A globe, however, does not manifest such discontinuity, because the globe's geometry is no longer Euclidean (flat) but spherical.

There are other potential future applications for why it maybe worth pursuing the generalization of continuum mechanics to non-Euclidean geometry. For example. non-Euclidean computational models could be more accurate as they will be able to naturally handle discontinuities and incompatibilities.

Nevertheless, understanding how the geometry of space should reflect in the equations of continuum mechanics is a challenging exercise, which is why perhaps it is not a part of the typical continuum mechanics curriculum. Non-Euclidean geometry is often veiled in highly abstracted mathematical language (tangent bundles, vector fields, Lie groups and Lie algebra, differential forms, ... ). While some of these abstractedness is necessary to ensure that we are not overly limiting or overly extending the applicability of the math, it is often more helpful to first grasp the basic concepts intuitively and then grok the generalization.

Here we will focus on an attempt to intuitively present the most basic abstractions in a way that would hopefully lend itself to better intuitive and not just syntactic understanding. The following sections attempt to introduce and motivate some of the key vocabulary of differential geometry. The reader is encourage to lookup the references for further reading.

Here is a brief overview of the basic concepts:

  • Metric (or metric tensor) defines the "measuring sticks" which we use to measure distances at each point in space. In general the metric can vary from one point is space to another.
  • Covariant and Contravariant vectors are different representations of a vector once we have have a metric defined.
  • Geometric connection defines how vectors at different points in space can be compared to each other.

Fundamental to a physical space is the ability to refer to points in space and to measure distances between points.

Choice of Basis Vectors

In order to refer to points in space we need a set of basis vectors and a reference point (the origin). For example let \mathbf{e_1} and \mathbf{e_2} be basis vectors in 2D space. Think of these as two non-overlapping meter sticks extending from the origin. Each meter stick represents both a direction as well as a unit of length in that direction. Since \mathbf{e_1} and \mathbf{e_2} are not parallel to each other, we can describe any point in space by stating how many times one needs to count off the length of \mathbf{e_1} in the \mathbf{e_1} direction followed by how many times one should count off the length of \mathbf{e_2} in the \mathbf{e_2} direction. Thus,


\mathbf{a}=a^1\mathbf{e_1}+a^2\mathbf{e_2} =
\begin{pmatrix}
a^1 \\
a^2
\end{pmatrix}

is a way to describe a point \mathbf{a} in terms of the given measuring sticks.

Takeaways:

  • The choice of basis vectors \mathbf{e_1} and

\mathbf{e_2} is arbitrary with the only limitatoin being that these two should not be parallel.

  • The point \mathbf{a} exist independent of and does not

change with the choice of basis vectors. However, the indices a^1 and a^2 are only meaningful in the context of the given basis vectors and would change with different choice of basis vectors.

Contravariant Representation of a Point

The coefficients a^1 and a^2 form the contravariant representation of point \mathbf{a}. The term "contravariant" signifies that these coefficients vary inversely with respect to the length of their respective meter sticks. In other words, if we were to choose longer meter sticks then the same point \mathbf{a} would be represented by smaller coefficients and vice versa.

To see this more intuitively, think of each basis vector as analogous to a unit of length, e.g. m, cm, etc. Then, notice for example that, 5m = 500cm is an illustration of how making the unit smaller requires a larger numerical value to represent the same length.

Takeways:

  • A point in space is independent of the chosen basis, but its

representation depends on the choice of basis.

  • The term contravariant characterizes the point's representaiton

and not the point itself and signifies how the representation changes with a change of basis.

Metric and Metric Tensor

A metric specifies how we compute distances between points in space given a set of basis vectors.

For exmaple, let \mathbf{e_1} and \mathbf{e_2} be the basis vectors and let \mathbf{a} and \mathbf{b} be two points in space. If the line through \mathbf{a} and \mathbf{b} happened to be along one of the basis vectors, then we could use that basis vector as the measuring stick to count off the distance between the two points. However, for general positions of points \mathbf{a} and \mathbf{b} we have no apriori mechanism for determining distance between them. That is because we only know apriori how to use each basis vector as a measuring stick in the direction of that basis vector. For an arbitrary direction, we would have to apply a combination of all measuring sticks and how exactly to do that is something that needs to be specified in addition to the basis vectors. The metric tensor provides this additional information.

Covariant and Contravariant Vector Representations

TODO

Geometric Connections and Co-variant Derivative

TODO

Materials for Further Study

TODO

References

  1. Gerard A Maugin, Magnetized deformable media in general relativity, Annales de l'I.H.P., section A, tome 15, #4(1971), p.275-302
  2. G.A.Maugin, On the covariant equaitons of the relativistic electrodynamics of continua. I. General equations, Universite de Paris VI, Laboratoire de Mecanique Theorique associe au C.N.R.S., tour 66, 75230 Paris, Cedex 05, France
  3. Kazuo Kondo, ON THE ANALYTICAL AND PHYSICAL FOUNDATIONS OF THE THEORY OF DISLOCATIONS AND YIELDING BY THE DIFFERENTIAL GEOMETRY OF CONTINUA, International Journal of Engineering Science, Vol. 2, pp. 219-251, Pergamon Press 1964
  4. John D. Clayton, Douglas J. Bammann, and David L. McDowell, A Geometric Framework for the Kinematics of Crystals With Defects, Philosophical Magazine, vol 85, nos. 33-35, pp. 3983-4010, February 2005
  5. J.D. Clayton, D.L. McDowell, D.J. Bammann, Modeling dislocations and disclinations with finite micropolar elastoplasticity, International Journal of Plasticity, 22 (2006) 210-256
Personal tools
Namespaces

Variants
Actions
home
Materials
Material Models
Design
Resources
Projects
Education
Toolbox