\[\Large\int_{0}^{z}x^{t}\ln\Gamma \left ( 1+x \right )\mathrm{d}x~,~z>0\, ,\, t\in N^{*}\]


\(\Large\mathbf{Solution:}\)
Notice that
\[\begin{align*}
\int_{0}^{z}x^{t}\ln\Gamma \left ( 1+x \right )\mathrm{d}x&=\int_{0}^{z}x^{t}\ln\Big[ x\Gamma \left ( x \right ) \Big]\mathrm{d}x=\int_{0}^{z}x^{t}\ln x\mathrm{d}x+\int_{0}^{z}x^{t}\ln\Gamma \left ( x \right )\mathrm{d}x\\
&=\frac{z^{1+t}\Big[\left ( 1+t \right )\ln z-1\Big]}{\left ( 1+t \right )^{2}}+\int_{0}^{z}x^{t}\ln\Gamma \left ( x \right )\mathrm{d}x
\end{align*}\]
Using the Kummer's Fourier Series of \(\displaystyle \ln \Gamma(x)\) and
\[\sum_{n=1}^{\infty }\frac{\cos\left ( 2\pi nx \right )}{2n}=-\frac{1}{2}\ln\left ( 2\sin\pi x \right )~,~\sum_{n=1}^{\infty }\frac{\sin\left ( 2\pi nx \right )}{2n}=\frac{1}{2}-x\]
we have
\[\ln\Gamma \left ( x \right )=\frac{1}{2}\ln2\pi-\frac{1}{2}\ln\left ( 2\sin\pi x \right )+\left ( \gamma +\ln2\pi \right )\left ( \frac{1}{2}-x \right )+\sum_{n=1}^{\infty }\frac{\ln n}{n\pi }\sin\left ( 2\pi nx \right )\]
Hence we have
\[\begin{align*}
\int_{0}^{z}x^{t}\ln\Gamma \left ( x \right )\mathrm{d}x&=\frac{z^{t+1}\ln2\pi }{2\left ( t+1 \right )}+\frac{z^{t+1}\left ( \gamma +\ln2\pi \right )\left ( t-2zt-2z+2 \right )}{2\left ( t+1 \right )\left ( t+2 \right )}\\
&~~~-\frac{1}{2}\int_{0}^{z}x^{t}\ln\left ( 2\sin\pi x \right )\mathrm{d}x+\frac{1}{\pi }\sum_{n=1}^{\infty }\frac{\ln n}{n}\int_{0}^{z}x^{t}\sin\left ( 2\pi nx \right )\mathrm{d}x
\end{align*}\]
where
\[\begin{align*}
\int_{0}^{z}x^{t}\ln\left ( 2\sin\pi x \right )\mathrm{d}x&=\frac{1}{\left ( 2\pi \right )^{t+1}}\int_{0}^{2\pi z}x^{t}\ln\left ( 2\sin\frac{x}{2} \right )\mathrm{d}x\\
&=-\frac{x^{t}}{\left ( 2\pi \right )^{t+1}}\mathrm{Cl}_{2}\left ( x \right )\Bigg|_{0}^{2\pi z}+\frac{t}{\left ( 2\pi \right )^{t+1}}\int_{0}^{2\pi z} x^{t-1}\mathrm{Cl}_{2}\left ( x \right )\mathrm{d}x\\
&=-\left ( \frac{z}{2\pi } \right )^{t}\mathrm{Cl}_{2}\left ( 2\pi z \right )+\frac{t}{\left ( 2\pi \right )^{t+1}}\int_{0}^{2\pi z}x^{t-1}\sum_{k=1}^{\infty }\frac{\sin kx}{k^{2}}\mathrm{d}x\\
&=-\left ( \frac{z}{2\pi } \right )^{t}\mathrm{Cl}_{2}\left ( 2\pi z \right )+\frac{t}{\left ( 2\pi \right )^{t+1}}\sum_{k=1}^{\infty }\frac{1}{k^{2}}\int_{0}^{2\pi z}x^{t-1}\sin kx\mathrm{d}x
\end{align*}\]
for the last integral,it's not hard to see that
\[\begin{align*}
\int_0^{2\pi z}x^{t-1}\sin kx\,\mathrm{d}x&=\left ( t-1 \right )!\,\Bigg[~\sum_{j=0}^{\lfloor {t-1/2} \rfloor}(-1)^{j+1}\frac{x^{t-1-2j}}{k^{2j+1}(t-1-2j)!}\cos kx \,\Bigg|_0^{2\pi z}\\
&~~~+\sum_{j=0}^{\lfloor {(t-2)2} \rfloor}(-1)^{j+1}\frac{x^{t-2j-2}}{k^{2j+2}(t-2j-2)!}\sin kx\,\Bigg|_0^{2\pi z}~\Bigg]
\end{align*}\]
let \(t-1=t\) and \(k=2\pi n\) we can evaluate \(\displaystyle \int_{0}^{z}x^{t}\sin\left ( 2\pi nx \right )\mathrm{d}x\) .
Now we obtain the result for the initial integral
\[\boxed{\begin{align*}
&\int_{0}^{z}x^{t}\ln\Gamma \left ( 1+x \right )\mathrm{d}x=\\
&\color{blue}{\frac{z^{1+t}\left[\left ( 1+t \right )\ln z-1\right]}{\left ( 1+t \right )^{2}}+\frac{z^{t+1}\ln2\pi }{2\left ( t+1 \right )}+\frac{z^{t+1}\left ( \gamma +\ln2\pi \right )\left ( t-2zt-2z+2 \right )}{2\left ( t+1 \right )\left ( t+2 \right )}}\\
&\color{blue}{+\frac{1}{2}\left ( \frac{z}{2\pi } \right )^{t}\mathrm{Cl}_{2}\left ( 2\pi z \right )-\frac{t\left ( t-1 \right )!}{2\left ( 2\pi \right )^{t+1}}\sum_{k=1}^{\infty }\frac{1}{k^{2}}\Bigg \{\sum_{j=0}^{\lfloor {t-1/2} \rfloor}\frac{(-1)^{j+1}x^{t-1-2j}}{k^{2j+1}(t-1-2j)!}\cos kx \,\Bigg|_0^{2\pi z}}\\
&\color{blue}{+\sum_{j=0}^{\lfloor {(t-2)2} \rfloor}\frac{(-1)^{j+1}x^{t-2j-2}}{k^{2j+2}(t-2j-2)!}\sin kx\,\Bigg|_0^{2\pi z} \Bigg \}+\frac{t!}{\pi }\sum_{n=1}^{\infty }\frac{\ln n}{n}\Bigg \{ \sum_{j=0}^{\lfloor {t/2} \rfloor}\frac{(-1)^{j+1}x^{t-2j}}{\left ( 2\pi n \right )^{2j+1}(t-2j)!}\cos\left ( 2\pi nx \right ) \,\Biggr|_0^{z}}\\
&\color{blue}{+\sum_{j=0}^{\lfloor {(t-1)2} \rfloor}\frac{(-1)^{j+1}x^{t-2j-1}}{\left ( 2\pi n \right )^{2j+2}(t-2j-1)!}\sin \left ( 2\pi nx \right )\,\Biggr|_0^{z} \Bigg\}}
\end{align*}}\]


\(\mathrm{For~example:}\)
\[\color{red}{\int_{0}^{1}x\ln\Gamma \left ( 1+x \right )\mathrm{d}x=\ln\left ( \frac{2^{\frac{1}{4}}\pi ^{\frac{1}{4}}}{\mathbf{A}e^{\frac{1}{4}}} \right )}\]
\[\color{red}{\int_{0}^{2}x^{2}\ln\Gamma \left ( 1+x \right )\mathrm{d}x=\frac{4}{3}\ln\left (\frac{8\pi }{\mathbf{A}^{3}} \right )+\frac{\zeta \left ( 3 \right )}{2\pi ^{2}}-\frac{5}{2}}\]
\[\color{red}{\int_{0}^{\frac{1}{2}}x^{2}\ln\Gamma \left ( 1+x \right )\mathrm{d}x=\ln\left ( \frac{\mathbf{A}^{\frac{1}{8}}\pi ^{\frac{1}{48}}}{2^{\frac{89}{2880}}} \right )-\frac{5}{8}\zeta '\left ( 3 \right )-\frac{3\zeta \left ( 3 \right )}{32\pi ^{2}}-\frac{3}{128}}\]

一类Log-Gamma积分的一般形式的更多相关文章

  1. 两个Beta函数类型的积分及其一般形式

    \[\Large\displaystyle \int_{0}^{1}\frac{\sqrt[4]{x\left ( 1-x \right )^{3}}}{\left ( 1+x \right )^{3 ...

  2. LDA-math-神奇的Gamma函数

    http://cos.name/2013/01/lda-math-gamma-function/ 1. 神奇的Gamma函数1.1 Gamma 函数诞生记学高等数学的时候,我们都学习过如下一个长相有点 ...

  3. 各类分布----二项分布,泊松分布,负二项分布,gamma 分布,高斯分布,学生分布,Z分布

    伯努利实验: 如果无穷随机变量序列  是独立同分布(i.i.d.)的,而且每个随机变量  都服从参数为p的伯努利分布,那么随机变量  就形成参数为p的一系列伯努利试验.同样,如果n个随机变量  独立同 ...

  4. 学习笔记:The Log(我所读过的最好的一篇分布式技术文章)

    前言 这是一篇学习笔记. 学习的材料来自Jay Kreps的一篇讲Log的博文. 原文很长,但是我坚持看完了,收获颇多,也深深为Jay哥的技术能力.架构能力和对于分布式系统的理解之深刻所折服.同时也因 ...

  5. 学习笔记:The Log(我所读过的最好的一篇分布式技术文章)

    前言 这是一篇学习笔记. 学习的材料来自Jay Kreps的一篇讲Log的博文. 原文非常长.可是我坚持看完了,收获颇多,也深深为Jay哥的技术能力.架构能力和对于分布式系统的理解之深刻所折服.同一时 ...

  6. [译]如何禁止Requests库的log日志信息呢?

    原文来源: https://stackoverflow.com/questions/11029717/how-do-i-disable-log-messages-from-the-requests-l ...

  7. Android 项目Log日志输出优化

    概述 Android开发过程中经常需要向控制台输出日志信息,有些人还在用Log.i(tag,msg)的形式或者system.out.println(msg)方式吗?本篇文章对日志信息输出进行优化,以达 ...

  8. AOPS论坛上100+100个积分

    100+10 rare and irresistible integrals I bring you many beautiful integrals that I have collected ov ...

  9. Matlab 矩阵运算

    1.Syms 和sym的区别: syms是定义多个符号是符号变量的意思 sym只能定义一个符号变量,但可以具体到这个符号变量的内容 例:syms f z; %定义下x和y f=sym('a+b+c') ...

随机推荐

  1. maven基础学习篇

    一.Maven的两大核心功能:依赖管理(主要是jar包的管理)  和   一键构建 1.依赖管理:maven项目所需要的jar包全部放在仓库中,项目只放置jar包的坐标,所要用到的jar包都从仓库中获 ...

  2. 排查 k8s 集群 master 节点无法正常工作的问题

    搭建的是 k8s 高可用集群,用了 3 台 master 节点,2 台 master 节点宕机后,仅剩的 1 台无法正常工作. 运行 kubectl get nodes 命令出现下面的错误 The c ...

  3. 「CSP-S模拟赛」2019第三场

    目录 T1 「POI2007」山峰和山谷 Ridges and Valleys 题目 考场思路(几近正解) 正解 T2 「JOI 2013 Final」 现代豪宅 题目 考场思路(正解) T3 「SC ...

  4. tomcat在win10系统中安装失败的问题,修改tomcat内存

    自己以前在其他系统上安装tomcat服务都没有问题,但是在win10系统上安装就经常出现问题,自己总结了一下安装步骤: 1.首先需要配置环境变量, CATALINA_HOME 2.修改service. ...

  5. 查询 keystore文件的签名信息

    需要安装jdk 在安装 jdk的/bin文件夹下 keytool -v -list -keystore [keystore文件的路径]

  6. nginx.conf nginx反向代理配置文件

    nginx反向代理配置文件 nginx.conf proxy_default.conf proxy.conf vhost/*.conf upstream/*.conf cache/*.conf ngi ...

  7. WKWebView 使用的坑

    WKWebView 简介: WKWebView 是苹果在 WWDC 2014 上推出的新一代 webView 组件,用以替代 UIKit 中笨重难用.内存泄漏的 UIWebView.WKWebView ...

  8. Unity切换场景后变暗

    这个问题估计很多人都碰到过,原因是切换场景的光照贴图数据丢失,解决方案如下: 打开你要切换的场景,打开Windows-Lighting-Settings,将最下面的Auto Generate前面的勾去 ...

  9. 归并非递归、快排递归及非递归的C++实现及时间效率对比。。

    今天看剑指offer突然发现下学期都要去面试了,还没自己实现过快排非递归和归并非递归,这怎么能行呢,于是就写了一下. (虽然有点卡壳,又回去翻了下算导,还是顺利写出来了) 先放图: 一亿数据量: #p ...

  10. 负环--spfa

    洛谷板子题 负环?是有负权边的环还是一个边权之和为负的环? 还没有准确的定义(那就先忽略吧qwq 判断负环的方法: 暴力枚举/spfa/mellman—ford/奇怪的贪心/超神的搜索 可惜我只会sp ...