MHB Understanding Riemann Integrals of $\ln\ x$

  • Thread starter Thread starter polygamma
  • Start date Start date
  • Tags Tags
    Integrals Riemann
polygamma
Messages
227
Reaction score
0
$\displaystyle \int_{0}^{1} \ln \ x \ dx $ is not a proper Riemann integral since $\ln \ x $ is not bounded on $[0,1]$. Yet $ \displaystyle \int_{0}^{1} \ln \ x \ dx = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)$. Is this because $\ln \ x$ is monotone on $(0,1]$?
 
Physics news on Phys.org
Random Variable said:
$\displaystyle \int_{0}^{1} \ln \ x \ dx $ is not a proper Riemann integral since $\ln \ x $ is not bounded on $[0,1]$. Yet $ \displaystyle \int_{0}^{1} \ln \ x \ dx = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)$. Is this because $\ln \ x$ is monotone on $(0,1]$?

Hi Random Variable, :)

Yes, \(\displaystyle\int_{0}^{1} \ln \ x \ dx\) is an improper integral. However \(\displaystyle\int_{a}^{1} \ln \ x \ dx\mbox{ where }0<a<1\) is a proper Riemann integral and by the Rectangle method we can obtain,

\[\int_{a}^{1} \ln \ x \ dx = \lim_{n \to \infty}\left[\frac{1-a}{n}\sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)\right]=(1-a)\lim_{n \to \infty}\left[\frac{1}{n}\sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)\right]\]

Note that, \(\displaystyle\lim_{n \to \infty}\left[\frac{1}{n}\sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)\right]\) exists since \(\displaystyle\int_{a}^{1} \ln \ x \ dx\) is Riemann integrable. Therefore,

\[\int_{0}^{1} \ln \ x \ dx=\lim_{a\rightarrow 0^{+}}\int_{a}^{1} \ln \ x \ dx =\lim_{n \to \infty}\left[\frac{1}{n}\sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)\right]\]

So, \(\displaystyle\int_{0}^{1} \ln \ x \ dx\) is an improper integral and its value is equal to \(\displaystyle\lim_{n \to \infty}\left[\frac{1}{n}\sum_{k=1}^{n} \ln \left(\frac{k}{n} \right)\right]\)

Kind Regards,
Sudharaka.
 
Last edited:
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...
Back
Top