-
Sub-Riemannian geodesics on the Heisenberg 3D nil-manifold
Authors:
A. Glutsyuk,
Yu. Sachkov
Abstract:
We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold~$M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group.
First we describe dynamical properties of the geodesic flow for $M$: periodic and dense orbits, and a dynamical characterization of the normal Hamiltonian flow of Pontryagin maximum pr…
▽ More
We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold~$M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group.
First we describe dynamical properties of the geodesic flow for $M$: periodic and dense orbits, and a dynamical characterization of the normal Hamiltonian flow of Pontryagin maximum principle. Then we obtain sharp twoside bounds of sub-Riemannian balls and distance in~$G$, and on this basis we estimate the cut time for sub-Riemannian geodesics in $M$.
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
On Hamiltonian projective billiards on boundaries of products of convex bodies
Authors:
Alexey Glutsyuk
Abstract:
Let $K\subset\mathbb R^n_q$, $T\subset\mathbb R^n_p$ be two bounded strictly convex bodies (open subsets) with $C^6$-smooth boundaries. We consider the product $\overline K\times\overline T\subset\mathbb R^{2n}_{p,q}$ equipped with the standard symplectic form $ω=\sum_{j=1}^ndq_j\wedge dp_j$. The $(K,T)$-billiard orbits are continuous curves in the boundary $\partial(K\times T)$ whose intersection…
▽ More
Let $K\subset\mathbb R^n_q$, $T\subset\mathbb R^n_p$ be two bounded strictly convex bodies (open subsets) with $C^6$-smooth boundaries. We consider the product $\overline K\times\overline T\subset\mathbb R^{2n}_{p,q}$ equipped with the standard symplectic form $ω=\sum_{j=1}^ndq_j\wedge dp_j$. The $(K,T)$-billiard orbits are continuous curves in the boundary $\partial(K\times T)$ whose intersections with the open dense subset $(K\times\partial T)\cup(\partial K\times T)$ are tangent to the characteristic line field given by kernels of the restrictions of the symplectic form $ω$ to the tangent spaces to the boundary. For every $(q,p)\in K\times \partial T$ the characteristic line in $T_{(q,p)}\mathbb R^{2n}$ is directed by the vector $(\vec n(p),0)$, where $\vec n(p)$ is the exterior normal to $T_p\partial T$, and similar statement holds for $(q,p)\in\partial K\times T$. The projection of each $(K,T)$-billiard orbit to $K$ is an orbit of the so-called $T$-billiard in $K$. In the case, when $T$ is centrally-symmetric, this is the billiard in $\mathbb R^n_q$ equipped with Minkowski Finsler structure "dual to $T$", with Finsler reflection law introduced in a joint paper by S.Tabachnikov and E.Gutkin in 2002. Studying $(K,T)$-billiard orbits is closely related to C.Viterbo's Symplectic Isoperimetric Conjecture and the famous Mahler Conjecture in convex geometry. We study the special case, when the $T$-billiard reflection law is the projective law introduced by S.Tabachnikov, i.e., given by projective involutions of the projectivized tangent spaces $T_q\mathbb R^n$, $q\in\partial K$. We show that this happens, if and only if $T$ is an ellipsoid, or equivalently, if all the $T$-billiards are simultaneously affine equivalent to Euclidean billiards. As an application, we deduce analogous results for Finsler billiards.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
On extended model of Josephson junction, linear systems with polynomial solutions, determinantal surfaces and Painlevé 3 equations
Authors:
Alexey Glutsyuk
Abstract:
We consider a 3-parameter family of linear special double confluent Heun equations introduced and studied by V.M.Buchstaber and S.I.Tertychnyi, which is an equivalent presentation of a model of Josephson junction in superconductivity. Buchstaber and Tertychnyi have shown that the set of those complex parameters for which the Heun equation has a polynomial solution is a union of explicit planar alg…
▽ More
We consider a 3-parameter family of linear special double confluent Heun equations introduced and studied by V.M.Buchstaber and S.I.Tertychnyi, which is an equivalent presentation of a model of Josephson junction in superconductivity. Buchstaber and Tertychnyi have shown that the set of those complex parameters for which the Heun equation has a polynomial solution is a union of explicit planar algebraic curves: the spectral curves indexed by $\ell\in\mathbb N$. In his paper with I.V.Netay, the author has shown that each spectral curve is irreducible in Heun equation parameters (consists of two irreducible components in parameters of Josephson junction model). Netay discovered numerically and conjectured a genus formula for spectral curves. He reduced it to the conjecture stating that each of them is regular in $\mathbb C^2$ with a coordinate axis deleted. Here we prove Netay's regularity and genus conjectures. For the proof we study a 4-parameter extension of a family of linear systems equivalent to the Heun equations. They yield an equivalent presentation of the extension of model of Josephson junction introduced by the author in his paper with Yu.P.Bibilo. We describe the so-called determinantal surfaces consisting of linear systems with polynomial solutions as explicit algebraic surfaces indexed by $\ell\in\mathbb N$. The spectral curves are their intersections with the hyperplane of the initial Heun equation family. We prove that each determinantal surface is regular outside appropriate hyperplane and consists of two rational irreducible components. The proofs use Stokes phenomena theory, holomorphic vector bundle technique, foliation of determinantal surfaces by isomonodromic families of linear systems governed by Painlevé 3 equation and transversality of the latter foliation to the initial model.
△ Less
Submitted 12 June, 2024; v1 submitted 17 February, 2024;
originally announced February 2024.
-
On germs of constriction curves in model of overdamped Josephson junction, dynamical isomonodromic foliation and Painlevé 3 equation
Authors:
Alexey Glutsyuk
Abstract:
B.Josephson (Nobel Prize, 1973) predicted tunnelling effect for a system (called Josephson junction) of two superconductors separated by a narrow dielectric: existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by a family of differential equations on 2-torus depending on 3 parameters: $B$, $A$, $ω$. We study its rotation number…
▽ More
B.Josephson (Nobel Prize, 1973) predicted tunnelling effect for a system (called Josephson junction) of two superconductors separated by a narrow dielectric: existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by a family of differential equations on 2-torus depending on 3 parameters: $B$, $A$, $ω$. We study its rotation number $ρ(B,A;ω)$ as a function of parameters. The three-dimensional phase-lock areas are the level sets $L_r:=\{ρ=r\}$ with non-empty interiors; they exist for $r\in\mathbb Z$ (Buchstaber, Karpov, Tertychnyi). For every fixed $ω>0$ and $r\in\mathbb Z$ the planar slice $L_r\cap(\mathbb R^2_{B,A}\times\{ω\})$ is a garland of domains going vertically to infinity and separated by points; those separating points for which $A\neq0$ are called constrictions. In a joint paper by Yu.Bibilo and the author, it was shown that 1) at each constriction the rescaled abscissa $\ell:=\frac Bω$ is equal to $ρ$; 2) the family of constrictions with given $\ell\in\mathbb Z$ is an analytic submanifold $Constr_\ell$ in $(\mathbb R^2_+)_{a,s}$, $a=ω^{-1}$, $s=\frac Aω$. Here we show that the limit points of $Constr_\ell$ are $β_{\ell,k}=(0,s_{\ell,k})$, where $s_{\ell,k}>0$ are zeros of the Bessel function $J_\ell(s)$, and it lands at them regularly. Known numerical pictures show that high components of $Int(L_r)$ look similar. In his paper with Bibilo, the author introduced a candidate to the self-similarity map between neighbor components: the Poincaré map of the dynamical isomonodromic foliation governed by Painlevé 3 equation. Whenever well-defined, it preserves $ρ$. We show that the Poincaré map is well-defined on a neighborhood of the plane $\{ a=0\}\subset\mathbb R^2_{\ell,a}\times(\mathbb R_+)_s$, and it sends $β_{\ell,k}$ to $β_{\ell,k+1}$ for integer $\ell$.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
On rationally integrable planar dual multibilliards and piecewise smooth projective billiards
Authors:
Alexey Glutsyuk
Abstract:
The billiard flow in a planar domain acts on its tangent bundle as geodesic flow with reflections from the boundary. Its trivial first integral is the squared velocity. Bolotin's Conjecture, now a joint theorem of Bialy, Mironov and the author, deals with those planar billiards whose flow admits an integral polynomial in the velocity whose restriction to the unit tangent bundle is non-constant. It…
▽ More
The billiard flow in a planar domain acts on its tangent bundle as geodesic flow with reflections from the boundary. Its trivial first integral is the squared velocity. Bolotin's Conjecture, now a joint theorem of Bialy, Mironov and the author, deals with those planar billiards whose flow admits an integral polynomial in the velocity whose restriction to the unit tangent bundle is non-constant. It states that 1) if the boundary of such a billiard is $C^2$-smooth, nonlinear and connected, then it is a conic; 2) if it is piecewise $C^2$-smooth and contains a nonlinear arc, then it consists of arcs of conics from a confocal pencil and segments of "admissible lines" for the pencil; 3) the minimal degree of the integral is either 2, or 4. In 1997 Sergei Tabachnikov introduced projective billiards: planar curves equipped with a transversal line field, defining reflection of oriented lines and the projective billiard flow. They are common generalization of billiards on constant curvature surfaces, but in general may have no canonical integral. In a previous paper the author classified those $C^4$-smooth connected nonlinear planar projective billiards whose flow admits a non-constant integral that is a rational $0$-homogeneous function of the velocity (with coefficients depending on the position): they are called rationally $0$-homogeneously integrable. It was shown that: 1) the underlying curve is a conic; 2) the minimal degree of integral is equal to two, if the billiard is defined by a dual pencil of conics; 3) otherwise it can be arbitrary even number. In the present paper we classify piecewise $C^4$-smooth rationally $0$-homogeneously integrable projective billiards. Unexpectedly, we show that such a billiard associated to a dual pencil of conics may have integral of minimal degree 2, 4, or 12. For the proof of main results we prove dual results for the so-called dual multibilliards.
△ Less
Submitted 12 August, 2023; v1 submitted 1 January, 2023;
originally announced January 2023.
-
On rationally integrable planar dual and projective billiards
Authors:
Alexey Glutsyuk
Abstract:
A caustic of a strictly convex planar bounded billiard is a smooth curve whose tangent lines are reflected from the billiard boundary to its tangent lines. The famous Birkhoff Conjecture states that if the billiard boundary has an inner neighborhood foliated by closed caustics, then the billiard is an ellipse. It was studied by many mathematicians, including H.Poritsky, M.Bialy, S.Bolotin, A.Miron…
▽ More
A caustic of a strictly convex planar bounded billiard is a smooth curve whose tangent lines are reflected from the billiard boundary to its tangent lines. The famous Birkhoff Conjecture states that if the billiard boundary has an inner neighborhood foliated by closed caustics, then the billiard is an ellipse. It was studied by many mathematicians, including H.Poritsky, M.Bialy, S.Bolotin, A.Mironov, V.Kaloshin, A.Sorrentino and others. In the paper we study its following generalized dual version stated by S.Tabachnikov. Consider a closed smooth strictly convex curve $γ\subset\mathbb{RP}^2$ equipped with a dual billiard structure: a family of non-trivial projective involutions acting on its projective tangent lines and fixing the tangency points. Suppose that its outer neighborhood admits a foliation by closed curves (including $γ$) such that the involution of each tangent line permutes its intersection points with every leaf. Then $γ$ and the leaves are conics forming a pencil. We prove positive answer in the case, when the curve $γ$ is $C^4$-smooth and the foliation admits a rational first integral. To this end, we show that each $C^4$-smooth germ $γ$ of planar curve carrying a rationally integrable dual billiard structure is a conic and classify all the rationally integrable dual billiards on (punctured) conic. They include the dual billiards induced by pencils of conics, two infinite series of exotic dual billiards and five more exotic ones.
△ Less
Submitted 10 December, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Open problems on billiards and geometric optics
Authors:
M. Bialy,
C. Fierobe,
A. Glutsyuk,
M. Levi,
A. Plakhov,
S. Tabachnikov
Abstract:
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
△ Less
Submitted 28 October, 2021; v1 submitted 20 October, 2021;
originally announced October 2021.
-
On infinitely many foliations by caustics in strictly convex open billiards
Authors:
Alexey Glutsyuk
Abstract:
Reflection in strictly convex bounded planar billiard acts on the space of oriented lines and preserves a standard area form. A caustic is a curve $C$ whose tangent lines are reflected by the billiard to lines tangent to $C$. The famous Birkhoff Conjecture states that the only strictly convex billiards with a foliation by closed caustics near the boundary are ellipses. By Lazutkin's theorem, there…
▽ More
Reflection in strictly convex bounded planar billiard acts on the space of oriented lines and preserves a standard area form. A caustic is a curve $C$ whose tangent lines are reflected by the billiard to lines tangent to $C$. The famous Birkhoff Conjecture states that the only strictly convex billiards with a foliation by closed caustics near the boundary are ellipses. By Lazutkin's theorem, there always exists a Cantor family of closed caustics approaching the boundary. In the present paper we deal with an open billiard, whose boundary is a strictly convex embedded (non-closed) curve $γ$. We prove that there exists a domain $U$ adjacent to $γ$ from the convex side and a $C^\infty$-smooth foliation of $U\cupγ$ whose leaves are $γ$ and (non-closed) caustics of the billiard. This generalizes a previous result by R.Melrose, which yields existence of a germ of foliation as above at a boundary point. We show that there exists a continuum of above foliations by caustics whose germs at each point in $γ$ are pairwise different. We prove a more general version of this statement in the cases, when $γ$ is just an arc, and also when both $γ$ and the caustics are immersed curves. It also applies to a billiard bounded by a closed strictly convex curve $γ$ and yields infinitely many "immersed" foliations by immersed caustics. For the proof of the above results, we state and prove their analogue for a special class of area-preserving maps generalizing billiard reflections: the so-called $C^{\infty}$-lifted strongly billiard-like maps. We also prove a series of results on conjugacy of billiard maps near the boundary for open curves of the above type.
△ Less
Submitted 18 October, 2022; v1 submitted 3 April, 2021;
originally announced April 2021.
-
On families of constrictions in model of overdamped Josephson junction and Painlevé 3 equation
Authors:
Yulia Bibilo,
Alexey Glutsyuk
Abstract:
The tunneling effect predicted by B.Josephson (Nobel Prize, 1973) concerns the Josephson junction: two superconductors separated by a narrow dielectric. It states existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by a family of differential equations on 2-torus depending on 3 parameters: $B$ (abscissa), $A$ (ordinate), $ω$ (frequency).…
▽ More
The tunneling effect predicted by B.Josephson (Nobel Prize, 1973) concerns the Josephson junction: two superconductors separated by a narrow dielectric. It states existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by a family of differential equations on 2-torus depending on 3 parameters: $B$ (abscissa), $A$ (ordinate), $ω$ (frequency). We study its rotation number $ρ(B,A;ω)$ as a function of $(B,A)$ with fixed $ω$. The phase-lock areas are the level sets $L_r:=\{ρ=r\}$ with non-empty interiors; they exist for $r\in\mathbb Z$ (Buchstaber, Karpov, Tertychnyi). Each $L_r$ is an infinite chain of domains going vertically to infinity and separated by points called constrictions (expect for those with $A=0$). We show that: 1) all the constrictions in $L_r$ lie in its axis $\{ B=ωr\}$ (confirming a conjecture of Tertychnyi, Kleptsyn, Filimonov, Schurov); 2) each constriction is positive: some its punctured neighborhood in the vertical line lies in $\operatorname{Int}(L_r)$ (confirming another conjecture). We first prove deformability of each constriction to another one, with arbitrarily small $ω$, of the same $ρ$, $\ell:=\frac Bω$ and type (positive or not), using equivalent description of model by linear systems of differential equations on $\bar{\mathbb C}$ (Buchstaber, Karpov, Tertychnyi) and studying their isomonodromic deformations described by Painlevé 3 equations. Then non-existence of ghost constrictions (i.e., constrictions either with $ρ\neq\ell$, or of non-positive type) with a given $\ell$ for small $ω$ is proved by slow-fast methods. In Section 6 we present applications of results and elaborated methods and open problems.
△ Less
Submitted 5 October, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Density of thin film billiard reflection pseudogroup in Hamiltonian symplectomorphism pseudogroup
Authors:
Alexey Glutsyuk
Abstract:
Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary $C^{\infty}$-smooth hypersurface $γ\subset\mathbb R^{n+1}$ that is either a global strictly convex closed hypersurface, or a germ of hypersurface. We deal with the pseudogroup generated by compositional ratios of reflections from $γ$ and of…
▽ More
Reflections from hypersurfaces act by symplectomorphisms on the space of oriented lines with respect to the canonical symplectic form. We consider an arbitrary $C^{\infty}$-smooth hypersurface $γ\subset\mathbb R^{n+1}$ that is either a global strictly convex closed hypersurface, or a germ of hypersurface. We deal with the pseudogroup generated by compositional ratios of reflections from $γ$ and of reflections from its small deformations. In the case, when $γ$ is a global convex hypersurface, we show that the latter pseudogroup is dense in the pseudogroup of Hamiltonian diffeomorphisms between subdomains of the phase cylinder: the space of oriented lines intersecting $γ$ transversally. We prove an analogous local result in the case, when $γ$ is a germ. The derivatives of the above compositional differences in the deformation parameter are Hamiltonian vector fields calculated by Ron Perline. To prove the main results, we find the Lie algebra generated by them and prove its $C^{\infty}$-density in the Lie algebra of Hamiltonian vector fields. We also prove analogues of the above results for hypersurfaces in Riemannian manifolds.
△ Less
Submitted 28 July, 2021; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Four equivalent properties of integrable billiards
Authors:
Alexei Glutsyuk,
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surfa…
▽ More
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses.
In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke's derivation of the Liouville property from the Ivory property and his proof of Weihnacht's theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations.
This suggests the following generalization of Birkhoff's conjecture: If an interior neighborhood of a closed geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
On spectral curves and complexified boundaries of the phase-lock areas in a model of Josephson junction
Authors:
Alexey Glutsyuk,
Igor Netay
Abstract:
The paper deals with a three-parameter family of special double confluent Heun equations that was introduced and studied by V.M.Buchstaber and S.I.Tertychnyi as an equivalent presentation of a model of overdamped Josephson junction in superconductivity. The parameters are $l,λ,μ\in\mathbb R$. Buchstaber and Tertychnyi described those parameter values, for which the corresponding equation has a pol…
▽ More
The paper deals with a three-parameter family of special double confluent Heun equations that was introduced and studied by V.M.Buchstaber and S.I.Tertychnyi as an equivalent presentation of a model of overdamped Josephson junction in superconductivity. The parameters are $l,λ,μ\in\mathbb R$. Buchstaber and Tertychnyi described those parameter values, for which the corresponding equation has a polynomial solution. They have shown that for $μ\neq0$ this happens exactly when $l\in\mathbb N$ and the parameters $(λ,μ)$ lie on an algebraic curve $Γ_l\subset\mathbb C^2_{(λ,μ)}$ called the $l$-th spectral curve and defined as zero locus of determinant of a remarkable three-diagonal $l\times l$-matrix. They studied the real spectral curves and obtained important results with applications to phase-lock areas in model of Josephson junction, which is a family of dynamical systems on 2-torus. In the present paper we prove irreducibility of complex spectral curves. We also calculate their genera for $l\leqslant20$ and present a conjecture on general genus formula. We apply the irreducibility result to the phase-lock areas, which are those level sets of the rotation number function $ρ$ on the parameter space of the above-mentioned family of dynamical systems that have non-empty interiors. The family of their boundaries is a countable union of analytic surfaces. We show that, unexpectedly, its complexification is a complex analytic subset consisting of just four irreducible components, and we describe them. We present a Monotonicity Conjecture on the evolution of the phase-lock area portraits and a partial positive result towards its confirmation.
△ Less
Submitted 11 November, 2019; v1 submitted 22 August, 2019;
originally announced August 2019.
-
On curves with Poritsky property
Authors:
Alexey Glutsyuk
Abstract:
For a given closed convex planar curve $γ$ with smooth boundary and a given $p>0$, the string construction yields a family of nested billiards $Γ_p$ for which $γ$ is a caustic. The action of the corresponding reflections $T_p$ on the tangent lines to $γ$ induces their actions on the tangency points: a family of string diffeomorphisms $\mathcal T_p:γ\toγ$. We say that $γ$ has string Poritsky proper…
▽ More
For a given closed convex planar curve $γ$ with smooth boundary and a given $p>0$, the string construction yields a family of nested billiards $Γ_p$ for which $γ$ is a caustic. The action of the corresponding reflections $T_p$ on the tangent lines to $γ$ induces their actions on the tangency points: a family of string diffeomorphisms $\mathcal T_p:γ\toγ$. We say that $γ$ has string Poritsky property, if it admits a parameter $t$ (called Poritsky string length) in which all the transformations $\mathcal T_p$ with small $p$ are translations $t\mapsto t+c_p$. These definitions also make sense for germs of curves $γ$. Poritsky property is closely related to the famous Birkhoff Conjecture. It is classically known that each conic has string Poritsky property. In 1950 H.Poritsky proved the converse: each germ of planar curve with Poritsky property is a conic. In the present paper we extend this Poritsky's result to germs of curves on simply connected complete surfaces with Riemannian metric of constant curvature and to outer billiards on all these surfaces. In the general case of curves with Poritsky property on any two-dimensional surface with Riemannian metric we prove the two following results: 1) the Poritsky string length coincides with Lazutkin parameter, introduced by V.F.Lazutkin in 1973, up to additive and multiplicative constants; 2) a germ of $C^5$-smooth curve with Poritsky property is uniquely determined by its 4-th jet. In the Euclidean case the latter statement follows from the above-mentioned Poritsky's result.
△ Less
Submitted 16 June, 2020; v1 submitted 7 January, 2019;
originally announced January 2019.
-
On commuting billiards in higher-dimensional spaces of constant curvature
Authors:
Alexey Glutsyuk
Abstract:
We consider two nested billiards in $\mathbb R^d$, $d\geq3$, with $C^2$-smooth strictly convex boundaries. We prove that if the corresponding actions by reflections on the space of oriented lines commute, then the billiards are confocal ellipsoids. This together with the previous analogous result of the author in two dimensions solves completely the Commuting Billiard Conjecture due to Sergei Taba…
▽ More
We consider two nested billiards in $\mathbb R^d$, $d\geq3$, with $C^2$-smooth strictly convex boundaries. We prove that if the corresponding actions by reflections on the space of oriented lines commute, then the billiards are confocal ellipsoids. This together with the previous analogous result of the author in two dimensions solves completely the Commuting Billiard Conjecture due to Sergei Tabachnikov. The main result is deduced from the classical theorem due to Marcel Berger saying that in higher dimensions only quadrics may have caustics. We also prove versions of Berger's theorem and the main result for billiards in spaces of constant curvature: space forms.
△ Less
Submitted 30 May, 2019; v1 submitted 27 July, 2018;
originally announced July 2018.
-
On constrictions of phase-lock areas in model of overdamped Josephson effect and transition matrix of double confluent Heun equation
Authors:
Alexey Glutsyuk
Abstract:
We will discuss the model of the overdamped Josephson junction in superconductivity, which is given by a family of first order non-linear ordinary differential equations on two-torus depending on three parameters: a fixed parameter $ω$ (the frequency); a pair of variable parameters $(B,A)$ (abscissa and ordinate). It is important to study the rotation number of the system as a function $ρ=ρ(B,A)$…
▽ More
We will discuss the model of the overdamped Josephson junction in superconductivity, which is given by a family of first order non-linear ordinary differential equations on two-torus depending on three parameters: a fixed parameter $ω$ (the frequency); a pair of variable parameters $(B,A)$ (abscissa and ordinate). It is important to study the rotation number of the system as a function $ρ=ρ(B,A)$ and to describe the phase-lock areas: its level sets $L_r=\{ρ=r\}$ with non-empty interiors. They were studied by V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi, who observed in 2010 that the phase-lock areas exist only for integer values of the rotation number. It is known that each phase-lock area is a garland of infinitely many bounded domains going to infinity in the vertical direction; each two subsequent domains are separated by one point called constriction (if it does not lie in the abscissa axis). There is a conjecture stating that all the constrictions of every phase-lock area $L_r$ lie in its axis $Λ_r=\{ B=rω\}$. Another conjecture states that for any two subsequent constrictions in $L_r$ with positive ordinates the interval between them also lies in $L_r$. In the present paper we give new results partially confirming both conjectures. The main result states that the intersection $L_r\capΛ_r$ contains an explicit infinite interval of the axis $Λ_r$ (conjecturally a connected component of the latter intersection). The proof is done by studying an equivalent family of systems of second order linear differential equations on the Riemann sphere. We obtain new results on the Stokes multipliers and the transition matrix between appropriate canonical solution bases of the linear system and deduce the main result on non-linear systems on two-torus.
△ Less
Submitted 21 June, 2018; v1 submitted 7 May, 2018;
originally announced May 2018.
-
A first integrability result for Miquel dynamics
Authors:
Alexey Glutsyuk,
Sanjay Ramassamy
Abstract:
Miquel dynamics is a discrete-time dynamical system on the space of square-grid circle patterns. For biperiodic circle patterns with both periods equal to two, we show that the dynamics corresponds to translation on an elliptic curve, thus providing the first integrability result for this dynamics. The main tool is a geometric interpretation of the addition law on the normalization of binodal quar…
▽ More
Miquel dynamics is a discrete-time dynamical system on the space of square-grid circle patterns. For biperiodic circle patterns with both periods equal to two, we show that the dynamics corresponds to translation on an elliptic curve, thus providing the first integrability result for this dynamics. The main tool is a geometric interpretation of the addition law on the normalization of binodal quartic curves.
△ Less
Submitted 11 January, 2018; v1 submitted 3 January, 2018;
originally announced January 2018.
-
Total positivity, Grassmannian and modified Bessel functions
Authors:
Victor Buchstaber,
Alexey Glutsyuk
Abstract:
A rectangular matrix is called totally positive, if all its minors are positive. A point of a real Grassmanian manifold $G_{l,m}$ of $l$-dimensional subspaces in $\mathbb R^m$ is called strictly totally positive, if one can normalize its Plücker coordinates to make all of them positive. The totally positive matrices and the subsets of strictly totally positive points in Grassmanian manifolds arise…
▽ More
A rectangular matrix is called totally positive, if all its minors are positive. A point of a real Grassmanian manifold $G_{l,m}$ of $l$-dimensional subspaces in $\mathbb R^m$ is called strictly totally positive, if one can normalize its Plücker coordinates to make all of them positive. The totally positive matrices and the subsets of strictly totally positive points in Grassmanian manifolds arise in many domains of mathematics, mechanics and physics. F.R.Gantmacher and M.G.Krein considered totally positive matrices in the context of classical mechanics. Total positivity was used for construction of solutions of the Kadomtsev-Petviashvili (KP) partial differential equation by T.M.Malanyuk, M.Boiti, F.Pemperini, A.Pogrebkov, Y.Kodama, L.Williams. Different problems of mathematics, mechanics and physics led to constructions of totally positive matrices due to many mathematicians, including F.R. Gantmacher, M.G.Krein, I.J.Schoenberg, S.Karlin, A.E.Postnikov and ourselves. In our case totally positive matrices were constructed for solution of problems on model of the overdamped Josephson effect in superconductivity and double confluent Heun equations. In our previous paper we have proved that certain determinants formed by modified Bessel functions of the first kind are positive on the positive semi-axis. In the present paper we give a new result: a construction of multidimensional families of totally positive matrices formed by values of modified Bessel functions with non-negative integer indices. Their columns are numerated by the indices of the modified Bessel functions, and their rows are numerated by their arguments.
△ Less
Submitted 9 May, 2018; v1 submitted 7 August, 2017;
originally announced August 2017.
-
On polynomially integrable Birkhoff billiards on surfaces of constant curvature
Authors:
Alexey Glutsyuk
Abstract:
We present a solution of the algebraic version of Birkhoff Conjecture on integrable billiards. Namely we show that every polynomially integrable real bounded convex planar billiard with smooth boundary is an ellipse. We extend this result to billiards with piecewise-smooth and not necessarily convex boundary on arbitrary two-dimensional surface of constant curvature: plane, sphere, Lobachevsky (hy…
▽ More
We present a solution of the algebraic version of Birkhoff Conjecture on integrable billiards. Namely we show that every polynomially integrable real bounded convex planar billiard with smooth boundary is an ellipse. We extend this result to billiards with piecewise-smooth and not necessarily convex boundary on arbitrary two-dimensional surface of constant curvature: plane, sphere, Lobachevsky (hyperbolic) plane; each of them being modeled as a plane or a (pseudo-) sphere in $\mathbb R^3$ equipped with appropriate quadratic form. Namely, we show that a billiard is polynomially integrable, if and only if its boundary is a union of confocal conical arcs and appropriate geodesic segments. We also present a complexification of these results. These are joint results of Mikhail Bialy, Andrey Mironov and the author. The proof is split into two parts. The first part is given by Bialy and Mironov in their two joint papers. They considered the tautological projection of the boundary to $\mathbb{RP}^2$ and studied its orthogonal-polar dual curve, which is piecewise algebraic, by S.V.Bolotin's theorem. By their arguments and another Bolotin's theorem, it suffices to show that each non-linear complex irreducible component of the dual curve is a conic. They have proved that all its singularities and inflection points (if any) lie in the projectivized zero locus of the corresponding quadratic form on $\mathbb C^3$. The present paper provides the second part of the proof: we show that each above irreducible component is a conic and finish the solution of the Algebraic Birkhoff Conjecture in constant curvature.
△ Less
Submitted 21 February, 2019; v1 submitted 13 June, 2017;
originally announced June 2017.
-
On monodromy eigenfunctions of Heun equations and boundaries of phase-lock areas in a model of overdamped Josephson effect
Authors:
Victor M. Buchstaber,
Alexey A. Glutsyuk
Abstract:
We study a family of double confluent Heun equations of the form $\mathcal E=0$, where $\mathcal L=\mathcal L_{λ,μ,n}$ is a family of differential operators of order two. They depend on complex parameters $λ$, $μ$, $n$. Its restriction to real parameter domain $λ+μ^2>0$ is a linearization of the family of nonlinear equations on two-torus modeling the Josephson effect in superconductivity. We show…
▽ More
We study a family of double confluent Heun equations of the form $\mathcal E=0$, where $\mathcal L=\mathcal L_{λ,μ,n}$ is a family of differential operators of order two. They depend on complex parameters $λ$, $μ$, $n$. Its restriction to real parameter domain $λ+μ^2>0$ is a linearization of the family of nonlinear equations on two-torus modeling the Josephson effect in superconductivity. We show that for every $b,n\in\mathbb C$ satisfying a certain "non-resonance condition" and every $λ,μ\in\mathbb C$, $μ\neq0$ there exists an entire function $f_{\pm}:\mathbb C\to\mathbb C$ (unique up to constant factor) such that $z^{-b}\mathcal L(z^b f_{\pm}(z^{\pm1}))=d_{0\pm}+d_{1\pm}z$ for some $d_{0\pm},d_{1\pm}\in\mathbb C$. The constants $d_{j,\pm}$ are expressed as functions of the parameters. This result has several applications. First of all, it gives the description of those $λ$, $μ$, $n$, $b$ for which the monodromy of the Heun equation has eigenvalue $e^{2πi b}$. It also describes those $λ$, $μ$, $n$ for which the monodromy is parabolic: has multiple eigenvalue. We consider the rotation number $ρ$ of the dynamical system on two-torus as a function of parameters restricted to a surface $λ+μ^2=const$. The phase-lock areas are its level sets having non-empty interiors. For general families of dynamical systems the problem to describe the boundaries of the phase-lock areas is known to be very complicated. Here we include the results in this direction obtained by methods of complex variables. In our case the phase-lock areas exist only for integer rotation numbers (quantization effect). The result on parabolic monodromy implies the description of the union of their boundaries by an explicit functional equation. For every $θ\notin\mathbb Z$ we get a description of the set $\{ρ\equiv\pmθ(mod2\mathbb Z)\}$.
△ Less
Submitted 13 June, 2017; v1 submitted 1 September, 2016;
originally announced September 2016.
-
On polynomially integrable planar outer billiards and curves with symmetry property
Authors:
Alexey Glutsyuk,
Eugenii Shustin
Abstract:
We show that every polynomially integrable planar outer convex billiard is elliptic.
We show that every polynomially integrable planar outer convex billiard is elliptic.
△ Less
Submitted 21 June, 2018; v1 submitted 26 July, 2016;
originally announced July 2016.
-
On determinants of modified Bessel functions and entire solutions of double confluent Heun equations
Authors:
Victor M. Buchstaber,
Alexey A. Glutsyuk
Abstract:
We investigate the question on existence of entire solutions of well-known linear differential equations that are linearizations of nonlinear equations modeling the Josephson effect in superconductivity. We consider the modified Bessel functions $I_j(x)$ of the first kind, which are Laurent series coefficients of the analytic function family $e^{\frac x2(z+\frac 1z)}$. For every $l\geq1$ we study…
▽ More
We investigate the question on existence of entire solutions of well-known linear differential equations that are linearizations of nonlinear equations modeling the Josephson effect in superconductivity. We consider the modified Bessel functions $I_j(x)$ of the first kind, which are Laurent series coefficients of the analytic function family $e^{\frac x2(z+\frac 1z)}$. For every $l\geq1$ we study the family parametrized by $k, n\in\mathbb Z^l$, $k_1>\dots>k_l$, $n_1>\dots>n_l$ of $(l\times l)$-matrix functions formed by the modified Bessel functions of the first kind $a_{ij}(x)=I_{k_j-n_i}(x)$, $i,j=1,\dots,l$. We show that their determinants $f_{k,n}(x)$ are positive for every $l\geq1$, $k,n\in\mathbb Z^l$ as above and $x>0$. The above determinants are closely related to a sequence (indexed by $l$) of families of double confluent Heun equations, which are linear second order differential equations with two irregular singularities, at zero and at infinity. V.M.Buchstaber and S.I.Tertychnyi have constructed their holomorphic solutions on $\mathbb C$ for an explicit class of parameter values and conjectured that they do not exist for other parameter values. They have reduced their conjecture to the second conjecture saying that if an appropriate second similar equation has a polynomial solution, then the first one has no entire solution. They have proved the latter statement under the additional assumption (third conjecture) that $f_{k,n}(x)\neq0$ for $k=(l,\dots,1)$, $n=(l-1,\dots,0)$ and every $x>0$. Our more general result implies all the above conjectures, together with their corollary for the overdamped model of the Josephson junction in superconductivity: the description of adjacency points of phase-lock areas as solutions of explicit analytic equations.
△ Less
Submitted 1 November, 2016; v1 submitted 5 September, 2015;
originally announced September 2015.
-
On families of differential equations on two-torus with all phase-lock areas
Authors:
Alexey Glutsyuk,
Leonid Rybnikov
Abstract:
We consider two-parametric families of non-autonomous ordinary differential equations on the two-torus with the coordinates $(x,t)$ of the type $\dot x=v(x)+A+Bf(t)$. We study its rotation number as a function of the parameters $(A,B)$. The {\it phase-lock areas} are those level sets of the rotation number function $ρ=ρ(A,B)$ that have non-empty interiors. V.M.Buchstaber, O.V.Karpov, S.I.Tertychny…
▽ More
We consider two-parametric families of non-autonomous ordinary differential equations on the two-torus with the coordinates $(x,t)$ of the type $\dot x=v(x)+A+Bf(t)$. We study its rotation number as a function of the parameters $(A,B)$. The {\it phase-lock areas} are those level sets of the rotation number function $ρ=ρ(A,B)$ that have non-empty interiors. V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi have studied the case, when $v(x)=\sin x$ in their joint paper. They have observed the quantization effect: for every smooth periodic function $f(t)$ the family of equations may have phase-lock areas only for integer rotation numbers. Another proof of this quantization statement was later obtained in a joint paper by Yu.S.Ilyashenko, D.A.Filimonov, D.A.Ryzhov. This implies the similar quantization effect for every $v(x)=a\sin(mx)+b\cos(mx)+c$ and rotation numbers that are multiples of $\frac 1m$. We show that for every other analytic vector field $v(x)$ (i.e., having at least two Fourier harmonics with non-zero non-opposite degrees and nonzero coefficients) there exists an analytic periodic function $f(t)$ such that the corresponding family of equations has phase-lock areas for all the rational values of the rotation number.
△ Less
Submitted 1 November, 2016; v1 submitted 26 May, 2015;
originally announced May 2015.
-
On 4-reflective complex analytic planar billiards
Authors:
Alexey Glutsyuk
Abstract:
The famous conjecture of V.Ya.Ivrii says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study its complex analytic version for quadrilateral orbits in two dimensions, with reflections from holomorphic curves. We present the complete classification of 4-reflective complex analytic counterexamples…
▽ More
The famous conjecture of V.Ya.Ivrii says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study its complex analytic version for quadrilateral orbits in two dimensions, with reflections from holomorphic curves. We present the complete classification of 4-reflective complex analytic counterexamples: billiards formed by four holomorphic curves in the projective plane that have open set of quadrilateral orbits. This extends the previous author's result classifying 4-reflective complex planar algebraic counterexamples. We provide applications to real planar billiards: classification of 4-reflective germs of real planar $C^4$-smooth pseudo-billiards; solutions of Tabachnikov's Commuting Billiard Conjecture and the 4-reflective case of Plakhov's Invisibility Conjecture (both in two dimensions; the boundary is required to be piecewise $C^4$-smooth). We provide a survey and a small technical result concerning higher number of complex reflections.
△ Less
Submitted 17 December, 2015; v1 submitted 23 May, 2014;
originally announced May 2014.
-
On odd-periodic orbits in complex planar billiards
Authors:
Alexey Glutsyuk
Abstract:
The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex version of Ivrii's conjecture for odd-periodic orbits in planar billiards, with reflections from complex analytic curves. We prove positive answer in the following cases: 1) triangula…
▽ More
The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex version of Ivrii's conjecture for odd-periodic orbits in planar billiards, with reflections from complex analytic curves. We prove positive answer in the following cases: 1) triangular orbits; 2) odd-periodic orbits in the case, when the mirrors are algebraic curves avoiding two special points at infinity, the so-called isotropic points. We provide immediate applications to the real piecewise-algebraic Ivrii's conjecture and to its analogue in the invisibility theory.
△ Less
Submitted 7 September, 2013;
originally announced September 2013.
-
On quadrilateral orbits in complex algebraic planar billiards
Authors:
Alexey Glutsyuk
Abstract:
The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex algebraic version of Ivrii's conjecture for quadrilateral orbits in two dimensions, with reflections from complex algebraic curves. We present the complete classification of 4-reflect…
▽ More
The famous conjecture of V.Ya.Ivrii (1978) says that {\it in every billiard with infinitely-smooth boundary in a Euclidean space the set of periodic orbits has measure zero}. In the present paper we study the complex algebraic version of Ivrii's conjecture for quadrilateral orbits in two dimensions, with reflections from complex algebraic curves. We present the complete classification of 4-reflective algebraic counterexamples: billiards formed by four complex algebraic curves in the projective plane that have open set of quadrilateral orbits.
△ Less
Submitted 27 January, 2014; v1 submitted 7 September, 2013;
originally announced September 2013.
-
On the adjacency quantization in the equation modelling the Josephson effect
Authors:
Alexey Glutsyuk,
Dmitry Filimonov,
Victor Kleptsyn,
Ilya Schurov
Abstract:
We investigate two-parametric family of non-autonomous ordinary differential equations on the two-torus $$\dot x=\frac{dx}{dt}=ν\sin x + a + s \sin t, \ a,ν,s\in\rr; \ ν\neq0 \text {is fixed},$$ that model the Josephson effect from superconductivity. We study its rotation number as a function of parameters $(a,s)$ and its {\it Arnold tongues}: the level sets of the rotation number that have non-em…
▽ More
We investigate two-parametric family of non-autonomous ordinary differential equations on the two-torus $$\dot x=\frac{dx}{dt}=ν\sin x + a + s \sin t, \ a,ν,s\in\rr; \ ν\neq0 \text {is fixed},$$ that model the Josephson effect from superconductivity. We study its rotation number as a function of parameters $(a,s)$ and its {\it Arnold tongues}: the level sets of the rotation number that have non-empty interior. Its Arnold tongues have many non-typical properties: they exist only for integer rotation numbers (V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi (2010); Yu.S.Ilyashenko, D.A.Ryzhov, D.A.Filimonov (2011)); their boundaries are given by pairs of analytic curves (V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi (2004, 2012)). Numerical experiments and theoretical investigations (V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi (2006); A.V.Klimenko and O.L.Romaskevich (2012)) show that each Arnold tongue forms an infinite chain of adjacent domains separated by adjacency points and going to infinity in asymptotically vertical direction. Recent numerical experiments had also shown that the adjacencies of each Arnold tongue have one and the same integer abscissa $a$ equal to the corresponding rotation number. We prove this fact for every fixed $ν$ with $|ν|\leq1$. In the general case we prove a weaker statement: the abscissa of each adjacency point is integer; it has the same sign, as the rotation number; its modulus is no greater than that of the rotation number. The proof is based on the representation of the differential equations under consideration as projectivizations of complex linear differential equations on the Riemann sphere (V.M.Buchstaber, O.V.Karpov, S.I.Tertychnyi (2004); R.L.Foote (1998); Yu.S.Ilyashenko, D.A.Ryzhov, D.A.Filimonov (2011)), and the classical theory of complex linear equations.
△ Less
Submitted 30 January, 2013;
originally announced January 2013.
-
Stokes matrices of hypergeometric integrals
Authors:
Alexey Glutsyuk,
Christophe Sabot
Abstract:
In this work we compute the Stokes matrices of the ordinary differential equation satisfied by the hypergeometric integrals associated to an arrangement of hyperplanes in generic position. This generalizes the computation done by Ramis and Duval for confluent hypergeometric functions, which correspond to the arrangement of two points on the line. The proof is based on an explicit description of…
▽ More
In this work we compute the Stokes matrices of the ordinary differential equation satisfied by the hypergeometric integrals associated to an arrangement of hyperplanes in generic position. This generalizes the computation done by Ramis and Duval for confluent hypergeometric functions, which correspond to the arrangement of two points on the line. The proof is based on an explicit description of a base of canonical solutions as integrals on the cones of the arrangement, and combinatorial relations between integrals on cones and on domains.
△ Less
Submitted 11 December, 2007;
originally announced December 2007.
-
On density of horospheres in dynamical laminations
Authors:
Alexey Glutsyuk
Abstract:
In 1985 D.Sullivan had introduced a dictionary between two domains of complex dynamics: iterations of rational functions on the Riemann sphere and Kleinian groups. The latters are discrete subgroups of the group of conformal automorphisms of the Riemann sphere. This dictionary motivated many remarkable results in both domains, starting from the famous Sullivan's no wandering domain theorem in th…
▽ More
In 1985 D.Sullivan had introduced a dictionary between two domains of complex dynamics: iterations of rational functions on the Riemann sphere and Kleinian groups. The latters are discrete subgroups of the group of conformal automorphisms of the Riemann sphere. This dictionary motivated many remarkable results in both domains, starting from the famous Sullivan's no wandering domain theorem in the theory of iterations of rational functions.
One of the principal objects used in the study of Kleinian groups is the hyperbolic 3- manifold associated to a Kleinian group, which is the quotient of its lifted action to the hyperbolic 3- space. M.Lyubich and Y.Minsky have suggested to extend Sullivan's dictionary by providing an analogous construction for iterations of rational functions. Namely, they have constructed a lamination by three-dimensional manifolds equipped with a continuous family with hyperbolic metrics on them (may be with singularities). The action of the rational map** on the sphere lifts naturally up to homeomorphic action on the hyperbolic lamination that is isometric along the leaves. The action on the hyperbolic lamination admits a well-defined quotient called {\it the quotient hyperbolic lamination}.
We study the arrangement of the horospheres in the quotient hyperbolic lamination. The main result says that if a rational function does not belong to a small list of exceptions (powers, Chebyshev and Lattès), then there are many dense horospheres, i.e., the horospheric lamination is topologically-transitive. We show that for "many" rational functions (hyperbolic or critically-nonrecurrent nonparabolic) the quotient horospheric lamination is minimal: each horosphere is dense.
△ Less
Submitted 11 February, 2010; v1 submitted 24 May, 2006;
originally announced May 2006.
-
Simple proofs of uniformization theorems
Authors:
Alexey Glutsyuk
Abstract:
The measurable Riemann map** theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a quasiconformal homeomorphism of $\rd$ ($S^2$) onto $\cc$ ($\bc$) transforming the given almost complex structure to the standard one. We give an elementary proof…
▽ More
The measurable Riemann map** theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a quasiconformal homeomorphism of $\rd$ ($S^2$) onto $\cc$ ($\bc$) transforming the given almost complex structure to the standard one. We give an elementary proof of this theorem that is done as follows. Firstly we prove its double-periodic version: each $\ci$ almost complex structures on the two-torus can be transformed by a diffeomorphism to the standard complex structure on appropriate complex torus. The proof is based on the homotopy method for the Beltrami equation on $\td$ with parameter. (As a by-product, we present a simple proof of the Poincaré-Köbe theorem saying that each simply-connected Riemann surface is conformally equivalent to either $\bar{\cc}$, or $\cc$, or the unit disc.) Afterwards the general case is treated by $\ci$ double-periodic approximation and simple normality arguments (involving Grötzsch inequality) following the classical scheme.
△ Less
Submitted 4 October, 2005;
originally announced October 2005.
-
Upper bounds of topology of complex polynomials in two variables
Authors:
Alexey Glutsyuk
Abstract:
The paper deals with a complex polynomial $H$ in two variables having
- a generic highest homogeneous part (without multiple zero lines),
- nonconstant lower terms.
In particular, under these conditions the polynomial $H$ has at least two distinct critical values. We prove quantitative versions of this statement. Supposing $H$ appropriately normalized (by affine coordinate changes in the i…
▽ More
The paper deals with a complex polynomial $H$ in two variables having
- a generic highest homogeneous part (without multiple zero lines),
- nonconstant lower terms.
In particular, under these conditions the polynomial $H$ has at least two distinct critical values. We prove quantitative versions of this statement. Supposing $H$ appropriately normalized (by affine coordinate changes in the image and in the source) we prove upper bounds for the following quantities:
- the sum of the coefficients of the lower terms;
- the minimal size of a bidisc containing all the nontrivial topology of a given level curve $S_t=\{ H=t\}$;
- the minimal lengths of representatives of cycles in $H_1(S_t,\zz)$ vanishing along appropriate paths from $t$ to the critical values of $H$;
- the intersection indices of the latter cycles.
All these results (expect for the latter bound) are used in my joint work with Yu.S.Ilyashenko "Restricted version of the Hilbert 16-th problem" (available on the arxiv). In the latter paper we obtain an explicit upper bound of the number of zeros for a wide class of Abelian integrals.
△ Less
Submitted 30 September, 2005;
originally announced September 2005.
-
On convergence of generalized continued fractions and Ramanujan's conjecture
Authors:
A. A. Glutsyuk
Abstract:
We consider continued fractions \frac{-a_1}{1-\frac{a_2}{1-\frac{a_3}{1-...}}} \label{fr} with real coefficients $a_i$ converging to a limit $a$. S.Ramanujan had stated the theorem (see [ABJL], p.38) saying that if $a\neq\frac14$, then the fraction converges if and only if $a<\frac14$. The statement of convergence was proved in [V] for complex $a_i$ converging to…
▽ More
We consider continued fractions \frac{-a_1}{1-\frac{a_2}{1-\frac{a_3}{1-...}}} \label{fr} with real coefficients $a_i$ converging to a limit $a$. S.Ramanujan had stated the theorem (see [ABJL], p.38) saying that if $a\neq\frac14$, then the fraction converges if and only if $a<\frac14$. The statement of convergence was proved in [V] for complex $a_i$ converging to $a\in\mathbb C\setminus[\frac14,+\infty)$ (see also [P]). J.Gill [G] proved the divergence of (\ref{fr}) under the assumption that $a_i\to a>\frac14$ fast enough, more precisely, whenever \sum_i|a_i-a|<\infty.\label{gill} The Ramanujan conjecture saying that (\ref{fr}) diverges always whenever $a_i\to a>\frac14$ remained up to now an open question. In the present paper we disprove it. We show (Theorem \ref{th1}) that for any $a>\frac14$ there exists a real sequence $a_i\to a$ such that (\ref{fr}) converges. Moreover, we show (Theorem \ref{go}) that Gill's sufficient divergence condition (\ref{gill}) is the optimal condition on the speed of convergence of the $a_i$'s.
△ Less
Submitted 23 December, 2004; v1 submitted 22 December, 2004;
originally announced December 2004.
-
Instability of nondiscrete free subgroups in Lie groups
Authors:
Alexey Glutsyuk
Abstract:
We study finitely-generated nondiscrete free subgroups in Lie groups. We address the following question first raised by Étienne Ghys: is it always possible to make arbitrarily small perturbation of the generators of the free subgroup in such a way that the new group formed by the perturbed generators be not free? In other words, is it possible to approximate generators of a free subgroup by elemen…
▽ More
We study finitely-generated nondiscrete free subgroups in Lie groups. We address the following question first raised by Étienne Ghys: is it always possible to make arbitrarily small perturbation of the generators of the free subgroup in such a way that the new group formed by the perturbed generators be not free? In other words, is it possible to approximate generators of a free subgroup by elements satisfying a nontrivial relation? We prove that the answer to Ghys' question is positive and generalize this result to certain non-free subgroups. We also consider the question on the best approximation rate in terms of the minimal length of relation in the approximating group. We give an upper bound on the optimal approximation rate as $e^{-cl^κ}$, where $c>0$ is a constant, $l$ the minimal length of relation and $0.19<κ<0.2$.
△ Less
Submitted 7 February, 2011; v1 submitted 28 September, 2004;
originally announced September 2004.
-
On the monodromy group of confluenting linear equations
Authors:
Alexey Glutsyuk
Abstract:
We consider a linear analytic ordinary differential equation with complex time having a nonresonant irregular singular point. We study it as a limit of a generic family of equations with confluenting Fuchsian singularities.
In 1984 V.I.Arnold asked the following question: is it true that some operators from the monodromy group of the perturbed (Fuchsian) equation tend to Stokes operators of th…
▽ More
We consider a linear analytic ordinary differential equation with complex time having a nonresonant irregular singular point. We study it as a limit of a generic family of equations with confluenting Fuchsian singularities.
In 1984 V.I.Arnold asked the following question: is it true that some operators from the monodromy group of the perturbed (Fuchsian) equation tend to Stokes operators of the nonperturbed irregular equation? Another version of this question was also independently proposed by J.-P.Ramis in 1988.
We consider the case of Poincaré rank 1 only. We show (in dimension two) that generically no monodromy operator tends to a Stokes operator; on the other hand, in any dimension commutators of appropriate noninteger powers of the monodromy operators around singular points tend to Stokes operators.
△ Less
Submitted 17 April, 2003;
originally announced April 2003.
-
Restricted version of the infinitesimal Hilbert 16th problem
Authors:
A. A. Glutsyuk,
Yu. S. Ilyashenko
Abstract:
The paper deals with the {\it infinitesimal Hilbert 16th problem}: to find an upper estimate of the number of zeros of an Abelian integral regarded as a function of a parameter. In more details, consider a real polynomial $ H$ of degree $ n+1 $ in the plane, and a continuous family of ovals $γ_t$ (compact components of level curves $ H = t$) of this polynomial. Consider a polynomial 1-form $ω$ w…
▽ More
The paper deals with the {\it infinitesimal Hilbert 16th problem}: to find an upper estimate of the number of zeros of an Abelian integral regarded as a function of a parameter. In more details, consider a real polynomial $ H$ of degree $ n+1 $ in the plane, and a continuous family of ovals $γ_t$ (compact components of level curves $ H = t$) of this polynomial. Consider a polynomial 1-form $ω$ with coefficients of degree at most $n.$ Let I(t) = \int_{γ_t} ω. \label{I}
The problem is to give an upper estimate of the number of zeros of this integral. We solve a {\it restricted version} of this problem. Namely, the form $ ω$ is {\it arbitrary,}, and the polynomial $ H$, though having an arbitrary degree, is not too close to the hypersurface of degenerate (non ultra-Morse) polynomials. We hope that the solution of the restricted version of the problem is a step to the solution of the complete (nonrestricted) version.
△ Less
Submitted 30 September, 2005; v1 submitted 15 December, 2001;
originally announced December 2001.