十分に発達した平板乱流の速度分布を表す関数型です。乱流モデルを用いた計算において、乱流境界層内を直接解かずに、境界条件として壁面第1層の速度や温度等の物理量を与える場合などに使われます。
壁関数には、対数則やべき乗則といった方法があります。