Functional dependence.
Die in der älteren Literatur nur unbefriedigend behandelte Frage nach den notwendigen und hinreichenden Bedingungen für die Abhängigkeit von Funktionen ist für den Fall von \(n\) reellen Funktionen von \(n\) reellen Veränderlichen zum ersten Male von \textit{Knopp} und \textit{R. Schmidt} (Math. Z. 25 (1926), 373-381; F. d. M. 52, 229 (JFM 52.0229.*)) vollständig geklärt worden. Der Fall aber, daß \(m\) Funktionen von \(n\) Variablen vorliegen und \(m < n\) ist (der Fall \(m > n\) bietet keine Schwierigkeiten), ist von ihnen nicht behandelt worden. Es hat sich später herausgestellt, daß dieser Fall nicht ohne weiteres mit den von \textit{Knopp} und \textit{Schmidt} benutzten Methoden erledigt werden kann. \textit{G. Doetsch} (Math. Ann. 99 (1928), 590-601; F. d. M. 54, 254 (JFM 54.0254.*)) hat ein erstes, diesen Fall betreffendes Ergebnis gefunden, dessen Bedeutung aber durch einige undurchsichtige Voraussetzungen gemindert war. Ein zweites Ergebnis dieser Art hat \textit{E. Kamke} (vgl. das vorangehende Referat) gefunden, indem er für den Fall \(n = m + 1\) den zu erwartenden Satz beweist, daß die notwendige und hinreichende Bedingung für die Abhängigkeit von \(m\) Funktionen von \(n = m+1\) Veränderlichen darin besteht, daß der Rang der Funktionalmatrix höchstens gleich \((m-1)\) ist. Die Funktionen selbst werden dabei \textit{zweimal} stetig differenzierbar vorausgesetzt. Der Verf. der vorliegenden Note erledigt nun den allgemeinen Fall in dem zu erwartenden Sinne und beweist, indem er die Funktionen sogleich noch von Parametern abhängig sein läßt, in der Hauptsache den folgenden Satz: Die \(m\) Funktionen \(v_j(x_1, \dots, x_n; \;y_1, \dots, y_p)\) \((j = 1, 2, \dots, m)\), bei denen die Parameter \(y_\lambda\) auch fehlen dürfen, seien in einem Gebiet \(D\) des reellen \((x, y)\)-Raumes \(s\)-mal stetig differenzierbar \((s \geqq1)\). Es sei \(K\) eine abgeschlossene Teilmenge von \(D\) (oder mit \(D\) identisch), und die Funktionalmatrix der ersten partiellen Ableitungen der \(v_j\) nach den \(x_i\) möge auf \(K\) einen Rang \(\leqq r\) mit \(0 \leqq r < m\) haben. Dann sind die Funktionen \(v_j\) bezüglich der \(x_i\) abhängig auf \(K\). Es muß aber dabei \(s\) einen gewissen, nur von \(m\), \(n\) und \(r\) abhängigen Wert übersteigen. Die die Abhängigkeit zum Ausdruck bringende Funktion \(F(v_1, \dots, v_m; \;y_1, \dots, y_p)\) läßt sich überdies so wählen, daß sie \textit{nur} für solche Werte \((v, y)\) verschwindet, für die die Werte \(v_j = v_j(x, y)\) für gewisse \((x, y)\) aus \(K\) geliefert werden. Die Frage, ob und inwieweit die mehrmalige Differenzierbarkeit der Funktionen für die Gültigkeit des Satzes notwendig ist, bleibt offen. Den Schluß bildet die Behandlung der analogen Frage für \(m\) analytische Funktionen \(f_j\) von \(n\) komplexen Veränderlichen \(x_i\) und \(p\) Parametern \(y_\lambda\).
This page was built for publication: Functional dependence.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5923808)
