ステファン問題
を満たすような u {\displaystyle u} と s {\displaystyle s} を見つけることを言う。ステファン問題にはまた、豊富な逆理論が存在し、そこでは与えられた曲線 s {\displaystyle s} に対して u {\displaystyle u} あるいは f {\displaystyle f} を見つけることが問題とされる。
ステファン問題はまた、より複雑な問題の、時間に関する漸近挙動のモデルとして用いられる。例えばペゴは、相分離問題に対するカーン=ヒリアード解が、中点時間スケールにおける非線形ステファン問題の解として振る舞うことを証明するために、整合漸近展開を用いた。また、二元混合に対するカーン=ヒリアード方程式の解は、ステファン問題の解と合理的に比較可能である。この比較においてステファン問題は、外部境界における同次ノイマン境界条件のもと、前方追跡節点移動法によって解かれる。