Let be the real orthogonal matrix. If for a nonzero complex eigenvector, then preservation of the complex Euclidean norm gives
so . Its characteristic polynomial has real coefficients, hence nonreal eigenvalues occur in conjugate pairs. Such a pair is , and the remaining real eigenvalue is or .
If all three eigenvalues are real, each is ; two have the same sign and can be paired as with or . Thus in every case the spectrum has the form
Their product shows that .
The inverse is assumed to exist. First,
By matrix commutation with an inverse, multiplying on both sides by gives
An equivalent calculation writes , so both products equal . No convergent infinite matrix series is needed.
At , the two continuous triangles overlap near zero. Their amplitudes add, giving a central plateau. Explicitly, write for the continuous part of :
There are also the two carrier Dirac delta lines . The last panel of the preceding figure shows this spectrum and the retained central portion. The prescribed strict cutoff removes the carriers and keeps
The values of the ordinary function at individual endpoints do not affect its inverse transform. To handle the carrier lines, one must additionally assign zero filter gain to those lines, as the carrier-rejecting prescription indicates. A discontinuous mask has no canonical product with a Dirac delta at its discontinuity; a different physical boundary gain would leave a corresponding multiple of .
The retained spectrum is real and even. Its inverse Fourier transform is
Integrating the linear factors yields
The removable value is , obtained either by expansion or by integrating . Because the carrier frequency is below the message bandwidth, this is Fourier filtering of overlapping amplitude-modulation sidebands; the usual picture of two isolated bands in single-sideband modulation does not apply without that qualification.
A direct way to avoid the singular transform of is to invert a triangular function. Evenness gives
At the limit is , so there is no singularity in the original signal. Thus
Alternatively, the hint uses the Hadamard finite-part reciprocal-power distribution, whose distributional Fourier transform is ; combining its three translates gives , the same triangle. Treating as an ordinary integrable function would be invalid.
The message spectrum has height at zero, vanishing at . For , the modulated continuous spectrum consists of disjoint triangles of height , centred at , each with half-width one. In addition there is a Dirac delta carrier line of weight at each centre. These lines have specified area, not a finite height; arrows mark them schematically.
Figure 1.
Triangular message spectrum, separated sidebands, and overlapping sidebands with the prescribed carrier-rejecting filter
. Details.
Use the Fourier transform convention
Since in distribution theory, the carrier has transform
The modulation property of the Fourier transform translates the message spectrum to the two carrier frequencies. Therefore
The first term represents the unmodulated carrier wave; the other terms are the amplitude modulation sidebands.
The left-hand value at the junction is
The right-hand value is
Thus the piecewise Green function solution is continuous, with
Its derivative is continuous as well: both one-sided values equal . Only the second derivative jumps, consistently with the step in the forcing and the absence of a Dirac delta source.
Away from , the homogeneous equation has solutions . A basis adapted to the two boundary conditions is at the origin and at infinity. Their Wronskian is . The Green function must be continuous at , while integration of across the source gives
These conditions give the Dirichlet half-line Green function for minus d2 plus 1:
where and . The second term is the image that enforces ; both terms decay as .
For the finite forcing interval, . When , split the integral at :
When , the entire source interval lies to the left, giving the Dirichlet half-line response to uniform interval forcing
This solution is unique: a homogeneous difference satisfying the origin condition is proportional to , which cannot decay at infinity unless its coefficient is zero.
With the specified ratios, the two factors in the modal amplitude become and . Hence a normal mode is unexcited precisely when one of these factors is zero:
That includes all multiples of five or fourteen, with multiples of seventy counted once. The mode is not a fixed-end string mode.
Assume the struck interval lies within the string, so . The initially stationary straight string has . Write its initial velocity as a Fourier sine series . Then
Thus . Immediately after the strike all the energy is kinetic energy:
The orthogonality integral assigns energy to mode . Since the ideal modes evolve independently, their total kinetic-plus-elastic energies remain constant. Therefore the modal energy of a localized velocity impulse on a string gives
The centre factor selects modes having significant motion at the impact location; the width factor accounts for cancellation across the finite hammer footprint. Parseval's identity ensures . The velocity discontinuities are understood in the mean-square sense and do not alter the energy integrals.
Set in the wave equation. A nonzero product obtained by separation of variables obeys
The fixed-end Dirichlet boundary conditions require . The zero and negative spatial eigenvalue cases produce only the trivial solution; the nontrivial eigenfunctions are
For each normal mode, . By superposition and completeness of the Fourier sine basis, the general finite-energy solution has the expansion
If and , orthogonality gives and . Individual products are separable; their sum is the general solution.
Use the intended infinite square well interpretation: the kinetic-energy operator on with zero Dirichlet boundary conditions. The variational energy is most safely evaluated through its quadratic form,
The boundary term vanishes because the trial function vanishes at both walls. Its zero extension has derivative jumps there, so the form interpretation avoids assigning an unrestricted full-line second derivative to it.
Set and . Apart from an irrelevant factor , the trial function is . Polynomial integration gives
Hence the polynomial Rayleigh-Ritz trial space for a one-dimensional box has energy
The denominator is strictly positive, since . Differentiation gives
The two stationary parameters are . The smaller is a local maximum; the larger is a local minimum. Since the energy tends to as , the latter is the global minimum:
The upper stationary value is . Exact roots give a slightly tighter bound than substituting the rounded hints.
There are two qualifications to the printed operator and comparison energy. For the box with Dirichlet boundary conditions and width , the actual ground-state energy is
which lies just below the variational result. The coefficient printed as an exact eigenvalue is inconsistent with this box problem. Also, merely declaring the differential expression to be zero outside the interval does not impose hard-wall confinement or specify a self-adjoint domain. Read literally on a space admitting exterior-supported states, it has zero-energy states outside and does not have the claimed positive ground energy. The boxed variational result is the well-defined answer for the intended confined particle; a different full-line operator would need its domain and matching conditions supplied.
The polynomial vector field is smooth throughout the solid, so the divergence theorem applies. Differentiation gives
The volume is invariant under both and . Hence the integrals of the two odd terms vanish, and the flux is simply the volume. Using the circular cross-sections,
The seams between the surface pieces have zero surface measure and contribute no extra term.
The upper piece is a downward-opening circular elliptic paraboloid cap, running from the circle to the apex . The middle piece is the side of a circular cylinder of radius one and height one. The lower piece is the unit disk in the horizontal plane. Their union is the closed boundary of
The four panels show the three separate pieces and their union; there is no additional fourth component. In a meridional section, the boundary consists of the base segment, two vertical sides, and the parabolic cap. The outward normals point downward on the base, radially outward on the cylindrical side, and upward/outward on the cap.
Figure 1.
Three boundary pieces and their closed union, shown as original surfaces of revolution
. Details.
For a bounded volume with piecewise smooth closed boundary , and a continuously differentiable vector field on a neighbourhood of , the divergence theorem states
Here is the outward unit normal vector. The left side is the outward flux; the right side integrates the divergence over the enclosed volume.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact