Knowledge

Talk:Telescoping series

Source πŸ“

84: 74: 53: 22: 1360: 1016: 1393:
As long as the starting point for the index is finite and the domain of the index is countable (and – for simplivity – non-empty), should not all partial sums have a finite number of terms after cancellation? Moreover, after commutation, regrouping, and some number of evaluations, the number of terms
1090: 746: 1384:
From the pitfall section: "is not correct because this regrouping of terms is invalid unless the individual terms converge to 0;" The alternating harmonic series has individual terms which converge to zero, but regrouping of terms is not permissable there. Shouldn't this say that the partial sum of
180:
While I agree that the title is misleading, a quick websearch notes that many math educational sites like Khan Academy and Brilliant refer to them as Telescoping Series. However, the esteemed Wolfram Alpha refers to them as Telescoping Sums. For this reason, I will add the terminology to the page.
539:
It is easy to create an example where the terms and the grouped terms tend to zero which does not converge. Create a series as follows: 1 - 1 + 1/2 + 1/2 - 1/2 - 1/2, + 1/4 + 1/4 + 1/4 + 1/4 - 1/4 - 1/4 - 1/4 + ... where there are n terms 1/2^n followed by n terms -1/2^n. It is easy to group this
1483:
I have changed the opening paragraph. The salient feature of a telescoping series is that the general term is presented in a way such that consecutive terms cancel---again, it is about the *presentation* of the series, not the series itself. Any series *can* be rewritten as a telescoping sum.
580:
I would take "telescoping" to mean that in finite partial sums every term cancels except the first and the last, or the last two, or some bounded number of terms. ("Bounded" means never exceeding some number that does not grow as the number of terms being summed grows.) The article isn't very
272:
and others. The questions for this article are, what distinguishes "telescoping", when and where did the term originate, and how is it used today. With respect to current use, Gosper and others have made significant contributions to algorithms used in modern symbolic
596:
The restriction that terms have to be alternately positive and negative does avoid the problem I mentioned. Alternatively, one can have an arbitrary series and group terms together by sign (resulting in a collapsed series whose terms alternate in sign).
560:
But your counterexample is not a telescoping series, as the terms don't go positive, negative, positive, negative... If you arrange them that way, you have 1 - 1 + 1/2 - 1/2 + 1/2 - 1/2 + 1/4 - 1/4 + ..., which is truly telescoping and certainly
1355:{\displaystyle \prod _{i=m}^{n}x_{i}={\frac {y_{m}}{y_{m-1}}}\cdot {\frac {y_{m+1}}{y_{m}}}\cdot {\frac {y_{m+2}}{y_{m+1}}}\cdot \,\,\cdots \,\,\cdot {\frac {y_{n-1}}{y_{n-2}}}\cdot {\frac {y_{n}}{y_{n-1}}}={\frac {y_{n}}{y_{m-1}}}.} 1011:{\displaystyle \prod _{i=m}^{n}x_{i}={\frac {y_{m}}{y_{m+1}}}\cdot {\frac {y_{m+1}}{y_{m+2}}}\cdot {\frac {y_{m+2}}{y_{m+3}}}\cdot \,\,\cdots \,\,\cdot {\frac {y_{n-1}}{y_{n}}}\cdot {\frac {y_{n}}{y_{n+1}}}={\frac {y_{m}}{y_{n+1}}}.} 440:
Is there a possibility of a proof that relates for telescoping series? By that I mean, is there a formula for finding out what the final value is when it converges? If anyone really wants to talk about it, you can discuss it
543:
A criterion that is adequate for grouping to be valid is that the absolute sum of the terms in each group tends to zero over the sequence of groups. This criterion is true for the valid example given.
250:
that the term has been found in a 1957 document on mathscinet. Someone is telling me that it's in a math dictionary published in 1949. More to follow when I get more information. My guess is the
536:
The pitfalls section is bad as it stands. The argument used for the valid sum could be used for the invalid example. It is necessary to use a convergence criterion that distinguises between them.
268:
And to be clear, I completely agree that series were being rearranged long before Gosper. One of the challenges of formalization was to understand what rearrangements were safe, as pursued by
1082: 738: 140: 387: 1451: 565:
converge to 0. So there is nothing wrong with the convergence criterion stated in the article, except that it only works for those series covered by the article. --
416: 1468:
What is more, a partial sum, by definition, only consists of a finite number of terms. So, I'm completely lost reading the first sentence of the article.
1519: 1411:
Oops, sometimes, it cannot be reduced to more than 2 terms. And, I suppose, it could be reduced to 0 terms, if all of them cancel somehow (easy example:
442: 130: 1514: 497: 106: 631: 456: 1491: 661: 207:
introduced the idea of telescoping. He is one of the pioneers of computer symbolic mathematics programs, having contributed to both
97: 58: 494:
I think it would be to include some practical applications of telescoping series in this article, but so far I have not found any.
1394:
can be reduced from the original N to any positive integer number of terms. I am not sure that this definition is really correct.
645:
I'm removing it as it doesn't make any sense whatsoever. Someone's inability to do maths is not a pitfall of telescoping series.
412: 509: 234:
What!!!??? How could he have introduced this idea if his life was so recent that he worked with electronic computers??
33: 1027: 683: 186: 635: 21: 1370: 586: 274: 182: 1495: 677:
I can't find any reliable reference to the term "telescoping product". It would be one of the following:
366: 657: 505: 278: 39: 83: 1487: 649: 627: 359:
I propose putting the second occurance first, then putting something like, "This is useful to prove
1414: 334:
for further details. I apologize if my previous brief remark confused or annoyed the historians! --
415:. I would appreciate it if nobody did any major edits to this article, but I welcome feedback at 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1454: 1398: 1366: 582: 522: 481: 350: 282: 259: 235: 171: 89: 73: 52: 1397:
I would aim more for "partial sums have a pattern of cancellation between terms" or something.
308:
The extraordinary generality of hypergeometric series and the power of these modern algorithms
540:
with each grouped term being zero, but the original series oscillates rather than converging.
360: 621:
Maybe there are indeed divergent examples of telescoping series. But this one is just wrong.
1473: 1458: 1402: 653: 602: 550: 470: 425: 395: 298: 269: 254:
originated between 1850 and 1910 -- but that's just a guess. Telescoping sums were used by
521:
I've added an application. I think others can be found by clicking on "what links here".
247: 167: 163: 311: 313: 162:
Not all telescoping sums are infinite series; some are finite. Should this be moved to
1508: 570: 501: 446: 309: 1469: 598: 546: 465: 420: 390: 212: 204: 102: 615:
So far there is NOTHING wrong with this statement: 0 = βˆ‘0 = βˆ‘(1 -1) = βˆ‘(-1 +1)
335: 223: 79: 1499: 1477: 1462: 1406: 1374: 665: 639: 606: 590: 574: 554: 525: 513: 484: 474: 449: 430: 400: 353: 338: 262: 238: 226: 190: 325: 566: 411:
I have found some stuff about this article, and I am rewriting it now at
480:
What the final value is, is certainly stated explicitly in the article.
166:? (For a nice example, see the section on probability distributions at 581:
precise about that. I'll think about how best to phrase a definition.
208: 624:
In my own opinion, the argument for a 'pitfall' here seems forced.
460: 255: 216: 293:. "Telescoping in the context of symbolic summation in Maple". 15: 349:"Example 1" is essentially the same as the earlier example. 281:. In this context the term "creative telescoping" is used. 459:
but they will probably tell you to do it yourself, using
315:
allows the discovery of new and valuable identities. See
1417: 1093: 1030: 749: 686: 389:
the sum tends to 1." Then removing that occurance.
369: 258:
in the 18th century, but I suspect not by that name.
101:, a collaborative effort to improve the coverage of 1385:the individal terms must be absolutely convergent? 1445: 1354: 1076: 1010: 732: 381: 618:But where did you get 1? ... = 1 +βˆ‘(-1 +1) =1? 1077:{\displaystyle x_{i}={\frac {y_{i}}{y_{i-1}}}} 733:{\displaystyle x_{i}={\frac {y_{i}}{y_{i+1}}}} 417:User_talk:x42bn6/Working On/Telescoping series 8: 345:Why use essentially the same example twice? 19: 1485: 47: 1422: 1416: 1335: 1325: 1319: 1302: 1292: 1286: 1269: 1253: 1247: 1216: 1200: 1194: 1183: 1167: 1161: 1144: 1134: 1128: 1119: 1109: 1098: 1092: 1060: 1050: 1044: 1035: 1029: 991: 981: 975: 958: 948: 942: 931: 915: 909: 878: 862: 856: 839: 823: 817: 800: 790: 784: 775: 765: 754: 748: 716: 706: 700: 691: 685: 413:User:x42bn6/Working On/Telescoping series 368: 1242: 1240: 1235: 1233: 904: 902: 897: 895: 49: 222:, which might be the place to look. -- 7: 457:Knowledge:Reference Desk/Mathematics 382:{\displaystyle N\rightarrow \infty } 95:This article is within the scope of 220:A calculus of Series Rearrangements 38:It is of interest to the following 376: 14: 1520:Low-priority mathematics articles 158:Change Title to Telescoping Sums? 115:Knowledge:WikiProject Mathematics 1515:Start-Class mathematics articles 118:Template:WikiProject Mathematics 82: 72: 51: 20: 295:Journal of Symbolic Computation 135:This article has been rated as 1446:{\displaystyle \sum _{n}(n-n)} 1440: 1428: 373: 191:21:06, 19 September 2019 (UTC) 1: 666:14:26, 5 September 2016 (UTC) 640:04:59, 17 December 2013 (UTC) 591:02:26, 17 November 2008 (UTC) 575:01:12, 17 November 2008 (UTC) 526:20:50, 4 September 2007 (UTC) 485:21:55, 5 September 2007 (UTC) 320:Petkovsek, Wilf, Zeilburger. 109:and see a list of open tasks. 1463:01:51, 30 January 2021 (UTC) 1407:01:48, 30 January 2021 (UTC) 607:09:15, 3 December 2008 (UTC) 555:22:13, 8 November 2008 (UTC) 431:13:24, 9 December 2005 (UTC) 401:07:27, 4 December 2005 (UTC) 354:22:33, 3 December 2005 (UTC) 339:22:08, 6 December 2005 (UTC) 277:, especially with regard to 263:22:46, 5 December 2005 (UTC) 239:22:28, 3 December 2005 (UTC) 227:01:52, 3 December 2005 (UTC) 215:, for example. His web page 475:02:11, 15 August 2006 (UTC) 450:13:10, 14 August 2006 (UTC) 1536: 1500:22:18, 12 April 2023 (UTC) 1478:21:58, 16 March 2021 (UTC) 514:16:08, 14 March 2007 (UTC) 324:. (Book available online. 297:, v38 (2004), 1303–1326. ( 1375:00:27, 14 June 2012 (UTC) 134: 67: 46: 275:computer algebra systems 203:My recollection is that 174:01:07, 9 Feb 2005 (UTC) 141:project's priority scale 98:WikiProject Mathematics 1447: 1356: 1114: 1078: 1012: 770: 734: 383: 246:OK, it is asserted at 28:This article is rated 1448: 1357: 1094: 1079: 1013: 750: 735: 500:comment was added by 384: 279:hypergeometric series 1415: 1091: 1028: 747: 684: 455:You may want to ask 367: 121:mathematics articles 673:Telescoping product 284:A helpful paper is 1443: 1427: 1352: 1243: 1241: 1236: 1234: 1074: 1008: 905: 903: 898: 896: 730: 379: 90:Mathematics portal 34:content assessment 1502: 1490:comment added by 1418: 1347: 1314: 1281: 1228: 1189: 1156: 1072: 1003: 970: 937: 890: 851: 812: 728: 669: 652:comment added by 630:comment added by 517: 155: 154: 151: 150: 147: 146: 1527: 1452: 1450: 1449: 1444: 1426: 1361: 1359: 1358: 1353: 1348: 1346: 1345: 1330: 1329: 1320: 1315: 1313: 1312: 1297: 1296: 1287: 1282: 1280: 1279: 1264: 1263: 1248: 1229: 1227: 1226: 1211: 1210: 1195: 1190: 1188: 1187: 1178: 1177: 1162: 1157: 1155: 1154: 1139: 1138: 1129: 1124: 1123: 1113: 1108: 1083: 1081: 1080: 1075: 1073: 1071: 1070: 1055: 1054: 1045: 1040: 1039: 1017: 1015: 1014: 1009: 1004: 1002: 1001: 986: 985: 976: 971: 969: 968: 953: 952: 943: 938: 936: 935: 926: 925: 910: 891: 889: 888: 873: 872: 857: 852: 850: 849: 834: 833: 818: 813: 811: 810: 795: 794: 785: 780: 779: 769: 764: 739: 737: 736: 731: 729: 727: 726: 711: 710: 701: 696: 695: 668: 646: 642: 495: 473: 468: 428: 423: 398: 393: 388: 386: 385: 380: 270:Karl Weierstrass 183:Fantasticawesome 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 1535: 1534: 1530: 1529: 1528: 1526: 1525: 1524: 1505: 1504: 1413: 1412: 1391: 1382: 1331: 1321: 1298: 1288: 1265: 1249: 1212: 1196: 1179: 1163: 1140: 1130: 1115: 1089: 1088: 1056: 1046: 1031: 1026: 1025: 987: 977: 954: 944: 927: 911: 874: 858: 835: 819: 796: 786: 771: 745: 744: 712: 702: 687: 682: 681: 675: 647: 632:180.194.238.164 625: 534: 496:β€”The preceding 492: 466: 464: 438: 426: 421: 409: 396: 391: 365: 364: 347: 248:User talk:KSmrq 201: 168:order statistic 164:telescoping sum 160: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 1533: 1531: 1523: 1522: 1517: 1507: 1506: 1481: 1480: 1442: 1439: 1436: 1433: 1430: 1425: 1421: 1390: 1387: 1381: 1378: 1363: 1362: 1351: 1344: 1341: 1338: 1334: 1328: 1324: 1318: 1311: 1308: 1305: 1301: 1295: 1291: 1285: 1278: 1275: 1272: 1268: 1262: 1259: 1256: 1252: 1246: 1239: 1232: 1225: 1222: 1219: 1215: 1209: 1206: 1203: 1199: 1193: 1186: 1182: 1176: 1173: 1170: 1166: 1160: 1153: 1150: 1147: 1143: 1137: 1133: 1127: 1122: 1118: 1112: 1107: 1104: 1101: 1097: 1085: 1084: 1069: 1066: 1063: 1059: 1053: 1049: 1043: 1038: 1034: 1019: 1018: 1007: 1000: 997: 994: 990: 984: 980: 974: 967: 964: 961: 957: 951: 947: 941: 934: 930: 924: 921: 918: 914: 908: 901: 894: 887: 884: 881: 877: 871: 868: 865: 861: 855: 848: 845: 842: 838: 832: 829: 826: 822: 816: 809: 806: 803: 799: 793: 789: 783: 778: 774: 768: 763: 760: 757: 753: 741: 740: 725: 722: 719: 715: 709: 705: 699: 694: 690: 674: 671: 612: 610: 609: 578: 577: 533: 530: 529: 528: 491: 488: 478: 477: 437: 434: 408: 405: 404: 403: 378: 375: 372: 346: 343: 342: 341: 332: 331: 330: 329: 328: 306: 305: 304: 303: 302: 244: 243: 242: 241: 200: 197: 196: 195: 194: 193: 159: 156: 153: 152: 149: 148: 145: 144: 133: 127: 126: 124: 107:the discussion 94: 93: 77: 65: 64: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 1532: 1521: 1518: 1516: 1513: 1512: 1510: 1503: 1501: 1497: 1493: 1489: 1479: 1475: 1471: 1467: 1466: 1465: 1464: 1460: 1456: 1437: 1434: 1431: 1423: 1419: 1409: 1408: 1404: 1400: 1395: 1388: 1386: 1379: 1377: 1376: 1372: 1368: 1367:Hugo Spinelli 1349: 1342: 1339: 1336: 1332: 1326: 1322: 1316: 1309: 1306: 1303: 1299: 1293: 1289: 1283: 1276: 1273: 1270: 1266: 1260: 1257: 1254: 1250: 1244: 1237: 1230: 1223: 1220: 1217: 1213: 1207: 1204: 1201: 1197: 1191: 1184: 1180: 1174: 1171: 1168: 1164: 1158: 1151: 1148: 1145: 1141: 1135: 1131: 1125: 1120: 1116: 1110: 1105: 1102: 1099: 1095: 1087: 1086: 1067: 1064: 1061: 1057: 1051: 1047: 1041: 1036: 1032: 1024: 1023: 1022: 1005: 998: 995: 992: 988: 982: 978: 972: 965: 962: 959: 955: 949: 945: 939: 932: 928: 922: 919: 916: 912: 906: 899: 892: 885: 882: 879: 875: 869: 866: 863: 859: 853: 846: 843: 840: 836: 830: 827: 824: 820: 814: 807: 804: 801: 797: 791: 787: 781: 776: 772: 766: 761: 758: 755: 751: 743: 742: 723: 720: 717: 713: 707: 703: 697: 692: 688: 680: 679: 678: 672: 670: 667: 663: 659: 655: 651: 643: 641: 637: 633: 629: 622: 619: 616: 613: 608: 604: 600: 595: 594: 593: 592: 588: 584: 583:Michael Hardy 576: 572: 568: 564: 559: 558: 557: 556: 552: 548: 544: 541: 537: 531: 527: 524: 523:Michael Hardy 520: 519: 518: 515: 511: 507: 503: 499: 490:Applications? 489: 487: 486: 483: 482:Michael Hardy 476: 472: 469: 462: 458: 454: 453: 452: 451: 448: 444: 435: 433: 432: 429: 424: 418: 414: 406: 402: 399: 394: 370: 363:, because as 362: 358: 357: 356: 355: 352: 351:Michael Hardy 344: 340: 337: 333: 326: 323: 319: 318: 317: 316: 314: 312: 310: 307: 300: 296: 292: 288: 287: 286: 285: 283: 280: 276: 271: 267: 266: 265: 264: 261: 260:Michael Hardy 257: 253: 249: 240: 237: 236:Michael Hardy 233: 232: 231: 230: 229: 228: 225: 221: 217: 214: 210: 206: 198: 192: 188: 184: 179: 178: 177: 176: 175: 173: 172:Michael Hardy 169: 165: 157: 142: 138: 132: 129: 128: 125: 108: 104: 100: 99: 91: 85: 80: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 1492:206.207.16.4 1486:β€”Β Preceding 1482: 1410: 1396: 1392: 1383: 1364: 1020: 676: 648:β€”Β Preceding 644: 626:β€” Preceding 623: 620: 617: 614: 611: 579: 562: 545: 542: 538: 535: 493: 479: 439: 410: 348: 321: 294: 290: 251: 245: 219: 202: 161: 137:Low-priority 136: 96: 62:Low‑priority 40:WikiProjects 654:Smidderwibh 361:convergence 213:Mathematica 205:Bill Gosper 112:Mathematics 103:mathematics 59:Mathematics 30:Start-class 1509:Categories 1389:Definition 1380:Incorrect? 1488:unsigned 662:contribs 650:unsigned 628:unsigned 532:Pitfalls 510:contribs 502:Panchaos 498:unsigned 289:Abramov 407:Rewrite 209:Macsyma 139:on the 1470:Madyno 1455:IbexNu 1399:IbexNu 599:Elroch 547:Elroch 467:x42bn6 461:limits 436:Proof? 422:x42bn6 392:x42bn6 218:cites 199:Gosper 36:scale. 447:EdBoy 336:KSmrq 291:et al 256:Euler 224:KSmrq 1496:talk 1474:talk 1459:talk 1403:talk 1371:talk 658:talk 636:talk 603:talk 587:talk 571:talk 563:does 551:talk 506:talk 471:Talk 443:here 427:Talk 397:Talk 252:term 211:and 187:talk 1453:). 1365:-- 1021:or 567:Jao 463:. 445:. β€” 419:. 322:A=B 299:PDF 170:.) 131:Low 1511:: 1498:) 1476:) 1461:) 1435:βˆ’ 1420:βˆ‘ 1405:) 1373:) 1340:βˆ’ 1307:βˆ’ 1284:β‹… 1274:βˆ’ 1258:βˆ’ 1245:β‹… 1238:β‹― 1231:β‹… 1192:β‹… 1159:β‹… 1149:βˆ’ 1096:∏ 1065:βˆ’ 940:β‹… 920:βˆ’ 907:β‹… 900:β‹― 893:β‹… 854:β‹… 815:β‹… 752:∏ 664:) 660:β€’ 638:) 605:) 589:) 573:) 553:) 512:) 508:β€’ 377:∞ 374:β†’ 189:) 1494:( 1472:( 1457:( 1441:) 1438:n 1432:n 1429:( 1424:n 1401:( 1369:( 1350:. 1343:1 1337:m 1333:y 1327:n 1323:y 1317:= 1310:1 1304:n 1300:y 1294:n 1290:y 1277:2 1271:n 1267:y 1261:1 1255:n 1251:y 1224:1 1221:+ 1218:m 1214:y 1208:2 1205:+ 1202:m 1198:y 1185:m 1181:y 1175:1 1172:+ 1169:m 1165:y 1152:1 1146:m 1142:y 1136:m 1132:y 1126:= 1121:i 1117:x 1111:n 1106:m 1103:= 1100:i 1068:1 1062:i 1058:y 1052:i 1048:y 1042:= 1037:i 1033:x 1006:. 999:1 996:+ 993:n 989:y 983:m 979:y 973:= 966:1 963:+ 960:n 956:y 950:n 946:y 933:n 929:y 923:1 917:n 913:y 886:3 883:+ 880:m 876:y 870:2 867:+ 864:m 860:y 847:2 844:+ 841:m 837:y 831:1 828:+ 825:m 821:y 808:1 805:+ 802:m 798:y 792:m 788:y 782:= 777:i 773:x 767:n 762:m 759:= 756:i 724:1 721:+ 718:i 714:y 708:i 704:y 698:= 693:i 689:x 656:( 634:( 601:( 585:( 569:( 549:( 516:. 504:( 371:N 327:) 301:) 185:( 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Low
project's priority scale
telescoping sum
order statistic
Michael Hardy
Fantasticawesome
talk
21:06, 19 September 2019 (UTC)
Bill Gosper
Macsyma
Mathematica

KSmrq
01:52, 3 December 2005 (UTC)
Michael Hardy
22:28, 3 December 2005 (UTC)
User talk:KSmrq
Euler
Michael Hardy

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑