Computer-Assisted Proofs and Symbolic Computations

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.

Persistent localized states for a chaotically mixed bistable reaction

We describe the evolution of a bistable chemical reaction in a closed two-dimensional chaotic laminar flow, from a localized initial disturbance. When the fluid mixing is sufficiently slow, the disturbance may spread and eventually occupy the entire fluid domain. By contrast, rapid mixing tends to dilute the initial state and so extinguish the disturbance. Such a dichotomy is well known. However, we report here a hitherto apparently unremarked intermediate case, a persistent highly localized disturbance. Such a localized state arises when the Damkoehler number is great enough to sustain a "hot spot," but not so great as to lead to global spread. We show that such a disturbance is located in the neighborhood of an unstable periodic orbit of the flow, and we describe some limited aspects of its behavior using a reduced, lamellar model. Copyright American Physical Society (APS) 2006.

Neuronal networks with gap junctions: A study of piece-wise linear planar neuron models

The presence of gap junction coupling among neurons of the central nervous systems has been appreciated for some time now. In recent years there has been an upsurge of interest from the mathematical community in understanding the contribution of these direct electrical connections between cells to large-scale brain rhythms. Here we analyze a class of exactly soluble single neuron models, capable of producing realistic action potential shapes, that can be used as the basis for understanding dynamics at the network level. This work focuses on planar piece-wise linear models that can mimic the firing response of several different cell types. Under constant current injection the periodic response and phase response curve (PRC) is calculated in closed form. A simple formula for the stability of a periodic orbit is found using Floquet theory. From the calculated PRC and the periodic orbit a phase interaction function is constructed that allows the investigation of phase-locked network states using the theory of weakly coupled oscillators. For large networks with global gap junction connectivity we develop a theory of strong coupling instabilities of the homogeneous, synchronous and splay state. For a piece-wise linear caricature of the Morris-Lecar model, with oscillations arising from a homoclinic bifurcation, we show that large amplitude oscillations in the mean membrane potential are organized around such unstable orbits.

Pumped double quantum dot with spin-orbit coupling

We study driven by an external electric field quantum orbital and spin dynamics of electron in a one-dimensional double quantum dot with spin-orbit coupling. Two types of external perturbation are considered: a periodic field at the Zeeman frequency and a single half-period pulse. Spin-orbit coupling leads to a nontrivial evolution in the spin and orbital channels and to a strongly spin-dependent probability density distribution. Both the interdot tunneling and the driven motion contribute into the spin evolution. These results can be important for the design of the spin manipulation schemes in semiconductor nanostructures.

Nonexistence of looping trajectories in hydromagnetic waves of finite amplitude. Breaking of waves in a cold collision-free plasma in a magnetic field. On stabilities of periodic waves in a cold collision-free plasma in a magnetic field.

This dissertation consists of three parts. In Part I, it is shown that looping trajectories cannot exist in finite amplitude stationary hydromagnetic waves propagating across a magnetic field in a quasi-neutral cold collision-free plasma. In Part II, time-dependent solutions in series expansion are presented for the magnetic piston problem, which describes waves propagating into a quasi-neutral cold collision-free plasma, ensuing from magnetic disturbances on the boundary of the plasma. The expansion is equivalent to Picard's successive approximations. It is then shown that orbit crossings of plasma particles occur on the boundary for strong disturbances and inside the plasma for weak disturbances. In Part III, the existence of periodic waves propagating at an arbitrary angle to the magnetic field in a plasma is demonstrated by Stokes expansions in amplitude. Then stability analysis is made for such periodic waves with respect to side-band frequency disturbances. It is shown that waves of slow mode are unstable whereas waves of fast mode are stable if the frequency is below the cutoff frequency. The cutoff frequency depends on the propagation angle. For longitudinal propagation the cutoff frequency is equal to one-fourth of the electron's gyrofrequency. For transverse propagation the cutoff frequency is so high that waves of all frequencies are stable.

Spin states and persistent currents in mesoscopic rings: Spin-orbit interactions

We investigate theoretically electron spin states in one-dimensional and two-dimensional (2D) hard-wall mesoscopic rings in the presence of both the Rashba spin-orbit interaction (RSOI) and the Dresselhaus spin-orbit interaction (DSOI) in a perpendicular magnetic field. The Hamiltonian of the RSOI alone is mathematically equivalent to that of the DSOI alone using an SU(2) spin rotation transformation. Our theoretical results show that the interplay between the RSOI and DSOI results in an effective periodic potential, which consequently leads to gaps in the energy spectrum. This periodic potential also weakens and smoothens the oscillations of the persistent charge current and spin current and results in the localization of electrons. For a 2D ring with a finite width, higher radial modes destroy the periodic oscillations of persistent currents.

Spin-polarized transport in one-dimensional waveguide structures with spatially-periodic electronic and magnetic fields

We investigate theoretically the spin-polarized transport in one-dimensional waveguide structure with spatially-periodic electronic and magnetic fields. The interplay of the spin-orbit interaction and in-plane magnetic field significantly modifies the spin-dependent transmission and the spin polarization. The in-plane magnetic fields increase the strength of the Rashba spin-orbit coupling effect for the electric fields along y axis and decrease this effect for reversing the electric fields, even counteract the Rashba spin-orbit coupling effect. It is very interesting to find that we may deduce the strength of the Rashba effect through this phenomenon. (c) 2005 Elsevier Ltd. All rights reserved.

Families of periodic horseshoe orbits in the restricted three-body problem

We compute families of symmetric periodic horseshoe orbits in the restricted three-body problem. Both the planar and three-dimensional cases are considered and several families are found.We describe how these families are organized as well as the behavior along and among the families of parameters such as the Jacobi constant or the eccentricity. We also determine the stability properties of individual orbits along the families. Interestingly, we find stable horseshoe-shaped orbit up to the quite high inclination of 17◦

PERIODIC PERTURBATION of QUADRATIC SYSTEMS WITH TWO INFINITE HETEROCLINIC CYCLES

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Nonlinear two-field models from orbit equation deformations

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Periodic collisions between the moon Prometheus and Saturn's F ring

Saturn's F ring, which lies 3,400 km beyond the edge of the main ring system, was discovered by the Pioneer 11 spacecraft(1) in 1979. It is a narrow, eccentric ring which shows an unusual 'braided' appearance in several Voyager 1 images' obtained in 1980, although it appears more regular in images from Voyager 2 obtained nine months later(3). The discovery of the moons Pandora and Prometheus orbiting on either side of the ring provided a partial explanation for some of the observed features(4). Recent observations of Prometheus(5,6) by the Hubble Space Telescope show, surprisingly, that it is lagging behind its expected position by similar to 20 degrees. By modelling the dynamical evolution of the entire Prometheus-F ring-Pandora system, we show here that Prometheus probably encountered the core of the F ring in 1994 and that it may still be entering parts of the ring once per orbit. Collisions with objects in the F ring provide a plausible explanation for the observed lag and imply that the mass of the F ring is probably less than 25% that of Prometheus.

Gap solitons in a spin-orbit-coupled bose-einstein condensate

We report a diversity of stable gap solitons in a spin-orbit-coupled Bose-Einstein condensate subject to a spatially periodic Zeeman field. It is shown that the solitons can be classified by the main physical symmetries they obey, i.e., symmetries with respect to parity (P), time (T), and internal degree of freedom, i.e., spin (C), inversions. The conventional gap and gap-stripe solitons are obtained in lattices with different parameters. It is shown that solitons of the same type but obeying different symmetries can exist in the same lattice at different spatial locations. PT and CPT symmetric solitons have antiferromagnetic structure and are characterized, respectively, by nonzero and zero total magnetizations. © 2013 American Physical Society.

The dynamic behavior of a parametrically excited time-periodic MEMS taking into account parametric errors

Micro-electromechanical systems (MEMS) are micro scale devices that are able to convert electrical energy into mechanical energy or vice versa. In this paper, the mathematical model of an electronic circuit of a resonant MEMS mass sensor, with time-periodic parametric excitation, was analyzed and controlled by Chebyshev polynomial expansion of the Picard interaction and Lyapunov-Floquet transformation, and by Optimal Linear Feedback Control (OLFC). Both controls consider the union of feedback and feedforward controls. The feedback control obtained by Picard interaction and Lyapunov-Floquet transformation is the first strategy and the optimal control theory the second strategy. Numerical simulations show the efficiency of the two control methods, as well as the sensitivity of each control strategy to parametric errors. Without parametric errors, both control strategies were effective in maintaining the system in the desired orbit. On the other hand, in the presence of parametric errors, the OLFC technique was more robust.

Rashba spin-orbit interaction in a superlattice of quantum wires

In this work, we study the effects of a longitudinal periodic potential on a parabolic quantum wire defined in a two-dimensional electron gas with Rashba spin-orbit interaction. For an infinite wire superlattice we find, by direct diagonalization, that the energy gaps are shifted away from the usual Bragg planes due to the Rashba spin-orbit interaction. Interestingly, our results show that the location of the band gaps in energy can be controlled via the strength of the Rashba spin-orbit interaction. We have also calculated the charge conductance through a periodic potential of a finite length via the nonequilibrium Green's function method combined with the Landauer formalism. We find dips in the conductance that correspond well to the energy gaps of the infinite wire superlattice. From the infinite wire energy dispersion, we derive an equation relating the location of the conductance dips as a function of the (gate controllable) Fermi energy to the Rashba spin-orbit coupling strength. We propose that the strength of the Rashba spin-orbit interaction can be extracted via a charge conductance measurement.

All-sky Meteor Orbit System AMOS and preliminary analysis of three unusual meteor showers

All-sky Meteor Orbit System (AMOS) is a semi-autonomous video observatory for detection of transient events on the sky, mostly the meteors. Its hardware and software development and permanent placement on several locations in Slovakia allowed the establishment of Slovak Video Meteor Network (SVMN) monitoring meteor activity above the Central Europe. The data reduction, orbital determination and additional results from AMOS cameras–the SVMN database– as well as from observational expeditions on Canary Islands and in Canada provided dynamical and physical data for better understanding of mutual connections between parent bodies of asteroids and comets and their meteoroid streams. We present preliminary results on exceptional and rare meteor streams such as September ε Perseids (SPE) originated from unknown long periodic comet on a retrograde orbit, suspected asteroidal meteor stream of April α Comae Berenicids (ACO) in the orbit of meteorites Příbram and Neuschwanstein and newly observed meteor stream Camelopardalids (CAM) originated from Jupiter family comet 209P/Linear.