Knowledge (XXG)

Hardy–Littlewood inequality

Source 📝

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

Index

mathematical analysis
G. H. Hardy
John Edensor Littlewood
measurable
real functions
infinity
dimensional
Euclidean space
symmetric decreasing rearrangements
layer cake representation
Rearrangement inequality
Chebyshev's sum inequality
Lorentz space


Lieb, Elliott
Loss, Michael
American Mathematical Society
ISBN
978-0821827833


Burchard, Almut
A Short Course on Rearrangement Inequalities
"Geometric ergodicity for Bayesian shrinkage models"
doi
10.1214/14-EJS896
ISSN
1935-7524
Category

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