Let be the last vertex visited for the first time, and assume . Every vertex is eventually painted with probability one: from any position, consecutive clockwise steps visit the entire cycle, and the probability of such a block is . Thus the probability that coverage has not occurred after successive blocks is at most , which tends to zero.
Fix and cut the cycle at . Represent it as the path with positions , where the two endpoints both represent and the original starting vertex is at position . Up to the first visit to , the walk is a simple symmetric random walk on this path, killed at either endpoint. The event is precisely that it visits both and before being killed: travelling between these two positions visits all intermediate vertices, while visiting all non- vertices necessarily includes these two.
For , first wait until the walk reaches one of . This happens almost surely before it can reach an absorbing endpoint. If it reaches first, it must next reach before zero. The gambler's ruin probability is : the hitting probability on satisfies
so its successive differences are constant and . Starting at gives the stated probability. If the first endpoint reached is , reflection of the path gives the same probability of reaching before . The Strong Markov property at the first such hit therefore gives , independently of which endpoint was hit first and of the start position.
Consequently the last visited vertex of a simple random walk on a cycle has distribution
For the same formula follows directly since the only other post must be last. For , painting the initial post already completes the task, so there is no subsequent last unpainted post.
The time-independent Schrödinger equation is . For the hydrogen atom, separate variables as . The spherical-coordinate Laplacian has radial part and angular part . A spherical harmonic obeys . The first displayed term is therefore radial kinetic energy; the second is the attractive Coulomb's law potential energy of electron and proton; the third is the angular kinetic energy, also called the centrifugal potential. Regular single-valued angular states have , with orbital angular momentum squared .
For , direct differentiation gives
Substitution into the Radial Schrodinger equation for the hydrogen atom and equality of the coefficients of , and the constant term give
The regular radial solution selects , rather than the singular branch . At , is locally square integrable but is still inadmissible as a regular Coulomb eigenfunction: its Laplacian has a point-source contribution at the origin. Bound-state decay requires . Thus, with the Bohr radius ,
These are the nodeless states with principal quantum number . Increasing raises the energy towards zero, so emission is from the state labelled to the one labelled . Using the Planck constant and photon energy , the frequency is
For variations with , integration by parts gives . Since this vanishes for every such variation, the Euler-Lagrange equation is
When is independent of , it has the first integral .
For a ray represented as a graph traversed with increasing , the travel time is , with . By Fermat principle, use . The first integral becomes
The sign of is constant, and makes it positive. Write with and solve to obtain
A finite slope requires in the interior; a limiting vertical tangent is possible at an endpoint.
For and , positive speed on the whole interval and select and . The slope is . Integrating backwards from gives
so , with the branch . The endpoint integral is finite despite the vertical tangent. The specified value fits the first endpoint precisely when ; for other endpoint data the preceding integral determines a different .
The contraction mapping theorem states that a contraction mapping on a nonempty complete metric space has a unique fixed point. Here contraction means that for all , with one constant . Choose and define . Successive distances satisfy , so for every ,
Thus is a Cauchy sequence. Completeness gives . Since a contraction mapping is a continuous function, . If were another fixed point, , forcing distance zero. This proves both existence and uniqueness.
Now suppose is a contraction mapping, where is a positive integer. Let be its unique fixed point. Since commutes with its own iterate, . Thus is also a fixed point of , so . Any fixed point of is a fixed point of , and must equal . A contractive iterate therefore gives a unique fixed point of , without assuming continuity of itself.
The space is complete for the uniform norm. Indeed, a uniformly Cauchy sequence converges pointwise by completeness of ; passing to the limit in its uniform Cauchy bound shows uniform convergence, and the uniform limit of continuous functions is a continuous function. The operator maps this space to itself: is a continuous function, and its integral plus the continuous is a continuous function.
For the desired bound is the definition of . Suppose it holds for . The Lipschitz condition and the fact that the same cancels give
This proves the estimate by induction. Taking the supremum over , the Lipschitz constant of is at most . These constants tend to zero, since the ratio of successive terms is . Some iterate is consequently a contraction. The preceding result gives a unique fixed point of , which is exactly . No assumption is needed.

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