Using the decomposition from part (ii), maps Alice's to and to . Alice obtains or , each with probability . Conditional on outcome , Bob has ; conditional on outcome , Bob has .
The matrix is real orthogonal. Part (a) gives
Expanding the left side in the computational basis yields
Since
application of gives , and subsequent application of gives
Thus .
The exact line search for a positive-definite quadratic gives
Using
produces the stated ratio formula. If and are the extreme eigenvalues,
Hence the fraction in the ratio is at least , and iteration yields
When , , so the right side is zero after one iteration: exact line search reaches the solution in a single step.
Since , exact line search minimizes . Differentiation gives
so
The gradient is . Completing the square gives
for , so is the unique global minimizer. Since ,
Let . The Jacobi method is
so and . If is strictly diagonally dominant, every Gershgorin disc of is centered at zero and has radius
Every eigenvalue therefore has modulus below one, so and part (i) proves convergence.
Writing the error as gives
provided the fixed-point consistency condition
holds. Convergence for every starting vector is therefore equivalent to , which in finite dimensions is equivalent to
These two conditions are necessary and sufficient.
The mountain-wave cutoff follows because the hills force intrinsic frequency , whereas internal gravity waves require . Thus separates long hills, which radiate vertically propagating waves and carry energy upward, from short hills, whose response is evanescent and carries no mean vertical energy flux.
If , then with chosen so that the disturbance decays as . The pressure amplitude is then ninety degrees out of phase with , since is purely imaginary. Hence
Horizontal momentum and incompressibility give
Therefore
For upward radiation take and , obtaining
The boundary condition gives complex amplitude . Substitution of the internal gravity wave form
into the internal-wave equation gives
Since ,
For , choose the sign of that gives upward energy propagation; with , this is .
In coordinates moving with the background fluid, . The stationary hill profile becomes
so in the convention its frequency is ; its physical angular frequency has magnitude .
For lattice spacing , the first Brillouin zone is
At its boundaries , while at the energies are . Thus the lower band runs from to , the upper from to , and each has bandwidth
The requested plot consists of these two even branches, separated by a gap of size at the zone boundaries.
Using one even and one odd site per unit cell, Bloch theorem reduces the Hamiltonian to
Its eigenvalues are
Translation preserves the alternating on-site term only when , so
The primitive lattice spacing is therefore .
The Floquet multipliers satisfy
If , they are complex conjugates on the unit circle, , and bounded Bloch waves exist: lies in an allowed band. If , the multipliers are real reciprocal numbers, one growing and one decaying, so there is no extended bounded Bloch state and lies in a gap.
For real and real , choose a real fundamental pair of solutions. The corresponding Floquet matrix has real entries, so is real. The trace is basis independent, so this holds for every fundamental pair.
For two solutions of the Schrödinger equation, their Wronskian is constant because the equation has no first-derivative term. The determinant of the Floquet matrix is the ratio of the Wronskian at to that at , hence
For , the matrix element of between and gives
The ladder coefficient is nonzero, so adjacent diagonal entries agree. Induction makes the diagonal entry independent of .

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