The Liouville approximation theorem states that if a real irrational algebraic number has degree , there is such that for every integer and positive integer .
Choose its irreducible polynomial of degree . Since is irrational, ; after multiplication by it is a nonzero integer. Hence . On the polynomial derivative has a finite bound . For , the mean value theorem gives , proving the required bound with . For more distant rationals, the bound holds with . Taking covers every rational and proves the theorem.
Divide the supplied scheme by and take
Then , and is invertible because it is lower triangular with positive diagonal . Symmetry gives , so
The Householder-John theorem therefore gives convergence.
For a direct spectral proof, let . Expansion verifies . If with , then
The value is impossible since and is invertible. Both quadratic forms are positive, hence . The error obeys and tends to zero, proving convergence to the unique solution for every initial iterate. This is the successive-over-relaxation iteration, with no assertion of convergence at the excluded endpoints.
One form of the Householder-John theorem is as follows. Suppose and , with invertible and positive definite. Then the stationary iteration converges for every initial vector exactly when is positive definite; its iteration matrix is and convergence means spectral radius below one.
For a known positive definite system, design a splitting with easy to solve, such as diagonal or triangular, and arrange . The theorem then guarantees convergence. For example has when exceeds the largest eigenvalue of . In the converse direction, the discrete energy identity explains the criterion: stable gives as a convergent sum of positive matrices, while positive force every iteration eigenvalue inside the unit disk.
Let increase away from the tip along the wall and point normally into the fluid. Put , for velocity components and for the outer tangential velocity. The local Cartesian momentum and pressure equations are
For a two-dimensional flat layer the usual continuity equation is . For this axisymmetric cone, however, the circumference is proportional to , so its leading continuity equation is
The circumference term is of the same order as and cannot be omitted when deriving the cone's similarity equation. Conditions at the stationary wall are ; at the layer edge .
Balance . With this gives
The choice of multiplicative constant fixes the normalization of the similarity variable. To enforce axisymmetric continuity set , , with
Then
Differentiation gives , whereas and . Consequently the conical sink boundary layer satisfies
The first condition is no penetration, the second no slip, and the last matches the inward core flow. If one instead makes a strictly planar approximation and omits the circumference term, the streamfunction is and the equation becomes . The thickness exponent is the same, but that planar equation is not the axisymmetric cone equation.
Across a cap near , the inward flux in a layer truncated at is, to leading order,
To match to the core, use the finite displacement-flux deficit rather than integrate the uniform outer flow to infinite . If , then
Conservation of the fixed total extraction rate requires an extra core flux of this order. Dividing by cap area, proportional to , proves
The correction is a relative contribution. Its angular structure requires outer matching; the requested radial power follows from the displacement flux alone. Its cap-average direction increases the inward core speed to compensate for the wall deficit.
Using local speed and length , the Reynolds number is
Inertia dominates and a thin viscous boundary layer is possible when this is large, namely . The crossover scale is , or up to the fixed-angle factor. The inverse dependence on explains why this inertial sink regime occurs near the tip rather than far away. The fixed cone angle must also allow the wall layer to be small relative to the local cone radius.
The outward flux through a spherical cap of radius inside the cone is
Thus the inward extraction flux is at leading order. The thin no-slip wall layer is omitted from this approximation; its smaller displacement-flux effect supplies the later correction.
For define convolution by
This is smooth and has at most polynomial growth, hence defines a tempered distribution. Its equivalent pairing is with . Fourier duality and the usual Schwartz-function convolution calculation give
The product on the right is distributional multiplication by the smooth Schwartz function . With the convention in part (i), no extra factor occurs. One can verify it first for functions by changing inside the two integrals, then use the displayed pairing to perform the same calculation for arbitrary .
The unrestricted categorical MLE is , so the multinomial combinatorial factor cancels from the likelihood ratio and
Assume the true cell probabilities are positive and the null has identifiable dimension with full-rank information. With probability tending to one, all are positive. Put . Regular estimation gives and of order . Expanding yields
The linear terms cancel exactly because . Therefore
The full probability simplex has dimension , explaining the degrees of freedom. Existence and uniqueness of an MLE alone do not supply all Wilks regularity assumptions; positivity, smoothness and the local rank condition are also needed. The displayed approximation is not a finite-sample prescription for division by a zero observed count.
The likelihood-ratio statistic for nested parameter spaces is
Under the null, Wilks theorem gives when the full model and null submodel are smooth and identifiable, the true parameter is an interior regular point, Fisher information is nonsingular in the identifiable directions, and the usual differentiability and likelihood-asymptotic conditions hold. A level- test rejects for exceeding the upper quantile of that chi-square law. The approximation is for large samples; boundary parameters, singularities or nonidentifiability can give a different limiting distribution.
At a state with positive departure rate , the next-jump probabilities are
If at least two rates are positive, every state has positive departure rate and the normalizing constant is positive. The jump-chain equilibrium law is
Indeed is symmetric, proving both stationarity and reversibility. Jump observations weight the continuous-time equilibrium by the departure rate, so is generally different from .
If exactly one rate, , is positive, state is absorbing and the denominator vanishes. There is no next jump from that state: the genuine embedded jump sequence terminates there. Under the usual extended-chain convention set ; every other state jumps to with probability one. Its equilibrium law is and it is trivially reversible there. The normalized formula cannot be used in that absorbing case.
The stationary equation reads , because . Therefore
It is the unique stationary law and vanishes on the open classes. For distinct , . Thus the chain is reversible in its equilibrium law, including the reducible cases; on the closed class this is the usual reversible irreducible chain. This structure is the destination-dependent reset chain.
Let , nonempty since . Every pair of distinct states in communicates directly, and no transition leaves for a zero-rate state. Hence is the unique closed communicating class. Each zero-rate state forms an open singleton: it has total departure rate , goes into , and can never be revisited. This includes the case that itself is a single absorbing state.
For , the chain has one communicating class exactly when every . Sufficiency follows from the positive direct transition rate between each distinct pair of states. For necessity, if and there is another state, no other state can jump to , either directly or as the final step of a path, so cannot communicate with them. The one-state case also satisfies the condition because . A single class containing the entire state space is automatically closed.
When all rates vanish. Every state is absorbing and the communicating classes are the singletons, all closed. There are no open communicating classes. Every probability distribution is stationary in this degenerate case.
For the generator entry is . Its diagonal is the negative total departure rate, . Thus
Every row sums to zero, as required for a continuous-time Markov-chain generator.
Let be one uniform random variable on , and define
For every the sequence is eventually zero, so almost surely. But , whose sum diverges. This sequence is not completely convergent; the exceedance events are nested and dependent.
Almost sure convergence implies convergence in probability, so part (b) identifies the limit as a constant almost surely. For each , the events are independent. Almost sure convergence gives . If their probability sum diverged, the second Borel-Cantelli lemma would instead give probability one. Hence the sum is finite for every , proving almost sure convergence implies complete convergence for independent sequences.
Under complete convergence of random variables, for each integer the first Borel-Cantelli lemma gives . Intersecting these probability-one conclusions over the countably many shows that every tolerance is eventually satisfied. Therefore complete convergence implies almost sure convergence, without independence.
Convergence in probability supplies a subsequence converging almost surely to : choose it so , then apply the first Borel-Cantelli lemma. For each fixed , the tail of this subsequence lies in , and its almost sure limit is . Thus has a version measurable with respect to the completed tail sigma-field of the independent sequence.
By Kolmogorov's zero–one law, every event in that tail sigma-field has probability zero or one. Consequently for every rational . Since is a finite real random variable, its distribution function has limits zero and one at the two infinities; monotonicity then identifies a single threshold with . Hence is almost surely constant. Completion only adds null events and does not alter the zero-one conclusion.
The first Borel-Cantelli lemma says that implies , without an independence assumption. Indeed, for every ,
The decreasing intersection of these tail unions is the infinitely-often event; continuity of probability from above proves the assertion. The second lemma says that for independent , divergence of the probability sum implies .

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