Define and . The odd-indexed terms are unbounded, while the even-indexed subsequence is identically zero and hence converges to zero. This gives an unbounded sequence with a convergent subsequence.
Take . Every subsequence has the form , with , so it tends to positive infinity and cannot converge to a real number. Thus this sequence has no convergent subsequence.
The Bolzano-Weierstrass theorem states that every bounded sequence in has a convergent subsequence. More generally, a bounded sequence in has a subsequence converging to a point of .
Away from the negative real axis, the complex conjugate has principal complex argument . Consequently
Taking the complex modulus gives , hence . The remaining equation is , so
On the negative real axis, both and have principal complex argument , so the left-hand side has modulus , not two. There are no additional solutions there. The printed second term is the principal power of , not the complex conjugate of .
The principal complex exponentiation gives . Equality to one requires its complex modulus to be one, hence , and then its complex argument requires . Thus all solutions are positive real, namely
Substitution verifies every value, and the modulus condition excludes every nonreal value.
Away from zero, the product and composition of the displayed smooth functions are continuous and differentiable. At zero,
so remains continuous. Hence the continuity set is .
The difference quotient at zero is . For it equals one, and for it equals minus one. Both sequences tend to zero, so no derivative exists there. For , the product rule and chain rule give
Thus the differentiability set is .
At zero, , so the function is continuous. At a nonzero , approach along rational and irrational sequences; density of the rational numbers and density of the irrational numbers give limiting values and , which are different. Thus the continuity set is .
At zero, the difference quotient is one for rational nonzero increments and minus one for irrational increments, so the derivative does not exist. Elsewhere differentiability implies continuity, and continuity already fails. Thus the differentiability set is .
Yes: a tangential zero and a crossing zero can give exactly two fixed points. One explicit continuous piecewise linear example is
Adjacent formulas agree at each junction. Their endpoint values lie in , so linear interpolation proves that the whole image lies in ; also and . On the four pieces, is respectively , , , and . Their only zeros on their respective intervals are and . Thus the complete fixed point set is . Continuity forces at least one zero, but does not force every zero to change sign.
No. Define for and . This self-map of is discontinuous at one. Every point smaller than one is sent to a different point, and one is sent to zero, so it has no fixed point.
No. The continuous function maps into , but throughout the domain. Its only possible fixed point is the excluded endpoint one.
An A-stable method must satisfy for every with nonpositive real part. A consistent explicit Runge-Kutta method has , so its stability polynomial is nonconstant. Along the negative real axis the leading term of any nonconstant polynomial has magnitude tending to infinity. Hence
The positive order assumption in the question supplies the required consistency.
Order applied to this particular differential equation forces the local stability polynomial to agree with the exact exponential through degree :
As its degree is at most , the nonzero coefficient cannot be present for . Therefore
The implication is a necessary stability-polynomial condition; it does not assert that every such polynomial automatically gives the full nonlinear order conditions.
For an explicit Runge-Kutta method, write its strictly lower-triangular stage matrix as , weight vector as , and . Applied to the scalar test equation, its stage vector satisfies
Since , inversion is a finite Neumann series. Putting gives
This proves degree at most . The printed statement of degree exactly needs a nondegeneracy assumption: a two-stage explicit scheme with is simply Euler's method with an unused second stage, and has polynomial of degree one.
Divide the two outer boundary equations respectively by and leave the derivative equation as written:
Their difference gives . As , the inner equations require . The two outer equations at leading order thus give and , so
The inner equations also give and . Solving and substituting yields
Replacing by gives all four requested approximations.
The term produces a nondecaying velocity at infinity and the term a growing one, so decay forces . The first two boundary equations become and , giving
The remaining velocity terms decay respectively as and .
For , the angular differentiation gives
Trying in the fourth-order equation gives the indicial product
whose four distinct roots are . This proves that the stated four-term expression is the general separated solution of this angular type.
Put and . The velocity formulas become and . The four boundary conditions therefore give
For occupation numbers zero or one, the energy and particle number are additive over modes. The grand canonical partition function factorizes:
Dividing the product of Boltzmann weights by this product gives
The marginal mean occupation is therefore
This is the Fermi-Dirac distribution of a noninteracting Fermi gas: the exclusion principle allows only zero or one fermion in each single-particle state, including its spin label.
The grand canonical partition function is
The probabilities in part (i) and their logarithms give
At fixed volume and fixed , differentiate the partition sum:
Combining with the preceding identity yields
The variable held fixed is essential; this is the grand canonical derivative.
For independent weakly coupled systems, insert the product probabilities into the Gibbs entropy. Since each marginal sums to one and the logarithm of a product is a sum,
At fixed total energy and particle number, and . Part (i) gives
Independent exchange variations force both coefficients to vanish. Thus

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