Skip to content

构造辅助函数的方法

一般地

看到 f(ξ)+f(ξ)g(ξ)f'(\xi) + f(\xi)g(\xi),应该想到 f(x)eg(x)dxf(x)e^{\int g(x) \mathrm{d}x},因为

[f(x)eg(x)dx]=[f(x)+f(x)g(x)]eg(x)dx\left[f(x)e^{\int g(x) \mathrm{d}x}\right]'=[\underline{f'(x)+f(x)g(x)}]e^{\int g(x) \mathrm{d}x}

具体地

  1. 看到 mf(ξ)+nf(ξ)mf(\xi)+n f'(\xi),应该想到 f(x)emnxf(x)e^{ {m\over n}x},因为
[f(x)emnx]=[f(x)+mnf(x)]emnx=1n[mf(x)+nf(x)]emnx\left[ f(x)e^{ {m \over n}x} \right]'=\left[ f'(x)+{m \over n}f(x) \right]e^{ {m \over n}x} = {1 \over n} [\underline{m f(x) + n f'(x)}]e^{ {m \over n}x }
  1. 看到 mf(ξ)+nf(ξ)mf(\xi)+n f'(\xi),应该想到 x{m}f{n}(x)\displaystyle{ x ^{ \left\lbrace m \right\rbrace } f ^{ \left\lbrace n \right\rbrace } \left( x \right) },因为
[xmfn(x)]=[mf(x)+nxf(x)]xm1fn1(x)[x^{m}f^{n}(x)]'=[\underline{mf(x)+nxf'(x)}]x^{m-1}f^{n-1} (x)
  1. 看到 mf(ξ)nξf(ξ)mf(\xi)-n\xi f'(\xi),应该想到 fn(x)xm\displaystyle {f^{n}(x)\over x^{m} }xmfn(x)\displaystyle {x^{m} \over f^{n} (x)},因为
[fn(x)xm]=fn1(x)xm+1[nxf(x)mf(x)]\left[ {f^{n}(x) \over x^{m} } \right]' = {f^{n-1}(x) \over x^{m+1}} [\underline{nxf'(x)-mf(x)}] [xmfn(x)]=xm1fn+1(x)[mf(x)nxf(x)]\left[{ x^{m} \over f^{n} (x) }\right]' = {x ^ {m-1} \over f^{n+1} (x)}[\underline{mf(x)-nxf'(x)}]
  1. 看到 nf(ξ)f(1ξ)mf(ξ)f(1ξ)nf'(\xi)f(1-\xi)-mf(\xi)f'(1-\xi),应该想到 f{n}(x)f{m}(1x)\displaystyle{ f ^{ \left\lbrace n \right\rbrace } \left( x \right) f ^{ \left\lbrace m \right\rbrace } \left( 1 - x \right) },因为
[nf(ξ)f(1ξ)mf(ξ)f(1ξ)]=[nf(x)(1x)mf(x)f(1x)]fn1(x)fm1(1x)\left [nf'(\xi)f(1-\xi)-mf(\xi)f'(1-\xi) \right]' = [\underline{ nf'(x)(1-x) - mf(x)f'(1-x) }]f^{n-1}(x)f^{m-1}(1-x)
  1. 看到 mf(x)g(x)+nf(x)g(x)\displaystyle{ m f ^{\prime} \left( x \right) g \left( x \right) + n f \left( x \right) g ^{\prime} \left( x \right) },应该想到 f{m}(x)g{n}(x)\displaystyle{ f ^{ \left\lbrace m \right\rbrace } \left( x \right) g ^{ \left\lbrace n \right\rbrace } \left( x \right) },因为
[fm(x)gn(x)]=[mf(x)g(x)+nf(x)g(x)]fm1(x)gn1(x)\left[f^{m}(x)g^{n}(x)\right]' = [\underline{mf'(x)g(x)+nf(x)g'(x)}]f^{m-1}(x)g^{n-1}(x)
  1. 看到 mf(x)g(x)nf(x)g(x)\displaystyle{ m f ^{\prime} \left( x \right) g \left( x \right) - n f \left( x \right) g ^{\prime} \left( x \right) },应该想到 fm(x)gn(x)\displaystyle {f^{m}(x) \over g^{n}(x)},因为
[fm(x)gn(x)]=fm1(x)gn+1(x)[mf(x)g(x)nf(x)g(x)]\left[ {f^{m}(x) \over g^{n}(x)} \right]' = {f^{m-1}(x) \over g^{n+1}(x)} [\underline{ mf'(x)g(x)-nf(x)g'(x) }]
  1. 看到 f(ξ)g(ξ)g(ξ)f(ξ)f(\xi)g''(\xi)-g(\xi)f''(\xi),应该想到 f(x)g(x)f(x)g(x)\displaystyle{ f ^{\prime} \left( x \right) g \left( x \right) - f \left( x \right) g ^{\prime} \left( x \right) },因为
[f(x)g(x)f(x)g(x)]=f(x)g(x)g(x)f(x)[f'(x)g(x)-f(x)g'(x)]' = \underline{ f(x)g''(x)-g(x)f''(x) }

伽马函数

Γ(r)=0+xr1exdx,r>0\displaystyle \Gamma{\left( r\right)}=\int_{0}^{+\infty} x^{r- 1}\text{e}^{- x}\text{d} x, r> 0

特别的

Γ(12)=π\displaystyle \Gamma{\left(\frac{1}{2}\right)}=\sqrt{\pi}

递归性质有

Γ(x+1)=xΓ(x)\displaystyle \Gamma{\left( x+ 1\right)}= x\Gamma{\left( x\right)}

它是阶乘的一个延拓

Γ(n+1)=n!\displaystyle \Gamma{\left( n+ 1\right)}={n!}

如果令 x=t\displaystyle \sqrt{x}= t,则

Γ(r)=0+t2r2et2d(t2)=20+t2r1et2dt\begin{aligned}\displaystyle \Gamma{\left( r\right)}&=\int_{0}^{+\infty} t^{2 r- 2}\text{e}^{- t^{2} }\text{d}{\left( t^{2}\right)} \\ \displaystyle &= 2\int_{0}^{+\infty} t^{2 r- 1}\text{e}^{- t^{2} }\text{d} t\end{aligned}

特别的

Γ(1)=20+tet2dt=1Γ(2)=20+t3et2dt=1\begin{aligned}\displaystyle \Gamma{\left( 1\right)}&= 2\int_{0}^{+\infty} t\text{e}^{- t^{2} }\text{d} t= 1 \\ \displaystyle \Gamma{\left( 2\right)}&= 2\int_{0}^{+\infty} t^{3}\text{e}^{- t^{2} }\text{d} t= 1\end{aligned}