A binary linear-feedback shift register of length stores bits. At each clock it outputs one bit, shifts the state, and inserts a fixed linear combination over of the stored bits. Equivalently, its output obeys a recurrence
The Berlekamp-Massey algorithm processes the observed symbols from left to right. It maintains the shortest current connection polynomial , its degree , and a saved polynomial from the most recent degree increase. At step it computes the discrepancy
If , the current recurrence already predicts the new symbol. If , a shifted multiple of the saved polynomial is added to to cancel the discrepancy; when , the algorithm also replaces by and saves the old polynomial.
For the observed binary sequence, the nonzero-discrepancy updates are
All discrepancies through then vanish. Thus the shortest recurrence is
or, equivalently, . The connection polynomial is , and with the reciprocal convention the feedback polynomial is
For a Fourier mode , the wave equation gives
Taking the positive-frequency branch,
For , the phase velocity and group velocity are
The frequency rises from zero and approaches ; reaches its maximum at , while
shows that the front velocity is
Thus the wave at the front has
Moreover , so the packet outruns its crests for , the speeds agree at , and the crests outrun the packet for .
The initial conditions give the exact superposition
The condition makes this solution real. For with , the equation
has two positive roots . The second exponential has the corresponding stationary points . Since
the stationary phase method and pairing of complex-conjugate contributions give
For , the same picture is reflected and the stationary points have negative wavenumber. For there are no real stationary points, so a smooth localized spectrum gives a much smaller nonstationary tail outside the wave front.
The exact gap between the plane and the circle is
In the narrow region relevant to lubrication theory,
so changes occur over the streamwise scale ; below use .
Choose the positive direction to be the direction of the cylinder surface velocity in the gap, and write for the dynamic viscosity. The lubrication velocity profile and volume flux per unit axial length are
Since is constant and the pressure returns to the same ambient value as , . Therefore
Using and the supplied integrals gives
in the direction of the cylinder surface motion.
The shear stress exerted by the fluid on the cylinder is opposite to
Eliminating and inserting gives
where the sign is relative to . Since
the resisting torque per unit axial length is
Finally, the ratio of streamwise fluid inertia to transverse viscous acceleration is of order
The stated restriction makes this lubrication-scale Reynolds number small, justifying neglect of inertia.
A three-dimensional Bravais lattice is the set of all integer combinations of three linearly independent primitive vectors. Its reciprocal lattice is
and the first Brillouin zone is the Wigner-Seitz cell of the origin in reciprocal space.
For the stated FCC lattice, the primitive-cell volume is
The reciprocal-basis formula gives
A reciprocal primitive cell, and hence the Brillouin zone, has volume
In the first Born approximation, with momentum transfer , the scattering amplitude is
For the spherical shell, align the polar axis with and use its radial Dirac delta function:
Therefore
Translation of each atomic potential multiplies its transform by a phase, so the crystal lattice structure factor gives
For an infinite lattice, the lattice Poisson summation formula turns the sum into
Thus the amplitude vanishes away from reciprocal-lattice momentum transfers.
In elastic scattering, and hence
The two shortest relevant reciprocal-vector lengths of this FCC lattice are
Both are kinematically available when . Assigning their scattering angles and , respectively, gives
The angular momentum commutation relations imply
Thus has the same total-spin eigenvalue and magnetic quantum number . Its squared norm follows from
Choosing the conventional positive phases gives the spin ladder operator formula
For , in the ordered basis ,
Since ,
The incident state is the spin coherent state obtained by rotating through about the axis. Its amplitudes in the basis are
up to an irrelevant phase convention. The Born rule therefore gives
An interval map has a horseshoe for an interval map when two disjoint subintervals are each mapped across a common interval. It is Glendinning-chaotic when one of its positive iterates has such a horseshoe.
Let the points of the three-cycle be and put , . There are two possible cyclic orders. If , the intermediate value theorem gives
for the interval covering relation. Thus there are two closed covering walks of length two based at . In the reverse cyclic order there are instead the arrows , and , again giving two closed walks of length two. The horseshoe from two closed covering walks therefore shows that has a horseshoe in either case, so is chaotic.
The Sharkovsky theorem orders the positive integers as
and says that a cycle of a given period forces cycles of every period to its right.
Suppose with odd. Then has a -cycle. The Sharkovsky theorem gives that map a six-cycle, and squaring it produces a three-cycle. Hence has a three-cycle and an iterate of has a horseshoe. Thus
A horseshoe contains the symbolic dynamics of the Bernoulli shift. Periodic binary words give cycles of every symbolic period; after translating from an iterate back to , this supplies cycles of many periods that are not powers of two.
For the logistic map, a ten-cycle would imply chaos because is not a power of two. Hence there is no ten-cycle for . A three-cycle forces every period, so a ten-cycle exists for . The stated facts alone give no conclusion for the intermediate range:
The intended integral representation of the modified Bessel function is
Differentiation under the integral sign gives
Since
integration by parts and the vanishing endpoint term yield .
For large positive , Laplace's method localizes the integral near the endpoint . Put and use
Extending the exponentially small tail to infinity and evaluating the resulting Gaussian integrals gives
and therefore
Now write . Direct differentiation gives
so substitution into the ordinary differential equation gives
For the Liouville–Green approximation, put . The two approximate solutions are
so at leading order . The growing solution agrees with the preceding asymptotic expansion, including its leading normalization .
Let
Assume for a contradiction that is rational. For every , both and
are integers, because the are integers. Their positive difference
must therefore be a positive integer.
On the other hand, concavity of for gives . Since ,
Eventually , contradicting its integrality. Hence
The integrality assumption is essential. For example, take , , and
Then , but the exponential series gives
Thus the result does not remain true for arbitrary real .

There are unlisted articles, also show them or only show them.