• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 21:18
CEST 03:18
KST 10:18
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
[ASL19] Finals Recap: Standing Tall10HomeStory Cup 27 - Info & Preview18Classic wins Code S Season 2 (2025)16Code S RO4 & Finals Preview: herO, Rogue, Classic, GuMiho0TL Team Map Contest #5: Presented by Monster Energy6
Community News
Weekly Cups (June 30 - July 6): Classic Doubles2[BSL20] Non-Korean Championship 4x BSL + 4x China9Flash Announces Hiatus From ASL66Weekly Cups (June 23-29): Reynor in world title form?14FEL Cracov 2025 (July 27) - $8000 live event22
StarCraft 2
General
The GOAT ranking of GOAT rankings The SCII GOAT: A statistical Evaluation Weekly Cups (June 23-29): Reynor in world title form? Weekly Cups (June 30 - July 6): Classic Doubles Program: SC2 / XSplit / OBS Scene Switcher
Tourneys
RSL: Revival, a new crowdfunded tournament series FEL Cracov 2025 (July 27) - $8000 live event Sparkling Tuna Cup - Weekly Open Tournament WardiTV Mondays Korean Starcraft League Week 77
Strategy
How did i lose this ZvP, whats the proper response Simple Questions Simple Answers
Custom Maps
[UMS] Zillion Zerglings
External Content
Mutation # 481 Fear and Lava Mutation # 480 Moths to the Flame Mutation # 479 Worn Out Welcome Mutation # 478 Instant Karma
Brood War
General
BGH Auto Balance -> http://bghmmr.eu/ ASL20 Preliminary Maps [ASL19] Finals Recap: Standing Tall SC uni coach streams logging into betting site Flash Announces Hiatus From ASL
Tourneys
[BSL20] Non-Korean Championship 4x BSL + 4x China [BSL20] Grand Finals - Sunday 20:00 CET CSL Xiamen International Invitational The Casual Games of the Week Thread
Strategy
Simple Questions, Simple Answers I am doing this better than progamers do.
Other Games
General Games
Nintendo Switch Thread Stormgate/Frost Giant Megathread Path of Exile What do you want from future RTS games? Beyond All Reason
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Summer Games Done Quick 2025! Russo-Ukrainian War Thread Stop Killing Games - European Citizens Initiative Summer Games Done Quick 2024!
Fan Clubs
SKT1 Classic Fan Club! Maru Fan Club
Media & Entertainment
Anime Discussion Thread [Manga] One Piece [\m/] Heavy Metal Thread
Sports
Formula 1 Discussion 2024 - 2025 Football Thread NBA General Discussion TeamLiquid Health and Fitness Initiative For 2023 NHL Playoffs 2024
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
Culture Clash in Video Games…
TrAiDoS
from making sc maps to makin…
Husyelt
Blog #2
tankgirl
StarCraft improvement
iopq
Trip to the Zoo
micronesia
Customize Sidebar...

Website Feedback

Closed Threads



Active: 662 users

[math H] Convergence Test (Calculus level)

Blogs > evanthebouncy!
Post a Reply
evanthebouncy!
Profile Blog Joined June 2006
United States12796 Posts
Last Edited: 2009-02-20 11:41:18
February 20 2009 09:07 GMT
#1
Ah so it converges? I see. Thanks.

So I got a new tutor job(yay) and a student brought to me a question I cannot solve. I'd like to see how someone could do it though.

We want to test for convergence/divergence for

Integrate from 0 to 1 of function f(x)
where
f(x) = 1/[(1-x^4)^(1/3)]

So f(x) approaches infinity at x = 1, what we might want to do is to bound f(x) below with some other g(x), show that g(x) diverges, therefore f(x) also diverges. However I am unable to bound it with something easy enough to tell that it actually diverges...

The intuition is that the integration from 0 to 1 of f(x) diverges, because x^(4/3) < x if x is between 0 and 1, and online definite integrator tells me it diverges as well. But how do we bound it?

Any ideas?



Life is run, it is dance, it is fast, passionate and BAM!, you dance and sing and booze while you can for now is the time and time is mine. Smile and laugh when still can for now is the time and soon you die!
Nytefish
Profile Blog Joined December 2007
United Kingdom4282 Posts
February 20 2009 09:42 GMT
#2
Can you compare with 1/[(1-x^4)^(1/4)] and look at a substitution x^2=sin(u)?

I don't think it'll work, but I gotta go so no time to try it out

No I'm never serious.
Cpt Obvious
Profile Blog Joined November 2006
Germany3073 Posts
February 20 2009 09:44 GMT
#3
Well, the integral over f(x)=x doesn't diverge though, not even if you integrate from minus infinity to infinity.

What you might want to do is find a function like g(x) = 1/1-x, show that g(x) < f(x) for x between 0 and 1, and then be finished because g(x) obviously diverges. The "<" is important here, you want to find a minorant that diverges, not a majorant that diverges, because that wouldn't prove anything (What matters here is the limes for x->1, which is +infinity. If it were -infinity, you'd still have to find a diverging majorant).

Basically look through all basic fractal functions that diverge at x=1, find one that is always < f(x) in the interval and diverges, be finished.
Nobody ever reads signatures of people like me, do they?
datscilly
Profile Blog Joined November 2007
United States528 Posts
Last Edited: 2009-02-20 09:52:08
February 20 2009 09:46 GMT
#4
I think that the integral of (1-x^4)^(-1/3) from 0 to 1 does in fact converge. Using this integrator, http://integrals.wolfram.com/index.jsp , we have
x*Hypergeometric2F1[1/4, 1/3, 5/4, x^4] as the indefinite integral. Then looking up , http://en.wikipedia.org/wiki/Hypergeometric_series , we find that 2F1(a, b; c; 1) converges when c-a-b>0.

I also used the first definite integrator to come up on googling "definite integrator", but it gives the result "NaN", and I'm guessing it's wrong- it's not powerful enough for this integral.
evanthebouncy!
Profile Blog Joined June 2006
United States12796 Posts
Last Edited: 2009-02-20 11:42:16
February 20 2009 09:50 GMT
#5
On February 20 2009 18:46 datscilly wrote:
I think that the integral of (1-x^4)^(-1/3) from 0 to 1 does in fact converge. Using this integrator, http://integrals.wolfram.com/index.jsp , and then looking up , http://en.wikipedia.org/wiki/Hypergeometric_series , we get that 2F1(a, b; c; 1) converges when c-a-b>0.

I also used the first definite integrator to come up on googling "definite integrator", but it gives the result "NaN", and I'm guessing it's wrong- it's not powerful enough for this integral.


The result NaN means it diverges, and I doubt the student needs to know about hypergeometric_series considering she's having problems doing u_substitutions

Take it back. If it actually converges, we must bound it.
Life is run, it is dance, it is fast, passionate and BAM!, you dance and sing and booze while you can for now is the time and time is mine. Smile and laugh when still can for now is the time and soon you die!
evanthebouncy!
Profile Blog Joined June 2006
United States12796 Posts
February 20 2009 09:52 GMT
#6
On February 20 2009 18:44 Cpt Obvious wrote:
Well, the integral over f(x)=x doesn't diverge though, not even if you integrate from minus infinity to infinity.

What you might want to do is find a function like g(x) = 1/1-x, show that g(x) < f(x) for x between 0 and 1, and then be finished because g(x) obviously diverges. The "<" is important here, you want to find a minorant that diverges, not a majorant that diverges, because that wouldn't prove anything (What matters here is the limes for x->1, which is +infinity. If it were -infinity, you'd still have to find a diverging majorant).

Basically look through all basic fractal functions that diverge at x=1, find one that is always < f(x) in the interval and diverges, be finished.


Haha you are the obvious
Give me some actual basic factual functions to try out, don't just say find some because no crap I already know I need to find some. I already stated in my question, I need some basic factual functions, so you got any suggestions? :/
Life is run, it is dance, it is fast, passionate and BAM!, you dance and sing and booze while you can for now is the time and time is mine. Smile and laugh when still can for now is the time and soon you die!
datscilly
Profile Blog Joined November 2007
United States528 Posts
February 20 2009 10:20 GMT
#7
On February 20 2009 18:50 evanthebouncy! wrote:
Show nested quote +
On February 20 2009 18:46 datscilly wrote:
I think that the integral of (1-x^4)^(-1/3) from 0 to 1 does in fact converge. Using this integrator, http://integrals.wolfram.com/index.jsp , and then looking up , http://en.wikipedia.org/wiki/Hypergeometric_series , we get that 2F1(a, b; c; 1) converges when c-a-b>0.

I also used the first definite integrator to come up on googling "definite integrator", but it gives the result "NaN", and I'm guessing it's wrong- it's not powerful enough for this integral.


The result NaN means it diverges, and I doubt the student needs to know about hypergeometric_series considering she's having problems doing u_substitutions


I know that "NaN" means that it diverges. What I meant was that even though I acknowledge that the online definite integrator says it diverges, it actually converges. If the most powerful math software gives such a result, then it should be seriously considered, and it does say that it converges, with the caveat that the hypergeometric series has been understood correctly.

Both the TI-83 and Mathematica give the same answer: 1.16... for the TI and Gamma(5/4)*Gamma(2/3)/Gamma(11/12) = 1.16... for Mathematica. Is it possible that your student gave you was a challenge question of some sort?
fight_or_flight
Profile Blog Joined June 2007
United States3988 Posts
Last Edited: 2009-02-20 10:44:13
February 20 2009 10:31 GMT
#8
On February 20 2009 18:52 evanthebouncy! wrote:
Show nested quote +
On February 20 2009 18:44 Cpt Obvious wrote:
Well, the integral over f(x)=x doesn't diverge though, not even if you integrate from minus infinity to infinity.

What you might want to do is find a function like g(x) = 1/1-x, show that g(x) < f(x) for x between 0 and 1, and then be finished because g(x) obviously diverges. The "<" is important here, you want to find a minorant that diverges, not a majorant that diverges, because that wouldn't prove anything (What matters here is the limes for x->1, which is +infinity. If it were -infinity, you'd still have to find a diverging majorant).

Basically look through all basic fractal functions that diverge at x=1, find one that is always < f(x) in the interval and diverges, be finished.


Haha you are the obvious
Give me some actual basic factual functions to try out, don't just say find some because no crap I already know I need to find some. I already stated in my question, I need some basic factual functions, so you got any suggestions? :/

you mean fractal i think

yea same as poster below me

[image loading]
Do you really want chat rooms?
Wonders
Profile Blog Joined September 2006
Australia753 Posts
February 20 2009 10:33 GMT
#9
Are you sure it diverges? Because I typed this into Mathematica:

Integrate[1/((1 - x^4)^(1/3)), {x, 0, 1}] (this just evaluates the integral),

and got

(Gamma[2/3] Gamma[5/4])/Gamma[11/12].
Kentor *
Profile Blog Joined December 2007
United States5784 Posts
February 20 2009 10:45 GMT
#10
it converges. but how?????
silynxer
Profile Joined April 2006
Germany439 Posts
February 20 2009 11:22 GMT
#11
Kind of lame to start posting again after hiding in a hole for years (out of shame for being banned for extreme stupidity) in a thread like this but if I'm not mistaken I solved the problem and it would have been a waste of time not to post the solution:
Consider the Integral over (1/(1-x^2)^(1/2))=arcsin(x)=PI/2 for x=1 and obviously the convergent majorant you are searching for (due to limitations of notation a not entirely formal correct description but I'm sure you can do the rest yourself).
evanthebouncy!
Profile Blog Joined June 2006
United States12796 Posts
February 20 2009 11:41 GMT
#12
On February 20 2009 20:22 silynxer wrote:
Kind of lame to start posting again after hiding in a hole for years (out of shame for being banned for extreme stupidity) in a thread like this but if I'm not mistaken I solved the problem and it would have been a waste of time not to post the solution:
Consider the Integral over (1/(1-x^2)^(1/2))=arcsin(x)=PI/2 for x=1 and obviously the convergent majorant you are searching for (due to limitations of notation a not entirely formal correct description but I'm sure you can do the rest yourself).


Thanks.
Life is run, it is dance, it is fast, passionate and BAM!, you dance and sing and booze while you can for now is the time and time is mine. Smile and laugh when still can for now is the time and soon you die!
mikeymoo
Profile Blog Joined October 2006
Canada7170 Posts
February 20 2009 17:39 GMT
#13
You got your problem solved, so I'm gonna say gratz on new job!
o_x | Ow. | 1003 ESPORTS dollars | If you have any questions about bans please PM Kennigit
Please log in or register to reply.
Live Events Refresh
Replay Cast
00:00
Korean StarCraft League #77
CranKy Ducklings123
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft405
Livibee 118
RuFF_SC2 83
ProTech72
Vindicta 8
StarCraft: Brood War
MaD[AoV]38
Bale 24
Icarus 4
Dota 2
monkeys_forever396
NeuroSwarm120
League of Legends
JimRising 631
Counter-Strike
summit1g11014
tarik_tv4909
Super Smash Bros
Mew2King173
Other Games
shahzam847
Day[9].tv244
Maynarde152
WinterStarcraft85
ToD83
Organizations
Other Games
gamesdonequick48987
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 20 non-featured ]
StarCraft 2
• HeavenSC 93
• Berry_CruncH64
• davetesta23
• Mapu3
• LaughNgamezSOOP
• sooper7s
• AfreecaTV YouTube
• Migwel
• intothetv
• Kozan
• IndyKCrew
StarCraft: Brood War
• Pr0nogo 1
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• masondota2841
League of Legends
• Jankos1522
• Stunt236
Other Games
• Scarra1544
• Day9tv244
Upcoming Events
Sparkling Tuna Cup
8h 42m
WardiTV European League
14h 42m
MaNa vs sebesdes
Mixu vs Fjant
ByuN vs HeRoMaRinE
ShoWTimE vs goblin
Gerald vs Babymarine
Krystianer vs YoungYakov
PiGosaur Monday
22h 42m
The PondCast
1d 8h
WardiTV European League
1d 10h
Jumy vs NightPhoenix
Percival vs Nicoract
ArT vs HiGhDrA
MaxPax vs Harstem
Scarlett vs Shameless
SKillous vs uThermal
uThermal 2v2 Circuit
1d 14h
Replay Cast
1d 22h
RSL Revival
2 days
ByuN vs SHIN
Clem vs Reynor
Replay Cast
2 days
RSL Revival
3 days
Classic vs Cure
[ Show More ]
FEL
3 days
RSL Revival
4 days
FEL
4 days
FEL
4 days
CSO Cup
4 days
BSL20 Non-Korean Champi…
4 days
Bonyth vs QiaoGege
Dewalt vs Fengzi
Hawk vs Zhanhun
Sziky vs Mihu
Mihu vs QiaoGege
Zhanhun vs Sziky
Fengzi vs Hawk
Sparkling Tuna Cup
5 days
RSL Revival
5 days
FEL
5 days
BSL20 Non-Korean Champi…
5 days
Bonyth vs Dewalt
QiaoGege vs Dewalt
Hawk vs Bonyth
Sziky vs Fengzi
Mihu vs Zhanhun
QiaoGege vs Zhanhun
Fengzi vs Mihu
Liquipedia Results

Completed

BSL Season 20
HSC XXVII
Heroes 10 EU

Ongoing

JPL Season 2
BSL 2v2 Season 3
Acropolis #3
KCM Race Survival 2025 Season 2
CSL 17: 2025 SUMMER
Copa Latinoamericana 4
Jiahua Invitational
Championship of Russia 2025
RSL Revival: Season 1
Murky Cup #2
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025
PGL Astana 2025
Asian Champions League '25
BLAST Rivals Spring 2025
MESA Nomadic Masters
CCT Season 2 Global Finals
IEM Melbourne 2025

Upcoming

2025 ACS Season 2: Qualifier
CSLPRO Last Chance 2025
CSL Xiamen Invitational
2025 ACS Season 2
CSLPRO Chat StarLAN 3
K-Championship
uThermal 2v2 Main Event
SEL Season 2 Championship
FEL Cracov 2025
Esports World Cup 2025
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.