Mdthbs

Write to EXCEL from SQL DB using VBA script

If Earth is tilted, why is Polaris always above the same spot?

Can I use 1000v rectifier diodes instead of 600v rectifier diodes?

Transfer over $10k

Junior developer struggles: how to communicate with management?

How do I tell my manager that his code review comment is wrong?

Power LED from 3.3V Power Pin without Resistor

Does hiding behind 5-ft-wide cover give full cover?

Does the Darkness spell dispel the Color Spray and Flaming Sphere spells?

Why was Germany not as successful as other Europeans in establishing overseas colonies?

How to reply this mail from potential PhD professor?

What is the most remote airport from the center of the city it supposedly serves?

How to implement float hashing with approximate equality

If an enemy is just below a 10-foot-high ceiling, are they in melee range of a creature on the ground?

Save terminal output to a txt file

How can I close a gap between my fence and my neighbor's that's on his side of the property line?

Can commander tax be proliferated?

How did Arya get back her dagger from Sansa?

Stark VS Thanos

Short story about people living in a different time streams

How to scale a verbatim environment on a minipage?

CRT Oscilloscope - part of the plot is missing

What are the spoon bit of a spoon and fork bit of a fork called?

Is thermodynamics only applicable to systems in equilibrium?

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} frac{1}{x}dx$ diverges(without using the harmonic series)?Proof that the improper integral $frac{1}{(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
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Because the function is decreasing so for example on $[1,2]$, $1 ge frac{1}{x}$, on $[2,3]$, $frac{1}{2} ge frac{1}{x}$ etc; integrating and summing on $n$ we get the result
  $endgroup$
  – Conrad
  4 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
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Because the function is decreasing so for example on $[1,2]$, $1 ge frac{1}{x}$, on $[2,3]$, $frac{1}{2} ge frac{1}{x}$ etc; integrating and summing on $n$ we get the result
  $endgroup$
  – Conrad
  4 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 $ninmathbb{N}$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac{1}{x}$ 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)=frac{1}{x}$ 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 frac{1}{x}dx = sum_{k=1}^infty int_k^{k+1} frac{1}{x},dx leq sum_{k=1}^infty int_k^{k+1}frac{1}{k},dx = sum_{k=1}^infty frac{1}{k}.$$

share|cite|improve this answer

answered 4 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
  4 hours ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  48 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
  32 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, that's a good thing to look out for and an easy mistake to make. Thanks!
  $endgroup$
  – forgottenarrow
  26 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 $ninmathbb{N}$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac{1}{x}$ 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)=frac{1}{x}$ 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 $ninmathbb{N}$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac{1}{x}$ 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)=frac{1}{x}$ 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 $ninmathbb{N}$, and width 1. Do you agree that's nothing more than the harmonic series? Moreover, the area under the curve $f(x)=frac{1}{x}$ 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)=frac{1}{x}$ 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 frac{1}{x}dx = sum_{k=1}^infty int_k^{k+1} frac{1}{x},dx leq sum_{k=1}^infty int_k^{k+1}frac{1}{k},dx = sum_{k=1}^infty frac{1}{k}.$$

share|cite|improve this answer

answered 4 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
  4 hours ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  48 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
  32 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, that's a good thing to look out for and an easy mistake to make. Thanks!
  $endgroup$
  – forgottenarrow
  26 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 frac{1}{x}dx = sum_{k=1}^infty int_k^{k+1} frac{1}{x},dx leq sum_{k=1}^infty int_k^{k+1}frac{1}{k},dx = sum_{k=1}^infty frac{1}{k}.$$

share|cite|improve this answer

answered 4 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
  4 hours ago
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Which theorem do you mean specifically?
  $endgroup$
  – forgottenarrow
  48 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
  32 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, that's a good thing to look out for and an easy mistake to make. Thanks!
  $endgroup$
  – forgottenarrow
  26 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 frac{1}{x}dx = sum_{k=1}^infty int_k^{k+1} frac{1}{x},dx leq sum_{k=1}^infty int_k^{k+1}frac{1}{k},dx = sum_{k=1}^infty frac{1}{k}.$$

share|cite|improve this answer

answered 4 hours ago

forgottenarrowforgottenarrow

32617

$endgroup$

share|cite|improve this answer

answered 4 hours ago

forgottenarrowforgottenarrow

32617

answered 4 hours ago

forgottenarrowforgottenarrow

32617

answered 4 hours ago

forgottenarrowforgottenarrow

32617