Use the usual assumption that the two die scores are independent random variables. A fair score has expected value and variance . Linearity of expectation and the variance of a sum therefore give
Count the ordered pairs of scores to obtain the probability mass functions
On these attainable probability supports, the maxima occur at and , each with probability ; the minima occur at and , each with probability . Outside the respective probability support, the mass is zero.
They are not independent: implies equal die scores and hence is an even number, so , whereas . In fact : this is an example of uncorrelated random variables that are dependent.
Apply differentiation under the integral sign on the moving drop:
The moving-boundary term vanishes because . At the origin, symmetry and regularity give . At the front, the stated gives . Thus , expressing volume conservation for this axisymmetric viscous gravity current.
With and , substitute the self-similar solution into the conserved integral:
For a nonzero finite drop volume, the power of must vanish, so . Balancing powers in the evolution equation gives the same result: its left side scales as and its right side as . The front-edge exponent alone would not determine this spreading exponent without the conserved volume.
The chain rule gives and . Hence , and the forced wave equation becomes . Integrating twice gives . At the initial conditions are
Thus is constant, which cancels from the final expression. Combining the remaining sum yields
Differentiation checks the forcing and both initial conditions.
If , the bivariate normal density in part (a) factorizes as
Integrating over any product of measurable sets proves independence of random variables. Conversely, independent variables with finite second moments have , so their covariance is zero and . This proves independence of uncorrelated jointly normal variables; zero correlation alone would not imply independence without the joint normal assumption.
With and , the bivariate normal distribution has probability density function
The strict correlation bound makes its covariance matrix positive definite, so this is an ordinary two-dimensional density rather than a distribution supported on a line.
The Galton-Watson extinction fixed point equation is
Its smallest root in is , not the other allowed fixed point . Consequently the large-depth escape probability is
For finite , the exact escape probability is and is slightly larger. Indeed , and the mean value theorem on gives . This also quantifies how quickly the finite-depth answer approaches the displayed limit.
View the accessible rooms as the open cluster of bond percolation on a rooted ternary tree. Each accessible room has three forward corridors, independently open with probability , so its number of accessible children has the binomial distribution . The counts at successive levels form a binomial branching process with offspring probability generating function
Let be the probability that the root has no open path to level . Then , and independence of the three descendant subtrees gives
The sequence increases to the smallest fixed point in , the branching extinction probability. Thus is close to that solution for large .
Connectivity is the relevant escape event: if no window is reachable, escape is impossible; if one is reachable, ordinary random wandering reaches a window eventually with probability one. Before reaching level the guest moves within a finite connected graph, so an accessible exit cannot be avoided forever. This interpretation does not require the guest to move monotonically outward.
For fixed real , define and . This makes exactly the summand containing nested sines. The elementary inequality gives inductively
The fact that an iterated contraction gives a summable orbit applies here. Comparison with a geometric series therefore gives
Thus the nested-sine series converges absolutely for every real ; there are no divergent or merely conditionally convergent cases.
Let . For , the absolute summand is at most , so a geometric series comparison proves absolute convergence. For , the series is : its positive term sizes decrease to zero, so the alternating series test proves convergence. Its absolute series is a divergent p-series with exponent . Hence
It converges for every real and never diverges.
Put , so . The printed summand is . If , its absolute value is at most , and the two geometric series converge. Thus there is absolute convergence.
For the series becomes , a divergent multiple of the harmonic series. For it becomes
The first series converges by the alternating series test, while the second diverges to , so their partial sums tend to . In particular, alternation of some terms does not imply convergence here. The complete classification is
There are no conditionally convergent cases.
A member of both groups satisfies and . Multiplication of the second identity by on the left, using , gives . A real two-by-two matrix commuting with must be diagonal, since the two off-diagonal entries change sign in this equation. Its diagonal entries are by the orthogonal matrix identity, and the restriction forces the first to be . Therefore the intersection is the two-element group
For the Minkowski metric , preservation means for all real vectors . This is equivalent to , or, entrywise,
The restriction puts the first column on the right branch of the unit hyperbola, so uniquely , for a real parameter . The third equation makes the second column a scalar multiple of : this also covers , when . The second equation makes that multiple . Thus all the required matrices are
The hyperbolic function addition formulas give , while . Consequently
The product remains of the required form and its upper-left entry is positive. The identity is , and the inverse is . Together with associativity of matrix multiplication, these identities establish the group property. This is the time-orientation-preserving Lorentz group in one spatial dimension.
Preserving the Euclidean scalar product means for every pair of real vectors . Since these bilinear expressions agree on all pairs of basis vectors, this is equivalent to : the columns of form an orthonormal basis.
The first column is a unit vector, so it is for some real . A perpendicular unit vector is one of the two choices , where . Hence all the required orthogonal matrices are
Here is a planar rotation, and is determined modulo . To check the group laws explicitly, , so
This proves closure. The identity is , the inverse of is , and associativity is inherited from matrix multiplication. Thus the set is the orthogonal group .
There is no such universal constant. For a real parameter , consider the real matrix
Its characteristic polynomial is , so both eigenvalues are real and . But
For any proposed finite , choosing violates the proposed bound. This is an explicit illustration that nonnormal eigenvalues do not bound a quadratic quotient.
Expand in the orthonormal basis from part (a). Then
For , the weights are nonnegative and sum to one. The Rayleigh quotient therefore lies between the smallest and largest eigenvalues. Conversely, normalized extreme eigenvectors give, for ,
Thus the exact Hermitian Rayleigh quotient range is
When , the range is the singleton containing the sole eigenvalue.
Use the convention
for the characteristic polynomial. Choosing instead multiplies it by and leaves the requested zero identity unchanged. For each eigenvector , induction gives , including . Thus
because has the nonzero kernel vector and therefore has zero determinant. Part (a) supplies a basis consisting of these eigenvectors. A linear map vanishing on every basis vector vanishes everywhere. Consequently
This proves the Cayley-Hamilton theorem identity directly in the distinct-eigenvalue case assumed here.
Take eigenvectors for distinct eigenvalues . Since the eigenvalues are real and is a Hermitian matrix,
Hence , so eigenvectors for distinct eigenvalues are orthogonal vectors. They are therefore linearly independent; after normalization the given eigenvectors form an orthonormal basis of .
Separate off the integer part of the phase. Set . Rationalization gives
Since squaring removes the sign in , the given sequence satisfies . The continuity of the cosine now gives
Rationalizing avoids cancellation between the two large terms of the sequence:
By continuity of the square root and the reciprocal at the limiting values,
The shifted matrix is still a normal matrix, since
and has the same expansion except that its first term is , which equals . For the given eigenvector, . Part (b), applied to , therefore gives . Since ,
The corresponding eigenvalue of the Hermitian conjugate is the complex conjugate of the original eigenvalue.

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