With an absorbing boundary condition for a diffusion on each vertical side, the splitting probability of hitting the left side before the right is harmonic for the Kolmogorov backward equation:
For ,
The particle starts at , so
The continuous limit at zero is , as required by reflection symmetry. A large positive drift drives the particle toward the right and gives ; a large negative drift drives it toward the left and gives .
In this polymerization Brownian ratchet model, a gap of width immediately accommodates one monomer. That event advances the tip by and resets the gap to zero. The threshold is therefore an absorbing boundary condition for a diffusion,
All waiting-time probability lies within , so the steady occupation probability density satisfies
There is a reinjection flux at equal to the absorption flux at . The nonpenetration constraint at zero is a reflecting boundary condition for a diffusion during each individual waiting episode. For the stationary reset process it must not be confused with setting the net current to zero: the source at reset supplies . This is how a normalized steady density can coexist with a nonzero exit flux.
Put and . The absorbing boundary condition for a diffusion gives , hence
This is nonnegative throughout the allowed interval. Normalizing the probability density gives
Therefore
Equivalently the normalized density is
The denominator is positive for , since . The dimensions are consistent: has units of inverse time, and of inverse length, and is dimensionless.
At the transverse coordinates are independent Brownian motions with diffusion coefficient . The cylinder is infinitely long, so the axial coordinate cannot affect its first contact time. By rotational invariance of Brownian motion, the mean first-passage time depends only on the transverse radius .
The Kolmogorov backward equation for a mean first-passage time is . Here , so the radial boundary value problem is
The absorbing boundary condition for a diffusion is imposed on the circular cross-section. At , the solution must extend smoothly over the axis. Multiplying by and integrating gives
Smoothness at the axis excludes the logarithm term, and fixes . Consequently
This also verifies the finiteness assumption behind the Kolmogorov backward equation. Let be the first contact time and apply the stopped Itô formula to the bounded nonnegative function just obtained. Its bounded derivatives on the disk make the stopped stochastic integral a martingale, giving
By monotone convergence, has finite expected value; continuity and dominated convergence then make the final term vanish as . Hence . In particular, the mean first-passage time is on the axis and tends to zero at the adsorbing wall.