For a particular integral, try . Substitution gives , so . Hence
The forcing frequency differs from the homogeneous frequency, so no resonant factor of is needed.
Each component of the cross product in part (a) is independent of the coordinate with respect to which the divergence differentiates it. Thus
For , the components of an eigenvector are equal; for , they are opposite. Dividing each vector by its Euclidean norm gives
They are mutually orthogonal and have unit norm. The labels specify their eigenvalues even when .
For a nonzero separated solution of the reaction-diffusion equation, substitution and division by gives
The two sides depend on different variables, so both equal a separation constant. The homogeneous Dirichlet boundary conditions select a negative spatial constant, written :
For , . The boundary value at zero makes ; the boundary value at then requires , with . A zero spatial constant gives only a linear function vanishing at both endpoints, hence the zero function; a positive spatial constant similarly gives no nonzero admissible hyperbolic solution. Therefore
By superposition, the general solution with the stated boundary conditions is
The coefficients are fixed only if initial data are supplied: for , they are the Fourier sine series coefficients . Here they remain arbitrary subject to convergence. Every mode has the ordinary diffusive decay rate plus the additional reaction decay rate one.
The complex exponential satisfies . Multiplying by gives
Thus its real part is
The ratio of the two maximal volumes is
Thus the cylinder has the larger maximum volume, by a factor . Both optimal shapes have height , while their horizontal cross-sections have areas and , respectively.
Use the diagram's labels: are horizontal side lengths and is the height of the rectangular parallelepiped. Its four top vertices are at horizontal distance from the axis. Thus the contact constraint and volume are
Apply a Lagrange multiplier:
For positive dimensions, the derivative equations are
Substituting the last equation into the first two gives
Hence , and the constraint becomes . Therefore
These are the maximal cylinder and box in an elliptic paraboloid dimensions for the rectangular case. A horizontal rotation of the square footprint gives the same volume by rotational symmetry.
As in the diagram, an inscribed cylinder rests on , is coaxial with the paraboloid, and has its top rim on the curved boundary. Thus
Allowing contact with the boundary is the usual meaning of inscribed. Form the Lagrange multiplier function
At a nondegenerate stationary cylinder, its two derivative equations are
Eliminating gives . The constraint then gives and , so
The degenerate endpoints or have zero volume, consistent with the positive stationary value being the maximum. If the strict inequalities defining the open interior were interpreted as forbidding boundary contact, the same value would instead be a supremum approached by smaller cylinders.
For this odd function, the Parseval identity from part (a) gives
The integrand is even. Expanding and integrating it gives
Dividing by therefore proves
This evaluates the Riemann zeta function at six by using the norm of a simple polynomial.
The function is odd, so its constant and cosine coefficients are zero. Its sine coefficient is
The polynomial vanishes at both integration endpoints. Two integrations by parts therefore give
One more integration yields
Consequently and . Hence
The periodic continuation is continuous at , where its values are zero, so the series represents it there as well as in the open interval.
For a real -periodic square-integrable function, use the Fourier series convention
with Fourier coefficients
The trigonometric orthogonality relations are for positive , with the same formula for sines; sine-cosine products integrate to zero. The constant has squared integral and is orthogonal to every positive harmonic. Thus the squared norm of the th partial sum is
Taking the limit in the L2 space gives the Fourier-series Parseval identity:
Square integrability is the natural hypothesis for this finite norm identity; additional smoothness can be used when pointwise convergence is required.
Take the switch-off time to be . The state remains continuous through the source step, so . Its eigendirection decomposition is
The antisymmetric mode has zero amplitude because the first two initial components are equal. Applying the decay factors from part (b),
The first two responses decay at rate one and the third at rate four, approaching the new zero-source steady state.
At a steady state, . All eigenvalues of are nonzero, so it is invertible and
For the specified constant source this gives
Indeed the first two rows of each give one, and the third gives .

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