next up previous
Next: 5 枚目 Up: 2004 年 工科大祭研究紹介 Previous: 3 枚目 (PDF ファイル: poster-2004.pdf)

4 枚目

\includegraphics[width=10cm]{solution2.eps}

オイラー方程式も ナビヤ・ストークス方程式も 特別な場合をのぞいては解を 数式であらわすことは厳密にはできません。

そのため、コンピュータや何らかの 近似的な解法を 使って、その解は だいたいこんなものである、ということを知って 現実的な問題に 応用するのが 「工学的」な立場ですが、 「数学的」な立場では、 たとえ厳密な解が数式で 書けなくても、 その厳密な解の性質を 方程式から知ることを目的 としています。

その立場では、状況によっては まだ「解があるのか」といった問題さえ 解決していません。

これらの予想や検証のためには コンピュータが使われることもありますが、 最終的には純粋な 論理で厳密に証明するのが 「数学的」な立場です。


next up previous
Next: 5 枚目 Up: 2004 年 工科大祭研究紹介 Previous: 3 枚目
Shigeharu TAKENO
2004年 6月 8日