A normal mode of a linearized mechanical system is a motion in which every generalized displacement oscillates at a single common angular frequency, with fixed relative amplitudes and phases. In coordinates , an undamped oscillatory mode may be written
where the amplitude vector is fixed; negative components describe relative phase . An arbitrary small motion is a linear combination of the normal modes when the mode vectors form a complete basis.
Regard as a vector space over . Since is finite, a maximal linearly independent list has finite length and is a basis. Every element is uniquely a linear combination of its basis vectors, with choices for each coefficient. Hence , with . This includes when the extension is trivial.
A linear combination of independent normal random variables is normal, with variances adding when the coefficients are . Applying the joint central limit approximation from (i) gives
Equivalently the difference minus , divided by the displayed standard deviation, converges in distribution to a standard normal under the same regular large-sample regime.
In either exterior region of the finite square well, the time-independent Schrödinger equation reduces to , since . Its general solution is a linear combination of and . On the left, grows as and cannot be a square-integrable function, so its coefficient must be zero. On the right, the excluded growing term is . Hence the surviving tails are for and for .
Inside the well, and the equation becomes , whose general solution is . Thus
The coefficients are initially independent; wavefunction matching at a finite potential step imposes the remaining relations. Here the paper's is the exterior decay constant and is the interior oscillation constant.
The position operators and momentum operators are self-adjoint operators. Using conjugate linearity of the adjoint operator, , gives
Write . Bilinearity and antisymmetry of the commutator, together with the canonical commutation relations, give . Hence
The terms involving two position operators or two momentum operators vanish by the canonical commutation relations. Finally, reversing products under the adjoint operator, , gives . Therefore
Here is the identity operator. These are the relations for two independent pairs of creation and annihilation operators. The operator algebra in this question is understood on a common invariant operator domain, such as finite linear combinations of the number states constructed in part (c).
Use part (a) to put the four projective points at
A quadratic polynomial vanishing at the first three has no square terms, and vanishing at the fourth gives
These form a two-dimensional vector space. Choose the two members
Their coefficient triples are independent and both satisfy the relation. Their symmetric bilinear form matrices are of the form
For and , both determinants are , so both selected conics are nonsingular. Any coefficient triple with zero sum is uniquely a linear combination of these two. Hence every conic through the four points has matrix
Undoing the projective transformation carries the entire family back to the original four points, preserving nonsingularity. This is a pencil of conics through four points.
For , the canonical Poisson brackets give . Consequently projections onto fixed axes obey
If the two original projections are conserved and the axes are linearly independent, the preceding Jacobi identity argument makes the projection along conserved as well. The vectors form a basis of three-dimensional space, so every fixed-axis projection is a linear combination of these conserved quantities. Angular momentum is therefore conserved along every axis.
The velocity coupling changes the momenta and the undifferentiated field terms. Variation with respect to gives the equation for :
so the two Euler-Lagrange field equations are
They describe damped and antidamped fields from an antisymmetric velocity coupling. With the convention , their characteristic equations are
Thus the dispersion relations and modes are
For each spatial Fourier mode, the general solution is the linear combination of its two temporal branches; spatial superposition gives the general field. Take real parts or suitable complex conjugate pairs to obtain the required real fields. At the repeated-root threshold, the independent second temporal solution contains an extra factor , as detailed next.
Add the one-particle energy term . It is diagonal in the same Fock state basis as the contact interaction between two ring modes. For , the ordered basis gives
For , the middle eigenvalue exceeds the mean of the two endpoint eigenvalues by , so it cannot be the smallest. The ground state is therefore if , and if , with
If , every normalized linear combination of the two endpoint Fock states is a ground state. The same endpoint argument works for general fixed , since the interaction contribution is a concave quadratic function of the mode occupation number.
The rank-nullity theorem states that a linear map with finite-dimensional satisfies
Choose a basis of and use basis extension to obtain a basis of . We prove that is a basis of .
Every is a linear combination of the extended basis. Applying kills the terms, so is a linear combination of . This proves the linear span assertion. For linear independence, if , then belongs to the kernel of a linear map. Hence for some scalars . The linear independence of the extended basis forces every and to vanish. Consequently and , while , proving the theorem.
The image of a linear map and kernel of a linear map are
A linear map sends zero to zero, since . Thus both displayed sets contain zero. If and belong to the image of a linear map, then for any real scalars ,
If belong to the kernel of a linear map, then
so . Containing zero and being closed under linear combinations is the vector subspace criterion. Hence the image of a linear map is a vector subspace of , and the kernel of a linear map is a vector subspace of .
The rank-nullity theorem says that for a linear map with finite-dimensional domain of a function ,
Take a basis of the kernel of a linear map and use basis extension to obtain a basis of . We show that is a basis of the image of a linear map.
Every is a linear combination of the extended basis, and its terms vanish under . Therefore is a linear combination of the , proving the required linear span property. For linear independence, suppose . Then , so for some real scalars . The extended basis is linearly independent, forcing every and to be zero. Thus the image of a linear map has dimension , the kernel of a linear map has dimension , and proves the result.
A basis provides unique coordinates. Define
The uniqueness of the coordinates makes this a well-defined function. Adding coordinates and multiplying them by a real scalar shows directly that , so it is a linear map. Substituting gives .
Conversely, every linear map with those three values must send to , by preservation of linear combinations. This determines its value on every element of , proving uniqueness. No linear independence of is needed.
For an matrix over the real numbers, write its rows as and its columns as . Then
Thus the row space and column space consist of all linear combinations of the corresponding rows and columns; the null space is the kernel of a linear map represented by . The matrix rank counts independent row or column directions, with row rank equal to column rank.
If , the th entry of says . Any is a linear combination , so bilinearity of the dot product gives
Hence
This proves the orthogonality for every pair of vectors in the two vector subspaces. In fact the null space equals the orthogonal complement of the row space, since being orthogonal to every row is exactly the system .
Write the columns of as and the coordinates of the vector as . By the definition of matrix multiplication,
Indeed, its th coordinate is , exactly the th coordinate of this linear combination. Since the column space contains every linear combination of the columns, the claim holds for every vector .
Denote the five rows by . They satisfy
Thus span the row space. They are linearly independent: in a linear combination , coordinate 1 gives , coordinate 2 then gives , and coordinate 4 gives . Therefore
As an alternative basis, the nonzero rows of the reduced row echelon form are
The linearity of the Fibonacci recurrence allows a linear combination
The initial conditions give and . Since , we obtain and . Thus Binet's formula is
Denote the columns by . The first two are linearly independent, because the top two coordinates have determinant . Direct calculation gives
Thus a column-space basis is , and
For the last description, the third row equals twice the first row plus three times the second, so every column lies in that plane. Since the two independent columns already span a two-dimensional vector subspace, they fill the plane.
The target vector satisfies , so it is in the column space. An especially simple linear combination is
In terms of the displayed basis, the same vector is . The column space itself is unique; the freedom is in choosing its basis.
The vectors are linearly independent if
They are linearly dependent if some such relation has at least one nonzero coefficient. All coefficients lie in the underlying field. Thus linear independence means that only the trivial linear combination gives zero; linear dependence means that a nontrivial one does.