With downward position as the vertical coordinate, the full potential energy is
The equilibrium tensions are , and . On expanding, these relations cancel every term linear in the displacements, leaving . Newton's second law therefore gives
For a normal mode , set . The generalized eigenvalue problem is
Its determinant is , so the angular frequencies and mode directions are
The square roots of these positive values give the requested frequencies. Only the lowest mode has all components of the same sign, so all three particles oscillate in phase at the lowest frequency. The mode shapes are shown below.
Figure 1.
The three relative displacement patterns of the unequal-mass chain, from lowest to highest frequency
. Details.
For release from rest with remaining at equilibrium, choose
This excites only the middle-frequency mode, so for all time. It is a stationary middle mass in a three-mass spring chain: the equal and opposite adjacent spring forces cancel on .
Introduce a Lagrange multiplier for the constraint and vary with , where . The first variation is
The fundamental lemma of the calculus of variations gives the Sturm-Liouville equation . Multiplying by , integrating by parts and using the endpoint conditions gives . Therefore the normalization implies . Assume the coefficient and function regularity needed for these variations and integrations; the condition makes the constraint derivative nonzero at a normalized function.
For the radial problem, set . A direct differentiation gives , so
Finite supplies the first boundary value. The Rayleigh quotient is . For the two trials, and , the numerator-denominator pairs are and , respectively. Hence
The exact eigenvalues are , so . Both trials give upper bounds by the Rayleigh-Ritz variational principle, and the first estimate is more accurate, since it is smaller. Trial admissibility uses the Dirichlet energy form for ; the first trial's nonzero radial derivative at the origin does not invalidate this variational calculation.
To improve, add independent trial functions and minimize the quotient over their span. Here merely combining the two supplied trials gives no improvement: their two-dimensional stiffness and mass matrices are
The lowest Ritz value is still ten. Instead add the symmetric quartic . On the span of , the generalized eigenvalue problem has
Its determinant is , so the least root gives
This is strictly better than both original estimates. The symmetry obstruction in a polynomial Rayleigh-Ritz trial space explains why the cubic addition failed while the quartic helps. It is also the shifted-interval version of the polynomial Rayleigh-Ritz trial space for a one-dimensional box.
Figure 1.
Original and improved polynomial trial functions compared with the lowest sine eigenfunction
. Details.
Let , where for a nonzero admissible real function. Writing , its first variation is
Choose boundary conditions making the boundary term vanish, for example homogeneous Dirichlet boundary conditions, homogeneous Neumann boundary conditions, or a corresponding mixed pair. Arbitrary interior variations then give the Sturm-Liouville problem
Multiplying this equation by and integrating by parts, with , yields
Thus eigenfunctions are stationary directions of the quotient. The lowest eigenvalue is its global minimum; higher eigenfunctions need not be unrestricted maxima or minima. General Robin boundary conditions require including their boundary energy in the quotient unless the displayed endpoint products also vanish.
The Rayleigh-Ritz method chooses admissible trial functions depending on finitely many coefficients and minimizes this quotient over them. Expansion in a complete orthonormal basis with weight shows , so the trial minimum is an upper bound on the true lowest eigenvalue. In a finite basis, the minimization becomes a generalized eigenvalue problem for the stiffness and weighted mass matrices. Enlarging the trial space can only lower or preserve this upper bound.
Choose generalized coordinates measured from a static equilibrium point, and assume a conservative system with no velocity-dependent forces. Keeping terms of degree two in displacements and velocities gives the small oscillation Lagrangian
Here is the positive-definite symmetric mass matrix evaluated at equilibrium, and is the symmetric Hessian matrix of the potential energy there. The linear potential term is zero by equilibrium, and an additive constant has been dropped. Coordinate-dependent corrections to the kinetic matrix contribute only at higher order.
The Euler-Lagrange equations are . For a normal mode , they give the generalized eigenvalue problem . A nonzero mode shape exists exactly when
This is a degree- polynomial in . At a stable equilibrium its roots are nonnegative; zero roots correspond to zero modes.
With the stated parameters, the mass and restoring matrices are
The generalized eigenvalue problem gives
Therefore the two normal angular frequencies are
The second row of the modal equation is . It gives the mode shapes
Each normal mode has arbitrary small amplitude and phase . The bob's horizontal displacement is to first order. Thus in the lower mode, bob and cart move in phase, with bob amplitude times the cart amplitude. In the higher mode they move oppositely, because ; the bob amplitude is times the cart amplitude. Its vertical displacement is quadratic in the angle and is absent at this order.
For an ordinary conservative mechanical system, choose generalized coordinates measured from a static equilibrium point. Assume the kinetic energy is quadratic in velocities and there are no velocity-dependent forces. Expanding about equilibrium, the linear term in the potential energy vanishes. Retaining only terms of total degree two gives the small oscillation Lagrangian
An irrelevant constant has been dropped. Coordinate dependence of contributes only terms of third or higher total degree. The matrices are symmetric, is positive definite for independent coordinates, and is positive semidefinite at a stable equilibrium. The Euler-Lagrange equations are
A normal mode has a fixed mode shape and one time factor: . Its angular frequency solves the generalized eigenvalue problem , with . Thus is the normal angular frequency, and the frequency in cycles per unit time is . A zero mode satisfies ; its time dependence is , describing an unopposed displacement or uniform drift rather than a restoring oscillation.
Label the equal masses and the mass by , in cyclic order. Let their equilibrium angles be , with angular displacements . Because the hoop has unit radius, its three arc lengths are
The springs themselves are constrained to the hoop, so these are arc lengths. If their common natural length is , Hooke's law gives . Since the arc lengths have fixed sum , all terms linear in the cancel. Dropping the constant,
Thus the unspecified common natural length does not affect the motion. The mass and restoring matrices in the generalized eigenvalue problem are
Exchange of the two equal masses separates symmetric and antisymmetric normal modes. Direct multiplication gives the complete set
The first is rigid rotation of all three beads: every arc length stays fixed, giving a zero mode. In the second, the equal masses move oppositely while the heavy bead stays fixed; the net force on that bead cancels. In the third, the equal masses move together and the heavy bead moves oppositely with equal angular amplitude. Both nonzero normal modes have zero total angular momentum. These are the normal modes of three beads connected by springs on a circular hoop with .
For the added trial term , the left Dirichlet boundary condition is automatic for a positive integer . At the right endpoint,
To preserve for an arbitrary variational coefficient , choose . Then minimize the Rayleigh quotient of over .
Since remains available, this optimization cannot worsen the original upper bound. For , the added function is a multiple of the first trial, so the quotient does not change: an independent choice is needed for extra freedom. More generally, several such functions form the exponential-polynomial trial space for a mixed Sturm-Liouville problem, and the Rayleigh-Ritz method reduces minimization to a small generalized eigenvalue problem.
For two bars, after subtracting the gravitational equilibrium,
A normal mode requires the generalized eigenvalue problem . With ,
Thus, for ,
Both squared angular frequencies are positive. A corresponding eigenvector is , from the first row of the matrix equation.
For sufficiently smooth functions satisfying the same boundary conditions, integration by parts gives the boundary form
The stated endpoint relation annihilates this expression. This proves the required self-adjoint differential operator identity; for the usual regular Sturm-Liouville problem, separated real boundary conditions give a self-adjoint realization on its domain.
In this problem the transformed diffusive flux is . Thus the physical boundary conditions are
equivalently when the endpoint values of are positive. In particular at the endpoints, which makes the boundary form vanish directly. The inner product used here is the ordinary integral; the weight enters the generalized eigenvalue problem, not this boundary-form calculation.
Order points along each -line before moving to the next -line. The splitting has
and couples the two neighboring -lines. Factor once with the Thomas algorithm; each iteration then needs tridiagonal solves and the neighboring-line right sides, costing for unknowns. Known boundary values are moved to the right side; the error eigenmodes have homogeneous boundary values.
The generalized eigenvalue problem is
with at the boundary indices. Put , . The sine addition formula gives and the corresponding identity in . Thus
These tensor-product sine vectors form a basis, so they give the whole spectrum. With ,
The iteration therefore converges.
It is not a uniformly effective multigrid smoother. Take and : the error is slowly varying along a line but highly oscillatory between lines, and its multiplier is as the grid is refined. It changes sign at each step while retaining almost its full amplitude. This line-Jacobi Fourier spectrum distinguishes convergence on each fixed grid from the high-frequency damping needed by the multigrid method.
A normal mode has all displacement coordinates proportional to a common time dependence, with fixed relative amplitudes. For a nonzero frequency the time dependence is sinusoidal. A zero-frequency mode is a free displacement or uniform drift rather than an oscillation.
Use the printed mass ordering . Displacements are measured from the unstretched equilibrium positions, giving
Equivalently,
This is the generalized eigenvalue problem for normal modes of three masses connected by two equal springs. Substitute to obtain . Reflection symmetry gives an antisymmetric vector and symmetric vectors . The former has . For a symmetric vector, the end and centre equations give and . Their solutions are , , or , . Hence
These are all three eigenmodes. The last two keep the centre of mass fixed and are orthogonal in the mass-weighted inner product. The general zero-mode contribution is , accounting for both a centre-of-mass shift and a conserved total momentum. There are no fixed end springs in this system.
The original amplitude profiles illustrate ; the symmetric internal shape is rescaled for display. The formula above gives every positive mass ratio.
Two further physical examples are standing-wave modes of a string fixed at both ends, with spatial shapes and frequencies , and electrical normal modes of two coupled LC circuits, in which the capacitor charges oscillate at fixed relative amplitudes. Independent normal mode coordinates simplify both systems in the same way as the spring-chain eigenvectors.
Why degenerate perturbation theory is needed. If several unperturbed states have equal or nearly equal energy, a perturbation can mix them at leading order. In that subspace, diagonalize the perturbation matrix rather than using nondegenerate formulas with small energy denominators. The resulting eigenvectors identify the combinations selected by the coupling, and the eigenvalues give the leading splitting. Other remote states can then be included perturbatively.
For the linear combination of atomic orbitals description of molecular hydrogen, equivalent atomic states on the two nuclei supply the nearly degenerate starting functions. In an orthonormal two-state model, equal diagonal energy and real hopping give and symmetric/antisymmetric combinations. For actual overlapping atomic functions with overlap and Hamiltonian coupling , one instead solves a generalized eigenvalue problem:
The bonding state has enhanced density between the nuclei and the antibonding state a separating node. Two opposite-spin electrons occupying the bonding molecular orbital describe the simplest closed-shell hydrogen-molecule bond. Electron-electron interaction and nuclear repulsion are needed to calculate a realistic total binding energy; the two-state splitting alone is not the full molecular energy.
In the nearly-free electron model, the analogous degenerate states are plane waves and at a Bragg scattering. A Fourier coefficient of the periodic potential couples them. At exact degeneracy , diagonalizing their two-by-two matrix gives
The associated standing waves place electronic density differently relative to the ionic potential. These are the same gap-opening combinations illustrated in Q1(b). The labels of the two starting basis states survive as mixed orbital or plane-wave character, rather than independent crossing eigenstates.
Origin of broad and narrow bands. Spatially extended s/p-derived orbitals have substantial overlap and therefore large hopping amplitudes and broad bands. More localized d orbitals overlap less strongly and produce narrower bands. A multiorbital tight-binding calculation assigns the on-site orbital energies and hopping matrices, forms Bloch sums, and diagonalizes the resulting matrix at each wavevector. Different hopping ranges and orbital symmetry determine the bandwidths and allowed interband coupling. The two-band description retains one broad combination and one nearly flat d-derived combination; a real transition metal contains several d orbitals and more complicated dispersions.
Hybridized eigenvalues and eigenstates. Let , in an orthonormal basis. Hermitian operator fixes the reverse coupling to be . Projection onto the two components gives
Solving this quadratic yields the band hybridization dispersion
For nonzero , one eigenvector representation is , followed by normalization. Thus the wavefunctions exchange broad-band and d-band character through the avoided crossing; the levels are equal mixtures at the uncoupled crossing.
At , the parabola crosses the horizontal level at , with . For small nonzero , the curves avoid crossing with minimum direct separation . The lower branch follows the parabola below the crossing and flattens toward above it; the upper does the opposite. The lower branch satisfies everywhere and tends to from below as , while the upper branch always lies above . This is the perfectly flat-band continuum approximation, with zone-boundary intersections excluded as requested.
Figure 1.
Uncoupled and weakly hybridized broad/flat bands, with the shifted Fermi radius and small lower-band slope
. Details.
Fixed particle number and the larger Fermi sphere. Denote the uncoupled broad-band Fermi radius by to distinguish it from the new one . With two spin states, the broad-band number density at is . The stipulated equal population in the flat sector makes the total density twice that value. At zero temperature and any nonzero hybridization, all occupied states fit into the monotonic lower branch below , while the upper branch is empty. Therefore
This is the stated factor increase. It uses fixed total particle number, equal spin counting, an exactly flat unhybridized band and enough available states below any Brillouin-zone restriction. In generic pairs of dispersive bands both hybridized pockets can remain occupied; then Fermi-volume conservation in two hybridized electron bands fixes a sum of volumes rather than this one radius. The exactly flat band is degenerate at , so its initial occupation must be specified, as it is here.
Fermi-velocity suppression. Set . The exact derivative of the lower branch is
At , and . For , the square bracket divided by two is . Since group velocity is and the broad-band reference velocity is ,
so the flat-band hybridization Fermi-velocity suppression is
The reference velocity is that of the original broad-band Fermi sphere, not the broad-band slope at the larger ; omitting the radius change loses the factor .
The low-temperature qualification becomes more stringent as : the new chemical potential approaches with , and the relevant thermal energy must be small compared with this hybridization scale. At fixed nonzero temperature the singular flat-band redistribution is not automatically resolved for arbitrarily small coupling. A small but finite narrow-band dispersion can also change the occupation topology.
Density of states and magnetism. For an isotropic three-dimensional branch with spin degeneracy two,
A small Fermi velocity therefore produces a large density of states. The localized, partially filled d-derived bands in iron, cobalt and nickel place many states close to the Fermi level; broad s/p-derived conduction bands in copper, silver and gold coexist with filled d bands lying below it. This explains the substantially larger Fermi-level density of states of the former group within the band picture. An exact factor of ten requires the actual band parameters and is not fixed by the two-band toy model.
A high density of states lowers the kinetic-energy cost of spin polarization. A repulsive exchange interaction can then satisfy the Stoner criterion and stabilize ferromagnetism. With a single-spin density of states and an on-site interaction normalization, the criterion is ; with spin-summed , it is . The large d-state contribution favors this instability in Fe, Co and Ni. The noble metals do not satisfy the corresponding instability condition in the same ordinary state; this does not imply that they have no weak magnetic response whatsoever.
Adopt the usual orthogonal tight-binding approximation, so the three localized spatial states are orthonormal. Each site has two neighbors, with the same real hopping matrix element. For coefficients , the Schrödinger equation at site is
The constant-coefficient state has , giving energy . Its normalization therefore yields
To verify that it is the ground state, the three discrete ring momenta are , with and energies . The other two states both have energy . Since , and the gap is . This is the three-site tight-binding ring spectrum.
The spatial ground state is unique and has equal probability on every site; its common overall phase is arbitrary. Spin would supply a separate twofold degeneracy when no spin-dependent terms are included, but does not change the requested spatial state. If the localized functions were instead nonorthogonal raw atomic orbitals, their overlap matrix would be additional data needed for normalization and a generalized eigenvalue problem.
Two atomic orbitals. In the linear combination of atomic orbitals approximation, use , where the two basis functions are localized atomic orbitals. Projecting onto each orbital gives the generalized eigenvalue problem
Here the scalar overlap in the matrix is , while . Normalization requires , with now denoting the full overlap matrix. For equivalent real orbitals with diagonal energy , real hopping , and real overlap , the eigenstates and energies are
For the usual negative hopping convention, the symmetric combination is the lower bonding orbital and the antisymmetric combination is the higher antibonding orbital. In an orthonormal approximation, and the result reduces to a two-by-two Hermitian matrix eigenproblem.
Hybridized bands. At each , take the two Bloch basis states to be orthonormal, as implicit in the stated band model, and write . The Hamiltonian is
For , the eigenvalue condition is
so . Thus band hybridization gives
For nonzero , a convenient explicit normalized pair of eigenstates is
A phase convention can make real, but the eigenvalues depend only on its modulus. These are exact within the truncated two-band model, and approximate as a description of a material.
Dispersions and limits. For , the parabola crosses the flat band at
For the crossing is avoided, with a direct hybridization gap at . The lower and upper branches exchange orbital character through this avoided crossing. At the origin their energies are
so for the small- expansions are
At large , where ,
The lower branch approaches from below and becomes flat; the upper branch approaches the free-electron parabola from above. At zero coupling the unsorted orbital bands remain exactly flat and parabolic. Sorting them by energy instead gives and , which cross at without mixing.
Figure 1.
Avoided crossing and Fermi-volume redistribution in a parabolic-flat two-band model
. Original model curves for zero coupling and . Wavevectors are in units of . The lower-band Fermi radius and its chemical potential follow fixed total density under the stated equal-population, zero-temperature assumption. Details.
Fermi wavevector and velocity. A partially occupied perfectly flat band has chemical potential . Thus before mixing, the occupied broad band has radius defined above. For spin degeneracy two, its particle density is ; equal population of the flat sector gives total density .
For any nonzero mixing, at finite , while . Moreover increases monotonically. At zero temperature and this fixed density, a single occupied sphere in the lower branch therefore accommodates all particles, and the upper branch is empty. Fermi-volume conservation in two hybridized electron bands gives
The new radius is about larger than the old broad-band radius. The strictly flat uncoupled band has no uniquely determined Fermi radius of its own; its prescribed population is what enters the count.
The radial group velocity is . Differentiating the exact dispersion gives
At , put , so . Relative to the original broad-band Fermi velocity ,
Expanding for gives the flat-band hybridization Fermi-velocity suppression
The coefficient is about . The enlarged occupied volume coexists with a small velocity because the new Fermi surface lies on the almost-flat part of the lower branch. This result assumes fixed particle density, sufficient available states before any Brillouin zone boundary, and temperature low enough to resolve energy differences of order . The limit at a fixed nonzero temperature need not give this sharp redistribution. Giving the narrow band a finite dispersion can also leave both pockets occupied, so the result is specific to the ideal model.
Use one orthonormalized localized atomic orbital at each position . In the nearest-neighbour tight-binding model, translation invariance gives the on-site energy and real hopping integral
The Bloch state is
Since , shifting the two summation indices gives
The hopping integral is an energy, and its sign sets whether is a minimum or maximum. is the diagonal matrix element in the crystal Hamiltonian, which can differ from an isolated-atom energy.
The orthogonal tight-binding approximation matters. If raw neighbouring orbitals retain a nonzero orbital overlap in their normalization, projection instead gives a generalized eigenvalue problem and the nonorthogonal nearest-neighbour tight-binding band . The stated cosine band follows after orthonormalization and nearest-neighbour truncation, or after neglecting that overlap metric while retaining the hopping it motivates.
Choose one atomic orbital and on the two atoms and approximate a molecular orbital by the linear combination of atomic orbitals
Projecting the Schrödinger equation onto the two orbitals gives a generalized eigenvalue problem , where and . In an orthonormal basis the matrix is
The coupling mixes the atomic states and produces a lower bonding molecular orbital and upper antibonding molecular orbital. For equivalent real orbitals with overlap the normalized combinations are ; the precise energy ordering follows from the Hamiltonian matrix elements. This restricted orbital basis is an approximation to the molecule's wavefunction, rather than a claim that exact isolated-atom orbitals remain unchanged in the molecule.
The equation requiring a homogeneous matrix system for an eigenvector to have a nonzero solution. In an orthonormal basis, requires . For a nonorthonormal basis with overlap matrix , it becomes , a generalized eigenvalue problem. The nearly-free electron model uses this condition on a resonant plane wave subspace.
If is real symmetric positive definite and is real symmetric, let . The matrix is symmetric and has an orthonormal eigenbasis, represented by . Taking gives the two displayed congruences. The diagonal entries are determined by the generalized eigenvalue problem , since is diagonal with entries . Positive definiteness of the first form is essential to this construction.
Let and . Under reflection , is symmetric and , where is antisymmetric. Their cross terms vanish in both the inner product and the Dirichlet energy form: each integrand is odd about the midpoint. Their separate Rayleigh quotients are and . Thus every quotient on their two-dimensional span is a positive weighted average of ten and forty-two, so the minimum remains ten. Adding a direction with the wrong symmetry need not improve the ground-state estimate.
The symmetric quartic does add a useful direction. On the span of , the generalized eigenvalue problem has stiffness matrix and mass matrix . Its least eigenvalue is , close to the exact Dirichlet ground value . This is an explicit useful enlargement of a polynomial Rayleigh-Ritz trial space for a one-dimensional box.