Knowledge

Talk:Convergence of Fourier series

Source 📝

158:
can be seen as functions with finite energy (L^1 and L^2)(is a function of the time which has a compact support and is in L^00) and a compact spectrum so it’s possible to represent their information (which has the power of the continuum) with discrete series. Moreover we can cut a part of this series and a part of the spectrum of the signal to obtain an MP3. (Using spectral analysis techniques). Gibbs phenomenon can be seen when we compress pictures made of color spots with sharp outlines (the ending titles of a DiVX) so to compress animated cartoons is better not to use a method related with Fourier series (for example we can use GIF).
84: 74: 53: 22: 292:
sense, and the fact that the series converges for every periodic distribution in this sense. (This is arguably the sense that is used in most practical contexts nowadays, as Fourier series usually come hand-in-hand with other distribution concepts such as delta functions. It also gives a concrete
157:
I think that convergence of Fourier series is not useless for engineers. In fact Fourier series and Fourier transform is used in signals compression (for example JPEG or MP3) in this contexts it's very important to know in which sense the information is reconstructed. Musical signals, for example,
257:
The original definition of a trigonometric series does not require f to be periodic. This is reflected in the convergence criteria. For example, a function of bounded variation or a function with existing left and right derivatives does not need to be periodic. It would be good to add a paragraph
860: 170:
in harmonic analysis. The Fourier transform for jpegs and mp3s can be viewed strictly in the discrete context, in which case the convergence is moot (since the Fourier series is a finite sum.) The remaining comments do not pertain to the convergence of Fourier series.
1027:
article, because it's about Fourier series whereas the article is about Fourier transforms. If it belongs anywhere then it would be in this article, so I'm posting it here in case someone wants to integrate it into this article. By the way, feel free to
992: 590: 416: 694: 165:
is a contradiction. Any nonzero function which is compactly supported has necessarely unbounded spectrum and any function with compact spectrum has necessarely unbounded support. This is a very elementary version of the
1353: 1471:
As Y. Katznelson shows in his textbook: when f is absolutely continuous, n times its n-th Fourier coefficient is not only bounded (as currently says this article with other words) but tends to 0 with n -:
705: 233:
Dirichlet made an important historical contribution, as well as Jordan, Wilbraham, Riemann, Cantor, etc.. A more detailed history is available in the French version of the Fourier Series article, see
140: 1200: 1246: 1220: 1086: 1396: 1376: 883: 465: 477: 1149:
which cites the book "Introduction To Classical Real Analysis". It's not stated explicitly in the book. Also, the claim can't be right. For instance, consider
1051:
I do not have access to Jackson's book, so could someone else double-check the formula for the speed of uniform convergence? If f is a polynomial of degree
334:
allows the Fourier transform to be extended to a unitary operator on the Hilbert space of all square-integrable functions, i.e., all functions satisfying
1501: 130: 1417:
The proposition that the family of absolutely converging Fourier series is a Banach Algebra is wrong, It is a vectorial space which is not complete.
1119:
I think one should add in the section on summability that the uniform convergence by Fejer's theorem only holds for continuous, periodic functions.
340: 601: 195:
Should we say something about when Fourier series converge uniformly? (I don't know the details off the top of my head, else I would do it.) --
106: 1496: 1432: 1126: 293:
way to understand "almost everywhere" convergence, since finite errors on sets of measure zero obviously don't affect weak convergence.)
1101: 265: 1254: 855:{\displaystyle \lim _{N\rightarrow \infty }\int _{-\pi }^{\pi }\left|f(x)-\sum _{n=-N}^{N}{\widehat {f}}(n)\,e^{inx}\right|^{2}\,dx=0.} 97: 58: 285: 1029: 1088:
has a modulus of continuity which is identically zero. But clearly the approximation error will not be zero for any finite
1398:
supposed to take, change the coefficient 1000 above to 1,000,000 or 1,000,000,000 - it's bound to be wrong eventually. --
33: 289: 1447:
which is not that of uniform convergence like for the space of continuous functions. Look in literature about the
1037: 1024: 1428: 1130: 1105: 269: 187:
Under "Summability" the first summation says "summation of A sub n" but I believe that should be "A sub k."
1424: 1152: 1000:
For strictly finitary discrete Fourier transforms, these delicate questions of convergence are avoided.
167: 39: 83: 1420: 1122: 1033: 261: 227: 21: 234: 1399: 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
331: 200: 89: 73: 52: 1403: 1225: 866: 699:
What kind of convergence is right? "Convergence in mean square" can be proved fairly easily:
298: 1443:
It is known as a Banach algebra with ordinary pointwise multiplication of functions, but its
184:
I'm not confident enough to make this change myself. Someone who knows more please do this:
1478: 1456: 1205: 1058: 1004: 987:{\displaystyle f(x)=\lim _{N\rightarrow \infty }\sum _{n=-N}^{N}{\widehat {f}}(n)\,e^{inx}.} 242: 223: 1482: 1460: 1436: 1407: 1134: 1109: 1041: 585:{\displaystyle {\widehat {f}}(n)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)\,e^{-inx}\,dx.} 302: 273: 246: 204: 1448: 468: 1381: 1361: 1096:, since the RHS is zero, but maybe that can be fixed by stating it is valid for large 258:
that explains where this periodicity requirment comes from and when it is necessary.
1490: 435: 196: 1146: 294: 163:... a function of the time which has a compact support ... and a compact spectrum 1474: 1452: 238: 219: 172: 102: 411:{\displaystyle \int _{-\infty }^{\infty }\left|f(x)\right|^{2}\,dx<\infty .} 235:
http://fr.wikipedia.org/search/?title=S%C3%A9rie_de_Fourier&oldid=30788202
79: 214:
Where does Dirichlet's line of proof fit into all this? The text of it is at
689:{\displaystyle \sum _{n=-\infty }^{\infty }{\widehat {f}}(n)\,e^{inx}=f(x).} 1147:
https://en.wikipedia.org/Convergence_of_Fourier_series#Uniform_convergence
1007:(1966). On the convergence and growth of partial sums of Fourier series. 308:
Deleted content from Fourier inversion theorem - suitable for here?
1348:{\displaystyle |f(x)-(S_{N}f)(x)|\leq K{\ln N \over N^{\alpha }}.} 215: 15: 432:
is a square-integrable periodic function on the interval
873:
is square-integrable, then for "almost every" value of
1384: 1364: 1257: 1228: 1208: 1155: 1061: 886: 708: 604: 480: 438: 343: 1023:
Hi, I'm about to delete the above material from the
997:
This was not proved until 1966 in (Carleson, 1966).
101:, a collaborative effort to improve the coverage of 1467:
About the case of an absolutely continuous function
1390: 1370: 1347: 1240: 1214: 1194: 1080: 986: 854: 688: 595:The Fourier inversion theorem might then say that 584: 459: 410: 326:Fourier transforms of square-integrable functions 903: 710: 1473:oo. Could someone change the article for this? 1141:Pretty sure uniform convergence bound is wrong 8: 1032:about the proposed changes to that article. 1248:but the inequality given is clearly false: 1451:, e.g. the article about it in wikipedia-- 1120: 312: 47: 1383: 1363: 1334: 1317: 1306: 1285: 1258: 1256: 1227: 1207: 1154: 1092:. The claimed formula is also wrong when 1066: 1060: 969: 943: 942: 936: 922: 906: 885: 832: 815: 789: 788: 782: 768: 737: 729: 713: 707: 656: 630: 629: 623: 609: 603: 556: 532: 524: 505: 482: 481: 479: 437: 385: 356: 348: 342: 1378:is not stated anywhere. Whatever value 963: 838: 809: 650: 571: 550: 391: 315: 49: 19: 284:It might be nice to have a section on 1145:I looked up the convergence bound in 7: 1195:{\displaystyle f(x)=1000\cos(1000x)} 1047:Uniform convergence condition wrong? 95:This article is within the scope of 288:of the Fourier series, i.e. in the 38:It is of interest to the following 913: 720: 624: 619: 402: 357: 352: 14: 1502:Mid-priority mathematics articles 115:Knowledge:WikiProject Mathematics 118:Template:WikiProject Mathematics 82: 72: 51: 20: 135:This article has been rated as 1307: 1303: 1297: 1294: 1278: 1272: 1266: 1259: 1189: 1180: 1165: 1159: 1135:14:54, 15 September 2015 (UTC) 1073: 1067: 960: 954: 910: 896: 890: 806: 800: 758: 752: 717: 680: 674: 647: 641: 547: 541: 499: 493: 454: 439: 421:Therefore it is invertible on 377: 371: 216:http://arxiv.org/abs/0806.1294 1: 1202:. The function satisfies the 1042:01:16, 31 December 2012 (UTC) 109:and see a list of open tasks. 1497:B-Class mathematics articles 1110:13:38, 14 October 2014 (UTC) 205:02:35, 4 January 2008 (UTC) 1518: 1483:18:18, 22 April 2024 (UTC) 1461:17:43, 22 April 2024 (UTC) 1437:09:26, 12 April 2022 (UTC) 869:? That would say that if 303:16:00, 23 April 2011 (UTC) 237:and search for Dirichlet. 1408:20:32, 29 June 2021 (UTC) 1241:{\displaystyle \alpha =1} 1025:Fourier inversion theorem 877:between 0 and 2π we have 274:15:13, 31 July 2009 (UTC) 247:07:20, 23 June 2008 (UTC) 228:08:17, 22 June 2008 (UTC) 134: 67: 46: 175:14:06, 24 Mar 2005 (UTC) 141:project's priority scale 1215:{\displaystyle \alpha } 1081:{\displaystyle f^{(p)}} 865:What about convergence 471:whose coefficients are 98:WikiProject Mathematics 1392: 1372: 1349: 1242: 1222:-Hölder condition for 1216: 1196: 1082: 988: 941: 856: 787: 690: 628: 586: 461: 412: 209: 28:This article is rated 1393: 1373: 1350: 1243: 1217: 1197: 1115:Summability and Fejer 1083: 989: 918: 857: 764: 691: 605: 587: 462: 413: 168:uncertainty principle 1382: 1362: 1255: 1226: 1206: 1153: 1059: 884: 706: 602: 478: 436: 341: 121:mathematics articles 1030:join the discussion 742: 537: 361: 295:— Steven G. Johnson 191:Uniform convergence 180:Mistake in formula? 1388: 1368: 1345: 1238: 1212: 1192: 1078: 984: 964: 917: 852: 839: 810: 725: 724: 686: 651: 582: 572: 551: 520: 457: 408: 392: 344: 332:Plancherel theorem 210:Dirichlet's proof? 90:Mathematics portal 34:content assessment 1423:comment added by 1391:{\displaystyle K} 1371:{\displaystyle K} 1340: 1137: 1125:comment added by 1020: 1019: 951: 902: 867:almost everywhere 797: 709: 638: 518: 490: 264:comment added by 253:Periodicity of f? 155: 154: 151: 150: 147: 146: 1509: 1439: 1397: 1395: 1394: 1389: 1377: 1375: 1374: 1369: 1354: 1352: 1351: 1346: 1341: 1339: 1338: 1329: 1318: 1310: 1290: 1289: 1262: 1247: 1245: 1244: 1239: 1221: 1219: 1218: 1213: 1201: 1199: 1198: 1193: 1087: 1085: 1084: 1079: 1077: 1076: 1005:Lennart Carleson 993: 991: 990: 985: 980: 979: 953: 952: 944: 940: 935: 916: 861: 859: 858: 853: 837: 836: 831: 827: 826: 825: 799: 798: 790: 786: 781: 741: 736: 723: 695: 693: 692: 687: 667: 666: 640: 639: 631: 627: 622: 591: 589: 588: 583: 570: 569: 536: 531: 519: 517: 506: 492: 491: 483: 466: 464: 463: 460:{\displaystyle } 458: 417: 415: 414: 409: 390: 389: 384: 380: 360: 355: 317:Extended content 313: 286:weak convergence 280:Weak convergence 276: 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 1517: 1516: 1512: 1511: 1510: 1508: 1507: 1506: 1487: 1486: 1469: 1418: 1415: 1380: 1379: 1360: 1359: 1330: 1319: 1281: 1253: 1252: 1224: 1223: 1204: 1203: 1151: 1150: 1143: 1117: 1062: 1057: 1056: 1049: 1034:Quietbritishjim 1021: 965: 882: 881: 811: 748: 744: 743: 704: 703: 652: 600: 599: 552: 510: 476: 475: 434: 433: 367: 363: 362: 339: 338: 318: 310: 282: 259: 255: 212: 193: 182: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 1515: 1513: 1505: 1504: 1499: 1489: 1488: 1468: 1465: 1464: 1463: 1449:Wiener algebra 1425:Boutarfa Nafia 1414: 1411: 1387: 1367: 1356: 1355: 1344: 1337: 1333: 1328: 1325: 1322: 1316: 1313: 1309: 1305: 1302: 1299: 1296: 1293: 1288: 1284: 1280: 1277: 1274: 1271: 1268: 1265: 1261: 1237: 1234: 1231: 1211: 1191: 1188: 1185: 1182: 1179: 1176: 1173: 1170: 1167: 1164: 1161: 1158: 1142: 1139: 1127:176.199.55.147 1116: 1113: 1075: 1072: 1069: 1065: 1048: 1045: 1018: 1017: 1016: 1015: 995: 994: 983: 978: 975: 972: 968: 962: 959: 956: 950: 947: 939: 934: 931: 928: 925: 921: 915: 912: 909: 905: 901: 898: 895: 892: 889: 863: 862: 851: 848: 845: 842: 835: 830: 824: 821: 818: 814: 808: 805: 802: 796: 793: 785: 780: 777: 774: 771: 767: 763: 760: 757: 754: 751: 747: 740: 735: 732: 728: 722: 719: 716: 712: 697: 696: 685: 682: 679: 676: 673: 670: 665: 662: 659: 655: 649: 646: 643: 637: 634: 626: 621: 618: 615: 612: 608: 593: 592: 581: 578: 575: 568: 565: 562: 559: 555: 549: 546: 543: 540: 535: 530: 527: 523: 516: 513: 509: 504: 501: 498: 495: 489: 486: 469:Fourier series 456: 453: 450: 447: 444: 441: 419: 418: 407: 404: 401: 398: 395: 388: 383: 379: 376: 373: 370: 366: 359: 354: 351: 347: 320: 319: 316: 311: 309: 306: 281: 278: 254: 251: 250: 249: 211: 208: 192: 189: 181: 178: 177: 176: 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: 1514: 1503: 1500: 1498: 1495: 1494: 1492: 1485: 1484: 1480: 1476: 1466: 1462: 1458: 1454: 1450: 1446: 1442: 1441: 1440: 1438: 1434: 1430: 1426: 1422: 1412: 1410: 1409: 1405: 1401: 1385: 1365: 1358:The value of 1342: 1335: 1331: 1326: 1323: 1320: 1314: 1311: 1300: 1291: 1286: 1282: 1275: 1269: 1263: 1251: 1250: 1249: 1235: 1232: 1229: 1209: 1186: 1183: 1177: 1174: 1171: 1168: 1162: 1156: 1148: 1140: 1138: 1136: 1132: 1128: 1124: 1114: 1112: 1111: 1107: 1103: 1102:193.11.79.122 1099: 1095: 1091: 1070: 1063: 1054: 1046: 1044: 1043: 1039: 1035: 1031: 1026: 1013: 1010: 1006: 1003: 1002: 1001: 998: 981: 976: 973: 970: 966: 957: 948: 945: 937: 932: 929: 926: 923: 919: 907: 899: 893: 887: 880: 879: 878: 876: 872: 868: 849: 846: 843: 840: 833: 828: 822: 819: 816: 812: 803: 794: 791: 783: 778: 775: 772: 769: 765: 761: 755: 749: 745: 738: 733: 730: 726: 714: 702: 701: 700: 683: 677: 671: 668: 663: 660: 657: 653: 644: 635: 632: 616: 613: 610: 606: 598: 597: 596: 579: 576: 573: 566: 563: 560: 557: 553: 544: 538: 533: 528: 525: 521: 514: 511: 507: 502: 496: 487: 484: 474: 473: 472: 470: 451: 448: 445: 442: 431: 426: 424: 405: 399: 396: 393: 386: 381: 374: 368: 364: 349: 345: 337: 336: 335: 333: 329: 328: 327: 322: 321: 314: 307: 305: 304: 300: 296: 291: 287: 279: 277: 275: 271: 267: 266:186.14.32.206 263: 252: 248: 244: 240: 236: 232: 231: 230: 229: 225: 221: 217: 207: 206: 202: 198: 190: 188: 185: 179: 174: 169: 164: 161: 160: 159: 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: 1470: 1444: 1419:— Preceding 1416: 1357: 1144: 1121:— Preceding 1118: 1097: 1093: 1089: 1052: 1050: 1022: 1011: 1008: 999: 996: 874: 870: 864: 698: 594: 429: 427: 422: 420: 330: 325: 324: 323: 290:distribution 283: 256: 213: 194: 186: 183: 162: 156: 137:Mid-priority 136: 96: 62:Mid‑priority 40:WikiProjects 467:, it has a 260:—Preceding 112:Mathematics 103:mathematics 59:Mathematics 1491:Categories 1413:Discussion 1014:, 135–157. 1009:Acta Math. 197:Walt Pohl 1445:own norm 1433:contribs 1421:unsigned 1123:unsigned 428:In case 262:unsigned 1400:Svennik 139:on the 30:B-class 1475:UKe-CH 1453:UKe-CH 239:Loisel 220:Ayacop 173:Loisel 36:scale. 1055:then 1479:talk 1457:talk 1429:talk 1404:talk 1184:1000 1172:1000 1131:talk 1106:talk 1038:talk 400:< 299:talk 270:talk 243:talk 224:talk 201:talk 1472:--> 1175:cos 1094:N=1 1012:116 904:lim 711:lim 131:Mid 1493:: 1481:) 1459:) 1435:) 1431:• 1406:) 1336:α 1324:⁡ 1321:ln 1312:≤ 1276:− 1230:α 1210:α 1178:⁡ 1133:) 1108:) 1100:. 1040:) 949:^ 930:− 920:∑ 914:∞ 911:→ 850:0. 795:^ 776:− 766:∑ 762:− 739:π 734:π 731:− 727:∫ 721:∞ 718:→ 636:^ 625:∞ 620:∞ 617:− 607:∑ 558:− 534:π 529:π 526:− 522:∫ 515:π 488:^ 452:π 446:π 443:− 425:. 403:∞ 358:∞ 353:∞ 350:− 346:∫ 301:) 272:) 245:) 226:) 218:-- 203:) 1477:( 1455:( 1427:( 1402:( 1386:K 1366:K 1343:. 1332:N 1327:N 1315:K 1308:| 1304:) 1301:x 1298:( 1295:) 1292:f 1287:N 1283:S 1279:( 1273:) 1270:x 1267:( 1264:f 1260:| 1236:1 1233:= 1190:) 1187:x 1181:( 1169:= 1166:) 1163:x 1160:( 1157:f 1129:( 1104:( 1098:N 1090:N 1074:) 1071:p 1068:( 1064:f 1053:p 1036:( 982:. 977:x 974:n 971:i 967:e 961:) 958:n 955:( 946:f 938:N 933:N 927:= 924:n 908:N 900:= 897:) 894:x 891:( 888:f 875:x 871:f 847:= 844:x 841:d 834:2 829:| 823:x 820:n 817:i 813:e 807:) 804:n 801:( 792:f 784:N 779:N 773:= 770:n 759:) 756:x 753:( 750:f 746:| 715:N 684:. 681:) 678:x 675:( 672:f 669:= 664:x 661:n 658:i 654:e 648:) 645:n 642:( 633:f 614:= 611:n 580:. 577:x 574:d 567:x 564:n 561:i 554:e 548:) 545:x 542:( 539:f 512:2 508:1 503:= 500:) 497:n 494:( 485:f 455:] 449:, 440:[ 430:f 423:L 406:. 397:x 394:d 387:2 382:| 378:) 375:x 372:( 369:f 365:| 297:( 268:( 241:( 222:( 199:( 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Mid
project's priority scale
uncertainty principle
Loisel
Walt Pohl
talk
02:35, 4 January 2008 (UTC)
http://arxiv.org/abs/0806.1294
Ayacop
talk
08:17, 22 June 2008 (UTC)
http://fr.wikipedia.org/search/?title=S%C3%A9rie_de_Fourier&oldid=30788202
Loisel
talk
07:20, 23 June 2008 (UTC)
unsigned
186.14.32.206
talk
15:13, 31 July 2009 (UTC)

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