试证：f(x)=∫(0,+∞)e^[-(t-x/t)^2]dt=√π/2 e^[-2(｜x｜-x)]

elim

题：试证\(\,\displaystyle{\small\int_0^{\infty}}{\large e^{-(t-\frac{x}{t})^2}}dt={\scriptsize\frac{\sqrt{\pi}}{2}}e^{-2(|x|-x)}\).

永远

结果e的什么根号pi，待计算

elim

Mathematica 代替不了数学论证. 但可以提供极大的帮助.

永远

等原题主把他的原题目拍照在看看那帖子不知道他还上传图片

elim

这个函数在\(x=0\)导数不存在这点很震撼. 原积分看似非常光滑。

elim

题：试证\(\,f(x)=\displaystyle{\small\int_0^{\infty}}{\large e^{-(t-\frac{x}{t})^2}}dt = {\small\frac{\sqrt{\pi}}{2}}e^{-2(|x|-x)}\).
证：定义\(\,f(x):=\displaystyle{\small\int_0^{\infty}}e^{-(t-\frac{x}{t})^2}dt.\quad\)则对\(\,a> 0\) 有
\(\;\displaystyle f(a)\,\overset{u=\frac{a}{t}}{=\hspace{-3px}=}{\small\int_0^{\infty}\frac{a}{u^2}}e^{-(u-\frac{a}{u})^2}du\overset{\small\color{red}{(^*)}}{=}{\scriptsize\frac{1}{2}}{\small\int_0^{\infty}}({\small 1+\frac{a}{u^2}})e^{-(u-\frac{a}{u})^2}du\)
\(\qquad\displaystyle\overset{v=u-\frac{a}{u}}{=\hspace{-3px}=}{\scriptsize\frac{1}{2}}{\small\int_0^{\infty}}e^{-v^2}dv=f(0)={\small\frac{\sqrt{\pi}}{2}}.\)
\(\quad\)进而由\(\underset{\,}{\,}(t-\frac{x}{t})^2=(t-\frac{|x|}{t})^2\small+2(|x|-x)\) 得
\(\qquad\qquad\boxed{\;{\small\int_0^{\infty}}e^{-(t-\frac{x}{t})^2}dt={\scriptsize\frac{\sqrt{\pi}}{2}}e^{-2(|x|-x)}.\;}\)

\(\small\color{red}{(^*)}\;\;\color{grey}{f(a)}\,\)的积分变形与积分定义的算术平均.

elim

luyuanhong

楼上 elim 的帖子很好！已收藏。