The theory of multiplicative arithmetic functions. (Q5893286)

Die umfangreiche Arbeit hat hauptsächlich den Zweck, die bekannte Identität \[ \sigma_a(mn) = \sum_{\delta| (m, n)} \sigma_a \left(\frac m\delta\right)\, \sigma_a\left(\frac n\delta\right)\, \delta^a \mu(\delta) \] zu verstehen, wo \(\sigma_a(m)\) die Summe der \(a\)-ten Potenzen der Teiler von \(m\) ist, und umgekehrt die Frage nach der allgemeinsten zahlentheoretischen Funktion \(f(m)\) zu beantworten, die eine Identität des Typus \[ f(mn) = \sum_{\delta|(m, n)} f\left(\frac m\delta\right)\, f\left(\frac n\delta\right)\, F(\delta) \tag{1} \] mit geeignetem \(F(\delta)\) befriedigt. Die Gültigkeit dieser Identität wird aus Zweckmäßigkeitsgründen nur in ``beschränktem'' Sinne gefordert, d. h. für Paare \(m, n\), die keinen gemeinsamen Primfaktor genau zur gleichen Potenz enthalten. Einer solchen beschränkten Identität genügt dann auch die \textit{Euler}sche Funktion, nämlich mit \(F(\delta) = \delta\). Daneben bezweckt die Arbeit noch das Studium zweier weiterer spezieller Resultate, nämlich erstens der \textit{Ramanujan}schen Formel \[ \sum_{n=1}^\infty \frac{\sigma_a(n) \sigma_b(n)}{n^s} = \frac{\zeta(s) \zeta(s-a) \zeta(s-b) \zeta(s-a-b)}{\zeta(2s-a-b)}, \tag{2} \] und zweitens der \textit{Cesàro}schen Determinantenformel \[ \left|\frac{rs}{(r,s)}\right|_{r, s = 1, \dots, n} = \prod_{j=1}^n \left(\varphi(j) \prod_{p| j} (-p)\right). \tag{3} \] Der Verf. prägt den allgemeinen Begriff einer ``multiplikativen'' zahlentheoretischen Funktion \(f(m_1, \dots, m_r)\) als einer solchen, die die Eigenschaft besitzt: \[ f(m_1 n_1, \dots, m_r n_r) = f(m_1, \dots, m_r) f(n_1, \dots, n_r) \] für \((m_1 \dots m_r, n_1 \dots n_r) = 1\). Er definiert eine Anzahl Zusammensetzungsoperationen für solche Funktionen, beschreibt mit deren Hilfe die allgemeine Lösung der Funktionalgleichung (1) und ordnet Resultate wie (2) und (3) seinen Begriffen systematisch unter.