ハルナックの不等式
数学におけるハルナックの不等式（ハルナックのふとうしき、）とは、ある正の調和函数の二点での値を関連付ける不等式で、 によって導入された。 と はハルナックの不等式を、楕円型あるいは放物型偏微分方程式の解へと一般化した。ポアンカレ予想に対するグリゴリー・ペレルマンの解法では、 によって発見されたリッチフローに対するハルナックの不等式のある変形版が用いられている。ハルナックの不等式は、調和函数の列の収束に関するハルナックの定理を証明するためにも用いられる。また、ハルナックの不等式は、偏微分方程式の弱解の内部での正則性を示すためにも使うことができる。