Knowledge (XXG)

Plurisubharmonic function

Source 📝

1447: 846: 1551: 596: 260: 134: 504: 1157: 2902:
note:In the treatise, it is referred to as the pseudoconvex function, but this means the plurisubharmonic function, which is the subject of this page, not the pseudoconvex function of convex analysis.
2103: 2720: 420: 1997: 2217:
Every continuous plurisubharmonic function can be obtained as the limit of a decreasing sequence of smooth plurisubharmonic functions. Moreover, this sequence can be chosen uniformly convergent.
2316: 1057: 925: 630: 1330: 2574: 2444: 539: 174: 1725: 306: 754: 2632: 2662: 2055: 2209: 1241: 1090: 969: 353: 2023: 1292: 1021: 2963: 1931: 2477: 1834: 1626: 2747: 1655: 1182: 1808: 2160: 2133: 1891: 1864: 883: 685: 762: 2497: 2377: 2354: 2242: 1961: 1782: 1590: 1312: 1202: 1110: 705: 658: 450: 1462: 544: 1940:
Plurisubharmonicity is a local property, i.e. a function is plurisubharmonic if and only if it is plurisubharmonic in a neighborhood of each point.
194: 2987: 85: 458: 1120: 2060: 2982: 2675: 2357: 365: 1966: 2849: 2247: 1026: 2819:
Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
2844: 1442:{\displaystyle f(0)={\frac {1}{2\pi i}}\int _{D}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {dzd{\bar {z}}}{z}},} 892: 605: 2542: 2509: 2382: 512: 142: 1664: 265: 2839: 852: 181: 2532:
The main geometric application of the theory of plurisubharmonic functions is the famous theorem proven by
1319: 710: 2583: 430: 80: 68: 48: 2637: 2028: 2165: 2874: 1217: 1204:
is plurisubharmonic, which is called Kähler potential. These can be readily generated by applying the
1066: 945: 314: 2517: 2322: 2002: 1658: 599: 356: 60: 1246: 64: 974: 2941: 2808: 1896: 2763:
be a complex manifold, admitting a smooth, exhaustive, strongly plurisubharmonic function. Then
2727: 2449: 2326: 56: 2214:
The pointwise limit of a decreasing sequence of plurisubharmonic functions is plurisubharmonic.
2886: 2822: 2333: 1813: 1595: 2732: 1640: 1167: 841:{\displaystyle \lambda _{ij}={\frac {\partial ^{2}f}{\partial z_{i}\partial {\bar {z}}_{j}}}} 2894: 2798: 1787: 426: 52: 2138: 2111: 1869: 1842: 861: 663: 17: 2898: 2825:. Introduction to Holomorphic Functions in Several Variables, Wadsworth & Brooks/Cole. 2513: 2221: 1631: 1315: 507: 453: 2916: 1546:{\displaystyle {\frac {i}{\pi }}\partial {\overline {\partial }}\log |z|=dd^{c}\log |z|} 2772: 2768: 2521: 2482: 2362: 2339: 2227: 1946: 1767: 1575: 1297: 1187: 1095: 1060: 690: 643: 435: 185: 2803: 2786: 2976: 2723: 1741: 1560: 928: 2875:"Sur les fonctions analytiques de plusieurs variables. VI. Domaines pseudoconvexes" 2533: 1754: 1737: 1205: 591:{\displaystyle f\circ \varphi \colon \Delta \to {\mathbb {R} }\cup \{-\infty \}} 28: 2890: 255:{\displaystyle \{a+bz\mid z\in {\mathbb {C} }\}\subset {\mathbb {C} }^{n},} 1753:
The set of plurisubharmonic functions has the following properties like a
2812: 2965:-approximations of convex, subharmonic, and plurisubharmonic functions 67:) plurisubharmonic functions can be defined in full generality on 63:. However, unlike subharmonic functions (which are defined on a 425:
In full generality, the notion can be defined on an arbitrary
129:{\displaystyle f\colon G\to {\mathbb {R} }\cup \{-\infty \},} 499:{\displaystyle f\colon X\to {\mathbb {R} }\cup \{-\infty \}} 1152:{\displaystyle i\partial {\overline {\partial }}g=\omega } 2098:{\displaystyle \lim _{x\rightarrow -\infty }\varphi (x)} 707:
is plurisubharmonic if and only if the hermitian matrix
2715:{\displaystyle i(\partial {\bar {\partial }}f-\omega )} 415:{\displaystyle \{z\in {\mathbb {C} }\mid a+bz\in G\}.} 2967:, Ann. Scient. Ec. Norm. Sup. 12 (1979), 47–84. 2944: 2735: 2678: 2640: 2586: 2545: 2485: 2452: 2385: 2365: 2342: 2250: 2230: 2168: 2141: 2114: 2063: 2031: 2005: 1992:{\displaystyle \varphi :\mathbb {R} \to \mathbb {R} } 1969: 1949: 1899: 1872: 1845: 1816: 1790: 1770: 1667: 1643: 1598: 1578: 1465: 1333: 1300: 1249: 1220: 1190: 1170: 1123: 1098: 1069: 1029: 977: 948: 895: 864: 765: 713: 693: 666: 646: 608: 547: 515: 461: 438: 368: 317: 268: 197: 145: 88: 2828:
Klimek, Pluripotential Theory, Clarendon Press 1992.
1736:Plurisubharmonic functions were defined in 1942 by 2957: 2741: 2714: 2656: 2626: 2568: 2512:, plurisubharmonic functions are used to describe 2491: 2471: 2438: 2371: 2348: 2332:Therefore, plurisubharmonic functions satisfy the 2311:{\displaystyle \limsup _{x\to x_{0}}f(x)=f(x_{0})} 2310: 2236: 2203: 2162:are plurisubharmonic functions, then the function 2154: 2127: 2097: 2049: 2017: 1991: 1955: 1925: 1885: 1858: 1828: 1802: 1776: 1719: 1649: 1620: 1584: 1545: 1441: 1306: 1286: 1235: 1196: 1176: 1151: 1104: 1084: 1052:{\displaystyle i\partial {\overline {\partial }}f} 1051: 1015: 963: 919: 877: 840: 748: 699: 679: 652: 624: 590: 533: 498: 444: 414: 347: 300: 254: 168: 128: 59:, plurisubharmonic functions form a subset of the 2791:Transactions of the American Mathematical Society 2387: 2252: 2169: 2065: 2917:"Definition des fonctions plurisousharmoniques" 1893:are plurisubharmonic functions, then the sum 1592:is an analytic function on an open set, then 1092:up to constant multiples. More generally, if 920:{\displaystyle i\partial {\bar {\partial }}f} 625:{\displaystyle \Delta \subset {\mathbb {C} }} 8: 585: 576: 493: 484: 406: 369: 229: 198: 120: 111: 2569:{\displaystyle f:\;M\mapsto {\mathbb {R} }} 2439:{\displaystyle \sup _{x\in D}f(x)=f(x_{0})} 534:{\displaystyle \varphi \colon \Delta \to X} 169:{\displaystyle G\subset {\mathbb {C} }^{n}} 2903: 2552: 1810:a positive real number, then the function 1720:{\displaystyle -\log(dist(z,\Omega ^{c}))} 506:is said to be plurisubharmonic if for any 301:{\displaystyle a,b\in {\mathbb {C} }^{n},} 2949: 2943: 2802: 2734: 2689: 2688: 2677: 2649: 2648: 2647: 2639: 2591: 2585: 2561: 2560: 2559: 2544: 2484: 2457: 2451: 2427: 2390: 2384: 2364: 2341: 2299: 2266: 2255: 2249: 2229: 2192: 2179: 2167: 2146: 2140: 2119: 2113: 2068: 2062: 2030: 2004: 1985: 1984: 1977: 1976: 1968: 1948: 1917: 1904: 1898: 1877: 1871: 1850: 1844: 1815: 1789: 1769: 1705: 1666: 1642: 1613: 1605: 1597: 1577: 1538: 1530: 1518: 1503: 1495: 1479: 1466: 1464: 1419: 1418: 1406: 1392: 1391: 1377: 1371: 1349: 1332: 1299: 1279: 1271: 1248: 1227: 1223: 1222: 1219: 1214:On 1-dimensional complex Euclidean space 1189: 1169: 1130: 1122: 1097: 1076: 1072: 1071: 1068: 1036: 1028: 1007: 1002: 993: 976: 955: 951: 950: 947: 942:On n-dimensional complex Euclidean space 903: 902: 894: 869: 863: 829: 818: 817: 807: 789: 782: 770: 764: 734: 718: 712: 692: 671: 665: 645: 636:Differentiable plurisubharmonic functions 617: 616: 615: 607: 568: 567: 566: 546: 514: 476: 475: 474: 460: 437: 380: 379: 378: 367: 316: 289: 284: 283: 282: 267: 243: 238: 237: 236: 224: 223: 222: 196: 160: 155: 154: 153: 144: 103: 102: 101: 87: 2862: 1208:to Kähler forms on a Kähler manifold. 47:functions) form an important class of 2868: 2866: 2224:condition holds as equality, i.e. if 1628:is plurisubharmonic on that open set. 749:{\displaystyle L_{f}=(\lambda _{ij})} 35:functions (sometimes abbreviated as 7: 2627:{\displaystyle f^{-1}((-\infty ,c])} 2657:{\displaystyle c\in {\mathbb {R} }} 1999:an increasing convex function then 1784:is a plurisubharmonic function and 889:is plurisubharmonic if and only if 756:, called Levi matrix, with entries 2950: 2691: 2685: 2609: 2078: 2050:{\displaystyle \varphi (-\infty )} 2041: 1702: 1644: 1481: 1476: 1388: 1380: 1132: 1127: 1038: 1033: 905: 899: 813: 800: 786: 609: 582: 560: 522: 490: 117: 25: 2804:10.1090/S0002-9947-1956-0079100-2 2204:{\displaystyle \max(f_{1},f_{2})} 1236:{\displaystyle \mathbb {C} ^{1}} 1085:{\displaystyle \mathbb {C} ^{n}} 964:{\displaystyle \mathbb {C} ^{n}} 660:is of (differentiability) class 348:{\displaystyle z\mapsto f(a+bz)} 2321:Plurisubharmonic functions are 2018:{\displaystyle \varphi \circ f} 1933:is a plurisubharmonic function. 2709: 2694: 2682: 2664:. A plurisubharmonic function 2621: 2618: 2603: 2600: 2556: 2433: 2420: 2411: 2405: 2305: 2292: 2283: 2277: 2259: 2198: 2172: 2092: 2086: 2072: 2044: 2035: 1981: 1714: 1711: 1692: 1677: 1614: 1606: 1539: 1531: 1504: 1496: 1424: 1397: 1343: 1337: 1280: 1272: 1259: 1253: 1023:is plurisubharmonic. In fact, 1003: 994: 987: 981: 908: 823: 743: 727: 563: 525: 471: 454:upper semi-continuous function 342: 327: 321: 98: 1: 1287:{\displaystyle u(z)=\log |z|} 2220:The inequality in the usual 1484: 1135: 1041: 1016:{\displaystyle f(z)=|z|^{2}} 940:Relation to Kähler manifold: 2958:{\displaystyle C^{\infty }} 2879:Tohoku Mathematical Journal 2845:Encyclopedia of Mathematics 2840:"Plurisubharmonic function" 2356:is plurisubharmonic on the 1926:{\displaystyle f_{1}+f_{2}} 1314:is a C-class function with 18:Plurisuperharmonic function 3004: 2785:Bremermann, H. J. (1956). 2472:{\displaystyle x_{0}\in D} 2988:Several complex variables 2670:strongly plurisubharmonic 2510:several complex variables 2244:is plurisubharmonic then 1454:which can be modified to 1059:is equal to the standard 2937:R. E. Greene and H. Wu, 2775:admits such a function. 1963:is plurisubharmonic and 1829:{\displaystyle c\cdot f} 1621:{\displaystyle \log |f|} 1294:is plurisubharmonic. If 1212:Relation to Dirac Delta: 2742:{\displaystyle \omega } 1650:{\displaystyle \Omega } 1320:Cauchy integral formula 1177:{\displaystyle \omega } 632:denotes the unit disk. 69:complex analytic spaces 2959: 2921:C. R. Acad. Sci. Paris 2743: 2716: 2658: 2628: 2570: 2539:A continuous function 2493: 2473: 2440: 2373: 2350: 2312: 2238: 2205: 2156: 2129: 2099: 2051: 2025:is plurisubharmonic. ( 2019: 1993: 1957: 1927: 1887: 1860: 1830: 1804: 1803:{\displaystyle c>0} 1778: 1721: 1651: 1622: 1586: 1547: 1443: 1308: 1288: 1237: 1198: 1178: 1153: 1106: 1086: 1053: 1017: 965: 921: 879: 842: 750: 701: 681: 654: 626: 592: 535: 500: 446: 431:complex analytic space 416: 349: 302: 256: 170: 130: 2983:Subharmonic functions 2960: 2873:Oka, Kiyoshi (1942), 2744: 2717: 2659: 2629: 2571: 2518:domains of holomorphy 2494: 2474: 2441: 2374: 2351: 2313: 2239: 2206: 2157: 2155:{\displaystyle f_{2}} 2130: 2128:{\displaystyle f_{1}} 2100: 2052: 2020: 1994: 1958: 1928: 1888: 1886:{\displaystyle f_{2}} 1861: 1859:{\displaystyle f_{1}} 1831: 1805: 1779: 1722: 1652: 1634:are plurisubharmonic. 1623: 1587: 1548: 1444: 1309: 1289: 1238: 1199: 1179: 1164:for some Kähler form 1154: 1107: 1087: 1054: 1018: 966: 922: 880: 878:{\displaystyle C^{2}} 853:positive semidefinite 843: 751: 702: 682: 680:{\displaystyle C^{2}} 655: 627: 593: 536: 501: 447: 417: 350: 303: 257: 182:upper semi-continuous 171: 131: 61:subharmonic functions 2942: 2733: 2676: 2638: 2584: 2543: 2514:pseudoconvex domains 2483: 2450: 2383: 2363: 2340: 2248: 2228: 2211:is plurisubharmonic. 2166: 2139: 2112: 2061: 2029: 2003: 1967: 1947: 1897: 1870: 1843: 1836:is plurisubharmonic, 1814: 1788: 1768: 1727:is plurisubharmonic. 1665: 1659:domain of holomorphy 1641: 1596: 1576: 1463: 1331: 1298: 1247: 1218: 1188: 1168: 1121: 1096: 1067: 1027: 975: 946: 893: 862: 763: 711: 691: 664: 644: 606: 545: 513: 459: 436: 366: 357:subharmonic function 315: 266: 195: 143: 86: 2915:Lelong, P. (1942). 2787:"Complex Convexity" 2634:is compact for all 929:positive (1,1)-form 65:Riemannian manifold 2955: 2771:. Conversely, any 2739: 2712: 2654: 2624: 2566: 2489: 2469: 2436: 2401: 2369: 2346: 2308: 2273: 2234: 2201: 2152: 2125: 2095: 2082: 2057:is interpreted as 2047: 2015: 1989: 1953: 1923: 1883: 1856: 1826: 1800: 1774: 1717: 1647: 1618: 1582: 1563:at the origin 0 . 1559:It is nothing but 1543: 1439: 1304: 1284: 1233: 1194: 1174: 1149: 1102: 1082: 1049: 1013: 961: 917: 875: 838: 746: 697: 677: 650: 622: 588: 531: 496: 442: 412: 345: 298: 252: 166: 126: 2904:Bremermann (1956) 2823:Robert C. Gunning 2697: 2492:{\displaystyle f} 2386: 2372:{\displaystyle D} 2349:{\displaystyle f} 2334:maximum principle 2251: 2237:{\displaystyle f} 2064: 1956:{\displaystyle f} 1777:{\displaystyle f} 1585:{\displaystyle f} 1487: 1474: 1434: 1427: 1404: 1400: 1365: 1307:{\displaystyle f} 1197:{\displaystyle g} 1138: 1105:{\displaystyle g} 1044: 911: 836: 826: 700:{\displaystyle f} 653:{\displaystyle f} 445:{\displaystyle X} 75:Formal definition 16:(Redirected from 2995: 2968: 2964: 2962: 2961: 2956: 2954: 2953: 2935: 2929: 2928: 2912: 2906: 2901: 2881:, First Series, 2870: 2853: 2816: 2806: 2748: 2746: 2745: 2740: 2721: 2719: 2718: 2713: 2699: 2698: 2690: 2663: 2661: 2660: 2655: 2653: 2652: 2633: 2631: 2630: 2625: 2599: 2598: 2580:if the preimage 2575: 2573: 2572: 2567: 2565: 2564: 2498: 2496: 2495: 2490: 2478: 2476: 2475: 2470: 2462: 2461: 2445: 2443: 2442: 2437: 2432: 2431: 2400: 2378: 2376: 2375: 2370: 2355: 2353: 2352: 2347: 2317: 2315: 2314: 2309: 2304: 2303: 2272: 2271: 2270: 2243: 2241: 2240: 2235: 2210: 2208: 2207: 2202: 2197: 2196: 2184: 2183: 2161: 2159: 2158: 2153: 2151: 2150: 2134: 2132: 2131: 2126: 2124: 2123: 2104: 2102: 2101: 2096: 2081: 2056: 2054: 2053: 2048: 2024: 2022: 2021: 2016: 1998: 1996: 1995: 1990: 1988: 1980: 1962: 1960: 1959: 1954: 1932: 1930: 1929: 1924: 1922: 1921: 1909: 1908: 1892: 1890: 1889: 1884: 1882: 1881: 1865: 1863: 1862: 1857: 1855: 1854: 1835: 1833: 1832: 1827: 1809: 1807: 1806: 1801: 1783: 1781: 1780: 1775: 1726: 1724: 1723: 1718: 1710: 1709: 1656: 1654: 1653: 1648: 1632:Convex functions 1627: 1625: 1624: 1619: 1617: 1609: 1591: 1589: 1588: 1583: 1552: 1550: 1549: 1544: 1542: 1534: 1523: 1522: 1507: 1499: 1488: 1480: 1475: 1467: 1448: 1446: 1445: 1440: 1435: 1430: 1429: 1428: 1420: 1407: 1405: 1403: 1402: 1401: 1393: 1386: 1378: 1376: 1375: 1366: 1364: 1350: 1313: 1311: 1310: 1305: 1293: 1291: 1290: 1285: 1283: 1275: 1242: 1240: 1239: 1234: 1232: 1231: 1226: 1203: 1201: 1200: 1195: 1183: 1181: 1180: 1175: 1158: 1156: 1155: 1150: 1139: 1131: 1111: 1109: 1108: 1103: 1091: 1089: 1088: 1083: 1081: 1080: 1075: 1058: 1056: 1055: 1050: 1045: 1037: 1022: 1020: 1019: 1014: 1012: 1011: 1006: 997: 970: 968: 967: 962: 960: 959: 954: 926: 924: 923: 918: 913: 912: 904: 884: 882: 881: 876: 874: 873: 858:Equivalently, a 847: 845: 844: 839: 837: 835: 834: 833: 828: 827: 819: 812: 811: 798: 794: 793: 783: 778: 777: 755: 753: 752: 747: 742: 741: 723: 722: 706: 704: 703: 698: 686: 684: 683: 678: 676: 675: 659: 657: 656: 651: 631: 629: 628: 623: 621: 620: 597: 595: 594: 589: 572: 571: 540: 538: 537: 532: 505: 503: 502: 497: 480: 479: 452:as follows. An 451: 449: 448: 443: 427:complex manifold 421: 419: 418: 413: 384: 383: 354: 352: 351: 346: 307: 305: 304: 299: 294: 293: 288: 287: 261: 259: 258: 253: 248: 247: 242: 241: 228: 227: 184:, and for every 178:plurisubharmonic 175: 173: 172: 167: 165: 164: 159: 158: 135: 133: 132: 127: 107: 106: 53:complex analysis 33:plurisubharmonic 21: 3003: 3002: 2998: 2997: 2996: 2994: 2993: 2992: 2973: 2972: 2971: 2945: 2940: 2939: 2936: 2932: 2914: 2913: 2909: 2872: 2871: 2864: 2860: 2838: 2835: 2784: 2781: 2757:Theorem of Oka: 2731: 2730: 2674: 2673: 2636: 2635: 2587: 2582: 2581: 2541: 2540: 2530: 2522:Stein manifolds 2506: 2481: 2480: 2453: 2448: 2447: 2446:for some point 2423: 2381: 2380: 2361: 2360: 2338: 2337: 2295: 2262: 2246: 2245: 2226: 2225: 2222:semi-continuity 2188: 2175: 2164: 2163: 2142: 2137: 2136: 2115: 2110: 2109: 2059: 2058: 2027: 2026: 2001: 2000: 1965: 1964: 1945: 1944: 1913: 1900: 1895: 1894: 1873: 1868: 1867: 1846: 1841: 1840: 1812: 1811: 1786: 1785: 1766: 1765: 1750: 1734: 1701: 1663: 1662: 1639: 1638: 1594: 1593: 1574: 1573: 1514: 1461: 1460: 1408: 1387: 1379: 1367: 1354: 1329: 1328: 1316:compact support 1296: 1295: 1245: 1244: 1221: 1216: 1215: 1186: 1185: 1166: 1165: 1119: 1118: 1094: 1093: 1070: 1065: 1064: 1025: 1024: 1001: 973: 972: 949: 944: 943: 937: 891: 890: 865: 860: 859: 816: 803: 799: 785: 784: 766: 761: 760: 730: 714: 709: 708: 689: 688: 667: 662: 661: 642: 641: 638: 604: 603: 543: 542: 511: 510: 508:holomorphic map 457: 456: 434: 433: 364: 363: 313: 312: 281: 264: 263: 235: 193: 192: 152: 141: 140: 84: 83: 77: 57:Kähler manifold 23: 22: 15: 12: 11: 5: 3001: 2999: 2991: 2990: 2985: 2975: 2974: 2970: 2969: 2952: 2948: 2930: 2907: 2861: 2859: 2856: 2855: 2854: 2834: 2833:External links 2831: 2830: 2829: 2826: 2820: 2817: 2780: 2777: 2773:Stein manifold 2738: 2711: 2708: 2705: 2702: 2696: 2693: 2687: 2684: 2681: 2651: 2646: 2643: 2623: 2620: 2617: 2614: 2611: 2608: 2605: 2602: 2597: 2594: 2590: 2563: 2558: 2555: 2551: 2548: 2529: 2526: 2505: 2502: 2501: 2500: 2488: 2468: 2465: 2460: 2456: 2435: 2430: 2426: 2422: 2419: 2416: 2413: 2410: 2407: 2404: 2399: 2396: 2393: 2389: 2368: 2345: 2330: 2319: 2307: 2302: 2298: 2294: 2291: 2288: 2285: 2282: 2279: 2276: 2269: 2265: 2261: 2258: 2254: 2253:lim sup 2233: 2218: 2215: 2212: 2200: 2195: 2191: 2187: 2182: 2178: 2174: 2171: 2149: 2145: 2122: 2118: 2106: 2094: 2091: 2088: 2085: 2080: 2077: 2074: 2071: 2067: 2046: 2043: 2040: 2037: 2034: 2014: 2011: 2008: 1987: 1983: 1979: 1975: 1972: 1952: 1941: 1937: 1936: 1935: 1934: 1920: 1916: 1912: 1907: 1903: 1880: 1876: 1853: 1849: 1837: 1825: 1822: 1819: 1799: 1796: 1793: 1773: 1759: 1758: 1749: 1746: 1733: 1730: 1729: 1728: 1716: 1713: 1708: 1704: 1700: 1697: 1694: 1691: 1688: 1685: 1682: 1679: 1676: 1673: 1670: 1646: 1635: 1629: 1616: 1612: 1608: 1604: 1601: 1581: 1557: 1556: 1555: 1554: 1541: 1537: 1533: 1529: 1526: 1521: 1517: 1513: 1510: 1506: 1502: 1498: 1494: 1491: 1486: 1483: 1478: 1473: 1470: 1452: 1451: 1450: 1449: 1438: 1433: 1426: 1423: 1417: 1414: 1411: 1399: 1396: 1390: 1385: 1382: 1374: 1370: 1363: 1360: 1357: 1353: 1348: 1345: 1342: 1339: 1336: 1303: 1282: 1278: 1274: 1270: 1267: 1264: 1261: 1258: 1255: 1252: 1230: 1225: 1193: 1173: 1162: 1161: 1160: 1159: 1148: 1145: 1142: 1137: 1134: 1129: 1126: 1101: 1079: 1074: 1048: 1043: 1040: 1035: 1032: 1010: 1005: 1000: 996: 992: 989: 986: 983: 980: 958: 953: 936: 933: 916: 910: 907: 901: 898: 872: 868: 849: 848: 832: 825: 822: 815: 810: 806: 802: 797: 792: 788: 781: 776: 773: 769: 745: 740: 737: 733: 729: 726: 721: 717: 696: 674: 670: 649: 637: 634: 619: 614: 611: 587: 584: 581: 578: 575: 570: 565: 562: 559: 556: 553: 550: 541:the function 530: 527: 524: 521: 518: 495: 492: 489: 486: 483: 478: 473: 470: 467: 464: 441: 423: 422: 411: 408: 405: 402: 399: 396: 393: 390: 387: 382: 377: 374: 371: 344: 341: 338: 335: 332: 329: 326: 323: 320: 309: 308: 297: 292: 286: 280: 277: 274: 271: 251: 246: 240: 234: 231: 226: 221: 218: 215: 212: 209: 206: 203: 200: 163: 157: 151: 148: 125: 122: 119: 116: 113: 110: 105: 100: 97: 94: 91: 76: 73: 24: 14: 13: 10: 9: 6: 4: 3: 2: 3000: 2989: 2986: 2984: 2981: 2980: 2978: 2966: 2946: 2934: 2931: 2926: 2922: 2918: 2911: 2908: 2905: 2900: 2896: 2892: 2888: 2884: 2880: 2876: 2869: 2867: 2863: 2857: 2851: 2847: 2846: 2841: 2837: 2836: 2832: 2827: 2824: 2821: 2818: 2814: 2810: 2805: 2800: 2796: 2792: 2788: 2783: 2782: 2778: 2776: 2774: 2770: 2766: 2762: 2758: 2754: 2752: 2736: 2729: 2725: 2706: 2703: 2700: 2679: 2671: 2667: 2644: 2641: 2615: 2612: 2606: 2595: 2592: 2588: 2579: 2553: 2549: 2546: 2537: 2535: 2527: 2525: 2523: 2519: 2515: 2511: 2503: 2486: 2466: 2463: 2458: 2454: 2428: 2424: 2417: 2414: 2408: 2402: 2397: 2394: 2391: 2366: 2359: 2343: 2335: 2331: 2328: 2327:Kähler metric 2324: 2320: 2300: 2296: 2289: 2286: 2280: 2274: 2267: 2263: 2256: 2231: 2223: 2219: 2216: 2213: 2193: 2189: 2185: 2180: 2176: 2147: 2143: 2120: 2116: 2107: 2089: 2083: 2075: 2069: 2038: 2032: 2012: 2009: 2006: 1973: 1970: 1950: 1942: 1939: 1938: 1918: 1914: 1910: 1905: 1901: 1878: 1874: 1851: 1847: 1838: 1823: 1820: 1817: 1797: 1794: 1791: 1771: 1763: 1762: 1761: 1760: 1756: 1752: 1751: 1747: 1745: 1743: 1742:Pierre Lelong 1739: 1731: 1706: 1698: 1695: 1689: 1686: 1683: 1680: 1674: 1671: 1668: 1660: 1636: 1633: 1630: 1610: 1602: 1599: 1579: 1571: 1570: 1569: 1568: 1567:More Examples 1564: 1562: 1561:Dirac measure 1535: 1527: 1524: 1519: 1515: 1511: 1508: 1500: 1492: 1489: 1471: 1468: 1459: 1458: 1457: 1456: 1455: 1436: 1431: 1421: 1415: 1412: 1409: 1394: 1383: 1372: 1368: 1361: 1358: 1355: 1351: 1346: 1340: 1334: 1327: 1326: 1325: 1324: 1323: 1321: 1317: 1301: 1276: 1268: 1265: 1262: 1256: 1250: 1228: 1213: 1209: 1207: 1191: 1171: 1146: 1143: 1140: 1124: 1117: 1116: 1115: 1114: 1113: 1099: 1077: 1062: 1046: 1030: 1008: 998: 990: 984: 978: 956: 941: 934: 932: 930: 914: 896: 888: 870: 866: 856: 854: 830: 820: 808: 804: 795: 790: 779: 774: 771: 767: 759: 758: 757: 738: 735: 731: 724: 719: 715: 694: 672: 668: 647: 635: 633: 612: 601: 579: 573: 557: 554: 551: 548: 528: 519: 516: 509: 487: 481: 468: 465: 462: 455: 439: 432: 428: 409: 403: 400: 397: 394: 391: 388: 385: 375: 372: 362: 361: 360: 358: 339: 336: 333: 330: 324: 318: 311:the function 295: 290: 278: 275: 272: 269: 249: 244: 232: 219: 216: 213: 210: 207: 204: 201: 191: 190: 189: 187: 183: 179: 161: 149: 146: 139: 123: 114: 108: 95: 92: 89: 82: 74: 72: 70: 66: 62: 58: 54: 50: 46: 42: 38: 34: 30: 19: 2938: 2933: 2924: 2920: 2910: 2882: 2878: 2843: 2797:(1): 17–51. 2794: 2790: 2764: 2760: 2756: 2755: 2750: 2672:if the form 2669: 2665: 2577: 2538: 2531: 2507: 2504:Applications 2499:is constant. 1735: 1566: 1565: 1558: 1453: 1211: 1210: 1163: 939: 938: 886: 857: 850: 639: 424: 310: 177: 137: 78: 44: 40: 36: 32: 26: 2728:Kähler form 2726:, for some 2534:Kiyoshi Oka 2528:Oka theorem 2323:subharmonic 1755:convex cone 1738:Kiyoshi Oka 1206:ddbar lemma 1061:Kähler form 600:subharmonic 359:on the set 29:mathematics 2977:Categories 2927:: 398–400. 2899:0060.24006 2779:References 2668:is called 2578:exhaustive 2576:is called 2336:, i.e. if 2325:, for any 1748:Properties 1112:satisfies 885:-function 429:or even a 176:is called 2951:∞ 2891:0040-8735 2885:: 15–52, 2850:EMS Press 2737:ω 2707:ω 2704:− 2695:¯ 2692:∂ 2686:∂ 2645:∈ 2610:∞ 2607:− 2593:− 2557:↦ 2536:in 1942. 2464:∈ 2395:∈ 2260:→ 2084:φ 2079:∞ 2076:− 2073:→ 2042:∞ 2039:− 2033:φ 2010:∘ 2007:φ 1982:→ 1971:φ 1821:⋅ 1703:Ω 1675:⁡ 1669:− 1645:Ω 1603:⁡ 1528:⁡ 1493:⁡ 1485:¯ 1482:∂ 1477:∂ 1472:π 1425:¯ 1398:¯ 1389:∂ 1381:∂ 1369:∫ 1359:π 1269:⁡ 1172:ω 1147:ω 1136:¯ 1133:∂ 1128:∂ 1042:¯ 1039:∂ 1034:∂ 909:¯ 906:∂ 900:∂ 824:¯ 814:∂ 801:∂ 787:∂ 768:λ 732:λ 613:⊂ 610:Δ 583:∞ 580:− 574:∪ 564:→ 561:Δ 558:: 555:φ 552:∘ 526:→ 523:Δ 520:: 517:φ 491:∞ 488:− 482:∪ 472:→ 466:: 401:∈ 386:∣ 376:∈ 322:↦ 279:∈ 233:⊂ 220:∈ 214:∣ 180:if it is 150:⊂ 118:∞ 115:− 109:∪ 99:→ 93:: 49:functions 2724:positive 935:Examples 602:, where 81:function 51:used in 2852:, 2001 2813:1992976 1732:History 1318:, then 1184:, then 687:, then 186:complex 55:. On a 2897:  2889:  2811:  2358:domain 262:with 138:domain 2858:Notes 2809:JSTOR 2769:Stein 2479:then 1661:then 1657:is a 1322:says 927:is a 355:is a 188:line 136:with 45:plush 43:, or 2887:ISSN 2759:Let 2520:and 2135:and 1866:and 1795:> 1740:and 41:plsh 2925:215 2895:Zbl 2799:doi 2767:is 2749:on 2722:is 2508:In 2388:sup 2379:and 2170:max 2108:If 2066:lim 1943:If 1839:if 1764:if 1672:log 1637:If 1600:log 1572:If 1525:log 1490:log 1266:log 1063:on 851:is 640:If 598:is 37:psh 27:In 2979:: 2923:. 2919:. 2893:, 2883:49 2877:, 2865:^ 2848:, 2842:, 2807:. 2795:82 2793:. 2789:. 2753:. 2524:. 2516:, 2105:.) 1744:. 1243:, 971:, 931:. 855:. 79:A 71:. 39:, 31:, 2947:C 2815:. 2801:: 2765:M 2761:M 2751:M 2710:) 2701:f 2683:( 2680:i 2666:f 2650:R 2642:c 2622:) 2619:] 2616:c 2613:, 2604:( 2601:( 2596:1 2589:f 2562:R 2554:M 2550:: 2547:f 2487:f 2467:D 2459:0 2455:x 2434:) 2429:0 2425:x 2421:( 2418:f 2415:= 2412:) 2409:x 2406:( 2403:f 2398:D 2392:x 2367:D 2344:f 2329:. 2318:. 2306:) 2301:0 2297:x 2293:( 2290:f 2287:= 2284:) 2281:x 2278:( 2275:f 2268:0 2264:x 2257:x 2232:f 2199:) 2194:2 2190:f 2186:, 2181:1 2177:f 2173:( 2148:2 2144:f 2121:1 2117:f 2093:) 2090:x 2087:( 2070:x 2045:) 2036:( 2013:f 1986:R 1978:R 1974:: 1951:f 1919:2 1915:f 1911:+ 1906:1 1902:f 1879:2 1875:f 1852:1 1848:f 1824:f 1818:c 1798:0 1792:c 1772:f 1757:: 1715:) 1712:) 1707:c 1699:, 1696:z 1693:( 1690:t 1687:s 1684:i 1681:d 1678:( 1615:| 1611:f 1607:| 1580:f 1553:. 1540:| 1536:z 1532:| 1520:c 1516:d 1512:d 1509:= 1505:| 1501:z 1497:| 1469:i 1437:, 1432:z 1422:z 1416:d 1413:z 1410:d 1395:z 1384:f 1373:D 1362:i 1356:2 1352:1 1347:= 1344:) 1341:0 1338:( 1335:f 1302:f 1281:| 1277:z 1273:| 1263:= 1260:) 1257:z 1254:( 1251:u 1229:1 1224:C 1192:g 1144:= 1141:g 1125:i 1100:g 1078:n 1073:C 1047:f 1031:i 1009:2 1004:| 999:z 995:| 991:= 988:) 985:z 982:( 979:f 957:n 952:C 915:f 897:i 887:f 871:2 867:C 831:j 821:z 809:i 805:z 796:f 791:2 780:= 775:j 772:i 744:) 739:j 736:i 728:( 725:= 720:f 716:L 695:f 673:2 669:C 648:f 618:C 586:} 577:{ 569:R 549:f 529:X 494:} 485:{ 477:R 469:X 463:f 440:X 410:. 407:} 404:G 398:z 395:b 392:+ 389:a 381:C 373:z 370:{ 343:) 340:z 337:b 334:+ 331:a 328:( 325:f 319:z 296:, 291:n 285:C 276:b 273:, 270:a 250:, 245:n 239:C 230:} 225:C 217:z 211:z 208:b 205:+ 202:a 199:{ 162:n 156:C 147:G 124:, 121:} 112:{ 104:R 96:G 90:f 20:)

Index

Plurisuperharmonic function
mathematics
functions
complex analysis
Kähler manifold
subharmonic functions
Riemannian manifold
complex analytic spaces
function
upper semi-continuous
complex
subharmonic function
complex manifold
complex analytic space
upper semi-continuous function
holomorphic map
subharmonic
positive semidefinite
positive (1,1)-form
Kähler form
ddbar lemma
compact support
Cauchy integral formula
Dirac measure
Convex functions
domain of holomorphy
Kiyoshi Oka
Pierre Lelong
convex cone
semi-continuity

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