The equation is a conservation law with diffusive flux . For positive density, insects move down the density gradient, with effective diffusion coefficient : dispersal is stronger in low-density regions. This is logarithmic diffusion, since the equation is .
Put and . A self-similar solution conserves total number when . Its width shrinks to zero as ; for an integrable nonnegative , changing variables in the integral against a bounded continuous function proves convergence to times the Dirac delta distribution at the origin.
Substitution gives
Matching powers for a nonstationary profile forces . The profile equation integrates to . For a centred even profile, , and integration of gives . Normalization requires , hence
This is times a Cauchy distribution density with scale . It is positive, has total mass , and directly satisfies the nonlinear diffusion equation for .
Specify the sign convention for the Lévy characteristic exponent by
Conditioning on and using the Brownian first-passage Laplace transform gives
Therefore
The absolute value is essential for negative . The process is the standard symmetric Cauchy process; for , has the Cauchy distribution with location zero and scale . If the exponent convention instead uses , the answer is .
Let be independent and identically distributed random variables with the standard Cauchy distribution, whose probability density function is
Its first absolute moment diverges since
On the other hand, its characteristic function is . The characteristic function of a sum of independent variables therefore gives
Thus the stability of the Cauchy distribution implies that has the standard Cauchy distribution for every . In particular,
where is standard Cauchy and denotes convergence in distribution.
Differentiate the cumulative distribution function using the chain rule:
This is a Cauchy distribution with location zero and scale . The probability density function is nonnegative and integrates to .
The probability density is an even function. Its derivative simplifies to
It increases for and decreases for , with maximum height . Thus the most probable value, or mode, is . The original sketch shows the symmetric, slightly flattened peak and long tails.
Figure 1.
Density of a standard Cauchy variable after an independent uniform displacement
. Details.
There is a genuine qualification to the request for a mean: the mean does not exist. The integral representation shows that as , so
The two divergent integrals cannot be subtracted to define an expected value. Symmetry does give the Cauchy principal value , but that is not the mean. Equivalently, adding the bounded variable cannot make the first absolute moment of a Cauchy distribution finite.
For positive standard deviations , substitute the two normal densities:
The integral is , by substituting the exponent's quadratic argument. Thus, with ,
This is a centered Cauchy distribution of scale . Since , the desired probability is
Use the characteristic function to establish convergence in distribution by the Lévy continuity theorem, especially when exponential moments do not exist; a Cauchy distribution, for example, has a characteristic function but no finite moment-generating function on a neighborhood of zero.
Use the moment-generating function for an exponential-tail estimate: for with , Markov inequality gives
Optimizing over produces a Chernoff bound. The modulus-one characteristic function does not directly give this positive exponential bound.
A characteristic function is useful for proving convergence in distribution, including for laws without a finite moment-generating function: the continuity theorem says that pointwise convergence of characteristic functions to a characteristic function continuous at zero implies convergence in distribution to its law. For example, the Cauchy distribution has a characteristic function although its moment-generating function is not finite on any neighbourhood of zero.
A moment-generating function is especially useful for exponential tail bounds: for where it is finite, Markov's inequality gives
Optimizing over yields a Chernoff bound. The positive real exponential in this argument permits the inequality; a unit-modulus complex exponential does not give the corresponding tail bound.
Write with and choose its initial argument once. The exponential map in the source is a covering of the punctured disc, rather than a bijective map onto the full disc. Its pathwise inverse is the continuous lift
For this lies in the upper half-plane, and at the disc exit it lies on the real line. Local conformal invariance of planar Brownian motion, or the quadratic variation of its analytic derivative , shows that is planar Brownian motion run at the clock
The disc exit time is finite almost surely. The path avoids zero on the compact interval through its exit, so its minimum modulus there is positive and . Before this terminal clock time the lifted imaginary coordinate is positive, and at it the coordinate is zero. Hence it is exactly the upper-half-plane exit time of the time-changed Brownian motion, not an additional arbitrary stopping time.
The starting point of the lift is with . Its real exit coordinate has Cauchy distribution . Since that coordinate is , we obtain the stronger exact law
Its first absolute moment diverges:
There is no contradiction with the terminal point lying on the compact unit circle: reducing its argument modulo loses the number and direction of turns accumulated before exit.
Figure 1.
The logarithmic lift and the Cauchy tail of the accumulated winding angle
. Details.
Using the Cauchy distribution from the preceding part gives one common probability space for all starting points:
As with , almost surely, since is a finite real random variable almost surely. Continuity of at zero gives almost surely, and boundedness supplies an integrable constant bound. Dominated convergence theorem therefore proves
The argument applies to every sequence approaching zero, including tangential approaches. Along the real boundary the extension is already , which is continuous. Hence the extension is continuous at zero in the closed half-plane. No finite moment of the Cauchy distribution is required.
Take and let be the first time hits . Reflect the horizontal coordinate after , leaving the vertical coordinate unchanged. The Strong Markov property and symmetry preserve the law of planar Brownian motion and leave its real-axis exit time unchanged. On paths with , the reflection swaps the two terminal events and . There is no terminal atom at . Hence the Brownian reflection principle gives
Horizontal symmetry gives the same probability for . A union bound therefore yields
Also , whose Cauchy distribution is . Thus the maximum tail is bounded above and below by positive constants times for large . The tail integral formula for moments for positive moments gives
The large- integral is finite exactly when ; it diverges for . Near zero its upper bound by is finite.
The vertical coordinate remains nonnegative up to exit and starts at one. The strip calculation, now with upper boundary , gives
Thus has density on , and in fact
For completeness, if the source's includes negative powers, also has all negative moments. Let be the first horizontal exit from . Then
The first bound follows from the Gaussian reflection bound for the vertical hit of zero; the second follows by splitting time into blocks of length , each having a fixed positive chance of exiting the horizontal interval. This small-value estimate integrates against every negative power. At both moments equal one.
Figure 1.
The vertical maximum has an exact inverse-height tail while the horizontal maximum has comparable Cauchy tails
. Details.
The long-time Spitzer winding theorem states that, for the continuous unwrapped angle of planar Brownian motion started at ,
Here has the standard symmetric Cauchy distribution. The notation means convergence in distribution: for every real ,
Equivalently, expectations converge for every bounded continuous test function. This is a statement about the laws at large deterministic times, without asserting almost-sure convergence of sample paths. The angle is unwrapped; a principal argument is bounded and would instead give zero after division by .
Probable error Created 2026-10-14 Updated 2026-10-20
The probable error is the half-width of an interval around a specified central value containing probability . For a normal distribution with , its quantile function gives
where is the standard normal cumulative distribution function and is the standard deviation. The factor is specific to the normal distribution. The centered Cauchy distribution with parameter has probable error , despite having no finite variance. Thus a central probability width need not require a finite second moment.
Take two stipulated oppositely charged daughters with equal rest mass and exactly opposite momenta of magnitude . Their total momentum is zero, so
This is a constructed event, not an identification of a historical particle. Boosting both four-momenta by along the first daughter's direction gives total energy and total momentum . Substitution recovers the same invariant mass, although the laboratory energy has increased.
The following independent simulation stipulates 700 signal combinations from a Cauchy distribution centered at with scale , truncated to , plus 2400 background combinations whose density decreases linearly across that interval. Each combination is converted to a back-to-back two-daughter event with . Independent isotropic directions are chosen, each Cartesian momentum component receives normal distribution noise with standard deviation , and invariant mass is reconstructed from the perturbed momenta. All inputs and counts are invented. No historical experimental points or fitted historical parameters appear.
Figure 1.
A stipulated resonance component produces an excess above a smooth simulated invariant-mass background
. Original simulation of two-daughter events, with invented counts, a truncated Cauchy signal and a linearly falling background. The two panels share the same generated events. The right panel adds chosen momentum noise before reconstructing invariant mass; this is not an experimental discovery plot. Details.
Spitzer winding theorem 2026-10-31
For planar Brownian motion started at , let be its continuous unwrapped angle, initialized at zero. Then converges in distribution to the standard symmetric Cauchy distribution, with density . The angle records all completed turns rather than a bounded principal argument. The assertion is a convergence in distribution at deterministic times; it does not assert convergence of sample paths. A precise statement appears as Theorem 7.31 in Mörters and Peres, Brownian Motion.
Stable distribution Created 2026-09-24 Updated 2026-09-24
A probability distribution is stable when every linear combination of independent copies has the same distribution up to a location and scale change. The Cauchy distribution is stable with stability parameter one.
Tangent of a uniform angle has a Cauchy distribution Created 2026-10-18 Updated 2026-10-20
If and has the continuous uniform distribution on , then has the Cauchy distribution with location zero and scale . The tangent function is strictly increasing on this interval, so its cumulative distribution function is
Differentiating gives the probability density function . The probability of either endpoint is zero, so including endpoints in the uniform interval does not alter this probability distribution. The slow quadratic decay makes the expected value undefined: its positive and negative parts both have infinite integrals. Its second moment is also infinite, so it has no finite standard deviation.
Temporal optical coherence Created 2026-10-14 Updated 2026-10-18
Temporal optical coherence compares a field at one position with a delayed copy. In a Michelson interferometer, unequal round-trip lengths supply this delay. Even a source with rapidly changing wave phase can give high interferometric visibility close to zero delay, because both arms then deliver nearly the same source history. A source narrowed in optical spectrum generally retains correlation over larger delays; a single width does not describe sources with several separated lines. [ref].
For a stationary scalar field, choose the carrier convention , with frequency in cycles per second. Let be its spectral density per unit frequency, with . Its normalized field correlation is the Fourier transform
The optical spectrum weights the rotating contributions; a broad spread of frequencies allows them to cancel at short delays. This is the stationary field correlation–spectrum relation. The relevant spectrum is that of the optical field in the detected mode, rather than the low-frequency fluctuations of a detector's light intensity. [ref].
Here are two stipulated line profiles, each centered at with full width at half maximum . Write and use normalized profiles on the whole detuning line:
The first is a Lorentzian, mathematically a Cauchy distribution; the second is a Gaussian function. Taking their Fourier transforms gives, with the carrier factor omitted from the magnitudes,
These are calculated model results, not measured line profiles. The detuning approximation treats the narrow line as extending to arbitrarily large positive and negative ; for optical applications require . Exact spectra of the complex positive-frequency field have no negative absolute frequencies. Changing to angular frequency replaces by ; it must not silently preserve the same numerical constant.
Figure 1.
Michelson interferometer geometry and calculated interferometric visibility versus delay for stipulated line profiles
. Details.
Equal detected single-arm light intensities give interferometric visibility equal to the correlation magnitude. Doubling the Gaussian full width at half maximum from to halves every fixed-contrast delay. At the model gives Gaussian interferometric visibility approximately at and at ; the Lorentzian gives . The dashed curve instead keeps the Gaussian correlation and changes to , multiplying all interferometric visibilities by . Its lower contrast at zero delay therefore comes entirely from intensity imbalance.
Voigt profile Created 2026-10-14 Updated 2026-10-18
A Voigt profile is the convolution of a Gaussian distribution and a Cauchy distribution. For an absorption line, thermal Doppler broadening contributes the Gaussian core while finite excited-state lifetime contributes the Lorentzian wings. Instrumental broadening and unresolved motions must also be modeled when inferring column density and temperature.