Transfer between integrals and infinite sums
up vote
4
down vote
favorite
So I was watching a video on YouTube about how $$sum_{i=1}^infty frac{chi(i)}{i} = frac{pi}{4}$$ (note that $chi(i) = 0$ for even numbers $i$, $1$ for $text{mod}(i, 4) = 1$, and $-1$ for $text{mod}(i,4) = 3$) and one of the proofs shown involved stating that $$sum_{i=1}^infty frac{chi(i)}{i} = int_{0}^{1} sum_{i=0}^{infty}chi(i+1)x^{i}dx,.$$
My question is 1.) how is this done and 2.) how can this be replicated with different infinite sums. Thanks in advance!
calculus integration sequences-and-series summation power-series
add a comment |
up vote
4
down vote
favorite
So I was watching a video on YouTube about how $$sum_{i=1}^infty frac{chi(i)}{i} = frac{pi}{4}$$ (note that $chi(i) = 0$ for even numbers $i$, $1$ for $text{mod}(i, 4) = 1$, and $-1$ for $text{mod}(i,4) = 3$) and one of the proofs shown involved stating that $$sum_{i=1}^infty frac{chi(i)}{i} = int_{0}^{1} sum_{i=0}^{infty}chi(i+1)x^{i}dx,.$$
My question is 1.) how is this done and 2.) how can this be replicated with different infinite sums. Thanks in advance!
calculus integration sequences-and-series summation power-series
add a comment |
up vote
4
down vote
favorite
up vote
4
down vote
favorite
So I was watching a video on YouTube about how $$sum_{i=1}^infty frac{chi(i)}{i} = frac{pi}{4}$$ (note that $chi(i) = 0$ for even numbers $i$, $1$ for $text{mod}(i, 4) = 1$, and $-1$ for $text{mod}(i,4) = 3$) and one of the proofs shown involved stating that $$sum_{i=1}^infty frac{chi(i)}{i} = int_{0}^{1} sum_{i=0}^{infty}chi(i+1)x^{i}dx,.$$
My question is 1.) how is this done and 2.) how can this be replicated with different infinite sums. Thanks in advance!
calculus integration sequences-and-series summation power-series
So I was watching a video on YouTube about how $$sum_{i=1}^infty frac{chi(i)}{i} = frac{pi}{4}$$ (note that $chi(i) = 0$ for even numbers $i$, $1$ for $text{mod}(i, 4) = 1$, and $-1$ for $text{mod}(i,4) = 3$) and one of the proofs shown involved stating that $$sum_{i=1}^infty frac{chi(i)}{i} = int_{0}^{1} sum_{i=0}^{infty}chi(i+1)x^{i}dx,.$$
My question is 1.) how is this done and 2.) how can this be replicated with different infinite sums. Thanks in advance!
calculus integration sequences-and-series summation power-series
calculus integration sequences-and-series summation power-series
edited Nov 20 at 22:48
Batominovski
31.8k23190
31.8k23190
asked Nov 20 at 22:24
connor lane
263
263
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
up vote
5
down vote
accepted
Note that, for all $igeq 1$,
$$frac{1}{i} = int_0^1 x^{i-1} dx$$
(this is a "trick" worth knowing), and therefore
$$
sum_{i=1}^infty frac{chi(i)}{i} =
sum_{i=1}^infty chi(i)int_0^1 x^{i-1} dx
=
int_0^1sum_{i=1}^infty chi(i)x^{i-1} dx
=
int_0^1sum_{k=0}^infty chi(k+1)x^{k} dx
$$
where the only part which would require justification is when we swap $int_0^1$ and $sum_{i=1}^infty$: this is Tonelli-Fubini.
add a comment |
up vote
5
down vote
If you have a power series
$$f(x):=sum_{k=0}^infty,a_kx^k$$
with radius of convergence $rgeq 1$ ($a_0,a_1,a_2,ldotsinmathbb{C}$), then $f_n|_{[0,1)}to f|_{[0,1)}$ uniformly on compact sets as $ntoinfty$, where $$f_n(x):=sum_{k=0}^n,a_kx^ktext{ for each }xinmathbb{C}text{ and }ninmathbb{Z}_{>0},.$$
This provides a justification for swapping the infinite sum and the integral, that is,
$$int_0^1,f(x),text{d}x=int_0^1,sum_{k=0}^infty,a_kx^k,text{d}x=sum_{k=0}^infty,int_0^1,a_kx^k,text{d}x=sum_{k=0}^infty,frac{a_{k}}{k+1},.$$
In particular, the power series
$$g(x):=sum_{k=0}^infty,chi(k+1),x^k$$
has radius of convergence $dfrac{1}{limsuplimits_{ktoinfty},sqrt[k]{big|chi(k+1)big|}}=1$. Therefore, you can swap the integral and the infinite sum to obtain
$$int_0^1,g(x),text{d}x=int_0^1,sum_{k=0}^infty,chi(k+1),x^k,text{d}x=sum_{k=0}^infty,frac{chi(k+1)}{k+1}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
Note that $x^4,g(x)=g(x)-1+x^2$, so $$g(x)=frac{1-x^2}{1-x^4}=frac{1}{1+x^2}text{ for all }xinmathbb{C}text{ such that }|x|<1,.$$
That is,
$$sum_{k=1}^infty,frac{chi(k)}{k}=int_0^1,frac{1}{1+x^2},text{d}x=arctan(x)big|_{x=0}^{x=1}=frac{pi}{4},.$$
Alternatively, note that
$$chi(k)=frac{text{i}^k-(-text{i})^k}{2text{i}}text{ for each }k=0,1,2,ldots,,$$
where $text{i}$ is the imaginary unit $sqrt{-1}$. From the Taylor series of the principal branch of the natural logarithm function $$ln(1+z)=sum_{k=1}^infty,frac{(-1)^{k-1}}{k},z^k,,$$ we note that the series above converges for $z=pm text{i}$, yielding
$$frac{1}{2},ln(2)+text{i}frac{pi}{4}=ln(1+text{i})=-sum_{k=1}^infty,frac{(-text{i})^k}{k}$$
and
$$frac{1}{2},ln(2)-text{i}frac{pi}{4}=ln(1-text{i})=-sum_{k=1}^infty,frac{text{i}^k}{k},.$$
Subtracting the two equations above and dividing the result by $2text{i}$ yields
$$frac{pi}{4}=sum_{k=1}^infty,frac{text{i}^k-(-text{i})^k}{2text{i},k}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
|
show 9 more comments
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
5
down vote
accepted
Note that, for all $igeq 1$,
$$frac{1}{i} = int_0^1 x^{i-1} dx$$
(this is a "trick" worth knowing), and therefore
$$
sum_{i=1}^infty frac{chi(i)}{i} =
sum_{i=1}^infty chi(i)int_0^1 x^{i-1} dx
=
int_0^1sum_{i=1}^infty chi(i)x^{i-1} dx
=
int_0^1sum_{k=0}^infty chi(k+1)x^{k} dx
$$
where the only part which would require justification is when we swap $int_0^1$ and $sum_{i=1}^infty$: this is Tonelli-Fubini.
add a comment |
up vote
5
down vote
accepted
Note that, for all $igeq 1$,
$$frac{1}{i} = int_0^1 x^{i-1} dx$$
(this is a "trick" worth knowing), and therefore
$$
sum_{i=1}^infty frac{chi(i)}{i} =
sum_{i=1}^infty chi(i)int_0^1 x^{i-1} dx
=
int_0^1sum_{i=1}^infty chi(i)x^{i-1} dx
=
int_0^1sum_{k=0}^infty chi(k+1)x^{k} dx
$$
where the only part which would require justification is when we swap $int_0^1$ and $sum_{i=1}^infty$: this is Tonelli-Fubini.
add a comment |
up vote
5
down vote
accepted
up vote
5
down vote
accepted
Note that, for all $igeq 1$,
$$frac{1}{i} = int_0^1 x^{i-1} dx$$
(this is a "trick" worth knowing), and therefore
$$
sum_{i=1}^infty frac{chi(i)}{i} =
sum_{i=1}^infty chi(i)int_0^1 x^{i-1} dx
=
int_0^1sum_{i=1}^infty chi(i)x^{i-1} dx
=
int_0^1sum_{k=0}^infty chi(k+1)x^{k} dx
$$
where the only part which would require justification is when we swap $int_0^1$ and $sum_{i=1}^infty$: this is Tonelli-Fubini.
Note that, for all $igeq 1$,
$$frac{1}{i} = int_0^1 x^{i-1} dx$$
(this is a "trick" worth knowing), and therefore
$$
sum_{i=1}^infty frac{chi(i)}{i} =
sum_{i=1}^infty chi(i)int_0^1 x^{i-1} dx
=
int_0^1sum_{i=1}^infty chi(i)x^{i-1} dx
=
int_0^1sum_{k=0}^infty chi(k+1)x^{k} dx
$$
where the only part which would require justification is when we swap $int_0^1$ and $sum_{i=1}^infty$: this is Tonelli-Fubini.
answered Nov 20 at 22:40
Clement C.
48.8k33784
48.8k33784
add a comment |
add a comment |
up vote
5
down vote
If you have a power series
$$f(x):=sum_{k=0}^infty,a_kx^k$$
with radius of convergence $rgeq 1$ ($a_0,a_1,a_2,ldotsinmathbb{C}$), then $f_n|_{[0,1)}to f|_{[0,1)}$ uniformly on compact sets as $ntoinfty$, where $$f_n(x):=sum_{k=0}^n,a_kx^ktext{ for each }xinmathbb{C}text{ and }ninmathbb{Z}_{>0},.$$
This provides a justification for swapping the infinite sum and the integral, that is,
$$int_0^1,f(x),text{d}x=int_0^1,sum_{k=0}^infty,a_kx^k,text{d}x=sum_{k=0}^infty,int_0^1,a_kx^k,text{d}x=sum_{k=0}^infty,frac{a_{k}}{k+1},.$$
In particular, the power series
$$g(x):=sum_{k=0}^infty,chi(k+1),x^k$$
has radius of convergence $dfrac{1}{limsuplimits_{ktoinfty},sqrt[k]{big|chi(k+1)big|}}=1$. Therefore, you can swap the integral and the infinite sum to obtain
$$int_0^1,g(x),text{d}x=int_0^1,sum_{k=0}^infty,chi(k+1),x^k,text{d}x=sum_{k=0}^infty,frac{chi(k+1)}{k+1}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
Note that $x^4,g(x)=g(x)-1+x^2$, so $$g(x)=frac{1-x^2}{1-x^4}=frac{1}{1+x^2}text{ for all }xinmathbb{C}text{ such that }|x|<1,.$$
That is,
$$sum_{k=1}^infty,frac{chi(k)}{k}=int_0^1,frac{1}{1+x^2},text{d}x=arctan(x)big|_{x=0}^{x=1}=frac{pi}{4},.$$
Alternatively, note that
$$chi(k)=frac{text{i}^k-(-text{i})^k}{2text{i}}text{ for each }k=0,1,2,ldots,,$$
where $text{i}$ is the imaginary unit $sqrt{-1}$. From the Taylor series of the principal branch of the natural logarithm function $$ln(1+z)=sum_{k=1}^infty,frac{(-1)^{k-1}}{k},z^k,,$$ we note that the series above converges for $z=pm text{i}$, yielding
$$frac{1}{2},ln(2)+text{i}frac{pi}{4}=ln(1+text{i})=-sum_{k=1}^infty,frac{(-text{i})^k}{k}$$
and
$$frac{1}{2},ln(2)-text{i}frac{pi}{4}=ln(1-text{i})=-sum_{k=1}^infty,frac{text{i}^k}{k},.$$
Subtracting the two equations above and dividing the result by $2text{i}$ yields
$$frac{pi}{4}=sum_{k=1}^infty,frac{text{i}^k-(-text{i})^k}{2text{i},k}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
|
show 9 more comments
up vote
5
down vote
If you have a power series
$$f(x):=sum_{k=0}^infty,a_kx^k$$
with radius of convergence $rgeq 1$ ($a_0,a_1,a_2,ldotsinmathbb{C}$), then $f_n|_{[0,1)}to f|_{[0,1)}$ uniformly on compact sets as $ntoinfty$, where $$f_n(x):=sum_{k=0}^n,a_kx^ktext{ for each }xinmathbb{C}text{ and }ninmathbb{Z}_{>0},.$$
This provides a justification for swapping the infinite sum and the integral, that is,
$$int_0^1,f(x),text{d}x=int_0^1,sum_{k=0}^infty,a_kx^k,text{d}x=sum_{k=0}^infty,int_0^1,a_kx^k,text{d}x=sum_{k=0}^infty,frac{a_{k}}{k+1},.$$
In particular, the power series
$$g(x):=sum_{k=0}^infty,chi(k+1),x^k$$
has radius of convergence $dfrac{1}{limsuplimits_{ktoinfty},sqrt[k]{big|chi(k+1)big|}}=1$. Therefore, you can swap the integral and the infinite sum to obtain
$$int_0^1,g(x),text{d}x=int_0^1,sum_{k=0}^infty,chi(k+1),x^k,text{d}x=sum_{k=0}^infty,frac{chi(k+1)}{k+1}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
Note that $x^4,g(x)=g(x)-1+x^2$, so $$g(x)=frac{1-x^2}{1-x^4}=frac{1}{1+x^2}text{ for all }xinmathbb{C}text{ such that }|x|<1,.$$
That is,
$$sum_{k=1}^infty,frac{chi(k)}{k}=int_0^1,frac{1}{1+x^2},text{d}x=arctan(x)big|_{x=0}^{x=1}=frac{pi}{4},.$$
Alternatively, note that
$$chi(k)=frac{text{i}^k-(-text{i})^k}{2text{i}}text{ for each }k=0,1,2,ldots,,$$
where $text{i}$ is the imaginary unit $sqrt{-1}$. From the Taylor series of the principal branch of the natural logarithm function $$ln(1+z)=sum_{k=1}^infty,frac{(-1)^{k-1}}{k},z^k,,$$ we note that the series above converges for $z=pm text{i}$, yielding
$$frac{1}{2},ln(2)+text{i}frac{pi}{4}=ln(1+text{i})=-sum_{k=1}^infty,frac{(-text{i})^k}{k}$$
and
$$frac{1}{2},ln(2)-text{i}frac{pi}{4}=ln(1-text{i})=-sum_{k=1}^infty,frac{text{i}^k}{k},.$$
Subtracting the two equations above and dividing the result by $2text{i}$ yields
$$frac{pi}{4}=sum_{k=1}^infty,frac{text{i}^k-(-text{i})^k}{2text{i},k}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
|
show 9 more comments
up vote
5
down vote
up vote
5
down vote
If you have a power series
$$f(x):=sum_{k=0}^infty,a_kx^k$$
with radius of convergence $rgeq 1$ ($a_0,a_1,a_2,ldotsinmathbb{C}$), then $f_n|_{[0,1)}to f|_{[0,1)}$ uniformly on compact sets as $ntoinfty$, where $$f_n(x):=sum_{k=0}^n,a_kx^ktext{ for each }xinmathbb{C}text{ and }ninmathbb{Z}_{>0},.$$
This provides a justification for swapping the infinite sum and the integral, that is,
$$int_0^1,f(x),text{d}x=int_0^1,sum_{k=0}^infty,a_kx^k,text{d}x=sum_{k=0}^infty,int_0^1,a_kx^k,text{d}x=sum_{k=0}^infty,frac{a_{k}}{k+1},.$$
In particular, the power series
$$g(x):=sum_{k=0}^infty,chi(k+1),x^k$$
has radius of convergence $dfrac{1}{limsuplimits_{ktoinfty},sqrt[k]{big|chi(k+1)big|}}=1$. Therefore, you can swap the integral and the infinite sum to obtain
$$int_0^1,g(x),text{d}x=int_0^1,sum_{k=0}^infty,chi(k+1),x^k,text{d}x=sum_{k=0}^infty,frac{chi(k+1)}{k+1}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
Note that $x^4,g(x)=g(x)-1+x^2$, so $$g(x)=frac{1-x^2}{1-x^4}=frac{1}{1+x^2}text{ for all }xinmathbb{C}text{ such that }|x|<1,.$$
That is,
$$sum_{k=1}^infty,frac{chi(k)}{k}=int_0^1,frac{1}{1+x^2},text{d}x=arctan(x)big|_{x=0}^{x=1}=frac{pi}{4},.$$
Alternatively, note that
$$chi(k)=frac{text{i}^k-(-text{i})^k}{2text{i}}text{ for each }k=0,1,2,ldots,,$$
where $text{i}$ is the imaginary unit $sqrt{-1}$. From the Taylor series of the principal branch of the natural logarithm function $$ln(1+z)=sum_{k=1}^infty,frac{(-1)^{k-1}}{k},z^k,,$$ we note that the series above converges for $z=pm text{i}$, yielding
$$frac{1}{2},ln(2)+text{i}frac{pi}{4}=ln(1+text{i})=-sum_{k=1}^infty,frac{(-text{i})^k}{k}$$
and
$$frac{1}{2},ln(2)-text{i}frac{pi}{4}=ln(1-text{i})=-sum_{k=1}^infty,frac{text{i}^k}{k},.$$
Subtracting the two equations above and dividing the result by $2text{i}$ yields
$$frac{pi}{4}=sum_{k=1}^infty,frac{text{i}^k-(-text{i})^k}{2text{i},k}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
If you have a power series
$$f(x):=sum_{k=0}^infty,a_kx^k$$
with radius of convergence $rgeq 1$ ($a_0,a_1,a_2,ldotsinmathbb{C}$), then $f_n|_{[0,1)}to f|_{[0,1)}$ uniformly on compact sets as $ntoinfty$, where $$f_n(x):=sum_{k=0}^n,a_kx^ktext{ for each }xinmathbb{C}text{ and }ninmathbb{Z}_{>0},.$$
This provides a justification for swapping the infinite sum and the integral, that is,
$$int_0^1,f(x),text{d}x=int_0^1,sum_{k=0}^infty,a_kx^k,text{d}x=sum_{k=0}^infty,int_0^1,a_kx^k,text{d}x=sum_{k=0}^infty,frac{a_{k}}{k+1},.$$
In particular, the power series
$$g(x):=sum_{k=0}^infty,chi(k+1),x^k$$
has radius of convergence $dfrac{1}{limsuplimits_{ktoinfty},sqrt[k]{big|chi(k+1)big|}}=1$. Therefore, you can swap the integral and the infinite sum to obtain
$$int_0^1,g(x),text{d}x=int_0^1,sum_{k=0}^infty,chi(k+1),x^k,text{d}x=sum_{k=0}^infty,frac{chi(k+1)}{k+1}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
Note that $x^4,g(x)=g(x)-1+x^2$, so $$g(x)=frac{1-x^2}{1-x^4}=frac{1}{1+x^2}text{ for all }xinmathbb{C}text{ such that }|x|<1,.$$
That is,
$$sum_{k=1}^infty,frac{chi(k)}{k}=int_0^1,frac{1}{1+x^2},text{d}x=arctan(x)big|_{x=0}^{x=1}=frac{pi}{4},.$$
Alternatively, note that
$$chi(k)=frac{text{i}^k-(-text{i})^k}{2text{i}}text{ for each }k=0,1,2,ldots,,$$
where $text{i}$ is the imaginary unit $sqrt{-1}$. From the Taylor series of the principal branch of the natural logarithm function $$ln(1+z)=sum_{k=1}^infty,frac{(-1)^{k-1}}{k},z^k,,$$ we note that the series above converges for $z=pm text{i}$, yielding
$$frac{1}{2},ln(2)+text{i}frac{pi}{4}=ln(1+text{i})=-sum_{k=1}^infty,frac{(-text{i})^k}{k}$$
and
$$frac{1}{2},ln(2)-text{i}frac{pi}{4}=ln(1-text{i})=-sum_{k=1}^infty,frac{text{i}^k}{k},.$$
Subtracting the two equations above and dividing the result by $2text{i}$ yields
$$frac{pi}{4}=sum_{k=1}^infty,frac{text{i}^k-(-text{i})^k}{2text{i},k}=sum_{k=1}^infty,frac{chi(k)}{k},.$$
edited Nov 20 at 23:32
answered Nov 20 at 22:44
Batominovski
31.8k23190
31.8k23190
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
|
show 9 more comments
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
For all this to work, you need to show that $g(1)$ converges and that seems to be the crux of the matter.
– Matematleta
Nov 21 at 0:44
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
@Matematleta No, I don't need to know that. The integral can be viewed as the integral on the interval $[0,1)$. The important thing is that $g(x)$ converges absolutely for $xin[0,1)$, and that the partial sums of $g(x)$ converge to $g(x)$ uniformly on compact sets. And in fact, $g(1)$ diverges.
– Batominovski
Nov 21 at 0:48
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
Right. So, as it stands, $int_0^1,g(x),text{d}x$ does not make sense. If you want to use the DCT, what is your dominating function?
– Matematleta
Nov 21 at 0:54
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
@Matematleta I wasn't using the Dominated Convergence Theorem. It is a well known result that if $f_nto f$ uniformly on compact sets (i.e., $f_n$ compactly converges to $f$) and $Esubset mathbb{R}$ is a measurable set of finite measure, then $int_E,f_nto int_E,f$. But sure, if you want to use that theorem, then you can take the dominating function to be $1$. For all $xin[0,1)$, $big|g(x)big|leq 1$.
– Batominovski
Nov 21 at 0:59
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
Got it! Thanks. I did not use the correct def of $chi.$ As for the well-known result, yes I know it, and my question is how does it apply since the partial sums of $g$ do not even converge pointwise on the compact set $[0,1]$,never mind uniformly. (Convergence fails at $x=1.$)
– Matematleta
Nov 21 at 1:18
|
show 9 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006984%2ftransfer-between-integrals-and-infinite-sums%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown