Medie ascendenti e medie discendenti. (Q2589784)

In Anlehnung an Cesàro definiert Verf. für eine nicht abnehmende, positive Zahlenfolge \(a_1, \dots, a_n\) ``aufsteigende arithmetische Mittel \(k\)-ter Ordnung'' \[ C_n^{(k)} = \frac{s_n^{(k)}}{\binom{n+k}{k}} \] mit \[ \begin{matrix} \l & \l & \;\l & \l \\ s_0^{(1)} = a_0 &, \dots, & s_n^{(1)} = a_0 & + \cdots +a_n, \\ s_0^{(k)} = s_0^{(k-1)} &, \dots, & s_n^{(k)} = s_0^{(k-1)} & + \cdots + s_n^{(k-1)} \end{matrix} \] und analog aufsteigende geometrische, harmonische und allgemeinere Mittelwerte sowie entsprechende absteigende Mittelwerte \(^{(k)}C_n\) mit \[ \begin{matrix} \l & \l & \;\l & \l \\ ^{(1)}s_0 = a_n &, \dots, & ^{(1)}s_n = a_n & +\cdots + a_0, \\ ^{(k)}s_0 = ^{(k-1)}s_0 &, \dots, & ^{(k)} s_n = ^{(k-1)} s_0 & +\cdots + ^{(k-1)} s_n. \end{matrix} \] Die \(C_n^{(k)}\) bilden für wachsendes \(n\) eine monoton zunehmende Folge, während sie für wachsendes \(k\) gegen den Grenzwert \(a_0\) monoton abnehmen; entsprechendes gilt für die \(^{(k)}C_n\). Außerdem werden weitere Eigenschaften dieser Mittelwerte bewiesen.