Showing 1–19 of 19 results for author: Clelland, J N

Dynamic Feedback Linearization of Control Systems with Symmetry

Authors: Jeanne N. Clelland, Taylor J. Klotz, Peter J. Vassiliou

Abstract: Control systems of interest are often invariant under Lie groups of transformations. For such control systems, a geometric framework based on Lie symmetry is formulated, and from this a sufficient condition for dynamic feedback linearizability obtained. Additionally, a systematic procedure for obtaining all the smooth, generic system trajectories is shown to follow from the theory. Besides smoothn… ▽ More Control systems of interest are often invariant under Lie groups of transformations. For such control systems, a geometric framework based on Lie symmetry is formulated, and from this a sufficient condition for dynamic feedback linearizability obtained. Additionally, a systematic procedure for obtaining all the smooth, generic system trajectories is shown to follow from the theory. Besides smoothness and the existence of symmetry, no further assumption is made on the local form of a control system, which is therefore permitted to be fully nonlinear and time varying. Likewise, no constraints are imposed on the local form of the dynamic compensator. Particular attention is given to the consideration of geometric (coordinate independent) structures associated to control systems with symmetry. To show how the theory is applied in practice we work through illustrative examples of control systems, including the vertical take-off and landing system, demonstrating the significant role that Lie symmetry plays in dynamic feedback linearization. Besides these, a number of more elementary pedagogical examples are discussed as an aid to reading the paper. The constructions have been automated in the Maple package DifferentialGeometry. △ Less

Submitted 1 July, 2024; v1 submitted 8 March, 2021; originally announced March 2021.

MSC Class: 53A55; 58A17; 58A30; 93C10

Journal ref: SIGMA 20 (2024), 058, 49 pages

Flat Metrics with a Prescribed Derived Coframing

Authors: Robert L. Bryant, Jeanne N. Clelland

Abstract: The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $Ω= \big(Ω^1,Ω^2,Ω^3\big)$ of closed $2$-forms. One wants to construct a coframing $ω= \big(ω^1,ω^2,ω^3\big)$ of $M$ such that, first, ${\rm d}ω^i = Ω^i$ for $i=1,2,3$, and, second, the Riemannian metric $g=\big(ω^1\big)^2+\big(ω^2\big)^2+\big(ω^3\big)^2$ be flat. We show that, in the 'nonsingular case', i.e., when the… ▽ More The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $Ω= \big(Ω^1,Ω^2,Ω^3\big)$ of closed $2$-forms. One wants to construct a coframing $ω= \big(ω^1,ω^2,ω^3\big)$ of $M$ such that, first, ${\rm d}ω^i = Ω^i$ for $i=1,2,3$, and, second, the Riemannian metric $g=\big(ω^1\big)^2+\big(ω^2\big)^2+\big(ω^3\big)^2$ be flat. We show that, in the 'nonsingular case', i.e., when the three $2$-forms $Ω^i_p$ span at least a $2$-dimensional subspace of $Λ^2(T^*_pM)$ and are real-analytic in some $p$-centered coordinates, this problem is always solvable on a neighborhood of $p\in M$, with the general solution $ω$ depending on three arbitrary functions of two variables. Moreover, the characteristic variety of the generic solution $ω$ can be taken to be a nonsingular cubic. Some singular situations are considered as well. In particular, we show that the problem is solvable locally when $Ω^1$, $Ω^2$, $Ω^3$ are scalar multiples of a single 2-form that do not vanish simultaneously and satisfy a nondegeneracy condition. We also show by example that solutions may fail to exist when these conditions are not satisfied. △ Less

Submitted 20 January, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

MSC Class: 53A55; 53B15

Journal ref: SIGMA 16 (2020), 004, 23 pages

Beltrami fields with nonconstant proportionality factor

Authors: Jeanne N. Clelland, Taylor Klotz

Abstract: We consider the question raised by Enciso and Peralta-Salas in [4] (see arXiv:1402.6825): What nonconstant functions $f$ can occur as the proportionality factor for a Beltrami field $\mathbf{u}$ on an open subset $U \subset \mathbb{R}^3$? We also consider the related question: For any such $f$, how large is the space of associated Beltrami fields? By applying Cartan's method of moving frames and t… ▽ More We consider the question raised by Enciso and Peralta-Salas in [4] (see arXiv:1402.6825): What nonconstant functions $f$ can occur as the proportionality factor for a Beltrami field $\mathbf{u}$ on an open subset $U \subset \mathbb{R}^3$? We also consider the related question: For any such $f$, how large is the space of associated Beltrami fields? By applying Cartan's method of moving frames and the theory of exterior differential systems, we are able to improve upon the results given in [4]. In particular, the answer to the second question depends crucially upon the geometry of the level surfaces of $f$. We conclude by giving a complete classification of Beltrami fields that possess either a translation symmetry or a rotation symmetry. △ Less

Submitted 5 February, 2019; originally announced February 2019.

Comments: 28 pages

MSC Class: 35A01; 35A02; 35N10; 37C10; 58A15

Dynamic Equivalence of Control Systems and Infinite Permutation Matrices

Authors: Jeanne N. Clelland, Yuhao Hu, Matthew W. Stackpole

Abstract: To each dynamic equivalence of two control systems is associated an infinite permutation matrix. We investigate how such matrices are related to the existence of dynamic equivalences. To each dynamic equivalence of two control systems is associated an infinite permutation matrix. We investigate how such matrices are related to the existence of dynamic equivalences. △ Less

Submitted 26 August, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

MSC Class: 34H05; 58A15; 58A17

Journal ref: SIGMA 15 (2019), 063, 16 pages

A counterexample to Matsumoto's conjecture regarding absolute length vs. relative length in Finsler manifolds

Authors: Jeanne N. Clelland

Abstract: Matsumoto conjectured that for any Finsler manifold $(M, F)$ for which the restriction of the fundamental tensor to the indicatrix of $F$ is positive definite, the absolute length $F(X)$ of any tangent vector $X \in T_xM$ is the global minimum for the relative length $|X|_y$ as $y$ varies along the indicatrix $I_x \subset T_xM$ of $F$. In this note, we disprove this conjecture by presenting a coun… ▽ More Matsumoto conjectured that for any Finsler manifold $(M, F)$ for which the restriction of the fundamental tensor to the indicatrix of $F$ is positive definite, the absolute length $F(X)$ of any tangent vector $X \in T_xM$ is the global minimum for the relative length $|X|_y$ as $y$ varies along the indicatrix $I_x \subset T_xM$ of $F$. In this note, we disprove this conjecture by presenting a counterexample. △ Less

Submitted 23 January, 2018; originally announced January 2018.

Comments: 6 pages; 3 figures

Geometry of Centroaffine Surfaces in $\mathbb{R}^5$

Authors: Nathaniel Bushek, Jeanne N. Clelland

Abstract: We use Cartan's method of moving frames to compute a complete set of local invariants for nondegenerate, 2-dimensional centroaffine surfaces in $\mathbb{R}^5 \setminus \{0\}$ with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class. We use Cartan's method of moving frames to compute a complete set of local invariants for nondegenerate, 2-dimensional centroaffine surfaces in $\mathbb{R}^5 \setminus \{0\}$ with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class. △ Less

Submitted 6 January, 2015; v1 submitted 18 August, 2014; originally announced August 2014.

Journal ref: SIGMA 11 (2015), 001, 24 pages

Geometric characterization and classification of Bäcklund transformations of sine-Gordon type

Authors: Jeanne N. Clelland, Thomas A. Ivey

Abstract: We begin by considering several properties commonly (but not universally) possessed by Bäcklund transformations between hyperbolic Monge-Ampère equations: wavelike nature of the underlying equations, preservation of independent variables, quasilinearity of the transformation, and autonomy of the transformation. We show that, while these properties all appear to depend on the formulation of both th… ▽ More We begin by considering several properties commonly (but not universally) possessed by Bäcklund transformations between hyperbolic Monge-Ampère equations: wavelike nature of the underlying equations, preservation of independent variables, quasilinearity of the transformation, and autonomy of the transformation. We show that, while these properties all appear to depend on the formulation of both the underlying PDEs and the Bäcklund transformation in a particular coordinate system, in fact they all have intrinsic geometric meaning, independent of any particular choice of local coordinates. Next, we consider the problem of classifying Bäcklund transformations with these properties. We show that, apart from a family of transformations between Monge-integrable equations, there exists only a finite-dimensional family of such transformations, including the well-known family of Bäcklund transformations for the sine-Gordon equation. The full extent of this family is not yet determined, but our analysis has uncovered previously unknown transformations among generalizations of Liouville's equation. △ Less

Submitted 23 August, 2018; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 37 pages

MSC Class: 37K35; 35L10 (Primary); 58A15; 53C10 (Secondary)

A characterization of hyperbolic affine flat, affine minimal surfaces in $\mathbb{A}^3$

Authors: Jeanne N. Clelland, Jonah M. Miller

Abstract: We investigate the geometric properties of hyperbolic affine flat, affine minimal surfaces in the equiaffine space $\mathbb{A}^3$. We use Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of such surfaces and construct new examples. We investigate the geometric properties of hyperbolic affine flat, affine minimal surfaces in the equiaffine space $\mathbb{A}^3$. We use Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of such surfaces and construct new examples. △ Less

Submitted 1 August, 2013; originally announced August 2013.

Comments: 15 pages

MSC Class: Primary(53A15); Secondary(58A15)

A solvable string on a Lorentzian surface

Authors: Jeanne N. Clelland, Peter J. Vassiliou

Abstract: It is shown that there are nonlinear sigma models which are Darboux integrable and possess a solvable Vessiot group in addition to those whose Vessiot groups are central extensions of semi-simple Lie groups. They govern harmonic maps between Minkowski space $\mathbb{R}^{1,1}$ and certain complete, non-constant curvature 2-metrics. The solvability of the Vessiot group permits a reduction of the gen… ▽ More It is shown that there are nonlinear sigma models which are Darboux integrable and possess a solvable Vessiot group in addition to those whose Vessiot groups are central extensions of semi-simple Lie groups. They govern harmonic maps between Minkowski space $\mathbb{R}^{1,1}$ and certain complete, non-constant curvature 2-metrics. The solvability of the Vessiot group permits a reduction of the general Cauchy problem to quadrature. We treat the specific case of harmonic maps from Minkowski space into a non-constant curvature Lorentzian 2-metric, $\boldsymbolλ$. Despite the completeness of $\boldsymbolλ$ we exhibit a Cauchy problem with real analytic initial data which blows up in finite time. We also derive a hyperbolic Weierstrass representation formula for all harmonic maps from $\mathbb{R}^{1,1}$ into $\boldsymbolλ$. △ Less

Submitted 1 April, 2013; v1 submitted 1 March, 2013; originally announced March 2013.

The geometry of lightlike surfaces in Minkowski space

Authors: Brian Carlsen, Jeanne N. Clelland

Abstract: We investigate the geometric properties of lightlike surfaces in the Minkowski space $\R^{2,1}$, using Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of lightlike surfaces of constant type in $\R^{2,1}$ and construct new examples of such surfaces. We investigate the geometric properties of lightlike surfaces in the Minkowski space $\R^{2,1}$, using Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of lightlike surfaces of constant type in $\R^{2,1}$ and construct new examples of such surfaces. △ Less

Submitted 27 February, 2013; originally announced February 2013.

Strings attached: New light on an old problem

Authors: Jeanne N. Clelland, Peter J. Vassiliou

Abstract: The wave equation $u_{tt} = c^2 u_{xx}$ is generally regarded as a linear approximation to the equation describing the amplitude of a transversely vibrating elastic string in the plane. But, as is shown in \cite{BC96}, the assumption of transverse vibration in fact implies that the wave equation describes the vibration precisely, with no need for approximation. We give a simplified proof of this r… ▽ More The wave equation $u_{tt} = c^2 u_{xx}$ is generally regarded as a linear approximation to the equation describing the amplitude of a transversely vibrating elastic string in the plane. But, as is shown in \cite{BC96}, the assumption of transverse vibration in fact implies that the wave equation describes the vibration precisely, with no need for approximation. We give a simplified proof of this result, and we generalize to the case of an elastic string vibrating (transversely or not) in a Riemannian surface $M$. In the more general setting, the assumption of transverse vibration is replaced by the assumption of "perfect elasticity," and we show that the wave map equation $\nabla_{\bu_t} \bu_t = c^2 \nabla_{\bu_x} \bu_x$ gives a precise description of the vibration of a perfectly elastic string in $M$, with no need for approximation. Finally, we give examples describing the motion of various vibrating strings in $\R^2$, $S^2$, and $\mathbb{H}^2$. △ Less

Submitted 21 March, 2013; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: Minor revision: minor change in terminology, added Remark 3.3, additional references

Geometry of Optimal Control for Control-Affine Systems

Authors: Jeanne N. Clelland, Christopher G. Moseley, George R. Wilkens

Abstract: Motivated by the ubiquity of control-affine systems in optimal control theory, we investigate the geometry of point-affine control systems with metric structures in dimensions two and three. We compute local isometric invariants for point-affine distributions of constant type with metric structures for systems with 2 states and 1 control and systems with 3 states and 1 control, and use Pontryagin'… ▽ More Motivated by the ubiquity of control-affine systems in optimal control theory, we investigate the geometry of point-affine control systems with metric structures in dimensions two and three. We compute local isometric invariants for point-affine distributions of constant type with metric structures for systems with 2 states and 1 control and systems with 3 states and 1 control, and use Pontryagin's maximum principle to find geodesic trajectories for homogeneous examples. Even in these low dimensions, the behavior of these systems is surprisingly rich and varied. △ Less

Submitted 17 April, 2013; v1 submitted 5 June, 2012; originally announced June 2012.

MSC Class: 58A30; 53C17

Journal ref: SIGMA 9 (2013), 034, 31 pages

Totally quasi-umbilic timelike surfaces in $\mathbb{R}^{1,2}$

Authors: Jeanne N. Clelland

Abstract: For a regular surface in Euclidean space $\mathbb{R}^3$, umbilic points are precisely the points where the Gauss and mean curvatures $K$ and $H$ satisfy $H^2=K$; moreover, it is well-known that the only totally umbilic surfaces in $\mathbb{R}^3$ are planes and spheres. But for timelike surfaces in Minkowski space $\mathbb{R}^{1,2}$, it is possible to have $H^2=K$ at a non-umbilic point; we call su… ▽ More For a regular surface in Euclidean space $\mathbb{R}^3$, umbilic points are precisely the points where the Gauss and mean curvatures $K$ and $H$ satisfy $H^2=K$; moreover, it is well-known that the only totally umbilic surfaces in $\mathbb{R}^3$ are planes and spheres. But for timelike surfaces in Minkowski space $\mathbb{R}^{1,2}$, it is possible to have $H^2=K$ at a non-umbilic point; we call such points {\em quasi-umbilic}, and we give a complete classification of totally quasi-umbilic timelike surfaces in $\mathbb{R}^{1,2}$. △ Less

Submitted 5 November, 2010; v1 submitted 22 June, 2010; originally announced June 2010.

Comments: 19 pages

Geometry of Control-Affine Systems

Authors: Jeanne N. Clelland, Christopher G. Moseley, George R. Wilkens

Abstract: Motivated by control-affine systems in optimal control theory, we introduce the notion of a point-affine distribution on a manifold X - i.e., an affine distribution F together with a distinguished vector field contained in F. We compute local invariants for point-affine distributions of constant type when dim(X)=n, rank(F)=n-1, and when dim(X)=3, rank(F)=1. Unlike linear distributions, which are… ▽ More Motivated by control-affine systems in optimal control theory, we introduce the notion of a point-affine distribution on a manifold X - i.e., an affine distribution F together with a distinguished vector field contained in F. We compute local invariants for point-affine distributions of constant type when dim(X)=n, rank(F)=n-1, and when dim(X)=3, rank(F)=1. Unlike linear distributions, which are characterized by integer-valued invariants - namely, the rank and growth vector - when dim(X)<=4, we find local invariants depending on arbitrary functions even for rank 1 point-affine distributions on manifolds of dimension 2. △ Less

Submitted 7 October, 2009; v1 submitted 30 March, 2009; originally announced March 2009.

MSC Class: 58A30; 53C17

Journal ref: SIGMA 5 (2009), 095, 28 pages

Backlund Transformations and Darboux Integrability for Nonlinear Wave Equations

Authors: Jeanne N. Clelland, Thomas A. Ivey

Abstract: We prove that second-order hyperbolic Monge-Ampere equations for one function of two variables are connected to the wave equation by a Backlund transformation if and only if they are integrable by the method of Darboux at second order. One direction of proof, proving Darboux integrability, follows the implications of the wave equation for the invariants of the G-structure associated to the Backl… ▽ More We prove that second-order hyperbolic Monge-Ampere equations for one function of two variables are connected to the wave equation by a Backlund transformation if and only if they are integrable by the method of Darboux at second order. One direction of proof, proving Darboux integrability, follows the implications of the wave equation for the invariants of the G-structure associated to the Backlund transformation. The other direction constructs Backlund transformations for Darboux integrable equations as solutions of an involutive exterior differential system. Explicit transformations are given for several equations on the Goursat-Vessiot list of Darboux-integrable equations. △ Less

Submitted 27 June, 2008; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 48 pages; submitted, in revised form, to Asian J. Math

MSC Class: 58A15; 58J72

Sub-Finsler geometry in dimension three

Authors: Jeanne N. Clelland, Christopher G. Moseley

Abstract: We define the notion of sub-Finsler geometry as a natural generalization of sub-Riemannian geometry with applications to optimal control theory. We compute a complete set of local invariants, geodesic equations, and the Jacobi operator for the three-dimensional case and investigate homogeneous examples. We define the notion of sub-Finsler geometry as a natural generalization of sub-Riemannian geometry with applications to optimal control theory. We compute a complete set of local invariants, geodesic equations, and the Jacobi operator for the three-dimensional case and investigate homogeneous examples. △ Less

Submitted 22 June, 2004; originally announced June 2004.

Comments: 29 pages, 4 figures

MSC Class: 53C17; 53B40; 49J15 (Primary) 58A15; 53C10 (Secondary)

Parametric Backlund transformations I: Phenomenology

Authors: Jeanne N. Clelland, Thomas A. Ivey

Abstract: We begin an exploration of parametric Backlund transformations for hyperbolic Monge-Ampere systems. We compute invariants for such transformations and explore the behavior of four examples regarding their invariants, symmetries, and conservation laws. We prove some preliminary results and indicate directions for further research. We begin an exploration of parametric Backlund transformations for hyperbolic Monge-Ampere systems. We compute invariants for such transformations and explore the behavior of four examples regarding their invariants, symmetries, and conservation laws. We prove some preliminary results and indicate directions for further research. △ Less

Submitted 5 August, 2002; originally announced August 2002.

Comments: 32 pages

MSC Class: 37K35; 35L10; 58A15; 53C10

Homogeneous Backlund transformations of hyperbolic Monge-Ampere systems

Authors: J. N. Clelland

Abstract: A Backlund transformation between two hyperbolic Monge-Ampere systems may be described as a certain type of exterior differential system on a 6-dimensional manifold B. The transformation is homogeneous if the group of symmetries of the system acts transitively on B. We give a complete classification of homogeneous Backlund transformations between hyperbolic Monge-Ampere systems. A Backlund transformation between two hyperbolic Monge-Ampere systems may be described as a certain type of exterior differential system on a 6-dimensional manifold B. The transformation is homogeneous if the group of symmetries of the system acts transitively on B. We give a complete classification of homogeneous Backlund transformations between hyperbolic Monge-Ampere systems. △ Less

Submitted 19 November, 2001; originally announced November 2001.

Comments: 51 pages, 2 figures, submitted to the Journal of Differential Geometry

MSC Class: 37K35; 35L10; 58A15; 53C10 (Primary) 53C30; 53B20; 53B30 (Secondary)

On the intermediate integral for Monge-Ampere equations

Authors: Jeanne Nielsen Clelland

Abstract: Goursat showed that in the presence of an intermediate integral, the problem of solving a second-order Monge-Ampere equation can be reduced to solving a first-order equation, in the sense that the generic solution of the first-order equation will also be a solution of the original equation. An attempt by Hermann to give a rigorous proof of this fact contains an error; we show that there exists a… ▽ More Goursat showed that in the presence of an intermediate integral, the problem of solving a second-order Monge-Ampere equation can be reduced to solving a first-order equation, in the sense that the generic solution of the first-order equation will also be a solution of the original equation. An attempt by Hermann to give a rigorous proof of this fact contains an error; we show that there exists an essentially unique counterexample to Hermann's assertion and state and prove a correct theorem. △ Less

Submitted 6 April, 1998; originally announced April 1998.

Comments: 5 pages

MSC Class: 35A30 (Primary); 58A15 (Secondary)