Analyze Magnetic Levitation

## System Characterization
- **Object**: [mass, geometry, mu or chi_v, sigma]
- **Field source**: [type, configuration, key parameters]
- **Field profile**: [B(r) functional form or measured map]
- **Gradient**: [dB/dz at intended levitation point]
- **Environment**: [temperature, pressure, vibration]

预期结果： 物体和场源的完整规格说明，足以在无需进一步假设的情况下确定力和稳定性。

失败处理： 如果磁化率或磁矩未知，从材料数据表中测量或估计。没有此量值，力计算不可能。对于复合物体，从体积加权平均值计算等效磁化率。

第 2 步：应用恩绍定理

确定给定系统是否可能实现被动静态悬浮：

1. 陈述恩绍定理：在无电流和时变场的区域内，没有任何电荷或永磁体的静态排列能为顺磁或铁磁体产生稳定平衡点。数学上，磁势能的拉普拉斯算子满足 nabla^2 U >= 0（对于顺磁/铁磁），因此 U 没有局部最小值。
2. 分类物体的响应：确定被悬浮物体是顺磁性（chi_v > 0）、抗磁性（chi_v < 0）、铁磁性（chi_v >> 0，非线性）、超导（完全抗磁体，chi_v = -1）还是永磁体（固定 mu）。
3. 应用定理：
   • 对于永磁体或固定电流产生的静态场中的顺磁、铁磁或永磁体物体：恩绍定理禁止稳定悬浮。至少一个空间方向将不稳定。
   • 对于抗磁性物体：恩绍定理不禁止悬浮。nabla^2 U <= 0 允许局部能量最小值。被动静态悬浮是被允许的。
   • 对于超导体：迈斯纳效应提供完全抗磁性，磁通钉扎可以同时提供悬浮和横向稳定性。
4. 记录结论：清楚说明系统是恩绍禁止的还是恩绍允许的，以及哪种材料属性决定了分类。

## Earnshaw Analysis
- **Object magnetic classification**: [paramagnetic / diamagnetic / ferromagnetic / superconducting / permanent magnet]
- **Susceptibility**: chi_v = [value with units]
- **Earnshaw verdict**: [FORBIDDEN / PERMITTED]
- **Reasoning**: [which condition of the theorem applies or fails]

预期结果： 关于提出的悬浮是恩绍禁止还是恩绍允许的明确分类，并记录了具体的物理推理。

失败处理： 如果物体具有混合磁性特征（例如铁磁芯带抗磁壳），分别分析每个组件。整体稳定性取决于净能量景观，可能需要数值场计算。

第 3 步：识别规避机制

如果恩绍定理禁止被动静态悬浮，识别四种标准规避机制中哪种适用：

1. 抗磁悬浮：被悬浮物体本身是抗磁性的（chi_v < 0）。例如：NdFeB 磁铁上方的热解石墨，16 T 苦磁铁中的水滴和青蛙。需要强场梯度；条件是 (chi_v / mu_0) * B * (dB/dz) >= rho * g，其中 rho 是密度。

2. 超导悬浮：物体是低于 T_c 的 I 型或 II 型超导体。

   • 迈斯纳悬浮：完全磁通排斥提供排斥力。稳定但承载能力有限，需要超导体保持在迈斯纳态（B < B_c1）。
   • 磁通钉扎（II 型超导体）：磁通涡旋在材料的缺陷处被钉扎。这同时提供垂直悬浮力和横向恢复力，允许超导体悬浮在磁铁下方或上方。物体被锁定在相对于场源的 3D 位置。

3. 主动电磁反馈：传感器测量物体位置，控制器调整电磁铁电流以维持平衡。例如：EMS 磁悬浮列车（Transrapid）、主动磁轴承。需要电源、传感器和带宽超过机械共振频率的控制系统。

4. 自旋稳定悬浮：旋转的永磁体（Levitron）通过陀螺仪稳定来实现恩绍定理使其不稳定的倾斜模式的稳定。自旋必须超过临界频率 omega_c，使陀螺刚度克服磁力矩。物体还必须保持在狭窄的质量窗口内。

## Circumvention Mechanism
- **Mechanism**: [diamagnetic / superconducting (Meissner or flux pinning) / active feedback / spin-stabilized]
- **Physical basis**: [why this mechanism evades Earnshaw's theorem]
- **Key requirements**: [material property, field strength, temperature, spin rate, or control bandwidth]
- **Limitations**: [load capacity, power consumption, cryogenics, mass window]

预期结果： 识别具体机制并清楚解释其物理基础，包括机制运行的定量要求。

失败处理： 如果系统不明确属于四种机制中的任何一种，检查混合方法（例如永磁体提供主要力加涡流阻尼以确保稳定性，或顺磁系统的抗磁稳定化）。也考虑系统是否使用电动力悬浮（磁场中的运动导体），这是基于楞次定律的不同机制。

第 4 步：计算悬浮条件

计算稳定悬浮的力平衡和定量条件：

1. 垂直力平衡：磁力必须等于重力。

   • 对于场梯度中的磁偶极子：F_z = mu * (dB/dz) = m * g。
   • 对于抗磁性物体：F_z = (chi_v * V / mu_0) * B * (dB/dz) = m * g。
   • 对于超导体（镜像法）：将超导体建模为镜像，计算磁铁与其镜像之间的排斥力。
   • 对于主动反馈：F_z = k_coil * I(t)，其中 I(t) 是反馈控制的电流。

2. 求解悬浮高度：力平衡方程 F_z(z) = m * g 确定平衡高度 z_0。对于解析场分布，代数求解。对于测量或数值计算的场，图形或数值求解。

3. 恢复力梯度（刚度）：计算 k_z = -dF_z/dz 在 z_0 处的值。对于稳定悬浮，k_z > 0（力随高度增加而减小）。垂直振荡的固有频率为 omega_z = sqrt(k_z / m)。

4. 横向刚度：计算水平面内的恢复力梯度 k_x = -dF_x/dx。对于恩绍允许的系统（抗磁、超导），应为正值。对于反馈系统，取决于传感器-执行器几何。

5. 承载能力：通过找到平衡变为边界稳定（k_z -> 0 在最大位移处）时的场梯度来确定可悬浮的最大质量。

## Levitation Conditions
- **Force balance equation**: [F_z(z) = m*g, explicit form]
- **Equilibrium height**: z_0 = [value]
- **Vertical stiffness**: k_z = [value, units N/m]
- **Vertical natural frequency**: omega_z = [value, units rad/s]
- **Lateral stiffness**: k_x = k_y = [value, units N/m]
- **Maximum load**: m_max = [value, units kg]

预期结果： 完整的力平衡，确定了平衡位置，计算了垂直和横向方向的刚度值，并估算了承载能力。

失败处理： 如果力平衡无解（磁力太弱无法克服重力），系统无法悬浮指定物体。要么增加场梯度（更强的磁铁、更近的间距），减小物体质量，要么换用更高磁化率的材料。如果刚度在任何方向为负，该方向的平衡不稳定——返回第 3 步识别适当的稳定机制。

第 5 步：验证所有自由度的稳定性

确认悬浮在所有六个刚体自由度（三个平移、三个旋转）的扰动下稳定：

1. 平移稳定性：验证 k_z > 0、k_x > 0、k_y > 0。对于轴对称系统，由对称性 k_x = k_y。计算从平衡位置小位移 delta_x、delta_y、delta_z 的恢复力。

2. 倾斜稳定性：计算绕水平轴小角偏转 theta_x、theta_y 的恢复力矩。对于磁偶极子，力矩取决于场曲率和物体的转动惯量。倾斜不稳定性是被动永磁体悬浮的主要失效模式（也是 Levitron 中自旋稳定所解决的模式）。

3. 自旋稳定性（如适用）：对于自旋稳定系统，验证自旋速率超过临界频率 omega > omega_c。临界频率由磁力矩与角动量之比决定。低于 omega_c 时，进动导致倾斜不稳定。

4. 动态稳定性：对于主动反馈系统，验证控制环路在所有共振频率处具有足够的相位裕度（> 30 度）和增益裕度（> 6 dB）。检查传感器噪声是否会激发不稳定性。

5. 热和外部扰动：评估温度波动（对于接近 T_c 的超导体至关重要）、气流（对轻物体的抗磁悬浮显著）和机械振动（通过场源安装传递）的影响。

## Stability Analysis
| Degree of Freedom | Stiffness / Restoring | Stable? | Notes |
|-------------------|----------------------|---------|-------|
| Vertical (z)      | k_z = [value]        | [Yes/No] | [primary levitation axis] |
| Lateral (x)       | k_x = [value]        | [Yes/No] | |
| Lateral (y)       | k_y = [value]        | [Yes/No] | |
| Tilt (theta_x)    | tau_x = [value]      | [Yes/No] | [most common failure mode] |
| Tilt (theta_y)    | tau_y = [value]      | [Yes/No] | |
| Spin (theta_z)    | [N/A or value]       | [Yes/No] | [only relevant for spin-stabilized] |

预期结果： 所有六个自由度要么固有稳定（正恢复力/力矩），要么由已识别的机制（反馈、陀螺、磁通钉扎）稳定。系统确认可行于悬浮。

失败处理： 如果任何自由度不稳定且未识别稳定机制，悬浮设计按指定不可行。最常见的修复方法是为不稳定方向添加主动反馈环路、添加抗磁材料以被动稳定横向模式，或增加自旋速率以实现陀螺稳定。返回第 3 步以纳入额外机制。

验证清单

• 物体属性（质量、磁化率或磁矩、几何形状）完全指定
• 场源和空间分布已表征并计算了梯度
• 恩绍定理正确应用于物体的磁分类
• 已识别规避机制并解释了其物理基础
• 求解了力平衡并确定了平衡位置
• 计算了所有三个平移方向的刚度
• 分析了两个水平倾斜轴的倾斜稳定性
• 对于自旋稳定系统，计算并验证了临界自旋速率
• 对于主动系统，检查了控制带宽和稳定裕度
• 估算了承载能力极限

常见问题

• 假设永磁体可以相互静态悬浮：恩绍定理禁止顺磁和铁磁物体这样做，但这是最常见的误解。沿一个轴的吸引或排斥总会在垂直轴上产生不稳定性。在尝试力平衡计算之前始终应用该定理
• 混淆迈斯纳悬浮与磁通钉扎：迈斯纳效应（I 型）产生纯排斥力，仅在超导体位于磁铁下方时起作用。磁通钉扎（II 型）将超导体锁定在相对于场的固定位置，允许在任何方向悬浮。物理原理和设计含义根本不同
• 忽略倾斜模式：许多分析仅检查平移稳定性就宣布系统稳定。倾斜不稳定性是被动磁悬浮的主要失效模式，需要单独分析。系统可以在所有方向上具有正的平移刚度同时倾斜不稳定
• 低估抗磁悬浮的场要求：抗磁磁化率非常小（大多数材料 chi_v ~ -10^-5，热解石墨 -4.5 x 10^-4）。即使悬浮毫克级物体也需要强场梯度，非石墨材料通常需要 B * dB/dz > 1000 T^2/m
• 忽略涡流效应：时变场或运动导体产生涡流，这些涡流同时产生力和热。在主动反馈系统中，被悬浮物体中的涡流产生相位滞后，可能使控制环路不稳定
• 在所有条件下将超导体视为完美抗磁体：混合态中的 II 型超导体（B_c1 < B < B_c2）具有部分磁通穿透。悬浮力取决于磁化历史（磁滞），而不仅仅是瞬时场

相关技能

• evaluate-levitation-mechanism -- 比较分析以选择应用的最佳悬浮方法
• analyze-magnetic-field -- 详细计算作为本技能输入所需的磁场分布
• formulate-maxwell-equations -- 推导控制悬浮系统的电磁场方程
• design-acoustic-levitation -- 用于比较的替代非磁性悬浮方法
• formulate-quantum-problem -- 超导悬浮的量子力学处理（BCS 理论、Ginzburg-Landau）