UNCERTAINTY: FOURIER WIDTH BOUNDS FOR WAVE PACKETS

测不准:波包的 Fourier 宽度界

从包络的空间宽度与波数带宽出发,逐步得到 Fourier 标准差下界,并说明相位—动量匹配如何把它连接到物质的制备与测量。

依据最终书稿 · 第五章

理论理论 · 有效模型数学复核数学复核 · 条件性推导 · 正式复核中证据证据 · 尚待检验Canonical是状态、复核与来源

01局域波包的宽度究竟指什么

物质的局域核心与伴随场并不具有同一种空间分布。这里研究的是有效包络:一个在有限范围内集中的场形,需要哪些波数分量共同组成?缩小包络的空间范围,会改变其相位梯度和谱结构。测不准关系首先给出这两种宽度之间的定量约束,然后才进入它们与物质测量的联系。

取一维包络 ψ(x)\psi(x),其中 xx 是所考察方向的位置坐标。将包络归一化,并采用第五章式 (5.3.23) 的对称 Fourier 约定:

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

定义关系
位置二阶矩与一阶弱导数平方可积;标准差依照这些数学权重定义。
书稿来源:Ch. 5 (5.3.23) · ASD-BOOK-ddbade997b45

kk 是与 xx 共轭的波数,ψ~(k)\widetilde\psi(k) 是波数振幅。上式中的两个平方模具有相同的积分归一化,分别作为位置与波数的数学权重。这一步尚未把它们识别为物质核心落点或动量读数的实验概率。

为使“宽度”含义确定,以均值为中心定义标准差:

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.

位置二阶矩必须有限,ψ\psi 的一阶弱导数须平方可积,并满足下文分部积分所需的衰减边界条件。弱导数允许处理并非处处经典可微、但仍具有适当积分导数的包络。任意指定的缝宽、半高宽或第一零点间距,并不自动满足这里的标准差定义。

02分部积分怎样给出不可同时缩小的下界

为把空间宽度和谱宽放入同一个计算,定义 F=(x−x0)ψF=(x-x_0)\psi 与 G=(∂x−ik0)ψG=(\partial_x-ik_0)\psi,并采用内积 ⟨F,G⟩=∫F∗G dx\langle F,G\rangle=\int F^*G\,dx。FF 计入相对于中心的位置偏离,GG 则从导数中扣除平均波数对应的整体线性相位。

对内积取实部,−ik0-ik_0 项不贡献实部,余项成为包络平方模的导数。由衰减边界条件,边界项 [(x−x0)∣ψ∣2]−∞∞[(x-x_0)|\psi|^2]_{-\infty}^{\infty} 消失,因此

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}

这说明两个函数的内积不能任意接近零。再用 Cauchy–Schwarz 不等式,即内积的模不超过两个函数范数的乘积,并用 Parseval 恒等式把位置域的导数范数转到波数域,可得

∥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.

取非负平方根,便得到 ΔxΔk≥1/2\Delta x\Delta k\ge1/2。这一结果来自归一化、Fourier 关系和边界条件;没有借助探测器的随机响应假设。

03从波数界到动量界,还要经过物质匹配

要把波数带宽改写为物质的动量宽度,需要物质波中的相位—动量匹配 p=ℏkp=\hbar k。在使用同一常数 ℏ\hbar 的这一匹配下,Δp=ℏΔk\Delta p=\hbar\Delta k。原有公式登记把上述数学证明与这一步物理连接并列记为

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

数学结果
使用分部积分、衰减边界、Cauchy–Schwarz 与 Parseval;最后一步依赖相位—动量匹配。
书稿来源:Ch. 5 (5.3.24)–(5.3.25) · ASD-BOOK-ddbade997b45

因此,ΔxΔk≥1/2\Delta x\Delta k\ge1/2 是包络的数学关系;ΔxΔp≥ℏ/2\Delta x\Delta p\ge\hbar/2 首先约束与该包络相联系的位置与正则动量分布。ASD 还需通过确定的制备、核心—场耦合和探测协议,把核心的实验动量分布与这一波数分布联系起来。模作用量匹配或实验映射的条件,不能因代入了 ℏ\hbar 就被省去。

04高斯包络与狭缝宽度为何不能混用

这个下界可以达到。第五章式 (5.3.26) 给出带线性相位的高斯包络:

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)

数学结果
σx>0;宽度为标准差,不能直接换成狭缝第一零点或半高宽。
书稿来源:Ch. 5 (5.3.26) · ASD-BOOK-ddbade997b45

σx>0\sigma_x>0 是位置标准差,x0x_0 为包络中心,k0k_0 为平均波数。其波数标准差为 1/(2σx)1/(2\sigma_x),所以宽度积恰为 1/21/2。平移中心、改变整体相位或增加线性相位,不改变最小宽度积;额外的非线性相位、硬边截断或非高斯振幅通常使宽度积增大。

狭缝实验中更常见的是另一个量:衍射主瓣的宽度。理想硬边矩形孔径的远场振幅为 sinc 形,强度为 sinc² 形,其尾部使二阶波数矩发散。因此第一零点之间的距离虽然可用于描述主瓣,却不能直接代入此处的标准差不等式。真实边缘的平滑、有限材料响应和检测带宽改变了分布,也必须一并进入方差计算。

这一区分使干涉与衍射中的孔径公式与宽度界保持一致:几何缝宽、衍射第一零点和均方根宽度分别回答不同的测量问题。

05有限过程的持续时间与频谱

时间在这里是记录过程演化的计量参数。一个有限持续的振幅同样不能只含单一频率,但其宽度关系须按实际信号定义。例如持续时间为 TT、载频为 ωc\omega_c 的矩形时间窗给出

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].

这里 ω\omega 为角频率。矩形窗主瓣的第一零点半宽为 Δω0=2π/T\Delta\omega_0=2\pi/T;在所采用的能量—频率匹配下,ΔE0=ℏΔω0\Delta E_0=\hbar\Delta\omega_0,所以最终书稿式 (5.3.27) 后给出精确的宽度恒等式 ΔE0T=2πℏ=h\Delta E_0T=2\pi\hbar=h。这里是第一零点宽度,不是方差:矩形窗频谱的二阶矩发散,TT 也不是时间标准差。

若采用平方可积的时间振幅,并且均方根持续时间及角频率标准差存在,就可按前面的 Fourier 证明得到 ΔtΔω≥1/2\Delta t\Delta\omega\ge1/2。另一常见过程是 θ(t)e−t/(2τ)e−iωct\theta(t)e^{-t/(2\tau)}e^{-i\omega_ct}:θ(t)\theta(t) 是阶跃函数,τ\tau 为强度寿命,其 Lorentz 型功率谱的角频率半高全宽为 1/τ1/\tau。寿命、时间窗、半高宽和标准差各有自己的定义,不能互换。

06波包结构怎样进入测量问题

ASD 将有限伴随结构的谱宽与场的相位及梯度结构相联系;装置反作用则描述制备或探测耦合怎样改变这一结构。包络自身的 Fourier 限制、测量过程的动力学反作用、单次记录的统计分布,是相互联系而各有计算对象的问题。

本页已给出的是具有明确宽度定义的包络不等式,以及在动量匹配下的物质联系。它不据此指定微观核心轨迹或普适时间算符;自旋等离散观测量还需要各自的生成元与代数。相位—动量匹配继续对应 OP-QM-002,事件概率的普适性对应 OP-QM-004,其条件性探测计算见探测与统计。

本页目录

07推导来源

位置与波数标准差及高斯等号见第五章 §3.5、式 (5.3.23)–(5.3.26);有限过程与频谱见 §3.6、式 (5.3.27)。本页补出的积分定义和证明步骤展开同一组已登记关系,不改变原有理论状态。

STATUS & REVIEW
理论状态理论 · 有效模型EFFECTIVE MODEL
数学复核数学复核 · 条件性推导 · 正式复核中CONDITIONAL
总体证据状态证据 · 尚待检验UNTESTEDNOT YET UNIQUELY TESTED · 已知波动现象是验收要求;独立源动力学与普适事件统计尚未闭合。
Canonical ASD是 · 正式理论基线正式研究框架;有效结果依赖明确条件
实际采用来源、条件与旧版关系

第3.5–3.6节;(5.3.23)–(5.3.27)

保留宽度证明;补全矩形时间窗第一零点精确恒等式

本页采用范围的必要条件

  • 所选通道与已声明初边值;作用量及能量匹配保留
  • 连续、慢包络和探测近似分别保留在对应层级

原文定位: p1967 · p1971 · p1974 · p1979 · p1980

书稿 SHA-256: ddbade997b45913248e588953b1d27ccb9c7c206c3c8d992d3aef2364a64836e

下载来源身份清单

清单用于核对来源身份,不是完整书稿。采用该来源不提高证据等级,也不新增转载许可。

保留为历史的原来源

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

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

RELATIONSHIP INDEX

在框架中,找到本页的位置。

这里索引物理输入与研究关系;每一条数学推导的完成状态仍以正文为准。

RESEARCH LEDGER

与本页相关的版本记录

SOURCE & SCOPE

第五章 · 第3.5–3.6节;(5.3.23)–(5.3.27)

本页依据下列正式书稿来源整理。网站式号用于稳定引用,书稿式号单独保留;中英文页面共用同一来源快照。

查看知识范围
CITATION & SOURCE FILE

ASD: 测不准:波包的 Fourier 宽度界. ASD-QM-THEORY-QUANTUM-UNCERTAINTY-PROBABILITY. Version 1.0.0; 2026-10-24. https://asd-physics.org/theory/quantum/uncertainty-probability. 第3.5–3.6节;(5.3.23)–(5.3.27). Source ASD-BOOK-ddbade997b45.

反馈本页 下载本页 MDX
CONTINUE RESEARCH

带着前提、公式和来源继续研究。

入口将本页与来源版本传入研究工作区;模型服务未接通时,使用现有检索和研究请求导出功能。