Estensione ai ``vettori generalizzati'' di una formula dell' ordinaria analisi vettoriale. (Q2610099)

Verf. will eine Formel der gewöhnlichen Vektorrechnung im euklidischen \(R_3\) ausdehnen auf die ``vettori generalizzati'', d. h. auf die (allgemeinen) Plurivektoren einer \(V_n\) in der synthetischen Darstellung von \textit{Palatini} (Rend. Sem. mat. Univ. Padova 4 (1933), 122-139; JFM 59.1380.*), nämlich: \[ \text{rot}\,\text{rot}\,\boldsymbol{v} = \text{grad}\,\text{div}\,\boldsymbol{v} - \varDelta\boldsymbol{v}, \] wobei \(\varDelta\) den zweiten Differentialparameter im \(R_3\) bezeichnet. Unter leichter Abänderung der Bezeichnungen von \textit{Palatini} (insofern als Verf. als Gradienten eines \(m\)-Vektors \(Y_{r_1\cdots r_m}\) den \((m + 1)\)-Vektor \(\dfrac{1}{m!}d_{j_1\cdots j_mj_{m+1}}^{r_1\cdots r_mh}T_{r_1\cdots r_m/h}\) bezeichnet, während in der Formel von \textit{Palatini} der Divisor \(m!\) nicht auftritt) gelangt Verf. zu der folgenden Formel, in der \(\boldsymbol{T}\) ein verallgemeinerter Vektor der Ordnung \(m\), d. h. ein \(m\)-Vektor ist: \[ \text{rot}\,\text{rot}\,\boldsymbol{T}= (-1)^{(n-m)(m+1)-1}\text{div}\,\text{grad}\,\boldsymbol{T}. \] Der Ausdruck des \(m\)-Vektors \(\text{div}\,\text{grad}\,\boldsymbol{T}\) ist in den Bezeichnungen des Verf: \[ \dfrac{1}{m!}\delta_{j_1\cdots i_mk}^{r_1\cdots r_mh} T_{r_1\cdots r_m/h}^{\hphantom{r_1\cdots r_m/}/k}. \] Verf. schreibt tatsächlich \(T_{r_1\cdots r_m/h}^{\hphantom{r_1\cdots r_m/}/k}\) und glaubt -- ohne Zweifel infolge dessen -aus der oben angegebenen Formel die folgende (Formel (4) auf S. 220) ableiten zu können: \[ \text{rot}\,\text{rot}\,\boldsymbol{T}= (-1)^{(n-m)(m+1)} (\text{grad}\,\text{div}\,\boldsymbol{T}-\varDelta\boldsymbol{T}); \] dabei hat \(\varDelta\) die übliche Bedeutung (in der Bezeichnung von \textit{Schouten}: \(\varDelta = a^{rs}\nabla_r\nabla_s\)). Aber diese letzte Formel ist in Wahrheit nur richtig, wenn die \(V_n\) ein euklidischer \(R_n\) ist, wo die Vertauschung der Differentiationsreihenfolge in den zweiten kovarianten Ableitungen zulässig ist; sie würde sich aus der früheren Formel ergeben, wenn darin \(T_{r_1\cdots r_m\hphantom{/k}/h}^{\hphantom{r_1\cdots r_m}/k}\) an Stelle von \(T_{r_1\cdots r_m/h}^{\hphantom{r_1\cdots r_m/}/k}\) stände. Im übrigen ist leicht zu verifizieren, daß die oben erwähnte Formel für die gewöhnlichen Vektoren des euklidischen \(R_3\) in einer nichteuklidischen \(V_3\) nicht gilt; in der Tat: Wenn \(\boldsymbol{v}\) ein Vektor ist, so ist \[ (\text{rot}\,\text{rot}\,\boldsymbol{v})^i = \varepsilon^{ihj}\varepsilon_j{}^{kl}\nabla_h\nabla_k v_l =\nabla^l\nabla^i v_l-\varDelta v^i, \quad \text{ während } \quad (\text{grad}\,\text{div}\,\boldsymbol{v})^i = \nabla^i\nabla^l v_l. \] Daher ist die Anwendung der Ergebnisse auf die relativistische Mechanik und insbesondere auf die \textit{Maxwell}schen Gleichungen in ihrer relativistischen Form, die Verf. machen will, nicht korrekt.