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