Gauss函数
$ \Complex\ni t\mapsto e^{-at^2}\in\Complex
のこと
実有限区間による定積分は解析的に解けないが、実数全体の
広義積分
である
Gauss積分
なら解ける
#2023-08-04
07:45:24