温度分布や速度分布を求めることにより、伝熱量や摩擦力を知ることができる。現象を記述する式(支配方程式)が分かっていて知りたい条件での境界条件、初期条件で解くことが出来れば、温度分布や速度分布の厳密解を求められる。
支配方程式が微分方程式である場合、解く際の積分定数を求めるために、それぞれの変数の微分の階数を足し合わせた数だけ条件が必要である。時間微分の場合は初期条件、位置での微分であれば境界条件と呼ばれる。一つの例として、1次元の熱伝導の定常の現象の厳密解を求めよう。この時、支配方程式は以下の1次元の熱伝導方程式となる。
0 | ||
0 |
0 | ||
0 |
上式をxで微分するとフーリエの法則より熱流束 は次のように求められる。
このように厳密解を求めることができるが、多くの場合、支配方程式と条件から厳密解を求めることは難しい。そこで数値計算では、計算対象を細かな領域に分割して(離散化)、温度分布や速度分布の連続的な値を求めれるのではなく、分割した不連続な点(離散点)における値を求める。
離散化により、対象を分けた不連続な点ごとの未知数の数と同じ数の方程式を立て、連立させ解くことにより、それぞれの点での値を求める。離散化では、支配方程式と境界条件(非定常の現象では初期条件)を離散化する。また、位置での離散化に加え非定常では時間で離散化する。
計算の流れは以下の通りである。
ここでは支配方程式(保存式)として以下を考えていく。