ANISOTROPIC SPACE DYNAMICS · CANONICAL THEORY

Uncertainty: Fourier Width Bounds for Wave Packets

Start with an envelope’s spatial width and wave-number bandwidth, derive the Fourier standard-deviation bound step by step, and identify the phase–momentum matching needed to connect it to preparation and measurement.

Based on the final manuscript · Chapter 5

TheoryTheory · EFFECTIVE MODELReviewMathematical review · CONDITIONALEvidenceEvidence · UNTESTEDCanonicalYesStatus, review and sources

01What width does a localized wave packet have?

A localized material core and its accompanying field do not have the same spatial distribution. The object here is the effective envelope: which wave-number components are required to form a field concentrated in a finite region? Reducing its spatial extent changes its phase gradients and spectrum. An uncertainty relation first constrains these two widths quantitatively; their connection to material measurements comes next.

Take a one-dimensional envelope ψ(x)\psi(x), where xx is position along the direction considered. Normalize it and use the symmetric Fourier convention of Chapter 5, (5.3.23):

ASD-WEB-QM-022
ψ~(k)=12π∫ψ(x)e−ikx dx,∫∣ψ∣2dx=∫∣ψ~∣2dk=1\widetilde\psi(k)=\frac1{\sqrt{2\pi}}\int\psi(x)e^{-ikx}\,dx,\quad\int|\psi|^2dx=\int|\widetilde\psi|^2dk=1

Definition
Finite second position moment and square-integrable first weak derivative; standard deviations refer to these mathematical weights.
Chapter reference: Ch. 5 (5.3.23) · ASD-BOOK-ddbade997b45

Here kk is the wave number conjugate to xx, and ψ~(k)\widetilde\psi(k) is its amplitude. Their squared moduli have equal integral normalization and define mathematical weights in position and wave number. This does not yet identify them with experimental probabilities for core positions or momentum readings.

To give “width” a definite meaning, define standard deviations about the means:

x0=∫x∣ψ(x)∣2dx,k0=∫k∣ψ~(k)∣2dk,x_0=\int x|\psi(x)|^2dx,\qquad k_0=\int k|\widetilde\psi(k)|^2dk, (Δx)2=∫(x−x0)2∣ψ(x)∣2dx,(Δk)2=∫(k−k0)2∣ψ~(k)∣2dk.(\Delta x)^2=\int(x-x_0)^2|\psi(x)|^2dx,\qquad (\Delta k)^2=\int(k-k_0)^2|\widetilde\psi(k)|^2dk.

The second position moment must be finite, the first weak derivative of ψ\psi must be square-integrable, and the decaying boundary conditions used below must hold. A weak derivative allows envelopes that need not be classically differentiable everywhere but still have a suitable derivative in the integral sense. A specified slit width, half-maximum width or first-zero separation is not automatically this standard deviation.

02How integration by parts produces a lower bound

To bring spatial and spectral width into one calculation, define F=(x−x0)ψF=(x-x_0)\psi and G=(∂x−ik0)ψG=(\partial_x-ik_0)\psi, with inner product ⟨F,G⟩=∫F∗G dx\langle F,G\rangle=\int F^*G\,dx. The function FF weights displacement from the center. The function GG removes the mean wave number's common linear phase from the derivative.

Taking the real part of the inner product removes the contribution from −ik0-ik_0 and leaves the derivative of the squared envelope modulus. The decaying boundary conditions make [(x−x0)∣ψ∣2]−∞∞[(x-x_0)|\psi|^2]_{-\infty}^{\infty} vanish, so

2Re⁡⟨F,G⟩=∫(x−x0)∂x∣ψ∣2dx=−∫∣ψ∣2dx=−1.\begin{aligned} 2\operatorname{Re}\langle F,G\rangle &=\int(x-x_0)\partial_x|\psi|^2dx\\ &=-\int|\psi|^2dx=-1. \end{aligned}

The inner product therefore cannot become arbitrarily small. Cauchy–Schwarz bounds its modulus by the product of the two function norms, while Parseval converts the position-domain derivative norm into the wave-number variance:

∥F∥2=(Δx)2,∥G∥2=∫(k−k0)2∣ψ~(k)∣2dk=(Δk)2,\|F\|^2=(\Delta x)^2,\qquad \|G\|^2=\int(k-k_0)^2|\widetilde\psi(k)|^2dk=(\Delta k)^2, (Δx)2(Δk)2≥∣⟨F,G⟩∣2≥(Re⁡⟨F,G⟩)2=14.(\Delta x)^2(\Delta k)^2 \ge|\langle F,G\rangle|^2 \ge\bigl(\operatorname{Re}\langle F,G\rangle\bigr)^2 =\frac14.

Taking nonnegative square roots gives ΔxΔk≥1/2\Delta x\Delta k\ge1/2. This follows from normalization, Fourier structure and the boundary conditions, without assuming stochastic detector response.

03From wave number to momentum requires material matching

Turning wave-number bandwidth into momentum width requires the phase–momentum matching p=ℏkp=\hbar k discussed on the matter-wave page. With the same constant ℏ\hbar throughout this matching, Δp=ℏΔk\Delta p=\hbar\Delta k. The existing equation registry records the mathematical proof and this physical connection together:

ASD-WEB-QM-023
F=(x−⟨x⟩)ψ,G=(∂x−i⟨k⟩)ψ,2Re⁡⟨F,G⟩=−1,ΔxΔk≥12;p=ℏk ⟹ ΔxΔp≥ℏ/2F=(x-\langle x\rangle)\psi,\quad G=(\partial_x-i\langle k\rangle)\psi,\quad2\operatorname{Re}\langle F,G\rangle=-1,\quad\Delta x\Delta k\ge\tfrac12;\quad p=\hbar k\ \Longrightarrow\ \Delta x\Delta p\ge\hbar/2

Mathematical result
Uses integration by parts, decaying boundaries, Cauchy–Schwarz and Parseval; the final step depends on phase–momentum matching.
Chapter reference: Ch. 5 (5.3.24)–(5.3.25) · ASD-BOOK-ddbade997b45

Thus ΔxΔk≥1/2\Delta x\Delta k\ge1/2 is an envelope relation, while ΔxΔp≥ℏ/2\Delta x\Delta p\ge\hbar/2 initially constrains the position and canonical-momentum distributions associated with that envelope. ASD must connect the measured core momentum distribution to the wave-number distribution through specified preparation, core–field coupling and detection protocols. Substituting ℏ\hbar does not remove the conditions on mode-action matching or experimental mapping.

04Why a Gaussian width and a slit width cannot be interchanged

The lower bound is attainable. Chapter 5, (5.3.26), gives a Gaussian envelope with linear phase:

ASD-WEB-QM-024
ψ(x)=e−(x−x0)2/(4σx2)+ik0x(2πσx2)1/4,Δx=σx,Δk=1/(2σx)\psi(x)=\frac{e^{-(x-x_0)^2/(4\sigma_x^2)+ik_0x}}{(2\pi\sigma_x^2)^{1/4}},\quad\Delta x=\sigma_x,\quad\Delta k=1/(2\sigma_x)

Mathematical result
σx>0; widths are standard deviations, not slit first-zero or half-maximum widths.
Chapter reference: Ch. 5 (5.3.26) · ASD-BOOK-ddbade997b45

Here σx>0\sigma_x>0 is the position standard deviation, x0x_0 is the envelope center and k0k_0 is the mean wave number. Its wave-number standard deviation is 1/(2σx)1/(2\sigma_x), giving a width product of exactly 1/21/2. Translation, a common phase or a linear phase does not change that minimum. Additional nonlinear phase, hard truncation or a non-Gaussian amplitude generally increases the product.

Slit experiments often use a different quantity: the width of a diffraction main lobe. The far-field amplitude of an ideal hard rectangular aperture is a sinc function, with sinc² intensity. Its tails make the second wave-number moment diverge. The first-zero separation can describe the main lobe but cannot be inserted as the standard deviation in this inequality. Real edge smoothing, finite material response and detector bandwidth alter the distribution and must be included in the same variance calculation.

This distinction keeps the aperture formulas in interference and diffraction consistent with the width bound. Geometric slit width, diffraction first-zero width and root-mean-square width answer different measurement questions.

05Duration and spectrum of a finite process

Time here is the metrological parameter recording the evolution of a process. A finite-duration amplitude also requires more than one frequency, but its width relation must follow the actual signal definition. For example, a rectangular time window of duration TT and carrier frequency ωc\omega_c gives

AT(ω)=∫−T/2T/2ei(ω−ωc)t dt=Tsinc⁡ ⁣[(ω−ωc)T2].A_T(\omega)=\int_{-T/2}^{T/2}e^{i(\omega-\omega_c)t}\,dt =T\operatorname{sinc}\!\left[\frac{(\omega-\omega_c)T}{2}\right].

Here ω\omega is angular frequency. The first-zero half-width of the rectangular-window main lobe is Δω0=2π/T\Delta\omega_0=2\pi/T. With the adopted energy–frequency matching, ΔE0=ℏΔω0\Delta E_0=\hbar\Delta\omega_0 gives the exact width identity ΔE0T=2πℏ=h\Delta E_0T=2\pi\hbar=h, as stated after final equation (5.3.27). This is a first-zero width, not a variance: the rectangular-window spectrum has a divergent second moment, and TT is not a time standard deviation.

For a square-integrable time amplitude with finite root-mean-square duration and angular-frequency standard deviation, the same Fourier proof gives ΔtΔω≥1/2\Delta t\Delta\omega\ge1/2. Another familiar process is θ(t)e−t/(2τ)e−iωct\theta(t)e^{-t/(2\tau)}e^{-i\omega_ct}, where θ(t)\theta(t) is the step function and τ\tau is the intensity lifetime. Its Lorentz-shaped power spectrum has angular-frequency full width at half maximum 1/τ1/\tau. Lifetime, time window, half-maximum width and standard deviation retain their distinct definitions.

06How wave-packet structure enters measurement

ASD connects the bandwidth of a finite accompanying structure to the field's phase and gradient structure. Apparatus back-action describes how preparation or detection coupling changes that structure. The envelope's Fourier constraint, the dynamics of measurement back-action and individual-record statistics are related questions with different calculation objects.

This page establishes an envelope inequality with defined widths and its material connection conditional on momentum matching. It does not thereby specify microscopic core trajectories or a universal time operator. Discrete observables such as spin need their own generators and algebra. Phase–momentum matching remains associated with OP-QM-002, statistical universality with OP-QM-004, and the conditional detector calculation is developed in detection and statistics.

On this page

07Derivation sources

Position and wave-number standard deviations and Gaussian equality are in Chapter 5, §3.5, (5.3.23)–(5.3.26). Finite processes and spectra are in §3.6, (5.3.27). The explicit integral definitions and proof steps expand the same registered relations without changing their theory status.

STATUS & REVIEW
Theory StatusTheory · EFFECTIVE MODEL
Mathematical ReviewMathematical review · CONDITIONAL
Overall Evidence StatusEvidence · UNTESTEDNOT YET UNIQUELY TESTED · known wave phenomena are requirements; an independent ASD source and universal event statistics remain open.
Canonical ASDYes · canonical theory baselineCanonical research framework · effective limits are conditional
Adopted source, conditions and previous versions

§§3.5–3.6; (5.3.23)–(5.3.27)

Preserved width proof and explicit first-zero identity for a rectangular time window

Conditions retained in this adoption

  • Selected channel and stated initial/boundary conditions; action/energy matching retained
  • Continuum, slow-envelope and detector approximations kept at their respective levels

Source locators: p1967 · p1971 · p1974 · p1979 · p1980

Manuscript SHA-256: ddbade997b45913248e588953b1d27ccb9c7c206c3c8d992d3aef2364a64836e

Download source identity manifest

The manifest identifies the source; it is not the complete manuscript. Adopting this source does not upgrade evidence or grant a new licence.

Previous source, retained as history

QM-0accdcbe7725 · Ch. 5 §§3.5–3.6

CH5-ca737ec4e327 · 第五章-出版整理稿.docx
ca737ec4e327d72c5507bbc8e00295b6e56029c7583ebad8e505cdb9c68c6262

RELATIONSHIP INDEX

Position within the framework

These links index inputs and research relationships. The completion status of each derivation is specified in its text. Untranslated supporting pages open in Chinese.

RESEARCH LEDGER

Revision history

SOURCE & SCOPE

Chapter 5 · §§3.5–3.6; (5.3.23)–(5.3.27)

This is the English translation of the Chinese canonical module, based on the same final-manuscript source snapshot. The Chinese final manuscript remains authoritative. Website equation IDs are stable citation identifiers; original manuscript numbers are listed separately.

Knowledge scope
CITATION & SOURCE FILE

ASD: Uncertainty: Fourier Width Bounds for Wave Packets. ASD-QM-THEORY-QUANTUM-UNCERTAINTY-PROBABILITY-EN. Version 1.0.0; 2026-10-24. https://asd-physics.org/en/theory/quantum/uncertainty-probability. §§3.5–3.6; (5.3.23)–(5.3.27). Source ASD-BOOK-ddbade997b45.

Discuss this page Download this page as MDX
CONTINUE RESEARCH

Continue with the assumptions, equations and sources.

These links carry this page and its source version into the research workspace. Each request pins its knowledge snapshot. Model availability is shown in the workspace; retrieval and private export remain available.