1

$S=\displaystyle \lim\limits_{n \rightarrow \infty}(1/n^6+32/n^6+...1/n)$ and $T=\displaystyle \lim\limits_{n\rightarrow \infty}(1/n^6+32/n^6+...(n-1)^5/n^6)$, then prove that $S\rightarrow \frac{1}{6}^+,$ $T\rightarrow \frac{1}{6}^-$ and $S+T>1/3 $

A definite integral shows the area under the curve for any function between two points which are called limits. We can integrate a function by dividing the area under the graph to small rectangles, decreasing the breadth of the rectangles to an infintesimally small quantity $dx$ and assuming there are an infinite number of rectangles.

$T=\int_0^1 x^5=1/6$ approximately. I think it will be a little less than $1/6$ because the last term is $(n-1)^5$. I can't understand why $S$ will be larger than $1/6$.

When we integrate using the rule $\int x^n=x^{n+1}/(n+1)+c$ , are we calculating the exact area under the graph or are we excluding the infinitesimally small areas left after filling the graph with an infinite number of rectangles. I.e are the areas shaded light pink in the graph accounted for or not.

enter image description here

Please help me with the question :)

Tatai
  • 755
  • 4
  • 24

2 Answers2

1

$S > 1/6$ because the first rectangle starts at $1/n^6$ (instead of at $0$ as it does for $T$), so all the rectangles are above the curve, not below.

Therefore the sum of the rectangles is greater than the area.

As to why $S+T > 1/3$, I'd have to think about it. My first guess is because $f''(x) > 0$. But there might be a simple geometric reason.


In response to the comment.

If $f(x) \ge 0$, $f'(x) > 0$, and $a < b$ then $f(a) \lt \dfrac1{b-a}\int_a^b f(x) dx \lt f(b) $. This just says that the average value is between the minimum and maximum values.

Set $a = \dfrac{k-1}{n}$ and $b = \dfrac{k}{n}$ and sum.

Note that the inequality is reversed if $f'(x) < 0$.

marty cohen
  • 107,799
  • I'm not able to visualise it :( – Tatai Sep 03 '21 at 15:55
  • 1
    "If $f(x)\geq 0, f'(x)>0,and...<f(b)$" How do we know that all the rectangles are above the curve from this statement? As far as I can understand it only describes the endpoints $a,b$ of the curve – Tatai Sep 03 '21 at 16:34
  • This is for all a and b, not just the endpoints. I should have made that clear. – marty cohen Sep 04 '21 at 19:12
1

Notice that the sums $T_n$ and $S_n$ appearing in the limits correspond to the lower and upper Darboux sums respectively, to the integral of the function $f(x)=x^5$ over the interval $[0,1]$ with respect to uniform partition $P_n=\{k/n:1\leq k\leq n\}$: $$T_n=\frac{1}{n}\sum^n_{k=1}\frac{(k-1)^5}{n^5}=L(f,P_n)< \int^1_0 x^5\,dx=\frac16 <S_n=U_n(f,P_n)=\frac1n \sum^n_{k=1}\frac{k^5}{n^5}$$

The trapezoidal approximation to the integral with respect to the uniform partition gives

$$ \tau(f;P_n)=\sum^n_{k=1}\frac{1}{n}\frac{\tfrac{k^5}{n^5}+\tfrac{(k-1)^5}{n^5}}{2}=\frac{1}{2}(T_n+S_n)$$ Since $f$ in convex, the line that joins the points $\big(\tfrac{k-1}{n},\frac{(k-1)^5}{n^5}\big)$ and $\big(\tfrac{k}{n},\frac{k^5}{n^5}\big)$ is above the graph of the function $f$ in the interval $I_k=\big[\tfrac{k-1}{n},\tfrac{k}{n}\big]$. Hence, the area of the trapezoid with vertices $\big(\tfrac{k-1}{n},0\big)$, $\big(\tfrac{k-1}n,\tfrac{(k-1)^5}{n^5}\big)$, $\big(\tfrac{k}{n},0\big)$, and $\big(\tfrac{k}n,\tfrac{k^5}{n^5}\big)$ is larger that the area between the graph of $f$ and the horizontal axis in the interval $\big[\tfrac{k-1}{n},\tfrac{k}{n}\big]$, that is $$\int^{k/n}_{(k-1)/n}x^5\,dx < \frac{(k-1)^5+k^5}{2n}$$ Consequently $$\frac16=\int^1_0x^5\,dx=\sum^n_{k=1}\int^{k/n}_{(k-1)/n}x^5\,dx<\sum^n_{k=1}\frac{k^5+(k-1)^5}{2n}=\frac{S_n+L_n}{2}$$

Mittens
  • 39,145
  • What is a Darboix sum and what us a trapezoidal approximation with respect to partition? – Tatai Sep 11 '21 at 09:45
  • The upper and lower Darboux sums for a function $f$ with respect to a partition $P={a=x_0<\ldots<x_n=b}$ are defined as $U(f,P)=\sum^n_{j=1}M_j(x_j-x_{j-1})$ and $L(f,P)=\sum^n_{j=1}m_j(x_j-x_{j-1})$ where $M_j=\sup_{x_{j-1}\leq x\leq x_j}f(x)$ and $m_j=\inf_{x_{j-1}\leq x\leq x_j}f(x)$. Any Riemann sum $S(f,P,\tau)=\sum^n_{j=1}f(t_j)(x_j-x_{j-1})$, where the tags $\tau={t_j}$ satisfy $x_{j-1}\leq t_j\leq x_j$, lies between the upper and lower Darbuox sums. – Mittens Sep 11 '21 at 12:51
  • what does "partition" mean in in your comment – Tatai Sep 11 '21 at 12:54
  • A partition of an interval $[a,b]$ is a finite collection of points $a=x_0<x_1<\ldots<x_n=b$. For example, for any $n\in\mathbb{N}$, the set ${a+\frac{b-a}{n}j:j=0,\ldots,n}$ is a partition of $[a,b]$ – Mittens Sep 11 '21 at 14:11