arXiv subjects

Olga Pochinka

Publications and source records attributed to Olga Pochinka.

16 recordsLinked to original sources

arXiv2026

On the Hersch-Weinberger inequality in higher dimensions

We investigate a reverse Faber-Krahn type inequality for the Robin Laplacian in a bounded smooth domain $Ω\subset \mathbb{R}^N$ whose boundary has two connected components. We prove that a concentric spherical shell maximizes the first eigenvalue over a class of such domains under perimeter and volume constraints, and under an additional convexity assumption when $N \geq 3$. This result generalizes to a wider class, and extends to higher dimensions, the inequality of Hersch [20], whose approach was substantially based on a construction of the so-called effectless cut by Weinberger [35], so that we call it the Hersch-Weinberger inequality. Our method is based on the analysis of the gradient flow of the first eigenfunction and several approximation procedures, without relying on the effectless cut itself. The effectless cut being a complicated object related to the attractor of the gradient flow, we describe its most fundamental topological properties. In particular, we show that it does not necessarily have to be a hypersurface.

math.AP↗

arXiv2025

A quasi-energy function for Pixton diffeomorphisms defined by generalized Mazur knots

In this paper we give a lower estimate for the number of critical points of the Lyapunov function for Pixton diffeomorphisms (i.e. Morse-Smale diffeomorphisms in dimension 3 whose chain recurrent set consists of four points: one source, one saddle and two sinks). Ch. Bonatti and V. Grines proved that the class of topological equivalence of such diffeomorphism $f$ is completely defined by the equivalency class of the Hopf knot $L_{f}$ that is the knot in the generating class of the fundamental group of the manifold $\mathbb S^2\times\mathbb S^1$. They also proved that there are infinitely many such classes and that any Hopf knot can be realized by a Pixton diffeomorphism. D.~Pixton proved that diffeomorphisms defined by the standard Hopf knot $L_0=\{s\}\times \mathbb S^1$ have an energy function (Lyapunov function) whose set of critical points coincide with the chain recurrent set whereas the set of critical points of any Lyapunov function for Pixton diffeomorphism with nontrivial (i.e. non equivalent to the standard) Hopf knot is strictly larger than the chain recurrent set of the diffeomorphism. The Lyapunov function for Pixton diffeomorphism with minimal number of critical points is called the quasi-energy function. In this paper we construct a quasi-energy function for Pixton diffeomorphisms defined by a generalized Mazur knot.

math.DS↗

arXiv2024

Non-singular flows with twisted saddle orbit on orientable 3-manifolds

In this paper we consider non-singular Morse-Smale flows on closed orientable 3-manifolds, under the assumption that among the periodic orbits of the flow there is only one saddle orbit and it is twisted. It is found that any manifold admitting such flows is either a lens space, or a connected sum of a lens space with a projective space, or Seifert manifolds with base sphere and three special layers. A complete topological classification of the described flows is obtained and the number of their equivalence classes on each admissible manifold is calculated.

math.DS↗

arXiv2023

On homeomorphisms of three-dimensional manifolds with pseudo-Anosov attractors and repellers

The present paper is devoted to a study of orientation-preserving homeomorphisms on three-dimensional manifolds with a non-wandering set consisting of a finite number of surface attractors and repellers. The main results of the paper relate to a class of homeomorphisms for which the restriction of the map to a connected component of the non-wandering set is topologically conjugate to an orientation-preserving pseudo-Anosov homeomorphism. The ambient $Ω$-conjugacy of a homeomorphism from the class with a locally direct product of a pseudo-Anosov homeomorphism and a rough transformation of the circle is proved. In addition, we prove that the centralizer of a pseudo-Anosov homeomorphisms consists of only pseudo-Anosov and periodic maps.

math.DS↗

arXiv2023

Classification of NMS-flows with unique twisted saddle orbit on orientable 4-manifolds

Topological equivalence of Morse-Smale flows without fixed points (NMS-flows) under assumptions of different generalities was studied in a number of papers. In some cases when the number of periodic orbits is small, it is possible to give exhaustive classification, namely to provide the list of all manifolds that admit flows of considered class, find complete invariant for topological equivalence and introduce each equivalence class with some representative flow. This work continues the series of such articles. We consider the class of NMS-flows with unique saddle orbit, under the assumption that it is twisted, on closed orientable 4-manifolds and prove that the only 4-manifold admitting the considered flows is the manifold $\mathbb S^3\times\mathbb S^1$. Also, it is established that such flows are split into exactly eight equivalence classes and construction of a representative for each equivalence class is provided.

math.DS↗

arXiv2023

On a structure of non-wandering set of an $Ω$-stable 3-diffeomorphism possessing a hyperbolic attractor

This paper belongs to a series of papers devoted to the study of the structure of the non-wandering set of an A-diffeomorphism. We study such set $NW(f)$ for an $Ω$-stable diffeomorphism $f$, given on a closed connected 3-manifold $M^3$. Namely, we prove that if all basic sets in $NW(f)$ are trivial except attractors, then every non-trivial attractor is either one-dimensional non-orientable or two-dimensional expanding.

math.DS↗

arXiv2023

Links and dynamics

Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the equivalence class of the Hopf knot, which is the orbit space of the unstable saddle separatrix in the manifold $\mathbb{S}^2\times \mathbb{S}^1$, is a complete invariant of the topological conjugacy of the system. In this paper we distinguish a class of three-dimensional Morse-Smale diffeomorphisms for which the complete invariant of topological conjugacy is the equivalence class of a link in $\mathbb{S}^2\times \mathbb{S}^1$. We proved that if $M$ is a link complement in $\mathbb{S}^3$ (in particular, is $\mathbb{S}^3$), or a handlebody $H_g$ of genus $g \geq 0$, or closed, connected, orientable 3-manifold, then the set of equivalence classes of tame links in $M$ is countable. As corollary we get that in $\mathbb{S}^2\times \mathbb{S}^1$ there exists a countable number of equivalence classes of tame links. It is proved that any essential link can be realized by a diffeomorphism of the class under consideration.

math.DS↗

arXiv2023

Topology of Ambient 3-Manifolds of Non-singular Flows with Twisted Saddle Orbit

In the present paper, non-singular Morse-Smale flows on closed orientable 3-manifolds under the assumption that among the periodic orbits of the flow there is only one saddle one and it is twisted are considered. An exhaustive description of the topology of such manifolds is obtained. Namely, it has been established that any manifold admitting such flows is either a lens space, or a connected sum of a lens space with a projective space, or Seifert manifolds with base homeomorphic to sphere and three singular fibers. Since the latter are simple manifolds, the result obtained refutes the result that among simple manifolds, the considered flows admit only lens spaces.

math.DS↗

arXiv2022

Characteristic space of orbits of Morse-Smale diffeomorphisms on surfaces

The classical approach to the study of dynamical systems consists in representing the dynamics of the system in the form of a "source-sink", that means identifying an attractor-repeller pair, which are attractor-repellent sets for all other trajectories of the system. If there is a way to choose this pair so that the space orbits in its complement (the characteristic space of orbits) is connected, this creates prerequisites for finding complete topological invariants of the dynamical system. It is known that such a pair always exists for arbitrary Morse-Smale diffeomorphisms given on any manifolds of dimension $n \geqslant 3$. Whereas for $n=2$ the existence of a connected characteristic space has been proved only for orientation-preserving gradient-like (without heteroclinic points) diffeomorphisms defined on an orientable surface. In the present work, it is constructively shown that the violation of at least one of the above conditions (absence of heteroclinic points, orientability of a surface, orientability of a diffeomorphism) leads to the existence of Morse-Smale diffeomorphisms on surfaces that do not have a connected characteristic space of orbits.

math.DS↗

arXiv2021

Nonsingular Morse-Smale flows of n-manifolds with attractor-repeller dynamics

In the present paper the exhaustive topological classification of nonsingular Morse-Smale flows of $n$-manifolds with two limit cycles is presented. Hyperbolicity of periodic orbits implies that among them one is attracting and another is repelling. Due to Poincare-Hopf theorem Euler characteristic of closed manifold $M^n$ which admits the considered flows is equal to zero. Only torus and Klein bottle can be ambient manifolds for such flows in case of $n=2$. Authors established that there exist exactly two classes of topological equivalence of such flows of torus and three of the Klein bottle. There are no constraints for odd-dimensional manifolds which follow from the fact that Euler characteristic is zero. However, it is known that orientable $3$-manifold admits a flow of considered class if and only if it is a lens space. In this paper, it is proved that up to topological equivalence each of $\mathbb S^3$ and $\mathbb RP^3$ admit one such flow and other lens spaces two flows each. Also, it is shown that the only non-orientable $n$-manifold (for $n>2$), which admits considered flows is the twisted I-bundle over $(n-1)$-sphere. Moreover, there are exactly two classes of topological equivalence of such flows. Among orientable $n$-manifolds only the product of $(n-1)$-sphere and the circle can be ambient manifold of a considered flow and the flows are split into two classes of topological equivalence.

math.DS↗

arXiv2021

There are no structural stable Axiom A 3-diffeomorphisms with dynamics "one-dimensional surfaced attractor-repeller"

In this paper, we study the structural stability of three-dimensional diffeomorphisms with source-sink dynamics. Here the role of source and sink is played by one-dimensional hyperbolic repeller and attractor. It is well known that in the case when the repeller and the attractor are solenoids (not embedded in the surface), the diffeomorphism is not structurally stable. The author proves that in the case when the attractor and the repeller are canonically embedded in a surface, the diffeomorphism is also not structurally stable.

math.DS↗

arXiv2019

On Topological Classification of Morse-Smale Diffeomorphisms on the Sphere $S^n$

We consider a class $G(S^n)$ of orientation preserving Morse-Smale diffeomorphisms of the sphere $S^{n}$ of dimension $n>3$ in assumption that invariant manifolds of different saddle periodic points have no intersection. We put in a correspondence for every diffeomorphism $f\in G(S^n)$ a colored graph $Γ_f$ enriched by an automorphism $P_f$. Then we define the notion of isomorphism between two colored graphs and prove that two diffeomorphisms $f, f'\in G(S^n)$ are topologically conjugated iff the graphs $Γ_f$, $Γ_f'$ are isomorphic. Moreover we establish the existence of a linear-time algorithm for distinguishing two colored graphs of diffeomorphisms from the class $G(S^n)$.

math.DS↗

arXiv2017

Topoligical classification of $Ω$-stable flows on surfaces by means of effectively distinguishable multigraphs

Structurally stable (rough) flows on surfaces have only finitely many singularities and finitely many closed orbits, all of which are hyperbolic, and they have no trajectories joining saddle points. The violation of the last property leads to $Ω$-stable flows on surfaces, which are not structurally stable. However, in the present paper we prove that a topological classification of such flows is also reduced to a combinatorial problem. Our complete topological invariant is a multigraph, and we present a polynomial-time algorithm for the distinction of such graphs up to an isomorphism. We also present a graph criterion for orientability of the ambient manifold and a graph-associated formula for its Euler characteristic. Additionally, we give polynomial-time algorithms for checking the orientability and calculating the characteristic.

math.DS↗

arXiv2011

Dynamically ordered energy function for Morse-Smale diffeomorphisms on 3-manifolds

This note deals with arbitrary Morse-Smale diffeomorphisms in dimension 3 and extends ideas from \cite{GrLaPo}, \cite{GrLaPo1}, where gradient-like case was considered. We introduce a kind of Morse-Lyapunov function, called dynamically ordered, which fits well dynamics of diffeomorphism. The paper is devoted to finding conditions to the existence of such an energy function, that is, a function whose set of critical points coincides with the non-wandering set of the considered diffeomorphism. We show that the necessary and sufficient conditions to the existence of a dynamically ordered energy function reduces to the type of embedding of one-dimensional attractors and repellers of a given Morse-Smale diffeomorphism on a closed 3-manifold.

math.GT↗

arXiv2009

Self-indexing energy function for Morse-Smale diffeomorphisms on 3-manifolds

The paper is devoted to finding conditions to the existence of a self-indexing energy function for Morse-Smale diffeomorphisms on a 3-manifold. These conditions involve how the stable and unstable manifolds of saddle points are embedded in the ambient manifold. We also show that the existence of a self-indexing energy function is equivalent to the existence of a Heegaard splitting of a special type with respect to the considered diffeomorphism.

math.DS↗

arXiv2008

Quasi-energy function for diffeomorphisms with wild separatrices

According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the least number of critical points and construct a quasi-energy function for any diffeomorphism from some class of Morse-Smale diffeomorphisms on the 3-sphere.

math.GT↗