Λογάριθμος

[right|thumb|upright=1.35|Η [Γραφική παράσταση συνάρτησης|γραφική παράσταση του λογαρίθμου με βάση το 2 τέμνει τον άξονα των ''x'' (οριζόντιος άξονας) στο 1 και διέρχεται από τα σημεία με συντεταγμένες , , και . Για παράδειγμα , επειδή  Η γραφική παράσταση τείνει ασυμπτωτικά προς τον άξονα των *y* (δεν εφάπτεται ούτε τον τέμνει ποτέ).]]

**Λογάριθμος** (με βάση α) ενός θετικού αριθμού θ είναι ο εκθέτης στον οποίο πρέπει να υψωθεί ένας δεδομένος αριθμός α , που λέγεται βάση, ώστε να πάρουμε αποτέλεσμα τον Θ. Για τη βάση α ισχύει ότι 01. Για παράδειγμα ο λογάριθμος του 1000 με βάση το 10 είναι 3, επειδή το 1000 ισούται με 10 υψωμένο εις την 3: Πιο γενικά, αν *x* = *b**y* τότε το *y* είναι ο λογάριθμος του *x* με βάση το&nbsp;*b*, και γράφεται logb(*x*), έτσι log10(1000) = 3.
: a^x=b \Leftrightarrow x=log_a b

Οι λογάριθμοι εισήχθησαν από τον Τζον Νάπιερ στις αρχές του 17ου αιώνα ως μέσο για την απλοποίηση των υπολογισμών. Υιοθετήθηκαν με ραγδαίους ρυθμούς από επιστήμονες, μηχανικούς και άλλους ώστε να κάνουν πράξεις με λογαριθμικούς κανόνες και πίνακες λογαρίθμων. Αυτές οι μέθοδοι υπολογισμού βασίζονται στο, σημαντικό από μόνο του, γεγονός ότι ο λογάριθμος ενός γινομένου ισούται με το άθροισμα των λογαρίθμων των παραγόντων του:
: \log_b(xy) = \log_b (x) + \log_b (y). \,
Η σημερινή έννοια των λογαρίθμων προέρχεται από τον Λέοναρντ Όιλερ, ο οποίος τους συνέδεσε με την εκθετική συνάρτηση τον 18ο αιώνα.

Ο λογάριθμος με βάση το *b* = 10 αποκαλείται κοινός λογάριθμος και έχει πολλές εφαρμογές στην επιστήμη και τη μηχανική. Ο φυσικός λογάριθμος έχει ως βάση την σταθερά ''e'' (≈ 2.718), και η χρήση του είναι διαδεδομένη στα καθαρά μαθηματικά, και ειδικότερα στον λογισμό. Ο δυαδικός λογάριθμος έχει ως βάση τον αριθμό *b* = 2 και αποτελεί σημαντικό στοιχείο της επιστήμης υπολογιστών.

Οι λογαριθμικές κλίμακες περιορίζουν το πεδίο τιμών ποσοτήτων με μεγάλο εύρος. Για παράδειγμα το ντεσιμπέλ είναι λογαριθμική μονάδα μέτρησης της διαφοράς στάθμης φυσικών μεγεθών. Στη χημεία, το pH είναι λογαριθμική μονάδα της οξύτητας ενός υδατικού διαλύματος. Οι λογάριθμοι είναι κοινός τόπος στους επιστημονικούς τύπους, στις μετρήσεις της πολυπλοκότητας των αλγορίθμων και στα γεωμετρικά αντικείμενα που ονομάζονται φράκταλ. Περιγράφουν μουσικά διαστήματα, εμφανίζονται σε τύπους που μετρούν το πλήθος των πρώτων αριθμών, χρησιμοποιούνται σε μοντέλα της ψυχοφυσικής και επικουρούν την δικανική λογιστική

Κατά τον ίδιο τρόπο με τον οποίο ο λογάριθμος αντιστρέφει την ύψωση σε δύναμη, ο μιγαδικός λογάριθμος είναι η αντίστροφη συνάρτηση της εκθετικής συνάρτησης εφαρμοζόμενης στους μιγαδικούς αριθμούς. Ο διακριτός λογάριθμος είναι μια άλλη παραλλαγή η οποία έχει εφαρμογές στην κρυπτογράφηση δημοσίου κλειδιού.

## Προέλευση και ορισμός
Η ιδέα του λογαρίθμου είναι να αντιστραφεί η πράξη της ύψωσης σε δύναμη. Για παράδειγμα, η τρίτη δύναμη (κύβος) του 2 είναι το 8, επειδή το 8 είναι το γινόμενο τριών παραγόντων ίσων με 2:
:2^3 = 2 \times 2 \times 2 = 8. \,
Κατά συνέπεια ο λογάριθμος του 8 με βάση το 2 είναι το 3. 

### Ύψωση σε δύναμη
Η τρίτη δύναμη ενός αριθμού *b* είναι το γινόμενο 3 παραγόντων, κάθε ένας από τους οποίους είναι το *b*. Γενικότερα, η ύψωση του *b* στη  δύναμη, όπου *n* είναι ένας φυσικός αριθμός, γίνεται πολλαπλασιάζοντας *n* παράγοντες *b*. Η  δύναμη του *b* γράφεται *b**n*, έτσι
:b^n = \underbrace{b \times b \times \cdots \times b}_{n\ \pi\alpha\rho\acute{\alpha}\gamma o\nu\tau\epsilon\varsigma}.
Η *n*-στή δύναμη του *b*,  *b**n*, ορίζεται όταν ο *b* είναι θετικός αριθμός και ο *n* είναι πραγματικός αριθμός. Για παράδειγμα *b*−1 είναι ο Αντίστροφος του *b*, δηλαδή .

### Ορισμός

Ο λογάριθμος ενός αριθμού *y* ως προς *βάση* *b* είναι η δύναμη στην οποία πρέπει να υψωθεί ο *b* ώστε να παραχθεί ο *y*. Με άλλα λόγια ο λογάριθμος του *y* με βάση το *b* είναι η λύση *x* της εξίσωσης
: b^x = y. \,   
Ο λογάριθμος συμβολίζεται log*b*(*y*) (διαβάζεται ως «λογάριθμος του *y* με βάση το *b*»). Για να ορίζεται ο λογάριθμος, θα πρέπει η βάση *b* να είναι θετικός πραγματικός αριθμός μη ίσος με 1 και ο *y* να είναι θετικός αριθμός.

### Παραδείγματα

Για παράδειγμα , καθώς   16. Ο λογάριθμος μπορεί να είναι και αρνητικός:
: \log_2 \!\left( \frac{1}{2} \right) = -1,\, 
καθώς
: 2^{-1} = \frac 1 {2^1} = \frac 1 2.
Ένα τρίτο παράδειγμα: log10(150) ισούται περίπου με 2,176, το οποίο βρίσκεται μεταξύ 2 και 3, καθώς το 150 βρίσκεται μεταξύ  και . Τέλος, για οποιαδήποτε βάση *b*,  and  καθώς  και , αντίστοιχα.

## Λογαριθμικές ταυτότητες

Αρκετοί σημαντικοί τύποι, που αποκαλούνται και *λογαριθμικές ταυτότητες*, συσχετίζουν τους λογάριθμους μεταξύ τους.

### Γινόμενο, πηλίκο, δύναμη και ρίζα
Ο λογάριθμος ενός γινομένου ισούται με το άθροισμα των λογαρίθμων των παραγόντων του. Ο λογάριθμος του λόγου δύο αριθμών ισούται με την διαφορά των λογαρίθμων τους. Συνεπώς ο λογάριθμος της  δύναμης ενός αριθμού ισούται με *n* φορές τον λογάριθμο του αριθμού αυτού, ενώ ο λογάριθμος της  ρίζας του αριθμού ισούται με τον λογάριθμό του διαιρεμένο δια *n*. Στον παρακάτω πίνακα φαίνονται αυτές οι ταυτότητες μαζί με παραδείγματα:





### Αλλαγή βάσης
Ο λογάριθμος log*b*(*x*) μπορεί να υπολογιστεί από τους λογαρίθμους του *x* και του *b* ως προς μία αυθαίρετη βάση *k* χρησιμοποιώντας τον ακόλουθο τύπο:
:  \log_b(x) = \frac{\log_k(x)}{\log_k(b)}.\, 
Τα τυπικά επιστημονικά κομπιουτεράκια υπολογίζουν λογάριθμους με βάση 10 και ''e''. Οι λογάριθμοι ως προς οποιαδήποτε βάση μπορούν από κει και πέρα να υπολογιστούν χρησιμοποιώντας οποιονδήποτε από τους δύο λογαρίθμους στον προηγούμενο τύπο:
: \log_b (x) = \frac{\log_{10} (x)}{\log_{10} (b)} = \frac{\log_{e} (x)}{\log_{e} (b)}. \,
Δεδομένου ενός αριθμού *x* και του λογαρίθμου του log*b*(*x*) ως προς άγνωστη βάση *b*, η βάση δίνεται από τον τύπο:
:  b = x^\frac{1}{\log_b(x)}.

## Ειδικές βάσεις
Ανάμεσα σε όλες τις επιλογές για την βάση *b*, τρεις είναι ιδιαίτερα κοινές. Αυτές είναι *b*&nbsp;=&nbsp;10, *b*&nbsp;=&nbsp;''e'' (η άρρητη μαθηματική σταθερά ≈ 2.71828), και *b*&nbsp;=&nbsp;2. Στη μαθηματική ανάλυση, ο λογάριθμος με βάση το *e* είναι διαδεδομένος εξαιτίας των ιδιαίτερων αναλυτικών ιδιοτήτων του που εξηγούνται παρακάτω. Από την άλλη, οι λογάριθμοι με βάση το 10 είναι εύκολοι στη χρήση για υπολογισμούς στο χέρι στο δεκαδικό σύστημα:
:\log_{10}(10 x) = \log_{10}(10) + \log_{10}(x) = 1 + \log_{10}(x).\ 
Έτσι, ο log10(*x*) σχετίζεται με τον αριθμό των δεκαδικών ψηφίων ενός θετικού ακεραίου *x*: ο αριθμός των ψηφίων είναι ο μικρότερος ακέραιος που είναι αμέσως μεγαλύτερος από τον log10(*x*). Για παράδειγμα, log10(1430) ισούται περίπου με 3,15. Ο επόμενος ακέραιος είναι το 4, το οποίο είναι ο αριθμός των ψηφίων του 1430. Ο λογάριθμος με βάση το δύο χρησιμοποιείται στην επιστήμη των υπολογιστών, όπου το δυαδικό σύστημα χρησιμοποιείται σχεδόν αποκλειστικά.

Στον ακόλουθο πίνακα φαίνονται κοινοί συμβολισμοί για τους λογάριθμους ως προς αυτές τις βάσεις και τα πεδία στα οποία χρησιμοποιούνται. Σε πολλά γνωστικά πεδία γράφεται log(*x*) αντί για log*b*(*x*), όταν η βάση μπορεί να προσδιοριστεί από τα συμπεριεχόμενα. Εμφανίζεται επίσης ο συμβολισμός *b*log(*x*). Η στήλη «συμβολισμός ISO» έχει τους συμβολισμούς που προτείνονται από τον Διεθνή Οργανισμό Τυποποίησης (ISO 31-11).

## Ιστορία
### Πρόδρομοι
Ο Ινδός μαθηματικός Βιρασένα εργάστηκε πάνω στην έννοια του *ardhaccheda*: ο αριθμός των φορών που ένας αριθμός της μορφής  2*n* μπορεί να διαιρεθεί. Για ακριβείς δυνάμεις του 2, αυτό είναι ο λογάριθμος με βάση το 2, ο οποίος είναι ακέραιος αριθμός, για άλλους αριθμόυς είναι αόριστος. Περιέγραψε σχέσεις όπως ο τύπος του γινομένου και εισήγαγε επίσης ακέραιους λογαρίθμους με βάση 3 (*trakacheda*) και 4 (*caturthacheda*). Ο Μίχαελ Στίφελ δημοσίευσε το έργο *Arithmetica integra* το 1544 στη Νυρεμβέργη το οποίο περιέχει ένα πίνακα ακεραίων και δυνάμεων του 2 οποίος θεωρείται πρώιμη εκδοχή ενός λογαριθμικού πίνακα.

### Από τον Νάπιερ στον Όιλερ

thumb|right|Τζον Νάπιερ (1550–1617), ο εφευρέτης των λογαρίθμων.

Η μέθοδος των λογαρίθμων δόθηκε στη δημοσιότητα από τον Τζον Νάπιερ το 1614, σε ένα βιβλίο υπό τον τίτλο *Mirifici Logarithmorum Canonis Descriptio* (*Περιγραφή του Θαυμαστού Κανόνα των Λογαρίθμων*).
Ο Γιοστ Μπέργκι (*Jost Bürgi*) εφήυρε ανεξάρτητα του λογάριθμους αλλά τους δημοσίευσε έξι χρόνια μετά τον Νάπιερ.

Με επαναλαμβανόμενες αφαιρέσεις ο Νάπιερ υπολόγισε το  για *L* από 1 έως 100. Το αποτέλεσμα για *L*=100 είναι περίπου 0.99999 = 1 − 10−5. Ο Νάπιερ τότε υπολόγισε τα γινόμενα αυτών των αριθμών με το  για *L* από 1 έως 50, και έπραξε αναλόγως για τα  και . Αυτοί οι υπολογισμοί, με τους οποίους ασχολήθηκε 20 χρόνια, του επέτρεψαν να βρίσκει, για οποιονδήποτε αριθμό *N* από 5 έως 10 εκατομμύρια, τον αριθμό *L* που λύνει την εξίσωση

:N=10^7 {(1-10^{-7})}^L. \,

Ο Νάπιερ ονόμασε αρχικά τον *L* «*τεχνητό αριθμό*», αλλά αργότερα εισήγαγε τον όρο «*λογάριθμος*» για να σημαίνει ένα αριθμό που δείχνει ένα λόγο, από τα ελληνικά *αριθμός* και *λόγος*. Σε σύγχρονο συμβολισμό, η σχέση με τους φυσικούς λογάριθμους είναι:

:L = \log_{(1-10^{-7})} \!\left( \frac{N}{10^7} \right) \approx 10^7 \log_{ \frac{1}{e}} \!\left( \frac{N}{10^7} \right) = -10^7 \log_e \!\left( \frac{N}{10^7} \right),

όπου η προσέγγιση αντιστοιχεί στην παρατήρηση ότι

:{(1-10^{-7})}^{10^7} \approx \frac{1}{e}.  \,

Η εφεύρεση διαδόθηκε γρήγορα και ευρέως γενόμενη δεκτή με επιδοκιμασία. Τα έργα των Μποναβεντούρα Καβαλιέρι (Ιταλία), Έντμουντ Γουίνγκειτ (*Edmund Wingate*, Γαλλία), *Xue Fengzuo* (Κίνα) και του Γιοχάνες Κέπλερ (*Chilias logarithmorum*, Γερμανία) βοήθησαν στη περεταίρω διάδοση της έννοιας του λογαρίθμου.

Η υπερβολή  (κόκκινη καμπύλη) και η επιφάνεια από ''x'' = 1 έως 6 (σκιασμένη με πορτοκαλί).|right|thumb

Το 1647 ο *[[Grégoire de Saint-Vincent]]* συσχέτισε τους λογάριθμους με τον τετραγωνισμό της υπερβολής, επισημαίνοντας ότι η επιφάνεια *f*(*t*) κάτω από την υπερβολή από  to  ικανοποιεί την σχέση

:f(tu) = f(t) + f(u).\,
Ο φυσικός λογάριθμος περιγράφηκε για πρώτη φορά από τον Νίκολας Μερκάτορ στο έργο του *Logarithmotechnia* που δημοσιεύτηκε το 1668, αν και ο δάσκαλος μαθηματικών *John Speidell* είχε ήδη από 1619 συνθέσει ένα πίνακα φυσικών λογαρίθμων. Γύρω στο 1730, ο Λέοναρντ Όιλερ όρισε την εκθετική συνάρτηση και τον φυσικό λογάριθμο ως

:e^x = \lim_{n \rightarrow \infty} (1+x/n)^n,
:\ln(x) = \lim_{n \rightarrow \infty} n(x^{1/n} - 1).
Ο Όιλερ έδειξε επίσης ότι οι δύο συναρτήσεις είναι αντίστροφες η μία της άλλης.

### Λογαριθμικοί πίνακες, λογαριθμικοί κανόνες και ιστορικές εφαρμογές

[thumb|360px|right|Επεξήγηση των λογαρίθμων στην ''[Encyclopædia Britannica* του 1797]]

Απλοποιώντας δύκολους υπολογισμούς, οι λογάριθμοι συνέβαλαν στην πρόοδο της επιστήμης, και ειδικότερα της [[αστρονομία]]ς. Ήταν κρίσιμοι για την προόδο στην [[τοπογραφία]], την [[αστρονομική ναυτιλία]] και άλλα πεδία. Ο [[Πιέρ Σιμόν Λαπλάς]] ονόμασε του λογάριθμους

<blockquote>
<p>ένα θαυμαστό κατασκεύασμα το οποίο, μειώνοντας σε λίγες μέρες τον χρόνο δουλειάς πολλών μηνών, διπλασιάζει την ζωή του αστρονόμου και τον γλυτώνει από τα λάθη και την αηδία που είναι αχώριστα κομμάτια των μεγάλων υπολογισμών.</p>
</blockquote>

Ένα κομβικό εργαλείο που επέτρεψε στην πράξη την χρήση των λογαρίθμων πριν τα κομπιουτεράκια και τους υπολογιστές ήταν ο *πίνακας λογαρίθμων*. Ο πρώτος τέτοιος πίνακας συντέθηκε από τον [[Χένρι Μπριγκς]] το 1617, αμέσως μετά την εφεύρεση του Νάπιερ. Εν συνεχεία γράφτηκαν πίνακες με ευρύτερο πεδίο και μεγαλύτερη ακρίβεια. Αυτοί οι πίνακες είχαν τιμές του log<sub>*b*</sub>(*x*) και του *b*<sup>*x*</sup> για κάθε *x* σε ένα συγκεκριμένο εύρος, με συγκεκριμένη ακρίβεια, και συγκεκριμένη βάση *b* (συνήθως *b* = 10). Για παράδειγμα, ο πρώτος πίνακας του Μπριγκς περιείχε τους κοινούς λογάριθμους όλως των ακεραίων στο εύρος 1–1000, με ακρίβεια 8 ψηφίων. Καθώς η συνάρτηση  είναι η αντίστροφη του log<sub>*b*</sub>(*x*), ονομάστηκε αντιλογάριθμος. Το γινόμενο και το πηλίκο δύο θετικών αριθμών *c* και *d* υπολογίζονταν ως το άθρισμα και η διαφορά των λογαρίθμων τους. Το γινόμενο *cd* ή το πηλίκο *c*/*d* βρίσκονταν ψάχνοντας το άθρισμα ή την διαφορά, επίσης από τον ίδιο πίνακα:

:<math> c d = b^{\log_b (c)} \ b^{\log_b (d)} = b^{\log_b (c) + \log_b (d)} \,</math>
και
:<math>\frac c d = c d^{-1} = b^{\log_b (c) - \log_b (d)}. \,</math>

Για υπολογισμούς στο χέρι που απαιτούν κάποια ακρίβεια, το ψάξιμο των δύο λογαρίθμων στον πίνακα, ο υπολογισμός του αθρίσματος ή της διαφοράς, και η εύρεση του αντιλογαρίθμου είναι πολύ γρηγορότερη υπόθεση από το να εκτελεστεί ο παλλαπλασιασμός με πρώιμες μεθόδους όπως η [[προσθαφαίρεση]], η οποία βασίζεται σε [[τριγωνομετρικές ταυτότητες]]. Οι υπολογισμοί δυνάμεων και [[νιοστή ρίζα|ριζών]] ανάγονται σε πολλαπλασιασμούς και διαιρέσεις όπως

:<math>c^d =  b^{d \log_b (c)} \,</math>
και
:<math>\sqrt[d]{c} = c^{\frac 1 d} = b^{\frac{1}{d} \log_b (c)}. \,</math>

Πολλοί λογαριθμικοί πίνακες δίνουν λογάριθμους παρέχοντας ξεχωριστά το ακέραιο λογαριθμικό (χαρακτηριστικό) και το δεκαδικό λογαριθμικό (*mantissa*) μέρος του *x*. Το χαρακτηριστικό του  είναι ένα συν το χαρακτηριστικό του *x*,  ενώ το δεκαδικό μέρος είναι το ίδιο. Αυτό επεκτείνει το εύρος των λογαριθμικών πινάκων: δεδομένου ενός πίνακα που έχει τα log<sub>10</sub>(*x*) για ακέραιους από 1 έως 1000, ο λογάριθμος του 3542 προσεγγίζεται ως

:<math>\log_{10}(3542) = \log_{10}(10\cdot 354.2) = 1 + \log_{10}(354.2) \approx 1 + \log_{10}(354). \, </math>

Μία ακόμα σημαντική εφαρμογή ήταν ο [[λογαριθμικός κανόνας]], ένα ζεύγος λογαριθμικώς χωρισμένων κλιμάκων όπως φαίνεται εδώ:

[[Αρχείο:Slide rule example2 with labels.svg|center|thumb|550px|Σχηματική απεικόνιση του λογαριθμικού κανόνα. Ξεκινώντας από το 2 στην κάτω κλίμακα, προσθέτωντας το 3 της πάνω κλίμακας υπολογίζεται το γινόμενο 6. Ο λογαριθμικός κανόνας δουλεύει επειδή είναι σημειωμένος έτσι ώστε η απόσταση από το 1 στο *x* να είναι ανάλογη του λογάριθμου του *x*.]]

Η μή κινούμενη λογαριθμική κλίμακα, ο [[κανόνας του Gunter]], εφευρέθηκε λίγο μετά την εφεύρεση του Νάπιερ. Ο *William Oughtred* τον χρησιμοποίησε για να κατασκευάσει τον κινούμενο κανόνα, ένα ζεύγος λογαριθμικών κλιμάκων που κινούνται η μία ως προς την άλλη. Οι αριθμοί τοποθετούνται σε αποστάσεις ανάλογες των διαφορών των λογαρίθμων τους. Κινώντας τη άνω κλίμακα προκύπτει μηχανική άθροιση των λογαρίθμων. Για παράδειγμα, προσθέτωντας την απόσταση από το 1 στο 2 στην κάτω κλίμακα με την απόσταση από το 1 στο 3 στην πάνω κλίμακα δίνει το γινόμενο 6, το οποίο διαβάζεται στο κάτω μέρος. Ο λογαριθμικός κανόνας ήταν απαραίτητο εργαλείο υπολογισμών για μηχανικούς και επιστήμονες μέχρι την δεκαετία του 1970, επειδή επιτρέπει, με το κόστος της μικρότερης ακρίβειας, πολύ ταχύτερους υπολογισμούς από ότι τεχνικές με βάση πίνακες.

== Αναλυτικές ιδιότητες ==
Η βαθύτερη μελέτη των λογαρίθμων απαιτεί την έννοια της *συνάρτησης*. Η συνάρτηση είναι ένας κανόνας ο οποίος, δεδομένου ενός αριθμού, παράγει ένα άλλο μοναδικό αριθμό. Ένα παράδειγμα είναι η συνάρτηση που παράγει την  δύναμη *b* από οποιονδήποτε πραγματικό αριθμό *x*, όπου η [[βάση (μαθηματικά)|βάση]] *b* είναι σταθερός αριθμός. Αυτή η συνάρτηση γράφεται

:<math>f(x) = b^x. \, </math>

=== Λογαριθμική συνάρτηση ===

Για να οριστεί ο λογάριθμος, είναι αναγκαίο να δειχτεί ότι η εξίσωση
:<math>b^x = y \,</math>
έχει λύση *x* και ότι αυτή η λύση είναι μοναδική, υπό τον όρο ότι το *y* είναι θετικό  και το *b* είναι θετικό και μη ίσο με τη μονάδα. Η απόδειξη αυτού απαιτεί το [[θεώρημα της ενδιάμεσης τιμής]] από τον στοιχειώδη [[λογισμό]]. Σύμφωνα με αυτό το θεώρημα μία [[συνεχής συνάρτηση]] η οποία έχει τιμές *m* και *n* έχει επίσης τιμές μεταξύ των *m* και *n*. Μία συνάρτηση είναι *συνεχής* όταν δεν παρουσιάζει άλματα στη γραφική της παράσταση.

Αυτή η ιδιότητα μπορεί να δειχτεί ότι ισχύει για τη συνάρτηση *f*(*x*) = *b*<sup>*x*</sup>. Επειδή η *f* παίρνει τυχαία μεγάλες και μικρές θετικές τιμές, οποιοσδήποτε αριθμός  βρίσκεται μεταξύ του *f*(*x*<sub>0</sub>) και *f*(*x*<sub>1</sub>) για κατάλληλα  *x*<sub>0</sub> και *x*<sub>1</sub>. Συνεπώς, το θεώρημα ενδιάμεσης τιμής διασφαλίζει ότι η εξίσωση *f*(*x*) = *y* έχει λύση. Επιπροσθέτως, υπάρχει μόνο μία λύση για αυτή την εξίσωση, επειδή η *f* είναι [[μονότονη συνάρτηση|γνησίως αύξουσα]] (για ), ή γνησίως φθίνουσα (για ).

Η μοναδική λύση *x* είναι ο λογάριθμος του *y* με βάση *b*, log<sub>*b*</sub>(*y*). Η συνάρτηση η οποία αποδίδει τιμές στο *y* αποκαλείται *λογαριθμική συνάρτηση* ή *συνάρτηση λογαρίθμου* (ή απλά *λογάριθμος*).

=== Αντίστροφη συνάρτηση ===
[[Αρχείο:Logarithm inversefunctiontoexp.svg|right|thumb|Η γραφική παράσταση της λογαριθμικής παράστασης log<sub>*b*</sub>(*x*) (μπλε) υπολογίζεται από την [[ανάκλαση (μαθηματικά)|ανάκλαση]] της γραφικής παράστασης της συνάρτησης *b*<sup>*x*</sup> (κόκκινο) στην διαγώνια ευθεία (*x* = *y*).]]
Σύμφωνα με τον τύπο του λογαρίθμου μίας δύναμη, για οποιονδήποτε αριθμό *x*,
:<math>\log_b \left (b^x \right) = x \log_b(b) = x.</math>
Δηλαδή, παίρνοντας την  δύναμη του *b* και έπειτα τον λογάριθμο με βάση *b*, το αποτέλεσμα είναι *x*. Αντιστρόφως, δεδομένου ενός θετικού αριθμού *y*, ο τύπος
:<math>b^{\log_b(y)} = y</math>
δηλώνει ότι παίρνοντας τον λογάριθμο ενός αριθμό ώς προς *b* και μετά υψώνοντας την βάση στο αποτέλεσμα, προκύπτει ο ίδιος ο αριθμός. Κατα συνέπεια, οι δύο πιθανοί τρόποι [[σύνθεση (μαθηματικά)|σύνθεσης]] λογαρίθμων και ύψωσης σε δύναμη έχουν ως αποτέλεσμα των αρχικό αριθμό. Συνεπώς, ο λογάριθμος με βάση *b* είναι η [[αντίστροφη συνάρτηση]] της .

Οι αντίστροφες συναρτήσεις έχουν στενή σχέση με τις αρχικές συναρτήσεις. Οι [[Γραφική παράσταση συνάρτησης|γραφικές τους παραστάσεις]] μπορούν να βρεθούν, η μία από την άλλη, αλλάζοντας τις συντεταγμένες *x* με τις *y* (ή με ανάκλαση στην διαγώνια ευθεία *x* = *y*), όπως φαίνεται δεξιά: ένα σημείο (*t*, *u* = *b*<sup>*t*</sup>) στη γραφική παράσταση της *f* έχει τιμή (*u*, *t* = log<sub>*b*</sub>*u*) στο γράφημα του λογαρίθμου και αντίστροφα. Κατά συνέπεια, log<sub>*b*</sub>(*x*) τείνει στο άπειρο καθώς το *x* τείνει στο άπειρο, δεδομένου ότι το *b* είναι μεγαλύτερο από ένα. Σε αυτή την περίπτωση η log<sub>*b*</sub>(*x*) ειναι [[γνησίως αύξουσα συνάρτηση|γνησίως αύξουσα]]. Για , η log<sub>*b*</sub>(*x*) τείνει στο μείον άπειρο αντίστοιχα. Όταν το *x* τείνει στο μηδέν, η log<sub>*b*</sub>(*x*) τείνει στο μείον άπειρο για  (συν άπειρο για , αντίστοιχα).

=== Παράγωγος και αντιπαράγωγος ===
[[Αρχείο:Logarithm derivative.svg|right|thumb|220px|Η γραφική παράσταση του φυσικού λογαρίθμου (πράσινο) και η εφαπτομένη του στο  (μαύρο)]]
Οι αναλυτικές ιδιότητες των συναρτήσεων κληροδοτούνται στις αντίστροφές τους. Έτσι, καθώς η *f*(*x*) = *b*<sup>*x*</sup> είναι συνεχής και [[παραγωγίσιμη συνάρτηση]], έτσι είναι και η log<sub>*b*</sub>(*y*). Χοντρικά, μία συνεχής συνάρτηση είναι παραγωγίσιμη αν η γραφική της παράσταση δεν έχει «γωνίες». Επιπροσθέτως, καθώς η [[παράγωγος]] της *f*(*x*) ισούται με ln(*b*)*b*<sup>*x*</sup> σύμφωνα με τις ιδιότητες της [[εκθετική συνάρτηση|εκθετικής συνάρτησης]], σύμφωνα με τον [[Παράγωγος#Κανόνες παραγώγισης|κανόνα παραγώγισης σύνθετης συνάρτησης]] η παράγωγος του log<sub>*b*</sub>(*x*) δίνεται από τον τύπο
: <math>\frac{d}{dx} \log_b(x) = \frac{1}{x\ln(b)}. </math>
Τουτέστιν, η [[Κλίση συνάρτησης|κλίση]] της [[εφαπτομένη]]ς που εφάπτεται στη γραφική παράσταση του λογαρίθμου με βάση *b* στο σημείο  ισούται με . Πιο συγκεκριμένα, η παράγωγος του ln(*x*) είναι 1/*x*, το οποίο υποδηλώνει ότι η [[αντιπαράγωγος]] του 1/*x* είναι . Η παράγωγος με γενικευμένο όρισμα *f*(*x*) είναι
:<math>\frac{d}{dx} \ln(f(x)) = \frac{f'(x)}{f(x)}.</math>
Το πηλίκο στο δεξιό μέρος αποκαλείται [[λογαριθμική παράγωγος]] της *f*. Υπολογίζοντας το *f*(*x*) μέσω της παραγώγου ln(*f*(*x*)) είναι γνωστό ως [[λογαριθμική παραγώγιση]]. The antiderivative of the natural logarithm ln(*x*) is:
: <math>\int \ln(x) \,dx = x \ln(x) - x + C.</math>
Σχετικοί τύποι, όπως οι αντιπαράγωγοι λογαρίθμων με άλλες βάσεις μπορούν να προκύψουν από αυτή την εξίσωση με αλλαγή βάσεων.

=== Ολοκληρωτική αναπαράσταση του φυσικού λογαρίθμου ===
[[Αρχείο:Natural logarithm integral.svg|right|thumb|Ο φυσικός λογάριθμος του *t* είναι η σκιασμένη επιφάνεια κάτω από την γραφική παράσταση της συνάρτησης *f*(*x*) = 1/*x*.]]
Ο φυσικός λογάριθμος του *t* είναι ίσος με το [[ολοκλήρωμα]] του 1/*x*&nbsp;*dx* από το 1 στο *t*:
:<cite id=integral_naturallog><math>\ln (t) = \int_1^t \frac{1}{x} \, dx.</math></cite>
Με άλλα λόγια, το ln(*t*) ισούται με την επιφάνεια μεταξύ του άξονα των *x* και την γραφική παράσταση της συνάρτησης 1/*x*, επό το σημείο *x* = 1 έως το *x* = *t* (σχήμα στα δεξιά). Αυτό είναι συνέπεια του [[θεμελιώδες θεώρημα του λογισμού|θεμελιώδους θεωρήματος του λογισμού]] και του γεγονότος ότι η παράγωγος του ln(*x*) είναι 1/*x*. Το δεξί μέρος της εξίσωσης μπορεί να χρησιμοποιηθεί και ως ορισμός του φυσικού λογαρίθμου. Τύποι για γινόμενα και δυνάμεις λογαρίθμων μπορούν να προκύψουν από αυτόν τον ορισμό. Για παράδειγμα, ο τύπος για το γινόμενο  ln(*tu*) = ln(*t*) + ln(*u*) μπορεί να προκύψει:

:<math> \ln(tu) = \int_1^{tu} \frac{1}{x} \, dx \ \stackrel {(1)} = \int_1^{t} \frac{1}{x} \, dx + \int_t^{tu} \frac{1}{x} \, dx \ \stackrel {(2)} = \ln(t) + \int_1^u \frac{1}{w} \, dw = \ln(t) + \ln(u).</math>

Η εξίσωση (1) χωρίζει το ολοκλήρωμα σε δύο μέρη, ενώ στην εξίσωση (2) γίνεται αλλαγή μεταβλητής (*w* = *x*/*t*). Στο σχήμα παρακάτω, ο χωρισμός αντιστοιχεί στη διαίρεση της επιφάνειας στο κίτρινο και το μπλε τμήμα. Μειώνοντας την οριζόντια και την κατακόρυφη κλίμακα κατά τον ίδιο παράγοντα *t* δεν αλλάζει το μέγεθος. Μετακινώντας την κατάλληλα, η επιφάνεια ταιριάζει ξανά στη γραφική παράσταση της συνάρτησης *f*(*x*) = 1/*x*. Κατά συνέπεια, η αριστερή μπλε επιφάνεια η οποία είναι το ολοκλήρωμα της *f*(*x*) από το *t* στο *tu* είναι η ίδια με το ολοκλήρωμα από το *1* στο *u*.

[[Αρχείο:Natural logarithm product formula proven geometrically.svg|thumb|center|500px|Οπτικοποιημένη απόδειξη του τύπου του γινομένου για τον φυσικό λογάριθμο.]]

Ο τύπος της δύναμης ln(*t*<sup>*r*</sup>) = *r* ln(*t*) μπορεί να προκύψει με παρόμοιο τρόπο:

:<math>
\ln(t^r) = \int_1^{t^r} \frac{1}{x}dx = \int_1^t \frac{1}{w^r} \left(rw^{r - 1} \, dw\right) = r \int_1^t \frac{1}{w} \, dw = r \ln(t).
</math>
Η δεύτερη εξίσωση κάνει χρήση μίας αλλαγής μεταβλητών ([[ολοκλήρωση με αντικατάσταση]]),*w* := *x*<sup>1/*r*</sup>.
Το άθροισμα των αντίστροφων των φυσικών αριθμών,
:<math>1 + \frac 1 2 + \frac 1  3 + \cdots + \frac 1 n = \sum_{k=1}^n \frac{1}{k},</math>
ονομάζεται [[αρμονική σειρά]]. Είναι στενά συνδεμένη με τον φυσικό λογάριθμο: καθώς το *n* τείνει στο [[άπειρο]], η διαφορά,
:<math>\sum_{k=1}^n \frac{1}{k} - \ln(n),</math>
[[Όριο ακολουθίας|συγκλίνει]] σε ένα αριθμό γνωστό ως [[σταθερά Euler-Mascheroni]]. Αυτή η σχέση βοηθά στην ανάλυση της απόδοσης αλγορίθμων όπως ο [[quicksort]].

== Υπολογισμός ==
Οι λογάριθμοι είναι εύκολο να υπολογιστούν σε κάποιες περιπτώσεις, όπως για παράδειγμα log<sub>10</sub>(10,000) = 4. Εν γένει μπορούν να υπολογιστούν με χρήση [[δυναμοσειρά|δυναμοσειρών]] ή του [[αριθμητικός-γεωμετρικός μέσος|αριθμητικού-γεωμετρικού μέσου]] ή να παρθούν από προϋπολογισμένο [[λογαριθμικός πίνακας|λογαριθμικό πίνακα]] με δεδομένη ακρίβεια. Επιπλέον, ο [[αλγόριθμος δυαδικού λογαρίθμου]] υπολογίζει το lb(*x*) [[αναδρομή|αναδρομικά]] με βάση επαναλαμβανόμενους τετραγωνισμούς του *x*, κάνοντας χρήση της σχέσης
:<math>\log_2(x^2) = 2 \log_2 (x). \,</math>
Η [[Μέθοδος Newton]], μία επαναληπτική μέθοδος προσεγγιστικής επίλυσης εξισώσεων, μπορεί επίσης να χρησιμοποιηθεί για τον υπολογισμό του λογάριθμου, επειδή η αντίστροφη συνάρτηση, η εκθετική συνάρτηση, μπορεί να υπολογιστεί αποδοτικά.

Από θεωρητική άποψη, σύμφωνα με το [[θεώρημα Gelfond-Schneider]], οι λογάριθμοι συνήθως παίρνουν «δύσκολες» τιμές. Η τυπική διατύπωση βασίζεται στην έννοια των [[αλγεβρικοί αριθμοί|αλγεβρικών αριθμών]], οι οποίοι περιλαμβάνουν όλους τους [[ρητοί αριθμοί|ρητούς αριθμούς]], αλλά και αριθμούς όπως η [[τετραγωνική ρίζα του 2]] ή ο 
:<math>\sqrt{-5+\sqrt[3]{3 / 13}}.</math>
Οι [[μιγαδικοί αριθμοί]] οι οποίοι δεν είναι αλγεβρικοί αποκαλούνται [[υπερβατικοί αριθμοί]], για παράδειγμα το π και το *e* είναι τέτοιοι αριθμοί. [[Σχεδόν όλοι]] οι μιγαδικοί αριθμοί είναι υπερβατικοί. Με βάση αυτά, σύμφωνα με το θεώρημα Gelfond–Scheider δεδομένων δύο αλγεβρικών αριθμών *a* και *b*, ο log<sub>*b*</sub>(*a*) είναι είτε υπερβατικός είτε ρητός αριθμός *p* / *q* (στην οποία περίπτωση *a*<sup>*q*</sup> = *b*<sup>*p*</sup>, έτσι *a* και *b* είχαν εξαρχής στενή σχέση).

=== Δυναμοσειρές ===
;Σειρά Taylor

[[Αρχείο:Taylor approximation of natural logarithm.gif|right|thumb|Η σειρά Taylor του&nbsp;ln(*z*) στο&nbsp;*z*&nbsp;=&nbsp;1. Η εικόνα δείχνει τις πρώτες 10 προσεγγίσεις.]]
Για οποιονδήποτε πραγματικό αριθμό *z* που ικανοποιεί το , ισχύει ο ακόλουθος τύπος:
:<math>
\ln (z)  = (z-1) - \frac{(z-1)^2}{2} + \frac{(z-1)^3}{3} - \frac{(z-1)^4}{4} + \cdots
</math>
Το οποίο είναι συνομογραφία της διατύπωσης ότι ο ln(*z*) μπορεί να προσεγγιστεί με ολοένα μεγαλύτερη ακρίβεια καθώς προσθέτουμε διαδοχικά όρους από την ακολουθία:
:<math>a_n=\frac{(z-1)^n}{n}</math>

Για παράδειγμα, η τρίτη προσέγγιση με  δίνει 0.4167, περίπου 0.011 παραπάνω από το . Έτσι το ln(*z*) μπορεί να προσεγγιστεί με οποιαδήποτε ακρίβεια, δεδομένου ότι ο αριθμός των προσθετέων είναι μεγάλος αρκετά. Στον στοιχειώδη λογισμό, το ln(*z*) συνεπώς αποκαλείται το [[όριο (μαθηματικά)|όριο]] αυτής της [[σειρά (μαθηματικά)|σειράς]] αθρισμάτων. Είναι η [[σειρά Taylor]] του φυσικού λογάριθμου στο *z* = 1.

;Πιο αποδοτικές σειρές
Μια άλλη σειρά είναι:
:<math>
\ln (z) = 2 \left ( \frac{z-1}{z+1} + \frac{1}{3}{\left(\frac{z-1}{z+1}\right)}^3 + \frac{1}{5}{\left(\frac{z-1}{z+1}\right)}^5 + \cdots \right ),
</math>
για μιγαδικούς αριθμούς *z* με θετικό [[πραγματικό μέρος]]. Χρησιμοποιόντας τον [[Συμβολισμός Σίγμα|συμβολισμό Σίγμα]] μπορεί να γραφτεί και ως
:<math>\ln (z) = 2\sum_{n=0}^\infty\frac{1}{2n+1}\left(\frac{z-1}{z+1}\right)^{2n+1}.</math>
Αυτή η σειρά μπορεί να προκύψει από την παραπάνω σειρά Taylor. Συγκλίνει πιο γρήγορα από την σειρά Taylor, ειδικά αν το *z* είναι κοντά στο 1. Για παράδειγμα για *z* = 1.5, ο πρώτοι τρεις όροι της δεύτερης σειράς προσεγγίζουν το ln(1.5) με σφάλμα περίπου 3×10<sup>−6</sup>. Αυτή η γρήγορη σύγκλιση για *z* κοντά στο 1 μπορεί να χρησιμοποιηθεί με τον ακόλουθο τρόπο: δεδομένης μίας μικρής ακρίβειας προσέγγισης  και θέτοντας
:<math>A = \frac z{\exp(y)}, \,</math>
ο λογάριθμος του *z* είναι:
:<math>\ln (z)=y+\ln (A). \,</math>
Όσο καλύτερη είναι η αρχική προσέγγιση του *y*, τόσο πιο κοντά στο 1 είναι το *A*, έτσι ο λογάριθμός του μπορεί να υπολογιστεί αποδοτικά. Το *A* μπορεί να υπολογιστεί χρησιμοποιώντας την [[εκθετική συνάρτηση|εκθετική σειρά]], η οποία συγκλίνει γρήγορα υπό τον όρο ότι το *y* δεν είναι πολύ μεγάλο. Ο υπολογισμός λογάριθμων μεγαλύτερων *z* μπορεί να αναχθεί σε μικρότερες τιμές του *z* γράφοντας , έτσι ώστε .

Με παρόμοια μέθοδος μπορεί να χρησιμοποιηθεί για τον υπολογισμό λογαρίθμων ακεραίων. Από την παραπάνω σειρά, προκύπτει ότι:
:<math>\ln (n+1) = \ln(n) + 2\sum_{k=0}^\infty\frac{1}{2k+1}\left(\frac{1}{2 n+1}\right)^{2k+1}.</math>
Αν ο λογάριθμος ενός μεγάλου ακεραίου n είναι γνωστός, τότε αυτή η σειρά μπορεί να αποδώσει μία ταχέως συγκλίνουσα σειρά για το log(n+1).

=== Προσέγγιση με τον αριθμητικό-γεωμετρικό μέσο ===
Ο [[αριθμητικός-γεωμετρικός μέσος]] αποδίδει υψηλής ακρίβειας προσεγγίσεις του φυσικού λογαρίθμου. Το ln(*x*) προσεγγίζεται με ακρίβεια 2<sup>−*p*</sup> (ή *p* δυαδικών ψηφίων) από τον ακόλουθο τύπο του [[Καρλ Φρίντριχ Γκάους]]:

:<math>\ln (x) \approx \frac{\pi}{2 M(1,2^{2-m}/x)} - m \ln (2).</math>

Εδώ το *M* είναι ο αριθμητικός-γεωμετρικός μέσος. υπολογίζεται από τον επαναληπτικό υπολογισμό του μέσου ([[αριθμητικός μέσος]]) και της τετραγωνικής ρίζας του γινομένου των δύο αριθμών ([[γεωμετρικός μέσος]]). Επιπλέον, το *m* επιλέγεται ώστε

:<math>x \,2^m > 2^{p/2}.\, </math>

Και ο αριθμητικός-γεωμετρικός μέσος και οι σταθερές π και ln(2) μπορούν να υπολογιστούν από ταχέως συγκλίνουσες σειρές.

== Εφαρμογές ==
[[Αρχείο:NautilusCutawayLogarithmicSpiral.jpg|thumb|right|Ένας ναυτίλος που εμφανίζει λογαριθμική σπείρα]]
Οι λογάριθμοι έχουν πολλές εφαρμογές εντός και εκτός των μαθηματικών. Κάποιες χρήσεις τους έχουν σχέση με την έννοια της [[ανεξαρτησία κλίμακας|ανεξαρτησίας κλίμακας]]. Για παράδειγμα, κάθε τμήμα του όστρακου ενός [[Ναυτίλος (ζωολογία)|ναυτίλου]] είναι σχεδόν αντίγραφο του επόμενου, κλιμακωμένο κατά ένα σταθερό παράγοντα. Έτσι δημιουργείται [[λογαριθμική σπείρα]]. Ο [[νόμος του Benford]] για την κατανομή των πρώτων ψηφίων δεδομένων μπορεί επίσης να εξηγηθεί από την ανεξαρτησία κλίμακας. Οι λογάριθμοι συνδέονται και με την [[αυτοομοιότητα]]. Για παράδειγμα, οι λογάριθμοι εμφανίζονται στην ανάλυση αλγορίθμων που λύνουν ένα πρόβλημα χωρίζοντάς το σε δύο παρόμοια μικρότερα προβλήματα κάνοντας επαλληλία στις λύσεις. Οι διαστάσεις των αυτοόμοιων γεωμετρικών σχημάτων, δηλαδή τα σχήματα των οποίων τα μέρη μοιάζουν με το σύνολο βασίζονται επίσης σε λογάριθμους. Οι [[λογαριθμική κλίμακα|λογαριθμικές κλίμακες]] είναι χρήσιμες για την ποσοτικοποίηση των σχετικών αλλαγών μίας τιμής αντί για τις απόλυτες διαφορές. Επιπροσθέτως, επειδή η λογαριθμική συνάρτηση log(*x*) αυξάνεται πολύ αργά για μεγάλα *x*, οι λογαριθμικές κλίμακες χρησιμοποιούνται για την συμπίεση μεγάλης κλίμακας επιστημονικών δεδομένων. Οι λογάριθμοι εμφανίζονται και σε πάρα πολλούς επιστημονικούς τύπους, όπως για παράδειγμα η [[πυραυλική εξίσωση Tsiolkovsky]], η [[εξίσωση Fenske]] και η [[εξίσωση Nernst]].

=== Λογαριθμική κλίμακα ===
[[Αρχείο:Germany Hyperinflation.svg|right|thumb|Λογαριθμικό διάγραμμα που απεικονίζει την τιμή του γερμανικού *Goldmark* σε *Papiermark* κατά τον υπερπληθωρισμό της δεκαετίας του 1920]]

Οι επιστημονικές ποσότητες συχνά εκφράζονται ως λογάριθμοι άλλων ποσοτήτων, χρησιμοποιώντας μία λογαριθμική κλίμακα. Για παράδειγμα, το [[ντεσιμπέλ]] είναι λογαριθμική μονάδα μέτρησης. Βασίζεται στον κοινό λογάριθμο [[Λόγος (μαθηματικά)|λόγων]]—10 φορές ο κοινός λογάριθμος ενός λόγου [[Ισχύς|ισχύος]] ή 20 φορές ο κοινός λογάριθμος του λόγου [[Διαφορά δυναμικού|διαφοράς δυναμικού]]. Χρησιμοποιείται για να ποσοτικοποιήσει την απώλεια τάσης στη μετάδοση ηλεκτρικών σημάτων, για να περιγράψει επίπεδα ισχύος των ήχων στην [[ακουστική]], και την [[απορρόφηση]] φωτός στα πεδία της [[φασματοσκοπία]]ς και της [[οπτική]]ς. Ο [[λόγος σήματος προς θόρυβο]] που περιγράφει την ποσότητα του ανεπιθύμητου [[θόρυβος (ηλεκτρονική)|θορύβου]] σε σχέση με ένα [[σήμα (ηλεκτρονική)|σήμα]] επίσης μετριέται σε ντεσιμπέλ. Κατά παρόμοιο τρόπο, ο [[PSNR|λόγος αιχμής σήματος προς θόρυβο]] χρησιμοποιείται συχνά για την αποτίμηση της ποιότητας του ήχου και των μεθόδων [[συμπίεση εικόνας|συμπίεσης εικόνας]] κάνοντας χρήση του λογάριθμου.

Η ισχύς ενός σεισμού μετριέται λαμβάνοντας τον κοινό λογάριθμο της ενέργειας που ελευθερώνεται κατά την δόνηση. Αυτό χρησιμοποιείται στην [[κλίμακα μεγέθους ροπής]] ή την [[κλίμακα Ρίχτερ]]. Για παράδειγμα ένας σεισμός μεγέθους 5.0 απελευθερώνει 10 φορές και ένας μεγέθους 6.0 100 φορές την ενέργεια ενός σεισμού μεγέθους 4.0. Μία άλλη λογαριθμική κλίμακα είναι το [[φαινόμενο μέγεθος]]. Μετράει την λαμπρότητα των αστέρων λογαριθμικά. Ακόμα ένα παράδειγμα είναι το [[pH]] στη [[χημεία]], το pH είναι ο αρνητικός κοινός λογάριθμος της [[ενεργότητα]]ς των ιόντων [[υδροξώνιο|υδροξωνίου]] (η μορφή που παίρουν τα [[ιόν]]τα [[υδρογόνο]]υ H<sup>+</sup> στο νερό). Η ενεργότητα των ιόντων υδροξωνίου στο ουδέτερο νερό είναι  10<sup>−7</sup>&nbsp;[[Γραμμομοριακότητα κατ΄ όγκο|mol·L<sup>−1</sup>]], έτσι το pH είναι 7. Το ξύδι τυπικά έχει pH περίπου 3. Η διαφορά 4 με το ουδέτερο νερό αντιστοιχεί σε διαφορά 10<sup>4</sup> στη ενεργότητα, δηλαδή η ενεργότητα των ιόντων υδροξωνίου στο ξύδι είναι περίπου 10<sup>−3</sup>&nbsp;mol·L<sup>−1</sup>.

Τα [[ημιλογαριθμικό γράφημα|ημιλογαριθμικά]] γραφήματα κάνουν χρήση της λογαριθμικής κλίμακας για οπτικοποίηση, όπου ένας άξονας, τυπικά ο κατακόρυφος, είναι σε λογαριθμική κλίμακα. Για παράδειγμα το γράφημα στα αριστερά, συμπιέζει την μεγάλη αύξηση από το 1 εκατομμύριο στο 1 τρισεκατομμύριο στον ίδιο χώρο (στον κατακόρυφο άξονα) με την αύξηση από το 1 στο 1 εκατομμύριο. Σε τέτοιου είδους γραφήματα, οι [[εκθετική συνάρτηση|εκθετικές συναρτήσεις]] του τύπου *f*(*x*) = *a* · *b*<sup>*x*</sup> εμφανίζονται ως ευθείες γραμμές με [[Κλίση συνάρτησης|κλίση]] ανάλογη του *b*. Σε γραφήματα με λογαριθμική κλίμακα και στους δύο άξονες, συναρτήσεις του τύπου *f*(*x*) = *a* · *x*<sup>*k*</sup> αναπαρίστανται ως ευθείες με κλίση ανάλογη του εκθέτη *k*. Αυτό έχει εφαρμογή στην οπτικοποίηση και ανάλυση [[εκθετικός νόμος|εκθετικών νόμων]].

=== Ψυχολογία ===
Οι λογάριθμοι εμφανίζονται σε διάφορους νόμους που περιγράφουν την [[ανθρώπινη αντίληψη]]: Ο [[νόμος του Χικ]] προτείνει λογαριθμική σχέση μεταξύ του χρόνου που χρειάζεται ένα άτομο για την επιλογή μίας απόφασης και του αριθμού των επιλογών που έχει. Ο [[νόμος του Φιτ]] προβλέπει ότι ο χρόνος που απαιτείται για ταχεία κίνηση σε μία περιοχή στόχο είναι λογαριθμική συνάρτηση της απόστασης και του μεγέθους του στόχου. Στην [[ψυχοφυσική]], ο [[νόμος Βέμπερ-Φέχνερ]] προτείνει λογαριθμική σχέση μεταξύ του [[ερέθισμα (ψυχολογία)|ερεθίσματος]] και της [[αίσθηση (ψυχολογία)|αίσθησης]] όπως για παράδειγμα το πραγματικό και το φαινόμενο βάρος ενός αντικειμένου που κουβαλάει ένα άτομο. (Αυτός ο «νόμος» ωστόσο είναι λιγότερο ακριβής από νεότερα μοντέλα όπως ο [[εκθετικός νόμος του Stevens]].)

Ψυχολογικές μελέτες έχουν διαπιστώσει ότι μαθηματικώς ακαλλιέργητα άτομα τείνουν να εκτιμούν τις ποσότητες λογαριθμικά, δηλαδή τοποθετούν ένα αριθμό σε μία αβαθμονόμητη γραμμή στον λογάριθμό του, έτσι ώστε το 10 τοποθετείται τόσο κοντά στο 20 όσο το 100 στο 200. Η αύξηση της μαθηματικής κατανόησης μετατοπίζει αυτή την συμπεριφορά προς την γραμμική εκτίμμηση.

=== Θεωρία πιθανοτήτων και στατιστική ===
[[Αρχείο:Some log-normal distributions.svg|thumb|right| Τρεις [[Συνάρτηση πυκνότητας πιθανότητας|συναρτήσεις πυκνότητας πιθανότητας]] τυχαίων μεταβλητών με  λογαριθμοκανονική κατανομή.  Η παράμετρος μ, η οποία είναι μηδέν για όλες τις συναρτήσεις πυκνότητας του παραδείγματος, είναι ο μέσος του λογάριθμου της τυχαίας μεταβλητής, όχι ο μέσος της μεταβλητής αυτής καθεαυτής.]]

[[Αρχείο:Benfords law illustrated by world's countries population.png|Κατανομή των πρώτων ψηφίων (σε %, κόκκινες στήλες) στον πληθυσμό των 237 χωρών του κόσμου. Οι μαύρες βούλες υποδεικνύουν την κατανομή που προβλέφθηκε από τον νόμο του Benford.|thumb|right]]

Οι λογάριθμοι εμφανίζονται και στην [[θεωρία πιθανοτήτων]]: σύμφωνα με τον [[νόμος των μεγάλων αριθμών|νόμο των μεγάλων αριθμών]], για ένα [[δίκαιο νόμισμα]] , καθώς ο αριθμός που ρίχνεται το νόμισμα τείνει στο άπειρο, η παρατηρούμενη αναλογία των «κεφαλών» τείνει στο μισό. Οι αυξομειώσεις αυτής της αναλογίας γύρω από το μισό περιγράφονται από τον [[νόμο του επαναλαμβανόμενου λογάριθμου]].

Οι λογάριθμοι εμφανίζονται επίσης στις [[λογαριθμοκανονική κατανομή|λογαριθμοκανονικές κατανομές]]. Όταν ο λογάριθμος μίας [[τυχαία μεταβλητή|τυχαίας μεταβλητής]] έχει [[κανονική κατανομή]], τότε λέγεται ότι η μεταβλητική έχει λογαριθμοκανονική κατανομή. Οι λογαριθμοκανονικές κατανομές εμφανίζονται σε πολλά πεδία, οπουδήποτε η μεταβλητή σχηματίζεται ως γινόμενο πολλών ανεξάρτητων θετικών τυχαίων μεταβλητών, όπως για παράδειγμα στη μελέτη της τύρβης.

Οι λογάριθμοι χρησιμοποιούνται για την [[εκτίμηση μέγιστης πιθανοφάνειας]] παραμετρικών [[στατιστικό μοντέλο|στατιστικών μοντέλων]]. Για ένα τέτοιο μοντέλο, η [[συνάρτηση πιθανοφάνειας]] (*likelihood function*) εξαρτάται από τουλάχιστον μία [[παραμετρικό μοντέλο|παράμετρο]] που χρειάζεται να εκτιμηθεί. Ένα μέγιστο για τη συνάρτηση πιθανοφάνειας εμφανίζεται στην ίδια παράμετρο-τιμή όπως και στο μέγιστο του λογάριθμου της πιθανοφάνειας (λογαριθμο-πιθανοφάνεια), επειδή ο λογάριθμος είναι αύξουσα συνάρτηση.Η λογαριθμο-πιθανοφάνεια είναι ευκολότερο να μεγιστοποιηθεί, ειδικότερα για τις πολλαπλασιασμένες πιθανοφάνεις [[ανεξαρτησία (πιθανότητα)|ανεξάρτητων]] τυχαίων μεταβλητών.

Ο [[νόμος του Benford]] περιγράφει την εμφάνιση ψηφίων σε πολλά [[σύνολο δεδομένων|σύνολα δεδομένων]], όπως για παράδειγμα τα ύψη κτηρίων. Σύμφωνα με τον νόμο του Benford, η πιθανότητα το πρώτο ψηφίο (στο δεκαδικό σύστημα) ενός αντικειμένου στο δείγμα δεδομένων να είναι *d* (από 1 έως 9) ισούται με log<sub>10</sub>(*d* + 1) − log<sub>10</sub>(*d*), ανεξαρτήτως της μονάδας μέτρησης. Συνεπώς, περίπου το 30% των δεδομένων αναμένεται να έχει πρώτο ψηφίο το 1, το 18% να ξεκινά με 2, κτλ. Οι εξεταστές λογιστικών βιβλίων εξετάζουν αποκλίσεις από τον νόμο του Benford ώστε να ανακαλύψουν λογιστικές απάτες.

=== Υπολογιστική πολυπλοκότητα ===

Η [[ανάλυση αλγορίθμων]] είναι κλάδος της [[επιστήμη υπολογιστών|επιστήμης υπολογιστών]] που μελετά την απόδοση [[αλγόριθμος|αλγορίθμων]]. Οι λογάριθμοι είναι πολύτιμοι για την περιγραφή αλγόριθμων οι οποίοι [[Διαίρει και βασίλευε (υπολογιστές)|χωρίζουν ένα πρόβλημα]] σε μικρότερα, και έπειτα συνδυάζονται οι λύσει των υποπροβλημάτων.

Για παράδειγμα, για την εύρεση ενός αριθμού σε ένα ταξινομημένο κατάλογο, ο [[Δυαδική αναζήτηση|αλγόριθμος δυαδικής αναζήτησης]] ελέγχει τη μεσαία καταχώρηση και προχωρά με τον μισό κατάλογο πριν ή μετά το μεσαίο αν ο αριθμός δεν έχει ακόμα βρεθεί. Αυτός ο αλγόριθμος απαιτεί, κατά μέσο όρο, log<sub>2</sub>(*N*) συγκρίσεις, όπου *N* είναι το μήκος του καταλόγου. Παρομοίως, ο αλγόριθμος [[Ταξινόμηση με συγχώνευση|merge sort]] ταξινομεί ένα αταξινόμητο κατάλογο χωρίζοντάς τον στη μέση και ταξινομώντας πρώτα τα μισά πριν συνδυάσει τα αποτελέσματα. Οι αλγόριθμοι merge sort τυπικά απαιτούν χρόνο [[συμβολισμός O|περίπου ανάλογο του]] . Η βάση του λογάριθμου δεν καθορίζεται εδώ επειδή το αποτέλεσμα αλλάζει μόνο κατά ένα σταθερό παράγοντα όταν χρησιμοποιείται άλλη βάση. Ένας σταθερός παράγοντας, συνήθως δεν λαμβάνεται υπόψη στην ανάλυση αλγορίθμων υπό το τυπικό μοντέλο ομοιόμορφου κόστους.

Μία συνάρτηση *f*(*x*) λέγεται ότι [[λογαριθμική αύξηση|αυξάνεται λογαριθμικά]] αν η *f*(*x*) είναι (ακριβώς ή προσεγγιστικά) ανάλογη του λογαρίθμου του *x*. (Οι βιολογικές περιγραφές της ανάπτυξης οργανισμών, ωστόσο, χρησιμοποιούν αυτό τον όρο για εκθετικές συναρτήσεις.) Για παράδειγμα, οποιοσδήποτε [[φυσικός αριθμός]] *N* μπορεί να αναπαρασταθεί σε [[Δυαδικό σύστημα|δυαδική μορφή]] σε όχι παραπάνω από  [[bit]]. Με άλλα λόγια, το ποσό της [[Μνήμη υπολογιστή|μνήμης]] που απαιτείται για την αποθήκευση του *N* αυξάνεται λογαριθμικά με το *N*.

=== Εντροπία και χάος ===
[[Αρχείο:Chaotic Bunimovich stadium.png|right|thumb|Δύο σωματίδια που ξεκινούν από το κέντρο ενός οβάλ τραπεζιού μπιλιάρδου με διαφορά μίας μοίρας στην γωνία, ακολουθούν τροχιές που αποκλείνουν χαοτικά εξαιτίας της ανάκλασης στο όριο.]]

Η [[εντροπία]] είναι χοντρικά μέτρο της αταξίας κάποιου συστήματος. Στην [[στατιστική θερμοδυναμική]], η εντροπία *S* ενός φυσικού συστήματος ορίζεται ως
:<math> S = - k \sum_i p_i \ln(p_i).\, </math>
Το άθροισμα αφορά όλες τις πιθανές καταστάσεις *i* του υπό εξέταση συστήματος, όπως οι θέσεις των σωματιδίων αερίου σε ένα δοχείο. Επιπλέον, *p*<sub>*i*</sub> είναι η πιθανότητα ότι έχει επιτευχθεί η κατάσταση *i* και *k* είναι η [[σταθερά Boltzmann]]. Παρομοίως, η [[εντροπία (θεωρία πληροφοριών)|εντροπία στη θεωρία πληροφοριών]] μετράει την ποσότητα της πληροφορίας/ Αν ένας αποδέκτης μηνύματος αναμένει οποιοδήποτε από τα *N* πιθανά μηνύματα με την ίδια πιθανότητα, τότε η ποσότητα πληροφορίας που μεταβιβάζεται από οποιοδήποτε τέτοιο μήνυμα ποσοτικοποιείται ως log<sub>2</sub>(*N*) bit.

Οι [[εκθέτης Lyapunov|εκθέτες Lyapunov]] κάνουν χρήση λογαρίθμων για την μέτρηση της χαοτικότητας ενός [[δυναμικό σύστημα|δυναμικού συστήματος]]. Για παράδειγμα, για ένα σωματίδιο που κινείται σε ένα οβάλ τραπέζι μπιλιάρδου, ακόμα και μικρές αλλαγές των αρχικών συνθηκών έχουν αποτέλεσμα πολύ διαφορετικές τροχιές. Τέτοια συστήματα είναι [[θεωρία του χάους|χαοτικά]] κατά [[ντετερμινιστικό σύστημα|ντετερμινιστικό]] τρόπο επειδή μικρά σφάλματα μετρήσεων της αρχικής κατάστασης οδηγούν με προβλέψιμο τρόπο σε πολύ διαφορετικές τελικές καταστάσεις. Τουλάχιστον ένας εκθέτης Λιαπούνοφ ενός ντετερμινιστικώς χαοτικού συστήματος είναι θετικός.

=== Φράκταλ ===

[[Αρχείο:Sierpinski dimension.svg|Το [[τρίγωνο Σιερπίνσκι]] (στα δεξιά) κατασκευάζεται με την επαναλαμβανόμενη αντικατάσταση των [[ισόπλευρο τρίγωνο|ισόπλευρων τριγώνων]] με τρία μικρότερα.|right|thumb|400px]]

Οι λογάριθμοι εμφανίζονται στους ορισμούς των [[διάσταση φράκταλ|διαστάσεων]] [[φράκταλ]]. Τα φράκταλ είναι γεωμετρικά αντικείμενα με την ιδιότητα της [[αυτοομοιότητα]]ς: τα μικρότερα μέρη αναπαράγουν, τουλάχιστον χοντρικά, την πλήρη δομή. Το [[τρίγωνο Σιερπίνσκι]] (εικόνα) μπορεί να καλυφθεί από τρία αντίγραφα του εαυτού του, το καθένα με το μισό αρχικό μήκος. Αυτό έχει ως αποτέλεσμα η [[διάσταση Hausdorff]] της δομής να είναι log(3)/log(2) ≈ 1.58. Μία άλλη βασισμένη στους λογάριθμους έννοια διάσταση, αποκτάται με το μέτρημα των κουτιών που απαιτούνται για την κάληψη του υπό εξέταση φράκταλ ([[διάσταση Minkowski–Bouligand]]).

=== Μουσική ===

Οι λογάριθμοι σχετίζονται με τους μουσικούς τόνους και τα [[μουσικό διάστημα|μουσικά διαστήματα]]. Στον [[ισοσυγκερασμός|ισοσυγκερασμό]], ο λόγος των συχνοτήτων εξαρτάται μόνο από το διάστημα μεταξύ δύο τόνων, όχι από την συγκεκριμένη συχνότητα ή το [[τονικό ύψος|ύψος]] του κάθε τόνου. Για παράδειγμα, η νότα [[Λα]] έχει συχνότητα 440&nbsp;[[Hertz|Hz]] και η νότα [[Σι ύφεση]] έχει συχνότητα 466&nbsp;Hz. Αντίστοιχα συμφωνεί ο λόγος των συχνοτήτων:

:<math>\frac{466}{440} \approx \frac{493}{466} \approx 1.059 \approx \sqrt[12]2.</math>

Συνεπώς, οι λογάριθμοι μπορούν να χρησιμοποιηθούν για την περιγραφή διαστημάτων: ένα διάστημα μετριέται σε ημιτόνια λαμβάνοντας τον λογάριθμο με βάση την δωδέκατη ρίζα του 2 () του λόγου των συχνοτήτων, ενώ με τον λογάριθμο με βάση την 1200ή ρίζα του 2 του λόγου των συχνοτήτων το διάστημα μετριέται σε [[σεντ (μουσική)|σέντς]] (*cents*), εκατοστά του ημιτονίου. Το τελευταίο χρησιμοποιείται για ακριβέστερη κωδικοποίηση σε μή ισοσυγκερασμένα συστήματα.



=== Θεωρία αριθμών ===
Οι φυσικοί λογάριθμοι συνδέονται στενά με την [[απαρίθμηση των πρώτων αριθμών]]  (2, 3, 5, 7, 11, ...), σημαντικό θέμα στην [[θεωρία αριθμών]]. Για οποιονδήποτε [[ακέραιος|ακέραιο]] *x*, η ποσότητα των [[πρώτοι αριθμοί|πρώτων αριθμών]] που είναι μικρότεροι ή ίσοι με το *x* συμβολίζεται ως π(*x*). Σύμφωνα με το [[θεώρημα των πρώτων αριθμών]], το π(*x*) δίνεται προσεγγιστικά από τον τύπο:

:<math>\frac{x}{\ln(x)},</math>
υπό την έννοια ότι ο λόγος του π(*x*) και αυτής της συνάρτησης προσεγγίζει το 1 όταν το *x* τείνει στο άπειρο. Κατά συνέπεια, η πιθανότητα ένας τυχαίος αριθμός μεταξύ του 1 και του *x* να είναι πρώτος είναι αντιστρόφως [[αναλογία (μαθηματικά)|ανάλογη]] με τον αριθμό των ψηφίων του *x*. Μία πολύ καλύτερη εκτίμηση του π(*x*) δίνεται από τo [[λογαριθμικό ολοκλήρωμα]] Li(*x*), το οποίο ορίζεται ως

:<math> \mathrm{Li}(x) = \int_2^x \frac1{\ln(t)} \,dt.  </math>
Η [[υπόθεση Riemann]], μία από τις παλαιότερες μη αποδεδειγμένες υποθέσεις, μπορεί να εκφραστεί ως σύγκριση των π(*x*) και Li(*x*). Το [[θεώρημα Erdős–Kac]] που περιγράφει τον αριθμό των διακριτών [[πρώτος παράγοντας|πρώτων παραγόντων]] επίσης περιλαμβάνει τον φυσικό λογάριθμο.

Ο λογάριθμος του *n* [[παραγοντικό|παραγοντικού]], *n*! = 1 · 2 · ... · *n*, δίνεται από τον τύπο

:<math> \ln (n!) = \ln (1) + \ln (2) + \cdots + \ln (n). \,</math>
Αυτό μπορεί να χρησιμοποιηθεί για την παραγωγή του [[τύπος του Stirling|τύπου του Stirling]], μίας προσέγγισης του *n*! για μεγάλους *n*.

== Γενικεύσεις ==
=== Μιγαδικός λογάριθμος ===
[[Αρχείο:Complex number illustration multiple arguments.svg|thumb|right|Πολική μορφή του . Αμφότερα τα φ και φ' είναι ορίσματα του *z*.]]

Οι [[μιγαδικοί αριθμοί]] *a* που επιλύουν την εξίσωση

:<math>e^a=z.\,</math>

ονομάζονται *μιγαδικοί λογάριθμοι*. Εδώ *z* είναι ένας μιγαδικός αριθμός. Ένας μιγαδικός αριθμός αναπαρίσταται κοινώς ως *z = x + iy*, όπου *x* και *y* είναι πραγματικοί αριθμοί και *i* είναι η [[φανταστική μονάδα]]. Ένας τέτοιος αριθμός μπορεί να παρασταθεί ως σημείο στο [[μιγαδικό επίπεδο]], όπως φαίνεται στα δεξιά. Η [[πολική μορφή]] αναπαριστά ένα μη μηδενικό μιγαδικό αριθμό *z* χρησιμοποιώντας την [[απόλυτη τιμή]] του, ήτοι την απόσταση *r* από την αρχή των αξόνων, και μία γωνία μεταξύ του άξονα των *x* και της ευθείας που διέρχεται από την αρχή των αξόνων και τον *z*. Η γωνία καλείται όρισμα του *z*. Η απόλυτη τιμή *r* του *z* είναι

:<math>r=\sqrt{x^2+y^2}. \,</math>

Το [[όρισμα (μιγαδική ανάλυση)|όρισμα]] φ δεν προσδιορίζεται μοναδικά από τον *z*: το  φ' = φ + 2π είναι επίσης όρισμα του *z* επειδή προσθέτοντας 2π ακτίνια ή 360 μοίρες στο όρισμα φ αντιστοιχεί με αριστερόστροφη περιστροφή γύρω από την αρχή των αξόνων κατά γωνία 2π. Ο μιγαδικός αριθμός που προκύπτει έτσι είναι πάλι ο *z*, όπως φαίνεται στα δεξιά. Ωστόσο, μόνο ένα όρισμα φ ικανοποιεί τις  και . Αυτό αποκαλείται *κύριο* ή *πρωτεύον* όρισμα και συμβολίζεται Arg(*z*), με κεφαλαίο Α. (Μία εναλλακτική κανονικοποίηση είναι η .)

[[Αρχείο:Complex log.jpg|right|thumb|Ο κύριος κλάδος του μιγαδικού λογάριθμου, Log(*z*). Το μαύρο σημείο στο  αντιστοιχεί σε απόλυτη τιμή μηδέν και τα πιο ανοιχτά (σε [[ένταση (χρώμα)|ένταση]]) χρώματα αντιστοιχούν σε μεγαλύτερες απόλυτες τιμές. Η [[απόχρωση]] του χρώματος αντιστοιχεί στο όρισμα του  Log(*z*).]]

Με την χρήση των [[τριγωνομετρικές συναρτήσεις|τριγωνομετρικών συναρτήσεων]] του [[ημίτονο|ημιτόνου]] και του [[συνημίτονο|συνημιτόνου]], ή της [[μιγαδική εκθετική συνάρτηση|μιγαδικής εκθετικής συνάρτησης]], αντίστοιχα, τα *r* και φ είναι τέτοια ώστε ικανοποιούν ταυτότητες:

:<math>\begin{array}{lll}z& = & r \left (\cos \varphi + i \sin \varphi\right) \\
& = & r e^{i \varphi}.
\end{array} \,
</math>

Αυτό υποδηλώνει ότι η *a*-οστή δύναμη του *e* ισούται με το *z*, όπου

:<math>a = \ln (r) + i ( \varphi + 2 n \pi ), \,</math>

το φ είναι το κύριο όρισμα  Arg(*z*) και *n* είναι τυχαίος ακέραιος. Οποιοσήποτε τέτοιος *a* καλείται μιγαδικός λογάριθμος του *z*. Υπάρχουν άπειροι μιγαδικοί λογάριθμοι ενός αριθμού, εν αντιθέσει με τον μοναδικά οριζόμενο πραγματικό λογάριθμο. Αν *n* = 0, το *a* καλείται *κύρια τιμή* του λογάριθμου και συμβολίζεται ως Log(*z*). Το κύριο όρισμα οποιουδήποτε θετικού πραγματικού αριθμού *x* είναι 0, συνεπώς το Log(*x*) είναι πραγματικός αριθμός και ισούται με τον πραγματικό (φυσικό) λογάριθμο. Ωστόσο οι παραπάνω τύποι για τους λογάριθμους γινομένων και δυνάμεων [[δύναμη (μαθηματικά)#Μη ισχύς των εκθετικών και λογαριθμικών ταυτοτήτων|δεν γενικεύονται]] για την κύρια τιμή του μιγαδικού λογάριθμου.

Η απεικόνιση δεξιά αναπαριστά το Log(*z*). Η ασυνέχεια, ήτοι το άλμα της απόχρωσης στο αρνητικό τμήμα του άξονα των *x* (πραγματικός άξονας), προκαλείται από την ασυνέχεια του κύριου ορίσματος. Ο τόπος αυτός ονομάζεται [[τομή διακλαδώσεως]] (*branch cut*). Αυτή η συμπεριφορά μπορεί να παρακαμφθεί μόνο αν εγκαταληφθεί ο περιορισμός στο εύρος του φ. Τότε το όρισμα του *z* και, κατά συνέπεια, ο οικείος λογάριθμος γίνονται [[πλειότιμες συναρτήσεις]].

=== Αντίστροφες συναρτήσεις άλλων εκθετικών συναρτήσεων ===
Η ύψωση σε δύναμη συναντάται σε πολλούς τομείς των μαθηματικών, ενώ η αντίστροφη αυτής συνάρτηση συχνά αποκαλείται λογάριθμος. Για παράδειγμα, ο [[λογάριθμος πίνακα]]  είναι η πλειότιμη αντίστροφη συνάρτηση της [[δύναμη πίνακα|δύναμης πίνακα]]. Ένα άλλο παράδειγμα είναι η [[p-αδική λογαριθμική συνάρτηση|*p*-αδική λογαριθμική συνάρτηση]], η αντίστροφη της [[p-αδική εκθετική συνάρτηση|*p*-αδικής εκθετικής συνάρτησης]]. Αμφότερες ορίζοναι με σειρά Taylor ανάλογη με την πραγματική περίπτωση. Στο εννοιολογικό πλαίσιο της [[διαφορική γεωμετρία|διαφορικής γεωμετρίας]], η [[εκθετική απεικόνιση]] αντιστοιχίζει τον [[εφαπτόμενος χώρος|εφαπτόμενο χώρο]] σε ένα σημείο μίας [[πολλαπλότητα]]ς προς μία [[γειτονιά (μαθηματικά)|γειτονιά]] αυτού του σημείου. Η αντίστροφή της αποκαλείται επίσης λογαριθμική απεικόνιση.

Στο εννοιολογικό πλαίσιο των [[πεπερασμένες ομάδες|πεπερασμένων ομάδων]] η ύψωση σε δύναμη συνίσταται στον επαναλαμβανόμενο πολλαπλασιασμό ενός στοιχείου *b* της ομάδας με τον εαυτό του. Ο [[διακριτός λογάριθμος]] είναι ο ακέραιος *n*, ο οποίος αποτελεί λύση της εξίσωσης

:<math>b^n = x,\,</math>

όπου *x* είναι στοιχείο της ομάδας. Η ύψωση σε δύναμη μπορεί να γίνει αποδοτικά, όμως ο υπολογισμός του διακριτού λογάριθμου πιστεύεται ότι είναι πολύ δύσκολος σε κάποιες ομάδες. Αυτή η ασυμμετρία έχει σημαντικές εφαρμογές στην [[κρυπτογραφία δημοσίου κλειδιού]], όπως για παράδειγμα στην [[ανταλλαγή κλειδιών Diffie–Hellman]], μία διαδικασία που επιτρέπει ασφαλείς ανταλλαγές [[κρυπτογραφία|κρυπτογραφικών]] κλειδιών σε μη ασφαλείς διαύλους πληροφοριών. Ο [[λογάριθμος του Zech]] σχετίζεται μ ετον διακριτό λογάριθμο στην πολλαπλασιαστική ομάδα των μη μηδενικών στοιχείων ενός πεπερασμένου πεδίου.

Άλλες λογαριθμοειδής συναρτήσεις είναι ο διπλός λογάριθμος ln(ln(*x*)), ο [[υπερλογάριθμος|υπερ- ή υπερ-4-λογάριθμος]]  (μια μικρή παραλλαγή του οποίου, στην επιστήμη των υπολογιστών αποκαλείται [[επαναλαμβανόμενος λογάριθμος]] (*iterated logarithm*), η [[συνάρτηση W του Lambert]], και η [[logit]]. Είναι οι αντίστροφες συναρτήσεις αντίστοιχα της [[διπλή εκθετική συνάρτηση|διπλής εκθετικής συνάρτησης]], της επαναλαμβανόμενης ύψωσης σε δύναμη (*tetration*), της , και της [[λογιστική συνάρτηση|λογιστικής συνάρτησης]].

=== Σχετικές έννοιες ===
Από την οπτική των [[καθαρά μαθηματικά|καθαρών μαθηματικών]], η ταυτότητα  εκφράζει [[ισομορφισμός ομάδας|ισομορφισμό ομάδας]] μεταξύ θετικών [[πραγματικοί αριθμοί|πραγματικών]] υπό πολλαπλασιασμό και πραγματικών υπό πρόσθεση. Οι λογαριθμικές συναρτήσεις είναι οι μοναδικοί συνεχείς ισομορφισμοί μεταξύ αυτών των ομάδων. Υπό αυτόν τον ισομορφισμό το [[μέτρο Haar]] *dx* στους πραγματικούς αντιστοιχεί στο μέτρο Haar *dx*/*x* στους θετικούς πραγματικούς. Στην [[μιγαδική ανάλυση]] και την [[αλγεβρική γεωμετρία]], οι [[διαφορικές μορφές]] της μορφής *df*/*f*  είναι γνωστές ως μορφές με λογαριθμικό [[πόλος (μιγαδική ανάλυση)|πόλο]].

Ο [[πολυλογάριθμος]] είναι η συνάρτηση που ορίζεται ως

:<math>
\operatorname{Li}_s(z) = \sum_{k=1}^\infty {z^k \over k^s}.
</math>
Σχετίζεται με τον φυσικό λογάριθμο μέσω του τύπου Li<sub>1</sub>(*z*) = −ln(1 − *z*). Επιπλέον  Li<sub>*s*</sub>(1) ισούται με την [[συνάρτηση ζήτα του Riemann]] ζ(*s'').

## Περαιτέρω ανάγνωση

### Ελληνικά άρθρα
* 
* 
* 

### Ξενόγλωσσα άρθρα
* 
* 
* 
* 
* 

## Σημειώσεις

## Παραπομπές