Search arXiv⌕ Search

arXiv · 2108.09395

On the trajectory of the nonlinear pendulum: Exact analytic solutions via power series

Abstract

We provide an exact infinite power series solution that describes the trajectory of a nonlinear simple pendulum undergoing librating and rotating motion for all time. Although the series coefficients were previously given in [V. Fairén, V. López, and L. Conde, Am. J. Phys 56 (1), (1988), pp. 57-61], the series itself -- as well as the optimal location about which an expansion should be chosen to assure series convergence and maximize the domain of convergence -- was not examined, and is provided here. By virtue of its representation as an elliptic function, the pendulum function has singularities that lie off of the real axis in the complex time plane. This, in turn, imposes a radius of convergence on the physical problem in real time. By choosing the expansion point at the top of the trajectory, the power series converges all the way to the bottom of the trajectory without being affected by these singularities. In constructing the series solution, we re-derive the coefficients using an alternative approach that generalizes to other nonlinear problems of mathematical physics. Additionally, we provide an exact resummation of the pendulum series -- Motivated by the asymptotic approximant method given in [Barlow et al., Q. J. Mech. Appl. Math., 70 (1) (2017), pp. 21-48] -- that accelerates the series' convergence uniformly from the top to the bottom of the trajectory. We also provide an accelerated exact resummation of the infinite series representation for the elliptic integral used in calculating the period of a pendulum's trajectory. This allows one to preserve analyticity in the use of the period to extend the pendulum series for all time via symmetry.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

W. Cade Reinberger, Morgan S. Holland, Nathaniel S. Barlow, Steven J. Weinstein. 2021-08-24. On the trajectory of the nonlinear pendulum: Exact analytic solutions via power series. https://arxiv.org/abs/2108.09395

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Positive Bidiagonal Factorizations: Combinatorial Structure, Spectral Theory, and Matrix Continued Fractions

Prescribed positive bidiagonal factorizations of semi-infinite banded matrices reveal spectral, approximation, and integrable structures for arbitrary lower and upper bandwidths. Every cyclic permutation of the factors admits a normalized lower--upper positive factorization. Under suitable degree conditions, factor transfers induce matrix Christoffel transformations, linking the cyclic Darboux orbit to mixed-type Favard theory. Christoffel words determine minimum-height positive refactorizations and the cyclic products that reach them. The associated matrices have two block displacements, reducing to two diagonals for coprime bandwidths. Their finite nonzero spectra lie on a star, and planar networks yield positive radial Stieltjes moment sequences. In the compact radial case star-supported representing measures are characterized by conditions at the origin and negative fractional moments. For coprime bandwidths, a radial moment deformation gives determinant solutions of a sparse Lax hierarchy and synchronizes the cyclic Toda flows. Retaining the prescribed factor order yields matrix continued fractions with explicit Padé-type contact, denominator factorizations, backward evaluation, and error bounds. For bounded nonnegative factors, the convergents are monotone and converge to the least nonnegative solution in the admissible domain. Under the Favard identification, they approximate the mixed-type Weyl matrix. Unbounded factorizations retain the formal approximation; analytic convergence requires a closed realization and stability hypotheses, with an additional identification for measure-defined Weyl matrices. Piñeiro and Jacobi-like systems give applications, including global positive coefficientwise integrable solutions under the stated positivity and AT hypotheses.

math.CA↗

Spectrality of Weighted Measures on Two Line Segments

We study the spectrality of measures with positive integrable densities supported on two line segments in $\mathbb R^d$. We prove that, when the two segments are non-overlapping, spectrality forces the density on each segment to be constant almost everywhere. When the two segments are overlapping, spectrality forces the total density to be constant almost everywhere on their union. We then study the resulting measures with positive constant densities according to the geometric of the segments. For two non-coplanar segments, every such measure admits a spectrum contained in a straight line. For two segments lying on distinct parallel lines, the measure is spectral if and only if the two densities are equal. For non-parallel coplanar segments, a suitable invertible linear transformation converts the measure into an unweighted arc-length measure. When these segments are viewed in their affine plane, every spectrum of a spectral measure is contained in a straight line. Finally, we give examples showing how the densities determine the directions of line spectra and construct explicit spectra for weighted measures.

math.CA↗

Spherical harmonics, operators of multiplication by coordinates, and infinitesimal conformal transformations

Consider the space of $C^\infty$-functions on the two-dimensional sphere $S^2$ and its decomposition $\oplus\mathcal H_n$ into a direct sum of minimal rotation-invariant spaces. We consider elements of $\oplus\mathcal H_n$ as functions of two variables, a nonnegative integer variable $n$ and a complex variable $u$ (a restriction of such function to the set $n=k$ is a polynomial in $u$ of degree $\le 2k$). For operators of multiplication by $x_1$, $x_2$, $x_3$ in $C^\infty(S^2)$ we obtain the corresponding operators in $\oplus\mathcal H_n$, they are differential-difference operators in the variables $u$, $n$ (including second derivatives in $u$ and shifts $n\mapsto n\pm1$). We obtain the similar correspondence for operators of differentiation along conformal vector fields on $S^2$.

math.CA↗