All-time minimum of a transient Bessel process Created 2026-10-05 Updated 2026-10-14
For a Bessel process of dimension started at , its scale function of a one-dimensional diffusion gives for . In particular, almost surely. The minimum is attained because the process tends to infinity; the hitting formula alone already implies positivity of the infimum.
Bessel power local martingale Created 2026-10-05 Updated 2026-10-07
For a Bessel process of dimension , started at , the Itô formula giveson its stochastic interval before hitting zero. Thus the power is a local martingale after localization away from zero. For this interval is the whole lifetime; at the power is constant. The unqualified assertion fails for a reflecting Bessel process of dimension one, which acquires local time of a semimartingale at zero.
For and , stop the simple chordal SLE trace on first entering the radius- half-disc about , with . A crosscut from its tip to separates the positive-side boundary arc containing from infinity. Harmonic measure comparison with the half-disc bounds the length of that arc's mapped interval, , by a universal constant times . This centered boundary image is a positive Bessel process of dimension and has a strictly positive all-time minimum. Hence the full trace stays a positive distance from each fixed nonzero real point. Reflection gives the negative-side version.
Boundary-point Bessel flow for SLE 2026-09-24
Brownian excursion in the upper half-plane Created 2026-10-05 Updated 2026-10-14
The excursion from to infinity is the Doob h-transform of killed planar Brownian motion with , using the entrance law at zero. Equivalently, its real part is a standard Brownian motion and its independent imaginary part is a Bessel process of dimension three started at zero. This planar, infinite-duration excursion differs from the one-dimensional excursion on a finite time interval.
Exponential Brownian-to-Bessel time change 2026-09-28
For , use the clock . After the inverse time change, the Dambis-Dubins-Schwarz theorem givesso the time-changed process is a Bessel process of dimension . Its lifetime is , which is finite almost surely exactly when .
Girsanov density for a stopped Bessel process Created 2026-10-06 Updated 2026-10-07
For reference Brownian motion , stopped at with , this expression is the Radon-Nikodym derivative of the stopped Bessel process law of dimension . The bounded stopped drift verifies the Novikov condition. The comparison laws must have the same initial value and the same stopping rule.
Hitting-zero classification for a Bessel process Created 2026-09-28 Updated 2026-10-05
A Bessel process of dimension started away from zero hits zero almost surely exactly when . For , its scale function of a one-dimensional diffusion is ; for it is . The boundary hitting probability from a diffusion scale function then gives the classification by taking the inner boundary to zero and the outer boundary to infinity.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 33 3 Solution Created 2026-10-03 Updated 2026-10-14
For the first equation use an integrating factor. The Itô product rule gives , soThe Gaussianity of deterministic Brownian stochastic integrals follows by approximating its deterministic integrand by step functions and using the Itô isometry. HenceThe variance is positive also when , since numerator and denominator then both have negative sign. This is the explicit Ornstein-Uhlenbeck solution with initial value one.
For the second equation, take independent standard Brownian motions and define . The associated planar Brownian motion does not hit the origin. To check this rather than silently differentiate at zero, stop its radius upon hitting or , with . The function is harmonic on that annulus, so the optional stopping theorem givesLet : hitting zero before has probability zero. Taking integer covers every possible finite hitting time, since continuous paths are bounded on compact intervals. Thus planar Brownian motion avoids a fixed point and stays positive.
The radial Itô formula is now legitimate and givesThe sum of the two martingale terms has bracket and starts at zero, so it is a standard Brownian motion by Lévy characterization of Brownian motion. Thus with . The law-determination assumption permitted in the question identifies the law of with that of this dimension-two Bessel process. For independent standard normal random variables ,This is the two-dimensional Bessel transition law and answers the requested distribution without needing a special-function density.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 35 3 c Solution Created 2026-10-03 Updated 2026-10-14
Localize to compact subintervals of , so that the Itô formula can be applied to . Its derivatives are and , while . Thus, before ,Hence the Bessel process equation isThe inverse-power drift is interpreted only while ; its boundary behaviour is justified next, not assumed in this calculation.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 39 2 Solution Created 2026-10-03 Updated 2026-10-14
Let and . We use these precise Bessel process facts, which the question permits: for dimension a process started at exists for all time, never reaches zero, and has a strictly positive all-time minimum. More quantitatively,No assertion about SLE simplicity or transience is being assumed.
For a real point before its Loewner lifetime, set . Its equation isThus is a Bessel process of dimension . For each rational it stays positive on every finite interval, almost surely. These countably many events hold together. They cover every real as well: choose rational and observe that the noise cancels in the difference,Consequently cannot reach zero while remains positive. The negative side has the identical argument with the reflected Brownian motion.
This excludes Loewner trace contact with every real point other than zero, rather than just with each fixed rational point. On any finite interval a positive gap at a real point stays bounded away from zero. Continuous dependence of the Chordal Loewner equation then solves it on a complex neighborhood of that point, and the analytic flow extends the map conformally across a real interval there. Its real derivative is , and its image stays away from the driving point. The Loewner trace tip therefore cannot be there. We have proved .
Now use Brownian motion independent increments to restart at every deterministic rational time . The centered future maps have Loewner driver and therefore the original SLE law, independently of the past. Its Loewner trace stays in by the preceding argument. The inverse map extends continuously to the real boundary for a continuous trace-generated compact H-hull: the finite Loewner trace gives a locally connected boundary, and the Caratheodory boundary extension theorem applies. Its value at is . Thus the future in the original plane can meet only at . All these restart conclusions hold simultaneously for rational .
Suppose with . The Loewner trace cannot be constant throughout , since its compact H-hull capacity increases strictly. By continuity there is a rational with . But lies in , contradicting the restart conclusion at . This also excludes any return to the starting point. Hence the Loewner trace is simple and lies in the open complex upper half-plane at every positive time.
For transience, first strengthen the boundary conclusion to avoidance of the closure at each fixed real point. Fix and . If the now-simple curve first enters the closed half-disc of radius about at time , join its tip to by the segment inside that disc. Before the segment misses the Loewner trace. Together with the Loewner trace and the real interval from zero to , it bounds a pocket whose boundary includes the positive side of the Loewner trace and . A Brownian motion path from high on the imaginary axis reaching that boundary arc must enter the pocket through the segment. The maximum principle for harmonic functions bounds its harmonic measure by the chance of hitting the entire half-disc.
The boundary arc maps under to . Its harmonic measure from , as , isThe half-disc maps out by ; its semicircle becomes an interval of length . Its harmonic measure has asymptotic . Comparing and letting yieldsBut by the all-time minimum of a transient Bessel process fact. The curve cannot enter any such disc with . Therefore it stays a strictly positive distance from for all time. Reflection proves the same for fixed . This is the boundary approach forces a small SLE Bessel gap argument; the crosscut comparison is also described in the boundary-closure lemma in the primary SLE paper.
Map out the simple initial slit at time one. The starting point zero has two distinct real prime end images under , lying on opposite sides of . Conditionally on the initial slit, the image future is a fresh independent SLE translated by . The just-proved fixed-point closure avoidance applies to each of and . Therefore neither nor lies in the closure of the mapped future. If a sequence of future Loewner trace points approached zero in the original domain, their images would approach one of these two prime ends. This is impossible. ThusFinally Scaling invariance of SLE gives . For every fixed ,The events of returning to the closed radius- disc after time decrease as increases. Continuity of probability on decreasing events implies that the probability of returns at arbitrarily late times is zero. Taking the countable intersection over positive integer provesThis proves actual eventual escape, not merely unboundedness of the growing compact H-hulls.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 39 3 Solution Created 2026-10-03 Updated 2026-10-14
Each marginal is a Bessel process of dimension , but finite lifetime can also be proved directly. Apply the Itô formula before reaches zero:With clock , the Itô integral is a Brownian motion . The inverse clock satisfiesThe clock runs through all up to the maximal lifetime: a finite terminal clock would leave at a finite positive limit, allowing continuation, or, at an infinite physical lifetime, would make its clock grow at a positive rate, a contradiction. There is no finite-time explosion to infinity; for example and localization bounds the probability of reaching arbitrarily large levels on a fixed time interval. Since almost surely and , the last exponential integral has finite limit, while . ThereforeThe same argument applies to , whose noise is also Brownian motion, so its lifetime is finite too. No independence between the two lifetimes is being claimed.
Set and before . Brownian motion terms cancel in the sum:Thus simultaneous extinction is impossible. At the finite first lifetime, precisely one coordinate is zero and the other remains positive. Because has finite variation, differentiating the ratio givesAfter clock change , its generator isA scale function of a one-dimensional diffusion solves , soBoth endpoint singularities are integrable since . Normalize to obtainThe Itô formula makes a bounded martingale, first by localization away from the endpoints and then by bounded convergence theorem. Its terminal value is one on , when , and zero on the opposite event, when . optional stopping theorem therefore proves the oppositely driven Bessel exit probability
The integral printed in the question is incorrect for general . Its first exponent is , whereas the two coupled equations give . At , which lies in the allowed interval, its integral from zero diverges for every positive upper limit; no finite normalizing constant gives a probability. Moreover exchanging and while changing to shows that at the probability must be . The corrected symmetric integral has this value for every , whereas the printed asymmetric normalized integral generally does not. For , even when the printed integral converges, its derivative density satisfiesso it is harmonic for the required exit problem only at . The two exponents agree exactly at that value.
To relate that value to percolation, write the two SLE boundary gaps as and . In Brownian-time units , they have the displayed coupled equations with , after reversing the Brownian motion sign. Hence corresponds to . The event is that the positive marked point is swallowed before the negative marked point .
For a quadrilateral with boundary points in the order , its conformal cross-ratio coordinate is . In the critical percolation exploration, wire the arcs and blue and the other two arcs yellow. Exploration from zero, stopped when one of the two marked sides is swallowed, detects a blue crossing between those two blue arcs exactly in the event just computed. The continuum exploration has the SLE6 law; its Locality property of SLE lets one stop the ordinary chordal exploration before the distant boundary colors affect it. Thus the crossing probability isthe Cardy boundary crossing formula. This is the rigorous scaling-limit formula for critical site percolation on the triangular lattice; applying it to other critical planar models requires the corresponding universality assumption. At this percolation value of , the printed integral is already the correct one.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 27 3 Solution 2026-10-14
The common Brownian motion cancels from the difference . Before either lifetime,Hence and : if reached zero first, the positive smaller solution could not persist beyond that time. WriteUsing the Itô formula for givesThe difference has finite variation, so there is no cross-variation term in the Itô product rule for . Since ,For , the Itô formula therefore makes its drift vanish exactly whenA nonconstant increasing scale function of a one-dimensional diffusion satisfiesThe assumptions and are precisely the integrability conditions at zero and one. Normalize the scale function by its endpoints:Here is the regularized incomplete beta function. The normalized function is continuous and strictly increasing on , with and . We have obtained the local martingale
The terminal identification needs care; mere boundedness does not by itself say what happens when both lifetimes coincide. Stop first on compact subsets of , and then exhaust the interval . The bounded local martingale criterion makes a bounded martingale with a limit , and optional sampling theorem gives . For completeness, applying the Itô formula to each stopped bounds the expected quadratic variation by one. Monotone convergence over the localization sequence impliesSince is continuous on , itself has a limit .
On , while , so and . On , the supplied divergent clock isIf , then eventually is bounded below by a positive constant. This remains true if its limit is one: diverges there, rather than tending to zero. The divergent clock would then force , contradicting the finite quadratic variation. Thus and on the simultaneous-lifetime event. We have provedTaking expectations yields the complete probability formulaThis is the beta integral for strict ordering of coupled Bessel lifetimes; the complementary probability is the probability of simultaneous swallowing, not of the larger initial point dying first.
To connect the calculation to SLE, let its driver be . For a positive boundary point before its boundary swallowing time, put . The Chordal Loewner equation givesThus two positive boundary points give exactly the coupled Bessel processes above, with and . The interval corresponds to . Their boundary swallowing times obeyThe formula quantifies whether the growing hull separates one boundary point from infinity before the other, or swallows them together inside the same boundary interval. It does not identify swallowing with visiting each point. At , the two beta parameters are and this becomes the Cardy boundary crossing formula in the corresponding cross-ratio coordinate, explaining its role in the conformal invariance of planar percolation.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 29 3 d Solution Created 2026-10-03 Updated 2026-10-14
Write . The stopped Bessel process has the same law as the weighted stopped Brownian motion, so for every bounded measurable functional of a continuous path,The Bessel process hits in finite time and never hits zero. Its minimum before that hitting time is strictly positive. Thus for sufficiently small , depending on the path, its stopped path equals exactly. Under Wiener measure, the events increase to , and on that event the stopped paths eventually equal . The remaining term is bounded by . The dominated convergence theorem therefore yields the precise limiting identityThe bounded stopped martingale givesHence the limiting identity saysThis establishes Brownian conditioning by a stopped Bessel density.
The displayed density in the question requires a stopping convention. On the full, unstopped path space, the probability measureis well-defined, but its paths continue as Brownian motion after . Its pushforward by the stopping map is the law of the stopped Bessel process. Equivalently, if denotes the law of Brownian motion stopped at , then the actual stopped laws satisfyLiteral absolute continuity of the stopped law with respect to unstopped Wiener measure is false: paths that become permanently constant at have probability one for the stopped law and zero under Wiener measure. The same density is also valid on the stopped sigma-algebra of the original coordinate space. Thus the corrected stopped-law formulation proves the intended conclusion without equating these different full-path measures.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 35 1 b Solution Created 2026-10-03 Updated 2026-10-07
Before , the centered image satisfies the stochastic differential equationChanging the sign of the Brownian motion shows that is a Bessel process of dimension . Here is a direct proof of the relevant hitting property, including finite lifetime.
Put . By the Itô formula, the drift of isThus is a local martingale and a scale function of a one-dimensional diffusion. Fix . The nonnegative functionvanishes at both endpoints and satisfies , for . Stop first on , and also at a deterministic time. The Itô formula gives . Let and then . It follows that the first exit is finite almost surely, not merely that the path approaches a boundary at infinite time.
Optional stopping applied to on this bounded interval givesOn the process must therefore hit every before zero. Letting makes that probability zero. ConsequentlyAt the dimension is two; zero is not hit from a positive starting point. This endpoint must not be included in the finite-swallowing assertion.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 27 3 ii Solution Created 2026-10-03 Updated 2026-10-07
Assume and , since the initial driving point does not admit the displayed ordinary boundary flow. The sign of the driver in this part is negative, soAfter division by , the Boundary-point Bessel flow for SLE isFor this is a Bessel process of dimension . For , obeys the same equation driven by until hitting zero. It suffices to treat a positive initial value.
The infinitesimal generator is . An increasing scale function of a one-dimensional diffusion isIt satisfies . For , optional stopping theorem gives the boundary hitting probability from a diffusion scale functionWhen , put . The inner boundary is reached in finite time: the nonnegative functionvanishes at and satisfies . Applying the Itô formula before exiting gives . As , these times increase to a finite limiting exit time almost surely. Thus the scale limit is an actual hitting event, not just asymptotic approach to zero, andLet to obtain .
If , then , and the same formula makes the probability of hitting zero before any fixed equal to zero. A finite-time hit would occur before reaching some integer upper level, because the stopped path is continuous and bounded on a finite interval. Taking the countable union over those levels proves that no hit occurs. At , gives the same conclusion. ThereforeThe source's case must be excluded: zero is then already the initial value, and the displayed singular flow is undefined.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 39 6 a Solution Created 2026-10-03 Updated 2026-10-07
Assume the usual positive initial asset values. The coefficients determine a unique normalized local martingale deflator. The state-price density and local deflator distinction matters here: calling it a state-price density uses the local convention, while true expectation pricing needs an additional qualification, addressed below.
Let and be local martingales, with . The Brownian martingale representation theorem says that every local martingale in the usual natural Brownian filtration is continuous and is a stochastic integral against . Applying it to , and dividing by the positive finite-variation account, forcesfor a locally square-integrable predictable . The Itô product rule for has driftIt must vanish. Since are positive, this yieldsConversely this drift choice makes both and local martingales. Continuity and strict positivity of make bounded along each path on every finite time interval, so its pathwise square integral is finite. The unique linear SDE solution isUniqueness follows from the forced drift and diffusion coefficients and uniqueness of this linear stochastic differential equation.
Continuity alone does not make the density a true martingale. For a true equivalent martingale measure, the stochastic exponential must have expectation one, for example under the Novikov condition on each horizon. True martingale pricing of all desired deflated payoffs also requires the relevant integrability. These stronger conclusions do not follow just from pathwise continuity.
An explicit counterexample to the stronger reading uses a three-dimensional Bessel process with and , which is a positive strong solution in the Brownian filtration. Take and . Then , and are continuous and . The unique local candidate is , with . The reciprocal three-dimensional Bessel strict local martingale is not a true martingale. To verify the loss of expectation, use the standard Bessel transition densityIntegrating gives for , where is the standard normal cumulative distribution function. A true pricing density for the constant bank account would have expectation one. Hence the printed hypotheses establish the local deflator statement, while a true-density reading needs an additional condition and is false as stated.