84:
74:
53:
22:
1489:
means what? Any GOOD reason that so much here is left undefined/unexplained? Are we supposed to know (and if so, based on what) what these symbols mean in this case? I've taken math through ordinary differential equations, so my knowledge is "above average" for a layperson. Most of these symbols
1529:
In any case, it is not true that potential must be specified over the entire boundary of the domain. Dirichlet's principle still holds if the domain has "side walls" on which the potential is free to vary (but has no gradient normal to the wall), provided only that there is somewhere where the
640:
506:
1001:
1144:
552:
380:
250:
140:
544:
712:
1346:
270:
The article says "WeierstraĂ gave an example of a functional that does not attain its minimum. Hilbert later justified
Riemann's use of Dirichlet's principle." What's the example?
1490:
have various meanings in various mathematical contexts, and need to be defined prior to indiscriminate use. Writing articles for the specialist seems unproductive in this forum.
800:
670:
162:
It sounds like the principle holds in only certain cases, but its not clear what these are. What can be said about fractal boundaries? (i.e. no-where differentiable boundaries)?
1487:
774:
197:
1398:
1189:
1215:
1029:
1372:
747:
1424:
1293:
1267:
1241:
1055:
1444:
1166:
888:
868:
1194:
It is not immediately obvious to me that a similar lower bound can be written down in the case that there is no solution to the boundary-value problem.
1597:
130:
1592:
388:
106:
895:
1491:
1062:
635:{\displaystyle u_{\varepsilon }(x)={\frac {\arctan {\tfrac {x}{\varepsilon }}}{\arctan {\tfrac {1}{\varepsilon }}}}\in {\mathcal {C}}}
172:
I think you need to be able to integrate by parts and you should have good trace and extension operators. I am pretty certain that a
97:
58:
1570:
1520:
It is standard notation, but the article might be made more accessible by simply specifying the boundary conditions in words.
1505:
It's standard notation for the boundary of the domain. I believe it's still taught as part of multivariate calculus courses.
1561:
289:
33:
202:
511:
21:
675:
1495:
1298:
820:
749:
smoothness) that the derivative is zero everywhere, a contradiction to the boundary conditions. Note that
1453:
39:
83:
779:
649:
1469:
752:
179:
1535:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1539:
1513:
1377:
271:
173:
89:
73:
52:
1567:
1446:
is constant, so the limiting function does not satisfy the boundary condition at the origin.
1171:
1449:
1200:
1008:
841:
1351:
806:
725:
256:
1403:
1272:
1246:
1220:
1034:
1429:
1151:
873:
853:
1586:
1507:
1543:
1515:
1499:
1457:
845:
809:
274:
259:
166:
829:
at all. It is obvious that the integral is nonnegative for harmonic functions (
837:
102:
803:
253:
163:
79:
501:{\displaystyle {\mathcal {C}}=\{u\in C^{1}():u(-1)=-1{\text{ and }}u(1)=1\}}
996:{\displaystyle E=E+{\frac {1}{2}}\int _{\Omega }|\nabla (u-v)|^{2}dV.}
1197:
An example of a boundary value problem with no solution is to take
1139:{\displaystyle E=-{\frac {1}{2}}\int _{\Omega }|\nabla u|^{2}dV.}
836:) but I do not believe it is nonnegative in the general case. --
15:
627:
521:
394:
608:
588:
1472:
1432:
1406:
1380:
1354:
1301:
1275:
1249:
1223:
1203:
1174:
1154:
1065:
1037:
1011:
898:
876:
856:
782:
755:
728:
678:
652:
555:
514:
391:
375:{\displaystyle F(u)=\int _{-1}^{1}x^{2}(u'(x))^{2}dx}
292:
205:
182:
101:, a collaborative effort to improve the coverage of
1563:Isoperimetric Inequalities in Mathematical Physics
1481:
1438:
1418:
1392:
1366:
1340:
1287:
1261:
1235:
1209:
1183:
1160:
1138:
1049:
1023:
995:
882:
862:
794:
768:
741:
706:
664:
634:
538:
500:
374:
244:
191:
890:exists, then an integration by parts shows that
516:
283:, vol. I, p. 43, the example WeierstraĂ gave is
1148:The lower bound is therefore negative whenever
722:, since that would imply (as we are asking for
245:{\displaystyle g\in H^{1/2}(\partial \Omega )}
8:
495:
402:
1560:PĂłlya, György; SzegĆ, GĂĄbor (21 Aug 1951).
539:{\displaystyle \inf _{\mathcal {C}}F\geq 0}
19:
1005:So the functional is bounded below in the
47:
1566:. Princeton University Press. pp. 49â51.
1471:
1431:
1405:
1379:
1353:
1332:
1322:
1309:
1300:
1274:
1248:
1243:, and impose boundary conditions that
1222:
1202:
1173:
1153:
1121:
1116:
1104:
1098:
1084:
1064:
1036:
1010:
978:
973:
949:
943:
929:
897:
875:
855:
781:
760:
754:
733:
727:
689:
677:
651:
626:
625:
607:
587:
578:
560:
554:
520:
519:
513:
472:
415:
393:
392:
390:
360:
330:
320:
312:
291:
220:
216:
204:
181:
158:What are the constraints on the boundary?
707:{\displaystyle F(u_{\varepsilon })\to 0}
1552:
1341:{\displaystyle (x^{2}+y^{2})^{\alpha }}
49:
1031:case also. When the boundary value
1217:to be the punctured unit disc, take
7:
1348:satisfy the boundary conditions and
823:does not mention the free component
546:. A minimizing sequence is given by
279:According to Giaquinta/Hildebrandt,
95:This article is within the scope of
38:It is of interest to the following
1476:
1473:
1204:
1175:
1109:
1099:
954:
944:
236:
233:
186:
183:
14:
1598:Mid-priority mathematics articles
795:{\displaystyle \varepsilon \to 0}
776:converge to the sign function as
665:{\displaystyle \varepsilon \to 0}
115:Knowledge:WikiProject Mathematics
1593:Start-Class mathematics articles
1482:{\displaystyle \partial \Omega }
769:{\displaystyle u_{\varepsilon }}
714:. However, there is no function
192:{\displaystyle \partial \Omega }
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1384:
1358:
1329:
1302:
1295:at the origin. The functions
1117:
1105:
1075:
1069:
974:
969:
957:
950:
923:
917:
908:
902:
846:10:36, 18 September 2008 (UTC)
786:
698:
695:
682:
656:
572:
566:
486:
480:
460:
451:
442:
439:
424:
421:
357:
353:
347:
336:
302:
296:
239:
230:
1:
1544:01:26, 19 December 2019 (UTC)
810:18:23, 19 December 2006 (UTC)
275:18:08, 19 December 2006 (UTC)
109:and see a list of open tasks.
1393:{\displaystyle \alpha \to 0}
1057:, we can even compute that
870:is no-zero, and a solution
1458:18:50, 8 January 2013 (UTC)
260:06:09, 26 August 2006 (UTC)
167:03:23, 26 August 2006 (UTC)
1614:
1269:on the outer boundary and
1516:06:37, 20 June 2012 (UTC)
1500:12:26, 19 June 2012 (UTC)
1191:is not identically zero.
134:
67:
46:
1184:{\displaystyle \nabla u}
141:project's priority scale
1210:{\displaystyle \Omega }
1024:{\displaystyle f\neq 0}
98:WikiProject Mathematics
1483:
1440:
1420:
1394:
1368:
1367:{\displaystyle E\to 0}
1342:
1289:
1263:
1237:
1211:
1185:
1162:
1140:
1051:
1025:
997:
884:
864:
796:
770:
743:
708:
666:
636:
540:
502:
376:
281:Calculus of Variations
246:
193:
28:This article is rated
1484:
1441:
1421:
1395:
1369:
1343:
1290:
1264:
1238:
1212:
1186:
1163:
1141:
1052:
1026:
998:
885:
865:
797:
771:
744:
742:{\displaystyle C^{1}}
709:
667:
637:
541:
503:
377:
247:
194:
1470:
1430:
1404:
1378:
1352:
1299:
1273:
1247:
1221:
1201:
1172:
1152:
1063:
1035:
1009:
896:
874:
854:
780:
753:
726:
676:
650:
553:
512:
389:
290:
203:
180:
121:mathematics articles
1419:{\displaystyle E=0}
1288:{\displaystyle u=0}
1262:{\displaystyle u=1}
1236:{\displaystyle f=0}
1050:{\displaystyle g=0}
802:. Hope that helps,
508:. It is clear that
325:
1512:
1479:
1436:
1416:
1390:
1364:
1338:
1285:
1259:
1233:
1207:
1181:
1158:
1136:
1047:
1021:
993:
880:
860:
821:Dirichletâs energy
792:
766:
739:
704:
662:
632:
617:
597:
536:
526:
498:
372:
308:
242:
189:
174:Lipschitz boundary
90:Mathematics portal
34:content assessment
1506:
1439:{\displaystyle u}
1161:{\displaystyle f}
1092:
937:
883:{\displaystyle u}
863:{\displaystyle f}
620:
616:
596:
515:
475:
155:
154:
151:
150:
147:
146:
1605:
1577:
1576:
1557:
1510:
1488:
1486:
1485:
1480:
1445:
1443:
1442:
1437:
1425:
1423:
1422:
1417:
1399:
1397:
1396:
1391:
1373:
1371:
1370:
1365:
1347:
1345:
1344:
1339:
1337:
1336:
1327:
1326:
1314:
1313:
1294:
1292:
1291:
1286:
1268:
1266:
1265:
1260:
1242:
1240:
1239:
1234:
1216:
1214:
1213:
1208:
1190:
1188:
1187:
1182:
1167:
1165:
1164:
1159:
1145:
1143:
1142:
1137:
1126:
1125:
1120:
1108:
1103:
1102:
1093:
1085:
1056:
1054:
1053:
1048:
1030:
1028:
1027:
1022:
1002:
1000:
999:
994:
983:
982:
977:
953:
948:
947:
938:
930:
889:
887:
886:
881:
869:
867:
866:
861:
835:
828:
801:
799:
798:
793:
775:
773:
772:
767:
765:
764:
748:
746:
745:
740:
738:
737:
713:
711:
710:
705:
694:
693:
671:
669:
668:
663:
641:
639:
638:
633:
631:
630:
621:
619:
618:
609:
599:
598:
589:
579:
565:
564:
545:
543:
542:
537:
525:
524:
507:
505:
504:
499:
476:
473:
420:
419:
398:
397:
381:
379:
378:
373:
365:
364:
346:
335:
334:
324:
319:
252:are sufficient.
251:
249:
248:
243:
229:
228:
224:
198:
196:
195:
190:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1613:
1612:
1608:
1607:
1606:
1604:
1603:
1602:
1583:
1582:
1581:
1580:
1573:
1559:
1558:
1554:
1508:
1468:
1467:
1465:
1428:
1427:
1402:
1401:
1376:
1375:
1350:
1349:
1328:
1318:
1305:
1297:
1296:
1271:
1270:
1245:
1244:
1219:
1218:
1199:
1198:
1170:
1169:
1150:
1149:
1115:
1094:
1061:
1060:
1033:
1032:
1007:
1006:
972:
939:
894:
893:
872:
871:
852:
851:
833:
830:
827:
824:
817:
778:
777:
756:
751:
750:
729:
724:
723:
685:
674:
673:
648:
647:
600:
580:
556:
551:
550:
510:
509:
411:
387:
386:
356:
339:
326:
288:
287:
272:âBen FrantzDale
268:
212:
201:
200:
178:
177:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1611:
1609:
1601:
1600:
1595:
1585:
1584:
1579:
1578:
1571:
1551:
1550:
1549:
1548:
1547:
1546:
1524:
1523:
1522:
1521:
1478:
1475:
1464:
1461:
1435:
1415:
1412:
1409:
1389:
1386:
1383:
1363:
1360:
1357:
1335:
1331:
1325:
1321:
1317:
1312:
1308:
1304:
1284:
1281:
1278:
1258:
1255:
1252:
1232:
1229:
1226:
1206:
1180:
1177:
1157:
1135:
1132:
1129:
1124:
1119:
1114:
1111:
1107:
1101:
1097:
1091:
1088:
1083:
1080:
1077:
1074:
1071:
1068:
1046:
1043:
1040:
1020:
1017:
1014:
992:
989:
986:
981:
976:
971:
968:
965:
962:
959:
956:
952:
946:
942:
936:
933:
928:
925:
922:
919:
916:
913:
910:
907:
904:
901:
879:
859:
831:
825:
819:The entry for
816:
813:
791:
788:
785:
763:
759:
736:
732:
703:
700:
697:
692:
688:
684:
681:
661:
658:
655:
644:
643:
629:
624:
615:
612:
606:
603:
595:
592:
586:
583:
577:
574:
571:
568:
563:
559:
535:
532:
529:
523:
518:
497:
494:
491:
488:
485:
482:
479:
471:
468:
465:
462:
459:
456:
453:
450:
447:
444:
441:
438:
435:
432:
429:
426:
423:
418:
414:
410:
407:
404:
401:
396:
383:
382:
371:
368:
363:
359:
355:
352:
349:
345:
342:
338:
333:
329:
323:
318:
315:
311:
307:
304:
301:
298:
295:
267:
264:
263:
262:
241:
238:
235:
232:
227:
223:
219:
215:
211:
208:
188:
185:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1610:
1599:
1596:
1594:
1591:
1590:
1588:
1574:
1569:
1565:
1564:
1556:
1553:
1545:
1541:
1537:
1533:
1528:
1527:
1526:
1525:
1519:
1518:
1517:
1514:
1511:
1504:
1503:
1502:
1501:
1497:
1493:
1462:
1460:
1459:
1455:
1451:
1447:
1433:
1426:implies that
1413:
1410:
1407:
1387:
1381:
1361:
1355:
1333:
1323:
1319:
1315:
1310:
1306:
1282:
1279:
1276:
1256:
1253:
1250:
1230:
1227:
1224:
1195:
1192:
1178:
1168:is such that
1155:
1146:
1133:
1130:
1127:
1122:
1112:
1095:
1089:
1086:
1081:
1078:
1072:
1066:
1058:
1044:
1041:
1038:
1018:
1015:
1012:
1003:
990:
987:
984:
979:
966:
963:
960:
940:
934:
931:
926:
920:
914:
911:
905:
899:
891:
877:
857:
848:
847:
843:
839:
822:
814:
812:
811:
808:
805:
789:
783:
761:
757:
734:
730:
721:
717:
701:
690:
686:
679:
659:
653:
622:
613:
610:
604:
601:
593:
590:
584:
581:
575:
569:
561:
557:
549:
548:
547:
533:
530:
527:
492:
489:
483:
477:
469:
466:
463:
457:
454:
448:
445:
436:
433:
430:
427:
416:
412:
408:
405:
399:
369:
366:
361:
350:
343:
340:
331:
327:
321:
316:
313:
309:
305:
299:
293:
286:
285:
284:
282:
277:
276:
273:
266:What example?
265:
261:
258:
255:
225:
221:
217:
213:
209:
206:
175:
171:
170:
169:
168:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1562:
1555:
1531:
1492:71.31.146.16
1466:
1448:
1196:
1193:
1147:
1059:
1004:
892:
849:
818:
815:Nonnegative?
719:
715:
645:
384:
280:
278:
269:
161:
137:Mid-priority
136:
96:
62:Midâpriority
40:WikiProjects
1534:specified.
385:in the set
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1587:Categories
1572:0691079889
1530:potential
1450:Mike Stone
718:such that
1536:catslash
1400:. But
850:When
139:on the
1463:Jargon
838:Yecril
720:F(v)=0
602:arctan
582:arctan
36:scale.
804:Kusma
254:Kusma
164:linas
1568:ISBN
1540:talk
1496:talk
1454:talk
842:talk
807:(èšè«)
646:For
474:and
257:(èšè«)
199:and
176:for
1509:Ray
1374:as
834:⥠0
517:inf
131:Mid
1589::
1542:)
1532:is
1498:)
1477:Ω
1474:â
1456:)
1385:â
1382:α
1359:â
1334:α
1205:Ω
1176:â
1110:â
1100:Ω
1096:â«
1082:â
1016:â
964:â
955:â
945:Ω
941:â«
844:)
787:â
784:Δ
762:Δ
699:â
691:Δ
672:,
657:â
654:Δ
623:â
614:Δ
605:âĄ
594:Δ
585:âĄ
562:Δ
531:â„
467:â
455:â
428:â
409:â
314:â
310:â«
237:Ω
234:â
210:â
187:Ω
184:â
1575:.
1538:(
1494:(
1452:(
1434:u
1414:0
1411:=
1408:E
1388:0
1362:0
1356:E
1330:)
1324:2
1320:y
1316:+
1311:2
1307:x
1303:(
1283:0
1280:=
1277:u
1257:1
1254:=
1251:u
1231:0
1228:=
1225:f
1179:u
1156:f
1134:.
1131:V
1128:d
1123:2
1118:|
1113:u
1106:|
1090:2
1087:1
1079:=
1076:]
1073:u
1070:[
1067:E
1045:0
1042:=
1039:g
1019:0
1013:f
991:.
988:V
985:d
980:2
975:|
970:)
967:v
961:u
958:(
951:|
935:2
932:1
927:+
924:]
921:u
918:[
915:E
912:=
909:]
906:v
903:[
900:E
878:u
858:f
840:(
832:f
826:f
790:0
758:u
735:1
731:C
716:v
702:0
696:)
687:u
683:(
680:F
660:0
642:.
628:C
611:1
591:x
576:=
573:)
570:x
567:(
558:u
534:0
528:F
522:C
496:}
493:1
490:=
487:)
484:1
481:(
478:u
470:1
464:=
461:)
458:1
452:(
449:u
446::
443:)
440:]
437:1
434:,
431:1
425:[
422:(
417:1
413:C
406:u
403:{
400:=
395:C
370:x
367:d
362:2
358:)
354:)
351:x
348:(
344:âČ
341:u
337:(
332:2
328:x
322:1
317:1
306:=
303:)
300:u
297:(
294:F
240:)
231:(
226:2
222:/
218:1
214:H
207:g
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.