Use the orthogonal change of coordinates
It preserves distances and angles and gives . Thus the quadric surface is expressed along its principal axes as
The following three cases are the subparts of (ii) in the original PDF.
The spectral theorem for real symmetric matrices supplies real eigenvalues and an orthonormal eigenbasis. Compute eigenvectors, normalize them, and within each repeated-eigenvalue eigenspace choose an orthonormal basis. Distinct eigenspaces are already orthogonal because symmetry gives for eigenvectors with eigenvalues .
Use the resulting basis vectors as columns of . Then
The order and signs of the columns can be chosen freely; rotations within a repeated-eigenvalue eigenspace are also allowed.
Taking the adjoint of gives . In particular, the Hermitian parts of a unitary matrix are uniquely determined:
Expanding both unitary identities gives
Subtracting shows , and adding gives . If , commutation implies . The assumed simple spectrum makes the eigenspace one-dimensional, so . Thus have a common orthonormal eigenbasis.
On such a vector, . If the corresponding unitary eigenvalue is , then
The formulas for also show the same eigenvalue correspondence directly from and . Degeneracies do not prevent existence of a common basis, although the simple-spectrum assumption makes the elementary proof immediate.
The absolutely convergent matrix exponential series gives
for Hermitian . The exponents and commute, so their exponentials multiply to the exponential of their sum:
Hence is unitary. Alternatively, an orthonormal eigenbasis of turns the exponential eigenvalues into , all on the unit circle.
A Hermitian matrix satisfies , where denotes the conjugate transpose. For a nonzero eigenvector with , the scalar equals its own complex conjugate, and
Thus every Hermitian eigenvalue is real.
A unitary matrix satisfies . If , preservation of the squared norm gives
Since , . These statements concern complex eigenvectors, even when the matrix entries happen to be real.
Differentiating with respect to gives . Therefore
From part (iii), . Its frequency-side energy is
in agreement with Parseval's identity.
For sufficiently rapidly decaying functions, substitute the inverse Fourier transform of and interchange the integrals:
The bracketed integral is the complex conjugate of . This is Parseval's identity for the chosen normalization. One may first prove it for Schwartz functions, where the interchanges are justified, and then extend it to by the Plancherel theorem.
Let be the Fourier transform of . Since , integration by parts gives . Differentiation under the integral then yields . The Gaussian integral supplies , so
Applying part (ii) with gives
It is imaginary and odd, as expected for the transform of a real odd function.
Differentiate under the Fourier transform integral:
Hence the Fourier transform of a polynomial multiple is
Absolute integrability of the required moments justifies differentiation under the integral. The identity also extends to tempered distributions.
With the stated negative sign in the forward exponential, the inverse Fourier transform is
For example, this holds pointwise for Schwartz functions; more general square-integrable functions use the corresponding mean-square interpretation.
Separate variables as . The zero values at both plates give the Fourier sine basis
Expand the initial profile using orthogonality. With , its coefficients are
Consequently
Only odd modes occur because the initial profile is symmetric about the midpoint. The coefficients are absolutely summable, so dominated convergence gives uniformly as . The slowest decay rate is , associated with .
For the established time-periodic response, take a complex separated solution and set . The diffusion equation gives . For , define the penetration depth ; the spatial roots are . Decay at infinity selects
Its real part is the solution of Stokes' second problem:
The velocity amplitude decays exponentially, while the phase lags by . Direct substitution verifies the diffusion equation, and the two boundary conditions follow immediately.
These data select a unique periodic response, but do not specify an arbitrary initial transient. With no initial velocity supplied, one may add any suitable solution of the homogeneous-boundary diffusion problem. The displayed solution is the usual established oscillatory flow after transients have decayed.
The boundary conditions on the positive half-line, absent from the transcription, select the half-harmonic oscillator. The trial state with satisfies both endpoints and has finite norm and energy. Integration by parts, with vanishing endpoint term, gives
Using , the three required integrals are
Thus the exponential trial state for a half-harmonic oscillator gives . Its derivative vanishes at , and the arithmetic-geometric mean inequality confirms the global minimum:
For comparison, the exact lowest half-line state is proportional to and has eigenvalue three. The exponential trial family gives a valid upper bound rather than an exact eigenvalue.
Write and . For a real variation, with ,
Suitable endpoint conditions are homogeneous Dirichlet boundary conditions, homogeneous Neumann boundary conditions , or one of each. They remove the variation boundary term and the product . Stationarity for all interior variations is equivalent to
Conversely, multiplication of an eigenfunction equation by and integration by parts gives , hence . General Robin data require their boundary-energy contributions unless these endpoint products happen to vanish.
Use an eigenbasis orthonormal with respect to the weight: . For complex coefficients use the Hermitian version of the quotient, with absolute squares. Self-adjointness gives
When , dividing numerator and denominator by yields
If , these ratios are undefined, but the unscaled formula and upper-bound conclusion remain valid. The assumptions are a problem with a self-adjoint operator bounded below and a complete eigenbasis, with the trial function in its energy-form domain. The Rayleigh-Ritz method minimizes this quotient over an admissible trial family, obtaining an upper bound on . Higher eigenfunctions are stationary directions and need not be unrestricted extrema.
Use the full field in the PDF, including the exponential term missing from the transcription. Its divergence is
The exponential in the third component has zero derivative. In cylindrical coordinates, the solid has and . Therefore the divergence theorem gives the outward flux
The integration includes the entire closed boundary, both cap and base.
For a sufficiently smooth vector field on a volume with piecewise smooth closed boundary and outward unit normal vector, the divergence theorem states
Expanding the divergence of a cross product by the product rule gives . Apply the theorem to to obtain
Work in a Cartesian coordinate system, write , and use the Einstein summation convention. For a twice continuously differentiable vector field, the contraction of two Levi-Civita symbols gives
Here the Kronecker deltas select components, and equality of mixed partial derivatives gives the curl of the curl identity
For the second identity, the same contraction followed by the product rule yields
Thus the curl of a cross product is
The directional derivatives in the last two terms act on the vector field immediately to their right.

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