Knowledge (XXG)

Gårding's inequality

Source 📝

2639: 823: 627: 1317: 1987: 1136: 1479: 646: 957: 2119: 443: 1147: 1597: 1696: 1778: 343: 191: 1335:
Be careful, in this application, Garding's Inequality seems useless here as the final result is a direct consequence of Poincaré's Inequality, or Friedrich Inequality. (See talk on the article).
1831: 980: 1360: 818:{\displaystyle \sum _{|\alpha |,|\beta |=k}\xi ^{\alpha }A_{\alpha \beta }(x)\xi ^{\beta }>\theta |\xi |^{2k}{\mbox{ for all }}x\in \Omega ,\xi \in \mathbb {R} ^{n}\setminus \{0\}.} 382: 424: 227: 133: 2528: 865: 247: 62: 2006: 2191: 267: 157: 90: 622:{\displaystyle (Lu)(x)=\sum _{0\leq |\alpha |,|\beta |\leq k}(-1)^{|\alpha |}\mathrm {D} ^{\alpha }\left(A_{\alpha \beta }(x)\mathrm {D} ^{\beta }u(x)\right),} 1312:{\displaystyle B=\sum _{0\leq |\alpha |,|\beta |\leq k}\int _{\Omega }A_{\alpha \beta }(x)\mathrm {D} ^{\alpha }u(x)\mathrm {D} ^{\beta }v(x)\,\mathrm {d} x} 2354: 1509: 2663: 2481: 2336: 1608: 2673: 2312: 1702: 275: 2204: 2293: 2184: 2159: 2563: 2208: 162: 2133: 2359: 2415: 2642: 2364: 2349: 2177: 2379: 1982:{\displaystyle B\geq C\|u\|_{H^{1}(\Omega )}^{2}-G\|u\|_{L^{2}(\Omega )}^{2}{\mbox{ for all }}u\in H_{0}^{1}(\Omega ).} 1131:{\displaystyle B+G\|u\|_{L^{2}(\Omega )}^{2}\geq C\|u\|_{H^{k}(\Omega )}^{2}{\mbox{ for all }}u\in H_{0}^{k}(\Omega ),} 2624: 2384: 1817:(Ω). The hypotheses of Gårding's inequality are easy to verify for the Laplace operator Δ, so there exist constants 2578: 2502: 2619: 1474:{\displaystyle {\begin{cases}-\Delta u(x)=f(x),&x\in \Omega ;\\u(x)=0,&x\in \partial \Omega ;\end{cases}}} 2435: 2369: 2471: 2272: 2344: 2678: 2568: 270: 2599: 2543: 2507: 1993: 348: 1784: 387: 2668: 2582: 1369: 952:{\displaystyle A_{\alpha \beta }\in L^{\infty }(\Omega ){\mbox{ for all }}|\alpha |,|\beta |\leq k.} 196: 102: 2548: 2486: 2200: 840: 2573: 2440: 844: 2553: 2155: 29: 2154:. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. p. 356. 232: 47: 2558: 2476: 2445: 2425: 2410: 2405: 2400: 2237: 1485: 1352: 1340: 836: 2114:{\displaystyle B\geq K\|u\|_{H^{1}(\Omega )}^{2}{\mbox{ for all }}u\in H_{0}^{1}(\Omega ),} 2420: 2374: 2322: 2317: 2288: 2169: 96: 2247: 33: 2609: 2461: 2262: 252: 142: 75: 2657: 2614: 2538: 2267: 2252: 2242: 136: 25: 1996:
allows the two terms on the right-hand side to be combined, yielding a new constant
2604: 2257: 2227: 2533: 2523: 2430: 2232: 65: 17: 1592:{\displaystyle B=\langle f,v\rangle {\mbox{ for all }}v\in H_{0}^{1}(\Omega ),} 2466: 2306: 2302: 2298: 1691:{\displaystyle B=\int _{\Omega }\nabla u(x)\cdot \nabla v(x)\,\mathrm {d} x,} 93: 1773:{\displaystyle \langle f,v\rangle =\int _{\Omega }f(x)v(x)\,\mathrm {d} x.} 338:{\displaystyle E\colon H^{k}(\Omega )\rightarrow H^{k}(\mathbb {R} ^{n})} 69: 2173: 1343:Δ. More specifically, suppose that one wishes to solve, for 1791:
is both continuous and elliptic with respect to the norm on
1467: 1492:. The corresponding weak form of the problem is to find 1330:
Application: the Laplace operator and the Poisson problem
2136:
and the fact that the Sobolev norm is controlled by the
433:
be a linear partial differential operator of even order
186:{\displaystyle u\colon \Omega \rightarrow \mathbb {R} } 2072: 1940: 1550: 1089: 905: 764: 2009: 1834: 1705: 1611: 1512: 1363: 1150: 983: 868: 649: 636:
is uniformly elliptic, i.e., there exists a constant
446: 390: 351: 278: 255: 235: 199: 165: 145: 105: 78: 50: 2592: 2516: 2495: 2454: 2393: 2335: 2281: 2216: 2529:Spectral theory of ordinary differential equations 2113: 1981: 1772: 1690: 1591: 1473: 1311: 1130: 951: 817: 621: 418: 376: 337: 261: 241: 221: 185: 151: 127: 84: 56: 2152:An introduction to partial differential equations 1322:is the bilinear form associated to the operator 269:-extension property, i.e., that there exists a 2185: 30:linear elliptic partial differential operator 24:is a result that gives a lower bound for the 8: 2150:Renardy, Michael; Rogers, Robert C. (2004). 2041: 2034: 1909: 1902: 1866: 1859: 1718: 1706: 1546: 1534: 1058: 1051: 1015: 1008: 809: 803: 359: 2220: 2192: 2178: 2170: 2132:is even easier to see: simply apply the 2093: 2088: 2071: 2065: 2049: 2044: 2008: 1961: 1956: 1939: 1933: 1917: 1912: 1890: 1874: 1869: 1833: 1759: 1758: 1728: 1704: 1677: 1676: 1637: 1610: 1571: 1566: 1549: 1511: 1364: 1362: 1301: 1300: 1282: 1277: 1258: 1253: 1234: 1224: 1207: 1199: 1191: 1183: 1176: 1149: 1110: 1105: 1088: 1082: 1066: 1061: 1039: 1023: 1018: 982: 935: 927: 919: 911: 904: 889: 873: 867: 794: 790: 789: 763: 754: 749: 740: 728: 706: 696: 679: 671: 663: 655: 654: 648: 593: 588: 569: 554: 549: 541: 533: 532: 506: 498: 490: 482: 475: 445: 401: 389: 362: 350: 326: 322: 321: 311: 289: 277: 254: 234: 204: 198: 179: 178: 164: 144: 110: 104: 77: 49: 2482:Group algebra of a locally compact group 828:Finally, suppose that the coefficients 800: 159:-times weakly differentiable functions 2124:which is precisely the statement that 7: 377:{\displaystyle Eu\vert _{\Omega }=u} 419:{\displaystyle u\in H^{k}(\Omega )} 2102: 2058: 1970: 1926: 1883: 1787:ensures that if the bilinear form 1760: 1729: 1678: 1661: 1643: 1638: 1580: 1458: 1455: 1416: 1375: 1339:As a simple example, consider the 1302: 1278: 1254: 1225: 1119: 1075: 1032: 898: 890: 776: 589: 550: 410: 363: 298: 236: 213: 172: 119: 51: 14: 2638: 2637: 2564:Topological quantum field theory 2128:is elliptic. The continuity of 32:. The inequality is named after 2664:Theorems in functional analysis 2674:Partial differential equations 2105: 2099: 2061: 2055: 2025: 2013: 1973: 1967: 1929: 1923: 1886: 1880: 1850: 1838: 1755: 1749: 1743: 1737: 1673: 1667: 1655: 1649: 1627: 1615: 1583: 1577: 1528: 1516: 1435: 1429: 1402: 1396: 1387: 1381: 1297: 1291: 1273: 1267: 1249: 1243: 1208: 1200: 1192: 1184: 1166: 1154: 1122: 1116: 1078: 1072: 1035: 1029: 999: 987: 936: 928: 920: 912: 901: 895: 750: 741: 721: 715: 680: 672: 664: 656: 608: 602: 584: 578: 542: 534: 529: 519: 507: 499: 491: 483: 465: 459: 456: 447: 413: 407: 332: 317: 304: 301: 295: 222:{\displaystyle L^{2}(\Omega )} 216: 210: 175: 128:{\displaystyle H^{k}(\Omega )} 122: 116: 1: 2360:Uniform boundedness principle 966:holds: there exist constants 437:, written in divergence form 40:Statement of the inequality 2695: 2503:Invariant subspace problem 2633: 2223: 2134:Cauchy–Schwarz inequality 193:with weak derivatives in 2472:Spectrum of a C*-algebra 2569:Noncommutative geometry 2000: > 0 with 1806:(Ω), a unique solution 271:bounded linear operator 242:{\displaystyle \Omega } 57:{\displaystyle \Omega } 2625:Tomita–Takesaki theory 2600:Approximation property 2544:Calculus of variations 2140:norm of the gradient. 2115: 1983: 1774: 1692: 1593: 1475: 1313: 1132: 970: > 0 and 953: 819: 623: 420: 378: 339: 263: 243: 223: 187: 153: 129: 86: 58: 2620:Banach–Mazur distance 2583:Generalized functions 2116: 1984: 1775: 1693: 1594: 1496:in the Sobolev space 1484:where Ω is a bounded 1476: 1314: 1133: 954: 820: 624: 421: 379: 340: 264: 244: 224: 188: 154: 130: 87: 59: 2365:Kakutani fixed-point 2350:Riesz representation 2007: 1832: 1798:(Ω), then, for each 1703: 1609: 1510: 1361: 1148: 981: 964:Gårding's inequality 866: 841:continuous functions 647: 444: 388: 349: 276: 253: 233: 197: 163: 143: 103: 76: 48: 22:Gårding's inequality 2549:Functional calculus 2508:Mahler's conjecture 2487:Von Neumann algebra 2201:Functional analysis 2098: 2074: for all  2070: 1994:Poincaré inequality 1966: 1942: for all  1938: 1895: 1576: 1552: for all  1115: 1091: for all  1087: 1044: 907: for all  766: for all  2574:Riemann hypothesis 2273:Topological vector 2111: 2084: 2076: 2040: 1979: 1952: 1944: 1908: 1865: 1770: 1688: 1589: 1562: 1554: 1471: 1466: 1309: 1219: 1128: 1101: 1093: 1057: 1014: 949: 909: 815: 768: 691: 619: 518: 416: 374: 335: 259: 239: 219: 183: 149: 125: 82: 54: 28:induced by a real 2651: 2650: 2554:Integral operator 2331: 2330: 2075: 1943: 1785:Lax–Milgram lemma 1553: 1172: 1092: 908: 767: 650: 640:> 0 such that 632:and suppose that 471: 262:{\displaystyle k} 152:{\displaystyle k} 85:{\displaystyle n} 2686: 2641: 2640: 2559:Jones polynomial 2477:Operator algebra 2221: 2194: 2187: 2180: 2171: 2165: 2120: 2118: 2117: 2112: 2097: 2092: 2077: 2073: 2069: 2064: 2054: 2053: 1988: 1986: 1985: 1980: 1965: 1960: 1945: 1941: 1937: 1932: 1922: 1921: 1894: 1889: 1879: 1878: 1779: 1777: 1776: 1771: 1763: 1733: 1732: 1697: 1695: 1694: 1689: 1681: 1642: 1641: 1598: 1596: 1595: 1590: 1575: 1570: 1555: 1551: 1486:Lipschitz domain 1480: 1478: 1477: 1472: 1470: 1469: 1353:Poisson equation 1341:Laplace operator 1318: 1316: 1315: 1310: 1305: 1287: 1286: 1281: 1263: 1262: 1257: 1242: 1241: 1229: 1228: 1218: 1211: 1203: 1195: 1187: 1137: 1135: 1134: 1129: 1114: 1109: 1094: 1090: 1086: 1081: 1071: 1070: 1043: 1038: 1028: 1027: 958: 956: 955: 950: 939: 931: 923: 915: 910: 906: 894: 893: 881: 880: 824: 822: 821: 816: 799: 798: 793: 769: 765: 762: 761: 753: 744: 733: 732: 714: 713: 701: 700: 690: 683: 675: 667: 659: 628: 626: 625: 620: 615: 611: 598: 597: 592: 577: 576: 559: 558: 553: 547: 546: 545: 537: 517: 510: 502: 494: 486: 425: 423: 422: 417: 406: 405: 383: 381: 380: 375: 367: 366: 344: 342: 341: 336: 331: 330: 325: 316: 315: 294: 293: 268: 266: 265: 260: 248: 246: 245: 240: 228: 226: 225: 220: 209: 208: 192: 190: 189: 184: 182: 158: 156: 155: 150: 134: 132: 131: 126: 115: 114: 91: 89: 88: 83: 63: 61: 60: 55: 2694: 2693: 2689: 2688: 2687: 2685: 2684: 2683: 2654: 2653: 2652: 2647: 2629: 2593:Advanced topics 2588: 2512: 2491: 2450: 2416:Hilbert–Schmidt 2389: 2380:Gelfand–Naimark 2327: 2277: 2212: 2198: 2162: 2149: 2146: 2045: 2005: 2004: 1913: 1870: 1830: 1829: 1825: ≥ 0 1816: 1797: 1724: 1701: 1700: 1633: 1607: 1606: 1508: 1507: 1502: 1465: 1464: 1447: 1423: 1422: 1408: 1365: 1359: 1358: 1332: 1276: 1252: 1230: 1220: 1146: 1145: 1062: 1019: 979: 978: 974: ≥ 0 885: 869: 864: 863: 833: 788: 748: 724: 702: 692: 645: 644: 587: 565: 564: 560: 548: 528: 442: 441: 397: 386: 385: 358: 347: 346: 320: 307: 285: 274: 273: 251: 250: 231: 230: 200: 195: 194: 161: 160: 141: 140: 106: 101: 100: 97:Euclidean space 74: 73: 46: 45: 42: 12: 11: 5: 2692: 2690: 2682: 2681: 2679:Sobolev spaces 2676: 2671: 2666: 2656: 2655: 2649: 2648: 2646: 2645: 2634: 2631: 2630: 2628: 2627: 2622: 2617: 2612: 2610:Choquet theory 2607: 2602: 2596: 2594: 2590: 2589: 2587: 2586: 2576: 2571: 2566: 2561: 2556: 2551: 2546: 2541: 2536: 2531: 2526: 2520: 2518: 2514: 2513: 2511: 2510: 2505: 2499: 2497: 2493: 2492: 2490: 2489: 2484: 2479: 2474: 2469: 2464: 2462:Banach algebra 2458: 2456: 2452: 2451: 2449: 2448: 2443: 2438: 2433: 2428: 2423: 2418: 2413: 2408: 2403: 2397: 2395: 2391: 2390: 2388: 2387: 2385:Banach–Alaoglu 2382: 2377: 2372: 2367: 2362: 2357: 2352: 2347: 2341: 2339: 2333: 2332: 2329: 2328: 2326: 2325: 2320: 2315: 2313:Locally convex 2310: 2296: 2291: 2285: 2283: 2279: 2278: 2276: 2275: 2270: 2265: 2260: 2255: 2250: 2245: 2240: 2235: 2230: 2224: 2218: 2214: 2213: 2199: 2197: 2196: 2189: 2182: 2174: 2168: 2167: 2166:(Theorem 9.17) 2160: 2145: 2142: 2122: 2121: 2110: 2107: 2104: 2101: 2096: 2091: 2087: 2083: 2080: 2068: 2063: 2060: 2057: 2052: 2048: 2043: 2039: 2036: 2033: 2030: 2027: 2024: 2021: 2018: 2015: 2012: 1990: 1989: 1978: 1975: 1972: 1969: 1964: 1959: 1955: 1951: 1948: 1936: 1931: 1928: 1925: 1920: 1916: 1911: 1907: 1904: 1901: 1898: 1893: 1888: 1885: 1882: 1877: 1873: 1868: 1864: 1861: 1858: 1855: 1852: 1849: 1846: 1843: 1840: 1837: 1814: 1810:must exist in 1795: 1781: 1780: 1769: 1766: 1762: 1757: 1754: 1751: 1748: 1745: 1742: 1739: 1736: 1731: 1727: 1723: 1720: 1717: 1714: 1711: 1708: 1698: 1687: 1684: 1680: 1675: 1672: 1669: 1666: 1663: 1660: 1657: 1654: 1651: 1648: 1645: 1640: 1636: 1632: 1629: 1626: 1623: 1620: 1617: 1614: 1600: 1599: 1588: 1585: 1582: 1579: 1574: 1569: 1565: 1561: 1558: 1548: 1545: 1542: 1539: 1536: 1533: 1530: 1527: 1524: 1521: 1518: 1515: 1503:(Ω) such that 1500: 1482: 1481: 1468: 1463: 1460: 1457: 1454: 1451: 1448: 1446: 1443: 1440: 1437: 1434: 1431: 1428: 1425: 1424: 1421: 1418: 1415: 1412: 1409: 1407: 1404: 1401: 1398: 1395: 1392: 1389: 1386: 1383: 1380: 1377: 1374: 1371: 1370: 1368: 1331: 1328: 1320: 1319: 1308: 1304: 1299: 1296: 1293: 1290: 1285: 1280: 1275: 1272: 1269: 1266: 1261: 1256: 1251: 1248: 1245: 1240: 1237: 1233: 1227: 1223: 1217: 1214: 1210: 1206: 1202: 1198: 1194: 1190: 1186: 1182: 1179: 1175: 1171: 1168: 1165: 1162: 1159: 1156: 1153: 1139: 1138: 1127: 1124: 1121: 1118: 1113: 1108: 1104: 1100: 1097: 1085: 1080: 1077: 1074: 1069: 1065: 1060: 1056: 1053: 1050: 1047: 1042: 1037: 1034: 1031: 1026: 1022: 1017: 1013: 1010: 1007: 1004: 1001: 998: 995: 992: 989: 986: 960: 959: 948: 945: 942: 938: 934: 930: 926: 922: 918: 914: 903: 900: 897: 892: 888: 884: 879: 876: 872: 831: 826: 825: 814: 811: 808: 805: 802: 797: 792: 787: 784: 781: 778: 775: 772: 760: 757: 752: 747: 743: 739: 736: 731: 727: 723: 720: 717: 712: 709: 705: 699: 695: 689: 686: 682: 678: 674: 670: 666: 662: 658: 653: 630: 629: 618: 614: 610: 607: 604: 601: 596: 591: 586: 583: 580: 575: 572: 568: 563: 557: 552: 544: 540: 536: 531: 527: 524: 521: 516: 513: 509: 505: 501: 497: 493: 489: 485: 481: 478: 474: 470: 467: 464: 461: 458: 455: 452: 449: 415: 412: 409: 404: 400: 396: 393: 373: 370: 365: 361: 357: 354: 334: 329: 324: 319: 314: 310: 306: 303: 300: 297: 292: 288: 284: 281: 258: 249:satisfies the 238: 229:. Assume that 218: 215: 212: 207: 203: 181: 177: 174: 171: 168: 148: 124: 121: 118: 113: 109: 81: 53: 41: 38: 13: 10: 9: 6: 4: 3: 2: 2691: 2680: 2677: 2675: 2672: 2670: 2667: 2665: 2662: 2661: 2659: 2644: 2636: 2635: 2632: 2626: 2623: 2621: 2618: 2616: 2615:Weak topology 2613: 2611: 2608: 2606: 2603: 2601: 2598: 2597: 2595: 2591: 2584: 2580: 2577: 2575: 2572: 2570: 2567: 2565: 2562: 2560: 2557: 2555: 2552: 2550: 2547: 2545: 2542: 2540: 2539:Index theorem 2537: 2535: 2532: 2530: 2527: 2525: 2522: 2521: 2519: 2515: 2509: 2506: 2504: 2501: 2500: 2498: 2496:Open problems 2494: 2488: 2485: 2483: 2480: 2478: 2475: 2473: 2470: 2468: 2465: 2463: 2460: 2459: 2457: 2453: 2447: 2444: 2442: 2439: 2437: 2434: 2432: 2429: 2427: 2424: 2422: 2419: 2417: 2414: 2412: 2409: 2407: 2404: 2402: 2399: 2398: 2396: 2392: 2386: 2383: 2381: 2378: 2376: 2373: 2371: 2368: 2366: 2363: 2361: 2358: 2356: 2353: 2351: 2348: 2346: 2343: 2342: 2340: 2338: 2334: 2324: 2321: 2319: 2316: 2314: 2311: 2308: 2304: 2300: 2297: 2295: 2292: 2290: 2287: 2286: 2284: 2280: 2274: 2271: 2269: 2266: 2264: 2261: 2259: 2256: 2254: 2251: 2249: 2246: 2244: 2241: 2239: 2236: 2234: 2231: 2229: 2226: 2225: 2222: 2219: 2215: 2210: 2206: 2202: 2195: 2190: 2188: 2183: 2181: 2176: 2175: 2172: 2163: 2161:0-387-00444-0 2157: 2153: 2148: 2147: 2143: 2141: 2139: 2135: 2131: 2127: 2108: 2094: 2089: 2085: 2081: 2078: 2066: 2050: 2046: 2037: 2031: 2028: 2022: 2019: 2016: 2010: 2003: 2002: 2001: 1999: 1995: 1992:Applying the 1976: 1962: 1957: 1953: 1949: 1946: 1934: 1918: 1914: 1905: 1899: 1896: 1891: 1875: 1871: 1862: 1856: 1853: 1847: 1844: 1841: 1835: 1828: 1827: 1826: 1824: 1820: 1813: 1809: 1805: 1802: ∈  1801: 1794: 1790: 1786: 1767: 1764: 1752: 1746: 1740: 1734: 1725: 1721: 1715: 1712: 1709: 1699: 1685: 1682: 1670: 1664: 1658: 1652: 1646: 1634: 1630: 1624: 1621: 1618: 1612: 1605: 1604: 1603: 1586: 1572: 1567: 1563: 1559: 1556: 1543: 1540: 1537: 1531: 1525: 1522: 1519: 1513: 1506: 1505: 1504: 1499: 1495: 1491: 1487: 1461: 1452: 1449: 1444: 1441: 1438: 1432: 1426: 1419: 1413: 1410: 1405: 1399: 1393: 1390: 1384: 1378: 1372: 1366: 1357: 1356: 1355: 1354: 1350: 1347: ∈  1346: 1342: 1337: 1336: 1329: 1327: 1325: 1306: 1294: 1288: 1283: 1270: 1264: 1259: 1246: 1238: 1235: 1231: 1221: 1215: 1212: 1204: 1196: 1188: 1180: 1177: 1173: 1169: 1163: 1160: 1157: 1151: 1144: 1143: 1142: 1125: 1111: 1106: 1102: 1098: 1095: 1083: 1067: 1063: 1054: 1048: 1045: 1040: 1024: 1020: 1011: 1005: 1002: 996: 993: 990: 984: 977: 976: 975: 973: 969: 965: 946: 943: 940: 932: 924: 916: 886: 882: 877: 874: 870: 862: 861: 860: 858: 854: 850: 846: 842: 838: 834: 812: 806: 795: 785: 782: 779: 773: 770: 758: 755: 745: 737: 734: 729: 725: 718: 710: 707: 703: 697: 693: 687: 684: 676: 668: 660: 651: 643: 642: 641: 639: 635: 616: 612: 605: 599: 594: 581: 573: 570: 566: 561: 555: 538: 525: 522: 514: 511: 503: 495: 487: 479: 476: 472: 468: 462: 453: 450: 440: 439: 438: 436: 432: 427: 402: 398: 394: 391: 371: 368: 355: 352: 327: 312: 308: 290: 286: 282: 279: 272: 256: 205: 201: 169: 166: 146: 138: 137:Sobolev space 111: 107: 98: 95: 79: 71: 67: 39: 37: 35: 31: 27: 26:bilinear form 23: 19: 2669:Inequalities 2605:Balanced set 2579:Distribution 2517:Applications 2370:Krein–Milman 2355:Closed graph 2151: 2137: 2129: 2125: 2123: 1997: 1991: 1822: 1818: 1811: 1807: 1803: 1799: 1792: 1788: 1782: 1601: 1497: 1493: 1489: 1483: 1348: 1344: 1338: 1334: 1333: 1323: 1321: 1140: 971: 967: 963: 961: 856: 852: 848: 832:αβ 829: 827: 637: 633: 631: 434: 430: 428: 43: 34:Lars Gårding 21: 15: 2534:Heat kernel 2524:Hardy space 2431:Trace class 2345:Hahn–Banach 2307:Topological 135:denote the 94:dimensional 70:open domain 18:mathematics 2658:Categories 2467:C*-algebra 2282:Properties 2144:References 847:of Ω for | 345:such that 2441:Unbounded 2436:Transpose 2394:Operators 2323:Separable 2318:Reflexive 2303:Algebraic 2289:Barrelled 2103:Ω 2082:∈ 2059:Ω 2042:‖ 2035:‖ 2029:≥ 1971:Ω 1950:∈ 1927:Ω 1910:‖ 1903:‖ 1897:− 1884:Ω 1867:‖ 1860:‖ 1854:≥ 1730:Ω 1726:∫ 1719:⟩ 1707:⟨ 1662:∇ 1659:⋅ 1644:∇ 1639:Ω 1635:∫ 1581:Ω 1560:∈ 1547:⟩ 1535:⟨ 1459:Ω 1456:∂ 1453:∈ 1417:Ω 1414:∈ 1376:Δ 1373:− 1284:β 1260:α 1239:β 1236:α 1226:Ω 1222:∫ 1213:≤ 1205:β 1189:α 1181:≤ 1174:∑ 1120:Ω 1099:∈ 1076:Ω 1059:‖ 1052:‖ 1046:≥ 1033:Ω 1016:‖ 1009:‖ 941:≤ 933:β 917:α 899:Ω 891:∞ 883:∈ 878:β 875:α 859:and that 801:∖ 786:∈ 783:ξ 777:Ω 774:∈ 746:ξ 738:θ 730:β 726:ξ 711:β 708:α 698:α 694:ξ 677:β 661:α 652:∑ 595:β 574:β 571:α 556:α 539:α 523:− 512:≤ 504:β 488:α 480:≤ 473:∑ 411:Ω 395:∈ 364:Ω 305:→ 299:Ω 283:: 237:Ω 214:Ω 176:→ 173:Ω 170:: 120:Ω 52:Ω 2643:Category 2455:Algebras 2337:Theorems 2294:Complete 2263:Schwartz 2209:glossary 1351:(Ω) the 384:for all 99:and let 2446:Unitary 2426:Nuclear 2411:Compact 2406:Bounded 2401:Adjoint 2375:Min–max 2268:Sobolev 2253:Nuclear 2243:Hilbert 2238:Fréchet 2203: ( 845:closure 843:on the 837:bounded 66:bounded 2421:Normal 2258:Orlicz 2248:Hölder 2228:Banach 2217:Spaces 2205:topics 2158:  1602:where 1141:where 853:β 849:α 638:θ 2233:Besov 962:Then 851:| = | 64:be a 2581:(or 2299:Dual 2156:ISBN 1821:and 1783:The 855:| = 835:are 735:> 429:Let 44:Let 1488:in 139:of 72:in 16:In 2660:: 2207:– 1326:. 839:, 435:2k 426:. 68:, 36:. 20:, 2585:) 2309:) 2305:/ 2301:( 2211:) 2193:e 2186:t 2179:v 2164:. 2138:L 2130:B 2126:B 2109:, 2106:) 2100:( 2095:1 2090:0 2086:H 2079:u 2067:2 2062:) 2056:( 2051:1 2047:H 2038:u 2032:K 2026:] 2023:u 2020:, 2017:u 2014:[ 2011:B 1998:K 1977:. 1974:) 1968:( 1963:1 1958:0 1954:H 1947:u 1935:2 1930:) 1924:( 1919:2 1915:L 1906:u 1900:G 1892:2 1887:) 1881:( 1876:1 1872:H 1863:u 1857:C 1851:] 1848:u 1845:, 1842:u 1839:[ 1836:B 1823:G 1819:C 1815:0 1812:H 1808:u 1804:L 1800:f 1796:0 1793:H 1789:B 1768:. 1765:x 1761:d 1756:) 1753:x 1750:( 1747:v 1744:) 1741:x 1738:( 1735:f 1722:= 1716:v 1713:, 1710:f 1686:, 1683:x 1679:d 1674:) 1671:x 1668:( 1665:v 1656:) 1653:x 1650:( 1647:u 1631:= 1628:] 1625:v 1622:, 1619:u 1616:[ 1613:B 1587:, 1584:) 1578:( 1573:1 1568:0 1564:H 1557:v 1544:v 1541:, 1538:f 1532:= 1529:] 1526:v 1523:, 1520:u 1517:[ 1514:B 1501:0 1498:H 1494:u 1490:R 1462:; 1450:x 1445:, 1442:0 1439:= 1436:) 1433:x 1430:( 1427:u 1420:; 1411:x 1406:, 1403:) 1400:x 1397:( 1394:f 1391:= 1388:) 1385:x 1382:( 1379:u 1367:{ 1349:L 1345:f 1324:L 1307:x 1303:d 1298:) 1295:x 1292:( 1289:v 1279:D 1274:) 1271:x 1268:( 1265:u 1255:D 1250:) 1247:x 1244:( 1232:A 1216:k 1209:| 1201:| 1197:, 1193:| 1185:| 1178:0 1170:= 1167:] 1164:u 1161:, 1158:v 1155:[ 1152:B 1126:, 1123:) 1117:( 1112:k 1107:0 1103:H 1096:u 1084:2 1079:) 1073:( 1068:k 1064:H 1055:u 1049:C 1041:2 1036:) 1030:( 1025:2 1021:L 1012:u 1006:G 1003:+ 1000:] 997:u 994:, 991:u 988:[ 985:B 972:G 968:C 947:. 944:k 937:| 929:| 925:, 921:| 913:| 902:) 896:( 887:L 871:A 857:k 830:A 813:. 810:} 807:0 804:{ 796:n 791:R 780:, 771:x 759:k 756:2 751:| 742:| 722:) 719:x 716:( 704:A 688:k 685:= 681:| 673:| 669:, 665:| 657:| 634:L 617:, 613:) 609:) 606:x 603:( 600:u 590:D 585:) 582:x 579:( 567:A 562:( 551:D 543:| 535:| 530:) 526:1 520:( 515:k 508:| 500:| 496:, 492:| 484:| 477:0 469:= 466:) 463:x 460:( 457:) 454:u 451:L 448:( 431:L 414:) 408:( 403:k 399:H 392:u 372:u 369:= 360:| 356:u 353:E 333:) 328:n 323:R 318:( 313:k 309:H 302:) 296:( 291:k 287:H 280:E 257:k 217:) 211:( 206:2 202:L 180:R 167:u 147:k 123:) 117:( 112:k 108:H 92:- 80:n

Index

mathematics
bilinear form
linear elliptic partial differential operator
Lars Gårding
bounded
open domain
dimensional
Euclidean space
Sobolev space
bounded linear operator
bounded
continuous functions
closure
Laplace operator
Poisson equation
Lipschitz domain
Lax–Milgram lemma
Poincaré inequality
Cauchy–Schwarz inequality
ISBN
0-387-00444-0
v
t
e
Functional analysis
topics
glossary
Banach
Besov
Fréchet

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