This work presents a dimensional reduction of Bose-Einstein condensates confined by generalized transverse potentials, parametrized by an exponent $n$. Starting from the three-dimensional Gross-Pitaevskii equation, we employ a variational ansatz to derive an effective one-dimensional nonpolynomial Schrödinger equation, which self-consistently determines the transverse width dynamics. The model generalizes existing formalisms for cigar- and funnel-shaped geometries. We validate the approach through comprehensive numerical tests, demonstrating excellent agreement with full 3D simulations for ground-state properties across various interaction regimes. Finally, real-time simulations of matter-wave scattering at potential barriers verify the model's dynamical robustness, successfully replicating the spatiotemporal evolution and energy-dependent transmission characteristics observed in full 3D calculations.
论文ID : 2511.14973标题 : Generalized one-dimensional nonpolynomial Schrödinger equation for Bose-Einstein condensates with generic transverse confinement作者 : Andréia M. Basso, Wesley B. Cardoso (Instituto de Física, Universidade Federal de Goiás, Brazil)分类 : cond-mat.quant-gas, nlin.PS提交时间 : 2025年11月18日论文链接 : https://arxiv.org/abs/2511.14973 本研究针对受广义横向势约束的玻色-爱因斯坦凝聚体(BEC)进行维度约化。从三维Gross-Pitaevskii方程出发,采用变分ansatz方法推导出有效的一维非多项式薛定谔方程(1D-NPSE),该方程能自洽地确定横向宽度动力学。该模型统一推广了雪茄型和漏斗型几何的现有形式体系。通过全面的数值测试验证了该方法,在各种相互作用区间的基态性质上与完整3D模拟展现出优异的一致性。最后,势垒处物质波散射的实时模拟验证了模型的动力学鲁棒性,成功复现了完整3D计算中观察到的时空演化和能量依赖的透射特性。
本研究旨在解决强各向异性阱中玻色-爱因斯坦凝聚体的维度约化问题,特别是针对具有广义横向约束势的系统。
计算效率 :完整的三维Gross-Pitaevskii方程(3D-GPE)数值求解计算成本高昂,特别是对于强各向异性系统物理理解 :有效的低维模型能够揭示系统的本质物理机制,便于理论分析实验相关性 :实际实验中的BEC通常在强各向异性阱中实现,需要准确的低维描述特定几何限制 :现有模型主要针对特定几何构型(如谐振子势的雪茄型40 或漏斗型65 )缺乏统一框架 :不同约束势需要单独推导,缺少系统性的处理方法适用范围有限 :现有模型难以描述连续变化的约束几何作者引入参数化的广义横向势 V ⊥ ( r ) = m ω ⊥ 2 n 2 8 ( α 4 − 2 n r 2 n − 2 β 4 − n r n / r 2 ) V_\perp(r) = \frac{m\omega_\perp^2 n^2}{8}(\alpha^{4-2n}r^{2n} - 2\beta^{4-n}r^n/r^2) V ⊥ ( r ) = 8 m ω ⊥ 2 n 2 ( α 4 − 2 n r 2 n − 2 β 4 − n r n / r 2 ) ,通过调节指数参数 n ∈ R + ∗ n \in \mathbb{R}_+^* n ∈ R + ∗ 来统一描述不同的约束几何,建立一个连续可调的理论框架。
提出广义横向约束势 :引入参数 n n n 表征的广义非谐振横向势,统一了雪茄型(n = 2 n=2 n = 2 )和漏斗型(n = 1 n=1 n = 1 )几何推导统一的1D有效方程 :通过变分方法导出适用于连续 n n n 值的一维非多项式薛定谔方程(1D-EFG)获得横向宽度解析表达式 :导出变分场 σ 2 \sigma^2 σ 2 的解析解,自洽描述横向宽度动力学全面数值验证 :在基态性质、临界相互作用强度、动力学散射等多个方面验证模型准确性建立统一理论框架 :为研究不同约束几何下的BEC提供了系统性的理论工具输入 :三维Gross-Pitaevskii方程及广义横向约束势输出 :有效的一维非多项式薛定谔方程及横向宽度的自洽解约束 :强各向异性条件(γ = ω z / ω ⊥ ≪ 1 \gamma = \omega_z/\omega_\perp \ll 1 γ = ω z / ω ⊥ ≪ 1 ),绝热近似(横向和纵向时间尺度分离)
无量纲化后的横向势:
V ⊥ ( r ) = n 2 8 ( r 2 n − 2 r n r 2 ) V_\perp(r) = \frac{n^2}{8}\left(r^{2n} - \frac{2r^n}{r^2}\right) V ⊥ ( r ) = 8 n 2 ( r 2 n − r 2 2 r n )
关键性质:
n = 1 n=1 n = 1 :漏斗型,原点处奇异n = 2 n=2 n = 2 :谐振子势,雪茄型n > 1 n>1 n > 1 :势阱最小值位于 r c = ( n − 2 n − 1 ) 1 / n r_c = \left(\frac{n-2}{n-1}\right)^{1/n} r c = ( n − 1 n − 2 ) 1/ n 采用高斯型径向分布:
ψ ( r , t ) = n 2 π Γ ( 2 / n ) exp ( − r n 2 σ 2 ) f ( z , t ) σ 2 / n \psi(r,t) = \sqrt{\frac{n}{2\pi\Gamma(2/n)}} \exp\left(-\frac{r^n}{2\sigma^2}\right) \frac{f(z,t)}{\sigma^{2/n}} ψ ( r , t ) = 2 π Γ ( 2/ n ) n exp ( − 2 σ 2 r n ) σ 2/ n f ( z , t )
其中:
f ( z , t ) f(z,t) f ( z , t ) :归一化轴向波函数σ ( z , t ) \sigma(z,t) σ ( z , t ) :横向宽度变分场归一化因子保证 2 π ∫ 0 ∞ ∣ ψ ∣ 2 r d r = ∣ f ∣ 2 2\pi\int_0^\infty |\psi|^2 r dr = |f|^2 2 π ∫ 0 ∞ ∣ ψ ∣ 2 r d r = ∣ f ∣ 2 通过绝热近似(横向宽度视为常数)得到:
L eff = i 2 ( f ∂ f ∗ ∂ t − f ∗ ∂ f ∂ t ) + 1 2 ∣ ∂ f ∂ z ∣ 2 + [ V ( z ) + 1 ] ∣ f ∣ 2 L_{\text{eff}} = \frac{i}{2}\left(f\frac{\partial f^*}{\partial t} - f^*\frac{\partial f}{\partial t}\right) + \frac{1}{2}\left|\frac{\partial f}{\partial z}\right|^2 + [V(z)+1]|f|^2 L eff = 2 i ( f ∂ t ∂ f ∗ − f ∗ ∂ t ∂ f ) + 2 1 ∂ z ∂ f 2 + [ V ( z ) + 1 ] ∣ f ∣ 2 + n 2 ( σ 2 − 1 ) 2 8 σ 4 / n Γ ( 2 / n ) ∣ f ∣ 2 + g n σ 4 / n 2 n + 2 n Γ ( 2 / n ) ∣ f ∣ 4 + \frac{n^2(\sigma^2-1)^2}{8\sigma^{4/n}\Gamma(2/n)}|f|^2 + \frac{gn}{\sigma^{4/n}2^{\frac{n+2}{n}}\Gamma(2/n)}|f|^4 + 8 σ 4/ n Γ ( 2/ n ) n 2 ( σ 2 − 1 ) 2 ∣ f ∣ 2 + σ 4/ n 2 n n + 2 Γ ( 2/ n ) g n ∣ f ∣ 4
对 f ∗ f^* f ∗ 和 σ \sigma σ 变分得到:
轴向方程(1D-EFG) :
i ∂ f ∂ t = − 1 2 ∂ 2 f ∂ z 2 + V ( z ) f + n σ 4 / n Γ ( 2 / n ) [ n 8 ( σ 2 − 1 ) 2 + g 2 2 / n ∣ f ∣ 2 ] f i\frac{\partial f}{\partial t} = -\frac{1}{2}\frac{\partial^2 f}{\partial z^2} + V(z)f + \frac{n}{\sigma^{4/n}\Gamma(2/n)}\left[\frac{n}{8}(\sigma^2-1)^2 + \frac{g}{2^{2/n}}|f|^2\right]f i ∂ t ∂ f = − 2 1 ∂ z 2 ∂ 2 f + V ( z ) f + σ 4/ n Γ ( 2/ n ) n [ 8 n ( σ 2 − 1 ) 2 + 2 2/ n g ∣ f ∣ 2 ] f
横向宽度解 :
σ ± 2 = n − 2 ± 4 2 n − 1 n g ∣ f ∣ 2 ( n − 1 ) + n 2 2 ( n − 1 ) \sigma_\pm^2 = \frac{n-2 \pm \sqrt{\frac{4^{2n-1}}{n}g|f|^2(n-1) + n^2}}{2(n-1)} σ ± 2 = 2 ( n − 1 ) n − 2 ± n 4 2 n − 1 g ∣ f ∣ 2 ( n − 1 ) + n 2
物理解为正分支 σ + 2 \sigma_+^2 σ + 2 (负分支导致复化学势)。
参数化统一 :通过单一参数 n n n 连续插值不同约束几何,避免针对每种势单独推导自洽变分场 :σ 2 \sigma^2 σ 2 解析解依赖于局域密度 ∣ f ∣ 2 |f|^2 ∣ f ∣ 2 ,实现横向-纵向耦合的自洽描述解析可处理性 :尽管是非多项式方程,仍保留解析结构,便于理论分析渐近行为正确 :n → ∞ n\to\infty n → ∞ 时 σ 2 → 1 \sigma^2\to 1 σ 2 → 1 ,自动退化为立方非线性模型算法 :二阶Split-Step Fourier方法69 虚时演化 :求解基态(梯度流最小化)实时演化 :模拟动力学过程轴向势 :V ( z ) = γ 2 z 2 / 2 V(z) = \gamma^2 z^2/2 V ( z ) = γ 2 z 2 /2 ,各向异性参数 γ 2 = 0.1 \gamma^2 = 0.1 γ 2 = 0.1 参数 n n n :考察整数值 n = 1 , 2 , 3 , 4 , 5 , 6 n = 1, 2, 3, 4, 5, 6 n = 1 , 2 , 3 , 4 , 5 , 6 相互作用强度 :g = 1 , 10 , 100 g = 1, 10, 100 g = 1 , 10 , 100 (排斥)和 g = − 0.5 g = -0.5 g = − 0.5 (吸引)完整3D-GPE (方程5):基准参考1D立方模型(1D-CN) (方程17):固定横向宽度的简化模型1D-EFG模型 (方程10):本文提出的广义有效模型静态性质 :
轴向密度分布 ρ ( z ) = ∣ f ( z ) ∣ 2 \rho(z) = |f(z)|^2 ρ ( z ) = ∣ f ( z ) ∣ 2 化学势 μ \mu μ (方程12) 纵向长度平方期望值 ⟨ z 2 ⟩ \langle z^2\rangle ⟨ z 2 ⟩ 临界相互作用强度 g c g_c g c (崩塌阈值) 动力学性质 :
透射系数 T T T (方程25-26) 动能/势能比 U / E U/E U / E 趋势 :增大 n n n 和 g g g 导致轴向显著拉伸机制 :更强横向约束和排斥相互作用迫使原子沿轴向分布g g g 1D-EFG vs 3D 1D-CN vs 3D 1 优异一致 良好 10 优异一致 明显偏离 100 良好 严重偏离
结论 :1D-EFG在强相互作用区间保持准确性,1D-CN仅在弱相互作用下有效。
非线性效应 :低 n n n 时最显著收敛行为 :大 n n n 时趋于线性依赖准确性退化 :强排斥相互作用下1D-EFG与3D差异增大(横向-纵向耦合增强,违背弱耦合假设)n n n 3D-GPE g c g_c g c 1D-EFG g c g_c g c 相对误差 1 -0.85 -0.95 11.8% 2 -1.28 -1.25 2.3% 3 -1.39 -1.50 7.9% 6 -1.58 -2.51 58.9%
发现 :
1D-EFG正确预测崩塌现象(1D-CN完全失败) 相对误差随 n n n 增大而增大 物理本质正确,定量精度取决于 n n n 初态 :位移谐振势中虚时演化得到的基态动力学 :t = 0 t=0 t = 0 时移除外势,施加动量 p = 3 p=3 p = 3 散射势 :高斯势垒 V b ( z ) = A exp ( − z 2 / B 2 ) V_b(z) = A\exp(-z^2/B^2) V b ( z ) = A exp ( − z 2 / B 2 ) ,A = 5 A=5 A = 5 ,B = 2 B=\sqrt{2} B = 2 相互作用 :g = − 0.5 g=-0.5 g = − 0.5 (吸引)定性一致 :所有 n n n 值展现相似动力学干涉效应 :低 n n n 时与势垒干涉更显著单调性 :T T T 随 n n n 增大而增大准确性 :1D-EFG与3D-GPE高度吻合
n = 2 n=2 n = 2 :相对偏差0.094%(1D-EFG)vs 0.153%(1D-CN)n = 5 n=5 n = 5 :0.108% vs 0.168%n = 10 n=10 n = 10 :0.119% vs 0.122%趋势 :随 n n n 增大而增大准确性 :1D-EFG在所有 n n n 值下与3D一致,1D-CN在低 n n n 时偏离明显σ + 2 \sigma_+^2 σ + 2 分支 :物理解,随 g ∣ f ∣ 2 g|f|^2 g ∣ f ∣ 2 增大而增大σ − 2 \sigma_-^2 σ − 2 分支 :非物理(负值导致复化学势)渐近行为 :n → ∞ n\to\infty n → ∞ 时 σ 2 → 1 \sigma^2\to 1 σ 2 → 1 ,收敛速度与 g ∣ f ∣ 2 g|f|^2 g ∣ f ∣ 2 成反比固定 σ = 1 \sigma=1 σ = 1 的立方模型在以下方面失败:
无法预测崩塌(g c g_c g c 不存在) 强相互作用下密度峰值严重偏离 动力学透射系数偏差较大 约束几何效应 :增强横向约束(增大 n n n )导致:相互作用强度依赖 :弱相互作用:所有模型表现良好 强相互作用:仅1D-EFG保持准确性 时间尺度分离有效性 :绝热近似在动力学过程中依然成立维度约化精度 :定量精度取决于 n n n 和 g g g ,但物理本质始终正确Salasnich等(2002)40 :雪茄型凝聚体的1D-NPSEdos Santos等(2019)65 :漏斗型几何本文 :统一推广至任意 n n n Jackson等(1998)39 :横向-纵向模式解耦Mateo & Delgado(2008-2009)50,51 :盘状和管状凝聚体本文采用类似假设但保留横向压缩性 管状64 、周期横向势46 、空间调制非线性60 各向异性谐振阱52 、涡旋动力学41,51 二元混合物57 、自旋轨道耦合59,61 参数化连续性 :单一参数 n n n 插值不同几何,便于系统研究解析可处理性 :保留横向宽度解析解广泛验证 :静态和动力学性质全面测试实用性 :适用于实验中的非理想约束势理论贡献 :成功推导出参数化的广义1D有效方程,统一描述 n ∈ R + ∗ n\in\mathbb{R}_+^* n ∈ R + ∗ 的横向约束数值验证 :基态性质、临界相互作用强度、动力学散射均与3D-GPE高度一致模型优越性 :1D-EFG显著优于固定横向宽度的立方模型物理洞察 :揭示了约束几何参数 n n n 对凝聚体性质的系统影响强相互作用限制 :g g g 很大时横向-纵向耦合增强,绝热近似失效,准确性下降高 n n n 定量偏差 :临界相互作用强度 g c g_c g c 的相对误差随 n n n 增大整数 n n n 验证 :虽然理论适用于连续 n n n ,但数值验证仅限整数值单组分系统 :未考虑多组分、自旋轨道耦合等复杂情况扩展至其他系统 :非绝热效应 :研究快速动力学过程中横向激发的影响实验验证 :与实际BEC实验数据对比优化方法 :改进变分ansatz以提高强相互作用区间的准确性统一框架 :首次通过单一参数实现不同约束几何的连续描述解析可处理 :保留横向宽度的解析表达式,兼顾准确性和可操作性理论严谨 :变分推导过程清晰,物理假设明确多维度验证 :静态性质(密度、化学势、⟨ z 2 ⟩ \langle z^2\rangle ⟨ z 2 ⟩ )和动力学性质(散射)参数空间广泛 :覆盖 n = 1 n=1 n = 1 至6 6 6 ,相互作用强度跨越3个数量级定量对比 :与完整3D-GPE和简化立方模型系统对比不足 :缺少非整数 n n n 的验证,动力学场景相对单一高精度 :动力学透射系数相对偏差<0.2%物理一致性 :正确预测崩塌现象、渐近行为局限性坦诚 :明确指出强相互作用区间的偏差结构合理 :理论推导→数值验证→动力学应用,逻辑清晰图表丰富 :8个图表全面展示结果数学表述 :公式推导详细,符号定义明确绝热近似依赖 :强相互作用或快速动力学下可能失效ansatz形式固定 :高斯型径向分布可能不适用于所有情况定量精度 :高 n n n 时临界相互作用强度偏差较大动力学场景单一 :仅考察势垒散射,未测试孤子、涡旋等复杂动力学参数选择 :γ 2 = 0.1 \gamma^2=0.1 γ 2 = 0.1 固定,未系统研究各向异性参数的影响缺少误差分析 :数值误差、收敛性分析不足渐近分析不完整 :n → 0 n\to 0 n → 0 和 n → ∞ n\to\infty n → ∞ 极限的详细讨论缺失稳定性分析 :仅通过虚时收敛判断线性稳定性,缺少Bogoliubov谱分析能量泛函 :未明确讨论有效能量泛函的性质理论工具 :为BEC社区提供了灵活的维度约化框架方法学启发 :参数化统一的思路可推广至其他物理系统实验指导 :帮助理解非理想约束势对BEC性质的影响计算效率 :1D方程比3D-GPE快数个数量级参数扫描 :便于系统研究约束几何的影响实验设计 :指导优化阱参数优点 :方程明确,数值方法标准(Split-Step)不足 :未公开代码,部分参数(如网格分辨率)未说明强各向异性BEC :γ ≪ 1 \gamma \ll 1 γ ≪ 1 的雪茄型、漏斗型等几何弱到中等相互作用 :∣ g ∣ ≲ 10 |g| \lesssim 10 ∣ g ∣ ≲ 10 的区间绝热动力学 :时间尺度远大于横向振荡周期的过程参数优化研究 :需要系统扫描约束几何参数的场景强相互作用区间 :∣ g ∣ ≫ 10 |g| \gg 10 ∣ g ∣ ≫ 10 时精度下降弱各向异性系统 :γ ∼ 1 \gamma \sim 1 γ ∼ 1 时需考虑2D或3D效应快速非绝热过程 :横向激发显著的动力学复杂多体效应 :超出平均场描述的系统高阶修正 :引入横向激发的微扰修正自适应ansatz :根据局域密度动态调整径向分布形式机器学习辅助 :用神经网络拟合最优变分场实验数据拟合 :用实验测量的密度分布反推有效参数40 Salasnich et al., Phys. Rev. A 65, 043614 (2002) : 雪茄型BEC的1D-NPSE原始论文39 Jackson et al., Phys. Rev. A 58, 2417 (1998) : 绝热近似方法65 dos Santos et al., J. Phys. B 52, 245301 (2019) : 漏斗型几何51 Mateo & Delgado, Ann. Phys. 324, 709 (2009) : 涡旋动力学的维度约化68 Salasnich et al., Phys. Rev. A 66, 043603 (2002) : 绝热近似理论基础69 Yang, Nonlinear Waves (2010) : Split-Step数值方法5 Anderson et al., Science 269, 198 (1995) : 首次实现BEC (87Rb)70 Nguyen et al., Nat. Phys. 10, 918 (2014) : 势垒散射实验这是一篇高质量的理论物理论文 ,在BEC维度约化领域做出了实质性贡献 。通过引入参数化的广义横向势,作者成功建立了统一描述不同约束几何的理论框架,解决了现有方法需要针对每种势单独推导的问题。变分推导严谨,数值验证全面,结果说服力强。
主要亮点 :(1)理论创新性高,(2)解析与数值结合紧密,(3)物理图像清晰。主要不足 :(1)强相互作用区间精度受限,(2)动力学场景相对单一,(3)缺少非整数 n n n 的验证。
该工作为BEC社区提供了实用的理论工具,预期在冷原子物理、非线性光学等领域产生影响。建议后续研究扩展至多组分系统和非绝热动力学。
推荐指数 : ★★★★☆ (4.5/5)