Lie group structure of incompressible deformations?
up vote
0
down vote
favorite
In the context of incompressible elasticity, I failed at finding
a Lie group structure, which respects the incopressibility.
Question:
Let $mathcal B, mathcal S$ be Riemannian manifolds and $overline{mathcal B}$ is compact.
Does the smooth manifold of incompressible deformations
$$
mathcal{C} := { varphi: mathcal{B} to mathcal S mid varphi in mathrm{Diff}(mathcal B, mathcal S) ~text{with}~ mathrm{det}(mathrm{D} varphi) = 1}
$$
admit a Lie group structure?
(Here, $mathcal B$ is the reference configuration of the body (fixed in time) and $mathcal S$ is the space in which the body is placed, i.e. $varphi(X)$ is the current position of the material point $X$.)
Is a Lie structure only possible, if for example $mathcal S subseteq mathbb{R}^d$ or if $mathcal S$ is a Lie group?
Recommendations for related literature or a short 'No, there is no Lie group' are very welcome!
My problem:
A reasonable candidate for the Lie group operation is the composition of maps.
But if $mathcal B neq mathcal S$, it is tricky to define $varphi_2 circ varphi_1$ for $varphi_i in mathrm{Diff}(mathcal B, mathcal S)$.
Fluid dynamics:
In fluid dynamics, there seem to exists a Lie group, since typically the Eulerian perspective is used. If $Omega$ denotes the domain of the fluid,
then the displacement of fluid particles is a map $phi in mathrm{Diff}(Omega, Omega)$, which is a Lie group with the composition of two maps as group operation.
But I was not able to transfer this to the setting above.
lie-groups mathematical-physics classical-mechanics
This question has an open bounty worth +50
reputation from Steffen Plunder ending in 3 days.
This question has not received enough attention.
add a comment |
up vote
0
down vote
favorite
In the context of incompressible elasticity, I failed at finding
a Lie group structure, which respects the incopressibility.
Question:
Let $mathcal B, mathcal S$ be Riemannian manifolds and $overline{mathcal B}$ is compact.
Does the smooth manifold of incompressible deformations
$$
mathcal{C} := { varphi: mathcal{B} to mathcal S mid varphi in mathrm{Diff}(mathcal B, mathcal S) ~text{with}~ mathrm{det}(mathrm{D} varphi) = 1}
$$
admit a Lie group structure?
(Here, $mathcal B$ is the reference configuration of the body (fixed in time) and $mathcal S$ is the space in which the body is placed, i.e. $varphi(X)$ is the current position of the material point $X$.)
Is a Lie structure only possible, if for example $mathcal S subseteq mathbb{R}^d$ or if $mathcal S$ is a Lie group?
Recommendations for related literature or a short 'No, there is no Lie group' are very welcome!
My problem:
A reasonable candidate for the Lie group operation is the composition of maps.
But if $mathcal B neq mathcal S$, it is tricky to define $varphi_2 circ varphi_1$ for $varphi_i in mathrm{Diff}(mathcal B, mathcal S)$.
Fluid dynamics:
In fluid dynamics, there seem to exists a Lie group, since typically the Eulerian perspective is used. If $Omega$ denotes the domain of the fluid,
then the displacement of fluid particles is a map $phi in mathrm{Diff}(Omega, Omega)$, which is a Lie group with the composition of two maps as group operation.
But I was not able to transfer this to the setting above.
lie-groups mathematical-physics classical-mechanics
This question has an open bounty worth +50
reputation from Steffen Plunder ending in 3 days.
This question has not received enough attention.
1
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
1
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
In the context of incompressible elasticity, I failed at finding
a Lie group structure, which respects the incopressibility.
Question:
Let $mathcal B, mathcal S$ be Riemannian manifolds and $overline{mathcal B}$ is compact.
Does the smooth manifold of incompressible deformations
$$
mathcal{C} := { varphi: mathcal{B} to mathcal S mid varphi in mathrm{Diff}(mathcal B, mathcal S) ~text{with}~ mathrm{det}(mathrm{D} varphi) = 1}
$$
admit a Lie group structure?
(Here, $mathcal B$ is the reference configuration of the body (fixed in time) and $mathcal S$ is the space in which the body is placed, i.e. $varphi(X)$ is the current position of the material point $X$.)
Is a Lie structure only possible, if for example $mathcal S subseteq mathbb{R}^d$ or if $mathcal S$ is a Lie group?
Recommendations for related literature or a short 'No, there is no Lie group' are very welcome!
My problem:
A reasonable candidate for the Lie group operation is the composition of maps.
But if $mathcal B neq mathcal S$, it is tricky to define $varphi_2 circ varphi_1$ for $varphi_i in mathrm{Diff}(mathcal B, mathcal S)$.
Fluid dynamics:
In fluid dynamics, there seem to exists a Lie group, since typically the Eulerian perspective is used. If $Omega$ denotes the domain of the fluid,
then the displacement of fluid particles is a map $phi in mathrm{Diff}(Omega, Omega)$, which is a Lie group with the composition of two maps as group operation.
But I was not able to transfer this to the setting above.
lie-groups mathematical-physics classical-mechanics
In the context of incompressible elasticity, I failed at finding
a Lie group structure, which respects the incopressibility.
Question:
Let $mathcal B, mathcal S$ be Riemannian manifolds and $overline{mathcal B}$ is compact.
Does the smooth manifold of incompressible deformations
$$
mathcal{C} := { varphi: mathcal{B} to mathcal S mid varphi in mathrm{Diff}(mathcal B, mathcal S) ~text{with}~ mathrm{det}(mathrm{D} varphi) = 1}
$$
admit a Lie group structure?
(Here, $mathcal B$ is the reference configuration of the body (fixed in time) and $mathcal S$ is the space in which the body is placed, i.e. $varphi(X)$ is the current position of the material point $X$.)
Is a Lie structure only possible, if for example $mathcal S subseteq mathbb{R}^d$ or if $mathcal S$ is a Lie group?
Recommendations for related literature or a short 'No, there is no Lie group' are very welcome!
My problem:
A reasonable candidate for the Lie group operation is the composition of maps.
But if $mathcal B neq mathcal S$, it is tricky to define $varphi_2 circ varphi_1$ for $varphi_i in mathrm{Diff}(mathcal B, mathcal S)$.
Fluid dynamics:
In fluid dynamics, there seem to exists a Lie group, since typically the Eulerian perspective is used. If $Omega$ denotes the domain of the fluid,
then the displacement of fluid particles is a map $phi in mathrm{Diff}(Omega, Omega)$, which is a Lie group with the composition of two maps as group operation.
But I was not able to transfer this to the setting above.
lie-groups mathematical-physics classical-mechanics
lie-groups mathematical-physics classical-mechanics
asked Nov 17 at 10:35
Steffen Plunder
473211
473211
This question has an open bounty worth +50
reputation from Steffen Plunder ending in 3 days.
This question has not received enough attention.
This question has an open bounty worth +50
reputation from Steffen Plunder ending in 3 days.
This question has not received enough attention.
1
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
1
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago
add a comment |
1
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
1
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago
1
1
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
1
1
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002184%2flie-group-structure-of-incompressible-deformations%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
Well, for a 2d manifold, the group is just that of Poisson brackets, namely $SU(infty)$, as you are probably aware from 2d hydrodynamics. In fact, as you can tell from Liouville's theorem in classical mechanics, classical phase-space flows in all dimensions are incompressible. In odd-dimensional manifolds, Nambu brackets are utilized, and the group structure is more moot.
– Cosmas Zachos
2 days ago
1
A modern book on symplectomorphism groups, 2018. For the standard theory, see JMP 1990.
– Cosmas Zachos
2 days ago