On an integrability criterion for a family of cubic oscillators

<abstract><p>In this work we consider a family of cubic, with respect to the first derivative, nonlinear oscillators. We obtain the equivalence criterion for this family of equations and a non-canonical form of Ince Ⅶ equation, where as equivalence transformations we use generalized nonlocal transformations. As a result, we construct two integrable subfamilies of the considered family of equations. We also demonstrate that each member of these two subfamilies possesses an autonomous parametric first integral. Furthermore, we show that generalized nonlocal transformations preserve autonomous invariant curves for the equations from the studied family. As a consequence, we demonstrate that each member of these integrable subfamilies has two autonomous invariant curves, that correspond to irreducible polynomial invariant curves of the considered non-canonical form of Ince Ⅶ equation. We illustrate our results by two examples: An integrable cubic oscillator and a particular case of the Liénard (4, 9) equation.</p></abstract>

An inhomogeneous Dirichlet theorem via shrinking targets

We give an integrability criterion on a real-valued non-increasing function $\unicode[STIX]{x1D713}$ guaranteeing that for almost all (or almost no) pairs $(A,\mathbf{b})$, where $A$ is a real $m\times n$ matrix and $\mathbf{b}\in \mathbb{R}^{m}$, the system $$\begin{eqnarray}\Vert A\mathbf{q}+\mathbf{b}-\mathbf{p}\Vert ^{m}<\unicode[STIX]{x1D713}(T),\quad \Vert \mathbf{q}\Vert ^{n}<T,\end{eqnarray}$$ is solvable in $\mathbf{p}\in \mathbb{Z}^{m}$, $\mathbf{q}\in \mathbb{Z}^{n}$ for all sufficiently large $T$. The proof consists of a reduction to a shrinking target problem on the space of grids in $\mathbb{R}^{m+n}$. We also comment on the homogeneous counterpart to this problem, whose $m=n=1$ case was recently solved, but whose general case remains open.

Integrability conditions of geodesic flow on homogeneous Monge manifolds

We prove a meromorphic integrability criterion for the geodesic flow of an algebraic manifold of the form ${z}^{p} - f({x}_{1} , \ldots , {x}_{n} )= 0$ with the induced metric of ${ \mathbb{C} }^{n+ 1} $ and $f$ a homogeneous rational function, using a parallel between the properties of such algebraic manifolds and homogeneous potentials. We then apply this criterion to the manifolds of the form $z= {\lambda }_{1} { x}_{1}^{k} + \cdots + {\lambda }_{n} { x}_{n}^{k} $, $k\in { \mathbb{Z} }^{+ } $, and ${x}^{n} {y}^{m} {z}^{l} = 1, n, m, l\in \mathbb{Z} $, and prove that their geodesic flow is not integrable except for some given exceptional cases.

The Gauge Integral Theory in HOL4

The integral is one of the most important foundations for modeling dynamical systems. The gauge integral is a generalization of the Riemann integral and the Lebesgue integral and applies to a much wider class of functions. In this paper, we formalize the operational properties which contain the linearity, monotonicity, integration by parts, the Cauchy-type integrability criterion, and other important theorems of the gauge integral in higher-order logic 4 (HOL4) and then use them to verify an inverting integrator. The formalized theorem library has been accepted by the HOL4 authority and will appear in HOL4 Kananaskis-9.