cp's OEIS Frontend

Triangle read by rows ( see examples ). The phase space trajectory of a simple pendulum can be written as (q,p) = (R(Q)cos(Q),R(Q)sin(Q)), with scaled, canonical coordinates q and p. The present triangle and A273507 determine a power / Fourier series of R(Q): R(Q) = sqrt(4 *k) * (1 + sum k^n * (A273506(n,m)/A273507(n,m)) * cos(Q)^(2(n+m)) ); where the sum runs over n = 1,2,3 ... and m = 1,2,3...n. The period of an oscillator can be computed by T(k) = dA/dE, where A is the phase area enclosed by the phase space trajectory of conserved, total energy E. As we choose expansion parameter "k" proportional to E, the series expansion of the complete elliptic integral of the first kind follows from T(k) with very little technical difficulty ( see examples and Mathematica function R2ToEllK ). For more details read "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

For some remarks on this pendulum problem and an alternative way to compute a(n,m) / A273507(n,m) using Lagrange inversion see the two W. Lang links. - Wolfdieter Lang, Jun 11 2016

Triangle read by rows ( see example ). The numerator triangle is A274076.

Comments of A273506 give a definition of the fraction triangle, which determines an arbitrary-precision solution to the simple pendulum equations of motion. For more details see "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Triangle read by rows ( see examples ). The denominators are given in A274078.

The rational triangle A273506 / A273507 gives the coefficients for an exact solution of the plane pendulum's phase space trajectory. Differential time dependence for this solution also adheres to the simple form of a triangular summation: dt = dQ(-1+ sum k^n * (T(n, m)/A274078(n, m)) * cos(Q)^(2(n+m)) ); where the sum runs over n = 1,2,3 ... and m = 1,2,3...n. Expanding powers of cosine ( Cf. A273496 ) it is relatively easy to integrate dt ( cf. A274130 ). One period of motion takes Q through the range [ 0 , -2 pi]. Integrating dt over this domain gives another (Cf. A273506) calculation of the series expansion for Elliptic K ( see examples and Mathematica function dtToEllK ). For more details read "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Triangle read by rows (see example). Comments of A274076 give a definition of the fraction triangle, which determines to arbitrary precision the differential time dependence for the time-independent solution (cf. A273506, A273507) of the plane pendulum's equations of motion. For more details see "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Irregular triangle read by rows ( see examples ). The row length sequence is 2*n = A005843(n), n >= 1.The denominators are given in A274131.

The triangles A274076 and A274078 give the coefficients for the exact, differential time dependence of the plane pendulum's equations of motion. Integrating, we obtain time dependence as a Fourier sine series: t = -( (2/pi)K(k) Q + sum k^n * (T(n,m)/A274131(n,m)) * sin(2 m Q) ); where the sum runs over n = 1,2,3 ... and m = 1,2,3,...,2 n. Combining the phase space trajectory and time dependence, it is possible to express Jacobian elliptic functions {cn,dn} in parametric form. For more details read "Plane Pendulum and Beyond by Phase Space Geometry" (Klee, 2016).

Irregular triangle read by rows (see examples). Consider an arbitrary anharmonic oscillator with Hamiltonian energy: H=(1/2)*b^2=(1/2)*(p^2+q^2) + Sum_{i=3} 2*v_i*q^i, and a stable minimum at (p,q)=(0,0). The phase space trajectory can be written in polar phase space coordinates as (q,p) = (R(x)cos(x),R(x)sin(x))=(R(Q)Q,R(Q)P). The present triangle determines a power / Fourier series of R(Q): R(Q) = b * (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 constructed from partitions of "n" listed in reverse lexicographic order. Partition n=(z_1+z_2+...z_j) becomes 2*Q^((z_1+2)+(z_2+2)+...(z_j+2))*v_{z_1+2}*v_{z_2+2}*...*v_{z_j+2} (see examples). This sequence transforms into A273506/A273507 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).

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).

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).