Nepersche Ungleichung

aus Wikipedia, der freien Enzyklopädie

Die Nepersche Ungleichung (englisch Napier’s inequality) ist eine Ungleichung des mathematischen Teilgebiets der Analysis, die auf den schottischen Mathematiker John Napier (1550–1617) zurückgeht. Sie liefert elementare untere und obere Abschätzungen für den reellen natürlichen Logarithmus.[1]

Darstellung der Ungleichung

Die Ungleichung lautet folgendermaßen:[1]

Gegeben seien zwei reelle Zahlen und und es gelte .
Dann bestehen die Ungleichungen
(N)  .

Herleitung der neperschen Ungleichung mittels Integralrechnung

Mit der neperschen Ungleichung gleichwertig ist die folgende:

(N')  .

Also erhält man die neperschen Ungleichung mittels Integralrechnung. Denn danach ist der mittlere Term von (N') nichts weiter als der Inhalt der Fläche unterhalb des Funktionsgraphs der reellen Kehrwertfunktion im Intervall .

Anwendung

Eine nützliche Anwendung der neperschen Ungleichung ergibt sich, wenn man darin sowie – für eine natürliche Zahl – noch setzt.

Dann nämlich ergibt sich wegen und

und weiter

und schließlich

 .

Durch Limesbildung erhält man dann

und es folgt aus Stetigkeitsgründen und durch Anwendung der Exponentialfunktion

 .

Verwandte Ungleichungen

Die nepersche Ungleichung lässt sich erheblich verschärfen. Dies zeigt etwa die Ungleichung von Hermite-Hadamard, welche die nepersche Ungleichung nach sich zieht. Denn berücksichtigt man hier die Tatsache, dass die Einschränkung der reellen Umkehrfunktion auf das Intervall der positiven Zahlen eine konvexe Funktion ist, so ergeben sich für sogleich die Abschätzungen

und damit

 .[2]

Für den Fall, dass insbesondere ist, hat man sogar die folgenden – und für diesen Fall besseren! – Abschätzungen:[3]

 .

Literatur

Einzelnachweise

  1. a b Claudi Alsina, Roger B. Nelsen: Math Made Visual: Creating Images for Understanding Mathematics. 2006, S. 16
  2. Die vordere Ungleichung, wenn auch formuliert für die Kehrwerte, findet man in: D. S. Mitrinović: Analytic Inequalities. 1970, S. 273
  3. D. S. Mitrinović: Analytic Inequalities. 1970, S. 273–274