Eiene Ungleichung der Integralrechnung. (Q565625)

Verf. behandelt die Frage: Wenn \(f(z)\) auf dem analytischen Kurvenbogen \(\mathfrak C\) von stetiger Krümmung regulär ist, wann gilt dann in der Ungleichung \[ \left | \int _{\mathfrak } f(z) dz \right | \leq \max | f(z) | \cdot \int _{\mathfrak C} |dz| \leqno (*) \] das Gleichheitszeichen? Einfacher als Verf. kommt man so zum Ziel: Die Bogenlänge auf \(\mathfrak C\) sei \(s = s(z)\); \(s(z)\) ist regulär auf \(\mathfrak C\); man findet, wegen \(\left | \frac {dz}{ds} \right | = 1\), daß in \[ \left | \int _{\mathfrak C} f(z) dz \right | = \left | \int _{\mathfrak C} f(z) \frac {dz}{ds} ds \right | \leq \int _{\mathfrak C} | f(z)| ds \leq \max | f(z) \cdot \int _{\mathfrak C} ds \] das Gleichheitszeichen dann und nur dann gilt, wenn \(f(z) = \text{const} \cdot s'(z)\). Es gibt also jeweils abgesehen von einem konstanten Faktor genau eine Funktion \(f(z)\), für die in (*) das Gleichheitszeichen gilt, und zwar onhe die vom Verf. benutze Voraussetzung, daß die Krümmung von \(\mathfrak C\) nirgends verschwinde. Von Interesse ist noch der von Verf. als Hilfssatz benutzte Satz: Jede topologische Abbildung zweier schlichter analytischer Kurvenbögen mit nicht verschwindender Krümmung aufeinander, bei der in entsprechenden Punkten die Tangenten gleiche Richtung haben, ist eine analytische Abbildung, und es gibt nicht zwei verschiedene solche Abbildungen.