The inequality is equivalent to . The cosine exceeds close to zero and , and is less than close to . Within the specified interval this gives
The four equality angles are excluded because the inequality is strict; zero and satisfy it and are included.
The increasing substitution maps onto , with . Since sine and cosine are nonnegative there, powers combine without a sign ambiguity:
This is the trigonometric form of the beta function. The powers at the endpoints are integrable because .
The cosine-difference identity gives . Hence
Each sine ratio tends to one, so
Equivalently, the quadratic terms of the two cosine expansions differ by .
Differentiate the Fourier series term by term and collect cosine and sine terms. Substitution into the equation gives
For a smooth periodic solution, differentiation of the series is justified. Alternatively, multiply the differential equation by each trigonometric mode and integrate by parts; periodicity cancels the boundary terms and gives the same coefficient constraints without first differentiating an infinite sum.
Fourier orthogonality isolates a coefficient. Multiplication by and integration over annihilates the constant, all cosine terms and all sine terms except the one with , whose squared integral is . Thus the corresponding coefficients on the two sides must agree for each positive integer .
Multiplication by works in the same way, while integration against the constant mode extracts . This is the uniqueness of the Fourier coefficients; it does not follow from comparing a few point values of the series.
The complementary function is . A particular solution is , since applying to either sine or cosine multiplies it by . Thus
At zero, , giving . At , the cosine term vanishes and the particular term is , so . Consequently
The two boundary conditions determine the two constants uniquely because their evaluation matrix on is the identity.
Differentiate , :
Squaring and adding cancels the mixed terms and uses , giving
For this cardioid, the polar arc length integrand is
The cosine inside the absolute value changes sign at . Therefore the perimeter is
in coordinate length units. The isolated cusp does not obstruct this piecewise smooth arc length integral.
Assume . For any nonzero integer ,
For , the product-to-sum identity expresses the integrand as one half the sum of cosines with nonzero frequencies and , so the integral is zero. For , use to get . Finally, for the integrand is one. The complete Fourier orthogonality formula is
The constant mode has twice the squared norm of a positive-frequency cosine mode.
With the standard real normalization, the Fourier series of a period- function is
where
For the partial sum , Fourier orthogonality eliminates all cross terms. The constant term contributes , while every squared sine or cosine integrates to , giving
For a square-integrable function, completeness of the trigonometric orthogonal basis in the Hilbert space makes in norm. Passing to the limit proves Parseval's identity:
Square integrability is the needed hypothesis here; periodicity alone is not an integrability or convergence condition.
Put . The trigonometric identities give . Expanding cosine at zero gives
The linear and cubic terms vanish, so these are the first two nonzero Taylor series terms.
Put . The original PDF confirms that the is inside the radical. For the composite cosine,
At , and . Substituting into gives
All three displayed coefficients are nonzero.
For a short string element of length , the small-slope approximation makes the upward components of tension at its two ends and . Its mass is . Newton's second law gives
Divide by and take the limit to obtain the wave equation on a string,
Here is linear mass density, and the derivation assumes small transverse slopes, uniform tension, and a flexible string.
At the right endpoint the string pulls the ring toward the interior. Its vertical force is therefore to first order; the frictionless wire supplies no vertical force. The ring obeys
This is the dynamic endpoint law for a string with an endpoint mass.
For a separated oscillatory solution, write with and . The fixed left end removes the spatial cosine, so the nonzero normal modes have
The endpoint law gives . Since would also force the cosine to vanish, it can be divided out for a nonzero mode. Using gives
For physical , these give all positive modal frequencies. There is no nonzero static linear mode: the left value and right slope conditions would force it to vanish. Positivity also follows by integration by parts from
For , the right endpoint is free, with the Neumann boundary condition . At , the allowed wave numbers are , , and . Zero initial displacement removes every cosine-in-time coefficient. The initial velocity contains only the modes and , each with coefficient one. Dividing those velocity coefficients by their angular frequencies gives
At each term vanishes, at each spatial derivative vanishes, and at the displacement and its time derivative reproduce the two initial conditions.
Here and . Their derivatives give
Thus on intervals with , choose the integrating factor . The multiplied form is
Consequently
This implicit family includes and the branch when . Where the coefficient of is nonzero, its differentiated form directly recovers the original equation. A useful equivalent relation is . At , the original equation requires ; continuation there must be checked in that original equation rather than justified by the singular integrating factor. In particular the zero solution extends everywhere, and extends smoothly across the cosine zeros where it is defined.
Each proposed displacement has second derivative . Matching the coefficients of the common time factor in the three equations gives
These algebraic relations hold for the entire oscillation, including the isolated times when the common cosine vanishes.
Expanding the determinant along the first row gives
The eigenvalues and normalized spatial eigenvectors, in increasing frequency order, are
For each mode both signs of give the same cosine displacement. An arbitrary overall mode amplitude remains free. These vectors are the instances of the sine eigenvectors of the fixed-end spring chain.
The sine and cosine functions are orthogonal over a complete period. For positive integers ,
while every mixed sine-cosine integral and every integral of a nonconstant single harmonic is zero. These identities follow from the product-to-sum formulas and the integer-period endpoint values.
Multiply the Fourier series by and integrate. All terms except vanish, giving . Repeating with sine isolates . Thus
Integrating without a harmonic also gives . The factor on the constant term in the chosen convention is essential.
Put , so the nonzero half-cycle is . The constant coefficient is
The sine coefficients satisfy
by sine orthogonality. For the cosine coefficients, the product-to-sum identity gives, when ,
The case is zero directly. Hence
The first five nonzero terms, counting the constant as the zero-frequency term, are
The general coefficient formula specifies every remaining term. This is the Fourier series of a half-wave rectified sinusoid; the waveform is continuous at the joins, so the series gives its actual value there.
The original PDF contains the product ; the transcription drops the after the first sine. Using gives the finite Fourier sine series
Thus , , and all other sine coefficients vanish. No cosine or constant terms are present.