SearcharxivSearch

arXiv subjects

Vladimir Dragovic

Publications and source records attributed to Vladimir Dragovic.

At least 19 recordsLinked to original sources

The Weighted Walks in Quadrant with Finite Groups: an Algebro-Geometric Approach

We classify weighted small-step lattice walks in the quadrant whose associated birational group is finite. Using an algebro-geometric description of the kernel curves and Cayley-type finite-order conditions, we relate the group $G_W$ of a walk to the family of groups $\Gamma_t$ acting on its kernel curves. Together with the uniform upper bound on the order of $G_W$, this allows us to analyse all possible finite orders. We obtain explicit necessary and sufficient conditions for the group to have order 4, 6, 8, or 10, and prove that no weighted walk in the quadrant has a group of order 12. This yields a complete classification of weighted quadrant walks with finite groups.

math.CO

Heavy rigid body with a gyroscope in $\mathbb R^n$

Starting from the following multidimensional integrable generalizations of the heavy rigid body systems: the Euler top, the Lagrange top, the Lagrange bitop, and the totally symmetric case, we add to each of them a gyroscope. For each of the newly constructed systems, we provide a polynomial matrix Lax representation and prove Liouville integrability.

math-ph

Deformations of the Hill curves and isoperiodicity in the KdV and the sine-Gordon equations

We consider a family of genus $g$ hyperelliptic curves as double ramified coverings over the Riemann sphere with the set of branch points of the form $\{0, \infty, x_1, \dots, x_g, u_1, \dots, u_g\}$. The branch point at infinity $P_\infty$ is selected to be a marked point on the Riemann surfaces. A meromorphic differential $\Omega$ with a unique pole being of order two at $P_\infty$, is completely defined by the values of half of its periods, the $a$-periods. Fixing values of $a$-periods of $\Omega$, we then find a continuous subfamily in the considered family of hyperelliptic curves along which all the periods of $\Omega$ are constant. This subfamily is defined by the functions $u_j(x_1, \dots, x_g)$, while $x_1, \dots, x_g$ are independent parameters. We derive a system of differential equations for the functions $u_j(x_1, \dots, x_g)$, which, remarkably, has rational coefficients. We call this subfamily the isoperiodic deformations of the hyperelliptic curves relative to the given differential of the second kind $\Omega.$ We deduce necessary and sufficient conditions for the existence and uniqueness of isoperiodic deformations. We discuss reality conditions as well. Using the obtained results, we solve the following problem for the Korteweg-de Vries and sine-Gordon equations: starting from an algebro-geometric data which generate a real periodic solution of a period $T$, how to deform the data, so that the associated solutions remain periodic with the same period $T$.

math.AG

Poncelet porism in singular cases

The celebrated Poncelet porism is usually studied for a pair of smooth conics that are in a general position. Here we discuss Poncelet porism in the real plane - affine or projective, when that is not the case, i.e. the conics have at least one point of tangency or at least one of the conics is not smooth. In all such cases, we find necessary and sufficient conditions for the existence of an n-gon inscribed in one of the conics and circumscribed about the other.

math.AG

Integrability of homogeneous exact magnetic flows on spheres

We consider motion of a material point placed in a constant homogeneous magnetic field in $\mathbb R^n$ and also motion restricted to the sphere $S^{n-1}$. While there is an obvious integrability of the magnetic system in $\mathbb R^n$, the integrability of the system restricted to the sphere $S^{n-1}$ is highly non-trivial. We prove complete integrability of the obtained restricted magnetic systems for $n\le 6$. The first integrals of motion of the magnetic flows on the spheres $S^{n-1}$, for $n=5$ and $n=6$, are polynomials of the degree $1$, $2$, and $3$ in momenta. We prove noncommutative integrability of the obtained magnetic flows for any $n\ge 7$ when the systems allow a reduction to the cases with $n\le 6$. We conjecture that the restricted magnetic systems on $S^{n-1}$ are integrable for all $n$.

math.DG

Gyroscopic Chaplygin systems and integrable magnetic flows on spheres

We introduce and study the Chaplygin systems with gyroscopic forces. This natural class of nonholonomic systems has not been treated before. We put a special emphasis on the important subclass of such systems with magnetic forces. The existence of an invariant measure and the problem of Hamiltonization are studied, both within the Lagrangian and the almost-Hamiltonian framework. In addition, we introduce problems of rolling of a ball with the gyroscope without slipping and twisting over a plane and over a sphere in $\mathbb R^n$ as examples of gyroscopic $SO(n)$--Chaplygin systems. We describe an invariant measure and provide examples of $SO(n-2)$--symmetric systems (ball with gyroscope) that allow the Chaplygin Hamiltonization. In the case of additional $SO(2)$--symmetry we prove that the obtained magnetic geodesic flows on the sphere $S^{n-1}$ are integrable. In particular, we introduce the generalized Demchenko case in $\mathbb R^n$, where the inertia operator of the system is proportional to the identity operator. The reduced systems are automatically Hamiltonian and represent the magnetic geodesic flows on the spheres $S^{n-1}$ endowed with the round-sphere metric, under the influence of a homogeneous magnetic field. The magnetic geodesic flow problem on the two-dimensional sphere is well known, but for $n>3$ was not studied before. We perform explicit integrations in elliptic functions of the systems for $n=3$ and $n=4$, and provide the case study of the solutions in both situations.

math-ph

Resonance of ellipsoidal billiard trajectories and extremal rational functions

We study resonant billiard trajectories within quadrics in the $d$-dimensional Euclidean space. We relate them to the theory of approximation, in particular the extremal rational functions on the systems of $d$ intervals on the real line. This fruitful link enables us to prove fundamental properties of the billiard dynamics and to provide a comprehensive study of a large class of non-periodic trajectories of integrable billiards. A key ingredient is a functional-polynomial relation of a generalized Pell type. Applying further these ideas and techniques to $s$-weak billiard trajectories, we come to a functional-polynomial relation of the same generalized Pell type.

math.DS

Spherical and planar ball bearings -- nonholonomic systems with invariant measures

We first construct nonholonomic systems of $n$ homogeneous balls $\mathbf B_1,\dots,\mathbf B_n$ with centers $O_1,...,O_n$ and with the same radius $r$ that are rolling without slipping around a fixed sphere $\mathbf S_0$ with center $O$ and radius $R$. In addition, it is assumed that a dynamically nonsymmetric sphere $\mathbf S$ of radius $R+2r$ and the center that coincides with the center $O$ of the fixed sphere $\mathbf S_0$ rolls without slipping over the moving balls $\mathbf B_1,\dots,\mathbf B_n$. We prove that these systems possess an invariant measure. As the second task, we consider the limit, when the radius $R$ tends to infinity. We obtain a corresponding planar problem consisting of $n$ homogeneous balls $\mathbf B_1,\dots,\mathbf B_n$ with centers $O_1,...,O_n$ and the same radius $r$ that are rolling without slipping over a fixed plane $Σ_0$, and a moving plane $Σ$ that moves without slipping over the homogeneous balls. We prove that this system possesses an invariant measure and that it is integrable in quadratures according to the Euler-Jacobi theorem.

math-ph

Billiard Ordered Games and Books

The aim of this work is to put together two novel concepts from the theory of integrable billiards: billiard ordered games and confocal billiard books. Billiard books appeared recently in the work of Fomenko's school, in particular of V. Vedyushkina. These more complex billiard domains are obtained by gluing planar sets bounded by arcs of confocal conics along common edges. Such domains are used in this paper to construct the configuration space for billiard ordered games. We analyse dynamical and topological properties of the systems obtained in that way.

math.DS

From formal to actual Puiseux series solutions of algebraic differential equations of first order

The existence, uniqueness and convergence of formal Puiseux series solutions of non-autonomous algebraic differential equations of first order at a nonsingular point of the equation is studied, including the case where the celebrated Painleve theorem cannot be applied explicitly for the study of convergence. Several examples illustrating relationships to the Painleve theorem and lesser-known Petrovic's results are provided.

math.CA

Integrable Billiards on a Minkowski Hyperboloid: Extremal Polynomials and Topology

We consider billiard systems within compact domains bounded by confocal conics on a hyperboloid of one sheet in the Minkowski space. We derive conditions for elliptic periodicity for such billiards. We describe the topology of those billiard systems in terms of Fomenko invariants. We provide then periodicity conditions in terms of functional Pell equations and related extremal polynomials. Several examples are computed in terms of elliptic functions and classical Chebyshev and Zolotarev polynomials, as extremal polynomials over one or two intervals. These results are contrasted with the cases of billiards in the Minkowski and the Euclidean planes.

math.DS

Demchenko's nonholonomic case of gyroscopic ball rolling without sliding over a sphere after his 1923 Belgrade doctoral thesis

We present an integrable nonholonomic case of rolling without sliding of a gyroscopic ball over a sphere. This case was introduced and studied in detail by Vasilije Demchenko in his 1923 doctoral dissertation defended at the University of Belgrade, with Anton Bilimovic as the advisor. These results are absolutely unknown to modern researchers. The study is based on the C. Neumann coordinates and the Voronec principle. By using involved technique of elliptic functions, a detailed study of motion is performed. Several special classes of trajectories are distinguished, including regular and pseudo-regular precessions. So-called remarkable trajectories, introduced by Paul Painleve and Anton Bilimovic, are described in the present case. The historic context as well as the place of the results in contemporary mechanics are outlined.

math.DS

Polygons of Petrovic and Fine, algebraic ODEs, and contemporary mathematics

Here, we study the genesis and evolution of geometric ideas and techniques in investigations of movable singularities of algebraic ordinary differential equations. This leads us to the work of Mihailo Petrovic on algebraic differential equations and in particular his geometric ideas captured in his polygon method from the last years of the XIXth century, which have been left completely unnoticed by the experts. This concept, also developed in a bit a different direction and independently by Henry Fine, generalizes the famous Newton-Puiseux polygonal method and applies to algebraic ODEs rather than algebraic equations. Although remarkable, the Petrovic legacy has been practically neglected in the modern literature, while the situation is less severe in the case of results of Fine. Thus, we study the development of the ideas of Petrovic and Fine and their places in contemporary mathematics.

math.CA

Periodic billiards within conics in the Minkowski plane and Akhiezer polynomials

We derive necessary and sufficient conditions for periodic and for elliptic periodic trajectories of billiards within an ellipse in the Minkowski plane in terms of an underlining elliptic curve. We provide several examples of periodic and elliptic periodic trajectories with small periods. We observe relationship between Cayley-type conditions and discriminantly separable and factorizable polynomials. Equivalent conditions for periodicity and elliptic periodicity are derived in terms of polynomial-functional equations as well. The corresponding polynomials are related to the classical extremal polynomials. In particular, the light-like periodic trajectories are related to the classical Chebyshev polynomials. The similarities and differences with respect to previously studied Euclidean case are indicated.

math.DS

Combinatorics of periodic ellipsoidal billiards

We study combinatorics of billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in d-dimensional Euclidean and pseudo-Euclidean spaces. Such partitions uniquely codify the sets of caustics, up to their types, which generate periodic trajectories. The period of a periodic trajectory is the largest part while the winding numbers are the remaining summands of the corresponding partition. In order to take into account the types of caustics as well, we introduce weighted partitions. We provide closed forms for the generating functions of these partitions.

math.CO

Periodic ellipsoidal billiard trajectories and extremal polynomials

A comprehensive study of periodic trajectories of billiards within ellipsoids in $d$-dimensional Euclidean space is presented. The novelty of the approach is based on a relationship established between periodic billiard trajectories and extremal polynomials on the systems of $d$ intervals on the real line. By leveraging deep, but yet not widely known results of the Krein-Levin-Nudelman theory of generalized Chebyshev polynomials, fundamental properties of billiard dynamics are proven for any $d$, viz., that the sequences of winding numbers are monotonic. By employing the potential theory we prove the injectivity of the frequency map. As a byproduct, for $d=2$ a new proof of the monotonicity of the rotation number is obtained. The case study of trajectories of small periods $T$, $d\le T\le 2d$ is given. In particular, it is proven that all $d$-periodic trajectories are contained in a coordinate-hyperplane and that for a given ellipsoid, there is a unique set of caustics which generates $d+1$-periodic trajectories. A complete catalog of billiard trajectories with small periods is provided for $d=3$.

math.DS

Caustics of Poncelet polygons and classical extremal polynomials

A comprehensive analysis of periodic trajectories of billiards within ellipses in the Euclidean plane is presented. The novelty of the approach is based on a relationship recently established by the authors between periodic billiard trajectories and extremal polynomials on the systems of $d$ intervals on the real line and ellipsoidal billiards in $d$-dimensional space. Even in the planar case, systematically studied in the present paper it leads to new results in characterizing $n$ periodic trajectories vs. so-called $n$ elliptic periodic trajectories, which are $n$-periodic in elliptical coordinates. The characterizations are done both in terms of the underlying elliptic curve and divisors on it and in terms of polynomial functional equations, like Pell's equation. This new approach also sheds light on some classical results. In particular we connect search for caustics which generate periodic trajectories with three classical classes of extremal polynomials on two intervals, introduced by Zolotarev and Akhiezer. The main classifying tool are winding numbers, for which we provide several interpretations, including one in terms of numbers of points of alternance of extremal polynomials. The latter implies important inequality between the winding numbers, which as a consequence, provides another proof of monotonicity of rotation numbers. A complete catalog of billiard trajectories with small periods is provided for $n=3, 4, 5, 6$ along with an effective search for caustics. As a byproduct, an intriguing connection between Cayle type conditions and discriminantly separable polynomials has been observed for all those small periods.

math.DS