Knowledge (XXG)

Van der Corput's method

Source 📝

703: 962: 544: 1128: 301: 405: 1232: 698:{\displaystyle \left\vert {\sum _{n=a}^{b}e(f(n))}\right\vert \ll {\frac {1}{\sqrt {\lambda }}}\max _{\alpha \leq \gamma \leq \beta }\left\vert {\sum _{\nu =\alpha }^{\gamma }e(g(\nu ))}\right\vert \ .} 762: 1391: 1296: 1016: 98: 533: 1453: 185: 312: 1151: 1550: 1519: 1485: 957:{\displaystyle \left\vert {f^{(r+1)}(x)-(-1)^{r}s(s+1)\cdots (s+r)Tx^{-s-r}}\right\vert \leq \delta s(s+1)\cdots (s+r)Tx^{-s-r}\ } 1582: 1503: 1511: 1328: 1320: 1123:{\displaystyle \left\vert {\sum _{n=a}^{b}e(f(n))}\right\vert \ll \left({\frac {T}{N^{\sigma }}}\right)^{k}N^{l}\ } 1237: 41: 753: 461: 1463: 1398: 1577: 1316: 1462:
states that for all ε > 0, the pair (ε,1/2+ε) is an exponent pair. This conjecture implies the
728:
gives a class of estimates for functions with a particular smoothness property. Fix parameters
296:{\displaystyle \sum _{h=1}^{H}\left\vert {\sum _{n=a}^{b-h}e(f_{h}(n))}\right\vert \leq b-a\ .} 1546: 1515: 1481: 400:{\displaystyle \left\vert {\sum _{n=a}^{b}e(f(n))}\right\vert \ll {\frac {b-a}{\sqrt {H}}}\ .} 1556: 1525: 1491: 1560: 1542: 1529: 1495: 108: 21: 1571: 1478:
The Riemann zeta-function. The theory of the Riemann zeta-function with applications
1508:
Ten lectures on the interface between analytic number theory and harmonic analysis
1510:. Regional Conference Series in Mathematics. Vol. 84. Providence, RI: 1537:
Sándor, József; Mitrinović, Dragoslav S.; Crstici, Borislav, eds. (2006).
1227:{\displaystyle \left({{\frac {k}{2k+2}},{\frac {k+l+1}{2k+2}}}\right)} 32:
which relate the sums into simpler sums which are easier to estimate.
423:
defined in terms of the derivative of f. Suppose that
1301:
A trivial bound shows that (0,1) is an exponent pair.
1401: 1331: 1240: 1154: 1019: 765: 547: 464: 315: 188: 44: 35:
The processes apply to exponential sums of the form
1386:{\displaystyle \zeta (1/2+it)\ll t^{\theta }\log t} 1447: 1385: 1290: 1226: 1122: 956: 697: 527: 399: 295: 92: 616: 131:To apply process A, write the first difference 708:Applying Process B again to the sum involving 8: 1291:{\displaystyle \left({l-1/2,k+1/2}\right)} 1437: 1426: 1400: 1368: 1341: 1330: 1275: 1255: 1245: 1239: 1184: 1160: 1159: 1153: 1111: 1101: 1089: 1080: 1040: 1029: 1024: 1018: 936: 867: 818: 775: 770: 764: 657: 646: 641: 619: 603: 568: 557: 552: 546: 463: 371: 336: 325: 320: 314: 252: 230: 219: 214: 204: 193: 187: 60: 49: 43: 24:. The method applies two processes, the 1480:. New York etc.: John Wiley & Sons. 1304:The set of exponents pairs is convex. 998:if for each σ > 0 there exists δ and 93:{\displaystyle \sum _{n=a}^{b}e(f(n))\ } 415:Process B transforms the sum involving 716:and so yields no further information. 528:{\displaystyle g(y)=f(u(y))-yu(y)\ .} 7: 978:We say that a pair of real numbers ( 1448:{\displaystyle \theta =(k+l-1/2)/2} 1234:. By Process B we find that so is 748:defined on an interval which are 14: 1148:) is an exponent pair then so is 447:' is invertible on with inverse 1315:) is an exponent pair then the 1434: 1408: 1358: 1335: 1140:By Process A we find that if ( 1064: 1061: 1055: 1049: 926: 914: 908: 896: 857: 845: 839: 827: 815: 805: 799: 793: 788: 776: 681: 678: 672: 666: 592: 589: 583: 577: 516: 510: 498: 495: 489: 483: 474: 468: 419:into one involving a function 360: 357: 351: 345: 267: 264: 258: 245: 84: 81: 75: 69: 1: 1512:American Mathematical Society 427:is monotone increasing with 1539:Handbook of number theory I 744:,δ. We consider functions 1599: 26:van der Corput processes A 1476:Ivić, Aleksandar (1985). 1460:exponent pair conjecture 712:returns to the sum over 20:generates estimates for 18:van der Corput's method 1583:Analytic number theory 1449: 1387: 1292: 1228: 1124: 1045: 967:uniformly on for 0 ≤ 958: 699: 662: 573: 529: 455:'' ≥ λ > 0. Write 451:say. Further suppose 401: 341: 297: 241: 209: 94: 65: 1450: 1388: 1317:Riemann zeta function 1307:It is known that if ( 1293: 1229: 1125: 1025: 959: 700: 642: 553: 530: 402: 321: 298: 215: 189: 95: 45: 1399: 1329: 1238: 1152: 1017: 763: 545: 462: 313: 186: 42: 1504:Montgomery, Hugh L. 1464:Lindelöf hypothesis 752:times continuously 1445: 1383: 1288: 1224: 1120: 954: 695: 636: 525: 397: 293: 107:is a sufficiently 90: 1217: 1179: 1119: 1095: 953: 691: 615: 613: 612: 521: 393: 389: 388: 289: 119:) denotes exp(2πi 89: 1590: 1564: 1533: 1499: 1454: 1452: 1451: 1446: 1441: 1430: 1392: 1390: 1389: 1384: 1373: 1372: 1345: 1297: 1295: 1294: 1289: 1287: 1283: 1279: 1259: 1233: 1231: 1230: 1225: 1223: 1219: 1218: 1216: 1202: 1185: 1180: 1178: 1161: 1129: 1127: 1126: 1121: 1117: 1116: 1115: 1106: 1105: 1100: 1096: 1094: 1093: 1081: 1071: 1067: 1044: 1039: 963: 961: 960: 955: 951: 950: 949: 886: 882: 881: 880: 823: 822: 792: 791: 704: 702: 701: 696: 689: 688: 684: 661: 656: 635: 614: 608: 604: 599: 595: 572: 567: 534: 532: 531: 526: 519: 406: 404: 403: 398: 391: 390: 384: 383: 372: 367: 363: 340: 335: 302: 300: 299: 294: 287: 274: 270: 257: 256: 240: 229: 208: 203: 167:Assume there is 99: 97: 96: 91: 87: 64: 59: 22:exponential sums 16:In mathematics, 1598: 1597: 1593: 1592: 1591: 1589: 1588: 1587: 1568: 1567: 1553: 1543:Springer-Verlag 1536: 1522: 1502: 1488: 1475: 1472: 1397: 1396: 1364: 1327: 1326: 1241: 1236: 1235: 1203: 1186: 1165: 1155: 1150: 1149: 1107: 1085: 1076: 1075: 1020: 1015: 1014: 932: 863: 814: 771: 766: 761: 760: 722: 637: 548: 543: 542: 460: 459: 413: 373: 316: 311: 310: 248: 210: 184: 183: 139: 129: 109:smooth function 40: 39: 12: 11: 5: 1596: 1594: 1586: 1585: 1580: 1570: 1569: 1566: 1565: 1551: 1534: 1520: 1500: 1486: 1471: 1468: 1444: 1440: 1436: 1433: 1429: 1425: 1422: 1419: 1416: 1413: 1410: 1407: 1404: 1382: 1379: 1376: 1371: 1367: 1363: 1360: 1357: 1354: 1351: 1348: 1344: 1340: 1337: 1334: 1286: 1282: 1278: 1274: 1271: 1268: 1265: 1262: 1258: 1254: 1251: 1248: 1244: 1222: 1215: 1212: 1209: 1206: 1201: 1198: 1195: 1192: 1189: 1183: 1177: 1174: 1171: 1168: 1164: 1158: 1131: 1130: 1114: 1110: 1104: 1099: 1092: 1088: 1084: 1079: 1074: 1070: 1066: 1063: 1060: 1057: 1054: 1051: 1048: 1043: 1038: 1035: 1032: 1028: 1023: 965: 964: 948: 945: 942: 939: 935: 931: 928: 925: 922: 919: 916: 913: 910: 907: 904: 901: 898: 895: 892: 889: 885: 879: 876: 873: 870: 866: 862: 859: 856: 853: 850: 847: 844: 841: 838: 835: 832: 829: 826: 821: 817: 813: 810: 807: 804: 801: 798: 795: 790: 787: 784: 781: 778: 774: 769: 754:differentiable 726:exponent pairs 724:The method of 721: 720:Exponent pairs 718: 706: 705: 694: 687: 683: 680: 677: 674: 671: 668: 665: 660: 655: 652: 649: 645: 640: 634: 631: 628: 625: 622: 618: 611: 607: 602: 598: 594: 591: 588: 585: 582: 579: 576: 571: 566: 563: 560: 556: 551: 536: 535: 524: 518: 515: 512: 509: 506: 503: 500: 497: 494: 491: 488: 485: 482: 479: 476: 473: 470: 467: 412: 409: 408: 407: 396: 387: 382: 379: 376: 370: 366: 362: 359: 356: 353: 350: 347: 344: 339: 334: 331: 328: 324: 319: 304: 303: 292: 286: 283: 280: 277: 273: 269: 266: 263: 260: 255: 251: 247: 244: 239: 236: 233: 228: 225: 222: 218: 213: 207: 202: 199: 196: 192: 135: 128: 125: 101: 100: 86: 83: 80: 77: 74: 71: 68: 63: 58: 55: 52: 48: 13: 10: 9: 6: 4: 3: 2: 1595: 1584: 1581: 1579: 1576: 1575: 1573: 1562: 1558: 1554: 1552:1-4020-4215-9 1548: 1544: 1541:. Dordrecht: 1540: 1535: 1531: 1527: 1523: 1521:0-8218-0737-4 1517: 1513: 1509: 1505: 1501: 1497: 1493: 1489: 1487:0-471-80634-X 1483: 1479: 1474: 1473: 1469: 1467: 1465: 1461: 1456: 1442: 1438: 1431: 1427: 1423: 1420: 1417: 1414: 1411: 1405: 1402: 1393: 1380: 1377: 1374: 1369: 1365: 1361: 1355: 1352: 1349: 1346: 1342: 1338: 1332: 1324: 1322: 1321:critical line 1318: 1314: 1310: 1305: 1302: 1299: 1284: 1280: 1276: 1272: 1269: 1266: 1263: 1260: 1256: 1252: 1249: 1246: 1242: 1220: 1213: 1210: 1207: 1204: 1199: 1196: 1193: 1190: 1187: 1181: 1175: 1172: 1169: 1166: 1162: 1156: 1147: 1143: 1138: 1136: 1133:uniformly in 1112: 1108: 1102: 1097: 1090: 1086: 1082: 1077: 1072: 1068: 1058: 1052: 1046: 1041: 1036: 1033: 1030: 1026: 1021: 1013: 1012: 1011: 1010:,σ such that 1009: 1005: 1002:depending on 1001: 997: 996:exponent pair 993: 989: 985: 981: 976: 974: 970: 946: 943: 940: 937: 933: 929: 923: 920: 917: 911: 905: 902: 899: 893: 890: 887: 883: 877: 874: 871: 868: 864: 860: 854: 851: 848: 842: 836: 833: 830: 824: 819: 811: 808: 802: 796: 785: 782: 779: 772: 767: 759: 758: 757: 756:, satisfying 755: 751: 747: 743: 739: 735: 731: 727: 719: 717: 715: 711: 692: 685: 675: 669: 663: 658: 653: 650: 647: 643: 638: 632: 629: 626: 623: 620: 609: 605: 600: 596: 586: 580: 574: 569: 564: 561: 558: 554: 549: 541: 540: 539: 522: 513: 507: 504: 501: 492: 486: 480: 477: 471: 465: 458: 457: 456: 454: 450: 446: 443:) = β. Then 442: 438: 434: 430: 426: 422: 418: 410: 394: 385: 380: 377: 374: 368: 364: 354: 348: 342: 337: 332: 329: 326: 322: 317: 309: 308: 307: 290: 284: 281: 278: 275: 271: 261: 253: 249: 242: 237: 234: 231: 226: 223: 220: 216: 211: 205: 200: 197: 194: 190: 182: 181: 180: 178: 174: 170: 165: 163: 159: 155: 151: 147: 143: 138: 134: 126: 124: 122: 118: 114: 110: 106: 78: 72: 66: 61: 56: 53: 50: 46: 38: 37: 36: 33: 31: 27: 23: 19: 1578:Exponentials 1538: 1507: 1477: 1459: 1457: 1394: 1325: 1312: 1308: 1306: 1303: 1300: 1145: 1141: 1139: 1134: 1132: 1007: 1003: 999: 995: 991: 987: 983: 979: 977: 972: 968: 966: 749: 745: 741: 737: 733: 729: 725: 723: 713: 709: 707: 537: 452: 448: 444: 440: 436: 432: 428: 424: 420: 416: 414: 305: 176: 172: 168: 166: 161: 157: 153: 149: 145: 141: 136: 132: 130: 120: 116: 112: 104: 102: 34: 29: 25: 17: 15: 986:) with 0 ≤ 1572:Categories 1561:1151.11300 1530:0814.11001 1496:0556.10026 1470:References 1323:satisfies 994:≤ 1 is an 179:such that 1421:− 1403:θ 1378:⁡ 1370:θ 1362:≪ 1333:ζ 1250:− 1091:σ 1073:≪ 1027:∑ 944:− 938:− 912:⋯ 891:δ 888:≤ 875:− 869:− 843:⋯ 809:− 803:− 676:ν 659:γ 654:α 648:ν 644:∑ 633:β 630:≤ 627:γ 624:≤ 621:α 610:λ 601:≪ 555:∑ 538:We have 502:− 411:Process B 378:− 369:≪ 323:∑ 282:− 276:≤ 235:− 217:∑ 191:∑ 127:Process A 47:∑ 1506:(1994). 990:≤ 1/2 ≤ 1319:on the 435:) = α, 1559:  1549:  1528:  1518:  1494:  1484:  1395:where 1118:  952:  690:  520:  392:  288:  144:) for 103:where 88:  971:< 306:Then 1547:ISBN 1516:ISBN 1482:ISBN 1458:The 111:and 28:and 1557:Zbl 1526:Zbl 1492:Zbl 1375:log 617:max 164:). 123:). 1574:: 1555:. 1545:. 1524:. 1514:. 1490:. 1466:. 1455:. 1298:. 1137:. 975:. 439:'( 431:'( 425:f' 171:≤ 156:)− 1563:. 1532:. 1498:. 1443:2 1439:/ 1435:) 1432:2 1428:/ 1424:1 1418:l 1415:+ 1412:k 1409:( 1406:= 1381:t 1366:t 1359:) 1356:t 1353:i 1350:+ 1347:2 1343:/ 1339:1 1336:( 1313:l 1311:, 1309:k 1285:) 1281:2 1277:/ 1273:1 1270:+ 1267:k 1264:, 1261:2 1257:/ 1253:1 1247:l 1243:( 1221:) 1214:2 1211:+ 1208:k 1205:2 1200:1 1197:+ 1194:l 1191:+ 1188:k 1182:, 1176:2 1173:+ 1170:k 1167:2 1163:k 1157:( 1146:l 1144:, 1142:k 1135:f 1113:l 1109:N 1103:k 1098:) 1087:N 1083:T 1078:( 1069:| 1065:) 1062:) 1059:n 1056:( 1053:f 1050:( 1047:e 1042:b 1037:a 1034:= 1031:n 1022:| 1008:l 1006:, 1004:k 1000:R 992:l 988:k 984:l 982:, 980:k 973:R 969:r 947:r 941:s 934:x 930:T 927:) 924:r 921:+ 918:s 915:( 909:) 906:1 903:+ 900:s 897:( 894:s 884:| 878:r 872:s 865:x 861:T 858:) 855:r 852:+ 849:s 846:( 840:) 837:1 834:+ 831:s 828:( 825:s 820:r 816:) 812:1 806:( 800:) 797:x 794:( 789:) 786:1 783:+ 780:r 777:( 773:f 768:| 750:R 746:f 742:s 740:, 738:T 736:, 734:R 732:, 730:N 714:f 710:g 693:. 686:| 682:) 679:) 673:( 670:g 667:( 664:e 651:= 639:| 606:1 597:| 593:) 590:) 587:n 584:( 581:f 578:( 575:e 570:b 565:a 562:= 559:n 550:| 523:. 517:) 514:y 511:( 508:u 505:y 499:) 496:) 493:y 490:( 487:u 484:( 481:f 478:= 475:) 472:y 469:( 466:g 453:f 449:u 445:f 441:b 437:f 433:a 429:f 421:g 417:f 395:. 386:H 381:a 375:b 365:| 361:) 358:) 355:n 352:( 349:f 346:( 343:e 338:b 333:a 330:= 327:n 318:| 291:. 285:a 279:b 272:| 268:) 265:) 262:n 259:( 254:h 250:f 246:( 243:e 238:h 232:b 227:a 224:= 221:n 212:| 206:H 201:1 198:= 195:h 177:a 175:− 173:b 169:H 162:x 160:( 158:f 154:h 152:+ 150:x 148:( 146:f 142:x 140:( 137:h 133:f 121:x 117:x 115:( 113:e 105:f 85:) 82:) 79:n 76:( 73:f 70:( 67:e 62:b 57:a 54:= 51:n 30:B

Index

exponential sums
smooth function
differentiable
Riemann zeta function
critical line
Lindelöf hypothesis
ISBN
0-471-80634-X
Zbl
0556.10026
Montgomery, Hugh L.
American Mathematical Society
ISBN
0-8218-0737-4
Zbl
0814.11001
Springer-Verlag
ISBN
1-4020-4215-9
Zbl
1151.11300
Categories
Exponentials
Analytic number theory

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