{"entities":{"Q1542003":{"pageid":1552743,"ns":120,"title":"Item:Q1542003","lastrevid":67855062,"modified":"2026-04-12T19:55:03Z","type":"item","id":"Q1542003","labels":{"en":{"language":"en","value":"On the irregular integrals of linear equations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2698239"}},"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":"Q1542003$B375071A-D12A-4E11-89F5-EC5E47F4619D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1144ab05032d173d09c257c589532bd268f7781f","datavalue":{"value":{"text":"On the irregular integrals of linear equations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1542003$4133DF4F-38E1-4845-A87C-020B948F964A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2de014cba8101ddbeeaab0da600f4173dcb3bb","datavalue":{"value":"18.0273.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1542003$D00148BA-40E7-4EB0-843B-3B6D734CFE3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36a7b1e0707fd4150e3cf7150f9a56af860b45ed","datavalue":{"value":"10.1007/BF02417092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1542003$DE4A9BDD-BCC5-40CA-AF76-F4BB582C4379","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1542003$CED58402-6E81-47C4-A32B-3E6E72C0769D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"510ce9bfbb51e81a18268610193c3f82dd9e8333","datavalue":{"value":{"time":"+1886-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":"Q1542003$88B4A4C6-1495-42F8-8D5B-B221593BDF97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa84a097a53ec3037d4664c4003968cba17e16d3","datavalue":{"value":"Zur Darstellung der in einem singul\u00e4ren Punkte, f\u00fcr welchen der Punkt \\(x=\\infty\\) genommen wird, irregul\u00e4ren Integrale einer linearen Differentialgleichung bedient sich der Verfasser gewisser divergenter Reihen in einem \u00e4hnlichen Sinne, wie die Stirling'sche Reihe zur Darstellung von \\(\\log\\varGamma(x+1)\\) f\u00fcr \\(x=\\infty\\) gebraucht wird. Diese heisst bei ihm eine asymptotische, und er definirt allgemein eine divergente Reihe  \\[  A_0 + \\frac{A_1}{x} + \\frac{A_2}{x^2} + \\cdots + \\frac{A_n}{x^n} + \\cdots, \\]   worin die Summe der \\(n+1\\) ersten Glieder mit \\(S_n\\) bezeichnet sei, als ``die asymptotische Darstellung'' einer Function \\(J(x)\\), wenn der Ausdruck \\(x^n(J-S_n)\\) mit unendlich wachsenden \\(x\\) sich der Null n\u00e4hert. Zwei asymptotische Reihen k\u00f6nnen miteinander multiplicirt werden, d. h. wenn  \\[  \\lim_{x=\\infty} x^n(J-S_n) =0,\\quad \\lim_{x=\\infty} x^n(J' - S_n')=0, \\]   so besteht auch  \\[  \\lim_{x=\\infty} x^n(JJ' - \\sum_n)=0, \\]   worin \\(\\sum_n\\) die Summe der \\(n\\) ersten Glieder des Products \\(S_nS_n'\\) bezeichnet. Ebenso l\u00e4sst sich eine asymptotische Reihe integriren, aber im allgemeinen nicht differentiren. Als wesentlich ist noch zu bemerken, dass, wenn \\(x\\) mit verschiedenen Argumenten in das Unendliche r\u00fcckt, auch die dargestellen Functionen \\(J\\) im allgemeinen verschieden werden.  Es sei nun  \\[  P_n\\frac{d^ny}{dx^n} + P_{n-1}\\;\\frac{d^{n-1}}{dx^{n-1}} + \\cdots + P_1\\;\\frac{dy}{dx} + P_0y=0 \\tag{1}  \\]   die vorgelegte Differentialgleichung, worin die Coefficienten ganze Polynome in \\(x\\) sind. Es handelt sich um die Darstellung ihrer Integrale in der Umgebung von \\(x=\\infty\\). Wenn die Grade der Polynome \\(P_n,P_{n-1},\\dots,P_0\\) eine abnehmende Reihe bilden, so giebt es nach dem Fundamentalsatze des Herr Fuchs \\(n\\) der Gleichung (1) gen\u00fcgende f\u00fcr \\(x=\\infty\\) convergente Reihen von der Form  \\[  x^a \\left( A_0 + \\frac{A_1}{x} + \\frac{A_2}{x^2} + \\cdots \\right), \\]   zu denen auch noch Logarithmen hinzutreten k\u00f6nnen. Diese Integrale heissen regul\u00e4r. Bilden die Grade der Polynome \\(P\\) nicht eine abnehmende Reihe, so giebt es, wenn man von gewissen Ausnahmef\u00e4llen absieht, wie Herr Thom\u00e9 gezeigt hat, \\(n\\) Reihen von der Gestellt  \\[  e^Q x^a \\left( A_0 + \\frac{A_1}{x} + \\frac{A_2}{x^2} + \\cdots \\right), \\]   die der Gleichung (1) formell gen\u00fcgen, aber im allgemeinen nicht convergent sind. \\(Q\\) ist ein ganzes Polynom in \\(x\\). Eine solche Reihe heisst ``Normalreihe'', und zwar von der \\(p^{\\text{ten}}\\) Ordnung, wenn \\(Q\\) vom \\(p^{\\text{ten}}\\) Grade ist. Auch hier k\u00f6nnen noch Logarithmen auftreten, man hat dann die ``logarithmische Normalreihe'' \\(p^{\\text{ter}}\\) Ordnung:  \\[  e^q x^a (\\psi_0 + \\log x\\cdot \\psi_1 + \\cdots + \\log^q x\\cdot \\psi_q), \\]   wo die \\(\\psi\\) nach den Potenzen von \\(\\frac 1x\\) fortschreitende Reihen bedeuten. Zwischen der Ordnung der Normalreihen und dem Grade der Polynome \\(P\\) besteht folgende Beziehung: Es sei \\(M_i\\) der Grad von \\(P_i\\) und \\(N_i =(M_i - M_n):(n-i),h\\) die gr\u00f6sste der Zahlen \\(N_i\\), \\(p\\) die ganze Zahl, die gleich \\(h\\) ist oder unmittelbar auf \\(h\\) folgt, dann sind alle Normalreihen h\u00f6chstens von der Ordnung \\(p\\). \\(h\\) heisst der Rang der Gleichung (1). Zun\u00e4chst wird der Fall untersucht, wo alle Normalreihen von der ersten Ordnung sind. Der Grad \\(m\\) von \\(P_m\\) wird in diesem Falle von keinem der \\(P\\) \u00fcberschritten. Ist \\(A_i\\) der Coefficient von \\(x^m\\) in \\(P_i\\), so bildet man die Gleichung  \\[   A_na^n + A_{n-1}a^{n-1} + \\cdots + A_1a + A_0=0, \\tag{2} \\]   \\(a_1,a_2,\\dots,a_n\\) seien ihre Wurzeln, die verschieden vorausgesetzt werden. Transformirt man nun die Gleichung (1) nach der Laplace'schen Methode mittels des bestimmten zwischen passenden Grenzen zu nehmenden Integrals \\(y=\\int ve^{zx} \\,dz\\), so geht sie \u00fcber in  \\[  Q_m\\;\\frac{d^mv}{dz^m} + Q_{m-1}\\frac{d^{m-1}v}{dz^{m-1}} + \\cdots + Q_1\\frac{dv}{dz} + Q_0v =0, \\tag{3}  \\]   worin die \\(Q\\) Polynome von h\u00f6chstens \\(n^{\\text{tem}}\\) Grade in \\(z\\) sind und \\(Q_m = (z-a_1)(z-a_2)\\dots(z-a_n)\\) ist. Die singul\u00e4ren Punkte der Gleichung (3) sind demnach \\(a_1,\\dots,a_n\\), und die determinirende Gleichung bez\u00fcglich des Punktes \\(a_i\\) hat die Wurzeln \\(0,1,2,\\dots,m-2,\\beta_i\\). In der Umgebung von \\(z=a_i\\) besitzt daher die Gleichung (3) \\(m-1\\) holomorphe Integrale und , falls \\(\\beta_i\\) keine ganze Zahl ist, ein \\(m^{\\text{tes}}\\) Integral \\(v_i\\) von der Form  \\[  v_i = (z-a_i)^{\\beta_i} + C_1(z-a_i)^{\\beta_i +1} + \\cdots \\]    Wie der Verfasser in einer fr\u00fcheren Arbeit [Am. J. Math. 7, 203--258 (1885; JFM 17.0290.01)] nachgewiesen hat, ist alsdann ein Integral der Gleichung (1) durch das bestimmte Integral \\(J_i = \\int v_i e^{zx} \\,dz\\) gegeben, welches \u00fcber folgende Curve \\(k_i\\) zu erstrecken ist: Durch den Punkt \\(a_i\\) ziehe man eine zur reellen Axe parallele Gerade und verl\u00e4ngere sie nach der negativen Seite ins Unendliche, sie wird einen mit hinl\u00e4nglich kleinem Radius um \\(a_i\\) beschriebenen Kreis in einem Punkte \\(b_i\\) schneiden. Die Curve \\(k_i\\) besteht dann aus der Geraden von \\(-\\infty\\) bis \\(b_i\\), dem kleinen Kreise um \\(a_i\\) bis zur\u00fcck und der Geraden von \\(b_i\\) bis \\(-\\infty\\). Der Ausdruck \\(J_i\\) l\u00e4sst sich nun asymptotisch durch eine Reihe von der Form \\(e^{a_i x} x^{-(\\beta_i +1)} \\varphi_i\\) darstellen, wo \\(\\varphi_i\\) eine nach ganzen positiven Potenzen von \\(\\frac 1x\\) fortschreitende Reihe bedeutet. Setzt man \\(i=1,2,\\dots,n\\), so erh\u00e4lt man auf diesem Wege s\u00e4mtliche \\(n\\) Integrale der Gleichung (1) asymptotisch durch Normalreihen erster Ordnung dargestellt. Der Satz bleibt bestehen, falls \\(\\beta_i\\) eine ganze Zahl ist und in der Darstellung von \\(v_i\\) Logarithmen auftreten. Fallen aber die logarithmischen Glieder fort, so ist an Stelle der Curve \\(k_i\\) die Gerade von \\(a_i\\) bis \\(-\\infty\\) als Integrationsweg zu nehmen. Ein Ausnahmefall tritt ein, wenn zwei der Wurzeln \\(a\\) der Gleichung (2) einander gleich werden, dann kann die Gleichung (1) im allgemeinen nicht durch Normalreihen integrirt werden. Wenn eine Normalreihe convergent ist, so stellt sie stets ein Integral der Gleichung (1) dar. Die notwendige und hinreichende Bedingung hierf\u00fcr ist, dass das Integral \\(v_i\\) in der Form \\((z-a_i)^{\\beta i} \\varphi(z)\\) darstellbar ist, worin \\(\\varphi(z)\\) eine in der ganzen Ebene holomorphe Function bezeichnet.  Die im Vorhergehenden f\u00fcr den Fall, dass die Gleichung (1) vom Range 1 ist, erhalten Resultate lassen sich nun durch folgendes Verfahren auf den allgemeinen Fall, wo der Rang \\(p\\) sei, ausdehnen.  Man betrachte das Product  \\[  u=f(x)f(\\alpha x)f(\\alpha^2 x) \\dots f(\\alpha^{p-1} x), \\tag{4}  \\]   wo \\(f(x)\\) ein Integral der Gleichung (1) und \\(\\alpha\\) eine primitive \\(p^{\\text{te}}\\) Wurzel der Einheit bedeutet. \\(u\\) gen\u00fcgt einer Differentialgleichung vom Range \\(p\\) und der Ordnung \\(n^p\\). Durch die Substitution \\(x^p=t\\) geht sie in eine Differentialgleichung derselben Ordnung vom Range 1 \u00fcber. \\(u\\) kann also nach dem Vorhergehenden bestimmt werden. Durch \\((n^p-1)\\)-maliges Differentiiren der Gleichung (4) und Reduction der h\u00f6heren als \\((n-1)^{\\text{ten}}\\) Ableitungen von \\(f(\\alpha^q x)\\) auf die niederen mit H\u00fclfe der Differentialgleichung (1) und der durch die Substitution \\(\\alpha^q x\\) f\u00fcr \\(x\\) aus ihr entstehendene ergeben sich f\u00fcr die \\(n^p\\) Producte  \\[ \\frac{d^{\\beta}y}{dx^{\\beta}} \\frac{d^{\\gamma}y_1}{dx^{\\gamma}} \\dots \\frac{d^{\\lambda}y_{p-1}}{dx^{\\lambda}} \\qquad (\\alpha,\\beta,\\dots,\\lambda =0,1,2,\\dots,n-1), \\]  wo \\(y_q\\) die Function \\(f(\\alpha^q x)\\) bezeichnet, ebenso viele Gleichungen, aus denen man, falls die Determinante des Systems derselben nicht verschwindet, durch Aufl\u00f6sung u. a. erh\u00e4lt:  \\[ yy_1 \\dots y_{p-1} = \\sum \\varphi_q \\frac{d^q u}{dx^q},\\quad \\frac{dy}{dx} y_1 \\dots y_{p-1} = \\sum \\psi_q \\frac{ d^q u}{dx^q}, \\]  wo die \\(\\varphi\\) und \\(\\psi\\) rational in \\(x\\) sind, und hieraus \\(\\frac{dy}{ydx}\\) als rationale Function von \\(x,u\\) und den Ableitungen von \\(u\\).  In dem Falle, dass die Determinante verschwindet, tritt die Modification ein, dass die logarithmische Derivirte von \\(y\\) nicht mehr eine rationale, sondern eine algebraische Function der genannten Gr\u00f6ssen wird. In jedem Falle erh\u00e4lt man, wenn \\(u\\) bekannt ist, \\(y\\) durch blosse Quadratur. Zu bemerken ist, dass die auf dem genannten Wege erhaltene Function \\(y\\) nur dann ein Integral von (1) sein wird, wenn man f\u00fcr \\(u\\) gewisse particul\u00e4re Integrale der Gleichung in \\(u\\) ausw\u00e4hlt, deren es \u00fcbrigens \\(n^p\\) linear unabh\u00e4ngige giebt. Da jedoch das allgemeinste unter diesen asymptotisch durch eine Normalreihe darstellbar ist, so folgt aus den obigen Entwickelungen, dass das allgemeinste Integral der Gleichung (1) sich asymptotisch durch eine Normalreihe darstellen l\u00e4sst.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1542003$3AFE0EFA-6AB0-4449-9429-61E83B99A65A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65009df8284b505e1784f415e5b355e715a5da3","datavalue":{"value":"34-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1542003$666895E0-EB51-4525-8C82-4F76905D564B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81af7cbd07cf442377b92ae0ea82424dee28e9c2","datavalue":{"value":"2698239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1542003$E9367480-68AF-42C1-AA96-073D75DC0018","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":"Q1542003$60EB3A79-613D-4D75-8898-9F5ABE2E8F28","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f7029b7b4b8c26f64de6f85ad96db128c63fae7","datavalue":{"value":"Q110508022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1542003$7221A0EC-E3AC-4F45-B432-1220842C5E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"599a95cf47b74b11a84c5ff67845b01d14c1b797","datavalue":{"value":{"entity-type":"item","numeric-id":6480734,"id":"Q6480734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1542003$F6545BFE-0A09-40A5-88A7-7B889482C2EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the irregular integrals of linear equations.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_irregular_integrals_of_linear_equations."}}}}}