Adding the steady and transient parts gives
Integrating the sine across the channel gives . Thus
For even the signed flow rate is zero, because positive and negative velocity lobes cancel. For odd the bracket is two. Both expressions vanish initially and approach their steady values exponentially; gives the trivial zero solution throughout.
Separate . On a nonzero product region,
A decaying temporal factor requires , with . The zero spatial boundary values give and , hence with . Zero or negative separation parameters give no nonzero spatial mode with both boundary values zero.
The initial profile is already exactly the sine eigenfunction. Its coefficient therefore determines a single separated solution:
The exponential tends to zero because . More generally sine orthogonality would determine a sum of such modes, but all other coefficients vanish here. This is the transient of the heat equation with a single stationary sine forcing.
The steady profile has no time derivative. Substituting and using its steady equation cancels the forcing, giving
The initial condition is
The resulting heat equation is independent of , as are its boundary conditions. Its initial amplitude still depends on ; removing a source from the evolution equation does not remove it from the whole problem.
In a steady state, . Since the second derivative of the sine is times itself,
The zero boundary values at force . Therefore
Introduce a second multiplier and use
The stationary equations become . Writing gives
The two constraints determine the constants through
Equivalently, with , and . This is the maximum entropy distribution with a prescribed finite mean.
For nonconstant , a strictly positive solution exists exactly when . The mean's derivative with respect to is , so is unique in that case. At either extreme mean no strictly positive solution exists. If all , feasibility requires and the extra constraint is redundant: , while are not separately identifiable. The negative entropy Hessian ensures that any feasible interior stationary point is the unique constrained maximum.
Use . Differentiating with respect to each positive gives
Every is therefore equal; normalization forces
The Hessian matrix of is diagonal with entries , so its quadratic form is strictly negative for every nonzero perturbation. In particular it is negative along the tangent space , making this the unique global maximum on the positive probability simplex. This is the maximum entropy distribution on a finite set, using natural logarithms.
At a regular constrained stationary point, the change in along every allowed tangent direction must vanish. Thus its gradient is normal to the constraint curve, giving the Lagrange multiplier equations
provided . Solve these equations for , then classify the candidates using the constraint or a constrained second-derivative test. Points where the constraint gradient vanishes require separate analysis.
For variables and regular independent constraints , use one multiplier per constraint:
There are scalar equations in the unknowns. Independence of the constraint gradients is the regularity condition; boundary points must be treated separately when present.
The given identity immediately yields . Thus only the fundamental sine coefficient changes: becomes . No new integral is needed. The first five nonzero terms are
This also follows from translation of a Fourier series: a half-period delay multiplies the th harmonic by , leaving the constant and even harmonics unchanged and reversing the only odd harmonic present.
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 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.
The largest angular-frequency magnitude is . With overall amplitude , the corresponding displacements are
Thus the two outer masses move together, while the middle mass moves oppositely with times their amplitude. All three have the same period .
Figure 1.
Highest-frequency mode of three equal masses between fixed supports
. Details.
The pairwise dot products of the normalized vectors are
Their squared norms are respectively , , and , all one. Hence they form an orthonormal basis. This also follows from the spectral theorem for real symmetric matrices, because is symmetric and its three eigenvalues are distinct.
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.
With , the eigenvalue equation is
The dimensionless matrix is the stiffness matrix divided by ; its eigenvalues determine squared angular frequencies.
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.
An eigenvalue equation has the form , where is an eigenvector and its eigenvalue. It means that the linear map preserves the vector's line and acts there by multiplication by . Nonzero solutions occur precisely when ; the zero vector is excluded because it would satisfy the equation for every .

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