Current Search: Manifolds Mathematics (x)
View All Items
- Title
- FORMATION, EVOLUTION, AND BREAKDOWN OF INVARIANT TORI IN DISSIPATIVE SYSTEMS: FROM VISUALIZATION TO COMPUTER ASSISTED PROOFS.
- Creator
- Fleurantin, Emmanuel, Mireles-James, Jason, Florida Atlantic University, Department of Mathematical Sciences, Charles E. Schmidt College of Science
- Abstract/Description
-
The goal of this work is to study smooth invariant sets using high order approximation schemes. Whenever possible, existence of invariant sets are established using computer-assisted proofs. This provides a new set of tools for mathematically rigorous analysis of the invariant objects. The dissertation focuses on application of these tools to a family of three dimensional dissipative vector fields, derived from the normal form of a cusp-Hopf bifurcation. The vector field displays a Neimark...
Show moreThe goal of this work is to study smooth invariant sets using high order approximation schemes. Whenever possible, existence of invariant sets are established using computer-assisted proofs. This provides a new set of tools for mathematically rigorous analysis of the invariant objects. The dissertation focuses on application of these tools to a family of three dimensional dissipative vector fields, derived from the normal form of a cusp-Hopf bifurcation. The vector field displays a Neimark-Sacker bifurcation giving rise to an attracting invariant torus. We examine the torus via parameter continuation from its appearance to its breakdown, scrutinizing its dynamics between these events. We also study the embeddings of the stable/unstable manifolds of the hyperbolic equilibrium solutions over this parameter range. We focus on the role of the invariant manifolds as transport barriers and their participation in global bifurcations. We then study the existence and regularity properties for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations and lay out a constructive method of computer assisted proof which pertains to explicit problems in non-perturbative regimes. We get verifiable lower bounds on the regularity of the attractor in terms of the ratio of the expansion rate on the torus with the contraction rate near the torus. We look at two important cases of rotational and resonant tori. Finally, we study the related problem of approximating two dimensional subcenter manifolds of conservative systems. As an application, we compare two methods for computing the Taylor series expansion of the graph of the subcenter manifold near a saddle-center equilibrium solution of a Hamiltonian system.
Show less - Date Issued
- 2021
- PURL
- http://purl.flvc.org/fau/fd/FA00013812
- Subject Headings
- Invariants, Manifolds (Mathematics), Dynamical systems
- Format
- Document (PDF)
- Title
- Structured flows on manifolds: distributed functional architectures.
- Creator
- Pillai, Ajay S., Florida Atlantic University, Charles E. Schmidt College of Science, Center for Complex Systems and Brain Sciences
- Abstract/Description
-
Despite the high-dimensional nature of the nervous system, humans produce low-dimensional cognitive and behavioral dynamics. How high-dimensional networks with complex connectivity give rise to functionally meaningful dynamics is not well understood. How does a neural network encode function? How can functional dynamics be systematically obtained from networks? There exist few frameworks in the current literature that answer these questions satisfactorily. In this dissertation I propose a...
Show moreDespite the high-dimensional nature of the nervous system, humans produce low-dimensional cognitive and behavioral dynamics. How high-dimensional networks with complex connectivity give rise to functionally meaningful dynamics is not well understood. How does a neural network encode function? How can functional dynamics be systematically obtained from networks? There exist few frameworks in the current literature that answer these questions satisfactorily. In this dissertation I propose a general theoretical framework entitled 'Structured Flows on Manifolds' and its underlying mathematical basis. The framework is based on the principles of non-linear dynamical systems and Synergetics and can be used to understand how high-dimensional systems that exhibit multiple time-scale behavior can produce low-dimensional dynamics. Low-dimensional functional dynamics arises as a result of the timescale separation of the systems component's dynamics. The low-dimensional space in which the functi onal dynamics occurs is regarded as a manifold onto which the entire systems dynamics collapses. For the duration of the function the system will stay on the manifold and evolve along the manifold. From a network perspective the manifold is viewed as the product of the interactions of the network nodes. The subsequent flows on the manifold are a result of the asymmetries of network's interactions. A distributed functional architecture based on this perspective is presented. Within this distributed functional architecture, issues related to networks such as flexibility, redundancy and robustness of the network's dynamics are addressed. Flexibility in networks is demonstrated by showing how the same network can produce different types of dynamics as a function of the asymmetrical coupling between nodes. Redundancy can be achieved by systematically creating different networks that exhibit the same dynamics. The framework is also used to systematically probe the effects of lesion, (removal of nodes) on network dynamics. It is also shown how low-dimensional functional dynamics can be obtained from firing-rate neuron models by placing biologically realistic constraints on the coupling. Finally the theoretical framework is applied to real data. Using the structured flows on manifolds approach we quantify team performance and team coordination and develop objective measures of team performance based on skill level.
Show less - Date Issued
- 2008
- PURL
- http://purl.flvc.org/FAU/77649
- Subject Headings
- Manifolds (Mathematics), Differentiable dynamical systems, Mathematical physics
- Format
- Document (PDF)
- Title
- HOMOCLINIC DYNAMICS IN A SPATIAL RESTRICTED FOUR BODY PROBLEM.
- Creator
- Murray, Maxime, James, Jason Mireles, Florida Atlantic University, Department of Mathematical Sciences, Charles E. Schmidt College of Science
- Abstract/Description
-
The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four body problem admits certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection, or homoclinic web. In this thesis, the planar restricted four body problem is viewed as an invariant subsystem of the spatial problem, and the influence of this planar homoclinic skeleton on the spatial dynamics is studied from a numerical point of view....
Show moreThe set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four body problem admits certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection, or homoclinic web. In this thesis, the planar restricted four body problem is viewed as an invariant subsystem of the spatial problem, and the influence of this planar homoclinic skeleton on the spatial dynamics is studied from a numerical point of view. Starting from the vertical Lyapunov families emanating from saddle focus equilibria, we compute the stable/unstable manifolds of these spatial periodic orbits and look for intersections between these manifolds near the fundamental planar homoclinics. In this way, we are able to continue all of the basic planar homoclinic motions into the spatial problem as homoclinics for appropriate vertical Lyapunov orbits which, by the Smale Tangle theorem, suggest the existence of chaotic motions in the spatial problem. While the saddle-focus equilibrium solutions in the planar problems occur only at a discrete set of energy levels, the cycle-to-cycle homoclinics in the spatial problem are robust with respect to small changes in energy. The method uses high order Fourier-Taylor and Chebyshev series approximations in conjunction with the parameterization method, a general functional analytic framework for invariant manifolds. Tools that admit a natural notion of a-posteriori error analysis. Finally, we develop and implement a validation algorithm which we later use to obtain Theorems confirming the existence of homoclinic dynamics. This approach, known as the Radii polynomial, is a contraction mapping argument which can be applied to both the parameterized manifold and the Chebyshev arcs. When the Theorem applies, it guarantees the existence of a true solution near the approximation and it provides an upper bound on the C0 norm of the truncation error.
Show less - Date Issued
- 2021
- PURL
- http://purl.flvc.org/fau/fd/FA00013758
- Subject Headings
- Boundary value problems, Invariant manifolds, Applied mathematics
- Format
- Document (PDF)
- Title
- SOLVING V.I. ARNOLD’S PROBLEM ABOUT ASYMPTOTIC ENUMERATION OF MORSE FUNCTIONS ON THE 2-SPHERE: A COMBINATORIAL AND ANALYTIC APPROACH WITH COMPUTER ASSISTED PROOFS.
- Creator
- Dhakal, Bishal, Mireles-James, Jason, Florida Atlantic University, Department of Mathematical Sciences, Charles E. Schmidt College of Science
- Abstract/Description
-
The goal of this dissertation is to estimate the precise asymptotics for the number of geometric equivalence classes of Morse functions on the 2-sphere. Our approach involves utilizing the Lagrange inversion formula, Cauchy’s coefficient formula, and the saddle point method for the asymptotic analysis of contour integrals to analyze the generating function derived by L. Nicolaescu, expressed as the inverse of an elliptic integral. We utilize complex analysis, nonlinear functional analysis in...
Show moreThe goal of this dissertation is to estimate the precise asymptotics for the number of geometric equivalence classes of Morse functions on the 2-sphere. Our approach involves utilizing the Lagrange inversion formula, Cauchy’s coefficient formula, and the saddle point method for the asymptotic analysis of contour integrals to analyze the generating function derived by L. Nicolaescu, expressed as the inverse of an elliptic integral. We utilize complex analysis, nonlinear functional analysis in infinite sequence spaces, and interval arithmetic to write all the necessary MATLAB programs that validate our results. This work answers questions posed by Arnold and Nicolaescu, furthering our understanding of the topological properties of Morse functions on two-dimensional manifolds. It also demonstrates the effectiveness of a computer assisted approach for asymptotic analysis.
Show less - Date Issued
- 2023
- PURL
- http://purl.flvc.org/fau/fd/FA00014264
- Subject Headings
- Manifolds (Mathematics), Morse theory, Combinatorial analysis
- Format
- Document (PDF)
- Title
- On projected planes.
- Creator
- Caliskan, Cafer., Charles E. Schmidt College of Science, Department of Mathematical Sciences
- Abstract/Description
-
This work was motivated by the well-known question: "Does there exist a nondesarguesian projective plane of prime order?" For a prime p 1, determine all subplanes of order p up to collineations, and check whether one of these is non-desarguesian." In this manuscript we use a group-theoretic methodology to determine the subplane structures of some non-desarguesian planes. In particular, we determine orbit representatives of all proper Q-subplanes both of a Veblen-Wedderburn (VW) plane of...
Show moreThis work was motivated by the well-known question: "Does there exist a nondesarguesian projective plane of prime order?" For a prime p < 11, there is only the pappian plane of order p. Hence, such planes are indeed desarguesian. Thus, it is of interest to examine whether there are non-desarguesian planes of order 11. A suggestion by Ascher Wagner in 1985 was made to Spyros S. Magliveras: "Begin with a non-desarguesian plane of order pk, k > 1, determine all subplanes of order p up to collineations, and check whether one of these is non-desarguesian." In this manuscript we use a group-theoretic methodology to determine the subplane structures of some non-desarguesian planes. In particular, we determine orbit representatives of all proper Q-subplanes both of a Veblen-Wedderburn (VW) plane of order 121 and of the Hughes plane of order 121, under their full collineation groups. In PI, there are 13 orbits of Baer subplanes, all of which are desarguesian, and approximately 3000 orbits of Fano subplanes. In Sigma , there are 8 orbits of Baer subplanes, all of which are desarguesian, 2 orbits of subplanes of order 3, and at most 408; 075 distinct Fano subplanes. In addition to the above results, we also study the subplane structures of some non-desarguesian planes, such as the Hall plane of order 25, the Hughes planes of order 25 and 49, and the Figueora planes of order 27 and 125. A surprising discovery by L. Puccio and M. J. de Resmini was the existence of a plane of order 3 in the Hughes plane of order 25. We generalize this result, showing that there are subplanes of order 3 in the Hughes planes of order q2, where q is a prime power and q 5 (mod 6). Furthermore, we analyze the structure of the full collineation groups of certain Veblen- Wedderburn (VW) planes of orders 25, 49 and 121, and discuss how to recover the planes from their collineation groups.
Show less - Date Issued
- 2010
- PURL
- http://purl.flvc.org/FAU/1927609
- Subject Headings
- Projected planes, Combinatorial designs and configurations, Surfaces, Algebraic, Manifolds (Mathematics)
- Format
- Document (PDF)
- Title
- On the geometric quantization of symplectic Lie group actions.
- Creator
- Fischer, Bernd Rudolf, Florida Atlantic University, Schroeck, Franklin E.
- Abstract/Description
-
A general method for the geometric quantization of connected and simply connected symplectic manifolds and the lifting of symplectic Lie group actions is developed. In particular, a geometric construction of multipliers for a Lie group based on the action of the group on a potential of the symplectic form on the manifold is given. These methods are then employed to quantize the 'massive' symplectic homogeneous spaces of the Galilei group and the group action, thereby emphazising the affine...
Show moreA general method for the geometric quantization of connected and simply connected symplectic manifolds and the lifting of symplectic Lie group actions is developed. In particular, a geometric construction of multipliers for a Lie group based on the action of the group on a potential of the symplectic form on the manifold is given. These methods are then employed to quantize the 'massive' symplectic homogeneous spaces of the Galilei group and the group action, thereby emphazising the affine structure of the group and deriving a novel form of phase space representations. In the case of nonzero spin we quantize the action of the covering group of the Galilei group. We derive the spin bundles needed from frame bundles over spheres equipped with their natural Levi Civita connection. Furthermore we give a new geometric description of the 'massless' symplectic homogeneous spaces (the coadjoint orbits) of the Galilei group including a description of the group actions and the symplectic forms. We then describe their geometric quantization as well as the lifting of the group action.
Show less - Date Issued
- 1995
- PURL
- http://purl.flvc.org/fcla/dt/12413
- Subject Headings
- Symplectic manifolds, Group schemes (Mathematics), Lie groups, Geometry, Differential
- Format
- Document (PDF)