本章提供了用于描述用于查找跟踪粒子在电磁场中运动的映射的工具。
在加速器物理学中,有几种跟踪粒子的方法。每个方法都有不同的目标,需要其自己的近似方法。以下是一种可能的分类。
在演化过程中,粒子经历以下物理过程
- 衰变或非弹性散射
- 自发或由与其他粒子的非常小规模的相互作用触发。使用基于量子场论的概率模型传播粒子。
- 弹性散射
- 高能粒子与其他粒子之间的小规模相互作用,不涉及衰变。与非弹性散射一样,粒子使用基于量子场论的概率模型进行传播。弹性散射的一个特例是同步辐射,它可能使用也可能不使用概率模型或近似统计定律。所使用的近似值通常是忽略不太可能的项,简化运动。
- 电磁场
- 由于粒子与电磁场的相互作用而引起的传播,电磁场可以是外部的,也可以是由两个或多个粒子产生的。
- 事件生成
- 用于描述在碰撞后可能产生哪种粒子
- 在高能粒子与另一个高能粒子之间的
- 粒子对撞机或固定靶实验中的低能粒子之间。
- 所使用的近似值是忽略时空的扩展。
- 代码是dmjet, pythia.
- 粒子物质相互作用
- 用于计算探测器的效率,
- 沉积的能量,某些设备的辐射损伤。
- 代码是geant, mars, fluka.
- 短期分析(一圈)
- 用于计算或近似束包络,
- 运动的不变量和周期结构的扰动项。研究对象
- 是运动方程的显式形式,而不是粒子的轨迹,
- 即使轨迹可能用于计算或近似运动方程。物质相互作用和集体效应通常不包括在内。
- 代码是mad, ptc, tracy.
- 束损失的短期模拟
- 用于计算束中粒子分布尾部的粒子轨迹。这些粒子通常是实验中损失或背景噪声的来源。在这些模拟中通常需要数百圈。运动是准确的,但与物质的相互作用非常简化。
- 代码是sixtrack.
- 集体不稳定性的短期模拟
- 用于计算由于粒子与自身(直接空间电荷)或与附近的金属表面(阻抗,间接空间电荷)的相互作用而引起的一束粒子的短期稳定性。运动是准确的,但方程的辛性不准确。由于问题的维数高,这是一个不可避免的近似值。
- 代码是orbit, elegant,headtail, warp.
- 长期模拟
- 用于评估圆形环中由于小的非线性扰动而引起的运动的长期稳定性。通常需要数千(电子)或数百万(强子)圈才能找到结果。长期模拟要么作为机器缺陷影响的直接评估工具,要么作为扰动方法的基准(一圈映射分析、频率映射、调谐足迹、调谐或作用扩散)。所使用的近似值与短期分析共享。
- 代码是sixtrack,teapot.
以下我们将重点关注短期分析和长期模拟的跟踪,这些模拟共享保持方程的数学结构精确的必要性。
本节的目的是研究如何在不影响运动方程结构的情况下,求解单个粒子在一般电磁场中的运动。
如果电磁场可以很容易地用占据明确定义的非重叠区域的不连续向量场来近似,则可以采用离散步骤的组合来解决跟踪问题。每个步骤是运动方程在区域边界之间的精确解。区域类型可能是
- 由一个表面定义的零体积区域
- 由两个平行平面表面包围的区域
- 由两个不平行的平面表面包围的区域
- 由一般表面包围的区域。
该程序是找出哪种类型的场和区域允许精确地求解运动,以及如何找到那些近似真实场的场和区域。
真空中的粒子具有四个自由度和静止质量,因此可以用以下量来识别
分别是位置和机械动量。静止质量守恒意味着
.
最小作用原理以及空间的各向同性和时间的均匀性意味着
对于任何 ,其中 .
除了 , 也可以使用。运动的解是直线。
对于电磁场 ,如果希望保持运动方程相同的结构,需要将 替换为 ,其中 是粒子的电荷。
在一般情况下,运动方程在有界区域内无法精确求解。可解的情况是
哈密顿量仅依赖于 。映射是
.
一个特殊情况是在平行平面边界区域没有场。映射为
是飞行时间,它不依赖于 ,因为平行边界。假设粒子位于一个面上,如果相对面距离为 ,那么
零体积表面,无限场。运动是动量的变化,而不是坐标的变化
如果区域没有场并且定义为
以及如果
可以解出 。映射为
精确地说,由构造得到的映射(可能包含无穷项)应该是辛的。
平行边界上的均匀电磁场。例如理想偶极磁体或螺线管磁体。
由于运动可以精确确定,因此由构造得到的映射(可能包含无穷项)应该是辛的。
如果存在一个规范变换 ,它将场和区域带到上述形式,则映射
其中 是上述类型之一的映射,准确地解决了运动。例如,扇形弯曲磁体,其中规范变换将坐标系转换为圆柱坐标(并可能取消弯曲场),然后再返回。
如果哈密顿量是可解部分的总和 ,可以构建近似模型,形式为一系列区域,使得 。一个特例是“踢漂移近似”或广义吉田辛积分器。
当追踪单个带电粒子穿过磁场时,如果它加速,它将发射辐射。这在追踪电子时尤其重要。实际上,辐射的影响通常被分成两个不同的部分:一个确定性的能量损失,以及由出射电磁场(光子)量子化导致的随机部分。
首先,我们描述确定性部分。我们使用高能近似,其中能量和动量通过 E=P/c 相关。带电粒子在磁场中辐射的功率由 给出,其中 。现在,假设在辛积分器中,我们穿过一段长度为 L 的磁场区域。事实上,这段区域的长度将取决于粒子的初始坐标。该区域的长度由 给出。现在,在许多代码中,磁场由 归一化,以便积分常数项无量纲。定义 。利用关系 ,可以发现能量偏差的变化由 给出,其中 。这是例如 Accelerator Toolbox 和 Tracy 中使用的公式。现在已经计算了能量(动量)的变化,相应的横向动量 x'、y' 的变化也可以计算出来。这是通过注意到 在辐射过程中没有改变。