Logarithmus

Logarithmische Skaleneinteilung eines Rechenschiebers (Detail)

Graph der Logarithmusfunktion zur Basis 2 (grün), e (rot) und 1/2 (blau)

In halblogarithmischer Auftragung (in Bezug auf die x-Achse) wird der Graph der Logarithmusfunktion zu einer Geraden. Hier beispielhaft dargestellt für den Logarithmus zur Basis 10.

Als Logarithmus (Plural: Logarithmen; von altgriechisch λόγος lógos, „Verständnis, Lehre, Verhältnis“, und ἀριθμός, arithmós, „Zahl“) einer Zahl bezeichnet man den Exponenten, mit dem eine vorher festgelegte Zahl, die Basis, potenziert werden muss, um die gegebene Zahl, den Numerus, zu erhalten. Logarithmen sind nur für positive reelle Zahlen definiert, auch die Basis muss positiv sein.

Der Logarithmus einer positiven reellen Zahl zur Basis ist also der Wert des Exponenten, wenn als Potenz zur Basis dargestellt wird, also diejenige Zahl , welche die Gleichung b^y = x löst. Man schreibt $y=\log_b(x)$ ; weitere Notationen siehe Bezeichnungen. Das Logarithmieren, d.h. der Übergang von zu $\log_b(x)$ , ist damit eine Umkehroperation des Potenzierens. Die Funktion, die bei gegebener fester Basis jeder positiven Zahl ihren Logarithmus zuordnet, nennt man Logarithmusfunktion zur Basis .

Mit Logarithmen lassen sich sehr stark wachsende Zahlenreihen übersichtlich darstellen, da der Logarithmus für große Zahlen viel langsamer steigt als die Zahlen selbst. Wie die Gleichung $\log_b(x\cdot y)=\log_b(x)+\log_b(y)$ zeigt, kann man durch Logarithmieren eine Multiplikation durch die viel weniger rechenintensive Addition ersetzen. Auch beschreiben Logarithmen auf mathematisch elegante Weise viele technische Prozesse sowie Phänomene der Natur wie etwa das Verhalten einer Halbleiter-Diode, die Spirale eines Schneckenhauses oder die Wahrnehmung unterschiedlicher Lautstärken durch das menschliche Ohr.

Entsprechende mathematische Berechnungen sind bereits aus der Zeit vor Christi Geburt aus Indien überliefert. Der Begriff Logarithmus wurde von John Napier im frühen 17. Jahrhundert geprägt. Napier zu Ehren wird der Natürliche Logarithmus (s. u.) manchmal auch Napierscher Logarithmus oder Neperscher Logarithmus genannt.

Überblick

Die Verwendung des Logarithmus lässt sich bis in die indische Antike zurückverfolgen. Mit dem aufstrebenden Bankwesen und dem Fortschritt der Astronomie im Europa des 17. Jahrhunderts erlangte der Logarithmus immer mehr Bedeutung. Seine Funktionswerte wurden in Tabellenwerken, den Logarithmentafeln, erfasst, um sie nachschlagen zu können und nicht immer neu berechnen zu müssen. Diese Tabellen wurden schließlich durch Rechenschieber und später durch Taschenrechner verdrängt. Der Wechsel von den Tabellen zum Rechenschieber erfolgte in deutschen Schulen in den 1960er Jahren, der Wechsel zu Taschenrechnern ab den 1970er Jahren.

Zentrale Aspekte des Lebens lassen sich mit Hilfe von Logarithmen beschreiben. So nimmt zum Beispiel die Stärke eines Sinneseindrucks in Abhängigkeit von einer physikalischen Größe wie Helligkeit oder Lautstärke entsprechend dem Verlauf einer Logarithmusfunktion zu. Gleiches gilt für die wahrgenommene Tonhöhe in Abhängigkeit von der Frequenz eines Tones.

Logarithmen erlangten ihre historische Bedeutung durch den Zusammenhang

$\log(xy) = \log x + \log y,$

der es erlaubt, eine Multiplikation durch eine Addition auszudrücken.

Formal sind Logarithmen alle Lösungen der Gleichung

zu vorgegebenen Größen und .

Je nachdem, über welchem Zahlenbereich und für welche Größen diese Gleichung betrachtet wird, hat sie keine, mehrere oder genau eine Lösung. Ist die Lösung eindeutig, dann wird sie als der Logarithmus von zur Basis bezeichnet und man schreibt

$x = \log_b a$

Beispielsweise ist der Logarithmus von 8 zur Basis 2 gleich 3, geschrieben $\log_2 8 = 3$ , denn es ist 2^3=8 .

Falls die obige Gleichung nach aufzulösen ist anstatt nach , so ist die Lösung gegeben durch die -te Wurzel aus .

Am bekanntesten und am weitesten verbreitet ist der Logarithmus über den positiven reellen Zahlen, der im Folgenden vornehmlich dargestellt wird.

Geschichte

Titelblatt zu Jost Bürgis Logarithmentafel von 1620

Indische Mathematiker im 2. Jahrhundert v.Chr. haben als Erste Logarithmen erwähnt. Schon in der Antike nutzten sie Logarithmen zur Basis 2 für ihre Berechnungen. Im 8. Jahrhundert beschrieb der indische Mathematiker Virasena Logarithmen zur Basis 3 und 4. Ab dem 13. Jahrhundert wurden von arabischen Mathematikern ganze logarithmische Tabellenwerke erstellt.

Nicolas Chuquet arbeitete klar die Rechengesetze für Potenzen $a^n\cdot a^m=a^{n+m}$ und $(a^n)^m = a^{n\cdot m}$ heraus durch eine gegenüberstellende Anordnung einer arithmetischen und einer geometrischen Reihe.

Der deutsche Mathematiker Michael Stifel formulierte ähnlich im Jahr 1544 die Beziehungen $q^m\cdot q^n = q^{m+n}$ und $\tfrac{q^m}{q^n} = q^{m-n}$ neben anderen Autoren des 16. Jahrhunderts. Die Reduktion von Multiplikation auf Addition steht neben trigonometrischen Additionsformeln am Beginn der Entwicklung der Logarithmen. Stifel ließ nur ganzzahlige Exponenten zu. John Napiers (1550–1617) Idee war dagegen, einen stetigen Wertebereich für die Exponenten zuzulassen.

Im 17. Jahrhundert entwickelte der Schweizer Uhrmacher Jost Bürgi (1552–1632) ein neues System zur Berechnung von Logarithmen, das er 1620 nach langer Arbeit veröffentlichte. Aber schon vorher, im Jahre 1614, veröffentlichte der schottische Denker John Napier ein Buch über Logarithmen, das ihn als „Erfinder der Logarithmen“ berühmt machte. Ihre Arbeiten und Erkenntnisse über Logarithmen entwickelten Bürgi und Napier jedoch unabhängig voneinander.

Das griechische Wort „Logarithmus“ bedeutet auf Deutsch „Verhältniszahl“ und stammt von Napier. Es gilt nämlich: Genau dann steht zu im selben Verhältnis wie zu (als Formel: a:b = c:d ), wenn die Unterschiede ihrer Logarithmen übereinstimmen (als Formel: $\log(a) - \log(b) = \log(c) - \log(d)$ ). Erstmals veröffentlicht wurden Logarithmen von diesem unter dem Titel Mirifici logarithmorum canonis descriptio, was mit Beschreibung des wunderbaren Kanons der Logarithmen übersetzt werden kann.

Nachdem der Oxforder Professor Henry Briggs (1561–1630) sich intensiv mit dieser Schrift beschäftigt hatte, nahm er mit ihrem Autor Kontakt auf und schlug vor, für die Logarithmen die Basis 10 zu verwenden (abgekürzt lg). Diese verbreiteten sich schnell und wurden besonders in der Astronomie geschätzt, was auch Pierre-Simon Laplace, im Vergleich zu den vorher benutzten trigonometrischen Tafeln, feststellte:

„L’invention des logarithmes, en réduisant le temps passé aux calculs de quelques mois à quelques jours, double pour ainsi dire la vie des astronomes.“

„Dadurch, dass die für Rechnungen benötigte Zeit von einigen Monaten auf einige Tage reduziert wurde, hat die Erfindung der Logarithmen sozusagen die Lebenszeit eines Astronomen verdoppelt.“

Wird die Eulersche Zahl $\mathrm {e}$ – die im Jahre 1728 von Leonhard Euler (1707–1783) bestimmt und erstmals 1742 veröffentlicht wurde – als Basis des Logarithmus verwendet, so nennt man ihn den natürlichen Logarithmus. Der natürliche Logarithmus wird dabei durch „ln“ abgekürzt.

Mit den Logarithmen war die mathematische Grundlage für die Weiterentwicklung des mechanischen Rechenschiebers gelegt; denn die Funktionsweise des Rechenschiebers basiert auf dem Prinzip der Addition und Subtraktion von Logarithmen.

Logarithmus in Anwendung und Natur

Das Gehäuse eines Nautilus zeigt eine logarithmische Spirale

Eine logarithmische Spirale

Ein Rechenschieber

Anwendungen des Logarithmus finden sich vielfach in der Wissenschaft, wenn der Wertebereich viele Größenordnungen umfasst. Daten werden entweder mit einer logarithmischen Skala dargestellt, oder es werden logarithmisch definierte Größen verwendet, wie zum Beispiel beim pH-Wert oder bei der Empfindlichkeit der Sinnesorgane.

In der belebten Natur

In der belebten Natur finden sich zahlreiche Beispiele logarithmischer Spiralen, so z.B. das Wachstum von Schneckenhäusern oder die Anordnung der Kerne auf der Sonnenblume.

Schalldruckpegel

Der Schalldruckpegel wird als logarithmisches Maß zur Beschreibung der Stärke eines Schallereignisses verwendet. Dazu wird die Hilfsmaßeinheit Dezibel (dB) verwendet.

Helligkeitsempfindung

Auch für die Sinnesempfindung der Helligkeit hat sich eine logarithmische Bewertung bewährt (Weber-Fechner-Gesetz), da das menschliche Auge zwischen Dämmerung und hellem Sonnenschein bis zu 10,5 Zehnerpotenzen an physikalischer Leuchtdichte überbrücken kann.

pH-Wert

Der pH-Wert ist das Maß für den sauren oder basischen Charakter einer wässrigen Lösung. Anmerkung: In der Chemie werden logarithmische Skalen im Allgemeinen durch ein vorangestelltes p (für Potenz) gekennzeichnet, zum Beispiel beim pKs- oder pKb-Wert.

Richterskala

Die Richterskala, die zur Beschreibung von Erdbebenstärken genutzt wird, basiert auf einer deka-logarithmischen Einteilung. Die Erdbebenstärke steigt daher von Stufe zu Stufe exponentiell.

Sternhelligkeiten

Sternhelligkeiten werden in astronomischen Größenklassen angegeben, die ein logarithmisches Maß der tatsächlichen Strahlungsstärke darstellt.

Rechenschieber

Bevor elektronische Rechenmaschinen zur Verfügung standen, nutzte man die Logarithmengesetze aus, um Multiplikationen zu Additionen und Divisionen zu Subtraktionen zu vereinfachen. Die Berechnung der Quadratwurzel vereinfacht sich auf der Ebene des Logarithmus zu einer Division durch Zwei. Weil der Logarithmus selbst nicht so leicht zu berechnen ist, waren Rechenschieber mit ihren logarithmischen Skaleneinteilungen und Logarithmentafeln weit verbreitete Hilfsmittel.

Wachstums- und Zerfallsprozesse

Typische Aufgabenstellungen bei Wachstums- und Zerfallsprozessen lassen sich durch die Umkehrfunktion des Logarithmus – die Exponentialfunktion – modellieren. Siehe Exponentieller Vorgang, Absorption.

Anzahl der Ziffern einer Zahl

Berechnung der Anzahl der Ziffern, die zur Darstellung einer natürlichen Zahl in einem Stellenwertsystem benötigt werden. Um eine natürliche Zahl zur Basis darzustellen, werden $1+\lfloor \log_b n \rfloor$ Stellen benötigt. Die Klammern bedeuten dabei Abrunden auf die nächste ganze Zahl, die kleiner oder gleich ist.

Zum Beispiel ist $\log_2 100\approx 6{,}64$ . Die obige Formel liefert den Wert 7. Man braucht also 7 Ziffern, um 100 im Dualsystem darzustellen, nämlich 100=1100100_2 . Stellt man hingegen 100 im Hexadezimalsystem dar, dann benötigt man dazu zwei Stellen, denn $\log_{16} 100\approx 1{,}66$ . Es ist $100=64_{16}$ .

Benfordsches Gesetz

Die Verteilung der Ziffern von Zahlen in empirischen Datensätzen, zum Beispiel ihrer ersten Ziffern, folgt einer logarithmischen Verteilung, dem Benfordschen Gesetz.

Informationseinheit

Messung der Informationsmenge; die Informationstheorie sagt, dass, wenn etwas mit Wahrscheinlichkeit auftritt, das Wissen über das tatsächliche Auftreten davon eine Informationsmenge von $\log_2 \tfrac 1p$ bit ergibt. Zum Beispiel erhält man beim Ergebnis „Kopf“ eines fairen Münzwurfs ( p=0{,}5 ) die Informationsmenge $\log_2 2 = 1$ bit, und es genügt ein Bit, um diese Information zu codieren.

Kryptographie

Der diskrete Logarithmus ist in endlichen Körpern und darauf definierten elliptischen Kurven erheblich aufwändiger zu berechnen als seine Umkehrfunktion, die diskrete Exponentialfunktion. Letztere kann daher als sogenannte Einwegfunktion in der Kryptografie zur Verschlüsselung angewandt werden.

Logarithmische Zeitskalen

Logarithmische Zeitskalen finden sich in der Geschichte der Technik ebenso wie in der geologischen Zeitskala.

Intervalle der Musiktheorie

Intervalle haben einen exponentiellen Frequenzverlauf. Das Gehör jedoch empfindet diese als linear. Die Größenverhältnisse werden daher als Logarithmen angegeben. Die Oktave wird dabei in 1200 Cent (Musik) unterteilt. Beispiel:

Intervall	Frequenzverhältnis	Größe
1 Oktave	2	1200 Cent
2 Oktaven	4	2400 Cent
3 Oktaven	8	3600 Cent
…
große Terz	5:4	$1200\cdot \log _{2}{\big (}{\tfrac {5}{4}}{\big )}\,{\text{Cent}}=386{,}314\,{\text{Cent}}$
Quinte	3:2	$1200\cdot \log _{2}{\big (}{\tfrac {3}{2}}{\big )}\,{\text{Cent}}=701{,}955\,{\text{Cent}}$

Graphische Darstellung von Funktionen

Zur graphischen Darstellung von Funktionen werden spezielle mathematische Papiere verwendet, wie beispielsweise einfachlogarithmisches Papier oder doppeltlogarithmisches Papier.

Bezeichnungen

Man schreibt für den Logarithmus von zur Basis

$x = \log_b a$

und sagt: „ ist der Logarithmus von zur Basis “. heißt Numerus oder veraltet auch Logarithmand. Das Ergebnis des Logarithmierens gibt also an, mit welchem Exponenten man die Basis potenzieren muss, um den Numerus zu erhalten.

Für die Vorkommastellen des Logarithmus wird meist der Begriff Charakteristik (manchmal auch Kennzahl) verwendet, seine Nachkommastellen werden Mantisse genannt.

Bedienelemente an einem Taschenrechner. Die Taste LOG steht herstellerübergreifend für den Logarithmus zur Basis 10, LN berechnet den natürlichen Logarithmus zur Basis e. Darüber hinaus ist als zweite Belegung der jeweiligen Tasten die entsprechende Umkehrfunktion vorgesehen (gelbe Beschriftung jeweils oberhalb), die Exponentialfunktion zur Basis 10 oder e.

$\operatorname{log}_b a$

Das allgemeine mathematische Zeichen für den Logarithmus gemäß DIN 1302. Seltener findet man auch davon abweichende Schreibweisen, wie zum Beispiel ${}_b \,\!\log a$ .

$\operatorname{log}a$

Das Zeichen $\log$ ohne eine angegebene Basis wird verwendet, wenn die verwendete Basis keine Rolle spielt, wenn diese getrennt vereinbart wird, aus dem Zusammenhang ersichtlich ist oder aufgrund einer Konvention festgelegt ist. In technischen Anwendungen (so z.B. auf den meisten Taschenrechnern) steht $\log$ oft für den dekadischen Logarithmus. In theoretischen Abhandlungen, insbesondere zu zahlentheoretischen Themen, steht $\log$ oft für den natürlichen Logarithmus.

Darüber hinaus sind für den Logarithmus in DIN 1302 je nach Anwendung spezielle Schreibweisen festgelegt:

$\operatorname{ln}a$

Natürlicher Logarithmus (lateinisch logarithmus naturalis), der Logarithmus zur Basis $\mathrm {e}$ , der Eulerschen Zahl 2,7182818… Er wird im Zusammenhang mit Exponentialfunktionen verwendet.

$\operatorname{lg}a$

Dekadischer Logarithmus, auch als Zehnerlogarithmus oder Briggsscher Logarithmus bezeichnet, der Logarithmus zur Basis 10. Er wird bei numerischen Rechnungen im Dezimalsystem verwendet.

$\operatorname{lb}a$

Binärer Logarithmus, auch als Zweierlogarithmus bezeichnet, der Logarithmus zur Basis 2. Er wird in der Informatik bei Rechnungen im Binärsystem verwendet. Außerhalb der Norm wird mit gleicher Bedeutung auch $\operatorname{ld}a$ – logarithmus dualis – verwendet.

Ein ähnlich aussehendes Funktionszeichen ist $\operatorname{li}a$ für den Integrallogarithmus. Bei dieser Funktion handelt es sich aber nicht um eine Logarithmusfunktion.

Definition

Der Logarithmus kann mathematisch stets als eine Schar von Funktionen (deren Parameter mit bezeichnet sei) von $\R^+ \to \R$ aufgefasst werden. Ihre einzelnen Logarithmusfunktionen sind dabei nur unterschiedliche (reelle, aber ungleich null) Vielfache voneinander.

Über den positiven reellen Zahlen kann er auf verschiedene Arten eingeführt werden. Je nach Hintergrund und Intention wird man den einen oder anderen didaktischen Zugang wählen. Die verschiedenen Definitionen des reellen Logarithmus sind dabei untereinander äquivalent und erfolgen hier mit besonderem Fokus auf den natürlichen Logarithmus, der aus Sicht des Mathematikers auf natürliche Weise auftritt, wie bei dem Zugang über die Stammfunktion von $\tfrac{1}{t}$ erkennbar ist.

Als Umkehrfunktion der Exponentialfunktion

Der Logarithmus zur Basis ist die Umkehrfunktion der allgemeinen Exponentialfunktion zur positiven Basis :

$x \mapsto b^x.$

Die Funktionen b^x und $\log_b x$ sind also Umkehrfunktionen voneinander, d.h. Logarithmieren macht Exponenzieren rückgängig und umgekehrt:

$b^{\log_b x} = x \quad \text{und} \quad \log_b(b^x) = x.$

Der natürliche Logarithmus ergibt sich mit der Basis $b=\mathrm {e}$ , wobei

$\mathrm {e} =2{,}718281828459\ldots$

die Eulersche Zahl ist.

Als Lösung einer Funktionalgleichung

Die Logarithmusfunktionen sind die nicht-trivialen, stetigen Lösungen der Funktionalgleichung

$L(x \cdot y) = L(x) + L(y).$

Ihre Lösungen erfüllen stets L(1)=0 und erweisen sich sogar als differenzierbar. Den natürlichen Logarithmus erhält man dann zusammen mit der Zusatzbedingung

Die Zusatzbedingung ist einer der Gründe dafür, den so erhaltenen Logarithmus als natürlich zu bezeichnen. Wollte man den Logarithmus zu einer anderen Basis über die Zusatzbedingung erhalten, dann müsste man

$L'(1) = \frac 1{\ln b}$

fordern und würde wieder den natürlichen Logarithmus benötigen.

Die triviale Lösung obiger Funktionalgleichung ist die Nullfunktion L(x) = 0 , die nicht als Logarithmusfunktion angesehen wird, und die einzige Lösung der Funktionalgleichung, für die auch L(0) definiert ist.

Der Logarithmus vermittelt aufgrund obiger Funktionalgleichung daher insbesondere eine strukturerhaltende Abbildung von den positiven reellen Zahlen mit ihrer multiplikativen Struktur auf die gesamten reellen Zahlen mit deren additiver Struktur. Dies kann man auch explizit als Bedingung fordern und gelangt damit zur Herleitung.

Als Isomorphismus

Die reellwertigen Logarithmen sind genau die stetigen Isomorphismen

$L\colon (\mathbb {R} ^{+}\!,\,\cdot \,)\longrightarrow (\mathbb {R} ,+)$ .

Diese Definition legt die Funktion bis auf eine multiplikative Konstante eindeutig fest.

Der algebraische Zugang betont ebenso wie der Zugang über die Funktionalgleichung die historische Bedeutung des Logarithmus als Rechenhilfe: Er ermöglicht es, eine Multiplikation in eine Addition „umzuwandeln“.

Als Stammfunktion von f mit f(x)=1/x

Der natürliche Logarithmus als Fläche unter dem Graphen von 1/x

Die Funktion

$L\colon t\mapsto \int _{1}^{t}{\frac {1}{x}}\,\mathrm {d} x$

mit t>0 ist gerade der natürliche Logarithmus: Es ist $L=\ln$ . Zum Logarithmus mit der Basis gelangt man durch Division der Funktion durch die Konstante $L(b)= \ln b$ . Als uneigentliches Integral von , oder beliebiger willkürlicher (positiver) unterer Integrationsgrenze, betrachtet, würde man nur noch eine zusätzliche, additive Konstante erhalten, aber immer nur den Logarithmus zur Basis $\mathrm {e}$ bekommen.

Als Potenzreihe

Der natürliche Logarithmus kann als Potenzreihe gemäß

$\ln(1+x) = \sum_{k=1}^\infty (-1)^{k+1} \frac{x^k}k = x-\frac{x^2}2 + \frac{x^3}3 -\frac{x^4}4 + \dotsb$

eingeführt werden. Diese Reihe konvergiert für |x|<1 und für x=1 .

Für eine numerische Berechnung des Werts $\ln(1+x)$ für x>1 ist die Beziehung $\ln(1+x)=-\ln {\Bigl (}1+{\Bigl (}-{\frac {x}{1+x}}{\Bigr )}{\Bigr )}$ nützlich.

Anmerkung

Diese Definitionen können auch herangezogen werden, um Logarithmen auf anderen mathematischen Strukturen zu erhalten, wie z.B. auf den komplexen Zahlen. Das setzt voraus, dass in der betreffenden Struktur die zur Definition verwendeten Konzepte existieren.

Um etwa den diskreten Logarithmus auf einer Gruppe zu definieren, können Konzepte wie Differentiation/Integration nicht herangezogen werden, weil sie dort gar nicht existieren. (Die Definition geschieht dort als Umkehrung der Potenzierung mit ganzen Exponenten, die wiederum aus mehrfachem Anwenden der einen Verknüpfung der Gruppe definiert ist.)

Rechenregeln und grundlegende Eigenschaften

Logarithmengesetze

Im Folgenden wird stets vorausgesetzt, dass die Variablen x, y, x_i, r, a, b von Null verschieden sind; im Falle des reellen Logarithmus werden die Zahlen sogar als positiv vorausgesetzt. Die Basen a,b des Logarithmus dürfen ferner nicht 1 sein.

Produkte

Für das Rechnen mit Logarithmen von Produkten steht die hilfreiche Rechenregel

$\log_b (x \cdot y) = \log_b x + \log_b y$

zur Verfügung; oder allgemeiner:

$\log _{b}(x_{1}x_{2}\dotsm x_{n})=\log _{b}x_{1}+\log _{b}x_{2}+\dotsb +\log _{b}x_{n}$

bzw.

$\log_b\prod_{i=1}^n x_i = \sum_{i=1}^n \log_b x_i.$

Der Logarithmus eines Produkts ist die Summe der Logarithmen der Faktoren.

Quotienten

Die Quotienten leiten sich direkt aus den Logarithmen von Produkten ab. Hier sei nur der einfache Fall

$\log_b \frac xy = \log_b x - \log_b y$

angegeben. Der Logarithmus eines Quotienten ist der Logarithmus des Zählers minus den Logarithmus des Nenners .

Insbesondere ergibt sich daraus (da $\log 1=0$ ):

$\log _{b}{\frac {1}{x}}=-\log _{b}x$

Allgemeiner ergibt sich direkt aus der obigen Quotientenregel das Reziprozitätsgesetz:

$\log _{b}{\frac {x}{y}}=-\log _{b}{\frac {y}{x}}$

Summen und Differenzen

Aus der Formel für Produkte kann eine Formel für Logarithmen von Summen (und Differenzen) wie x+y hergeleitet werden, indem ausgeklammert wird:

$x+y=x\left(1+{\frac yx}\right).$

Damit ergibt sich die „Regel“

$\log _{b}(x+y)=\log _{b}x+\log _{b}\left(1+{\frac yx}\right).$

Potenzen

Für Potenzen mit reellem Exponent gilt die Regel

$\log_b \left(x^r\right) = r \log_b x.$

Der Logarithmus einer Potenz ist also das Produkt aus dem Exponenten mit dem Logarithmus der Basis.

Auch daraus lässt sich für r=-1

$\log_b \frac 1x = -\log_b x$

ermitteln.

Der Logarithmus eines Stammbruchs $\tfrac{1}{x}$ ist der negative Logarithmus des Nenners .

Diese Rechenregeln lassen sich von den Potenzgesetzen ableiten.

Wurzeln

Da Wurzeln nichts anderes als Potenzen mit gebrochenem Exponenten sind, ergibt sich nach der oben angegebenen Potenzregel des Logarithmus die Rechenregel

$\log _{b}{\sqrt[{n}]{x}}=\log _{b}\left(x^{\frac {1}{n}}\right)={\frac {1}{n}}\log _{b}x.$

Basisumrechnung

Um Logarithmen zur Basis mithilfe von Logarithmen einer beliebigen Basis zu berechnen, verwendet man den Zusammenhang

$\log_b x = \frac{\log_a x}{\log_a b}$

denn mit $y = \log_b x$ gelten die Umformungen

$\begin{align} b^y &= x \\ \log_a b^y &= \log_a x \\ y \log_a b &= \log_a x \\ y &= \frac{\log_a x}{\log_a b} \end{align}$

Damit sieht man, dass sich Logarithmen zu verschiedenen Basen nur um einen konstanten Faktor voneinander unterscheiden. Die meisten Tabellenwerke stellen Logarithmen nur zur Basis 10 zur Verfügung, Taschenrechner auch zur Basis e (den natürlichen Logarithmus). Mit obiger Formel lassen sich daraus Logarithmen zu einer beliebigen Basis berechnen.

Ein prominenter Spezialfall, der sich aus obiger Formel ergibt, lautet:

$\log_a b = \frac{1}{\log_b a}$ oder $\log_a b \cdot \log_b a=1$

Beispiel: $\log_{10} 8 = \frac{\log_2 8}{\log_2 10} = \frac{\ln 8}{\ln 10}$; für beliebige positive Zahlen ist $\frac{\ln x}{\log_{10} x} = \ln 10 \approx 2{,}302585$

Nichtpositive Zahlen

In den reellen Zahlen ist der Logarithmus für nichtpositive Zahlen, also Null und negative Zahlen, nicht definiert. Allerdings erfüllt $\log_b |x|$ obige Funktionalgleichung für $L(\cdot)$ , solange nur $x,y \not= 0$ ist, da diese dort eine Unstetigkeitsstelle hat. Ansonsten würde für x=0 ja für alle stets 0 = L(y) folgen, wenn man ihre Gültigkeit auf ganz $\mathbb {R}$ , also auch bei x=0 , verlangen würde.

$x=\log_b 0$ müsste dann bedeuten. Ist ungleich Null, ist dies jedoch für kein reelles lösbar.
(als Beispiel die negative Zahl −1) $x=\log_b(-1)$ müsste dann bedeuten. Dies ist ebenfalls für keine reelle Zahl möglich, wenn größer Null ist.

In der Funktionentheorie, in der Funktionen von komplexen Zahlen betrachtet werden, kann man den Logarithmus auch für negative Zahlen definieren (siehe Komplexer Logarithmus), allerdings gelten dann einige der Rechenregeln nicht mehr. Auch in diesem Zusammenhang ist 0 keine isolierte Singularität, sondern ein Verzweigungspunkt.

Ableitung und Integral

Die natürliche Logarithmusfunktion ist die Umkehrfunktion der Exponentialfunktion. Daher erhält man die Ableitung des natürlichen Logarithmus einfach durch Anwendung der Umkehrregel (siehe Beispiel dort). Es ergibt sich

${\frac {{\mathrm d}}{{\mathrm d}x}}\ln(x)={\frac 1x}$

für positives . Für negatives folgt daraus (wegen $-x>0$ und unter Anwendung der Kettenregel)

${\frac {{\mathrm d}}{{\mathrm d}x}}\ln(-x)={\frac {1}{-x}}\cdot (-1)={\frac 1x}$

und wegen $|x|=\begin{cases} x, & \text{für }x>0\\-x, & \text{für }x<0\end{cases}$ lässt sich beides zu

$\forall \ x\neq 0\colon {\frac {{\mathrm d}}{{\mathrm d}x}}\ln |x|={\frac 1x}$

zusammenfassen. Für allgemeine Logarithmen gilt:

${\frac {{\mathrm d}}{{\mathrm d}x}}\log _{b}|x|={\frac 1{x\ln b}}.$

Für alle reellen $x\neq 0$ ist

$\int_{-1}^x{\frac{1}{t}\,\mathrm dt} = \ln |x|,$

wobei für positives (wenn also über den Pol bei t=0 integriert wird) der Hauptwert des Integrals zu nehmen ist.

Die Stammfunktion (auch bekannt als unbestimmtes Integral) des natürlichen Logarithmus lässt sich durch partielle Integration gewinnen:

${\begin{aligned}\int {\ln |x|\,\mathrm {d} x}&=\int 1\cdot \ln |x|\,\mathrm {d} x\\&=\int {\frac {\mathrm {d} }{\mathrm {d} x}}x\cdot \ln |x|\,\mathrm {d} x\\&=x\ln |x|-\int x{\frac {1}{x}}\,\mathrm {d} x\\&=x\ln |x|\;-x+C.\end{aligned}}$

Ist bei einem bestimmten Integral des natürlichen Logarithmus eine der Grenzen Null, so kann die Regel von de l’Hospital angewendet werden.

Beispiel: $\int_0^1{\ln x\,\mathrm dx} = [x\ln{x}-x]_0^1 = -1,$

$\begin{align} \lim_{x\to 0^+} x\ln x &= \lim_{x\to 0^+} \frac{\ln x}{1/x}\\ &= \lim_{x\to 0^+} \frac{1/x}{-1/x^2}\\ &= \lim_{x\to 0^+} -x\\ &= 0. \end{align}$

Kurvendiskussion

Definitionsmenge: $\mathbb {R} ^{+}={\mathopen {]}}0,\infty {\mathclose {[}}$
Wertemenge: $\mathbb {R}$
Nullstellenmenge bzw. Kurvenschnittpunkte mit den Koordinatenachsen: {1} bzw. (1|0)
Asymptotisches Verhalten:

$\lim _{x\to 0^{+}}\log _{b}x={\begin{cases}-\infty ,&{\text{wenn }}b>1\\+\infty ,&{\text{wenn }}b<1\end{cases}}$

$\lim _{x\to \infty }\log _{b}x={\begin{cases}+\infty ,&{\text{wenn }}b>1\\-\infty ,&{\text{wenn }}b<1\end{cases}}$

Erste Ableitung:

$(\log_b |x|)' = \frac 1{x\ln b}$

Extrempunkte: keine
Wendepunkte: keine
Monotonie: streng monoton steigend/wachsend (wenn ) bzw. fallend (wenn )
Flächeninhalt der Fläche zwischen Kurve, y-Achse und x-Achse bis x ≤ 1: $\frac {1}{|\ln b|}$
Krümmungsextremum bei $x_k=\frac{1}{\sqrt 2 |\ln b|}$ mit $\kappa(x_k) = -\frac{2\ln b}{3\sqrt 3}$

Natürlicher Logarithmus

Der Logarithmus zur Basis $\mathrm {e}$ (der Eulerschen Zahl) wird auch als natürlicher Logarithmus bezeichnet und mit „ln“ oder oft auch „log“ (ohne Tiefstellung) abgekürzt:

Wenn $y=\mathrm {e} ^{x}$ , dann ist $x=\log _{\mathrm {e} }y=\ln y$

– oder einfacher formuliert: $\ln(\mathrm {e} ^{x})=x$

Die Zahl $\mathrm {e}$ ist z.B. dadurch ausgezeichnet (und könnte auch so definiert werden), dass die Exponentialfunktion $\mathrm {e} ^{x}$ sich bei Ableitung nach wieder selbst reproduziert, als Formel:

${\frac {\mathrm {d} }{\mathrm {d} x}}\mathrm {e} ^{x}=\mathrm {e} ^{x}.$

Der Begriff natürlicher Logarithmus wurde gewählt, weil sowohl die Exponentialfunktion als auch der Logarithmus zur Basis $\mathrm {e}$ in vielen Zusammenhängen (Integralrechnung, Differentialrechnung, Komplexe Zahlen, Trigonometrie) auf natürliche Weise ohne Vorfaktoren auftreten. Insbesondere lässt sich der natürliche Logarithmus sehr einfach integrieren und differenzieren.

Der natürliche Logarithmus $\ln$ ist eine Stammfunktion der Kehrwertfunktion mit $f(x)=x^{-1}=\tfrac{1}{x}$ , nämlich genau die mit F(1)=0 .

Berechnung des Logarithmus

Die Berechnung eines Logarithmus ist prinzipiell kompliziert. Sie lässt sich „mit Papier und Bleistift“ nur durch die vielfache Wiederholung bestimmter Rechenvorgänge erreichen, wobei das Ergebnis des gerade ausgeführten Schrittes als Ausgangsbasis für den nächsten Rechenschritt verwendet wird (Iterative Vorgehensweise). Meist kann man sich dem Wert nur annähern (Approximation). Dazu gibt es verschiedene mögliche Vorgehensweisen, von denen einige im Folgenden dargestellt sind. Anfangs ist das Ergebnis dieser Teilschritte jeweils relativ weit entfernt von dem korrekten Ergebnis, wird aber bei jedem weiteren Rechenschritt genauer, es konvergiert zu dem korrekten Ergebnis. Solche iterativen Rechenoperationen sind sehr gut geeignet, um sie automatisch mit einem Taschenrechner oder Computer auszuführen, wo lediglich eine Taste gedrückt werden muss (falls auf dem Gerät vorgesehen), um den Logarithmus der eingegebenen Zahl zu einer festgelegten Basis (meist die Eulersche Zahl e (2,718…) oder die Zahl 10) zu berechnen. Die folgenden Rechenbeispiele sind jeweils nur zur Berechnung des Logarithmus einer beliebigen Zahl zur Basis e (natürlicher Logarithmus) oder 2 geeignet.

Potenzreihe

Illustration der ersten Teilsummen der von Nikolaus Mercator entdeckten Reihendarstellung des natürlichen Logarithmus; die Reihe konvergiert nur im nicht-schraffierten Bereich

Die Potenzreihenentwicklung des natürlichen Logarithmus um den Entwicklungspunkt 1 ergibt sich für $-1 < x \leq 1$ als

${\begin{aligned}\ln(1+x)&=-\sum _{k=0}^{\infty }{\frac {(-x)^{k+1}}{k+1}}\\&=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}\pm \dotsb \\&\qquad \dotsb +(-1)^{n+1}{\frac {x^{n}}{n}}\;+\;R_{n+1}(x)\,.\end{aligned}}$

Sie konvergiert nicht sonderlich schnell an den Rändern des Konvergenzintervalls, das Restglied der -ten Partialsumme hat die Größe

$|R_{n+1}(x)|\le\frac{|x|^{n+1}}{(n+1)(1-|x|)}.$

Diese Reihe lässt sich auch als Kettenbruch darstellen:

$\ln(1+x)={\cfrac {x}{1-0x+{\cfrac {1^{2}x}{2-1x+{\cfrac {2^{2}x}{3-2x+{\cfrac {3^{2}x}{4-3x+\ddots }}}}}}}}$

Mit Hilfe der Formel $\ln(x)=m\ln(2)+\ln(2^{-m}x)$ kann man die Berechnung des Logarithmus für beliebige auf die für Werte im Interval ${\big [}{\tfrac {2}{3}},{\tfrac {4}{3}}{\big ]}$ reduzieren, d.h., man findet immer und mit $2^{-m}x=1+y$ und $|y|\le\tfrac13$

Illustration der Konvergenz der nebenstehenden artanh-Entwicklung für unterschiedliche Anzahl von Summanden

Mehr Flexibilität in der Reduktion auf Zahlen nahe 1 und eine Halbierung des Berechnungsaufwandes bietet folgende Reihendarstellung, die auf der Potenzreihenentwicklung des Areatangens hyperbolicus $\operatorname {artanh}$ beruht,

${\begin{aligned}\ln x&=2\operatorname {artanh} {\frac {x-1}{x+1}}\\&=\sum _{k=0}^{\infty }{\frac {2}{2k+1}}\cdot \left({\frac {x-1}{x+1}}\right)^{2k+1}\\&=\sum _{k=0}^{n}{\frac {2}{2k+1}}\cdot \left({\frac {x-1}{x+1}}\right)^{2k+1}\!\!+\,\,R_{n+1}(x)\end{aligned}}$

mit der Restgliedabschätzung

$|R_{n+1}(x)|\leq {\frac {(x-1)^{2}}{2(2n+3)\,|x|}}\left|{\frac {x-1}{x+1}}\right|^{2n+1}.$

Die Reihe konvergiert für x>0 , zeigt für und $\tfrac{1}{x}$ ähnliches Konvergenzverhalten und konvergiert umso besser, je näher bei 1 liegt. Um dies zu erreichen, verwendet man wieder

$\ln x = 2m \ln(\sqrt 2) + \ln(2^{-m} x).$

Durch Wahl einer geeigneten ganzen Zahl kann man immer erreichen, dass gilt $\tfrac1{\sqrt2} \leq 2^{-m}x \leq \sqrt2$ und erhöht damit die Konvergenzgeschwindigkeit der Reihe, die man jetzt für $2^{-m}x$ berechnet. Allerdings muss man zusätzlich noch eine Näherung für $\ln\sqrt 2=\tfrac12\ln 2$ berechnen, was über die gleiche Reihe erfolgt. Eine solche Transformation auf ein Intervall ${\big [}{\tfrac {1}{b}},b{\big ]}$ durch Skalierung von mit $b^{2m}$ ist auch für andere Werte von möglich, durch die besonders einfache Handhabung der 2 in binär dargestellten Zahlen wird selten ein anderer Faktor verwendet.

Additive Zerlegung

Der natürliche Logarithmus $\ln$ steht, wie im obigen Abschnitt erwähnt, mit dem Areatangens hyperbolicus $\operatorname {artanh}$ per

$\ln x=2\operatorname {artanh} {\frac {x-1}{x+1}}\qquad \,(0<x)$

in Beziehung, was nach der anderen Seite aufgelöst

$\operatorname {artanh} u={\frac {1}{2}}\ln {\frac {1+u}{1-u}}\qquad (-1<u<1)$

ergibt.

Die Logarithmen der positiv-ganzzahligen Numeri lassen sich damit in aufsteigenden Einerstufen der Form

${\begin{aligned}\ln(n+1)&=\ln n+\ln {\frac {n+1}{n}}=\ln n+2\operatorname {artanh} {\frac {1}{2n+1}}\\&=2\sum _{\nu =1}^{n}\operatorname {artanh} {\frac {1}{2\nu +1}}\end{aligned}}$

darstellen und ausrechnen. Dabei verbessert sich das Konvergenzverhalten der Taylorreihe

$\operatorname {artanh} u=\sum _{k=0}^{\infty }{\frac {u^{2k+1}}{2k+1}}=u+{\frac {1}{3}}u^{3}+{\frac {1}{5}}u^{5}+{\frac {1}{7}}u^{7}+\ldots$

geringfügig mit wachsendem $n.$

Mithilfe des Additionstheorems

$\operatorname {artanh} u+\operatorname {artanh} v=\operatorname {artanh} {\frac {u+v}{1+uv}}$

lässt sich $\operatorname {artanh}$ und damit auch $\ln$ additiv zerlegen. So ergeben sich beispielsweise die folgenden Identitäten für die natürlichen Logarithmen der ersten Primzahlen. Dabei werde der Übersichtlichkeit halber das Additionstheorem als Gruppengesetz $\oplus$ ^[1]

$u\oplus v:=\tanh(\operatorname {artanh} u+\operatorname {artanh} v)={\frac {u+v}{1+uv}},$

sowie seine -fache Vervielfältigung als

$n\!\odot \!u:=\underbrace {u\oplus u\oplus \dotsb \oplus u} _{n{\text{-mal}}}=\bigoplus _{\nu =1}^{n}u$

formuliert.

$\tanh \left({\tfrac {1}{2}}\ln 2\right)$	$={\tfrac {1}{3}}$	$=2\!\odot \!{\tfrac {1}{7}}\;\oplus \;{\tfrac {1}{17}}$	$=\;\,7\!\odot \!{\tfrac {1}{19}}\;\ominus \;\;\,2\!\odot \!{\tfrac {1}{49}}\;\oplus \;3\!\odot \!{\tfrac {1}{161}},$
$\tanh \left({\tfrac {1}{2}}\ln 3\right)$	$={\tfrac {1}{2}}$	$=3\!\odot \!{\tfrac {1}{7}}\;\oplus \;2\!\odot \!{\tfrac {1}{17}}$	$=11\!\odot \!{\tfrac {1}{31}}\;\oplus \;\;\,8\!\odot \!{\tfrac {1}{49}}\;\oplus \;5\!\odot \!{\tfrac {1}{161}},$
$\tanh \left({\tfrac {1}{2}}\ln 5\right)$	$={\tfrac {2}{3}}$	$=4\!\odot \!{\tfrac {1}{5}}\;\ominus \;{\tfrac {1}{161}}$	$=16\!\odot \!{\tfrac {1}{31}}\;\oplus \;12\!\odot \!{\tfrac {1}{49}}\;\oplus \;7\!\odot \!{\tfrac {1}{161}},$
$\tanh \left({\tfrac {1}{2}}\ln 7\right)$	$={\tfrac {3}{4}}$	$=3\!\odot \!{\tfrac {1}{3}}\;\ominus \;{\tfrac {1}{15}}$	$=14\!\odot \!{\tfrac {1}{15}}\;\oplus \;\;\,6\!\odot \!{\tfrac {1}{97}}\;\ominus \;3\!\odot \!{\tfrac {1}{127}}$ sowie
$\tanh \left({\tfrac {1}{2}}\ln 11\right)$	$={\tfrac {5}{6}}$	$=2\!\odot \!{\tfrac {1}{2}}\;\oplus \;{\tfrac {1}{10}}$	$=24\!\odot \!{\tfrac {1}{23}}\;\oplus \;11\!\odot \!{\tfrac {1}{65}}\;\ominus \;7\!\odot \!{\tfrac {1}{485}}.$

Für die praktische Rechnung sind Zerlegungen bevorzugt, deren Summanden eine Eins im Zähler haben. Wie beim Arkustangens bleiben bei der Verdoppelung

${\tfrac {1}{n}}=2\!\odot \!{\tfrac {1}{2n}}\;\oplus \;{\tfrac {1}{4n^{3}-3n}}$

die Einsen im Zähler erhalten.

Grenzwerte nach Hurwitz

Für den natürlichen Logarithmus gelten die Grenzwerte

$\ln x=\lim _{n\to \infty }n\left({\sqrt[{n}]{x}}-1\right)=\lim _{n\to \infty }n\left(1-{\frac {1}{\sqrt[{n}]{x}}}\right)$

sowie gleichbedeutend damit

$\ln x=\lim _{h\to 0}{\frac {x^{h}-1}{h}}=\lim _{h\to 0}\int _{1}^{x}{\frac {1}{t^{1-h}}}\,\mathrm {d} t$

die man leicht mit der Regel von de l’Hospital bestätigt.

Hierauf basieren die von Adolf Hurwitz für den natürlichen Logarithmus angegebenen Grenzwerte der Folgen $a_{n}$ bzw. $b_{n}$ , die über

${\begin{aligned}a_{n}&=2^{n}(x_{n}-1)\\b_{n}&=2^{n}\left(1-{\frac {1}{x_{n}}}\right),\end{aligned}}$

wobei

$x_{n+1}=\sqrt{x_n}\quad\text{mit}\quad x_0=x$

definiert sind. Wegen $1-\tfrac1{x}\le b_n \le a_n < x-1$ und weil $a_{n}$ monoton fallend und $b_{n}$ monoton wachsend ist, folgt die Konvergenz dieser beiden Folgen. Aufgrund von a_n=b_n x_n und $x_{n}\rightarrow 1$ ergibt sich die Gleichheit der beiden Grenzwerte:

$\lim_{n\to\infty}a_n = \lim_{n\to\infty}b_n = \ln x.$

Für eine praktische Berechnung von ln sind diese Grenzwerte wegen der auftretenden Auslöschung jedoch nicht gut geeignet.

Berechnung einzelner Binärziffern

Eine weitere Möglichkeit zur Berechnung des Logarithmus besteht darin, nacheinander die Ziffern der Binärdarstellung des Logarithmus zur Basis 2 zu bestimmen. Dieses Verfahren ist besonders einfach auf Rechenwerken zu implementieren, da es aufwändige Divisionen vermeidet und auch leicht in Festkomma-Arithmetik umsetzbar ist.

Zunächst werden die Vorkommastellen des Zweierlogarithmus (immer im Dualsystem) durch Abzählen der Vorkommastellen der Zahl bestimmt und durch Schieben auf Werte zwischen 1 und 2 normiert.

Der Logarithmus von hat danach die Darstellung

${\begin{aligned}\log _{2}(x)&=0,b_{1}b_{2}b_{3}\cdots =\sum _{k>0}b_{k}2^{-k}{\text{ mit }}b_{k}\in \{0,1\}\\\log _{2}(x^{2})&=b_{1},b_{2}b_{3}\cdots \qquad {\text{ wegen }}\quad \log(x^{2})=2\log x.\end{aligned}}$

Quadrieren von schiebt den Logarithmus also um eine Binärstelle nach links, wodurch die Vorkommastelle möglicherweise Eins wird. Dies ist dann der Fall, wenn $x^{2}\geq 2$ ist. In diesem Falle wird durch Division durch 2 wieder normiert, was keinen Einfluss auf die verbleibenden Nachkommastellen hat. Damit ergibt sich die folgende Skizze des Verfahrens:

INPUT 1 ≤ x < 2
OUTPUT Nachkommastellen b_i der Binärdarstellung von log₂(x)

i ← 0
LOOP
   i ← i + 1
   x ← x²
   IF x ≥ 2 THEN
      x ← x / 2
      b_i ← 1
   ELSE
      b_i ← 0
   END IF
END LOOP

Analogrechner

Vereinfachtes Schaltbild eines Logarithmierers

Zur Berechnung des Logarithmus mithilfe eines Analogrechners – also etwa der Erzeugung einer elektrischen Ausgangsspannung $U_{\text{a}}$ , die den Logarithmus des Nennwerts der Eingangsspannung $U_{\text{e}}$ annimmt – kann man sich den exponentiellen Verlauf der Strom-Spannungs-Kennlinie einer Diode zunutze machen. Die nebenstehende Skizze zeigt den prinzipiellen Aufbau eines Logarithmierers mit einem Operationsverstärker, einer Diode und einem Widerstand .

Komplexer Logarithmus

Riemannsche Fläche der komplexen Logarithmus-Funktion: Die Blätter spiegeln die Mehrdeutigkeit des Logarithmus wider, die aus der Periodizität seiner Umkehrfunktion, der Exponentialfunktion, folgt.

Hauptwert $\ln z$ des Logarithmus

Analog zur reellen Definition heißt jede komplexe Zahl , welche die Gleichung

$\mathrm {e} ^{w}=z$

erfüllt, ein natürlicher Logarithmus von . Für jedes $z\in \mathbb {C} \setminus \{0\}$ existiert ein solches , das jedoch im Unterschied zum reellen Logarithmus wegen

$\mathrm {e} ^{2k\pi \mathrm {i} }=1,\quad k\in \mathbb {Z}$ ,

nicht eindeutig bestimmt ist. Hat man also einen Logarithmus von gefunden, so ist damit auch

$w'=\,\!w+2k\pi \mathrm {i}$

mit jeder ganzen Zahl ein Logarithmus von , denn es gilt

$\mathrm {e} ^{w'}=\mathrm {e} ^{w+2k\pi \mathrm {i} }=\mathrm {e} ^{w}\cdot \mathrm {e} ^{2k\pi \mathrm {i} }=\mathrm {e} ^{w}\cdot 1=\mathrm {e} ^{w}=z$ .

Um Eindeutigkeit zu erreichen, wählt man aus den möglichen Werten für solche Werte aus, die in einem geeigneten Streifen der komplexen Zahlenebene liegen. Man kann z.B. den Streifen

$\left\{w \in \mathbb C: -\pi < \operatorname{Im}\,w \leq \pi \right\}$

verwenden. Ein Wert aus diesem Streifen heißt Hauptwert (englisch principal value) des Logarithmus, und man schreibt $w = \ln z$ . Stellt man $z=|z|\cdot \mathrm {e} ^{\mathrm {i} \arg z}$ in Polarform dar, so erhält man eine einfache Darstellung des k-ten Zweiges der Logarithmusfunktion:

$w=\ln |z|+\mathrm {i} \left(\arg z+2k\pi \right),\quad k\in \mathbb {Z}$

mit der Argument-Funktion $\arg$ . Im Summanden $\ln |z|$ wird der bereits oben definierte reelle Logarithmus $\ln$ verwendet. Für k=0 erhält man den Hauptzweig des komplexen Logarithmus zurück:

$\ln z=\ln |z|+\mathrm {i} \arg z$ .

$\ln$ ist nicht stetig auf $\mathbb C\setminus\{0\}$ . Entfernt man jedoch die negative reelle Achse, so ist $\ln$ auf dem Gebiet

$\mathbb C\setminus\{x \in \R: x\leq 0\}$

stetig und sogar holomorph.

Zur Beachtung

Für den Hauptzweig des komplexen Logarithmus $\ln$ gelten nicht alle der weiter oben angeführten Rechenregeln für die reelle Logarithmusfunktion. Sie gelten nur ${\text{mod }}2\pi \mathrm {i}$ . Diese Mehrdeutigkeit ist eine direkte Folge aus der Periodizität seiner Umkehrfunktion, der komplexen Exponentialfunktion. Der Vergleich von

$\ln(-1+\mathrm {i} )+\ln(-1+\mathrm {i} )={\bigl (}\ln {\sqrt {2}}+{\frac {3\pi }{4}}\mathrm {i} {\bigr )}+{\bigl (}\ln {\sqrt {2}}+{\frac {3\pi }{4}}\mathrm {i} {\bigr )}=\ln 2+{\frac {3\pi }{2}}\mathrm {i}$

mit

$\ln {\bigl (}(-1+\mathrm {i} )(-1+\mathrm {i} ){\bigr )}=\ln(-2\mathrm {i} )=\ln 2-{\frac {\pi }{2}}\mathrm {i}$

zeigt, dass

$\ln x + \ln y = \ln(x \cdot y)$

nicht für alle von $0$ verschiedenen komplexen Zahlen und richtig ist. Auch die Gleichung

$y \cdot \ln x = \ln{x^y}$

ist nicht immer erfüllt, wie das Gegenbeispiel

$2\pi \mathrm {i} \ln \mathrm {e} =2\pi \mathrm {i} \;\neq \;0=\ln 1=\ln(\mathrm {e} ^{2\pi \mathrm {i} })$

beweist.

Grafische Darstellung des komplexen Logarithmus
Betrag von $\ln z$
Realteil von $\ln z$
Imaginärteil von $\ln z$

Mit dem oben definierten Hauptzweig des komplexen Logarithmus kann man den Logarithmus von negativen reellen Zahlen erklären:

$\ln(-x)=\ln \left\vert -x\right\vert +\mathrm {i} \arg(-x)=\ln x+\mathrm {i} \pi ,\quad x\in \mathbb {R} ^{+}\ .$

Das setzt voraus, dass die Argument-Funktion $\arg$ negativen reellen Zahlen den Wert $\pi$ zuweist.

Diese Betrachtungen zeigen, dass die Mehrdeutigkeit des komplexen Logarithmus letztlich auf die Mehrdeutigkeit der Argument-Funktion zurückzuführen ist.

Diskrete Logarithmen

→ Hauptartikel: Diskreter Logarithmus

Diskrete Logarithmen sind Lösungen von Gleichungen der Form

$a^{n}=\underbrace {a\circ a\circ \dotsb \circ a} _{n{\text{-mal}}}=b$

über einer endlichen zyklischen Gruppe $(G,\circ) = \langle a \rangle$ . Der diskrete Logarithmus von zur Basis ist modulo der Gruppenordnung von eindeutig bestimmt und existiert – da ein Erzeuger der Gruppe ist – für alle Elemente der Gruppe.

Diskrete Logarithmen sind im Sinne der Komplexitätstheorie für viele Gruppen aufwändig zu berechnen und finden Anwendung in der Kryptographie, etwa in auf elliptischen Kurven basierenden Kryptosystemen.

Beispiel:

$2^{x}{\bmod {1}}1=5$

hat als Lösung den Wert 4, denn es gilt 2⁴ = 16, und 16 lässt den Rest 5 bei Division mit Rest durch 11. Die Lösung ist eindeutig modulo 10, also modulo der Gruppenordnung von $(\mathbb Z\,/\,11 \,\mathbb Z)^\times$ . Dementsprechend ist mit auch $x\pm 10$ eine Lösung der Kongruenz.

Siehe auch

Literatur

Eric W. Weisstein: Logarithm. In: MathWorld (englisch).
Wolfgang Walter: Analysis I. Grundwissen Mathematik Band 3. Springer, Berlin 1985, ISBN 3-540-12780-1.
Klaus Jänich: Funktionentheorie. Eine Einführung. Springer, Berlin 2004, ISBN 3-540-20392-3.
I. N. Bronstein, K. A. Semendjajew, G. Musiol, H. Mühlig (Hrsg.): Taschenbuch der Mathematik. 10., überarbeitete Auflage. Europa-Lehrmittel, Haan-Gruiten 2016, ISBN 978-3-8085-5790-7.
Ernst Hairer, Gerhard Wanner: Analysis in historischer Entwicklung. Springer-Verlag, Berlin / Heidelberg 2011, ISBN 978-3-642-13766-2.

Anmerkungen

↑ Da $\tanh$ und $\operatorname {artanh}$ Umkehrfunktionen voneinander sind, sind die Gruppenaxiome leicht nachgerechnet. Das Inverse $\ominus u$ von ist wegen der Ungeradheit dieser Funktionen $=-u.$

Basierend auf einem Artikel in:

Wikipedia.de