Knowledge

Summability kernel

Source 📝

1782: 392: 1709: 667: 780: 591: 1126: 292: 81: 220: 1318: 1222: 1501: 1395: 156: 960: 1569: 1540: 1421: 1357: 1248: 1187: 1148: 924: 902: 880: 832: 806: 444: 418: 481: 35:; definitions of an approximation of identity vary, but sometimes the definition of an approximation of the identity is taken to be the same as for a summability kernel. 1606: 1457: 1038: 534: 118: 687: 1058: 855: 501: 1714: 299: 23:
is a family or sequence of periodic integrable functions satisfying a certain set of properties, listed below. Certain kernels, such as the
1611: 596: 694: 550: 1071: 226: 1572: 46: 1542: 164: 1260: 1828: 1192: 1846: 1462: 32: 1362: 123: 929: 1548: 1506: 1400: 1323: 1227: 1153: 1131: 907: 885: 863: 811: 785: 423: 397: 1851: 453: 1578: 1429: 1010: 506: 90: 1251: 672: 8: 541: 1816: 1043: 840: 486: 1824: 991: 28: 669:, and the upper limit of integration on the third equation should be extended to 1777:{\displaystyle \sup _{n\in \mathbb {N} }\|{\widetilde {k}}_{n}\|_{1}<\infty } 972: 24: 978: 1840: 985: 387:{\displaystyle \int _{\delta \leq |t|\leq {\frac {1}{2}}}|k_{n}(t)|\,dt\to 0} 1061: 1608:
is not radially decreasing symmetric, but the decreasing symmetrization
837:
This expresses the fact that the mass concentrates around the origin as
1704:{\displaystyle {\widetilde {k}}_{n}(x):=\sup _{|y|\geq |x|}k_{n}(y)} 662:{\displaystyle {\frac {1}{2\pi }}\int _{\mathbb {T} }k_{n}(t)\,dt=1} 775:{\displaystyle \int _{\delta \leq |t|\leq \pi }|k_{n}(t)|\,dt\to 0} 1784:, then a.e. convergence still holds, using a similar argument. 998:
a summability kernel, since it fails the second requirement.
586:{\displaystyle \mathbb {T} =\mathbb {R} /2\pi \mathbb {Z} } 1121:{\displaystyle (k_{n}),f\in {\mathcal {C}}(\mathbb {T} )} 287:{\displaystyle \int _{\mathbb {T} }|k_{n}(t)|\,dt\leq M} 76:{\displaystyle \mathbb {T} :=\mathbb {R} /\mathbb {Z} } 1717: 1614: 1581: 1551: 1509: 1465: 1432: 1403: 1365: 1326: 1263: 1230: 1195: 1156: 1134: 1074: 1046: 1013: 932: 910: 888: 866: 843: 814: 788: 697: 675: 599: 553: 509: 489: 456: 426: 400: 302: 229: 167: 126: 93: 49: 1250:. In the case of the Fejer kernel this is known as 1776: 1703: 1600: 1563: 1534: 1495: 1451: 1415: 1389: 1351: 1312: 1242: 1216: 1181: 1142: 1120: 1052: 1032: 954: 918: 896: 874: 849: 826: 800: 774: 681: 661: 585: 528: 495: 475: 438: 412: 386: 286: 215:{\displaystyle \int _{\mathbb {T} }k_{n}(t)\,dt=1} 214: 150: 112: 75: 1838: 1719: 1647: 1313:{\displaystyle (k_{n}),f\in L^{1}(\mathbb {T} )} 1806:. American Mathematical Society. p. 90. 1759: 1736: 1217:{\displaystyle {\mathcal {C}}(\mathbb {T} )} 1804:Harmonic Analysis: From Fourier to Wavelets 1801: 689:, so that the condition 3 above should be 1815: 1730: 1486: 1380: 1303: 1207: 1136: 1111: 912: 890: 868: 759: 646: 621: 579: 563: 555: 371: 271: 236: 199: 174: 141: 69: 59: 51: 1496:{\displaystyle f\in L^{1}(\mathbb {T} )} 904:; then (1) and (2) are integrated over 1839: 1802:Pereyra, María; Ward, Lesley (2012). 1459:is radially decreasing symmetric and 31:. Summability kernels are related to 1821:An introduction to Harmonic Analysis 1390:{\displaystyle L^{1}(\mathbb {T} )} 151:{\displaystyle L^{1}(\mathbb {T} )} 13: 1771: 1558: 1410: 1237: 1198: 1102: 795: 407: 14: 1863: 1573:Hardy–Littlewood maximal function 1002: 547:With the more usual convention 1823:, Cambridge University Press, 1795: 1698: 1692: 1676: 1668: 1660: 1652: 1640: 1634: 1595: 1582: 1555: 1526: 1490: 1482: 1446: 1433: 1407: 1384: 1376: 1343: 1307: 1299: 1277: 1264: 1234: 1211: 1203: 1173: 1115: 1107: 1088: 1075: 1027: 1014: 955:{\displaystyle |t|>\delta } 942: 934: 792: 766: 755: 751: 745: 731: 718: 710: 643: 637: 540:, then the second requirement 523: 510: 404: 378: 367: 363: 357: 343: 323: 315: 267: 263: 257: 243: 196: 190: 145: 137: 107: 94: 1: 1788: 1040:be a summability kernel, and 593:, the first equation becomes 38: 33:approximation of the identity 27:, are particularly useful in 1564:{\displaystyle n\to \infty } 1535:{\displaystyle k_{n}*f\to f} 1416:{\displaystyle n\to \infty } 1352:{\displaystyle k_{n}*f\to f} 1243:{\displaystyle n\to \infty } 1182:{\displaystyle k_{n}*f\to f} 1143:{\displaystyle \mathbb {T} } 919:{\displaystyle \mathbb {R} } 897:{\displaystyle \mathbb {T} } 875:{\displaystyle \mathbb {R} } 827:{\displaystyle \delta >0} 801:{\displaystyle n\to \infty } 439:{\displaystyle \delta >0} 413:{\displaystyle n\to \infty } 7: 965: 538:positive summability kernel 476:{\displaystyle k_{n}\geq 0} 10: 1868: 1128:(continuous functions on 1601:{\displaystyle (k_{n})} 1452:{\displaystyle (k_{n})} 1033:{\displaystyle (k_{n})} 529:{\displaystyle (k_{n})} 113:{\displaystyle (k_{n})} 1778: 1705: 1602: 1565: 1536: 1497: 1453: 1417: 1391: 1353: 1314: 1244: 1218: 1183: 1144: 1122: 1054: 1034: 956: 920: 898: 876: 860:One can also consider 851: 828: 802: 776: 683: 663: 587: 530: 497: 477: 440: 414: 388: 288: 216: 152: 114: 77: 1847:Mathematical analysis 1779: 1706: 1603: 1566: 1537: 1498: 1454: 1418: 1392: 1354: 1315: 1245: 1224:, i.e. uniformly, as 1219: 1184: 1145: 1123: 1055: 1035: 957: 921: 899: 877: 852: 829: 803: 777: 684: 664: 588: 542:follows automatically 531: 498: 478: 441: 415: 389: 289: 217: 153: 115: 78: 1715: 1612: 1579: 1549: 1507: 1463: 1430: 1401: 1363: 1324: 1261: 1228: 1193: 1154: 1132: 1072: 1044: 1011: 930: 908: 886: 864: 841: 812: 786: 695: 682:{\displaystyle \pi } 673: 597: 551: 507: 487: 454: 424: 398: 300: 227: 165: 124: 91: 47: 1817:Katznelson, Yitzhak 294:(uniformly bounded) 16:Family of functions 1774: 1735: 1701: 1681: 1598: 1561: 1532: 1493: 1449: 1413: 1387: 1349: 1310: 1240: 1214: 1179: 1140: 1118: 1050: 1030: 981:(continuous index) 952: 916: 894: 872: 847: 824: 798: 772: 679: 659: 583: 526: 493: 473: 436: 410: 384: 284: 212: 148: 110: 85:summability kernel 73: 21:summability kernel 19:In mathematics, a 1749: 1718: 1646: 1625: 1053:{\displaystyle *} 850:{\displaystyle n} 613: 496:{\displaystyle n} 338: 1859: 1833: 1808: 1807: 1799: 1783: 1781: 1780: 1775: 1767: 1766: 1757: 1756: 1751: 1750: 1742: 1734: 1733: 1710: 1708: 1707: 1702: 1691: 1690: 1680: 1679: 1671: 1663: 1655: 1633: 1632: 1627: 1626: 1618: 1607: 1605: 1604: 1599: 1594: 1593: 1571:. This uses the 1570: 1568: 1567: 1562: 1541: 1539: 1538: 1533: 1519: 1518: 1502: 1500: 1499: 1494: 1489: 1481: 1480: 1458: 1456: 1455: 1450: 1445: 1444: 1422: 1420: 1419: 1414: 1396: 1394: 1393: 1388: 1383: 1375: 1374: 1358: 1356: 1355: 1350: 1336: 1335: 1319: 1317: 1316: 1311: 1306: 1298: 1297: 1276: 1275: 1249: 1247: 1246: 1241: 1223: 1221: 1220: 1215: 1210: 1202: 1201: 1188: 1186: 1185: 1180: 1166: 1165: 1149: 1147: 1146: 1141: 1139: 1127: 1125: 1124: 1119: 1114: 1106: 1105: 1087: 1086: 1059: 1057: 1056: 1051: 1039: 1037: 1036: 1031: 1026: 1025: 992:Dirichlet kernel 961: 959: 958: 953: 945: 937: 925: 923: 922: 917: 915: 903: 901: 900: 895: 893: 881: 879: 878: 873: 871: 856: 854: 853: 848: 833: 831: 830: 825: 807: 805: 804: 799: 781: 779: 778: 773: 758: 744: 743: 734: 729: 728: 721: 713: 688: 686: 685: 680: 668: 666: 665: 660: 636: 635: 626: 625: 624: 614: 612: 601: 592: 590: 589: 584: 582: 571: 566: 558: 544:from the first. 535: 533: 532: 527: 522: 521: 502: 500: 499: 494: 482: 480: 479: 474: 466: 465: 445: 443: 442: 437: 419: 417: 416: 411: 393: 391: 390: 385: 370: 356: 355: 346: 341: 340: 339: 331: 326: 318: 293: 291: 290: 285: 270: 256: 255: 246: 241: 240: 239: 221: 219: 218: 213: 189: 188: 179: 178: 177: 157: 155: 154: 149: 144: 136: 135: 119: 117: 116: 111: 106: 105: 82: 80: 79: 74: 72: 67: 62: 54: 29:Fourier analysis 1867: 1866: 1862: 1861: 1860: 1858: 1857: 1856: 1837: 1836: 1831: 1812: 1811: 1800: 1796: 1791: 1762: 1758: 1752: 1741: 1740: 1739: 1729: 1722: 1716: 1713: 1712: 1686: 1682: 1675: 1667: 1659: 1651: 1650: 1628: 1617: 1616: 1615: 1613: 1610: 1609: 1589: 1585: 1580: 1577: 1576: 1550: 1547: 1546: 1514: 1510: 1508: 1505: 1504: 1485: 1476: 1472: 1464: 1461: 1460: 1440: 1436: 1431: 1428: 1427: 1402: 1399: 1398: 1379: 1370: 1366: 1364: 1361: 1360: 1331: 1327: 1325: 1322: 1321: 1302: 1293: 1289: 1271: 1267: 1262: 1259: 1258: 1252:Fejér's theorem 1229: 1226: 1225: 1206: 1197: 1196: 1194: 1191: 1190: 1161: 1157: 1155: 1152: 1151: 1135: 1133: 1130: 1129: 1110: 1101: 1100: 1082: 1078: 1073: 1070: 1069: 1045: 1042: 1041: 1021: 1017: 1012: 1009: 1008: 1005: 968: 941: 933: 931: 928: 927: 926:, and (3) over 911: 909: 906: 905: 889: 887: 884: 883: 867: 865: 862: 861: 842: 839: 838: 813: 810: 809: 787: 784: 783: 754: 739: 735: 730: 717: 709: 702: 698: 696: 693: 692: 674: 671: 670: 631: 627: 620: 619: 615: 605: 600: 598: 595: 594: 578: 567: 562: 554: 552: 549: 548: 517: 513: 508: 505: 504: 488: 485: 484: 461: 457: 455: 452: 451: 425: 422: 421: 399: 396: 395: 366: 351: 347: 342: 330: 322: 314: 307: 303: 301: 298: 297: 266: 251: 247: 242: 235: 234: 230: 228: 225: 224: 184: 180: 173: 172: 168: 166: 163: 162: 158:that satisfies 140: 131: 127: 125: 122: 121: 101: 97: 92: 89: 88: 68: 63: 58: 50: 48: 45: 44: 41: 17: 12: 11: 5: 1865: 1855: 1854: 1852:Fourier series 1849: 1835: 1834: 1829: 1810: 1809: 1793: 1792: 1790: 1787: 1786: 1785: 1773: 1770: 1765: 1761: 1755: 1748: 1745: 1738: 1732: 1728: 1725: 1721: 1700: 1697: 1694: 1689: 1685: 1678: 1674: 1670: 1666: 1662: 1658: 1654: 1649: 1645: 1642: 1639: 1636: 1631: 1624: 1621: 1597: 1592: 1588: 1584: 1560: 1557: 1554: 1543:pointwise a.e. 1531: 1528: 1525: 1522: 1517: 1513: 1492: 1488: 1484: 1479: 1475: 1471: 1468: 1448: 1443: 1439: 1435: 1424: 1412: 1409: 1406: 1386: 1382: 1378: 1373: 1369: 1348: 1345: 1342: 1339: 1334: 1330: 1309: 1305: 1301: 1296: 1292: 1288: 1285: 1282: 1279: 1274: 1270: 1266: 1255: 1239: 1236: 1233: 1213: 1209: 1205: 1200: 1178: 1175: 1172: 1169: 1164: 1160: 1138: 1117: 1113: 1109: 1104: 1099: 1096: 1093: 1090: 1085: 1081: 1077: 1049: 1029: 1024: 1020: 1016: 1004: 1001: 1000: 999: 988: 982: 979:Poisson kernel 975: 967: 964: 951: 948: 944: 940: 936: 914: 892: 870: 846: 823: 820: 817: 797: 794: 791: 771: 768: 765: 762: 757: 753: 750: 747: 742: 738: 733: 727: 724: 720: 716: 712: 708: 705: 701: 678: 658: 655: 652: 649: 645: 642: 639: 634: 630: 623: 618: 611: 608: 604: 581: 577: 574: 570: 565: 561: 557: 525: 520: 516: 512: 492: 472: 469: 464: 460: 448: 447: 435: 432: 429: 409: 406: 403: 383: 380: 377: 374: 369: 365: 362: 359: 354: 350: 345: 337: 334: 329: 325: 321: 317: 313: 310: 306: 295: 283: 280: 277: 274: 269: 265: 262: 259: 254: 250: 245: 238: 233: 222: 211: 208: 205: 202: 198: 195: 192: 187: 183: 176: 171: 147: 143: 139: 134: 130: 109: 104: 100: 96: 87:is a sequence 71: 66: 61: 57: 53: 40: 37: 15: 9: 6: 4: 3: 2: 1864: 1853: 1850: 1848: 1845: 1844: 1842: 1832: 1830:0-521-54359-2 1826: 1822: 1818: 1814: 1813: 1805: 1798: 1794: 1768: 1763: 1753: 1746: 1743: 1726: 1723: 1695: 1687: 1683: 1672: 1664: 1656: 1643: 1637: 1629: 1622: 1619: 1590: 1586: 1574: 1552: 1544: 1529: 1523: 1520: 1515: 1511: 1477: 1473: 1469: 1466: 1441: 1437: 1425: 1404: 1371: 1367: 1346: 1340: 1337: 1332: 1328: 1294: 1290: 1286: 1283: 1280: 1272: 1268: 1256: 1253: 1231: 1176: 1170: 1167: 1162: 1158: 1097: 1094: 1091: 1083: 1079: 1067: 1066: 1065: 1063: 1047: 1022: 1018: 997: 993: 989: 987: 986:Landau kernel 983: 980: 976: 974: 970: 969: 963: 949: 946: 938: 858: 844: 835: 821: 818: 815: 789: 769: 763: 760: 748: 740: 736: 725: 722: 714: 706: 703: 699: 690: 676: 656: 653: 650: 647: 640: 632: 628: 616: 609: 606: 602: 575: 572: 568: 559: 545: 543: 539: 518: 514: 490: 470: 467: 462: 458: 450:Note that if 433: 430: 427: 401: 381: 375: 372: 360: 352: 348: 335: 332: 327: 319: 311: 308: 304: 296: 281: 278: 275: 272: 260: 252: 248: 231: 223: 209: 206: 203: 200: 193: 185: 181: 169: 161: 160: 159: 132: 128: 102: 98: 86: 64: 55: 36: 34: 30: 26: 22: 1820: 1803: 1797: 1006: 1003:Convolutions 995: 973:Fejér kernel 882:rather than 859: 836: 808:, for every 691: 546: 537: 449: 420:, for every 84: 42: 25:Fejér kernel 20: 18: 1064:operation. 1062:convolution 1060:denote the 857:increases. 1841:Categories 1789:References 1711:satisfies 39:Definition 1772:∞ 1760:‖ 1747:~ 1737:‖ 1727:∈ 1665:≥ 1623:~ 1559:∞ 1556:→ 1527:→ 1521:∗ 1470:∈ 1411:∞ 1408:→ 1344:→ 1338:∗ 1287:∈ 1238:∞ 1235:→ 1174:→ 1168:∗ 1098:∈ 1048:∗ 950:δ 816:δ 796:∞ 793:→ 767:→ 726:π 723:≤ 707:≤ 704:δ 700:∫ 677:π 617:∫ 610:π 576:π 468:≥ 428:δ 408:∞ 405:→ 379:→ 328:≤ 312:≤ 309:δ 305:∫ 279:≤ 232:∫ 170:∫ 1819:(2004), 1150:), then 966:Examples 483:for all 1503:, then 1320:, then 503:, i.e. 1827:  1575:. If 1545:, as 1397:, as 536:is a 1825:ISBN 1769:< 1007:Let 990:The 984:The 977:The 971:The 947:> 819:> 431:> 83:. A 43:Let 1720:sup 1648:sup 1426:If 1359:in 1257:If 1189:in 1068:If 996:not 994:is 782:as 394:as 120:in 1843:: 1644::= 962:. 834:. 56::= 1764:1 1754:n 1744:k 1731:N 1724:n 1699:) 1696:y 1693:( 1688:n 1684:k 1677:| 1673:x 1669:| 1661:| 1657:y 1653:| 1641:) 1638:x 1635:( 1630:n 1620:k 1596:) 1591:n 1587:k 1583:( 1553:n 1530:f 1524:f 1516:n 1512:k 1491:) 1487:T 1483:( 1478:1 1474:L 1467:f 1447:) 1442:n 1438:k 1434:( 1423:. 1405:n 1385:) 1381:T 1377:( 1372:1 1368:L 1347:f 1341:f 1333:n 1329:k 1308:) 1304:T 1300:( 1295:1 1291:L 1284:f 1281:, 1278:) 1273:n 1269:k 1265:( 1254:. 1232:n 1212:) 1208:T 1204:( 1199:C 1177:f 1171:f 1163:n 1159:k 1137:T 1116:) 1112:T 1108:( 1103:C 1095:f 1092:, 1089:) 1084:n 1080:k 1076:( 1028:) 1023:n 1019:k 1015:( 943:| 939:t 935:| 913:R 891:T 869:R 845:n 822:0 790:n 770:0 764:t 761:d 756:| 752:) 749:t 746:( 741:n 737:k 732:| 719:| 715:t 711:| 657:1 654:= 651:t 648:d 644:) 641:t 638:( 633:n 629:k 622:T 607:2 603:1 580:Z 573:2 569:/ 564:R 560:= 556:T 524:) 519:n 515:k 511:( 491:n 471:0 463:n 459:k 446:. 434:0 402:n 382:0 376:t 373:d 368:| 364:) 361:t 358:( 353:n 349:k 344:| 336:2 333:1 324:| 320:t 316:| 282:M 276:t 273:d 268:| 264:) 261:t 258:( 253:n 249:k 244:| 237:T 210:1 207:= 204:t 201:d 197:) 194:t 191:( 186:n 182:k 175:T 146:) 142:T 138:( 133:1 129:L 108:) 103:n 99:k 95:( 70:Z 65:/ 60:R 52:T

Index

Fejér kernel
Fourier analysis
approximation of the identity
follows automatically
Fejér kernel
Poisson kernel
Landau kernel
Dirichlet kernel
convolution
Fejér's theorem
pointwise a.e.
Hardy–Littlewood maximal function
Katznelson, Yitzhak
ISBN
0-521-54359-2
Categories
Mathematical analysis
Fourier series

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