An antiderivative of the initial velocity is . Thus D'Alembert's formula gives
This is a positive Gaussian function moving right and a negative Gaussian function moving left. Their cancellation at gives the zero initial displacement, while direct differentiation gives .
For every , the profile is an odd function of , vanishes at , is positive for and negative for , and tends to zero at both spatial infinities. The signs follow from . The positive and negative lobes move farther apart as increases; for large separation they approach the individual unit-height Gaussian functions centred at . At finite separation the actual extrema lie slightly beyond these centres: writing , the positive global maximum occurs at the unique satisfying .
Figure 1.
Oppositely signed Gaussian wave profiles at two positive times
. Representative times with and show the odd function profile and increasing separation of its lobes. The individual component centres are , while their superposition slightly shifts the actual extrema. Details.
For the Gaussian function, direct differentiation gives . Applying the Fourier transform identities from part (a),
Solving this first-order ordinary differential equation gives
In fact, the normalization can also be fixed: the Gaussian integral gives , so with the convention used here. The transform has the same Gaussian shape.
Take and , the positive diffusivity requirement for the forward heat kernel. The PDF does not explicitly specify the sign of ; the stated real Gaussian function formula requires this assumption. For a direct calculation, initially assume sufficiently smooth and rapidly decreasing data, so that the Fourier transform, its inverse and the following integrations are justified. The resulting heat-kernel convolution extends to wider classes of initial data.
Using the stated Fourier transform convention and integration by parts,
The transformed ordinary differential equation has solution . Fourier inversion then gives
Complete the square:
Part (a), after scaling by , evaluates the remaining Gaussian integral even though its shift is imaginary. Therefore
The heat kernel has integral one and is an approximate identity as , which recovers the initial condition. Mere decay at spatial infinity does not by itself imply every Fourier integral is absolutely convergent; the regularity assumption above supplies a rigorous setting for the derivation.
Put . In the heat-kernel convolution, complete the real square as
The Gaussian integral therefore gives
At the same formula gives . Equivalently, : the variance of this normalized Gaussian function grows from to .
The initial profiles have unit integral and concentrate at zero as . Precisely, for every smooth compactly supported test function ,
Thus the limit is the Dirac delta distribution, rather than an ordinary function: pointwise the profiles tend to zero away from the origin and diverge at the origin. At every fixed ,
The limiting evolved profile is the heat kernel for a unit point source.
The GRW model supports robust macroscopic locations, but not universal exact point locations supplied by a list of particle coordinates. It modifies the wave function rather than adding the actual particle configuration of Bohmian mechanics. A claim that objects are located must therefore specify both the collapse dynamics and the proposed ontology. “Localized” is not synonymous with “has compact support” or “is a position eigenstate”.
Using one standard convention, a collapse on constituent with centre acts by the GRW localization operator
Its centre has probability density . Independent constituent collapse rates give a body with relevant constituents an approximately localization rate. Correlations within a macroscopic superposition allow one constituent's localization to suppress an entire alternative configuration: the GRW amplification mechanism.[ref]
For two narrow packets separated by , a hit near one multiplies the other's relative amplitude approximately by . This explains a sharply concentrated pointer reading. Yet the Gaussian function is never zero at finite separation. A nonzero distant tail therefore remains, and a finite-width packet is not an exact position eigenstate. This is the tails problem in collapse theories.[ref] The assertion that each hit produces exact bounded support is false; an initially everywhere nonzero Gaussian wave packet is a concrete counterexample.
A GRW matter-density ontology specifies matter in ordinary SPACE by
A macroscopic body's density is concentrated near one region, making its approximate location physically meaningful. The formula is the proposed matter field itself, not a probability distribution over a hidden set of exact point positions. Residual tails correspond to very low density elsewhere, motivating the further question of why such tails do not constitute ordinary rival objects. Concentration provides a practical account of records; a full ontology must also address that structured-tail objection.
A GRW flash ontology instead identifies the primitive events with collapse centres in spacetime. Individual flashes have definite locations and times, while a persisting macroscopic object is a dense pattern of flashes. There is no continuous particle trajectory between them. An isolated microscopic system may flash rarely, so the model must not be read as assigning it an ordinary point location at every instant. Matter-density and flash accounts express distinct ontologies with related empirical predictions.[ref]
An approximate-location rule, such as requiring almost all matter density inside a suitably sized region, is meaningful if its tolerance and scale are stated. It does not turn the small tail into zero, and arbitrary sharp property thresholds can create artificial counting puzzles. The defensible result is emergent, highly stable macroscopic localization, or exact locations of flashes, depending on the ontology. Exact Bohmian positions are a different theoretical commitment and cannot be attributed to the collapse equation alone.
Write , , and . At zero temperature all particles occupy . Expanding the bosonic annihilation operator in single-particle orbitals gives
This one-body density matrix is a Gaussian function of width ; it contains one wavefunction evaluated at , so its exponent is half that of the spatial number density . In particular,
the total number density at the trap centre, including condensed and noncondensed particles.
At positive temperature, with occupations of the trap energy eigenstates, the exact ideal-gas decomposition is
For , the sketch has a broad Bose-Einstein condensate component on scale and a narrower thermal peak near the origin. On approaching the broad component loses its weight , while the thermal part remains. Above there is no macroscopic broad Bose-Einstein condensate component; close to , low energy levels can still give a shoulder, so a single narrow Gaussian function is only a high-temperature description. At individual excited energy levels matter and the two-scale description need not apply.
For the Maxwell-Boltzmann distribution applies. The leading off-diagonal one-body density matrix is
Here is the Gaussian function width defined by , and is the thermal de Broglie wavelength. The thermal cloud itself extends over the much larger spatial scale ; this is a correlation width, not the cloud radius.
Figure 1.
Ideal trapped-gas one-body correlations across condensation
. Curves for use the discrete oscillator spectrum and its thermal kernel, with the chemical potential chosen to fix . Each vertical axis shows ; the last panel enlarges the vertical scale. The dotted curve below is the condensate contribution. The value of used in the labels is the leading large- expression. Details.
The issue is the square-integrable condition on the whole real line, not just decay at one end. Because the quantum harmonic oscillator potential is even, the even and odd parts of a square-integrable wavefunction are themselves square integrable and satisfy the same equation. It is therefore enough to examine each parity sequence separately.
For a nonterminating sequence, put , where or . Its recurrence relation gives
Since is real for an energy eigenvalue, the ratio is eventually positive. After multiplying by one constant phase, the tail coefficients are all positive. Choose . For sufficiently large , the ratio is at least , so for some the tail coefficients obey . Consequently, for , the magnitude of eventually exceeds a positive multiple of after subtraction of a fixed polynomial. Multiplication by leaves exponential growth like , incompatible with the square-integrable condition. Thus each nonzero parity series must terminate. The parity argument also excludes cancellation between the two nonterminating sequences at both infinities. This proves Normalization forces Hermite-series termination.
If the terminating polynomial has degree , its top nonzero coefficient requires . Conversely, when , choosing the seed of parity nonzero makes the recurrence relation terminate exactly at degree . The opposite seed must be zero, since that sequence does not terminate. Therefore
The resulting polynomials are proportional to the physicists' Hermite polynomials, and is normalizable because any polynomial times this Gaussian function is square integrable. The two parity seeds describe the full solution space of the second-order differential equation; the preceding argument therefore exhausts the normalizable stationary states. Each eigenspace has dimension one. General time-dependent quantum states can of course be superpositions of these energy eigenstates.
Write . Repeated application of the annihilation operator lowers the energy eigenvalue in steps of . The lower bound from part (ii) forces this process to stop. To see why it also quantizes the starting energy, write
The first lowering steps have positive squared norms. If , the next step is also nonzero by part (ii), and its energy would be , contradicting the bound. Thus , and
Existence of the ground state can also be checked directly in the position representation. The equation is
whose solution is proportional to . This Gaussian function is square-integrable, so it gives an actual ground state. Its normalization can be chosen using the Gaussian integral.
All the displayed levels occur: for a nonzero state at ,
Thus repeated raising creates a nonzero energy eigenstate at every .
At zero, the Fourier transform is , so . In particular and . The Fourier inversion theorem at zero also gives
Equating the two values yields . Since the explicit normalized Gaussian function in part (i) has , here .
The compact emitting region in (a) indicates that excitation itself is strongly localized. In (b), the illuminated path generates out-of-focus fluorescence as well as fluorescence near the focus. A confocal detection pinhole can reject much of that unwanted emission from the recorded image; it does not prevent the dye solution from emitting it.
In ordinary one-photon excitation, the local fluorescence-generation rate is approximately proportional to excitation light intensity . In unsaturated two-photon excitation microscopy, it is proportional to . Simultaneous absorption is appreciable only in the high-intensity focal region, generally produced using a pulsed laser. Two lower-energy photons jointly excite the fluorophore; the excitation wavelength is therefore typically substantially longer than in its one-photon experiment. This reduces out-of-focus excitation and permits detection without a confocal pinhole.[ref]
For a small detection pinhole, the effective confocal point spread function is approximately
Here each factor denotes an intensity response. Excitation and detection jointly select the focal region. Enlarging the pinhole increases collected signal but weakens axial rejection and changes the effective point spread function. In two-photon excitation microscopy with broad collection, the spatial response is dominated by
The pinhole product and excitation square are different physical mechanisms even when simplified mathematical profiles resemble one another.[ref]
Compare both lateral and axial widths using the actual wavelengths and objective. For a diffraction-limited system, their characteristic scalings are
where is numerical aperture and is the medium's refractive index. Numerical prefactors depend on the width criterion and high-aperture optical model. Axial resolution is generally worse than lateral resolution. A small confocal pinhole improves axial sectioning and can narrow the lateral response, at the cost of photon throughput.
As a simple Gaussian function example, has squared profile , so its width is reduced by . However, the two-photon illumination spot itself is broader at its longer excitation wavelength. Two-photon excitation is not automatically higher-resolution than confocal microscopy, and ordinary two-photon sectioning is not intrinsically super-resolution. Compare measured point spread functions, pinhole settings, numerical apertures, scattering and optical aberrations, not just the fact that one profile is squared.
The original model figure below separates focal confinement from wavelength-dependent width. It is an illustrative one-dimensional Gaussian function calculation, not a reproduction or quantitative fit of the supplied photograph.
Figure 1.
Local excitation nonlinearity and wavelength-dependent point-spread widths
. Left: squaring the same normalized Gaussian illumination narrows the local generation profile. Right: a longer-wavelength illumination profile can remain broader after squaring than an illustrative confocal excitation-times-detection response. All widths are synthetic; peak normalization does not equate photon throughput or excitation dose. Details.
For consistency with the supplied wavenumbers, use an FFT grid on a periodic interval: , , and similarly for . In MATLAB, replace the endpoint-inclusive coordinate definitions by x = (0:nx-1)*Lx/nx; and y = (0:ny-1)*Ly/ny;. The supplied linspace arrays instead have spacing while the Fourier multipliers assume . Including both copies of the periodic endpoint creates a grid inconsistency, separate from high-frequency aliasing.
The line references below use the original listing's line numbers.
For this linear homogeneous problem, the exponential update is exact for the retained modes, apart from roundoff error. It is not a forward Euler method step and does not require the explicit finite-difference diffusion stability restriction. Sampling, periodic modelling and spatial resolution still matter.
Aliasing occurs because a sampled grid cannot distinguish certain different continuous Fourier modes. With spacing , modes and agree at every sample point. Frequencies above the Nyquist frequency can therefore be misidentified as lower frequencies, changing the resolved spectrum and its subsequent diffusion rate.
For the corrected grid, and the maximum resolved angular wavenumber is approximately . The initial Gaussian function has spectral envelope proportional to . At that one-coordinate cutoff the factor is about , so the omitted high-frequency tail is tiny. Its continuation mismatch at the distant edges is also tiny. Significant aliasing is not expected for this resolved, smooth initial condition.
The linear constant-coefficient heat equation only damps existing modes; it does not generate higher frequencies through nonlinear products. An unresolved narrow peak, a sharp edge or a nonlinear source would require a separate resolution assessment. The duplicated-endpoint grid issue described above should not be diagnosed as high-frequency folding.
Photoelectron peak overlap and resolution Created 2026-10-18 Updated 2026-10-20
Choose two hypothetical environments A and B of one chemical element, with line centers and . Model each line by a normalized Gaussian function with common standard deviation , and stipulate integrated count weights , . On the binding energy axis , the normalized count density is
All energies in this expression use electronvolts. Each component's integrated area equals its count weight, and . There is no background, statistical counting fluctuation, or additional emission feature in this stipulated model. These choices deliberately isolate photoelectron peak overlap and resolution.
Figure 1.
Two chemical components can blend into one maximum
. Original arbitrary normalized data, not a measured spectrum. The chosen Gaussian mixture distribution has centers and and integrated count weights and . Changing the common standard deviation from to changes the number of maxima from two to one, while leaving the centroid at . These count weights are not mole fractions; a chemical abundance inference requires cross section and analyzer-response calibration. Details.
Direct integration, or the law of total expectation applied to the component label, gives the centroid
The centroid lies between the chemical environments and is not either component's binding energy. Expanding within each component, the odd cross term integrates to zero. The resulting variance is
For the variance is and the two maxima are separated. For it is and there is one maximum. Each Gaussian's full width at half maximum is , approximately and respectively. The chemical separation remains in both cases. The number of visible maxima therefore does not equal the number of chemical components.
One interpretation of this change is additional independent Gaussian instrument blur. The convolution of probability densities adds the variances, so broadening to requires response standard deviation . A normalized response with zero mean preserves the centroid and integrated counts. Real line shapes and backgrounds can depart from this model, and separating hidden components is an inverse problem; a plausible fit does not alone establish uniqueness.
Finally, count weights describe detection. In a simple response model, let denote the number of emitting sites sampled in environment , its effective photoionization cross section, and the probability that its emitted electron contributes to the selected measured line. Then
The common factor includes exposure. Here includes escape from the sample, analyzer transmission and detection. Count weights equal site fractions only if the relevant response factors are equal or corrected. They are not automatically molecular mole fractions; different molecules can supply different numbers of the selected emitting sites. In an original example, equal site numbers with give the plotted count ratio despite a site ratio.
Poisson summation formula for a Euclidean lattice Created 2026-09-28 Updated 2026-10-14
Let be a full-rank Euclidean lattice, with covolume and dual lattice . For a Schwartz function use the Fourier transform convention
Then the Poisson summation formula becomes
Both series have absolute convergence. To see the normalization, apply integer-lattice Poisson summation to . The change of variables formula gives , yielding both the reciprocal covolume factor and the dual lattice argument. The factor is the physical lattice-point density. In particular, for spacing ,
For the Gaussian function with , the product of the one-dimensional Gaussian Fourier transforms gives
Here is the Euclidean norm. As a normalization check, take . Its covolume is , and its dual lattice is , so
This also follows by multiplying two Gaussian Poisson summation identities with parameters and . If one instead uses an angular Fourier transform kernel , the reciprocal frequencies are , while the prefactor remains .
Polar-coordinate proof of the Gaussian integral Created 2026-10-14 Updated 2026-10-18
Put . The nonnegative integrand allows Tonelli's theorem to write the square as a double integral:
In polar coordinates, , , and the Jacobian determinant supplies the area factor :
Since , take the positive square root to get . The computation proves finiteness as well as the value. For an explicit limiting argument, first integrate over disks of radius ; their integrals are , which increase to as . [ref]
Figure 1.
Gaussian height times the circumference of a ring gives its radial contribution
. Left: is constant around each circle; the marked annulus illustrates a finite-width shell. Right: the radial contribution includes the circumference factor and integrates to . The shell in the picture has finite width; is the infinitesimal area element. Details.
The geometric surprise is that radial shells get longer as increases, even while the Gaussian function gets smaller. Its central height is largest at zero, but the radial contribution vanishes there and peaks at . Differentiating gives , which changes sign at that radius. Keeping the Jacobian determinant is what makes the one-dimensional integral and the plane geometry agree.
Positive diffusivity requirement for the forward heat kernel Created 2026-10-07 Updated 2026-10-14
The real Gaussian function heat kernel is integrable only when . For forward time , this requires positive diffusivity. A Cole-Hopf transformation is an algebraic substitution for any nonzero coefficient, but that does not make the real forward convolution valid for negative diffusivity. Constant initial heat data already produce a divergent integral with the wrong sign.
The second-order, angle-averaged evolution of a galactic distribution function caused by weak fluctuating gravitational perturbations. In action-angle variables, the first-order response to a Fourier series harmonic feeds a second-order flux proportional to and to the perturbation's power. Orbital resonances select where transport is strongest; a finite pulse produces Gaussian resonance broadening when its time envelope is a Gaussian function. The general flux retains time memory until a further short-memory or pulse-integrated approximation is made.
Relativistic matter-wave velocities Created 2026-10-18 Updated 2026-10-20
For a one-dimensional free particle with and , take the positive total energy from the relativistic energy-momentum relation:
A fixed plane wave quantum phase obeys . Its phase velocity is therefore
For a narrow wave packet centered at , expand its dispersion relation as . In the Fourier inversion integral building the wave packet, the envelope then depends on . Thus its group velocity is
The superluminal phase velocity follows a repeating phase marker; it does not describe a localized signal or superluminal transport of energy. Higher derivatives of the dispersion relation produce wave packet spreading, so the translated-envelope argument is a narrow-band approximation. For , the Lorentz factor is , and : the group velocity is while the phase velocity is .
Figure 1. . Original one-dimensional Fourier inversion model with , central momentum and Gaussian function momentum amplitude , . The blue curve is the real part of and the orange curves bound its amplitude. Dashed lines mark ; dotted lines track one phase of the central plane wave, . The right panel compares the secant and tangent slopes. This scalar model illustrates the dispersion relation, without representing electron spin or measured particle paths. Source. Details.
The total-energy convention matters. Define to remove the common rest energy from a wavefunction with total-energy time dependence. Then
This is exactly the free-particle momentum convention used by the Schrödinger equation here. Removing a common time-dependent global phase changes the reported phase velocity, while leaving the de Broglie wavelength, relative spatial quantum phases and group velocity unchanged. Adding again to a total energy would count the rest energy twice.
A signed spatial filter model of a simple cell assigns a weight to each sampled location and takes its dot product with the visual contrast image . Positive weights favor bright features; negative weights favor dark features. The signed drive
is a linear function of the image, while the rectified linear unit output is nonlinear. and below are arbitrary model units. To obtain a predicted firing rate one would need a calibrated gain, background response and possibly a different output function. The model does not generate a spike train; a linear-nonlinear-Poisson cascade model adds a stochastic event-generation assumption.
For the first diagram, every one of five rows has weights
A bright central column, with and zero elsewhere, gives . A bright middle row gives ; a uniformly bright patch also gives , since every row sums to zero. Move the bright column one site right: , so . Make that shifted column dark instead: and . Thus an OFF-like weight can increase output for darkness. A negative weight is a descriptive sensitivity, not evidence for a particular inhibitory synapse.
For a smooth example use the real, even Gabor filter
The Gaussian function localizes the weights; the cosine supplies alternating polarity. Choose , and in arbitrary spatial units. The stripes' spatial frequency is cycles per unit. Their axis makes angle with horizontal, while brightness changes across the perpendicular axis. is their spatial phase. Normalize the full-plane integral of by its value at , . The Gaussian integral and the product identity for cosines give
where
At , horizontal stripes give , stripes give , and vertical stripes give . At the same vertical orientation, gives , while reversing the polarity with gives and . The preferred axis persists while the response changes dramatically with position. Shifting the vertical stripes by a quarter of their wavelength changes phase by up to sign, without rotating them.
These are two different toy filters, not discretizations of the same fitted receptive field. The discrete filter exactly rejects a uniform contrast patch; this Gabor filter need not reject uniform contrast because its weight integral need not vanish. Neither toy includes stimulus history, recurrent interactions, saturation or a measured response baseline. Their value is a transparent prediction: orientation selectivity can emerge from spatial summation, and it does not by itself imply tolerance to phase.