1149:
702:
456:
485:
888:
325:
1113:. Differential geometry via moving frames and exterior differential systems. Second edition. Graduate Studies in Mathematics, 175. American Mathematical Society, Providence, RI, 2016.
155:
1190:
1084:(DVI file), in Geometry, Topology, & Physics, Conf. Proc. Lecture Notes Geom. Topology, edited by S.-T. Yau, vol. IV (1995), pp. 1–76, Internat. Press, Cambridge, MA
333:
697:{\displaystyle (u^{a},p_{i}^{a},\dots ,p_{I}^{a})=(u^{a}(x),{\frac {\partial u^{a}}{\partial x^{i}}},\dots ,{\frac {\partial ^{|I|}u}{\partial x^{I}}})_{1\leq |I|\leq k}}
224:
1060:
1033:
1000:
974:
734:
195:
948:
908:
722:
480:
264:
244:
110:
913:
This idea allows one to analyze the properties of partial differential equations with methods of differential geometry. For instance, we can apply the
1183:
1224:
1176:
280:
917:
to a system of partial differential equations by writing down the associated exterior differential system. We can frequently apply
918:
1219:
1214:
1087:
1071:
270:
914:
1209:
44:
118:
1156:
451:{\displaystyle F^{r}\left(x,u,{\frac {\partial ^{|I|}u}{\partial x^{I}}}\right)=0,\quad 1\leq |I|\leq k}
1095:
66:
921:
to exterior differential systems to study their symmetries and their diffeomorphism invariants.
203:
883:{\displaystyle du^{a}-p_{i}^{a}dx^{i},\dots ,dp_{I}^{a}-p_{Ij}^{p}dx^{j}{}_{1\leq |I|\leq k-1}}
1099:
1091:
1075:
1038:
725:
273:
system as an exterior differential system with independence condition. Suppose that we have a
17:
1005:
1123:
979:
953:
168:
32:
932:
1160:
893:
707:
465:
249:
229:
95:
36:
1127:
1203:
1079:
198:
40:
1132:
729:
704:
of any solution of this partial differential equation system is a submanifold
1116:
H. W. Raudenbush, Jr. "Ideal Theory and
Algebraic Differential Equations",
1148:
1121:
80:
is an ideal which is mapped to itself by each differential operator.
950:
is perfect if it has the property that if it contains an element
84:
Exterior differential systems and partial differential equations
320:{\displaystyle u:\mathbb {R} ^{m}\rightarrow \mathbb {R} ^{n}}
1120:, Vol. 36, No. 2. (Apr., 1934), pp. 361–368. Stable URL:
1164:
277:
th order partial differential equation system for maps
1041:
1008:
982:
956:
935:
896:
737:
710:
488:
468:
336:
283:
252:
232:
206:
171:
121:
98:
1054:
1027:
994:
968:
942:
902:
882:
716:
696:
474:
450:
319:
258:
238:
218:
189:
149:
104:
1118:Transactions of the American Mathematical Society
31:in the ring of smooth differential forms on a
1184:
8:
1081:Toward a geometry of differential equations
1191:
1177:
1051:
1040:
1013:
1007:
981:
955:
939:
934:
895:
861:
853:
846:
844:
837:
824:
816:
803:
798:
776:
763:
758:
745:
736:
709:
681:
673:
666:
653:
634:
626:
625:
618:
600:
585:
575:
557:
538:
533:
514:
509:
496:
487:
467:
437:
429:
399:
380:
372:
371:
364:
341:
335:
311:
307:
306:
296:
292:
291:
282:
251:
231:
226:having the property that the pullback to
205:
170:
132:
120:
97:
246:of all differential forms contained in
150:{\displaystyle I\subset \Omega ^{*}(M)}
1106:, Springer--Verlag, Heidelberg, 1991.
728:, and is an integral manifold of the
7:
1145:
1143:
165:of an exterior differential system
646:
622:
593:
578:
392:
368:
129:
14:
1128:10.1090/S0002-9947-1934-1501748-1
1109:Thomas A. Ivey, J. M. Landsberg,
50:, meaning that for any form α in
1147:
422:
43:, that is further closed under
862:
854:
682:
674:
663:
635:
627:
569:
563:
550:
544:
489:
438:
430:
381:
373:
302:
184:
172:
144:
138:
92:consists of a smooth manifold
1:
1104:Exterior Differential Systems
976:then it contains any element
271:partial differential equation
1163:. You can help Knowledge by
90:exterior differential system
1225:Differential geometry stubs
925:Perfect differential ideals
919:Cartan's equivalence method
1241:
1142:
219:{\displaystyle N\subset M}
54:, the exterior derivative
112:and a differential ideal
1139:, Dover, New York, 1950.
1055:{\displaystyle n>0\,}
45:exterior differentiation
1028:{\displaystyle b^{n}=a}
76:in a differential ring
1159:-related article is a
1102:, Hubert Goldschmidt,
1056:
1029:
996:
995:{\displaystyle b\in I}
970:
969:{\displaystyle a\in I}
944:
904:
884:
718:
698:
476:
452:
321:
266:vanishes identically.
260:
240:
220:
191:
151:
106:
1157:differential geometry
1057:
1030:
997:
971:
945:
929:A differential ideal
915:Cartan–Kähler_theorem
905:
885:
719:
699:
477:
453:
322:
261:
241:
221:
192:
190:{\displaystyle (M,I)}
152:
107:
1220:Differential systems
1215:Differential algebra
1137:Differential Algebra
1111:Cartan for beginners
1039:
1006:
980:
954:
933:
894:
735:
708:
486:
466:
334:
281:
269:One can express any
250:
230:
204:
169:
119:
96:
67:differential algebra
943:{\displaystyle I\,}
829:
808:
768:
543:
519:
35:, in other words a
1210:Differential forms
1052:
1025:
992:
966:
940:
900:
880:
812:
794:
754:
714:
694:
529:
505:
472:
448:
317:
256:
236:
216:
187:
147:
102:
71:differential ideal
22:differential ideal
18:differential forms
1172:
1171:
1100:Phillip Griffiths
1092:Shiing-Shen Chern
1076:Phillip Griffiths
903:{\displaystyle k}
717:{\displaystyle N}
660:
607:
475:{\displaystyle k}
462:The graph of the
406:
259:{\displaystyle I}
239:{\displaystyle N}
163:integral manifold
105:{\displaystyle M}
65:In the theory of
16:In the theory of
1232:
1193:
1186:
1179:
1151:
1144:
1061:
1059:
1058:
1053:
1034:
1032:
1031:
1026:
1018:
1017:
1001:
999:
998:
993:
975:
973:
972:
967:
949:
947:
946:
941:
909:
907:
906:
901:
889:
887:
886:
881:
879:
878:
865:
857:
845:
842:
841:
828:
823:
807:
802:
781:
780:
767:
762:
750:
749:
723:
721:
720:
715:
703:
701:
700:
695:
693:
692:
685:
677:
661:
659:
658:
657:
644:
640:
639:
638:
630:
619:
608:
606:
605:
604:
591:
590:
589:
576:
562:
561:
542:
537:
518:
513:
501:
500:
481:
479:
478:
473:
457:
455:
454:
449:
441:
433:
412:
408:
407:
405:
404:
403:
390:
386:
385:
384:
376:
365:
346:
345:
326:
324:
323:
318:
316:
315:
310:
301:
300:
295:
265:
263:
262:
257:
245:
243:
242:
237:
225:
223:
222:
217:
196:
194:
193:
188:
156:
154:
153:
148:
137:
136:
111:
109:
108:
103:
39:in the sense of
1240:
1239:
1235:
1234:
1233:
1231:
1230:
1229:
1200:
1199:
1198:
1197:
1078:and Lucas Hsu,
1068:
1037:
1036:
1009:
1004:
1003:
978:
977:
952:
951:
931:
930:
927:
892:
891:
843:
833:
772:
741:
733:
732:
706:
705:
662:
649:
645:
621:
620:
596:
592:
581:
577:
553:
492:
484:
483:
464:
463:
395:
391:
367:
366:
351:
347:
337:
332:
331:
305:
290:
279:
278:
248:
247:
228:
227:
202:
201:
167:
166:
128:
117:
116:
94:
93:
86:
33:smooth manifold
29:algebraic ideal
12:
11:
5:
1238:
1236:
1228:
1227:
1222:
1217:
1212:
1202:
1201:
1196:
1195:
1188:
1181:
1173:
1170:
1169:
1152:
1141:
1140:
1130:
1114:
1107:
1096:Robert Gardner
1085:
1067:
1064:
1050:
1047:
1044:
1024:
1021:
1016:
1012:
991:
988:
985:
965:
962:
959:
938:
926:
923:
899:
877:
874:
871:
868:
864:
860:
856:
852:
849:
840:
836:
832:
827:
822:
819:
815:
811:
806:
801:
797:
793:
790:
787:
784:
779:
775:
771:
766:
761:
757:
753:
748:
744:
740:
730:contact system
713:
691:
688:
684:
680:
676:
672:
669:
665:
656:
652:
648:
643:
637:
633:
629:
624:
617:
614:
611:
603:
599:
595:
588:
584:
580:
574:
571:
568:
565:
560:
556:
552:
549:
546:
541:
536:
532:
528:
525:
522:
517:
512:
508:
504:
499:
495:
491:
471:
460:
459:
447:
444:
440:
436:
432:
428:
425:
421:
418:
415:
411:
402:
398:
394:
389:
383:
379:
375:
370:
363:
360:
357:
354:
350:
344:
340:
314:
309:
304:
299:
294:
289:
286:
255:
235:
215:
212:
209:
197:consists of a
186:
183:
180:
177:
174:
159:
158:
146:
143:
140:
135:
131:
127:
124:
101:
85:
82:
13:
10:
9:
6:
4:
3:
2:
1237:
1226:
1223:
1221:
1218:
1216:
1213:
1211:
1208:
1207:
1205:
1194:
1189:
1187:
1182:
1180:
1175:
1174:
1168:
1166:
1162:
1158:
1153:
1150:
1146:
1138:
1134:
1131:
1129:
1125:
1122:
1119:
1115:
1112:
1108:
1105:
1101:
1097:
1093:
1089:
1088:Robert Bryant
1086:
1083:
1082:
1077:
1073:
1072:Robert Bryant
1070:
1069:
1065:
1063:
1048:
1045:
1042:
1022:
1019:
1014:
1010:
989:
986:
983:
963:
960:
957:
936:
924:
922:
920:
916:
911:
910:-jet bundle.
897:
875:
872:
869:
866:
858:
850:
847:
838:
834:
830:
825:
820:
817:
813:
809:
804:
799:
795:
791:
788:
785:
782:
777:
773:
769:
764:
759:
755:
751:
746:
742:
738:
731:
727:
711:
689:
686:
678:
670:
667:
654:
650:
641:
631:
615:
612:
609:
601:
597:
586:
582:
572:
566:
558:
554:
547:
539:
534:
530:
526:
523:
520:
515:
510:
506:
502:
497:
493:
469:
445:
442:
434:
426:
423:
419:
416:
413:
409:
400:
396:
387:
377:
361:
358:
355:
352:
348:
342:
338:
330:
329:
328:
312:
297:
287:
284:
276:
272:
267:
253:
233:
213:
210:
207:
200:
181:
178:
175:
164:
141:
133:
125:
122:
115:
114:
113:
99:
91:
83:
81:
79:
75:
72:
68:
63:
61:
58:α is also in
57:
53:
49:
46:
42:
38:
34:
30:
26:
23:
19:
1165:expanding it
1154:
1136:
1117:
1110:
1103:
1080:
928:
912:
461:
274:
268:
162:
160:
89:
87:
77:
73:
70:
64:
59:
55:
51:
47:
37:graded ideal
28:
24:
21:
15:
327:, given by
199:submanifold
41:ring theory
1204:Categories
1133:J. F. Ritt
1066:References
1002:such that
1035:for some
987:∈
961:∈
873:−
867:≤
851:≤
810:−
786:…
752:−
726:jet space
687:≤
671:≤
647:∂
623:∂
613:…
594:∂
579:∂
524:…
443:≤
427:≤
393:∂
369:∂
303:→
211:⊂
134:∗
130:Ω
126:⊂
890:on the
724:of the
27:is an
1155:This
482:-jet
1161:stub
1046:>
69:, a
20:, a
1124:doi
161:An
88:An
1206::
1135:,
1098:,
1094:,
1090:,
1074:,
1062:.
62:.
1192:e
1185:t
1178:v
1167:.
1126::
1049:0
1043:n
1023:a
1020:=
1015:n
1011:b
990:I
984:b
964:I
958:a
937:I
898:k
876:1
870:k
863:|
859:I
855:|
848:1
839:j
835:x
831:d
826:p
821:j
818:I
814:p
805:a
800:I
796:p
792:d
789:,
783:,
778:i
774:x
770:d
765:a
760:i
756:p
747:a
743:u
739:d
712:N
690:k
683:|
679:I
675:|
668:1
664:)
655:I
651:x
642:u
636:|
632:I
628:|
616:,
610:,
602:i
598:x
587:a
583:u
573:,
570:)
567:x
564:(
559:a
555:u
551:(
548:=
545:)
540:a
535:I
531:p
527:,
521:,
516:a
511:i
507:p
503:,
498:a
494:u
490:(
470:k
458:.
446:k
439:|
435:I
431:|
424:1
420:,
417:0
414:=
410:)
401:I
397:x
388:u
382:|
378:I
374:|
362:,
359:u
356:,
353:x
349:(
343:r
339:F
313:n
308:R
298:m
293:R
288::
285:u
275:k
254:I
234:N
214:M
208:N
185:)
182:I
179:,
176:M
173:(
157:.
145:)
142:M
139:(
123:I
100:M
78:R
74:I
60:I
56:d
52:I
48:d
25:I
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.