{"entities":{"Q2600973":{"pageid":2611716,"ns":120,"title":"Item:Q2600973","lastrevid":44439570,"modified":"2025-11-22T22:47:48Z","type":"item","id":"Q2600973","labels":{"en":{"language":"en","value":"\u00dcber das Cauchysche Problem f\u00fcr Systeme von partiellen Differentialgleichungen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2521153"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600973$04831D2E-5A78-4C00-BAE0-B6BC48497273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f3ec2b228da13014e2ada734ea5274a51f4c48e","datavalue":{"value":{"text":"\u00dcber das Cauchysche Problem f\u00fcr Systeme von partiellen Differentialgleichungen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2600973$C0F63370-F5B0-4B7A-803F-6E780A99629F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6da3862707c7ef41478473e51a2b305079143183","datavalue":{"value":"63.0466.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600973$8CACA9F6-0694-4AFD-9623-5057321ED983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6903551564e0f3a14ef595826ea478e17130e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2579687,"id":"Q2579687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600973$2219FA86-E5AD-4A7C-8E8C-7C89705F5C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2600973$9C4D64E8-88A7-4A1F-8ECB-0AACBCEEA429","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e4b933576c3154bf3c36481b261ce4c51bebb45","datavalue":{"value":"Betrachtet werden Systeme partieller Differentialgleichungen  \\[  \\frac{\\partial^{n_j} u_j}{\\partial t^{n_j}} = F_j, \\quad j=1, \\ldots \\!, N, \\tag{1}  \\]  in den (reellen) unabh\u00e4ngigen Ver\u00e4nderlichen \\(x_{\\nu}, \\, \\nu=1, \\ldots \\!,n\\), und \\(t\\), sowie den (reellen) abh\u00e4ngigen Ver\u00e4nderlichen \\(u_j(t, \\, x_1, \\ldots \\!,x_n)\\), \\(j=1, \\ldots \\!, N\\); dabei seien die \\(F_j\\) reelle Funktionen von \\(t, \\, x_1, \\ldots \\!,x_n, \\, u_1, \\ldots \\!,u_N\\) sowie von deren Ableitungen  \\[  u_j^{(r_0, r_1, \\ldots \\!,r_n)} (t, \\, x_1, \\ldots \\!,x_n) = \\frac{\\partial^{r} u_j}{\\partial t^{r_0} \\, \\partial x_1^{r_1} \\, \\cdots \\partial x_n^{r_n}}, \\quad \\text{wo} \\quad r=r_0+r_1+\\cdots+r_n \\leqq n_j,  \\]  \\(n_j>0\\), \\(0 \\leqq r_0 \\leqq n_j-1\\); \\(j=1, \\ldots \\!, N\\). Das \\textit{Cauchy}sche Problem (kurz C. P.) f\u00fcr (1) besteht nun in der Frage nach denjenigen L\u00f6sungen von (1) welche zusammen mit ihren partiellen Ableitungen (nach \\(t, \\, x_1, \\ldots \\!,x_n\\)) bis zu einer gewissen endlichen Ordnung, beschr\u00e4nkt und stetig sind in einem gewissen beschr\u00e4nkten, an \\(t = 0\\) angrenzenden Gebiete \\(G\\) des Raumes der \\((t, \\, x_1, \\ldots \\!,x_n)\\) und welche folgenden Anfangsbedingungen gen\u00fcgen: \\(u_j^{(r_0, r_1, \\ldots \\!,r_n)} (0, \\, x_1, \\ldots \\!,x_n) = \\varphi_{jr_0}^{(r_1, \\ldots \\!,r_n)}\\); dabei h\u00e4ngen die vorgegebenen ``Anfangswerte'' \\(\\varphi_{jr_0}^{(r_1, \\ldots \\!,r_n)}, \\; j=1, \\ldots \\!, N; \\; 0 \\leqq r_0 \\leqq n_j-1\\) usw., nur von den \\(x_1, \\ldots \\!,x_n\\) ab und sollen (zusammen mit ihren partiellen Ableitungen nach den \\(x_1, \\ldots \\!,x_n\\) bis zu einer gewissen Ordnung \\(L\\)) beschr\u00e4nkt und stetig sein. Eine solche L\u00f6sung von (1) m\u00f6ge als ``L\u00f6sung mit den Anfangswerten \\((\\varphi)\\)'' bezeichnet werden. -Das C. P. hei\u00dft nun \\textit{korrekt gestellt} auf \\(G\\), wenn 1) das C. P. eindeutig l\u00f6sbar ist in \\(G\\) f\u00fcr alle zu \\((\\varphi)\\) hinreichend ``benachbarten'' Anfangswerte; 2) wenn L\u00f6sungen mit zueinander hinreichend ``benachbarten'' Anfangswerten selbst ``beliebig'' benachbart sind in \\(G\\). -- Verf. zeigt: Das C. P. ist korrekt gestellt auf einem im Gebiete \\(G^*\\) enthaltenen Gebiete \\(G\\), falls die Anfangswerte (f\u00fcr \\(t = 0\\)) identisch null sind und falls (1) in \\(G^*\\) den folgenden Bedingungen gen\u00fcgt: Die \\(F_j\\) besitzen in ihrem Definitionsbereiche (wobei insbesondere alle in Betracht kommenden \\(u_j^{(r_0, \\ldots \\!,r_n)}\\) als beschr\u00e4nkt anzunehmen sind) stetige beschr\u00e4nkte Ableitungen nach allen ihren Argumenten bis zur Ordnung \\(4(n + 1)\\) einschlie\u00dflich. Die Matrix  \\[  \\left\\| \\sum_{r_0+r_1+ \\cdots + r_n=n_j} \\frac{\\partial F_i}{\\partial u_j^{(r_0, \\ldots \\!,r_n)}} \\lambda^{r_0} \\alpha_1^{r_1} \\cdots \\alpha_n^{r_n} \\right\\| \\left\\| \\lambda^{n_j} \\delta_{ij} \\right\\|  \\]  werde in ``Diagonalgestalt'' geschrieben, \\( \\begin{Vmatrix} M_1 & & & \\\\ & M_2 & & \\\\ & & \\ddots \\\\ & & & M_l \\end{Vmatrix}\\), wobei also alle au\u00dferhalb der quadratischen Matrizen \\(M_{\\sigma}\\) stehenden Elemente null sind (w\u00e4hrend die Diagonalen der \\(M_{\\sigma}\\) s\u00e4mtlich in der Diagonale der ganzen Matrix liegen), \\(\\sigma=1, \\ldots \\!, l\\). Die Determinante von \\(M_{\\sigma}\\) soll, als Polynom in \\(\\lambda\\) betrachtet, f\u00fcr beliebige reelle \\(\\alpha_{\\nu}\\) mit \\(\\sum\\limits_{\\nu=1}^{n} \\alpha_{\\nu}^2=1\\) nur einfache, reelle Nullstellen besitzen, wobei die Differenzen je zweier dieser Nullstellen, absolut genommen, eine positive untere Schranke besitzen, die v\u00f6llig konstant ist. (Hat f\u00fcr irgendwelche reelle \\(\\alpha_{\\nu}\\) und f\u00fcr \\(t = 0\\) eine der \\(M_{\\sigma}\\) eine komplexe Nullstelle, so ist im Falle linearer Systeme, deren Koeffizienten nur von \\(t\\) abh\u00e4ngen, das C. P. auf keinem, an \\(t = 0\\) angrenzenden Gebiete \\(G\\) korrekt gestellt. Sind die Nullstellen der \\(M_{\\sigma}\\) zwar stets s\u00e4mtlich reell, aber nicht alle einfach f\u00fcr passende \\(\\alpha_{\\nu}\\), so h\u00e4ngt die Korrektheit des C. P. noch von weiteren Bedingungen ab.) -- Der Beweis wird zun\u00e4chst (1. Teil) f\u00fcr Systeme 1. Ordnung durchgef\u00fchrt und sodann (2. Teil) f\u00fcr den allgemeinen Fall; dabei Zur\u00fcckf\u00fchrung auf quasilineare F\u00e4lle. Im 1. Teile werden dann der Reihe nach erledigt die F\u00e4lle: \\(f_1\\) Lineares System mit analytischen Koeffizienten (kurz K.) und analytischen Anfangswerten (kurz A.); \\(f_2\\). Lineares System mit analytischen periodischen K. und unendlich oft differenzierbaren periodischen A. ; \\(f_3\\). Lineares System mit gen\u00fcgend glatten K. und A.; \\(f_4\\). Quasilineares System mit polynomialen K. und A.; \\(f_5\\). Allgemeiner quasilinearer Fall. Dabei wird dann, grob gesprochen, jeweils der Fall \\(f_{\\varrho}\\) durch den ihm vorhergehenden \\(f_{\\varrho-1}\\) beliebig genau angen\u00e4hert und gezeigt, da\u00df die Menge der f\u00fcr \\(f_{\\varrho-1}\\) bereits als existierend erkannten L\u00f6sungen des C. P. sowie die Mengen der in Betracht kommenden partiellen Ableitungen dieser L\u00f6sungen kompakt sind so da\u00df man durch passende Auswahl zu (gleichm\u00e4\u00dfig konvergenten) N\u00e4herungsfolgen f\u00fcr die L\u00f6sungen von \\(f_{\\varrho}\\) gelangt. Besagte Kompaktheit ergibt sich jeweils im wesentlichen aus einer keineswegs einfach zu gewinnenden Absch\u00e4tzung der Form  \\[  \\sum_{j=1}^{N} \\int\\limits_{W} u_j^2(t, \\, x_1, \\ldots \\!,x_n) \\, dx_1 \\cdots dx_n \\leqq \\exp (\\psi_4 t)  \\]   \\[  \\times \\, \\left[ \\psi_5 \\sum_{j} \\int\\limits_{W} u_j^2(0, \\, x_1, \\ldots \\!,x_n) \\, dx_1 \\cdots dx_n + \\psi_6 \\sum_{j} \\int\\limits_{0}^{t} \\int\\limits_{W} f_j^2(\\tau, \\, x_1, \\ldots \\!,x_n) \\, d \\tau \\, dx_1 \\cdots dx_n \\right],  \\]  wo \\(W\\) ein W\u00fcrfel im Raume der \\((x_1, \\ldots \\!,x_n)\\), wo die \\(\\psi_{\\varrho}\\) Konstante und wo die \\(f_j\\) die von den \\(u_j\\) freien Glieder des betrachteten linearen Systems sind. F\u00fcr weitere Einzelheiten mu\u00df auf die Arbeit selbst verwiesen werden (vgl. auch die Voranzeigen C. R. Acad. Sci., Paris, 202 (1936); 1010-1012, 1246-1248; F.~d.~M. 62\\(_{\\text{I}}\\); 535-536, 543).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2600973$7DAD8C1B-A4A0-4E9B-9737-9123D31853C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e05b16b0b3fd8582aedf858c9a9e4e7465132e6","datavalue":{"value":"2521153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600973$2F58F683-2769-4EAE-8D59-5FF0FA23B100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b729726bf53e07e38858775ddd16246b693697","datavalue":{"value":{"entity-type":"item","numeric-id":1441543,"id":"Q1441543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600973$DDC7AD24-483B-469A-9F73-8C91F86A8AA9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600973$5C008C43-51E2-4339-87EA-B25D709BF829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2600973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2600973"}}}}}