Statement (ii) is false. The condition is necessary for an idempotent, but it is not sufficient. For example,
satisfies , hence , while
over, for example, .
An endomorphism is a projection onto its image precisely when it is the identity on and kills a complementary subspace. If , then
so is the identity on its image. Moreover,
and . Hence
and is the projection onto its image along its kernel. Conversely, every projection is the identity after one application, so applying it twice has the same effect: .
Statement (i) is false. On a two-dimensional vector space, take the nonzero nilpotent endomorphism
Then , but , so is not idempotent.
Full column rank of makes surjective. Given , choose with . The fitted values for the unrestricted and restricted regressions are
Therefore
Using and idempotence of the projections,
Part (d) now gives
Because , the two orthogonal projection matrices satisfy
Consequently is itself an orthogonal projection, onto the orthogonal complement of within . In particular it is a positive semidefinite matrix, so for every ,
Write , where
The final coordinate is deterministic, while the first coordinates have the usual least-squares covariance. Hence
Since and ,
Because has full column rank, is invertible. The ordinary least squares estimator is
It satisfies the normal equations
so the residual is orthogonal to the column space of . For any ,
The two terms are orthogonal, and the Pythagorean theorem in an inner-product space gives
Thus minimizes the least-squares objective.
The first characteristic polynomial of the linear multistep method comes only from its left side:
Its roots are zero and one; both lie in the closed unit disc, and the only unit-modulus root is simple. Thus the method satisfies the root condition for a multistep method and is zero-stable. Part (b) showed consistency for every . The Dahlquist equivalence theorem states that a consistent linear multistep method is convergent exactly when it is zero-stable. Therefore
under the usual Lipschitz hypotheses on .
Expand the exact solution about . The left side is
Since , the right side expands as
The terms agree for every , so the method is always consistent and is generically of order one.
The method is explicit exactly when . With , its defect vanishes only for , so a generic explicit member has order one; that exceptional explicit member has order two and cannot satisfy the next order condition.
For the unrestricted method to have order at least three, the and coefficients must agree:
Solving gives
For these values, , so the right-side coefficient is , different from the left-side coefficient . Hence the order is exactly three.
A one-step or linear multistep method has order if, when the exact sufficiently smooth solution is substituted for the numerical values, its unscaled local truncation error is , and this estimate is not generally . For a stable method this corresponds to a global error of order on a fixed time interval.
At , the two free-surface conditions for a normal mode give
Eliminating yields
For the vertical factor found in part (b),
Thus the gravity-wave dispersion relation is
where
For an axisymmetric separated amplitude , Laplace equation in cylindrical coordinates becomes
The radial equation is
Its solution regular at the axis is the Bessel function . The vertical equation is , and the bottom condition selects
up to an irrelevant constant multiplier. Finally, the sidewall condition gives
Therefore the allowed positive wavenumbers are
and
Equation (1) is Laplace equation for the velocity potential. It expresses incompressibility, , together with . Equation (2) is the linearized dynamic free-surface condition: the unsteady Bernoulli equation and constant atmospheric pressure balance the potential acceleration against the gravitational restoring term . Equation (3), with the printed understood as , is the kinematic free-surface condition: the surface moves with the vertical fluid velocity. Equations (4) and (5) are no-penetration boundary conditions at the rigid bottom and cylindrical sidewall, respectively.
The accumulated point charge produces
Since , the displacement current density is
Apply the integral Ampère-Maxwell equation to the boundary of a spherical cap of radius and polar angle . By axial symmetry is constant along the boundary, whose circumference is . The displacement-current flux through the cap is
Thus
Using gives
Translation symmetry in the plane and reflection symmetry across it force the magnetic field to be uniform on each side, parallel to , and opposite on the two sides. Apply Ampère's law to a rectangular loop perpendicular to the sheet whose two long sides have length . The enclosed current is , so
The right-hand rule fixes the directions:
Consequently
which is the magnetic jump condition for a surface current density.
Write and . Using
two differentiations of
give
Thus it solves the time-independent Schrödinger equation in the stated Pöschl-Teller potential, with
As and , respectively,
There is no left-moving term, so this is a reflectionless potential:
The incident and transmitted amplitudes have equal modulus because
Hence
Now set with . Then
At this decays for every positive . At , however, the factor tends to while grows. Normalizability therefore requires . In that case
which decays at both ends. The bound-state energy is
For a one-dimensional wavefunction, the probability current is
A plane wave carries current to the right, while carries the negative of this current. Thus the asymptotic terms are interpreted as an incident wave of amplitude , a reflected wave of amplitude , and a transmitted wave of amplitude . Their currents are
Current conservation for a real potential gives , and therefore
with .
A normalizable bound state has . Writing
its decaying asymptotic behaviour is
By separation of variables, the axisymmetric normal modes satisfying regularity at and the fixed-edge condition at are
where . The zero initial displacement removes all cosine terms, so
Differentiating at gives the weighted Fourier-Bessel expansion
Multiply by and integrate from zero to one. The orthogonality and norm from part (i) give
Using
the remaining integral is
Hence
and therefore
Let
Their Bessel equations in self-adjoint form are
Multiply the first by , the second by , subtract, and integrate. The left side becomes a boundary term:
Regularity at zero makes the lower boundary term vanish, while
Therefore
If and with , both endpoint values of vanish, so the integral is zero. This is the weighted orthogonality of distinct eigenfunctions in a Sturm-Liouville problem. For the norm, hold and let . Since
the quotient tends to
Put . Then
Thus
This is actually a Taylor series, because is a regular point. The point is a simple pole. At infinity,
extends analytically to , so infinity is a removable singularity of , with extended value zero.
For the real integral, first write
Let
With ,
The denominator has roots and , so only lies inside the contour. Its residue is , and the residue theorem gives
Consequently

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