{"entities":{"Q2646460":{"pageid":2657203,"ns":120,"title":"Item:Q2646460","lastrevid":44552958,"modified":"2025-11-23T21:01:05Z","type":"item","id":"Q2646460","labels":{"en":{"language":"en","value":"Some properties of polynomial sets of type zero"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3035245"}},"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":"Q2646460$3311F255-D92F-4C90-9E4D-71EBAD4A4CC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1daaa0cefc6351f9a881b95d3a0d473ce307f16","datavalue":{"value":{"text":"Some properties of polynomial sets of type zero","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2646460$150A7F7B-79EB-4D24-871D-C2666122AD09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3069151d981d871714fb5029d92bad086f9216e","datavalue":{"value":"0022.01502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$3AD4D3BD-6FEB-445E-94E5-1EC8BAAA40A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f4f55c533a66a23e3ef005edc94917b0b14e05","datavalue":{"value":"10.1215/S0012-7094-39-00549-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$007D6E96-5399-4577-B0AD-D06CB7D1176A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26e55c9244604a91f2ca05cbd0e442eaf5d778d","datavalue":{"value":{"entity-type":"item","numeric-id":567817,"id":"Q567817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646460$BE402D70-CCD0-4CD9-8C9B-E15B76C4CD2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646460$902E31F4-2FA7-4417-88B9-2CBD18B66C9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2646460$52176CEA-874D-40B4-BB15-F5707679ACCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12ed50c93da77f1441a731baf6b31d76315c55ec","datavalue":{"value":"1. Ist \\(J\\) ein linearer Differentialoperator von der allgemeinen Gestalt  \\[   J [y(x)] = \\sum_{n=0}^\\infty L_n(x) y^{(n)}(x)  \\tag{1} \\]  und der besonderen Eigenschaft, da\u00df \\(J[x^n]\\) ein Polynom ist, dessen Grad \\(n\\) nicht \u00fcbersteigt, dann m\u00fcssen die \\(L_n(x)\\) Polynome gleicher Eigenschaft sein. Besonders wichtig ist die Festsetzung, da\u00df \\(J[x^n]\\) den genauen Grad \\(n-1\\) haben soll. Zu einer gegebenen Folge \\(P_n(x)\\) von Polynomen mit dem genauen Grade \\(n\\) bestimmt die Forderung  \\[  J [P_n] = P_{n-1} \\tag{2}  \\]   eindeutig den Operator \\(J\\). Dagegen gibt es eine unendliche Menge von Polynomfolgen \\(P_n\\), die einem vorgegebenen \\(J\\) zugeordnet sind; unter ihnen ist eine, die Grundfolge \\(B_n\\), durch die Eigenschaften  \\[   B_0(x) = 1,\\quad  B_n(0) = 0 \\tag{3}  \\]  eindeutig bestimmt. Eine notwendige und hinreichende Bedingung daf\u00fcr, da\u00df die Folge \\(P_n\\) einem gegebenen \\(J\\) zugeordnet ist, bildet die Existenz einer solchen Zahlenfolge \\(a_n\\), da\u00df die Gleichung  \\[  P_n(x) = a_0B_n(x) + a_1B_{n-1}(x) + \\cdots + a_nB_0(x), \\quad a_0\\ne 0, \\tag{4}  \\]  f\u00fcr jedes \\(n\\) besteht.   Wenn der Grad der Koeffizienten \\(L_n(x)\\) von (1) beschr\u00e4nkt und h\u00f6chstens gleich \\(k\\) ist, soll \\(\\{P_n\\}\\) eine Folge vom Typ \\(k\\) hei\u00dfen; andernfalls hei\u00dft \\(\\{P_n\\}\\) von unendlichem Typ. Der Typ braucht bei Ersetzung von \\(P_n\\) durch \\(c_nP_n\\) nicht erhalten zu bleiben. Nach seiner Erkl\u00e4rung haftet der Typ am Operator und bleibt unge\u00e4ndert, wenn in (1) \\(y^{(n)}(x)\\) durch die \\(n\\)-te Iteration eines Operators  \\[   K[y] = k_1y' + k_2 y'' + \\cdots,\\quad k_1 \\ne 0, \\tag{5}  \\]  ersetzt wird. Daher l\u00e4\u00dft sich bei gegebenem \\(K\\) f\u00fcr jede Folge \\(P_n\\) ein Operator  \\[  J_K[y]  =  \\sum_{n=1}^\\infty L_n(x)/K^n[y], \\quad \\text{ Grad von }L_n(x)\\text{ kleiner oder gleich }n-1, \\tag{6}  \\]  eindeutig so bestimmen, da\u00df \\(J_K[P_n] = P_{n-1}\\) ist.   \\bigskip  2. Den Hauptgegenstand der Abhandlung bilden die Polynomfolgen vom Typ Null. Hier hat \\(J\\) die Gestalt  \\[   J[y] = c_1y'+ c_2y'' + \\cdots,\\quad c_1\\ne 0; \\tag{7}  \\]  die entsprechende Potenzreihe  \\[  J(t) \\cong c_1t + c_2t^2 + \\cdots \\tag{8}  \\]  wird, ob sie konvergiert oder nicht, die erzeugende Reihe (Funktion) des Operators \\(J\\) genannt. Durch formale Reihenumkehrung entspringt daraus die Reihe  \\[  H(u) \\cong s_1u + s_2u^2 + \\cdots,\\quad s_1\\ne 0, \\tag{9} \\]  so da\u00df \\(H(u) = t\\), \\(J(t) = u\\) gilt. Es wird gezeigt, da\u00df  \\[  e^{xH(u)} \\cong \\sum B_n(x)u^n \\tag{10}  \\]  ist. Wenn \\(\\{P_n\\}\\) eine \\( J\\) zugeordnete Polynomfolge und \\(a_n\\) durch (4) erkl\u00e4rt ist, so hei\u00dft  \\[  A(u) \\cong a_0 + a_1u + a_2u^2 + \\cdots \\tag{11} \\]   die bestimmende Reihe von \\(\\{P_n\\}\\); es ergibt sich  \\[  A(u)e^{xH(u)} \\cong \\sum P_n(x)u^n.  \\tag{12}  \\]  Durch Einf\u00fchrung weiterer Operatoren gelangt der Verf. zu einer Reihe von S\u00e4tzen, die die Polynomfolgen vom Nulltyp kennzeichnen. Wie er zeigt, geh\u00f6ren diesem Typ die Appellschen einschlie\u00dflich. der Bernoullischen und der Hermiteschen Polynome mit der Eigenschaft  \\[  P'_n(x) = P_{n-1}(x) \\tag{13}  \\]  und der erzeugenden Funktion \\(J(t) = t\\) an, ebenso aber auch die Newtonschen Polynome (Binomialkoeffizienten) mit der erzeugenden Funktion \\(J(t) = e^t - 1\\) sowie allgemeiner alle Polynomfolgen, welche die Eigenschaft  \\[  \\Delta P_n(x) = P_{n-1}(x) \\tag{14}  \\]  besitzen und die Beziehung  \\[  A(u) (1 + u)^x \\cong \\sum P_n(x)u^n.  \\tag{15}  \\]  erf\u00fcllen. Auch die Laguerreschen Polynome mit \\(J(t)=t/(t -1)\\) z\u00e4hlen zu diesem Typ.  \\bigskip   3. Besonders wichtig ist die Frage, wann die \\(P_n\\) einer Folge vom Nulltyp einer linearen Differentialgleichung mit Polynomkoeffizienten gen\u00fcgen. Setzt man bei gegebenem \\(P_n\\)  \\[  F_0(t) = \\{uA'(u)/A(u)\\}, \\quad  F_1(t) = \\{uH'(u)\\},\\quad u = J(t),  \\tag{16} \\]  und erkl\u00e4rt die Zahlen \\(r_{k0}\\), und \\(r_{k1}\\) durch die Gleichungen  \\[  F_0(t) = \\sum r_{k0}[K(t)]^k, \\quad F_1(t) = r_{k1} [K(t)]^k \\tag{17}  \\]  so erf\u00fcllt \\(y = P_n\\) mit \\(\\lambda = n\\) die Beziehung  \\[  \\sum_{k=1}^\\infty (r_{k0} + xr_{k1}) K^k[y] = \\lambda y. \\tag{18}  \\]  Soll nun \\(P_n\\) eine Differentialgleichung von der Ordnung \\(s\\) befriedigen, dann mu\u00df die Summe linker Hand mit \\(k = s\\) abbrechen, so da\u00df \\(F_0\\) und \\(F_1\\) Polynome in \\(K(t)\\) mit einer gemeinsamen Wurzel darstellen. Aus dieser Tatsache werden neue Kriterien hergeleitet und damit bewiesen, da\u00df weder die Legendreschen Polynorne \\(X_n\\) selbst, noch irgendwelche \\(c_nX_n\\) eine Folge vom Typ Null bilden k\u00f6nnen.   \\bigskip   4. Bei Beantwortung der Frage nach Polynomfolgen, die ein orthogonales System bilden, st\u00fctzt sich der Verf. auf die f\u00fcr solche Folgen geltende Differenzengleichung nach dem Zeiger  \\[   Q_n(x) = (x + \\lambda_n) Q_{n-1}(x) + \\mu_nQ_{n-2}(x) \\tag{19} \\]  in Verbindung mit der Forderung, da\u00df \\(P_n = c_nQ_n\\) dem Nulltyp angeh\u00f6ren soll, und gelangt zu den Bedingungen  \\[  \\lambda_n = \\alpha + b_n, \\quad \\mu_n = (n-1) (c + dn). \\tag{20}  \\]  Es ergeben sich vier L\u00f6sungsf\u00e4lle; die Polynome des ersten und zweiten Falles gen\u00fcgen einer Differentialgleichung 2. Ordnung und schlie\u00dfen die Laguerreschen und die Hermiteschen Polynome ein; in den beiden anderen F\u00e4llen besteht dagegen keine Differentialgleichung endlicher Ordnung f\u00fcr die L\u00f6sungspolynome.   \\bigskip   5. Den Abschlu\u00df der Arbeit bildet eine Untersuchung \u00fcber Polynomfolgen vom Typ \\(k > 0\\). Unter Einschr\u00e4nkung der in 1. gegebenen Definition wird dem dort erkl\u00e4rten \\(A\\)-Typ \\(k\\) ein weiterer \\(B\\)-Typ \\(k\\) zur Seite gestellt. Ausgehend von der Tatsache, da\u00df jeder Folge \\(P_n\\) eindeutig eine Polynomfolge durch die Vorschrift  \\[  P'_n = T_0P_{n-1} + T_1P_{n-2} + \\cdots + T_{n-1}P_0,\\quad n = 1, 2,\\ldots, \\tag{21}  \\]  zugeordnet ist, wird \\(\\{P_n\\}\\) vom \\(B\\)-Typ \\(k\\) genannt, wenn der h\u00f6chste Grad der \\(T_n\\) die Zahl \\(k\\) ist. Ein dritter, eigens eingef\u00fchrter \\(C\\)-Typ erweist sich als identisch mit dem \\(B\\)-Typ: F\u00fcr \\(k = 0\\) fallen \\(A\\)- und \\(B\\)-Typ zusammen; da\u00df das aber f\u00fcr \\(k > 0\\) durchaus nicht zu geschehen braucht, beweist das Beispiel  \\[  n! (n+1)! P_n = x^n; \\tag{22} \\]  hier ist \\(\\{P_n\\}\\) vom \\(A\\)-Typ 1, dagegen vom \\(B\\)-Typ \\(\\infty\\). Bei den Legendreschen Polynomen ergibt sich \\(k = \\infty\\) f\u00fcr beide Typenarten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646460$C5D5AEDE-60AE-4E80-8F32-958EE30B09DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"420c721aa841b62396a405ab7bd03b5ed466ed48","datavalue":{"value":"42A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$92E5CD9C-D711-438C-818E-399B56D3DC44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b17e4070b92719aae90c3efa020b1a74a55f1beb","datavalue":{"value":"3035245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$E4971DF7-91DC-470E-A580-9A4AA74A7B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce2bdcd16a9855553a2d19c221b40e372dbc6bb","datavalue":{"value":"approximation of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646460$B13CC80F-2EE3-45D4-B832-E01809437440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e70741a51b158b108620e657d2fb39680029739","datavalue":{"value":"orthogonal series developments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646460$8D49A084-155B-4410-9833-252B4AE04975","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"199644da63cb9a54c21b3a5a3f72a301381b3a9b","datavalue":{"value":"Q56169858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$64D170D3-3116-44D5-88CE-EAB02F675D53","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":"Q2646460$63B267DC-42FA-4688-92CB-8CB4E906FA8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65d70d76deea522657bb4564071d21b8893224cd","datavalue":{"value":"https://doi.org/10.1215/s0012-7094-39-00549-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2646460$C6B544BD-B569-4C3D-84B6-7F48EA94472E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a4df60523c7f0930e009460fe2696862f36211","datavalue":{"value":"W1985849796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646460$E5025655-5DB4-4364-B424-98DEE8CC859C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2646460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2646460"}}}}}