Showing 1–28 of 28 results for author: Auckly, D

Counting Regions in Billiard Trajectories

Authors: Dave Auckly, Betsy Giles

Abstract: This paper explores the number of parallelograms that appear in a billiard path that enters one corner of a rectangle and leaves a second corner of a rectangle as a function of the normalized dimensions of the rectangle. This paper explores the number of parallelograms that appear in a billiard path that enters one corner of a rectangle and leaves a second corner of a rectangle as a function of the normalized dimensions of the rectangle. △ Less

Submitted 2 September, 2023; originally announced September 2023.

MSC Class: 05-01; 37C83

Smoothly knotted surfaces that remain distinct after many internal stabilizations

Authors: David Auckly

Abstract: Internal stabilization adds a trivial handle to an embedded surface in a coordinate chart. It is known that any pair of smoothly knotted surfaces in a simply-connected $4$-manifold become smoothly isotopic after sufficiently many internal stabilizations. In this paper, we show that there is no upper bound on the number of internal stabilizations required. In fact, this behavior is fairly generic.… ▽ More Internal stabilization adds a trivial handle to an embedded surface in a coordinate chart. It is known that any pair of smoothly knotted surfaces in a simply-connected $4$-manifold become smoothly isotopic after sufficiently many internal stabilizations. In this paper, we show that there is no upper bound on the number of internal stabilizations required. In fact, this behavior is fairly generic. The definition of a subtly smoothly knotted pair of surfaces is given and it is shown that many surfaces may be modified to obtain subtly knotted surfaces with large internal stabilization distance. Furthermore, it is shown that after stabilizing any $4$-manifold with contain topologically isotopic, smoothly related, non-isotopic copies of any $3$-manifold having a positive first betti number. △ Less

Submitted 30 July, 2023; originally announced July 2023.

MSC Class: 57K45; 57K40

Branched covering simply-connected 4-manifolds

Authors: David Auckly, R. Inanc Baykur, Roger Casals, Sudipta Kolay, Tye Lidman, Daniele Zuddas

Abstract: We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves Problem 4.113(C) in Kirby's list. We also discuss analogous results for other families of 4-manifolds with infinite fundamental groups. We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves Problem 4.113(C) in Kirby's list. We also discuss analogous results for other families of 4-manifolds with infinite fundamental groups. △ Less

Submitted 9 June, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 11 pages. Updated to reflect solution to Kirby Problem 4.113(C)

MSC Class: 57K43; 57M12

Journal ref: Open Book Series 5 (2022) 31-42

Folklore, the Borromean rings, the icosahedron, and three dimensions

Authors: Dave Auckly

Abstract: There is a relationship between the Borromean rings, the icosahedron and something called the Poincaré homology sphere. This relationship is explored in a wandering path that introduces fundamental ideas from topology and a geometric construction of an icosahedral compound of octahedra. This exploration results in proofs that the orientation-preserving symmetry group of an icosahedron is the alter… ▽ More There is a relationship between the Borromean rings, the icosahedron and something called the Poincaré homology sphere. This relationship is explored in a wandering path that introduces fundamental ideas from topology and a geometric construction of an icosahedral compound of octahedra. This exploration results in proofs that the orientation-preserving symmetry group of an icosahedron is the alternating group of five symbols, the fact that the Borromean rings are linked, and background related to the Poincaré conjecture. This is an exposition of known results aimed at undergraduates. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: This version has color images. The published version will be in black and white

MSC Class: 57; 52

On non-orientable surfaces in 4-manifolds

Authors: David Auckly, Rustam Sadykov

Abstract: We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Kim-Melvin-Ruberman-Schwartz "one is enough" theorem to the case of non-orientable… ▽ More We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Kim-Melvin-Ruberman-Schwartz "one is enough" theorem to the case of non-orientable surfaces. △ Less

Submitted 12 April, 2021; v1 submitted 26 August, 2018; originally announced August 2018.

Comments: The proof of the non-orientable version of the light-bulb theorem was revised. This version of the paper has been accepted for publication by the Journal of Topology

Equivariant hyperbolization of $3$-manifolds via homology cobordisms

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite… ▽ More The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite groups. Second, any finite group that acts on a homology $3$-sphere also acts on a hyperbolic homology $3$-sphere. The theorem has other applications, including establishing the existence of an infinite number of hyperbolic homology spheres with a free $Z_p$ action that does not extend to any contractible manifold. A non-equivariant version yields an infinite number of hyperbolic integer homology spheres that bound integer homology balls but do not bound contractible manifolds. In passing, it is shown that the invertible homology cobordism relation on $3$-manifolds is antisymmetric. △ Less

Submitted 22 September, 2020; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 24 pages, 7 figures. Version 2: many revisions and corrections

MSC Class: 57M50; 57M60

Isotopy of surfaces in 4-manifolds after a single stabilization

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman, Hannah Schwartz

Abstract: Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. △ Less

Submitted 10 August, 2017; originally announced August 2017.

Equivariant Corks

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Comments: 9 pages, 3 figures

MSC Class: 57N13

Journal ref: Algebr. Geom. Topol. 17 (2017) 1771-1783

Stable isotopy in four dimensions

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links… ▽ More We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links, all of whose corresponding proper sublinks are smoothly isotopic, that become smoothly isotopic after stabilizing. △ Less

Submitted 11 November, 2014; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 24 pages; many color figures; Updated version: 25 pages; minor expository changes; to appear in Journal London Mathematical Society

MSC Class: 57R55 (Primary); 57N13; 57R52 (Secondary)

Triangles, Rotation, a Theorem and the Jackpot

Authors: Dave Auckly

Abstract: This is an expository paper designed to introduce undergraduates to the Atiyah-Singer index theorem 50 years after its announcement. It includes motivation, a statement of the theorem, an outline of the easy part of the heat equation proof. It includes counting lattice points and knot concordance as applications. This is an expository paper designed to introduce undergraduates to the Atiyah-Singer index theorem 50 years after its announcement. It includes motivation, a statement of the theorem, an outline of the easy part of the heat equation proof. It includes counting lattice points and knot concordance as applications. △ Less

Submitted 2 January, 2013; originally announced January 2013.

Two Fold Branched Covers

Authors: Dave Auckly

Abstract: Many three dimensional manifolds are two-fold branched covers of the three dimensional sphere. However, there are some that are not. This paper includes exposition about two-fold branched covers and many examples. It shows that there are three dimensional homology spheres that do not two-fold branched cover any manifold, ones that only two-fold branched cover the three dimensional sphere, ones tha… ▽ More Many three dimensional manifolds are two-fold branched covers of the three dimensional sphere. However, there are some that are not. This paper includes exposition about two-fold branched covers and many examples. It shows that there are three dimensional homology spheres that do not two-fold branched cover any manifold, ones that only two-fold branched cover the three dimensional sphere, ones that just two-fold branched cover a non-trivial manifold, and ones that two-fold branched cover the sphere and non-trivial manifolds. When a manifold is surgery on a knot, the possible quotients via involutions generically correspond to quotients of the knot. There can however be a finite number of surgeries for which there are exceptional additional symmetries. The included proof of this result follows the proof of Thurston's Dehn surgery theorem. The paper also includes examples of such exceptional symmetries. Since the quotients follow the behavior of knots a census of the behavior for knots with less than eleven crossings is included. △ Less

Submitted 20 March, 2014; v1 submitted 26 December, 2012; originally announced December 2012.

Comments: Accepted Version

The Pontrjagin-Hopf invariants for Sobolev maps

Authors: Dave Auckly, Lev Kapitanski

Abstract: Subtle issues arise when extending homotopy invariants to spaces of functions having little regularity, e.g., Sobolev spaces containing discontinuous functions. Sometimes it is not possible to extend the invariant at all, and sometimes, even when the formulas defining the invariants make sense, they may not have expected properties (e.g., there are maps having non-integral degree). In this pap… ▽ More Subtle issues arise when extending homotopy invariants to spaces of functions having little regularity, e.g., Sobolev spaces containing discontinuous functions. Sometimes it is not possible to extend the invariant at all, and sometimes, even when the formulas defining the invariants make sense, they may not have expected properties (e.g., there are maps having non-integral degree). In this paper we define a complete set of homotopy invariants for maps from 3-manifolds to the 2-sphere and show that these invariants extend to finite Faddeev energy maps and maps in suitable Sobolev spaces. For smooth maps, our description is proved to be equivalent to Pontrjagin's original homotopy classification from the 1930's. We further show that for the finite energy maps the invariants take on exactly the same values as for smooth maps. We include applications to the Faddeev model. The techniques that we use would also apply to many more problems and/or other functionals. We have tried to make the paper accessible to analysts, geometers and mathematical physicists. △ Less

Submitted 4 November, 2007; originally announced November 2007.

Comments: submitted

MSC Class: 57R57; 58D99

Introduction to the Gopakumar-Vafa Large N Duality

Authors: Dave Auckly, Sergiy Koshkin

Abstract: Gopakumar-Vafa large N duality is a correspondence between Chern-Simons invariants of a link in a 3-manifold and relative Gromov-Witten invariants of a 6-dimensional symplectic manifold relative to a Lagrangian submanifold. We address the correspondence between the Chern-Simons free energy of S^3 with no link and the Gromov-Witten invariant of the resolved conifold in great detail. This case avo… ▽ More Gopakumar-Vafa large N duality is a correspondence between Chern-Simons invariants of a link in a 3-manifold and relative Gromov-Witten invariants of a 6-dimensional symplectic manifold relative to a Lagrangian submanifold. We address the correspondence between the Chern-Simons free energy of S^3 with no link and the Gromov-Witten invariant of the resolved conifold in great detail. This case avoids mathematical difficulties in formulating a definition of relative Gromov-Witten invariants, but includes all of the important ideas. There is a vast amount of background material related to this duality. We make a point of collecting all of the background material required to check this duality in the case of the 3-sphere, and we have tried to present the material in a way complementary to the existing literature. This paper contains a large section on Gromov-Witten theory and a large section on quantum invariants of 3-manifolds. It also includes some physical motivation, but for the most part it avoids physical terminology. △ Less

Submitted 13 March, 2009; v1 submitted 20 January, 2007; originally announced January 2007.

Comments: This is the version published by Geometry & Topology Monographs on 21 September 2007

MSC Class: 81T45; 14N35; 17B37; 57M27; 81T30

Journal ref: Geom. Topol. Monogr. 8 (2006) 195-456

The number of smooth 4-manifolds with a fixed complexity

Authors: Dave Auckly

Abstract: One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In this paper we prove that the number of diffeomorphism classes grows at least as fast as $n^{c\sqrt[3]{n}}$. Along the way we construct complete kirby diagrams… ▽ More One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In this paper we prove that the number of diffeomorphism classes grows at least as fast as $n^{c\sqrt[3]{n}}$. Along the way we construct complete kirby diagrams for a large family of knot surgery manifolds. △ Less

Submitted 18 June, 2007; v1 submitted 9 January, 2007; originally announced January 2007.

Comments: Schematics of Kirby diagrams for the knot surgery manifolds were replaced with actual Kirby diagrams, and minor errors were fixed

Fermionic quantization and configuration spaces for the Skyrme and Faddeev-Hopf models

Authors: Dave Auckly, Martin Speight

Abstract: The fundamental group and rational cohomology of the configuration spaces of the Skyrme and Faddeev-Hopf models are computed. Physical space is taken to be a compact oriented 3-manifold, either with or without a marked point representing an end at infinity. For the Skyrme model, the codomain is any Lie group, while for the Faddeev-Hopf model it is $S^2$. It is determined when the topology of con… ▽ More The fundamental group and rational cohomology of the configuration spaces of the Skyrme and Faddeev-Hopf models are computed. Physical space is taken to be a compact oriented 3-manifold, either with or without a marked point representing an end at infinity. For the Skyrme model, the codomain is any Lie group, while for the Faddeev-Hopf model it is $S^2$. It is determined when the topology of configuration space permits fermionic and isospinorial quantization of the solitons of the model within generalizations of the frameworks of Finkelstein-Rubinstein and Sorkin. Fermionic quantization of Skyrmions is possible only if the target group contains a symplectic or special unitary factor, while fermionic quantization of Hopfions is always possible. Geometric interpretations of the results are given. △ Less

Submitted 31 October, 2004; originally announced November 2004.

Journal ref: Commun.Math.Phys. 263 (2006) 173-216

Totally real origami and impossible paper folding

Authors: David Auckly, John Cleveland

Abstract: This paper gives one set of axioms for origami constructions, and describes the set of constructible points under these axioms. The determination of the set of cunstructible points for this particular set of axioms is related to Hilbert's 17 th problem. This paper gives one set of axioms for origami constructions, and describes the set of constructible points under these axioms. The determination of the set of cunstructible points for this particular set of axioms is related to Hilbert's 17 th problem. △ Less

Submitted 9 July, 2004; originally announced July 2004.

Comments: This is an old paper that is being posted now to allow for better electronic acess

MSC Class: 51-01

Journal ref: Amer. Math. Monthly 102 (1995), no. 3, 215--226

Analysis of the Faddeev model

Authors: Dave Auckly, Lev Kapitanski

Abstract: In this paper we consider a generalization of the Faddeev model for the maps from a closed three-manifold into the two-sphere. We give a novel representation of smooth $ S^2$-valued maps based on flat connections. This representation allows us to obtain an analytic description of the homotopy classes of $ S^2$-valued maps that generalizes to Sobolev maps. It also leads to a new proof an old theo… ▽ More In this paper we consider a generalization of the Faddeev model for the maps from a closed three-manifold into the two-sphere. We give a novel representation of smooth $ S^2$-valued maps based on flat connections. This representation allows us to obtain an analytic description of the homotopy classes of $ S^2$-valued maps that generalizes to Sobolev maps. It also leads to a new proof an old theorem of Pontrjagin. For the generalized Faddeev model, we prove the existence of minimizers in every homotopy class. △ Less

Submitted 13 March, 2004; originally announced March 2004.

Solving the quartic with a pencil

Authors: Dave Auckly

Abstract: This expository paper presents the general solution of a quartic equation as a jump off point to introduce Lefschetz fibrations. It should be accessible to a broad audience. This expository paper presents the general solution of a quartic equation as a jump off point to introduce Lefschetz fibrations. It should be accessible to a broad audience. △ Less

Submitted 26 January, 2007; v1 submitted 28 October, 2003; originally announced October 2003.

Comments: final version

Journal ref: American Math Monthly 114:1 (2007) 29--39

Topologically knoted Lagrangians in simply connected four manifolds

Authors: Dave Auckly

Abstract: Vidussi was the first to construct knotted Lagrangian tori in simply connected four dimensional manifolds. Fintushel and Stern introduced a second way to detect such knotting.This note demonstrates that similar examples may be distinguished by the fundamental group of the exterior. Vidussi was the first to construct knotted Lagrangian tori in simply connected four dimensional manifolds. Fintushel and Stern introduced a second way to detect such knotting.This note demonstrates that similar examples may be distinguished by the fundamental group of the exterior. △ Less

Submitted 7 October, 2003; originally announced October 2003.

MSC Class: 53D12

Holonomy and Skyrme's model

Authors: Dave Auckly, Lev Kapitanski

Abstract: In this paper we consider two generalizations of the Skyrme model. One is a variational problem for maps from a compact three-manifold to a compact Lie group. The other is a variational problem for flat connections. We describe the path components of the configuration spaces of smooth fields for each of the variational problems. We prove that the invariants separating the path components are wel… ▽ More In this paper we consider two generalizations of the Skyrme model. One is a variational problem for maps from a compact three-manifold to a compact Lie group. The other is a variational problem for flat connections. We describe the path components of the configuration spaces of smooth fields for each of the variational problems. We prove that the invariants separating the path components are well-defined for (not necessarily smooth) fields with finite Skyrme energy. We prove that for every possible value of these invariants there exists a minimizer of the Skyrme functional. Throughout the paper we emphasize the importance of holonomy in the Skyrme model. Some of the results may be useful in other contexts. In particular, we define the holonomy of a distributionally flat $ L^2_{loc} $ connection; the local develo** maps for such connections need not be continuous. △ Less

Submitted 7 November, 2002; originally announced November 2002.

MSC Class: 79xxx

Journal ref: Commun.Math.Phys. 240 (2003) 97-122

On the lambda-equations for matching control laws

Authors: Dave Auckly, Lev Kapitanski

Abstract: We discuss matching control laws for underactuated systems. We previously showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables followed by a linear system of first order PDEs for a second set of variables. Here we derive a new first order system of partial differential equations that… ▽ More We discuss matching control laws for underactuated systems. We previously showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables followed by a linear system of first order PDEs for a second set of variables. Here we derive a new first order system of partial differential equations that encodes all compatibility conditions for the lambda-equations. We give four examples illustrating different features of matching control laws. The last example is a system with two unactuated degrees of freedom that admits only basic solutions to the matching equations. There are systems with many matching control laws where only basic solutions are potentially useful. We introduce a rank condition indicating when this is likely to be the case. △ Less

Submitted 9 August, 2001; originally announced August 2001.

MSC Class: 93C10

Families of four dimensional manifolds that become mutually diffeomorphic after one stabilization

Authors: D. Auckly

Abstract: In this paper, we will introduce a cut and paste move, called a geometrically null log transform, and prove that any two manifolds related by a sequence of these moves become diffeomorphic afte r one stabilization. To motivate the cut and paste move, we will use the symplec tic fiber sum, and a construction of Fintushel and Stern to construct several large families of 4-manifolds. We will then p… ▽ More In this paper, we will introduce a cut and paste move, called a geometrically null log transform, and prove that any two manifolds related by a sequence of these moves become diffeomorphic afte r one stabilization. To motivate the cut and paste move, we will use the symplec tic fiber sum, and a construction of Fintushel and Stern to construct several large families of 4-manifolds. We will then proceed to prove that the members of any one of these families become diffeomorphic after one stabilization. Finally, we will compute the Seiberg-Witten invariants of each member of each of the families. △ Less

Submitted 29 September, 2000; originally announced September 2000.

Comments: 23 pages, 30 figures

Matching, linear systems, and the ball and beam

Authors: Fedor Andreev, David Auckly, Lev Kapitanski, Shekhar Gosavi, Atul Kelkar, Warren White

Abstract: A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. This basic idea is used in several papers already. In this paper, we will describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems,… ▽ More A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. This basic idea is used in several papers already. In this paper, we will describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems, we will present the results from an experiment on a ball and beam system. △ Less

Submitted 8 November, 2002; v1 submitted 17 June, 2000; originally announced June 2000.

Comments: An image of the apparatus may be downloaded from http://www.math.ksu.edu/~dav/

Matching and digital control implementation for underactuated systems

Authors: F. Andreev, D. Auckly, L. Kapitanski, A. G. Kelkar, W. N. White

Abstract: This note describes two problems related to the digital implementation of control laws in the infinite dimensional family of matching control laws, namely state estimation and sampled data induced error. The entire family of control laws is written for an inverted pendulum cart. Numerical simulations which include sampled data and a state estimator are presented for one of the control laws in th… ▽ More This note describes two problems related to the digital implementation of control laws in the infinite dimensional family of matching control laws, namely state estimation and sampled data induced error. The entire family of control laws is written for an inverted pendulum cart. Numerical simulations which include sampled data and a state estimator are presented for one of the control laws in this family. △ Less

Submitted 29 March, 2000; originally announced March 2000.

MSC Class: 34H05

Matching control laws for a ball and beam system

Authors: F. Andreev, D. Auckly, L. Kapitanski, A. Kelkar, W. White

Abstract: This note describes a method for generating an infinite-dimensional family of nonlinear control laws for underactuated systems. For a ball and beam system, the entire family is found explicitly. This note describes a method for generating an infinite-dimensional family of nonlinear control laws for underactuated systems. For a ball and beam system, the entire family is found explicitly. △ Less

Submitted 27 March, 2000; originally announced March 2000.

MSC Class: 34H05

Mathematical Problems in the Control of Underactuated Systems

Authors: David Auckly, Lev Kapitanski

Abstract: In this paper we will discuss problems and techniques related to underactuated systems. We give a mathematical formulation of several problems arising from applications, review some standard and new techniques, and pose some interesting and challenging open questions. In this paper we will discuss problems and techniques related to underactuated systems. We give a mathematical formulation of several problems arising from applications, review some standard and new techniques, and pose some interesting and challenging open questions. △ Less

Submitted 25 October, 1999; originally announced October 1999.

Comments: 15 pages, 5 figures

MSC Class: 34H05

Control of nonlinear underactuated systems

Authors: Dave Auckly, Lev Kapitanski, Warren White

Abstract: In this paper we introduce a new method to design control laws for non-linear underactuated systems. Our method produces an infinite dimensional family of control laws, whereas most control techniques only produce a finite dimensional family. These control laws each come with a natural Lyapunov function. The inverted pendulum cart is used as an example. In addition, we construct an abstract syst… ▽ More In this paper we introduce a new method to design control laws for non-linear underactuated systems. Our method produces an infinite dimensional family of control laws, whereas most control techniques only produce a finite dimensional family. These control laws each come with a natural Lyapunov function. The inverted pendulum cart is used as an example. In addition, we construct an abstract system which is open loop unstable and cannot be stabilized using any linear control law, and demonstrate that our method produces a stabilizing control law. △ Less

Submitted 29 January, 1999; originally announced January 1999.

Comments: 17 pages

A topological method to compute spectral flow

Authors: Dave Auckly

Abstract: This paper describes a topological method to compute the spectral flow of a family of twisted Dirac operators, it includes two detailed examples. Briefly, a formula of Atiyah, Patodi and Singer expresses the spectral flow in terms of Chern-Simons invariants and rho invariants. The first step is to construct a flat cobordism to a new bigger 3-manifold. The advantage of the new connection is that… ▽ More This paper describes a topological method to compute the spectral flow of a family of twisted Dirac operators, it includes two detailed examples. Briefly, a formula of Atiyah, Patodi and Singer expresses the spectral flow in terms of Chern-Simons invariants and rho invariants. The first step is to construct a flat cobordism to a new bigger 3-manifold. The advantage of the new connection is that it is in the path component of a reducible connection. The second step is to calculate the effect of these operations on the invariants. The final step is an application of the G-signature theorem to compute the invariants. △ Less

Submitted 3 December, 1997; originally announced December 1997.

Comments: 25 pages

Report number: MSRI 1996-071