{"entities":{"Q1538232":{"pageid":1548972,"ns":120,"title":"Item:Q1538232","lastrevid":43193814,"modified":"2025-07-22T05:46:38Z","type":"item","id":"Q1538232","labels":{"en":{"language":"en","value":"Elementary demonstration for the representability of the elliptic functions as quotients of everywhere convergent power series."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2694171"}},"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":"Q1538232$5057E943-4C79-4601-A650-53F0E87AFF08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef8bf4a96e25290cb9075d28bb6aeec5f5b088f9","datavalue":{"value":{"text":"Elementary demonstration for the representability of the elliptic functions as quotients of everywhere convergent power series.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1538232$B19AAEF2-C83F-4E8D-AE56-51A004182480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9505162e3969f0e09d6c626f0f96febec8b7febf","datavalue":{"value":"20.0449.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$DC6EF2CA-E510-4547-A7F3-37E573967407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd788bf6b22c16c7280dad620ac78292ddbd1634","datavalue":{"value":"10.1007/BF01443603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$E977010F-1E0E-4C53-8287-BABC66EF8308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1538232$3CA031F5-27AB-4B0B-8385-19968A7F1E36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90384f64d023ac0d3be5456e2de58e48c2a49616","datavalue":{"value":{"time":"+1888-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":"Q1538232$71AF8455-C4D6-4FCD-8F4F-A1395900457D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"140887a6798862aa800dabeea9f71757d292cecc","datavalue":{"value":"https://eudml.org/doc/157383","type":"string"},"datatype":"url"},"type":"statement","id":"Q1538232$610D5F64-25B7-4E3B-8275-1D8E81DB7664","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24106fd010f4957ba4a1cbc333a8ab68a71b36d7","datavalue":{"value":"Es sei \\(x=\\text{sn\\,}u\\) durch die Gleichung  \\[ u=\\int_0^x\\frac{dx}{\\sqrt{(1-x^2)(1-k^2x^2)}} \\]  als eindeutige und stetige Function von \\(u\\) f\u00fcr alle reellen Werte \\((U)\\) dieser Gr\u00f6sse definirt, deren absoluter Betrag eine hinreichend klein gew\u00e4hlte positive Gr\u00f6sse nicht \u00fcbersteigt; dann besteht die Differentialgleichung  \\[ (\\text{sn}'u)^2=(1-\\text{sn}^2u)(1-k^2\\text{sn}^2u), \\]  und es ist  \\[ \\text{sn}(-u)=-\\text{sn\\,}u. \\]  Nun sei f\u00fcr Gr\u00f6ssen \\(u,v,u+v\\) innerhalb des Gebietes \\((U)\\) das Additionstheorem f\u00fcr sn\\((u+v)\\) bewiesen und daraus nach der Schellbach'schen Methode das Additionstheorem f\u00fcr die Integrale zweiter Gattung hergeleitet. Dann lassen sich nach Jacobi \\(Z(u),\\varTheta(u)\\) und \\(H(u)\\) auch f\u00fcr das Gebiet \\((U)\\) definiren. Aus den Formeln f\u00fcr \\(Z(u+v)\\) und \\(Z(u-v)\\) erh\u00e4lt man, wie Herr Tichomandritzky gezeigt hat (Math. Ann. XXII. 452),  \\[ \\varTheta^2(0)\\varTheta(u+v)\\varTheta(u-v)=\\varTheta^2(u)\\varTheta^2(v)(1-k^2\\text{sn}^2u\\text{\\,sn}^2v), \\]  und hieraus durch die Substitution  \\[ \\text{sn\\,}w=\\frac1{\\sqrt k}\\frac{H(w)}{\\varTheta(w)} \\]  (Fundam. \\S 61) das Resultat:  \\[ \\varTheta^2(0)H(u+v)H(u-v)=H^2(u)\\varTheta^2(v)-H^2(v)\\varTheta^2(u), \\]  und wenn auch \\(2u\\) dem Gebiete \\((U)\\) angeh\u00f6rt, die Gleichungen:  \\[ (13)\\quad\\begin{cases}  \\\\ H'(0)\\varTheta^2(0)H(2u)=2H(w)\\varTheta(u)[\\varTheta(u)H'(u)-H(u)\\varTheta'(u)],\\\\ \\varTheta^4(0)\\varTheta(2u)=\\varTheta^4(u)-H^4(u). \\end{cases} \\]  Hieraus folgt, dass die Potenzreihen, welche f\u00fcr \\(\\varTheta(u)\\) und \\(H(u)\\) erhalten werden, \u00fcber das Gebiet hinaus, f\u00fcr welches diese Functionen zun\u00e4chst definirt sind, best\u00e4ndig convergiren, dass also sn\\,\\(u\\) sich als Quotient zweier best\u00e4ndig convergenten Potenzreihen darstellen l\u00e4sst. Zweck der vorliegenden Abhandlung ist nun, die analytischen S\u00e4tze, welche die an die Gleichungen (13) gekn\u00fcpfte Schlussweise benutzten, entbehrlich zu machen, da deren strenge Begr\u00fcndung genauere Untersuchungen \u00fcber Summen von unendlich vielen Potenzreihen voraussetzt. Es werden deshalb die folgenden elementaren S\u00e4tze \u00fcber convergente Potenzreihen, d. h. \u00fcber solche nach Potenzen von \\(u\\) fortschreitenden Potenzreihen, welche f\u00fcr alle von Null verschiedenen Werte von \\(u\\) convergiren, aufgestellt:  (I) ``Eine convergente Potenzreihe verschwindet nur dann f\u00fcr alle reellen, dem absoluten Betrage nach unter einer gewissen Grenze liegenden Werte des Arguments, wenn die s\u00e4mtlichen Coefficienten den Wert Null haben.  (II) Eine endliche Anzahl nach Potenzen einer und derselben Gr\u00f6sse fortschreitender, in irgend einem Bereich \\((U)\\) convergenter Potenzreihen k\u00f6nnen wie endliche Summen addirt, subtrahirt und multiplicirt werden, und ergeben als Resultat einer endlichen Anzahl solcher Operationen eine im Bereich \\((U)\\) convergente Potenzreihe.  (III) Eine convergente Potenzreihe kann gliedweise differentiirt und integrirt werden; Ableitung und Integral sind ebenfalls convergente Potenzreihen.  (IV) Der Convergenzkreis einer Potenzreihe ist nicht gr\u00f6sser als der ihrer Ableitung.  Zu einer beliebig gegebenen convergenten Potenzreihe \\(\\varphi(u)\\) kann eine zweite \\(f(u)\\) gefunden werden, welche gleichfalls convergent ist und der Gleichung  \\[ \\frac{f'(u)}{f(u)}=\\varphi(u) \\]  gen\u00fcgt''.  Diese S\u00e4tze gen\u00fcgen, um die Entwickelbarkeit von sn\\,\\(u\\) in eine convergente Potenzreihe nachzuweisen. Alsdann geben die S\u00e4tze (II) und (III) auch die Entwickelbarkeit von sn\\({}^2u\\) und \\(Z(u)\\), ferner Satz (V) die einer Potenzreihe \\(f(u)\\), welche der Gleichung gen\u00fcgt:  \\[ \\frac{f'(u)}{f(u)}=Z(u); \\]  diese Function wird aber durch passende Bestimmung des willk\u00fcrlichen Factors gleich \\(\\varTheta(u)\\). Aus Satz (II) folgt dann, dass auch  \\[ H(u)=\\sqrt k\\text{\\,sn\\,}u\\cdot\\varTheta(u) \\]  in eine convergente Potenzreihe entwickelt werden kann. Nun ersetzt man in den Gleichungen (13) \\(u\\) durch \\(\\frac u2\\), so folgt aus (I), dass diese Gleichungen nach Einsetzen der Potenzreihen f\u00fcr \\(\\varTheta\\) und \\(H\\) identisch bestehen. Durch Wiederholung des Verfahrens l\u00e4sst sich zeigen, dass die Reihen f\u00fcr \\(\\varTheta(u)\\) und \\(H(u)\\) best\u00e4ndig convergiren. Jetzt erkl\u00e4rt man diese Functionen, die urspr\u00fcnglich nur f\u00fcr das Gebiet \\((U)\\) definirt waren, durch die Potenzreihenausdr\u00fccke f\u00fcr beliebige complexe Argumente, dann liefern die Gleichungen  \\[ \\text{sn\\,}u=\\frac1{\\sqrt k}\\;\\frac{H(u)}{\\varTheta(u)},\\quad Z(u)=\\frac{\\varTheta'(u)} {\\varTheta(u)} \\]  unmittelbar die allgemeinen Functionen sn\\,\\(u\\) und \\(Z(u)\\). Satz (I) ergiebt die G\u00fcltigkeit der Gleichung  \\[ (H(u)\\varTheta'(u)-H'(u)\\varTheta(u))^2=(k\\varTheta^2(u)-H^2(u))(\\varTheta^2(u)-kH^2(u)) \\]  f\u00fcr jeden Wert von \\(u\\), mithin gen\u00fcgt auch die allgemeine Function sn\\,\\(u\\) der Differentialgleichung  \\[ (\\text{sn}'u)^2=(1-\\text{sn}^2u)(1-k^2\\text{sn}^2u), \\]  und aus dieser kann durch Differentiiren und Integriren das Additionstheorem hergeleitet werden, so dass dasselbe auch f\u00fcr beliebige Argumente G\u00fcltigkeit hat.  In den folgenden Paragraphen werden die analogen Entwickelungen f\u00fcr die Functionen \\({\\wp}u\\), \\(\\zeta u\\), \\(\\sigma u\\) durchgef\u00fchrt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1538232$A1FFC446-F0C4-4B0A-950D-328C89E3BBFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d801c5859336c52d1b3e3b8471e246d1621a173d","datavalue":{"value":"33E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$A4E7C01E-97E7-4723-B391-C3EB17B23A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"650c0f7f71d00b61b8df862aec48261f5b2e20ed","datavalue":{"value":"30B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$3BE31B8C-858A-4C20-8802-91E08E38A01C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3005b61e9b4f724fa257668000f28351d74ee90e","datavalue":{"value":"2694171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$046C446B-00B4-4DE7-8F68-C96B5D967A29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2e31d18465d12e7a94843e617e011f9724654c","datavalue":{"value":"elliptic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1538232$084768C6-556A-4847-8D2E-0217E48698D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052d77a35f238c6075b97c46e41a1853dde7f39","datavalue":{"value":"power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1538232$7996B6B9-9276-4A59-9034-6350BED834F3","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":"Q1538232$39E889B1-BAAF-4F58-B209-3288B50BDA28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8272ed808d46cb2f3cf3d4e67bc21f62738bbe81","datavalue":{"value":"W1992903933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1538232$F14FA934-0CEB-428A-A784-D0E5D4CE6757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85569f27087397eabeb788fece317d8eb7023eb2","datavalue":{"value":{"entity-type":"item","numeric-id":6482368,"id":"Q6482368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1538232$A1B99849-A769-4084-B9A4-208EA1D395B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1538232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1538232"}}}}}