la_7 代入 HJE，则可以观察到，formula_87 只出现于函数 formula_105 内部，而不出现于 HJE 的任何其它地方。所以，函数 formula_105 必须等于常数（在这里标记为 formula_107）。这样，可得到一个一阶常微分方程：在某些问题里，很幸运地，函数 formula_7 可以完全的分离为 formula_11 个函数 formula_111：这些问题的偏微分方程可以分离为 formula_11 个常微分方程。哈密顿主函数 formula_7 的可分性，相关