20/01/06 02:41:02.47 iay27LR5.net
>>757
t>0 のとき
∫[0,∞] exp(-t･x) sin(x) dx = 1/(1+tt), ････ (*)
これを 1≦t<∞ で積分すれば
∫[0,∞] exp(-x) sin(x)/x dx = π/4,
* 高木：「解析概論」改訂第三版、岩波書店 (1961) p.115
§35．積の積分 [例3]
20/01/06 02:41:02.47 iay27LR5.net
>>757
t>0 のとき
∫[0,∞] exp(-t･x) sin(x) dx = 1/(1+tt), ････ (*)
これを 1≦t<∞ で積分すれば
∫[0,∞] exp(-x) sin(x)/x dx = π/4,
* 高木：「解析概論」改訂第三版、岩波書店 (1961) p.115
§35．積の積分 [例3]