cp's OEIS Frontend

The phase space trajectory A276738 has phase space angular velocity A276814 and differential time dependence A276815. We calculate the period K = Int dt over the range [2*Pi, 0], trivial to compute from A276815 using A273496. Then K/(2*Pi) = 1 + sum b^(2n)*T(n,m)*f'(n,m); where the sum runs over n = 1, 2, 3 ... and m = 1, 2, 3, ... A000041(2n), and f'(n,m) = f(2n,m) of A276738 with Q=1/2. Choosing one point from the infinite dimensional coefficient space--v_i=0 for odd i, v_i=(-1)^(i/2-1)/2/(i!) otherwise--setting b^2 = 4*k, and summing over the entire table obtains the EllipticK expansion 2*A038534/A038533. For more details read "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Irregular triangle read by rows (see examples).

Consider an axially symmetric oscillator in two dimensions with polar coordinates ( r, y ). By conservation of angular momentum, replace the cyclic angle coordinate y with dy/dt = 1/r^2. The system becomes one-dimensional in r, with an effective potential including the 1/r^2 term. Assume that the effective potential has a minimum around r0 and apply a linear transform r --> q = r-r0. Radial oscillations around the effective potential minimum follow the exact solution of A276738, A276814, A276815, A276816. Now dy = dx (dy/dt) / (dx/dt) = dx * Sum b^n*T(n,m)*F(n,m), with n=1,2,3.... and m=1,2,3...A000070(n). Basis functions F(n,m) are an ordered union over A276738's f(n,m): F(n,m')={ (1/r0^2)*(Q/r0)^n } & Append_{i=1..n}_{m=1..A000041(n)} (1/2/r0^2)*(Q/r0)^(n - i)*f(i,m), where each successive term f(i,m) is appended such that index m' inherets the ordering of each m index (see examples). Integrating dx over a range of 2 Pi loses all odd rows, as in A276815 / A276816. This sequence is a useful tool in classical and relativistic astronomy (follow links to Wolfram demonstrations).

Contribution from Wolfdieter Lang, Nov 08 2010: (Start)

a(n)/A056982(n) = -(binomial(2*n,n)^2)/((2*n-1)*2^(4*n)), n>=0, are the coefficients of x^n of hypergeometric([1/2,-1/2],[1],x).

The series hypergeometric([1/2,-1/2],[1],e^2)=L/(2*Pi*a) with L the perimeter of an ellipse with major axis a and numerical eccentricity e. (End)

Irregular triangle read by rows ( see examples ). The phase space trajectory of A276738 has one time dependent variable, the phase space angle "x" defined as Tan[x]=p/q. Then dx/dt = cos[x]^2* d/dt(p/q), which can be written as a function of Q=cos[x] by application of the classical equations of motion d/dt(p,q) = ( -d/dq H, d/dp H ), with H the anharmonic oscillator Hamiltonian. Substituting the result of A276738 and expanding in powers of b, we obtain dx/dt = -1 + sum b^n*T(n,m)*f(n,m); where the sum runs over n=1,2,3... and m = 1,2,3, ... A000041(n). The basis functions f(n,m) are the same as in A276738. Observe the limit where Q --> 0, dx/dt --> -1, the harmonic oscillator value. Similarly if v_i --> 0 then dx/dt --> -1.

The phase space trajectory A276738 has phase space angular velocity A276814, which allows expansion of dt = dx /(dx/dt) = dx(-1 + sum b^n*T(n,m)*f(n,m)); where the sum runs over n = 1, 2, 3 ... and m = 1, 2, 3, ... A000041(n). The basis functions f(n,m) are the same as in A276738. To obtain period K, we integrate the function of Q=cos[x] over a range of [2*pi,0]. All odd powers of Q integrate to zero, so the period is an expansion in E=(1/2)*b^2 (Cf. A276816). This sequence transforms into A274076/A274078 by setting v_i=0 for odd i, v_i=(-1)^(i/2-1)/2/(i!) otherwise, and (1/2)*b^2 = 2*k. For more details read "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Page 13 of the link shows the type of configuration. When n is odd, the numerators 1,1,9,25,1225,3969,.. are A038534 and (A001790)^2, and the denominators 1,4,64,256,16384,65536,.. are A056982, A038533/2, and (A046161)^2. When n is even, the numerators 1,4,64,256,16384,65536,.. are A056982, A038533/2, and (A046161)^2, and the denominators 3,27,675,3675,297675,1440747,.. are 3*(A001803)^2. The limit of a(n+1)/a(n) as n(odd) tends to infinity = Pi^2/12, A072691. The limit of a(n+2)/a(n) as n tends to infinity = 1. a(n), for large odd n, tends to 2/(Pi*n). a(n), for large even n, tends to Pi/(6*n). The expansion of 2*x*EllipticK(x)/Pi gives the odd fractions. The expansion of 1/3*x*HypergeometricPFQ({1,1,1},{3/2,3/2},x) gives the even fractions.

A point mass is attached to a frictionless pivot by a massless string of length L and revolves in a vertical circle about the pivot in a uniform gravitational field with an acceleration g. The slowest possible motion occurs when the tension in the string is momentarily zero at the top of the route, and the longest-possible period is then c * sqrt(L/g), where c is this constant.