• 微信公众号:美女很有趣。 工作之余,放松一下,关注即送10G+美女照片!

Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

开发技术 开发技术 1周前 (05-04) 6次浏览

 

0.1Bearbeiten
{displaystyle int _{0}^{1}log Gamma (x),dx=log {sqrt {2pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)
1. Beweis

{displaystyle 2int _{0}^{1}log Gamma (x),dx=int _{0}^{1}log Gamma (x),dx+int _{0}^{1}log Gamma (1-x),dx=int _{0}^{1}log {Big (}Gamma (x),Gamma (1-x){Big )},dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle =int _{0}^{1}log left({frac {pi }{sin pi x}}right)dx=log pi -int _{0}^{1}log sin pi x,dx=log pi +log 2,Rightarrow ,int _{0}^{1}log Gamma (x),dx={frac {1}{2}}log(2pi )}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

2. Beweis

Die Riemannsche Approximationssumme {displaystyle sum _{k=1}^{n-1}log Gamma !left({frac {k}{n}}right)cdot {frac {1}{n}}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) vereinfacht sich zu

{displaystyle log left(prod _{k=1}^{n-1}Gamma !left({frac {k}{n}}right)right)cdot {frac {1}{n}}=log left({frac {{sqrt {2pi }}^{,n-1}}{sqrt {n}}}right)cdot {frac {1}{n}}={frac {(n-1)log {sqrt {2pi }}-log {sqrt {n}}}{n}}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma),

und konvergiert daher gegen {displaystyle log {sqrt {2pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) für {displaystyle nto infty ,}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma).

 
0.2Bearbeiten
{displaystyle int _{1/4}^{3/4}log Gamma (x),dx={frac {1}{2}}left(log {sqrt {2pi }}-{frac {G}{pi }}right)}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)
1. Beweis

{displaystyle I:=int _{1/4}^{3/4}log Gamma (x),dx=int _{1/4}^{3/4}log Gamma (1-x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle Rightarrow ,2I=int _{1/4}^{3/4}log {Big (}Gamma (x)Gamma (1-x){Big )},dx=int _{1/4}^{3/4}log left({frac {pi }{sin pi x}}right)dx={frac {1}{2}}log pi -int _{1/4}^{3/4}log(sin pi x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma),

wobei {displaystyle int _{1/4}^{3/4}log(sin pi x),dx=int _{-1/4}^{1/4}log(cos pi x),dx=2int _{0}^{1/4}log(cos pi x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) {displaystyle ={frac {1}{pi }}int _{0}^{frac {pi }{2}}log left(cos {frac {x}{2}}right)dx={frac {G}{pi }}-{frac {1}{2}}log 2}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) ist.

Also ist {displaystyle 2I={frac {1}{2}}log(2pi )-{frac {G}{pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma).

2. Beweis

Für {displaystyle 0leq xleq 1}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) betrachte folgende Rechteck-Impuls-Funktion:

{displaystyle f(x)={frac {4}{pi }}sum _{k=0}^{infty }{frac {(-1)^{k}}{2k+1}},cos {Big (}(2k+1),2pi x{Big )}=left{{begin{matrix}+1&&0leq x<{frac {1}{4}},vee ,{frac {3}{4}}<xleq 1\\0&&x={frac {1}{4}},vee ,x={frac {3}{4}}\\-1&&{frac {1}{4}}<x<{frac {3}{4}}end{matrix}}right.}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle int _{0}^{1}log Gamma (x),f(x),dx={frac {4}{pi }}sum _{k=0}^{infty }{frac {(-1)^{k}}{2k+1}}int _{0}^{1}log Gamma (x),cos {Big (}(2k+1),2pi x{Big )}dx={frac {4}{pi }}sum _{k=0}^{infty }{frac {(-1)^{k}}{2k+1}},{frac {1}{4,(2k+1)}}={frac {G}{pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

Aus den Gleichungen

{displaystyle {text{I.}},quad int _{0}^{1/4}log Gamma (x),dx+int _{1/4}^{3/4}log Gamma (x),dx+int _{3/4}^{1}log Gamma (x),dx=log {sqrt {2pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle {text{II.}}quad int _{0}^{1/4}log Gamma (x),dx-int _{1/4}^{3/4}log Gamma (x),dx+int _{3/4}^{1}log Gamma (x),dx={frac {G}{pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

folgt     {displaystyle 2int _{1/4}^{3/4}log Gamma (x),dx=log {sqrt {2pi }}-{frac {G}{pi }}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma).

 
1.1Bearbeiten
{displaystyle int _{u}^{u+1}log Gamma (x),dx=u,{Big (}log(u)-1{Big )}+log {sqrt {2pi }}qquad u>0}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)
Beweis (Raabesche Formel)

{displaystyle int _{u}^{u+1}log Gamma (x),dx=int _{0}^{u+1}log Gamma (x),dx-int _{0}^{u}log Gamma (x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle =int _{0}^{1}log Gamma (x),dx+int _{1}^{u+1}log Gamma (x),dx-int _{0}^{u}log Gamma (x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)

{displaystyle =log {sqrt {2pi }}+int _{0}^{u}log Gamma (x+1),dx-int _{0}^{u}log Gamma (x),dx}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma).

Wegen {displaystyle log Gamma (x+1)-log Gamma (x)=log x,}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma) ist

{displaystyle int _{0}^{u}log Gamma (x+1)dx-int _{0}^{u}log Gamma (x)dx=u,{Big (}log(u)-1{Big )}}Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma).


程序员灯塔
转载请注明原文链接:Formelsammlung Mathematik: Bestimmte Integrale: Form R(x,log,Gamma)
喜欢 (0)