• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,054 questions , 2,207 unanswered
5,345 answers , 22,719 comments
1,470 users with positive rep
818 active unimported users
More ...

  Methods for generating metrics and minimizing variational dynamics of particles (masses or charges) on n-dimensional smooth manifolds

+ 3 like - 0 dislike

I am attempting to investigate transformations between two distinct sets of vertices on n-dimensional manifolds with a minimal change in the fundamental shape of the vertices. I will give some background so that when my question is asked it will be fully understood, the introductory explanation describes how the metric for configuration space is generated, and then my first question is in regards to computing explicit examples and minimizing my procedure. My second question is in regards to finding constraint conditions for my functional $L$, with the Euler-Lagrange equation, or something else. My main question though, is how to investigate the same type of geodesic equation in configuration space when the manifold is not endowed with a simple Pythagorean metric. Given an n-dimensional manifold with any metric, I want to find a way to compute the geodesic for a set of $I$-vertices traveling from one position to another. If we then consider these vertices as charges of masses, we have just found a way of minimizing the change in the electric field potential or gravitational field potential given any motion whatsoever.

NOTE: Do a quick check of the questions to see if you happen to know the answer right away in order to avoid reading something irrelevant if you are familiar with this type of stuff.

Part 1

The non-abelian similarity group $G_{\phi}$ with $\phi$ generations is given by, $$d + \frac{d(d-1)}{2} + 1$$ where $d$ is the dimension as given by the translation $T^{d}$ and rotation $SO(d)$ subgroups with $+1$ for the constant scaling matrix $k$. This gives $\nu = dn - \phi$ shape degrees of freedom where $n$ is the number of vertices. My first approach to understanding the transformations between two distinct sets of vertices on an n-dimensional manifold is when there is no curvature and the system is in 2-dimensions. This process must be split into two explicit stages, the first defines the vertices $q_{i}(x_{i},y_{i})$ undergoing all possible gauge transformations to end up with an arbitrary system $f_{i}(g_{i},h_{i})$. The second minimizes the distance between $f_{i}(g_{i},h_{i})$ and $p_{i}(w_{i},z_{i})$, resulting in $\bar{q}(k_{i},j_{i})$. Representing the operations of rotation and translation explicitly with matrices we get that for the translation vector $\begin{pmatrix} c & d \end{pmatrix}$, $$ \begin{pmatrix} g_{i} & h_{i} \end{pmatrix} = \begin{pmatrix} x_{i}k\cos(\theta) + y_{i}k\sin(\theta) + c & -x_{i}k\sin(\theta) + y_{i}k\cos(\theta) + d \end{pmatrix} $$ The result is the following function which can, given explicit $(x,y)$ coordinates, be simplified to give a solution by Mathematica, $$f(\theta,k,c,d) = \sum_{i=1}^{n} (w_{i} - g_{i})^2 + (z_{i} - h_{i})^2$$ So, we have that our metric $\omega$ is given by, $$\omega = \sum\limits_{i=1}^{n} \sqrt{(k_{i} - w_{i})^2 + (j_{i} - z_{i})^2}$$

Question 1: How would I compute this procedure explicitly with say a $47$-dimensional system of particles? Could someone reference me a paper or give an explanation of how to find a general $n$-dimensional rotation matrix? Everything else seems possible in principle, as Mathematica can likely compute $47$ partial derivatives concurrently.


Generalizing, the gauge transformations done to a system of vertices $q_{I}^{i}$ in configuration space, where $I$ is the number of vertices, and $i$ is the number of dimensions is: $$ q_{I}^{i} \rightarrow \sum_{j=1}^{d} s R_{j}^{i}(q_{I}^{j} + a^{j}) $$ Where $s$ is the scaling matrix, $R_{j}^{i}$ is the rotation matrix, $a^{j}$ is the translation row vector, and $j$ is an index defining the dimension. So, we then have that for the group action $G(\phi)$, the explicit process in 2-dimensions described above can be represented in n-dimensions as $$\min|G(\phi(\lambda + \delta \lambda))(q_{I}^{j}(\lambda + \delta \lambda)) - p_{I}^{i}|$$ To illustrate, this process in 3-dimensions is shown by the following figure:

Tetrahedral Approximation

With some effort, the following functional that gives the length of all possible paths between two distinct sets of $I$-vertices in $n$-dimensional space is as follows, $$L = \int\limits_{\lambda_{1}}^{\lambda_{2}} \sqrt{\sum_{I=1}^{n} \sum_{i=1}^{d} \left(\frac{d}{d\lambda}\left(\sum_{j=1}^{d} s(\lambda)R_{j}^{i}(\lambda)(q_{I}^{j}(\lambda) + a^{j}(\lambda))\right)\right)^2} d\lambda$$

So, we have a system of vertices $q_{I}^{j}$ parametrized by $\lambda$ and we want to find when this functional is stationary. Graphically, we can think of this as the functional which when minimized by the Euler-Lagrange equation gives (with a standard pythagorean metric) the straight line distance between two systems of vertices (points in configuration space) as,

Transformative Norm Equation Figure

Question 2: How can I, in practice, use the Euler-Lagrange equation to find the constraint conditions for when the functional is stationary? I have tried many different approaches and I just get dauntingly long computations where nothing simplifies. Are there any other methods for finding the constraint conditions for a functional to be stationary? Even if I somehow find constraint conditions, what will they look like and how can I compute an explicit example in say 3-dimensions?


Part 2

My ideas for what I want to do if I figure out the difficulties I am having in my "Question 2" are as follows, I apologize for any blatant misconceptions about manifolds, singularities or curvature, as I have not fully formulated my ideas yet, I am looking for a direction and papers to read on closely related work. Essentially, I want to then find out how I can treat these "vertices" as above as actual masses or charges, and when the metric is not the pythagorean one. How will the same sort of geodesic equation in configuration space (in similar style to $L$) respond to these changes in the metric? Succinctly, my question can be posed as follows,

For a system of $I$-vertices (with the possibility of being interpreted as charges or masses given the appropriate Lagrangian) in $n$-dimensions, how can a geodesic equation in configuration space be developed to give a comprehensive account of the dynamics of the vertices as they traverse through space defined by the metric of any smooth manifold?

That is, I want to know how to generalize some of the procedures explained here for manifolds with metrics other than the standard pythagorean one. My motivation for wanting to know this, is I want to know how black holes interact with the gravitational field potential and electric field potential of charges and masses nearby. Maybe, sometime in the future, experiments can be done on the dynamics of neutron stars interacting closely with black holes.

Any responses are really appreciated for those of you who braved the wall of text! Comprehensive explanations of Questions 1 and 2 are required for an accepted answer and any suggestions or references to papers that might relate to part 3 are always welcome.

This post imported from StackExchange MathOverflow at 2014-10-31 07:40 (UTC), posted by SE-user Samuel Reid
asked Jan 17, 2012 in Theoretical Physics by Samuel Reid (80 points) [ no revision ]
retagged Oct 31, 2014

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights