{"entities":{"Q1830865":{"pageid":1841607,"ns":120,"title":"Item:Q1830865","lastrevid":73882425,"modified":"2026-04-14T17:36:34Z","type":"item","id":"Q1830865","labels":{"en":{"language":"en","value":"Generalized differentiation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2563757"}},"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":"Q1830865$47A31D34-0E0F-4CD2-94ED-7A759D7BBE9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ae0dade84b9439e66bf83d6418d19d721f01a20","datavalue":{"value":{"text":"Generalized differentiation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1830865$1712DFB7-DC98-4A58-B428-776D5763DCFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cff441ceebad3d99259d197be9708a0ad3eaaeb6","datavalue":{"value":"56.0349.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830865$6BD25497-5EC2-448F-AEA5-5BF71A7F00E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae5b89c769c34fc6fc773111046cd53e8e34693b","datavalue":{"value":"10.2307/1989348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830865$A26FBB55-8522-4E1A-BDD4-935F72F71472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"621d9cc75a408c6843e8c6609fed82621c86db7c","datavalue":{"value":{"entity-type":"item","numeric-id":1454827,"id":"Q1454827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830865$CAF9615C-651A-450B-994A-B56F46A1D985","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830865$EBA63182-A5FE-4F7A-BC47-FCFB4D17BB03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1830865$FD0CF9A2-42F9-4141-BDF6-706A40859EED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a06ae2788ef2568c22331128723d748d22c96bf","datavalue":{"value":"Es handelt sich darum, den Operator \\(f(D)\\), wo \\(D =\\dfrac{d}{dx}\\), f\u00fcr gewisse Funktionsklassen \\(f\\) zu definieren. Es geschieht das auf dem von \\textit{Gr\u00fcnwald} (Zeitschrift f\u00fcr Mathematik und Physik 12 (1867), 441-480) vorgezeichneten Weg, der an die Definition von \\(D^n\\) (\\(n\\) positiv ganz) vermittels des \\(n\\)-ten Differenzenquotienten ankn\u00fcpft. Mit Hilfe des Operators  \\[  E^m\\varphi(x) = \\varphi(x + m)  \\]  kann man schreiben:  \\[  \\begin{aligned} D^n\\varphi(x)&{}=\\lim_{\\varDelta x\\to0} \\frac{\\varphi(x) - \\binom n1\\varphi(x-\\varDelta x) + \\binom n2\\varphi(x-2\\varDelta x) + \\cdots +(-1)^n \\varphi(x-n\\varDelta x)} {\\varDelta x^n} \\\\ &{}=\\lim_{\\varDelta x\\to 0} \\left(\\frac{1-E^{-\\varDelta x}}{\\varDelta x} \\right)^n \\varphi(x). \\end{aligned}  \\]  Ist nun \\(f\\) entlang der reellen Achse analytisch, so liegt es nahe, zu definieren:  \\[  f (D) \\varphi (x) = \\lim_{\\varDelta x\\to 0} f \\left(\\frac{1-E^{-\\varDelta x}}{\\varDelta x}\\right) \\varphi(x),  \\]  wobei \\(f\\left(\\dfrac1{\\varDelta x} -\\dfrac{E^{-\\varDelta x}}{\\varDelta x}\\right)\\) in die Taylorsche Reihe mit dem Mittelpunkt \\(\\dfrac1{\\varDelta x}\\) und dem Inkrement \\(-\\dfrac{E^{-\\varDelta x}}{\\varDelta x}\\) zu entwickeln und gliedweise auf \\(\\varphi(x)\\) anzuwenden ist.  Da im Falle \\(f (D) \\equiv D^{-1}\\) diese Definition zu \\(\\displaystyle\\int\\limits_{-\\infty}^x \\varphi(x)\\,dx\\) f\u00fchrt, so wird auch im allgemeinen Fall -- bei gleichzeitigem Ersatz des \\(x\\) in der Reihe, d. h. hier der oberen Grenze, durch \\(X\\) -- der Operator mit \\(\\bigl\\{f(D)\\bigr\\}_{-\\infty}^X \\varphi(x)\\) bezeichnet. Bricht man bei \\(f \\equiv D^{-1}\\) die Reihe mit dem \\(f^{(p)}\\left(\\frac1{\\varDelta x}\\right)\\) enthaltenden Glied ab, wo \\(p\\) die gr\u00f6\u00dfte ganze Zahl unter \\(\\dfrac{X-x_0}{\\varDelta x}\\) ist (\\(X\\) ist die in die Reihe statt \\(x\\) einzutragende Zahl, \\(x_0\\) irgend eine kleinere), so erh\u00e4lt man \\(\\displaystyle\\int\\limits_{x_0}^X \\varphi(x)\\, dx\\). Daher wird im allgemeinen Fall ebenfalls vermittels der abgebrochenen Reihe ein zweiter Operator definiert und mit \\(\\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x)\\) bezeichnet. Es ist also \\(\\left(p = \\text{gr\u00f6\u00dfte ganze Zahl unter } \\dfrac{X-x_0}{\\varDelta x}\\right)\\):  \\[  \\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x) =\\lim_{\\varDelta x\\to 0} \\sum_{r=0}^p A[f] (r,\\varDelta x) \\varphi(X-r\\varDelta x)\\varDelta x  \\]  mit  \\[  A[f](r,\\varDelta x) =\\dfrac{(-1)^r f^{(r)}\\left(\\frac1{\\varDelta x}\\right)}{r!\\, \\varDelta x^{r+1}}\\,.  \\]   Die meisten Aussagen der Arbeit beziehen sich auf Funktionen \\(f\\) vom \\textit{Typus} 0, die so charakterisiert sind:  (a) \\(f (z)\\) ist analytisch in einem Sektor von der \u00d6ffnung \\(>\\pi\\) mit der positiv reellen Achse als Winkelhalbierenden;  (b) zu jedem noch so kleinen \\(\\varkappa > 0\\) gibt es ein \\(K > 0\\), so da\u00df  \\[  | f (z)| \\leqq Ke^{\\varkappa |z|}  \\]  in dem Sektor ist.  F\u00fcr solche \\(f\\) strebt der oben definierte Operator \\(A[f](r,\\varDelta x)\\) einem Grenzwert \\(A[f](t)\\) zu, wenn \\(\\varDelta x\\to0\\), \\(r\\to\\infty\\) so, da\u00df \\(r\\varDelta x\\to t >0\\), und zwar ist  \\[  A[f](t) = \\frac1{2\\pi i} \\int\\limits_C e^{tz} f(z)\\,dz,  \\]  wo \\(C\\) aus zwei in dem Sektor verlaufenden, zu seinen Schenkeln parallelen Strahlen besteht.  Wenn f\u00fcr eine Funktion \\(f\\) dieser Operator \\(A[f] (t)\\) in \\(0\\leqq t\\leqq X-x_0\\) existiert und \\(\\varphi\\) in \\(x_0\\leqq x \\leqq X\\) stetig ist, so gilt:  \\[  \\bigl\\{f (D)\\bigr\\}_{x_0}^X \\varphi (x) = \\int\\limits_{x_0}^X A[ f] (X -x) \\varphi (x)\\, dx.  \\]   Eine Unterklasse der Operatoren \\(f (D)\\) vom Typus 0 sind die von \\textit{endlicher Ordnung}. Ein Operator \\(f(D)\\) hei\u00dft von der Ordnung \\(\\varrho\\geqq 0\\) (\\(\\varrho\\) ganzzahlig), wenn statt der obigen Bedingung (b) folgendes gilt: Es gibt ein \\(\\varepsilon > 0\\) und ein \\(K > 0\\), soda\u00df  \\[  |f(z)|\\leqq K|z|^{\\varrho-\\varepsilon}  \\]  ist f\u00fcr jedes \\(z\\) in dem Sektor mit \\(| z | > \\delta > 0\\).  Wenn \\(f (D)\\) von der Ordnung \\(\\varrho\\) ist, und wenn \\(\\varphi(x)\\) in \\(x_0 \\leqq x\\leqq X\\) stetig ist und in einer linken Nachbarschaft von \\(X\\) eine stetige \\(\\varrho\\)-te Ableitung besitzt, so existiert \\(\\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x)\\), und wenn \\(x_1\\) ein Punkt jener Nachbarschaft ist, so gilt:  \\[  \\begin{multlined} \\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x) =\\int\\limits_{x_1}^X A[u^{-\\varrho} f(u)] (X-x)\\varphi^{(\\varrho)}(x)\\,dx \\\\ {}+\\sum_{\\mu=0}^{\\varrho-1} A[u^{-\\mu-1}f(u)] (X-x_1) \\varphi^{(\\mu)}(x_1) +\\int\\limits_{x_0}^{x_1} A[f] (X-x)\\varphi(x)\\,dx. \\end{multlined}  \\]   F\u00fcr Operatoren vom Typus 0 werden Existenztheoreme abgeleitet f\u00fcr den Fall, da\u00df der Operand \\(\\varphi (x)\\) in der N\u00e4he von \\(X\\) analytisch ist.  Unter gewissen Voraussetzungen gelten die den Differentiationsgesetzen analogen Regeln:  \\[  \\begin{gathered} \\frac{d}{dX}\\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x)= \\bigl\\{Df(D)\\bigr\\}_{x_0}^X \\varphi(x), \\\\ \\bigl\\{f_1(D)\\bigr\\}_{x_0}^X\\bigl\\{f_2(D)\\bigr\\}_{x_0}^X \\varphi(\\xi)= \\bigl\\{f_1(D)f_2(D)\\bigr\\}_{x_0}^X \\varphi(x), \\\\ \\bigl\\{f(D)\\bigr\\}_{x_0}^X\\psi(x)\\varphi(x) =\\sum_{n=0}^\\infty \\frac{\\psi^{(n)}(X)}{n!} \\bigl\\{f^{(n)}(D)\\bigr\\}_{x_0}^X \\varphi(x). \\end{gathered}  \\]   Sodann wird der Operator \\(\\bigl\\{f(D)\\bigr\\}_{-\\infty}^X\\) behandelt, der in manchen F\u00e4llen als Grenzfall f\u00fcr \\(x_0\\to-\\infty\\) betrachtet werden kann.  Zum Schlu\u00df werden noch die Operatoren \\(f (D)\\) untersucht, bei denen \\(f\\) eine \\textit{Laplace}-Transformierte ist:  \\[  f(\\zeta)=\\int\\limits_0^\\infty \\psi(t)e^{-\\zeta t}\\,dt.  \\]  Zun\u00e4chst wird diese Transformation in neuer Weise umgekehrt: Es ist n\u00e4mlich (was nach dem oben gefundenen Integral f\u00fcr \\(A [f](t)\\), das formal mit der bekannten Umkehrung der \\textit{Laplace}-Transformation \u00fcbereinstimmt, zu erwarten ist) bei stetigem \\(\\psi\\) f\u00fcr \\(t > 0\\):  \\[  \\psi(t)=A[f](t) =\\lim_{r\\varDelta x\\to t} \\frac{(-1)^rf^{(r)}\\left(\\frac1{\\varDelta x}\\right)} {r!\\,\\varDelta_x^{r+1}}\\,.  \\]  Dann wird gezeigt, da\u00df f\u00fcr ein derartiges \\(f\\) bei stetigem \\(\\varphi\\)  \\[  \\bigl\\{f(D)\\bigr\\}_{x_0}^X \\varphi(x) =\\int\\limits_{x_0}^X \\psi(X-x)\\varphi(x)\\,dx  \\]  ist, wenn entweder das eventuell uneigentliche Integral \\(\\displaystyle\\int\\limits_0^h \\psi(t)\\, dt\\) absolut konvergent ist oder \\(\\varphi\\) eine endliche totale Variation in der linken Nachbarschaft von \\(X\\) hat. (Die am Schlu\u00df der Arbeit aufgezeigte Schwierigkeit bei dem Operator \\(A\\left[e^{-aD}\\right](t)\\) ist vom Referenten (1929; F. d. M. \\(55_{\\text{I}}\\), 492-493) durch Einf\u00fchrung von \\textit{Stieltjes}-Integralen \u00fcberwunden worden.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1830865$FD7C8B93-6DC5-4FDE-A5A7-1AED399BE32E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb7e5c560744f4910363b8240c4bbe75e3ee347f","datavalue":{"value":"2563757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830865$A59D4F1E-C2D0-4D4C-A3D3-9DB0851AE711","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":"Q1830865$278EEF26-D809-47BD-976E-04BCED7B6F25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15c6eae9605ff623300c442688bd84cde7276b7f","datavalue":{"value":"https://doi.org/10.2307/1989348","type":"string"},"datatype":"url"},"type":"statement","id":"Q1830865$16DC2E43-39FB-4851-B42E-34082FE5506D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c21b03a5b8bff40f0a6b68006aeadabdaf49058d","datavalue":{"value":"W4243224622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830865$3C293614-887F-4882-B23C-47F635C778D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized differentiation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_differentiation."}}}}}