Xjyuk

What is the limiting factor for a CAN bus to exceed 1Mbps bandwidth?

Is thermodynamics only applicable to systems in equilibrium?

Historically, were women trained for obligatory wars? Or did they serve some other military function?

Why is this a valid proof for the harmonic series?

What happened to Rhaegal?

Pressure to defend the relevance of one's area of mathematics

Power LED from 3.3V Power Pin without Resistor

Packet sniffer for MacOS Mojave and above

Would "lab meat" be able to feed a much larger global population

You look catfish vs You look like a catfish?

Can a cyclic Amine form an Amide?

If Melisandre foresaw another character closing blue eyes, why did she follow Stannis?

Is Cola "probably the best-known" Latin word in the world? If not, which might it be?

Short story about people living in a different time streams

If 1. e4 c6 is considered as a sound defense for black, why is 1. c3 so rare?

Airbnb - host wants to reduce rooms, can we get refund?

Is it always OK to ask for a copy of the lecturer's slides?

Unidentified items in bicycle tube repair kit

Is it the same airport YUL and YMQ in Canada?

Which skill should be used for secret doors or traps: Perception or Investigation?

Was the ancestor of SCSI, the SASI protocol, nothing more than a draft?

How do you center multiple equations that have multiple steps?

Disabling Resource Governor in SQL Server

What word means "to make something obsolete"?

Why is this a valid proof for the harmonic series?

Why do we say the harmonic series is divergent?improper integrals: Need help pleaseWhat's the use of this theorem about series?Necessary condition for the convergence of an improper integral.How to show that $intlimits_1^infty frac1xdx$ diverges(without using the harmonic series)?Proof that the improper integral $frac1(x^2-1)$ from $0$ to $infty$ is divergent.A property of the _digamma_ functionproof of integral divergingValid Series Convergence Proof?Is there an intuitive reason as to why the harmonic series is divergent?

1

1

$begingroup$

The other day, I encountered the Harmonic series which I though is an interesting concept. There were many ways to prove that it's divergent and the one I really liked was rather simple but did the job nevertheless. But a proof used integrals and proved that it diverges. But when using integrals, aren't we also calculating fractions with a decimal denominator? I'm not really familiar with calculus and usually only do number theory but doesn't integral find the area under a continuous curve?
Thanks in advance for any help!
EDIT Here's the integral proof:
$$int_1^infty 1 / x ,dx= infty$$

calculus integration divergent-series

share|cite|improve this question

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  It would really help us if you included the proof in question...
  $endgroup$
  – Eevee Trainer
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @EeveeTrainer my question isn't about a proof for the Harmonic series. I know it diverges using comparison test and fully understand it. But why does the integral work? Here's the comparison test: en.wikipedia.org/wiki/…. EDIT I just realized you meant the integral proof! I'm so sorry, I'll add it.
  $endgroup$
  – Borna Ghahnoosh
  4 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your textbook probably has the "integral test" ... look in the index for that.
  $endgroup$
  – GEdgar
  3 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Because the function is decreasing so for example on $[1,2]$, $1 ge frac1x$, on $[2,3]$, $frac12 ge frac1x$ etc; integrating and summing on $n$ we get the result
  $endgroup$
  – Conrad
  3 hours ago
  
  

  
  
  
  

add a comment | 

1

1

$begingroup$

The other day, I encountered the Harmonic series which I though is an interesting concept. There were many ways to prove that it's divergent and the one I really liked was rather simple but did the job nevertheless. But a proof used integrals and proved that it diverges. But when using integrals, aren't we also calculating fractions with a decimal denominator? I'm not really familiar with calculus and usually only do number theory but doesn't integral find the area under a continuous curve?
Thanks in advance for any help!
EDIT Here's the integral proof:
$$int_1^infty 1 / x ,dx= infty$$

calculus integration divergent-series

share|cite|improve this question

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  It would really help us if you included the proof in question...
  $endgroup$
  – Eevee Trainer
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @EeveeTrainer my question isn't about a proof for the Harmonic series. I know it diverges using comparison test and fully understand it. But why does the integral work? Here's the comparison test: en.wikipedia.org/wiki/…. EDIT I just realized you meant the integral proof! I'm so sorry, I'll add it.
  $endgroup$
  – Borna Ghahnoosh
  4 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your textbook probably has the "integral test" ... look in the index for that.
  $endgroup$
  – GEdgar
  3 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Because the function is decreasing so for example on $[1,2]$, $1 ge frac1x$, on $[2,3]$, $frac12 ge frac1x$ etc; integrating and summing on $n$ we get the result
  $endgroup$
  – Conrad
  3 hours ago
  
  

  
  
  
  

add a comment | 

$begingroup$

The other day, I encountered the Harmonic series which I though is an interesting concept. There were many ways to prove that it's divergent and the one I really liked was rather simple but did the job nevertheless. But a proof used integrals and proved that it diverges. But when using integrals, aren't we also calculating fractions with a decimal denominator? I'm not really familiar with calculus and usually only do number theory but doesn't integral find the area under a continuous curve?
Thanks in advance for any help!
EDIT Here's the integral proof:
$$int_1^infty 1 / x ,dx= infty$$

calculus integration divergent-series

share|cite|improve this question

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

$endgroup$

share|cite|improve this question

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

share|cite|improve this question

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

edited 3 hours ago

Michael Rybkin

4,9441524

edited 3 hours ago

Michael Rybkin

4,9441524

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

asked 4 hours ago

Borna GhahnooshBorna Ghahnoosh

83

2 Answers
2

active

oldest

votes

3

$begingroup$

Consider the following summation:

$$
A=1cdot 1+frac12cdot1+frac13cdot1+frac14cdot1+...
$$

That's a sum of an infinite number of rectangles of height $frac1n$, where $ninmathbbN$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ is clearly less than $A$ and lies totally within $A$ (see the picture below). However, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ doesn't add up to a finite number. It goes to infinity. What should be happening with a piece of area that's even larger than that? Obviously, it must also be infinite. Therefore, the harmonic series diverges.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

$endgroup$

add a comment | 

3

$begingroup$

It works using a simple inequality. If $f(x) leq M$ for $x in [a,b]$, then $int_a^b f(x),dx leq M(b-a)$. This is fairly easy to prove:

$$int_a^b f(x),dx leq int_a^b M,dx = M(b-a).$$

Notice that $1/x < 1/n$ on the interval $[n,n+1]$. Then,

$$infty = int_1^infty frac1xdx = sum_k=1^infty int_k^k+1 frac1x,dx leq sum_k=1^infty int_k^k+1frac1k,dx = sum_k=1^infty frac1k.$$

share|cite|improve this answer

answered 3 hours ago

forgottenarrowforgottenarrow

32617

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  The theorem as you state it is valid only for finite sums. However, you use it for an infinite sum in your explanation. As I'm sure you're aware, this doesn't always follow.
  $endgroup$
  – Allawonder
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I was referring to the inequality; I thought I saw an interchange of $sum$ and $int,$ but now that I look closely, I see that I must have been dreaming, or something else was the case. You've simply added up infinitely many such inequalities -- nothing harmful in that at all. Whereupon, your well-earned upvote. It's a shame that OP got carried away by pictures, though.
  $endgroup$
  – Allawonder
  3 mins ago
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3207598%2fwhy-is-this-a-valid-proof-for-the-harmonic-series%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

3

$begingroup$

Consider the following summation:

$$
A=1cdot 1+frac12cdot1+frac13cdot1+frac14cdot1+...
$$

That's a sum of an infinite number of rectangles of height $frac1n$, where $ninmathbbN$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ is clearly less than $A$ and lies totally within $A$ (see the picture below). However, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ doesn't add up to a finite number. It goes to infinity. What should be happening with a piece of area that's even larger than that? Obviously, it must also be infinite. Therefore, the harmonic series diverges.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

$endgroup$

add a comment | 

3

$begingroup$

Consider the following summation:

$$
A=1cdot 1+frac12cdot1+frac13cdot1+frac14cdot1+...
$$

That's a sum of an infinite number of rectangles of height $frac1n$, where $ninmathbbN$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ is clearly less than $A$ and lies totally within $A$ (see the picture below). However, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ doesn't add up to a finite number. It goes to infinity. What should be happening with a piece of area that's even larger than that? Obviously, it must also be infinite. Therefore, the harmonic series diverges.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

$endgroup$

add a comment | 

$begingroup$

Consider the following summation:

$$
A=1cdot 1+frac12cdot1+frac13cdot1+frac14cdot1+...
$$

That's a sum of an infinite number of rectangles of height $frac1n$, where $ninmathbbN$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ is clearly less than $A$ and lies totally within $A$ (see the picture below). However, the area under the curve $f(x)=frac1x$ from $1$ to $infty$ doesn't add up to a finite number. It goes to infinity. What should be happening with a piece of area that's even larger than that? Obviously, it must also be infinite. Therefore, the harmonic series diverges.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

$endgroup$

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

answered 3 hours ago

Michael RybkinMichael Rybkin

4,9441524

3

$begingroup$

It works using a simple inequality. If $f(x) leq M$ for $x in [a,b]$, then $int_a^b f(x),dx leq M(b-a)$. This is fairly easy to prove:

$$int_a^b f(x),dx leq int_a^b M,dx = M(b-a).$$

Notice that $1/x < 1/n$ on the interval $[n,n+1]$. Then,

$$infty = int_1^infty frac1xdx = sum_k=1^infty int_k^k+1 frac1x,dx leq sum_k=1^infty int_k^k+1frac1k,dx = sum_k=1^infty frac1k.$$

share|cite|improve this answer

answered 3 hours ago

forgottenarrowforgottenarrow

32617

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  The theorem as you state it is valid only for finite sums. However, you use it for an infinite sum in your explanation. As I'm sure you're aware, this doesn't always follow.
  $endgroup$
  – Allawonder
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I was referring to the inequality; I thought I saw an interchange of $sum$ and $int,$ but now that I look closely, I see that I must have been dreaming, or something else was the case. You've simply added up infinitely many such inequalities -- nothing harmful in that at all. Whereupon, your well-earned upvote. It's a shame that OP got carried away by pictures, though.
  $endgroup$
  – Allawonder
  3 mins ago
  

  
  
  
  

add a comment | 

3

$begingroup$

It works using a simple inequality. If $f(x) leq M$ for $x in [a,b]$, then $int_a^b f(x),dx leq M(b-a)$. This is fairly easy to prove:

$$int_a^b f(x),dx leq int_a^b M,dx = M(b-a).$$

Notice that $1/x < 1/n$ on the interval $[n,n+1]$. Then,

$$infty = int_1^infty frac1xdx = sum_k=1^infty int_k^k+1 frac1x,dx leq sum_k=1^infty int_k^k+1frac1k,dx = sum_k=1^infty frac1k.$$

share|cite|improve this answer

answered 3 hours ago

forgottenarrowforgottenarrow

32617

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  The theorem as you state it is valid only for finite sums. However, you use it for an infinite sum in your explanation. As I'm sure you're aware, this doesn't always follow.
  $endgroup$
  – Allawonder
  3 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I was referring to the inequality; I thought I saw an interchange of $sum$ and $int,$ but now that I look closely, I see that I must have been dreaming, or something else was the case. You've simply added up infinitely many such inequalities -- nothing harmful in that at all. Whereupon, your well-earned upvote. It's a shame that OP got carried away by pictures, though.
  $endgroup$
  – Allawonder
  3 mins ago
  

  
  
  
  

add a comment | 

$begingroup$

It works using a simple inequality. If $f(x) leq M$ for $x in [a,b]$, then $int_a^b f(x),dx leq M(b-a)$. This is fairly easy to prove:

$$int_a^b f(x),dx leq int_a^b M,dx = M(b-a).$$

Notice that $1/x < 1/n$ on the interval $[n,n+1]$. Then,

$$infty = int_1^infty frac1xdx = sum_k=1^infty int_k^k+1 frac1x,dx leq sum_k=1^infty int_k^k+1frac1k,dx = sum_k=1^infty frac1k.$$

share|cite|improve this answer

answered 3 hours ago

forgottenarrowforgottenarrow

32617

$endgroup$

share|cite|improve this answer

answered 3 hours ago

forgottenarrowforgottenarrow

32617

answered 3 hours ago

forgottenarrowforgottenarrow

32617

answered 3 hours ago

forgottenarrowforgottenarrow

32617