Showing 1–25 of 25 results for author: Śniatycki, J

Vector fields and differential forms on the orbit space of a proper action

Authors: Larry Bates, Richard Cushman, Jędrzej Śniatycki

Abstract: In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This yields an intrinsic view of vector fields and differential forms on the orbit space. In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This yields an intrinsic view of vector fields and differential forms on the orbit space. △ Less

Submitted 31 July, 2021; originally announced August 2021.

MSC Class: 58A40

Differentiable spaces that are subcartesian

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differenial forms, which statisfies Smith's version of de Rham's theorem. Because the orbit space is a locally clo… ▽ More We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differenial forms, which statisfies Smith's version of de Rham's theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows. △ Less

Submitted 16 December, 2019; originally announced December 2019.

On subcartesian spaces Leibniz' rule implies the chain rule

Authors: Richard Cushman, Jędrzej Śniatycki

Abstract: We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves. We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves. △ Less

Submitted 28 March, 2019; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: Section on vector fields added

MSC Class: 58A40

De Donder Form for Second Order Gravity

Authors: Jędrzej Śniatycki, Oğul Esen

Abstract: We show that the De Donder form for second order gravity, defined in terms of Ostrogradski's version of the Legendre transformation applied to all independent variables, is globally defined by its local coordinate descriptions. It is a natural differential operator applied to the diffeomorphism invariant Lagrangian of the theory. We show that the De Donder form for second order gravity, defined in terms of Ostrogradski's version of the Legendre transformation applied to all independent variables, is globally defined by its local coordinate descriptions. It is a natural differential operator applied to the diffeomorphism invariant Lagrangian of the theory. △ Less

Submitted 23 February, 2019; v1 submitted 20 February, 2019; originally announced February 2019.

Shifting operators in geometric quantization

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: In a series of papers on Bohr-Sommerfeld-Heisenberg quantization of completely integrable systems we interpreted shifting operators as quantization of functions ${\mathrm{e}}^{ \pm iθ_j}$ , where $(I_j , θ_j )$ are action angle coordinates. The aim of this paper is to show how these operators occur in geometric quantization. In a series of papers on Bohr-Sommerfeld-Heisenberg quantization of completely integrable systems we interpreted shifting operators as quantization of functions ${\mathrm{e}}^{ \pm iθ_j}$ , where $(I_j , θ_j )$ are action angle coordinates. The aim of this paper is to show how these operators occur in geometric quantization. △ Less

Submitted 9 January, 2020; v1 submitted 12 August, 2018; originally announced August 2018.

Comments: This is a revised version. It focuses exclusively on shifting operators in Bohr-Sommerfeld theory of quantization of completely integrable Hamiltonian systems

MSC Class: 81S10

De Donder Construction for Higher Jets

Authors: Jedrzej Sniatycki, Reuven Segev

Abstract: In this paper, we generalize De Donder approach to construct boundary forms that depend on the adapted coordinate system used. In continuum mechanics, use of boundary forms leads to splitting of the total force acting on the body into body force and surface traction. Moreover, this splitting is independent of the choice of the boundary form used. In calculus of variations, use of boundary forms le… ▽ More In this paper, we generalize De Donder approach to construct boundary forms that depend on the adapted coordinate system used. In continuum mechanics, use of boundary forms leads to splitting of the total force acting on the body into body force and surface traction. Moreover, this splitting is independent of the choice of the boundary form used. In calculus of variations, use of boundary forms leads to equations in exterior differential forms that are equivalent to the Euler-Lagrange equations. Infinitesimal symmetries of the theory lead to conservation laws valid for any choice of the boundary form used. In an example, we show that the boundary conditions lead to independence of constants of motion of the choice of the boundary form. △ Less

Submitted 7 September, 2018; v1 submitted 9 August, 2018; originally announced August 2018.

MSC Class: 70S05; 70S20; 70H50; 49S05

Hyper-Stresses in $k$-Jet Field Theories

Authors: Reuven Segev, Jędrzej Śniatycki

Abstract: For high-order continuum mechanics and classical field theories configurations are modeled as sections of general fiber bundles and generalized velocities are modeled as variations thereof. Smooth stress fields are considered and it is shown that three distinct mathematical stress objects play the roles of the traditional stress tensor of continuum mechanics in Euclidean spaces. These objects are… ▽ More For high-order continuum mechanics and classical field theories configurations are modeled as sections of general fiber bundles and generalized velocities are modeled as variations thereof. Smooth stress fields are considered and it is shown that three distinct mathematical stress objects play the roles of the traditional stress tensor of continuum mechanics in Euclidean spaces. These objects are referred to as the variational hyper-stress, the traction hyper-stress and the non-holonomic stress. The properties of these three stress objects and the relations between them are studied. △ Less

Submitted 4 March, 2018; originally announced March 2018.

MSC Class: 74A10

On jets, almost symmetric tensors, and traction hyper-stresses

Authors: Reuven Segev, Jedrzej Sniatycki

Abstract: The paper considers the formulation of higher-order continuum mechanics on differentiable manifolds devoid of any metric or parallelism structure. For generalized velocities modeled as sections of some vector bundle, a variational kth order hyper-stress is an object that acts on jets of generalized velocities to produce power densities. The traction hyper-stress is introduced as an object that ind… ▽ More The paper considers the formulation of higher-order continuum mechanics on differentiable manifolds devoid of any metric or parallelism structure. For generalized velocities modeled as sections of some vector bundle, a variational kth order hyper-stress is an object that acts on jets of generalized velocities to produce power densities. The traction hyper-stress is introduced as an object that induces hyper-traction fields on the boundaries of subbodies. Additional aspects of multilinear algebra relevant to the analysis of these objects are reviewed. △ Less

Submitted 28 October, 2017; originally announced October 2017.

Comments: 23 pages

MSC Class: 74A10; 53Z05

Journal ref: Math. Mech. Compl. Sys. 6 (2018) 101-124

Differential spaces in integrable Hamiltonian systems

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: This paper uses differential spaces to obtain some new results in integrable Hamiltonian systems This paper uses differential spaces to obtain some new results in integrable Hamiltonian systems △ Less

Submitted 31 August, 2017; originally announced August 2017.

MSC Class: 70H06

Classical and quantum spherical pendulum

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: This paper extends the Bohr-Sommerfeld quantization of the spherical pendulum to a full quantum theory. This the first application of geometric quantization to a classical system with monodromy. This paper extends the Bohr-Sommerfeld quantization of the spherical pendulum to a full quantum theory. This the first application of geometric quantization to a classical system with monodromy. △ Less

Submitted 2 March, 2016; originally announced March 2016.

The continuous transition of Hamiltonian vector fields through manifolds of constant curvature

Authors: Florin Diacu, Slim Ibrahim, Jedrzej Sniatycki

Abstract: We ask whether Hamiltonian vector fields defined on spaces of constant Gaussian curvature $κ$ (spheres, for $κ>0$, and hyperbolic spheres, for $κ<0$), pass continuously through the value $κ=0$ if the potential functions $U_κ, κ\in\mathbb R$, that define them satisfy the property $\lim_{κ\to 0}U_κ=U_0$, where $U_0$ corresponds to the Euclidean case. We prove that the answer to this question is posi… ▽ More We ask whether Hamiltonian vector fields defined on spaces of constant Gaussian curvature $κ$ (spheres, for $κ>0$, and hyperbolic spheres, for $κ<0$), pass continuously through the value $κ=0$ if the potential functions $U_κ, κ\in\mathbb R$, that define them satisfy the property $\lim_{κ\to 0}U_κ=U_0$, where $U_0$ corresponds to the Euclidean case. We prove that the answer to this question is positive, both in the 2- and 3-dimensional cases, which are of physical interest, and then apply our conclusions to the gravitational $N$-body problem. △ Less

Submitted 21 October, 2015; originally announced October 2015.

Comments: 12 pages

Bohr-Sommerfeld-Heisenberg Quantization of the Mathematical Pendulum

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: In this paper we give the Bohr-Sommerfeld-Heisenberg quantization of the mathematical pendulum. In this paper we give the Bohr-Sommerfeld-Heisenberg quantization of the mathematical pendulum. △ Less

Submitted 30 November, 2021; v1 submitted 20 July, 2015; originally announced July 2015.

Comments: Errors in the appendix have been corrected

MSC Class: 81S10

Elastica as a dynamical system

Authors: Larry M. Bates, Robin Chhabra, Jedzrej Sniatycki

Abstract: The elastica is a curve in $\R^3$ that is stationary under variations of the integral of the square of the curvature. Elastica is viewed as a dynamical system that arises from the second order calculus of variations, and its quantization is discussed. The elastica is a curve in $\R^3$ that is stationary under variations of the integral of the square of the curvature. Elastica is viewed as a dynamical system that arises from the second order calculus of variations, and its quantization is discussed. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 55 pages

MSC Class: 70H50

Not-quite-Hamiltonian reduction

Authors: Larry Bates, Jedrzej Sniatycki

Abstract: The not-quite-Hamiltonian theory of singular reduction and reconstruction is described. This includes the notions of both regular and collective Hamiltonian reduction and reconstruction. The not-quite-Hamiltonian theory of singular reduction and reconstruction is described. This includes the notions of both regular and collective Hamiltonian reduction and reconstruction. △ Less

Submitted 12 March, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: 12 pages

On Bohr-Sommerfeld-Heisenberg Quantization

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: This paper presents the theory of Bohr-Sommerfeld-Heisenberg quantization of a completely integrable Hamiltonian system in the context of geometric quantization. The theory is illustrated with several examples. This paper presents the theory of Bohr-Sommerfeld-Heisenberg quantization of a completely integrable Hamiltonian system in the context of geometric quantization. The theory is illustrated with several examples. △ Less

Submitted 26 April, 2014; originally announced April 2014.

An extension of the Dirac theory of constraints

Authors: Larry Bates, Jedrzej Sniatycki

Abstract: Constructions introduced by Dirac for singular Lagrangians are extended and reinterpreted to cover cases when kernel distributions are either nonintegrable or of nonconstant rank, and constraint sets need not be closed. Constructions introduced by Dirac for singular Lagrangians are extended and reinterpreted to cover cases when kernel distributions are either nonintegrable or of nonconstant rank, and constraint sets need not be closed. △ Less

Submitted 19 July, 2013; originally announced July 2013.

Comments: 30 pages

MSC Class: 70H45

Polite actions of non-compact Lie groups

Authors: Larry Bates, Jedrzej Sniatycki

Abstract: Based mainly on examples of interest in mechanics, we define the notion of a polite group action. One may view this as not only trying to give a more general notion than properness of a group action, but also to more fully understand the role of invariant functions in describing just about everything of interest in reduction. We show that a polite action of a symmetry group of a dynamical system… ▽ More Based mainly on examples of interest in mechanics, we define the notion of a polite group action. One may view this as not only trying to give a more general notion than properness of a group action, but also to more fully understand the role of invariant functions in describing just about everything of interest in reduction. We show that a polite action of a symmetry group of a dynamical system admits reduction and reconstruction. △ Less

Submitted 20 July, 2013; v1 submitted 10 May, 2013; originally announced May 2013.

Comments: 9 pages

Bohr-Sommerfeld-Heisenberg Quantization of the 2-dimensional Harmonic Oscillator

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: We study geometric quantization of the harmonic oscillator in terms of a singular real polarization given by fibres of the energy momentum map. We study geometric quantization of the harmonic oscillator in terms of a singular real polarization given by fibres of the energy momentum map. △ Less

Submitted 18 July, 2016; v1 submitted 5 July, 2012; originally announced July 2012.

MSC Class: 81S10

Bohr-Sommerfeld-Heisenberg Theory in Geometric Quantization

Authors: Richard Cushman, Jedrzej Sniatycki

Abstract: In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal basis in the space of quantum states, but also give a lattice structure to this basis. This permits the definition of appropriate shifting operators. As exampl… ▽ More In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal basis in the space of quantum states, but also give a lattice structure to this basis. This permits the definition of appropriate shifting operators. As examples, we discuss the 1-dimensional harmonic oscillator and the coadjoint orbits of the rotation group. △ Less

Submitted 5 July, 2012; originally announced July 2012.

MSC Class: 81S10

Singular reduction of Dirac structures

Authors: Madeleine Jotz, Tudor S. Ratiu, Jedrzej Sniatycki

Abstract: The regular reduction of a Dirac manifold acted upon freely and properly by a Lie group is generalized to a nonfree action. For this, several facts about $G$-invariant vector fields and one-forms are shown. The regular reduction of a Dirac manifold acted upon freely and properly by a Lie group is generalized to a nonfree action. For this, several facts about $G$-invariant vector fields and one-forms are shown. △ Less

Submitted 17 October, 2011; v1 submitted 20 January, 2009; originally announced January 2009.

MSC Class: 70H45; 70G65; 70G45; 53D17; 53D99

Stratified Subcartesian Spaces

Authors: Lusala Tsasa, Jędrzej Śniatycki

Abstract: We show that, if the family \cal{O} of orbits of all vector fields on a subcartesian space P is locally finite and each orbit in \cal{O} is locally closed, then \cal{O} defines a smooth Whitney A stratification of P. We also show that the stratification by orbit type of the space M/G of orbits of a proper action of a Lie group G on a smooth manifold M is given by orbits of the family of all vect… ▽ More We show that, if the family \cal{O} of orbits of all vector fields on a subcartesian space P is locally finite and each orbit in \cal{O} is locally closed, then \cal{O} defines a smooth Whitney A stratification of P. We also show that the stratification by orbit type of the space M/G of orbits of a proper action of a Lie group G on a smooth manifold M is given by orbits of the family of all vector fields on M/G. △ Less

Submitted 30 May, 2008; originally announced May 2008.

Comments: 15 pages

MSC Class: 58A40; 57N80

Regular Points of a Subcartesian Space

Authors: Tsasa Lusala, Jȩdrzej Śniatycki, Jordan Watts

Abstract: We discuss properties of the regular part $S_{reg}$ of a subcartesian space $S$. We show that $S_{reg}$ is open and dense in $S$ and the restriction to $S_{reg}$ of the tangent bundle of $S$ is locally trivial. We discuss properties of the regular part $S_{reg}$ of a subcartesian space $S$. We show that $S_{reg}$ is open and dense in $S$ and the restriction to $S_{reg}$ of the tangent bundle of $S$ is locally trivial. △ Less

Submitted 29 September, 2008; v1 submitted 7 March, 2008; originally announced March 2008.

MSC Class: 58A40

Journal ref: Can. Math. Bull. 53 (2010) 340-346

Geometric Quantization of Algebraic Reduction

Authors: Jedrzej Sniatycki

Abstract: An analogue of geometric quantization of Poisson algebras obtained by algebraic reduction of symmetries is developed. Interpretation of the obtained results and their application to the problem of commutativity of quantization and reduction are given An analogue of geometric quantization of Poisson algebras obtained by algebraic reduction of symmetries is developed. Interpretation of the obtained results and their application to the problem of commutativity of quantization and reduction are given △ Less

Submitted 30 April, 2008; v1 submitted 26 September, 2006; originally announced September 2006.

Comments: 22 pages

MSC Class: 53D50

Singular reduction for nonlinear control systems

Authors: Jedrzej Sniatycki

Abstract: We discuss smooth nonlinear control systems with symmetry. For a free and proper action of the symmetry group, the reduction of symmetry gives rise to a reduced smooth nonlinear control system. If the action of the symmetry group is only proper, the reduced nonlinear control system need not be smooth. Using the smooth calculus on nonsmooth spaces, provided by the theory of differential spaces of… ▽ More We discuss smooth nonlinear control systems with symmetry. For a free and proper action of the symmetry group, the reduction of symmetry gives rise to a reduced smooth nonlinear control system. If the action of the symmetry group is only proper, the reduced nonlinear control system need not be smooth. Using the smooth calculus on nonsmooth spaces, provided by the theory of differential spaces of Sikorski, we prove a generalization of Sussmann's theorem on orbits of families of smooth vector fields. △ Less

Submitted 6 May, 2003; originally announced May 2003.

Comments: 13 pages

MSC Class: 58A40; 93B03

Orbits of families of vector fields on subcartesian spaces

Authors: J. Sniatycki

Abstract: Orbits of families of vector fields on a subcartesian space are shown to be smooth manifolds. This allows for a global description of a smooth geometric structure on a family of manifolds in terms of a single object defined on the corresponding family of vector fields. Stratified spaces, Poisson spaces and almost complex spaces are discussed. Orbits of families of vector fields on a subcartesian space are shown to be smooth manifolds. This allows for a global description of a smooth geometric structure on a family of manifolds in terms of a single object defined on the corresponding family of vector fields. Stratified spaces, Poisson spaces and almost complex spaces are discussed. △ Less

Submitted 30 June, 2003; v1 submitted 13 November, 2002; originally announced November 2002.

Comments: 34 pages

MSC Class: Primary 58A40; Secondary 58F05; 32C15