Go Uniformly

Calculus Level pending

If the sequence of the function f n ( x ) = ( 1 x k ) n \displaystyle f_{n}(x)={(1-x^k)^n} where n , k N n,k\in\mathbb {N} , then find the value of lim M lim n N = 1 M ( m = 1 N k = 1 m 0 1 f n ( x ) d x n 1 m 2 + ln ( 1 N + 1 ) ) e M . \lim_{M\to\infty}\lim_{n\to\infty}\sum_{N=1}^{M}\left(\sum_{m=1}^N\sum_{k=1}^m\sqrt[n]{\int_0^1f_n(x)dx}\frac{1}{m^2}+\ln \left(\frac{1}{N+1}\right)\right)\frac{e}{M}. Here e e is Euler's number .


Motivated by Is it 1 1^{\infty} ? and main posting of the problem is here .


The answer is 1.5690.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

First let us evaluate the limit lim n g ( n , k ) = lim n ( 0 1 ( 1 x k ) n d x ) 1 n \large \lim_{n\to\infty} g(n,k) = \lim_{n\to\infty} (\int_{0}^{1}(1-x^{k})^{n}dx)^{\frac{1}{n}}

Substitute x = t 1 k x=t^{\frac{1}{k}} .

So we get lim n ( 1 k 0 1 t 1 k 1 ( 1 t ) n d t ) 1 n \large \lim_{n\to\infty} (\frac{1}{k}\int_{0}^{1}t^{\frac{1}{k}-1}(1-t)^{n}dt)^{\frac{1}{n}}

Using Beta Function we get

lim n ( 1 k B ( 1 k , n + 1 ) ) 1 n \large \lim_{n\to\infty} (\frac{1}{k}\Beta(\frac{1}{k},n+1))^{\frac{1}{n}}

= lim n ( 1 k Γ ( 1 k ) Γ ( n + 1 ) Γ ( n + 1 + 1 k ) ) 1 n \large = \lim_{n\to\infty} (\frac{1}{k}\frac{\Gamma(\frac{1}{k})\Gamma(n+1)}{\Gamma(n+1+\frac{1}{k})})^{\frac{1}{n}}

Now here comes some tricky parts.

We see that Γ ( 1 k ) \large \Gamma(\frac{1}{k}) takes finite values for all k N k \in \mathbb{N} .

So Γ ( 1 k ) 1 n \large \Gamma(\frac{1}{k})^{\frac{1}{n}} tends to 1 1 as n n\to\infty . And also ( 1 k ) 1 n \large (\frac{1}{k})^{\frac{1}{n}} tends to 1 1 as n n\to\infty .

So we can approximate lim n g ( n , k ) \large \lim_{n\to\infty} g(n,k) as :-

= lim n ( Γ ( n + 1 ) Γ ( n + 1 + 1 k ) ) 1 n \large = \lim_{n\to\infty} (\frac{\Gamma(n+1)}{\Gamma(n+1+\frac{1}{k})})^{\frac{1}{n}}

Now we want to use Stirling's approximation for Γ ( x + 1 ) \Gamma(x+1)

Using that we get = lim n ( ( n e ) n 2 n π ( ( n + 1 k ) e ) ( n + 1 k ) 2 ( n + 1 k ) π ) 1 n \large\large = \lim_{n\to\infty} (\frac{(\frac{n}{e})^{n}\sqrt{2n\pi}}{(\frac{(n+\frac{1}{k})}{e})^{(n+\frac{1}{k})}\sqrt{2(n+\frac{1}{k})\pi}})^{\frac{1}{n}}

Now again we want to use another approximation

We see that ( 2 n π ) 1 n (\sqrt{2n\pi})^{\frac{1}{n}} and ( 2 ( n + 1 k ) π ) 1 n (\sqrt{2(n+\frac{1}{k})\pi})^{\frac{1}{n}} tend to 1 1 as n n\to\infty . Proof of this is elementary and can be found in any real analysis book. So we can approximate lim n g ( n , k ) \large \lim_{n\to\infty} g(n,k) as :-

lim n n e n + 1 k e = 1 \large \lim_{n\to\infty}\frac{\frac{n}{e}}{\frac{n+\frac{1}{k}}{e}} = 1

Here is a graph of this. As k k increases it approaches 1 1 faster and faster as n n \to \infty

Now we have lim M N = 1 M ( m = 1 N k = 1 m 1 m 2 ln ( N + 1 ) ) e M \large \lim_{M\to\infty} \sum_{N=1}^{M}(\sum_{m=1}^{N}\sum_{k=1}^{m}\frac{1}{m^{2}} - \ln(N+1))\frac{e}{M}

= lim M N = 1 M ( m = 1 N 1 m ln ( N + 1 ) ) e M \large = \lim_{M\to\infty} \sum_{N=1}^{M}(\sum_{m=1}^{N}\frac{1}{m} - \ln(N+1))\frac{e}{M}

= lim M N = 1 M ( H N ln ( N + 1 ) ) e M \large = \lim_{M\to\infty} \sum_{N=1}^{M}(H_{N} - \ln(N+1))\frac{e}{M}

where H n H_{n} denotes the nth harmonic number .

Now I would like to state a theorem which is less used , but when it is indeed used...It is absolutely a beast. The Theorem is known as Cauchy's First Limit Theorem. Which basically states that:-

If { x n } n \{x_{n}\}_{n} be a sequence of real numbers and if lim n { x n } = l \large \lim_{n\to\infty} \{x_{n}\} = l . Then the arithmetic mean(as well as the geometric mean) of all the terms of { x n } \{x_{n}\} converges to the same limit l l as n n\to \infty . Which is expressed as lim n k = 1 n x k n = l = lim n k = 1 n x k n \large \lim_{n\to\infty}\frac{\sum_{k=1}^{n} x_{k}}{n} = l = \lim_{n\to\infty} \sqrt[n]{\prod_{k=1}^{n} x_{k}} .

So let us call { x r } r = ( H r ln ( r + 1 ) ) \large \{x_{r}\}_{r} =(H_{r} - \ln(r+1)) . Now we know that lim r x r \large \lim_{r\to\infty} x_{r} converges to γ \gamma . Where γ \gamma denotes the Euler Mascheroni Constant .

So by Cauchy's First Limit Theorem we have lim M k = 1 M x k M = γ \large \lim_{M\to\infty}\frac{\sum_{k=1}^{M} x_{k}}{M}= \gamma .

So we have our answer as e γ 1.569 e \cdot \gamma \approx 1.569 .

Proof of Cauchy's First limit theorem:- https://brilliant.org/discussions/thread/cauchys-first-limit-theorem/

Your solution is well explained but it would be much better if you present the solution nicely( taking about LaTeX). ;)

Naren Bhandari - 1 year, 1 month ago

Log in to reply

@Naren Bhandari I realize that...but I am a noob in latex. And I have to refer to websites like oeis to check what are the latex commands all the while . For example I do not know how to enlarge the font except for "\large" command with third brackets . Also i do not know any other beautification techniques of the latex script. Perhaps with time I will get better.

Arghyadeep Chatterjee - 1 year, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...