Knowledge (XXG)

Paley–Wiener theorem

Source 📝

788: 922: 1056: 2263: 3345: 1786: 1278: 197: 2933: 620: 3432: 2547: 1547: 3126: 1671: 659: 1110: 515: 803: 1326: 953: 2806: 2433: 2097: 1195: 310: 3037: 2378: 2315: 1949: 1916: 1459: 464: 2151: 392: 363: 1283:
This is a very useful result as it enables one to pass to the Fourier transform of a function in the Hardy space and perform calculations in the easily understood space
643: 330: 220: 3216: 2771: 1836: 3224: 3189: 3169: 3149: 3057: 3008: 2984: 2956: 2744: 2714: 2694: 2670: 2650: 2630: 2610: 2590: 2570: 2398: 2349: 2286: 2143: 2123: 2035: 2015: 1995: 1809: 1694: 1597: 1577: 1373: 1349: 1150: 1130: 945: 535: 435: 412: 272: 252: 1871: 1408: 1702: 78: 1204: 117: 3689: 3679: 3597: 3571: 1965: 2814: 543: 3647: 3353: 2441: 1467: 3684: 3065: 2318: 231: 44:(1894–1964) who, in 1934, introduced various versions of the theorem. The original theorems did not use the language of 783:{\displaystyle \int _{-\infty }^{\infty }\left|f(\xi +i\eta )\right|^{2}\,d\xi \leq \int _{0}^{\infty }|F(x)|^{2}\,dx} 1605: 1974: 1882: 108: 25: 1064: 469: 91:
respectively. These are related mathematical concepts that place the decay properties of a function in context of
917:{\displaystyle \lim _{\eta \to 0^{+}}\int _{-\infty }^{\infty }\left|f(\xi +i\eta )-f(\xi )\right|^{2}\,d\xi =0.} 111:
supported on the real line. Formally, the idea is to take the integral defining the (inverse) Fourier transform
1051:{\displaystyle \sup _{\eta >0}\int _{-\infty }^{\infty }\left|f(\xi +i\eta )\right|^{2}\,d\xi =C<\infty } 1286: 394:; so differentiation under the integral sign is out of the question. One must impose further restrictions on 650: 2776: 2403: 2043: 88: 1162: 277: 3694: 794: 2258:{\displaystyle {\hat {v}}(s)=(2\pi )^{-{\frac {n}{2}}}v\left(x\mapsto e^{-i\langle x,s\rangle }\right)} 3013: 2354: 2291: 1925: 1892: 1413: 440: 104: 45: 368: 73: 57: 335: 3643: 3593: 3567: 3542: 68: 33: 29: 1811:
which is square-integrable over horizontal lines is the holomorphic Fourier transform of an
3657: 3615: 2963: 1952: 1557: 646: 628: 517:. The Paley–Wiener theorem now asserts the following: The holomorphic Fourier transform of 315: 227: 205: 92: 53: 3631: 3607: 3194: 2749: 1814: 3627: 3603: 3340:{\displaystyle |{\hat {v}}(\zeta )|\leq C_{m}(1+|\zeta |)^{N}e^{H(\mathrm {Im} (\zeta ))}} 1919: 1886: 1553: 1352: 3559: 3174: 3154: 3134: 3042: 2993: 2969: 2941: 2729: 2699: 2679: 2655: 2635: 2615: 2595: 2575: 2555: 2383: 2334: 2271: 2128: 2108: 2020: 2000: 1980: 1794: 1679: 1582: 1562: 1358: 1334: 1135: 1115: 930: 520: 420: 397: 257: 254:
defines an analytic function. However, this integral may not be well-defined, even for
237: 230:. One may then expect to differentiate under the integral in order to verify that the 223: 83: 64: 41: 1841: 1378: 3673: 3555: 37: 3581: 63:
The original work by Paley and Wiener is also used as a namesake in the fields of
2125:
is a function (as opposed to a general tempered distribution) given at the value
1781:{\displaystyle \int _{-\infty }^{\infty }|f(\xi +i\eta )|^{2}\,d\xi <\infty .} 3589: 1156: 17: 2317:. This extension of the Fourier transform to the complex domain is called the 1273:{\displaystyle {\mathcal {F}}H^{2}(\mathbb {R} )=L^{2}(\mathbb {R_{+}} ).} 1159: 49: 1881:
Schwartz's Paley–Wiener theorem asserts that the Fourier transform of a
1155:
In abstract terms, this version of the theorem explicitly describes the
192:{\displaystyle f(\zeta )=\int _{-\infty }^{\infty }F(x)e^{ix\zeta }\,dx} 2928:{\displaystyle |F(z)|\leq C_{N}(1+|z|)^{-N}e^{B|\mathrm {Im} (z)|}} 1951:
and gives estimates on its growth at infinity. It was proven by
615:{\displaystyle f(\zeta )=\int _{0}^{\infty }F(x)e^{ix\zeta }\,dx} 1328:
of square-integrable functions supported on the positive axis.
3427:{\displaystyle |\mathrm {Im} (\zeta )|\leq m\log(|\zeta |+1).} 24:
is any theorem that relates decay properties of a function or
947:
is a holomorphic function in the upper half-plane satisfying
2542:{\displaystyle |F(z)|\leq C(1+|z|)^{N}e^{B|{\text{Im}}(z)|}} 1542:{\displaystyle f(\zeta )=\int _{-A}^{A}F(x)e^{ix\zeta }\,dx} 1210: 2958:
is an infinitely differentiable function, and vice versa.
2037:
is an infinitely differentiable function, the expression
1355:, one obtains another Paley–Wiener theorem. Suppose that 52:. The first such theorem using distributions was due to 1973:
Generally, the Fourier transform can be defined for any
3618:(1952), "Transformation de Laplace des distributions", 3547:
The Analysis of Linear Partial Differential Operators I
3121:{\displaystyle H(x)=\sup _{y\in K}\langle x,y\rangle .} 2632:
in fact will be supported in the closed ball of center
414:
in order to ensure that this integral is well-defined.
3640:
A Guide to Distribution Theory and Fourier Transforms
3356: 3227: 3197: 3177: 3157: 3137: 3068: 3045: 3016: 2996: 2972: 2944: 2817: 2779: 2752: 2732: 2702: 2682: 2658: 2638: 2618: 2598: 2578: 2558: 2444: 2406: 2386: 2357: 2337: 2294: 2274: 2154: 2131: 2111: 2046: 2023: 2003: 1983: 1928: 1895: 1844: 1817: 1797: 1705: 1682: 1608: 1585: 1565: 1470: 1416: 1381: 1361: 1337: 1289: 1207: 1165: 1138: 1118: 1067: 956: 933: 806: 662: 631: 546: 523: 472: 443: 423: 400: 371: 338: 318: 280: 260: 240: 208: 120: 60:(to interchange the absolute value and integration). 2676:
Additional growth conditions on the entire function
2268:
and that this function can be extended to values of
1791:
Conversely, any entire function of exponential type
103:
The classical Paley–Wiener theorems make use of the
2380:is the Fourier–Laplace transform of a distribution 3426: 3339: 3210: 3183: 3163: 3143: 3120: 3051: 3031: 3002: 2978: 2950: 2927: 2800: 2765: 2738: 2708: 2688: 2664: 2644: 2624: 2604: 2584: 2564: 2541: 2427: 2392: 2372: 2343: 2309: 2280: 2257: 2137: 2117: 2091: 2029: 2009: 1989: 1943: 1910: 1865: 1830: 1803: 1780: 1688: 1665: 1591: 1571: 1541: 1453: 1402: 1367: 1343: 1320: 1272: 1189: 1144: 1124: 1104: 1050: 939: 916: 782: 637: 614: 529: 509: 458: 429: 406: 386: 357: 324: 304: 266: 246: 214: 191: 2696:impose regularity properties on the distribution 3085: 1977:; moreover, any distribution of compact support 1964:harvtxt error: no target: CITEREFHörmander1976 ( 958: 808: 1666:{\displaystyle |f(\zeta )|\leq Ce^{A|\zeta |},} 2105:It can be shown that the Fourier transform of 3566:. Providence, RI: American Mathematical Soc. 2962:Sharper results giving good control over the 1331:By imposing the alternative restriction that 8: 3112: 3100: 2245: 2233: 1696:is square-integrable over horizontal lines: 1105:{\displaystyle F\in L^{2}(\mathbb {R} _{+})} 510:{\displaystyle F\in L^{2}(\mathbb {R} _{+})} 3461: 3449: 2720: 2325: 332:is in the upper half plane, the modulus of 3509: 3497: 3477: 2400:of compact support if and only if for all 1959:). The formulation presented here is from 1461:. Then the holomorphic Fourier transform 3525: 3513: 3407: 3399: 3379: 3362: 3357: 3355: 3315: 3308: 3298: 3289: 3281: 3266: 3254: 3234: 3233: 3228: 3226: 3202: 3196: 3176: 3156: 3136: 3088: 3067: 3044: 3023: 3019: 3018: 3015: 2995: 2987: 2971: 2943: 2918: 2901: 2896: 2892: 2879: 2870: 2862: 2847: 2835: 2818: 2816: 2792: 2788: 2787: 2778: 2757: 2751: 2731: 2701: 2681: 2657: 2637: 2617: 2597: 2577: 2557: 2532: 2518: 2513: 2509: 2499: 2490: 2482: 2462: 2445: 2443: 2419: 2415: 2414: 2405: 2385: 2364: 2360: 2359: 2356: 2336: 2301: 2297: 2296: 2293: 2273: 2226: 2196: 2192: 2156: 2155: 2153: 2130: 2110: 2045: 2022: 2017:is a distribution of compact support and 2002: 1982: 1960: 1935: 1931: 1930: 1927: 1902: 1898: 1897: 1894: 1843: 1822: 1816: 1796: 1762: 1756: 1751: 1724: 1718: 1710: 1704: 1681: 1653: 1645: 1641: 1626: 1609: 1607: 1584: 1564: 1532: 1520: 1498: 1490: 1469: 1427: 1415: 1380: 1360: 1336: 1309: 1305: 1304: 1294: 1288: 1258: 1257: 1254: 1252: 1243: 1229: 1228: 1219: 1209: 1208: 1206: 1180: 1179: 1170: 1164: 1137: 1117: 1093: 1089: 1088: 1078: 1066: 1029: 1023: 985: 977: 961: 955: 932: 901: 895: 842: 834: 822: 811: 805: 773: 767: 762: 744: 738: 733: 719: 713: 675: 667: 661: 630: 605: 593: 571: 566: 545: 522: 498: 494: 493: 483: 471: 450: 446: 445: 442: 422: 399: 370: 343: 337: 317: 295: 294: 285: 279: 259: 239: 207: 182: 170: 148: 140: 119: 3564:Fourier Transforms in the Complex Domain 1956: 1132:is the holomorphic Fourier transform of 649:is a holomorphic function. Moreover, by 3442: 1321:{\displaystyle L^{2}(\mathbb {R} _{+})} 3481: 3493: 3473: 2801:{\displaystyle z\in \mathbb {C} ^{n}} 2428:{\displaystyle z\in \mathbb {C} ^{n}} 2092:{\displaystyle v(f)=v(x\mapsto f(x))} 56:. These theorems heavily rely on the 7: 1876: 3171:if and only if there is a constant 1579:, meaning that there is a constant 1190:{\displaystyle H^{2}(\mathbb {R} )} 417:The first such restriction is that 305:{\displaystyle L^{2}(\mathbb {R} )} 3366: 3363: 3319: 3316: 2905: 2902: 1772: 1719: 1714: 1045: 986: 981: 843: 838: 739: 676: 671: 572: 381: 149: 144: 14: 3032:{\displaystyle \mathbb {R} ^{n}} 2373:{\displaystyle \mathbb {C} ^{n}} 2310:{\displaystyle \mathbb {C} ^{n}} 1944:{\displaystyle \mathbb {C} ^{n}} 1911:{\displaystyle \mathbb {R} ^{n}} 1454:{\displaystyle F\in L^{2}(-A,A)} 459:{\displaystyle \mathbb {R} _{+}} 107:Fourier transform on classes of 1997:is a tempered distribution. If 1877:Schwartz's Paley–Wiener theorem 3418: 3408: 3400: 3396: 3380: 3376: 3370: 3358: 3332: 3329: 3323: 3312: 3295: 3290: 3282: 3272: 3255: 3251: 3245: 3239: 3229: 3078: 3072: 2919: 2915: 2909: 2897: 2876: 2871: 2863: 2853: 2836: 2832: 2826: 2819: 2533: 2529: 2523: 2514: 2496: 2491: 2483: 2473: 2463: 2459: 2453: 2446: 2219: 2189: 2179: 2173: 2167: 2161: 2086: 2083: 2077: 2071: 2065: 2056: 2050: 1860: 1845: 1752: 1747: 1732: 1725: 1654: 1646: 1627: 1623: 1617: 1610: 1513: 1507: 1480: 1474: 1448: 1433: 1397: 1382: 1315: 1300: 1264: 1249: 1233: 1225: 1184: 1176: 1099: 1084: 1015: 1000: 887: 881: 872: 857: 815: 763: 758: 752: 745: 705: 690: 586: 580: 556: 550: 504: 489: 375: 299: 291: 163: 157: 130: 124: 99:Holomorphic Fourier transforms 1: 3131:Then the singular support of 387:{\displaystyle x\to -\infty } 3690:Theorems in complex analysis 3680:Theorems in Fourier analysis 3620:Comm. Sém. Math. Univ. Lund 358:{\displaystyle e^{ix\zeta }} 3010:be a convex compact set in 109:square-integrable functions 89:non-harmonic Fourier series 50:square-integrable functions 3711: 3588:(3rd ed.), New York: 3191:and sequence of constants 1198:. The theorem states that 3586:Real and complex analysis 3039:with supporting function 2319:Fourier–Laplace transform 48:, and instead applied to 2986:have been formulated by 232:Cauchy–Riemann equations 3638:Strichartz, R. (1994), 3556:Paley, Raymond E. A. C. 3462:Paley & Wiener 1934 3450:Paley & Wiener 1934 365:grows exponentially as 3464:, pp. 14–20, 100. 3428: 3341: 3212: 3185: 3165: 3145: 3122: 3053: 3033: 3004: 2980: 2952: 2929: 2802: 2767: 2740: 2726:If for every positive 2710: 2690: 2666: 2646: 2626: 2606: 2586: 2566: 2543: 2429: 2394: 2374: 2345: 2311: 2282: 2259: 2139: 2119: 2093: 2031: 2011: 1991: 1945: 1912: 1867: 1838:function supported in 1832: 1805: 1782: 1690: 1667: 1593: 1573: 1543: 1455: 1404: 1369: 1345: 1322: 1274: 1191: 1146: 1126: 1106: 1052: 941: 918: 784: 639: 638:{\displaystyle \zeta } 616: 531: 511: 460: 431: 408: 388: 359: 326: 325:{\displaystyle \zeta } 306: 268: 248: 216: 215:{\displaystyle \zeta } 193: 84:Paley–Wiener criterion 79:spectral factorization 74:Paley–Wiener condition 3685:Generalized functions 3429: 3342: 3213: 3211:{\displaystyle C_{m}} 3186: 3166: 3146: 3123: 3054: 3034: 3005: 2990:. In particular, let 2981: 2953: 2930: 2803: 2768: 2766:{\displaystyle C_{N}} 2741: 2711: 2691: 2667: 2647: 2627: 2607: 2587: 2567: 2544: 2430: 2395: 2375: 2346: 2312: 2288:in the complex space 2283: 2260: 2140: 2120: 2094: 2032: 2012: 1992: 1975:tempered distribution 1946: 1913: 1868: 1833: 1831:{\displaystyle L^{2}} 1806: 1783: 1691: 1668: 1594: 1574: 1544: 1456: 1405: 1370: 1346: 1323: 1275: 1192: 1147: 1127: 1107: 1053: 942: 919: 795:dominated convergence 785: 640: 617: 532: 512: 461: 432: 409: 389: 360: 327: 307: 269: 249: 217: 194: 36:. It is named after 3354: 3225: 3195: 3175: 3155: 3135: 3066: 3043: 3014: 2994: 2970: 2942: 2815: 2777: 2750: 2746:there is a constant 2730: 2700: 2680: 2656: 2636: 2616: 2612:. The distribution 2596: 2576: 2556: 2442: 2404: 2384: 2355: 2335: 2292: 2272: 2152: 2129: 2109: 2044: 2021: 2001: 1981: 1926: 1893: 1842: 1815: 1795: 1703: 1680: 1606: 1583: 1563: 1468: 1414: 1379: 1359: 1335: 1287: 1205: 1163: 1136: 1116: 1065: 954: 931: 804: 660: 651:Plancherel's theorem 629: 544: 521: 470: 441: 421: 398: 369: 336: 316: 278: 258: 238: 234:hold, and thus that 206: 118: 22:Paley–Wiener theorem 3662:Functional Analysis 2724: —  2552:for some constants 2331:An entire function 2329: —  1723: 1503: 1353:compactly supported 990: 847: 743: 680: 576: 153: 58:triangle inequality 3424: 3337: 3208: 3181: 3161: 3141: 3118: 3099: 3049: 3029: 3000: 2976: 2948: 2925: 2798: 2773:such that for all 2763: 2736: 2722: 2706: 2686: 2662: 2642: 2622: 2602: 2582: 2562: 2539: 2425: 2390: 2370: 2341: 2327: 2326:Schwartz's theorem 2307: 2278: 2255: 2135: 2115: 2089: 2027: 2007: 1987: 1941: 1908: 1863: 1828: 1801: 1778: 1706: 1686: 1663: 1589: 1569: 1539: 1486: 1451: 1400: 1365: 1341: 1318: 1270: 1187: 1142: 1122: 1102: 1061:then there exists 1048: 973: 972: 937: 914: 830: 829: 780: 729: 663: 635: 612: 562: 527: 507: 456: 427: 404: 384: 355: 322: 302: 264: 244: 212: 189: 136: 93:stability problems 71:; introducing the 3616:Schwartz, Laurent 3599:978-0-07-054234-1 3573:978-0-8218-1019-4 3549:, Springer Verlag 3512:, Theorem 7.2.2; 3480:, Theorem 7.2.4; 3242: 3184:{\displaystyle N} 3164:{\displaystyle K} 3144:{\displaystyle v} 3084: 3052:{\displaystyle H} 3003:{\displaystyle K} 2979:{\displaystyle v} 2951:{\displaystyle v} 2739:{\displaystyle N} 2716:. For instance: 2709:{\displaystyle v} 2689:{\displaystyle F} 2665:{\displaystyle B} 2645:{\displaystyle 0} 2625:{\displaystyle v} 2605:{\displaystyle B} 2585:{\displaystyle N} 2565:{\displaystyle C} 2521: 2393:{\displaystyle v} 2344:{\displaystyle F} 2281:{\displaystyle s} 2204: 2164: 2138:{\displaystyle s} 2118:{\displaystyle v} 2102:is well defined. 2030:{\displaystyle f} 2010:{\displaystyle v} 1990:{\displaystyle v} 1804:{\displaystyle A} 1689:{\displaystyle f} 1592:{\displaystyle C} 1572:{\displaystyle A} 1368:{\displaystyle F} 1344:{\displaystyle F} 1145:{\displaystyle F} 1125:{\displaystyle f} 957: 940:{\displaystyle f} 807: 530:{\displaystyle F} 430:{\displaystyle F} 407:{\displaystyle F} 267:{\displaystyle F} 247:{\displaystyle f} 69:harmonic analysis 34:Fourier transform 28:at infinity with 3702: 3665: 3664:, Academic Press 3652: 3634: 3610: 3577: 3550: 3529: 3523: 3517: 3507: 3501: 3496:, Theorem 19.3; 3491: 3485: 3476:, Theorem 19.2; 3471: 3465: 3459: 3453: 3447: 3433: 3431: 3430: 3425: 3411: 3403: 3383: 3369: 3361: 3346: 3344: 3343: 3338: 3336: 3335: 3322: 3303: 3302: 3293: 3285: 3271: 3270: 3258: 3244: 3243: 3235: 3232: 3217: 3215: 3214: 3209: 3207: 3206: 3190: 3188: 3187: 3182: 3170: 3168: 3167: 3162: 3151:is contained in 3150: 3148: 3147: 3142: 3127: 3125: 3124: 3119: 3098: 3058: 3056: 3055: 3050: 3038: 3036: 3035: 3030: 3028: 3027: 3022: 3009: 3007: 3006: 3001: 2988:Hörmander (1990) 2985: 2983: 2982: 2977: 2964:singular support 2957: 2955: 2954: 2949: 2934: 2932: 2931: 2926: 2924: 2923: 2922: 2908: 2900: 2887: 2886: 2874: 2866: 2852: 2851: 2839: 2822: 2807: 2805: 2804: 2799: 2797: 2796: 2791: 2772: 2770: 2769: 2764: 2762: 2761: 2745: 2743: 2742: 2737: 2725: 2715: 2713: 2712: 2707: 2695: 2693: 2692: 2687: 2671: 2669: 2668: 2663: 2651: 2649: 2648: 2643: 2631: 2629: 2628: 2623: 2611: 2609: 2608: 2603: 2591: 2589: 2588: 2583: 2571: 2569: 2568: 2563: 2548: 2546: 2545: 2540: 2538: 2537: 2536: 2522: 2519: 2517: 2504: 2503: 2494: 2486: 2466: 2449: 2434: 2432: 2431: 2426: 2424: 2423: 2418: 2399: 2397: 2396: 2391: 2379: 2377: 2376: 2371: 2369: 2368: 2363: 2350: 2348: 2347: 2342: 2330: 2316: 2314: 2313: 2308: 2306: 2305: 2300: 2287: 2285: 2284: 2279: 2264: 2262: 2261: 2256: 2254: 2250: 2249: 2248: 2207: 2206: 2205: 2197: 2166: 2165: 2157: 2144: 2142: 2141: 2136: 2124: 2122: 2121: 2116: 2098: 2096: 2095: 2090: 2036: 2034: 2033: 2028: 2016: 2014: 2013: 2008: 1996: 1994: 1993: 1988: 1969: 1961:Hörmander (1976) 1953:Laurent Schwartz 1950: 1948: 1947: 1942: 1940: 1939: 1934: 1917: 1915: 1914: 1909: 1907: 1906: 1901: 1872: 1870: 1869: 1866:{\displaystyle } 1864: 1837: 1835: 1834: 1829: 1827: 1826: 1810: 1808: 1807: 1802: 1787: 1785: 1784: 1779: 1761: 1760: 1755: 1728: 1722: 1717: 1695: 1693: 1692: 1687: 1672: 1670: 1669: 1664: 1659: 1658: 1657: 1649: 1630: 1613: 1598: 1596: 1595: 1590: 1578: 1576: 1575: 1570: 1558:exponential type 1548: 1546: 1545: 1540: 1531: 1530: 1502: 1497: 1460: 1458: 1457: 1452: 1432: 1431: 1409: 1407: 1406: 1403:{\displaystyle } 1401: 1375:is supported in 1374: 1372: 1371: 1366: 1350: 1348: 1347: 1342: 1327: 1325: 1324: 1319: 1314: 1313: 1308: 1299: 1298: 1279: 1277: 1276: 1271: 1263: 1262: 1261: 1248: 1247: 1232: 1224: 1223: 1214: 1213: 1196: 1194: 1193: 1188: 1183: 1175: 1174: 1151: 1149: 1148: 1143: 1131: 1129: 1128: 1123: 1111: 1109: 1108: 1103: 1098: 1097: 1092: 1083: 1082: 1057: 1055: 1054: 1049: 1028: 1027: 1022: 1018: 989: 984: 971: 946: 944: 943: 938: 923: 921: 920: 915: 900: 899: 894: 890: 846: 841: 828: 827: 826: 789: 787: 786: 781: 772: 771: 766: 748: 742: 737: 718: 717: 712: 708: 679: 674: 647:upper half-plane 644: 642: 641: 636: 621: 619: 618: 613: 604: 603: 575: 570: 536: 534: 533: 528: 516: 514: 513: 508: 503: 502: 497: 488: 487: 465: 463: 462: 457: 455: 454: 449: 437:be supported on 436: 434: 433: 428: 413: 411: 410: 405: 393: 391: 390: 385: 364: 362: 361: 356: 354: 353: 331: 329: 328: 323: 312:; indeed, since 311: 309: 308: 303: 298: 290: 289: 273: 271: 270: 265: 253: 251: 250: 245: 228:upper half-plane 221: 219: 218: 213: 198: 196: 195: 190: 181: 180: 152: 147: 54:Laurent Schwartz 40:(1907–1933) and 3710: 3709: 3705: 3704: 3703: 3701: 3700: 3699: 3670: 3669: 3656: 3650: 3637: 3614: 3600: 3580: 3574: 3560:Wiener, Norbert 3554: 3541: 3538: 3533: 3532: 3528:, Theorem 7.3.8 3524: 3520: 3516:, Theorem 7.3.1 3510:Strichartz 1994 3508: 3504: 3500:, Theorem 7.2.1 3498:Strichartz 1994 3492: 3488: 3478:Strichartz 1994 3472: 3468: 3460: 3456: 3448: 3444: 3439: 3352: 3351: 3304: 3294: 3262: 3223: 3222: 3198: 3193: 3192: 3173: 3172: 3153: 3152: 3133: 3132: 3064: 3063: 3041: 3040: 3017: 3012: 3011: 2992: 2991: 2968: 2967: 2960: 2940: 2939: 2888: 2875: 2843: 2813: 2812: 2786: 2775: 2774: 2753: 2748: 2747: 2728: 2727: 2723: 2698: 2697: 2678: 2677: 2674: 2654: 2653: 2634: 2633: 2614: 2613: 2594: 2593: 2574: 2573: 2554: 2553: 2505: 2495: 2440: 2439: 2413: 2402: 2401: 2382: 2381: 2358: 2353: 2352: 2333: 2332: 2328: 2295: 2290: 2289: 2270: 2269: 2222: 2215: 2211: 2188: 2150: 2149: 2127: 2126: 2107: 2106: 2042: 2041: 2019: 2018: 1999: 1998: 1979: 1978: 1963: 1929: 1924: 1923: 1920:entire function 1896: 1891: 1890: 1887:compact support 1879: 1840: 1839: 1818: 1813: 1812: 1793: 1792: 1750: 1701: 1700: 1678: 1677: 1637: 1604: 1603: 1581: 1580: 1561: 1560: 1554:entire function 1516: 1466: 1465: 1423: 1412: 1411: 1377: 1376: 1357: 1356: 1333: 1332: 1303: 1290: 1285: 1284: 1253: 1239: 1215: 1203: 1202: 1166: 1161: 1160: 1134: 1133: 1114: 1113: 1087: 1074: 1063: 1062: 996: 992: 991: 952: 951: 929: 928: 927:Conversely, if 853: 849: 848: 818: 802: 801: 761: 686: 682: 681: 658: 657: 627: 626: 589: 542: 541: 519: 518: 492: 479: 468: 467: 444: 439: 438: 419: 418: 396: 395: 367: 366: 339: 334: 333: 314: 313: 281: 276: 275: 256: 255: 236: 235: 204: 203: 166: 116: 115: 101: 12: 11: 5: 3708: 3706: 3698: 3697: 3692: 3687: 3682: 3672: 3671: 3668: 3667: 3654: 3648: 3635: 3612: 3598: 3578: 3572: 3552: 3537: 3534: 3531: 3530: 3526:Hörmander 1990 3518: 3514:Hörmander 1990 3502: 3486: 3466: 3454: 3441: 3440: 3438: 3435: 3423: 3420: 3417: 3414: 3410: 3406: 3402: 3398: 3395: 3392: 3389: 3386: 3382: 3378: 3375: 3372: 3368: 3365: 3360: 3348: 3347: 3334: 3331: 3328: 3325: 3321: 3318: 3314: 3311: 3307: 3301: 3297: 3292: 3288: 3284: 3280: 3277: 3274: 3269: 3265: 3261: 3257: 3253: 3250: 3247: 3241: 3238: 3231: 3205: 3201: 3180: 3160: 3140: 3129: 3128: 3117: 3114: 3111: 3108: 3105: 3102: 3097: 3094: 3091: 3087: 3083: 3080: 3077: 3074: 3071: 3048: 3026: 3021: 2999: 2975: 2947: 2936: 2935: 2921: 2917: 2914: 2911: 2907: 2904: 2899: 2895: 2891: 2885: 2882: 2878: 2873: 2869: 2865: 2861: 2858: 2855: 2850: 2846: 2842: 2838: 2834: 2831: 2828: 2825: 2821: 2795: 2790: 2785: 2782: 2760: 2756: 2735: 2718: 2705: 2685: 2661: 2641: 2621: 2601: 2581: 2561: 2550: 2549: 2535: 2531: 2528: 2525: 2516: 2512: 2508: 2502: 2498: 2493: 2489: 2485: 2481: 2478: 2475: 2472: 2469: 2465: 2461: 2458: 2455: 2452: 2448: 2422: 2417: 2412: 2409: 2389: 2367: 2362: 2340: 2323: 2304: 2299: 2277: 2266: 2265: 2253: 2247: 2244: 2241: 2238: 2235: 2232: 2229: 2225: 2221: 2218: 2214: 2210: 2203: 2200: 2195: 2191: 2187: 2184: 2181: 2178: 2175: 2172: 2169: 2163: 2160: 2134: 2114: 2100: 2099: 2088: 2085: 2082: 2079: 2076: 2073: 2070: 2067: 2064: 2061: 2058: 2055: 2052: 2049: 2026: 2006: 1986: 1938: 1933: 1905: 1900: 1878: 1875: 1862: 1859: 1856: 1853: 1850: 1847: 1825: 1821: 1800: 1789: 1788: 1777: 1774: 1771: 1768: 1765: 1759: 1754: 1749: 1746: 1743: 1740: 1737: 1734: 1731: 1727: 1721: 1716: 1713: 1709: 1685: 1676:and moreover, 1674: 1673: 1662: 1656: 1652: 1648: 1644: 1640: 1636: 1633: 1629: 1625: 1622: 1619: 1616: 1612: 1588: 1568: 1550: 1549: 1538: 1535: 1529: 1526: 1523: 1519: 1515: 1512: 1509: 1506: 1501: 1496: 1493: 1489: 1485: 1482: 1479: 1476: 1473: 1450: 1447: 1444: 1441: 1438: 1435: 1430: 1426: 1422: 1419: 1399: 1396: 1393: 1390: 1387: 1384: 1364: 1340: 1317: 1312: 1307: 1302: 1297: 1293: 1281: 1280: 1269: 1266: 1260: 1256: 1251: 1246: 1242: 1238: 1235: 1231: 1227: 1222: 1218: 1212: 1186: 1182: 1178: 1173: 1169: 1141: 1121: 1101: 1096: 1091: 1086: 1081: 1077: 1073: 1070: 1059: 1058: 1047: 1044: 1041: 1038: 1035: 1032: 1026: 1021: 1017: 1014: 1011: 1008: 1005: 1002: 999: 995: 988: 983: 980: 976: 970: 967: 964: 960: 936: 925: 924: 913: 910: 907: 904: 898: 893: 889: 886: 883: 880: 877: 874: 871: 868: 865: 862: 859: 856: 852: 845: 840: 837: 833: 825: 821: 817: 814: 810: 791: 790: 779: 776: 770: 765: 760: 757: 754: 751: 747: 741: 736: 732: 728: 725: 722: 716: 711: 707: 704: 701: 698: 695: 692: 689: 685: 678: 673: 670: 666: 634: 623: 622: 611: 608: 602: 599: 596: 592: 588: 585: 582: 579: 574: 569: 565: 561: 558: 555: 552: 549: 526: 506: 501: 496: 491: 486: 482: 478: 475: 453: 448: 426: 403: 383: 380: 377: 374: 352: 349: 346: 342: 321: 301: 297: 293: 288: 284: 263: 243: 224:complex number 211: 200: 199: 188: 185: 179: 176: 173: 169: 165: 162: 159: 156: 151: 146: 143: 139: 135: 132: 129: 126: 123: 100: 97: 65:control theory 42:Norbert Wiener 13: 10: 9: 6: 4: 3: 2: 3707: 3696: 3693: 3691: 3688: 3686: 3683: 3681: 3678: 3677: 3675: 3663: 3659: 3655: 3651: 3649:0-8493-8273-4 3645: 3642:, CRC Press, 3641: 3636: 3633: 3629: 3625: 3621: 3617: 3613: 3609: 3605: 3601: 3595: 3591: 3587: 3583: 3582:Rudin, Walter 3579: 3575: 3569: 3565: 3561: 3557: 3553: 3548: 3544: 3543:Hörmander, L. 3540: 3539: 3535: 3527: 3522: 3519: 3515: 3511: 3506: 3503: 3499: 3495: 3490: 3487: 3483: 3479: 3475: 3470: 3467: 3463: 3458: 3455: 3451: 3446: 3443: 3436: 3434: 3421: 3415: 3412: 3404: 3393: 3390: 3387: 3384: 3373: 3326: 3309: 3305: 3299: 3286: 3278: 3275: 3267: 3263: 3259: 3248: 3236: 3221: 3220: 3219: 3203: 3199: 3178: 3158: 3138: 3115: 3109: 3106: 3103: 3095: 3092: 3089: 3081: 3075: 3069: 3062: 3061: 3060: 3059:, defined by 3046: 3024: 2997: 2989: 2973: 2965: 2959: 2945: 2912: 2893: 2889: 2883: 2880: 2867: 2859: 2856: 2848: 2844: 2840: 2829: 2823: 2811: 2810: 2809: 2793: 2783: 2780: 2758: 2754: 2733: 2717: 2703: 2683: 2673: 2659: 2639: 2619: 2599: 2579: 2559: 2526: 2510: 2506: 2500: 2487: 2479: 2476: 2470: 2467: 2456: 2450: 2438: 2437: 2436: 2420: 2410: 2407: 2387: 2365: 2338: 2322: 2320: 2302: 2275: 2251: 2242: 2239: 2236: 2230: 2227: 2223: 2216: 2212: 2208: 2201: 2198: 2193: 2185: 2182: 2176: 2170: 2158: 2148: 2147: 2146: 2132: 2112: 2103: 2080: 2074: 2068: 2062: 2059: 2053: 2047: 2040: 2039: 2038: 2024: 2004: 1984: 1976: 1971: 1967: 1962: 1958: 1954: 1936: 1921: 1903: 1888: 1884: 1874: 1857: 1854: 1851: 1848: 1823: 1819: 1798: 1775: 1769: 1766: 1763: 1757: 1744: 1741: 1738: 1735: 1729: 1711: 1707: 1699: 1698: 1697: 1683: 1660: 1650: 1642: 1638: 1634: 1631: 1620: 1614: 1602: 1601: 1600: 1586: 1566: 1559: 1555: 1536: 1533: 1527: 1524: 1521: 1517: 1510: 1504: 1499: 1494: 1491: 1487: 1483: 1477: 1471: 1464: 1463: 1462: 1445: 1442: 1439: 1436: 1428: 1424: 1420: 1417: 1394: 1391: 1388: 1385: 1362: 1354: 1338: 1329: 1310: 1295: 1291: 1267: 1244: 1240: 1236: 1220: 1216: 1201: 1200: 1199: 1197: 1171: 1167: 1158: 1153: 1139: 1119: 1094: 1079: 1075: 1071: 1068: 1042: 1039: 1036: 1033: 1030: 1024: 1019: 1012: 1009: 1006: 1003: 997: 993: 978: 974: 968: 965: 962: 950: 949: 948: 934: 911: 908: 905: 902: 896: 891: 884: 878: 875: 869: 866: 863: 860: 854: 850: 835: 831: 823: 819: 812: 800: 799: 798: 796: 777: 774: 768: 755: 749: 734: 730: 726: 723: 720: 714: 709: 702: 699: 696: 693: 687: 683: 668: 664: 656: 655: 654: 652: 648: 632: 609: 606: 600: 597: 594: 590: 583: 577: 567: 563: 559: 553: 547: 540: 539: 538: 537:, defined by 524: 499: 484: 480: 476: 473: 451: 424: 415: 401: 378: 372: 350: 347: 344: 340: 319: 286: 282: 261: 241: 233: 229: 225: 209: 186: 183: 177: 174: 171: 167: 160: 154: 141: 137: 133: 127: 121: 114: 113: 112: 110: 106: 98: 96: 94: 90: 86: 85: 80: 76: 75: 70: 66: 61: 59: 55: 51: 47: 46:distributions 43: 39: 38:Raymond Paley 35: 31: 27: 23: 19: 3695:Hardy spaces 3661: 3639: 3623: 3619: 3585: 3563: 3546: 3521: 3505: 3489: 3469: 3457: 3445: 3349: 3130: 2961: 2937: 2719: 2675: 2551: 2324: 2267: 2104: 2101: 1972: 1883:distribution 1880: 1790: 1675: 1551: 1330: 1282: 1154: 1060: 926: 792: 624: 416: 201: 102: 82: 72: 62: 26:distribution 21: 15: 3626:: 196–206, 3590:McGraw-Hill 3482:Yosida 1968 2652:and radius 1157:Hardy space 466:: that is, 105:holomorphic 30:analyticity 18:mathematics 3674:Categories 3658:Yosida, K. 3536:References 3494:Rudin 1987 3474:Rudin 1987 3218:such that 1599:such that 1410:, so that 1112:such that 653:, one has 202:and allow 3405:ζ 3394:⁡ 3385:≤ 3374:ζ 3327:ζ 3287:ζ 3260:≤ 3249:ζ 3240:^ 3113:⟩ 3101:⟨ 3093:∈ 2881:− 2841:≤ 2784:∈ 2468:≤ 2411:∈ 2246:⟩ 2234:⟨ 2228:− 2220:↦ 2194:− 2186:π 2162:^ 2072:↦ 1849:− 1773:∞ 1767:ξ 1745:η 1736:ξ 1720:∞ 1715:∞ 1712:− 1708:∫ 1651:ζ 1632:≤ 1621:ζ 1528:ζ 1492:− 1488:∫ 1478:ζ 1437:− 1421:∈ 1386:− 1072:∈ 1046:∞ 1034:ξ 1013:η 1004:ξ 987:∞ 982:∞ 979:− 975:∫ 963:η 906:ξ 885:ξ 876:− 870:η 861:ξ 844:∞ 839:∞ 836:− 832:∫ 816:→ 813:η 740:∞ 731:∫ 727:≤ 724:ξ 703:η 694:ξ 677:∞ 672:∞ 669:− 665:∫ 633:ζ 601:ζ 573:∞ 564:∫ 554:ζ 477:∈ 382:∞ 379:− 376:→ 351:ζ 320:ζ 210:ζ 178:ζ 150:∞ 145:∞ 142:− 138:∫ 128:ζ 3660:(1968), 3584:(1987), 3562:(1934). 3545:(1990), 222:to be a 81:and the 3632:0052555 3608:0924157 3484:, §VI.4 2721:Theorem 793:and by 645:in the 226:in the 32:of its 3646:  3630:  3606:  3596:  3570:  1918:is an 1552:is an 3437:Notes 2938:then 3644:ISBN 3624:1952 3594:ISBN 3568:ISBN 3350:for 1966:help 1957:1952 1770:< 1043:< 966:> 625:for 87:for 77:for 67:and 20:, a 3391:log 3086:sup 2966:of 2351:on 2145:by 1922:on 1889:on 1885:of 1556:of 1351:be 959:sup 809:lim 797:, 274:in 16:In 3676:: 3628:MR 3622:, 3604:MR 3602:, 3592:, 3558:; 2808:, 2672:. 2592:, 2572:, 2520:Im 2435:, 2321:. 1970:. 1873:. 1152:. 912:0. 95:. 3666:. 3653:. 3611:. 3576:. 3551:. 3452:. 3422:. 3419:) 3416:1 3413:+ 3409:| 3401:| 3397:( 3388:m 3381:| 3377:) 3371:( 3367:m 3364:I 3359:| 3333:) 3330:) 3324:( 3320:m 3317:I 3313:( 3310:H 3306:e 3300:N 3296:) 3291:| 3283:| 3279:+ 3276:1 3273:( 3268:m 3264:C 3256:| 3252:) 3246:( 3237:v 3230:| 3204:m 3200:C 3179:N 3159:K 3139:v 3116:. 3110:y 3107:, 3104:x 3096:K 3090:y 3082:= 3079:) 3076:x 3073:( 3070:H 3047:H 3025:n 3020:R 2998:K 2974:v 2946:v 2920:| 2916:) 2913:z 2910:( 2906:m 2903:I 2898:| 2894:B 2890:e 2884:N 2877:) 2872:| 2868:z 2864:| 2860:+ 2857:1 2854:( 2849:N 2845:C 2837:| 2833:) 2830:z 2827:( 2824:F 2820:| 2794:n 2789:C 2781:z 2759:N 2755:C 2734:N 2704:v 2684:F 2660:B 2640:0 2620:v 2600:B 2580:N 2560:C 2534:| 2530:) 2527:z 2524:( 2515:| 2511:B 2507:e 2501:N 2497:) 2492:| 2488:z 2484:| 2480:+ 2477:1 2474:( 2471:C 2464:| 2460:) 2457:z 2454:( 2451:F 2447:| 2421:n 2416:C 2408:z 2388:v 2366:n 2361:C 2339:F 2303:n 2298:C 2276:s 2252:) 2243:s 2240:, 2237:x 2231:i 2224:e 2217:x 2213:( 2209:v 2202:2 2199:n 2190:) 2183:2 2180:( 2177:= 2174:) 2171:s 2168:( 2159:v 2133:s 2113:v 2087:) 2084:) 2081:x 2078:( 2075:f 2069:x 2066:( 2063:v 2060:= 2057:) 2054:f 2051:( 2048:v 2025:f 2005:v 1985:v 1968:) 1955:( 1937:n 1932:C 1904:n 1899:R 1861:] 1858:A 1855:, 1852:A 1846:[ 1824:2 1820:L 1799:A 1776:. 1764:d 1758:2 1753:| 1748:) 1742:i 1739:+ 1733:( 1730:f 1726:| 1684:f 1661:, 1655:| 1647:| 1643:A 1639:e 1635:C 1628:| 1624:) 1618:( 1615:f 1611:| 1587:C 1567:A 1537:x 1534:d 1525:x 1522:i 1518:e 1514:) 1511:x 1508:( 1505:F 1500:A 1495:A 1484:= 1481:) 1475:( 1472:f 1449:) 1446:A 1443:, 1440:A 1434:( 1429:2 1425:L 1418:F 1398:] 1395:A 1392:, 1389:A 1383:[ 1363:F 1339:F 1316:) 1311:+ 1306:R 1301:( 1296:2 1292:L 1268:. 1265:) 1259:+ 1255:R 1250:( 1245:2 1241:L 1237:= 1234:) 1230:R 1226:( 1221:2 1217:H 1211:F 1185:) 1181:R 1177:( 1172:2 1168:H 1140:F 1120:f 1100:) 1095:+ 1090:R 1085:( 1080:2 1076:L 1069:F 1040:C 1037:= 1031:d 1025:2 1020:| 1016:) 1010:i 1007:+ 1001:( 998:f 994:| 969:0 935:f 909:= 903:d 897:2 892:| 888:) 882:( 879:f 873:) 867:i 864:+ 858:( 855:f 851:| 824:+ 820:0 778:x 775:d 769:2 764:| 759:) 756:x 753:( 750:F 746:| 735:0 721:d 715:2 710:| 706:) 700:i 697:+ 691:( 688:f 684:| 610:x 607:d 598:x 595:i 591:e 587:) 584:x 581:( 578:F 568:0 560:= 557:) 551:( 548:f 525:F 505:) 500:+ 495:R 490:( 485:2 481:L 474:F 452:+ 447:R 425:F 402:F 373:x 348:x 345:i 341:e 300:) 296:R 292:( 287:2 283:L 262:F 242:f 187:x 184:d 175:x 172:i 168:e 164:) 161:x 158:( 155:F 134:= 131:) 125:( 122:f

Index

mathematics
distribution
analyticity
Fourier transform
Raymond Paley
Norbert Wiener
distributions
square-integrable functions
Laurent Schwartz
triangle inequality
control theory
harmonic analysis
Paley–Wiener condition
spectral factorization
Paley–Wiener criterion
non-harmonic Fourier series
stability problems
holomorphic
square-integrable functions
complex number
upper half-plane
Cauchy–Riemann equations
upper half-plane
Plancherel's theorem
dominated convergence
Hardy space
H 2 ( R ) {\displaystyle H^{2}(\mathbb {R} )}
compactly supported
entire function
exponential type

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