Լոգարիթմ

250px|մինի|<math>\log_2 x</math>-ի գրաֆիկը
**Լոգարիթմ** ( - «հարաբերություն» և ἀριθμός - «թիվ»), b թվի լոգարիթմ a հիմքով, որտեղ a>0, a \neq 1, այն թիվը, որով պետք է աստիճան բարձրացնել a հիմքը b թիվը ստանալու համար։

Այն նշանակում են \log_a b տեսքով և կարդում «լոգարիթմ a հիմքով b»։

Սահմանումից հետևում է, որ x=\log_a b հավասարումը համարժեք է a^x=b հավասարմանը։

Օրինակ՝ \log_2 8=3, քանի որ 2^3=8։ 

Լոգարիթմի հաշվումը հաճախ անվանում են լոգարիթմում։

a և b թվերը հաճախ իրական թվեր են, սակայն կան նաև կոմպլեքս լոգարիթմներ։

Լոգարիթմները օժտված են յուրահատուկ հատկություններով, որոնք սահմանել են նրա լայն կիրառությունը դժվարին հաշվարկների հնարավոր պարզեցման մեջ։ «Լոգարիթմների աշխարհում» բազմապատկումը փոխարինվում է շատ ավելի պարզ գումարմամբ, բաժանումը՝ հանմամբ, իսկ աստիճան բարձրացնելը և արմատ հանելը համապատասխանաբար փոխակերպվում են բազմապատկման և բաժանման աստիճանի ցուցիչի վրա։ Պիեր Սիմոն Լապլասը ասել է, որ լոգարիթմների հայտնագործումը՝ «կրճատելով աստղագետի աշխատանքը, կրկնապատկել է նրա կյանքը»։

Լոգարիթմների սահմանումը և նրանց նշանակությունների աղյուսակը (եռանկյունաչափական ֆունկցիաների համար) առաջին անգամ հրապարակել է շոտլանդացի մաթեմատիկոս Ջոն Նեպերը 1614 թվականին։ Լոգարիթմական աղյուսակները, ընդարձակված և ճշգրտված այլ մաթեմատիկոսների կողմից, համատարած օգտագործվում էին գիտական և ճարտարագիտական հաշվարկների համար ավելի քան երեք դար, մինչև հայտնվեցին էլեկտրոնային հաշվիչներն ու համակարգիչները։

Ժամանակի ընթացքում պարզվել է, որ լոգարիթմական ~y=\log_a x ֆունկցիան անփոխարինելի է նաև մարդկային գործունեության այլ բնագավառների համար, այդ թվում՝ դիֆֆերենցիալ հավասարումների լուծման, մեծությունների նշանակությունների դասակարգման (օրինակ՝ հաճախականություն և ձայնի ինտենսիվություն), տարբեր կախույթների ապրոկսիմացիայի, տեղեկության տեսությունների, հավանականության տեսությունների և այլն։ Այս ֆունկցիան պատկանում է տարրականների շարքին, այն հակադարձ համեմատական է տիպային ֆունկցիային։ Ամենից հաճախ օգտագործվում են իրական լոգարիթմները e հիմքով (բնական լոգարիթմ), 10 հիմքով և 2 հիմքով։

## Իրական լոգարիթմներ
Իրական թվի x=\log_a b լոգարիթմը, ըստ սահմանման, a^x=b հավասարման լուծումն է։ a=1 դեպքը հետաքրքրություն չի ներկայացնում, քանի որ այդ ժամանակ b \ne 1 այս հավասարումը լուծում չունի, իսկ b=1 դեպքում ցանկացած թիվ լուծում է. երկու դեպքում էլ լոգարիթմը որոշված չէ։ Նմանապես եզրակացնում ենք, որ լոգարիթմը գոյություն չունի զրոյական կամ բացասական a-ի դեպքում։ Բացի այդ, a^x ցուցչային ֆունկցիայի արժեքը միշտ դրական է, ուստի պետք է բացառել նաև բացասական b-ի դեպքը։ Արդյունքում ստանում ենք.
\log_a b արտահայտությունը որոշված է այն և միայն այն դեպքում, երբ b>0, a>0, a \neq 1:
Ինչպես հայտնի է, y=a^x ֆունկցիան (a-ի համար նշված պայմանների կատարման դեպքում) գոյություն ունի, մոնոտոն է և յուրաքանչյուր արժեք ընդունում է միայն մեկ անգամ, ընդ որում՝ դրա արժեքների տիրույթը պարունակում է բոլոր դրական իրական թվերը։ Սրանից հետևում է, որ դրական թվի իրական լոգարիթմի արժեքը միշտ գոյություն ունի և միանշանակ որոշված է։

Լայն կիրառություն ունեն հետևյալ տեսքի լոգարիթմները.
* Բնական. հիմքը հանդիսանում է Էյլերի թիվը (e),
* Տասնորդական. lg b, հիմքը հանդիսանում է 10-ը,
* Երկուական. log_2 b, հիմքը հանդիսանում է 2-ը։
 
Սրանք լայն կիրառություն ունեն, օրինակ, ինֆորմատիկայում, դիսկրետ մաթեմատիկայի շատ բաժիններում և այլն։

## Հատկություններ
### Հիմնական լոգարիթմական նույնություններ
Լոգարիթմի սահմանումից հետևում է հիմնական լոգարիթմական նույնութըունը.
a^{\log_a b} =b
Ապացուցում։ Եթե \log_a b=\log_a c, ապա a^{log_a b} = a^{log_a c}, որտեղից հետևում է, որ b=c։

Լոգարիթմի միավորը և թիվը

\log_a 1=0;\log_a a=1



Կա ակնհայտ ընդհանրացում բանաձևերի, որը տրվում է այն դեպքում, երբ թույլատրվում է բացասական արժեքների փոփոխումներ, օրինակ
: \log_a |x y| = \log_a |x| + \log_a |y|
: \log_a \!\left|\frac x y \right| = \log_a |x| - \log_a |y|
Արտադրյալի լոգարիթմի բանաձևերը հեշտությամբ ընդհանրացվում են կամայական թվով արտադրիչների համար։
:  \log_a(x_1 x_2 \dots x_n) = \log_a (x_1) + \log_a (x_2) + \dots + \log_a (x_n)
:  \log_a |x_1 x_2 \dots x_n| = \log_a |x_1| + \log_a |x_2| + \dots + \log_a |x_n|
Վերոնշյալ հատկությունները բացատրում են, թե ինչու լոգարիթմների կիրառությունը (մինչև հաշվիչների հայտնագործումը) անչափ հեշտացնում է հաշվարկները։ Օրինակ, x, y բազմանիշ թվերի արտադրյալը լոգարիթմական աղյուսակի օգնությամբ կատարվում է հետևյալ ալգորիթմով՝
# լոգարիթմների աղյուսակում գտնում ենք x, y թվերը, 
# գումարում ենք այդ լոգարիթմները, ստանում ենք (համաձայն առաջին հատկության) x, y արտադրյալի լոգարիթմը, 
# ըստ արտադրյալի լոգարիթմի աղյուսակներում գտնում ենք հենց արտադրյալը։
Բաժանումը, որն առանց լոգարիթմների օգնությամբ բավականին դժվար է, քան արտադրյալը, կատարվում է նույն ալգորիթմով, միայն լոգարիթմների գումարը փոխարինելով նրանց տարբերությամբ։ Նմանապես, պարզեցվել են աստիճանի բարձրացումը և արմատի հանումը։
#### Լոգարիթմի հիմքի փոխարինումը
\log_a b\,  Լոգարիթմը որի հիմքը a-ն է, կարելի է փոխակերպել մեկ այլ c հիմքի լոգարիթմի հետևյալ բանաձով՝

\log_a b = \frac{\log_c b }{\log_c a}

Հետևանք (երբ b=c ) - հիմքի և լոգարիթմվող արտահայտության տեղափոխություն՝

\log_a b = \frac {1}{\log_b a}

\frac{1}{\log_c a} = \log_a c Գործակիցը հիմքի փոխարինման բանաձևում կոչվում է **անցման մոդուլ** մի հիմքից մյուսին։

### Անհավասարություն
\log_a{b} լոգարիթմի արժեքը դրական է այն և միայն այն դեպքում, երբ a, b թվերը գտնվում են մեկի միևնույն կողմում (այսինքն կամ երկուսն էլ մեծ են մեկից, կամ երկուսն էլ փոքր են մեկից)։ Իսկ եթե a-ն և b-ն ընկած են մեկի տարբեր կողմերում, ապա լոգարիթմը բացասական է։

Դրական թվերի համար ցանկացած անհավասարություն կարելի է լոգարիթմել։ Այդ դեպքում եթե լոգարիթմի հիմքը մեծ է մեկից, ապա անհավասարության նշանը պահպանվում է, իսկ եթե հիմքը փոքր է մեկից, անհավասարության նշանը փոխարինվում է հակառակին։

#### Այլ հավասարություններ և հատկություններ
Եթե լոգարիթմի հիմքը և լոգարիթմվող արտահայտությունը պարունակում են աստիճանի բարձրացման արտահայտություն, նրանց համար կարելի է օգտագործել հետևյալ պարզ հավասարությունը՝

{\log_{a^q}{b}}^p = \frac{p}{q}\log_a{b}

Այս հավասարությունը միանգամից ստացվում է, եթե լոգարիթմի ձախ մասում a^q հիմքը փոխարինում ենք a հիմքով, վերևում նշված հիմքի փոխարինման բանաձևով։ Հետևանք՝

\log_{a^k} b = \frac {1} {k} \log_a b; \quad \log_{\sqrt[n]{a}} b = n \log_a b; \quad \log_{a^k} b^k = \log_a b

Եվս մեկ օգտակար հավասարում՝

c^{\log_a b}=b^{\log_a c}

Նրա ապացուցման համար կարելի է տեսնել, որ լոգարիթմի ձախ և աջ մասերը a հիմքով համընկնում են (հավասար են ~\log_a b \cdot \log_a c), համաձայն լոգարիթմական հավասարության հետևում է, որ հավասարության ձախ և աջ մասերը իրար հավասար են։

## Լոգարիթմանական ֆունկցիա
### Հիմնական բնութագրերը
մինի|Լոգարիթմական ֆունկցիայի գրաֆիկը
[մինի|[Ցուցչային ֆունկցիային հակադարձ լոգարիթմական ֆունկցիա]]
Եթե դիտարկենք լոգարիթմվող թիվը՝ որպես փոփոխական, մենք կստանանք y=\log_a x լոգարիթմական ֆունկցիան։ Այն որոշված է ~a>0;\ a \ne 1; x>0-ի համար։ Արժեքների տիրույթն է՝ E(y)=(-\infty; + \infty )։ Այս կորը հաճախ անվանում են լոգարիթմական։ Լոգարիթմի հիմքի փոխարինման բանաձևից երևում է, որ տարբեր հիմքերով լոգարիթմական ֆունկցիայի գրաֆիկը մեծ է մեկից և մեկը մյուսից տարբերվում են միայն y-ի առանցքի նկատմամբ միայն մասշտաբով, իսկ 1-ից փոքր հիմքով գրաֆիկները հանդիսանում են նրանց հայելային արտապատկերումները հորիզոնական առանցքի նկատմամբ։

Սահմանումից հետևում է, որ լոգարիթմական կապը հանդիսանում է ~y=a^x ցուցչային ֆունկցիայի համար հակադարձ ֆունկցիա, հետևաբար նրանց գրաֆիկները սիմետրիկ են առաջին և երրորդ քարորդների կիսորդի նկատմամբ (տես նկարը)։ Ինչպես և ցուցչային ֆունկցիան, այնպես էլ լոգարիթմական ֆունկցիան դասվում են տրանսցենդենտ ֆունկցիաների կատեգորիային։

Ֆունկցիան հանդիսանում է խիստ աճող a > 1-ի դեպքում (տես հաջորդ գրաֆիկը) և խիստ նվազող ~0 -ի դեպքում։ Ցանկացած լոգարիթմական ֆունկցիայի գրաֆիկը անցնում է (1;0) կետով։ Ֆունկցիան անընդհատ է և անսահամանափակ դիֆերենցվող է իր որոշման ամբողջ տիրույթում։

Օրդինատների առանցքը (x=0) հանդիսանում է ձախ ասիմպտոտիկ ուղղահայաց, քանի որ՝

\lim_{x \to 0+0} \log_a x = - \infty, երբ a > 1;

\lim_{x \to 0+0} \log_a x = + \infty, երբ 0 ։

Լոգարիթմական ֆունկցիայի ածանցյալը հավասար է՝

\frac {d} {dx} \log_a x = \frac {1} {x \cdot \log_e a} = \frac {1} {x \cdot \ln a}

Հանրահաշվի տեսանկյունից լոգարիթմական ֆունկցիան (միակ հնարավոր) իզոմորֆիզմ է դրական իրական թվերի մուլտիպլիկտիվ խմբի և բոլոր իրական թվերի ադիտիվ խմբի համար։ Այլ բառերով, լոգարիթմական ֆունկցիան հանդիսանում է հետևյալ ֆունկցիոնալ հավասարման միակ անընդհատ լուծումը՝

f(xy)=f(x)+f(y)

## Պատմական ակնարկ
### Նախադրյալներ
Լոգարիթմների գաղափարական աղբյուրը և կիրառման խթանը եղել է այն փաստը (հայտնի է եղել դեռ Արքիմեդեսին), որ նույն հիմքով աստիճանները բազմապատկելիս դրանց ցուցիչները գումարվում են. a^b \cdot a^c = a^{b+c}: 13-րդ դարի հնդիկ մաթեմատիկոս Վիրասենան, ուսումնասիրելով աստիճանային կախվածությունները, հրապարակել է 2, 3, 4 հիմքերի համար ամբողջ թվերով ցուցիչների (այսինքն, ըստ էության, լոգարիթմների) աղյուսակը։

մինի|340px|ձախ|Մ. Շտիֆելի լոգարիթմական աղյուսակը, «''Arithmetica integra''», 1544
Վճռական քայլն արվել է միջնադարյան Եվրոպայում։ XVI դարում բարդ հաշվարկների անհրաժեշտությունը արագորեն մեծացել է, և դժվարությունների մեծ մասը կապված էր բազմանիշ թվերի բազմապատկման և բաժանման, ինչպես նաև արմատ հանելու հետ։ Դարավերջին մի քանի մաթեմատիկոսներ գրեթե միաժամանակ հանդես են եկել հետևյալ գաղափարով. ժամանակատար բազմապատկումը փոխարինել պարզ գումարումով՝ հատուկ աղյուսակների միջոցով հակադրելով երկրաչափական և թվաբանական պրոգրեսիաները, ընդ որում՝ երկրաչափականը կլինի ելակետայինը։ Այնուհետև բաժանումը ինքնաբերաբար փոխարինվում է շատ ավելի պարզ և հուսալի հանումով, և դրանով պարզեցվում են նաև աստիճանի բարձրացումն ու արմատ հանելը։

Առաջին անգամ այս գաղափարը հրատարակվել է Մայքլ Շտիֆելի «*Arithmetica integra*» (1544) գրքում, որը, սակայն, լուրջ ջանքեր չի գործադրել իր գաղափարի գործնական իրականացման համար։ Շտիֆելի հիմնական արժանիքը ամբողջ թվային ցուցիչներից կամայական ռացիոնալի անցումն է (այս ուղղությամբ առաջին քայլերը կատարել են Նիկոլայ Օրեսմը XIV դարում և Նիկոլա Շյուկեն XV դարում)։

### Ջոն Նեփյերը և նրա «լոգարիթմների զարմանալի աղյուսակը»
thumb|220px|<center>Ջոն Նեփյեր</center>
1614 թվականին շոտլանդացի սիրողական մաթեմատիկոս Ջոն Նեփյերը հրատարակել է լատիներեն աշխատություն *«Լոգարիթմների զարմանալի աղյուսակի նկարագրությունը»*  () վերնագրով։ Այն ներկայացնում էր լոգարիթմների և դրանց հատկությունների համառոտ նկարագրությունը, ինչպես նաև սինուսների, կոսինուսների և տանգենսների լոգարիթմների ութանիշ աղյուսակներ՝ 1' քայլով։ Նեփյերի առաջարկած *լոգարիթմ* տերմինը հաստատվել է գիտության մեջ։ Նեփյերն ուրվագծել է լոգարիթմների տեսությունը իր մյուս գրքում՝ *«Լոգարիթմների զարմանալի աղյուսակի կառուցումը»*(), որը հետմահու հրատարակվել է 1619 թվականին նրա որդու՝ Ռոբերտի կողմից։

Դատելով փաստաթղթերից՝ Նեփյերը լոգարիթմի տեխնիկան յուրացրել է մինչև 1594 թվականը։ Նրա զարգացման անմիջական նպատակն է եղել հեշտացնել բարդ աստղագիտական հաշվարկները, այդ իսկ պատճառով աղյուսակներում ներառվել են միայն եռանկյունաչափական ֆունկցիաների լոգարիթմները։

Ֆունկցիայի հասկացությունն այդ ժամանակ դեռ գոյություն չի ունեցել, և Նեփյերը կինեմատիկորեն է որոշել լոգարիթմը՝ համեմատելով համաչափ և լոգարիթմական-դանդաղ շարժումը. օրինակ՝ նա սահմանել է սինուսի լոգարիթմը հետևյալ կերպ.
Տրված սինուսի լոգարիթմը այն թիվն է, որը միշտ թվաբանորեն աճել է նույն արագությամբ, երբ լրիվ սինուսը սկսել է երկրաչափորեն նվազել։
Ժամանակակից նշումով Նեփյերի կինեմատիկական մոդելը կարող է ներկայացվել դիֆերենցիալ հավասարմամբ.
:  \frac{dx}{x} = - \frac{dy}{M},
որտեղ M-ը մասշտաբային բազմապատկիչն է, որը ներդրվել է արժեքն անհրաժեշտ թվանշաններով ամբողջ թիվ դարձնելու համար (տասնորդական թվերն այն ժամանակ դեռ լայնորեն չեն կիրառվել)։ Նեփյերը վերցրել է M = 10 000 000։

Ավելի ստույգ՝ Նեփյերը աղյուսակավորել է ոչ այն ֆունկցիան, որն այժմ կոչվում է լոգարիթմ։ Եթե սահմանենք նրա \operatorname{LogNap}(x) ֆունկցիան, ապա այն կապված է բնական լոգարիթմի հետ հետևյալ կերպ.
:: \operatorname{LogNap}(x) = M \cdot (\ln(M) - \ln(x))
Ակնհայտ է, որ \operatorname{LogNap}(M) = 0, այսինքն՝ «լրիվ սինուսի» լոգարիթմը (համապատասխանում է 90 °) զրոյական է. սա այն է, ինչ Նեփյերը փնտրում էր իր սահմանմամբ։ Նա նաև ցանկանում էր, որ բոլոր լոգարիթմները դրական լինեն. հեշտ է ստուգել, որ x պայմանը բավարարված է \operatorname{LogNap}(0) = \infty դեպքում։

Նեփյերի լոգարիթմի հիմնական հատկությունն է՝ եթե մեծությունները կազմում են երկրաչափական պրոգրեսիա, ապա դրանց լոգարիթմները կազմում են թվաբանական պրոգրեսիա։

Այնուամենայնիվ, Նեփյերի ֆունկցիայի լոգարիթմի կանոնները տարբերվում էին ժամանակակից լոգարիթմի կանոններից, ինչպիսիք են.
: \operatorname{LogNap}(a \cdot b)=\operatorname{LogNap}(a)+\operatorname{LogNap}(b)-\operatorname{LogNap}(1)

### Հետագա զարգացում
Ինչպես շուտով պարզվել է, ալգորիթմի սխալի պատճառով Նեփյերի աղյուսակի բոլոր արժեքները վեցերորդ թվանշանից հետո սխալ թվեր էին պարունակում։  Այնուամենայնիվ, դա չի խանգարել, որ հաշվարկի նոր մեթոդը լայն ժողովրդականություն ձեռք բերի, և շատ եվրոպացի մաթեմատիկոսներ զբաղվել են լոգարիթմական աղյուսակների կազմումով։  Կեպլերը խանդավառությամբ է խոսել Նեփյերի մասին 1620 թվականին հրատարակված իր աստղագիտական գրքում (չիմանալով, որ լոգարիթմների գյուտարարն արդեն մահացել է)։  1624 թվականին Կեպլերը հրատարակել է լոգարիթմական աղյուսակների իր տարբերակը (լատ.՝ *Chilias Logarithmorum ad totidem numeros rotundos*)։  Լոգարիթմների օգտագործումը Կեպլերին թույլ է տվել համեմատաբար արագ ավարտել երկար տարիների աշխատանքը Ռուդոլֆյան աղյուսակների կազմման վրա, որոնք ամրապնդել են արևակենտրոն աստղագիտության հաջողությունը։

Նեփյերի գրքի լույս տենելուց մի քանի տարի անց հայտնվել են լոգարիթմական աղյուսակներ՝ օգտագործելով լոգարիթմի ավելի ժամանակակից ըմբռնումը։  Լոնդոնում պրոֆեսոր Հենրի Բրիգսը հրապարակել է տասնորդական լոգարիթմների 14 նիշանոց աղյուսակներ (1617), ընդ որում՝ ոչ թե եռանկյունաչափական ֆունկցիաների, այլ մինչև 1000 կամայական ամբողջ թվերի համար (7 տարի անց Բրիգսը թվերի թիվը հասցրել է 20000-ի)։  1619 թվականին Լոնդոնում մաթեմատիկայի ուսուցիչ Ջոն Սփայդելը (անգլ.՝ *John Speidell*) վերահրատարակել է Նեփյերի լոգարիթմական աղյուսակները, ուղղել և լրացրել այնպես, որ դրանք իրականում դարձել են բնական լոգարիթմների աղյուսակներ։  Սփայդելն ունեցել է նաև  մինչև 1000 թվերի լոգարիթմները (ընդ որում՝ միավորի լոգարիթմը, ինչպես Բրիգսի մոտ, հավասար էր զրոյի), չնայած Սփայդելը պահպանել է մասշտաբավորումը մինչև ամբողջ թվեր։

Շուտով պարզ է դարձել, որ լոգարիթմների տեղը մաթեմատիկայում չի սահմանափակվում հաշվողական հարմարություններով։ 1629 թվականին բելգիացի մաթեմատիկոս Գրեգուար դը Սեն Վինսենը ցույց է տվել, որ y=\frac {1}{x}-ի հիպերբոլի տակ գտնվող մակերեսը փոխվում է ըստ լոգարիթմական օրենքի։  1668 թվականին գերմանացի մաթեմատիկոս Նիկոլաս Մերկատորը (Կաուֆման) իր «Logarithmotechnia » գրքում հրատարակել է լոգարիթմի ընդլայնումը անսահման շարքում։ Շատ պատմաբանների կարծիքով, լոգարիթմների հայտնվելը մեծ ազդեցություն է ունեցել մաթեմատիկական բազմաթիվ հասկացությունների վրա, այդ թվում.
# Իռացիոնալ և տրանսցենդենտ թվերի ընդհանուր հասկացության ձևավորում և ճանաչում,
# Ցուցչային ֆունկցիայի և թվային ֆունկցիայի ընդհանուր հասկացության, Էյլերի թվի ի հայտ գալը, տարբերությունների հավասարումների տեսության մշակումը,
# Անվերջ շարքերով աշխատանքի սկիզբը,
# Տարբեր տեսակների դիֆերենցիալ հավասարումների լուծման ընդհանուր մեթոդներ,
# Ճշգրիտ լոգարիթմական աղյուսակների հաշվարկման համար անհրաժեշտ թվային մեթոդների տեսության զգալի զարգացում։

Մինչև 19-րդ դարի վերջը լոգարիթմի ընդհանուր ընդունված գրելաձև չի եղել. a հիմքը նշվել է կամ log սիմվոլից ձախ ու վերև, կամ դրա վերևում։ Ի վերջո, մաթեմատիկոսները եկել են այն եզրակացության, որ հիմքի համար ամենահարմար տեղը գծից ներքև է՝ log սիմվոլից հետո՝ \log_a b: Լոգարիթմի ամենատարածված ձևերի հակիրճ նշանակումները՝ \lg, \; \ln տասնորդական և բնական լոգարիթմների համար, հայտնվել են շատ ավելի վաղ միանգամից մի քանի հեղինակների կողմից և վերջնականապես հաստատվել են նույնպես 19-րդ դարի վերջին։

Լոգարիթմի ժամանակակից ըմբռնումը՝ որպես աստիճանի բարձրացման հակադիր գործողություն, առաջին անգամ հայտնվել է Ջոն Վալլիսի (1685) և Յոհան Բեռնուլիի (1694) մոտ և վերջնական հատատվել է Էյլերի կողմից։ Իր «Անվերջ փոքրերի վերլուծության ներածություն» (1748) գրքում Էյլերը տվել է ինչպես ցուցչային, այնպես էլ լոգարիթմական ֆունկցիաների ժամանակակից սահմանումներ, դրանք ընդլայնել է աստիճանային շարքերում և հատուկ նշել է բնական լոգարիթմի դերը։ Էյլերին է պատկանում նաև լոգարիթմական ֆունկցիան կոմպլեքս տիրույթում ընդլայնելու արժանիքը։

### Լոգարիթմի ընդլայնում դեպի կոմպլեքս տիրույթ
Լոգարիթմները կոմպլեքս թվերի վրա ընդլայնելու առաջին փորձերն արվել են 17-18-րդ դարերի վերջում՝ Լայբնիցի և Յոհան Բեռնուլիի կողմից, բայց նրանք չեն կարողացել ստեղծել ամբողջական տեսություն առաջին հերթին այն պատճառով, որ լոգարիթմի գաղափարը դեռևս հստակ չէր սահմանված։ Այս թեմայի շուրջ քննարկումները սկզբում ծավալվել են Լայբնիցի և Բեռնուլիի, իսկ 18-րդ դարի կեսերին՝ դ'Ալմբերի և Էյլերի միջև։ Բեռնուլին և դ'Ալեմբերը հավատում էին, որ \log(-x) = \log(x), մինչդեռ Լայբնիցը պնդում էր, որ բացասական թվի լոգարիթմը երևակայական թիվ է։ Բացասական և կոմպլեքս թվերի լոգարիթմների ամբողջական տեսությունը հրապարակվել է Էյլերի կողմից 1747-1751 թվականներին և ըստ էության չի տարբերվում ժամանակակիցից։ Թեև վեճը շարունակվել է (դ'Ալեմբերը պաշտպանել է իր տեսակետը և մանրամասն փաստարկել այն իր «Հանրագիտարանի» հոդվածում և այլ աշխատություններում), 18-րդ դարի վերջում Էյլերի մոտեցումը համընդհանուր ընդունելություն է գտել։

19-րդ դարում՝ կոմպլեքս անալիզի զարգացման հետ մեկտեղ, բարդ լոգարիթմի ուսումնասիրությունը խթանել է նոր հայտնագործությունների կատարումը։ Կառլ Գաուսը 1811 թվականին մշակել է լոգարիթմական ֆունկցիայի բազմարժեքության ամբողջական տեսությունը, որը սահմանվում է որպես \frac{1}{z}-ի ինտեգրալ։ Բեռնարդ Ռիմանը, հենվելով այս և նմանատիպ ֆունկցիաների մասին արդեն հայտնի փաստերի վրա, կառուցել է Ռիմանի մակերևույթների ընդհանուր տեսությունը։

Կոնֆորմ արտապատկերումների տեսության զարգացումը ցույց է տվել, որ քարտեզագրության մեջ Մերկատորի պրոյեկցիան, որն առաջացել է նույնիսկ մինչև լոգարիթմների հայտնաբերումը (1550 թվականին), կարելի է բնութագրել որպես կոմպլեքս լոգարիթմ։

## Գործնական կիրառություններ
### Լոգարիթմական հարաբերությունները գիտության և բնության մեջ
Լոգարիթմական ֆունկցիաները չափազանց տարածված են թե՛ մաթեմատիկայում, թե՛ բնական գիտությունների մեջ։ Հաճախ լոգարիթմները հայտնվում են այնտեղ, որտեղ տեղի է ունենում ինքնանմանություն, այսինքն՝ ինչ-որ առարկա հետևողականորեն վերարտադրվում է փոքրացված կամ մեծացված մասշտաբով, օրինակ՝ ռեկուրսիվ ալգորիթմները, ֆրակտալները կամ կակղամորթերի խեցիները։

#### Թվերի տեսություն
Պարզ թվերի ասիմպտոտ բաշխումը ենթարկվում է պարզ օրենքների։
* 1-ից մինչև n միջակայքում պարզ թվերի քանակը մոտավորապես հավասար է \frac{n}{\ln n},
* k-րդ պարզ թիվը մոտավորապես հավասար է k \ln k,
Ավելի ճշգրիտ գնահատումներն օգտագործում են ինտեգրալ լոգարիթմը։

Հաճախ խնդիր է առաջանում գնահատել շատ մեծ թիվ, օրինակ՝ մեծ համարով Մերսենի թիվը կամ ֆակտորիալը։ Դրա համար հարմար կլինի թիվը մոտավորապես գրել էքսպոնենտալ ձևաչափով, այսինքն՝ մանտիսի և տասնորդական կարգի տեսքով։

Խնդիրը հեշտությամբ լուծվում է լոգարիթմների օգտագործմամբ։ Որպես օրինակ դիտարկենք Քամլալայի 44-րդ թիվը M=2^{32582657} - 1. 
: \lg M \approx 32582657 \cdot \lg 2 \approx 9808357{,}09543
Հետևաբար, արդյունքի մանտիսը հավասար է 10^{0{,}09543} \approx 1{,}25։ Արդյունքում կստանանք.
: M \approx 1{,}25\cdot 10^{9808357}

#### Մաթեմատիկական անալիզ

Լոգարիթմները հաճախ կիրառվում են ինտեգրալներ գտնելու և դիֆերենցիալ հավասարումների լուծման ժամանակ, օրինակ՝
: \int {\operatorname{tg} x} \, dx = -\ln |\cos x| + C; \quad \int {\frac{dx}{\sqrt{x^2+a}}} = -\ln \ \left|\ x+\sqrt{x^2+a}\ \right| + C

#### Հավանականությունների տեսություն և վիճակագրություն
thumb|300px |<center>Բենֆորդի բաշխում. հորիզոնական շարքում տրված են առաջին թվերը, ուղղահայաց՝ դրանց հայտնվելու հավանականությունը</center>
Վիճակագրության և հավանականությունների տեսության մեջ լոգարիթմը ներառված է գործնականում կարևոր հավանականության բաշխումների շարքում։ Օրինակ՝ լոգարիթմական բաշխումն օգտագործվում է գենետիկայում և ֆիզիկայում։ Լոգնորմալ բաշխումը հաճախ տեղի է ունենում այն իրավիճակներում, երբ հետազոտվող մեծությունը մի քանի անկախ դրական պատահական փոփոխականների արտադրյալ է։

Բենֆորդի օրենքը («առաջին նիշի օրենք») նկարագրում է իրական մեծությունները չափելիս որոշակի առաջին նշանակալի թվանշանի առաջացման հավանականությունը։

Անհայտ պարամետրը գնահատելու համար լայնորեն կիրառվում են առավելագույն ճշմարտանմանության մեթոդը և դրա հետ կապված ճշմարտանմանության լոգարիթմական ֆունկցիան։

#### Ինֆորմատիկա և հաշվողական մաթեմատիկա
Ինֆորմատիկա – տեղեկատվության չափման միավոր (բիթ)։ Օրինակ՝ համակարգչում N բնական թիվը (համակարգչի համար սովորական երկուական ձևաչափով) պահպանելու համար անհրաժեշտ է \log_2 N + 1 բիթ։

Տեղեկատվական էնտրոպիան տեղեկատվության քանակի չափումն է։

«Բաժանիր և տիրիր» սկզբունքի վրա հիմնված ռեկուրսիվ ալգորիթմների ասիմպտոտիկ բարդության գնահատում, ինչպիսիք են արագ տեսակավորումը, Ֆուրիեի արագ փոխակերպումը և այլն։

Սովորաբար թվային արժեքները պահվում են համակարգչի կամ մասնագիտացված պրոցեսորի հիշողության մեջ՝ լողացող ստորակետի ձևաչափով։ Եթե, այնուամենայնիվ, տվյալների խմբի համար գումարումը և հանումը հազվադեպ են կատարվում, իսկ բազմապատկումը, բաժանումը, աստիճանի բարձրացումը և արմատ հանելը շատ ավելի հաճախ, ապա իմաստ ունի դիտարկել այդպիսի տվյալները լոգարիթմական ձևաչափով պահպանելու հնարավորությունը։ Այս դեպքում թվի փոխարեն պահվում է նրա մոդուլի լոգարիթմը և նշանը, և լոգարիթմի հատկությունների շնորհիվ հաշվարկների արագությունը զգալիորեն մեծանում է։ Պահպանման լոգարիթմական ձևաչափը օգտագործվել է մի քանի համակարգերում, որտեղ ապացուցել է նրա արդյունավետությունը։

#### Մեխանիկա և ֆիզիկա
Բոլցմանի սկզբունքը վիճակագրական թերմոդինամիկայի մեջ թերմոդինամիկական համակարգի վիճակի կարևորագույն գործառույթներից է, որը բնութագրում է դրա աստիճանը։

Հրթիռի արագությունը հաշվարկվելու համար օգտագործվում է Ցիոլկովսկու բանաձևը։

#### Քիմիա և ֆիզիկական քիմիա
Նեռնստի հավասարումն արտահայտում է համակարգի Օքսիդա-վերականգնման պոտենցիալի և էլեկտրաքիմիական հավասարման մեջ ներառված նյութերի ակտիվության, ինչպես նաև օքսիդա-վերականգնման զույգերի ստանդարտ էլեկտրոդային պոտենցիալների կապը։

Լոգարիթմը օգտագործվում է այնպիսի մեծությունների սահմանումներում, ինչպիսիք են ավտոպրոտոլիզի հաստատունի ինդեքսը (մոլեկուլի ինքնաիոնացում) և ջրածնային ինդեքսը (լուծույթի թթվայնությունը)։

#### Հոգեբանություն և ֆիզիոլոգիա
Շատ երևույթների մարդկային ընկալումը հարմար է նկարագրել լոգարիթմական օրենքով։

Վեբեր Ֆեխների օրենքը էմպիրիկ հոգեֆիզիոլոգիական օրենք է, ըստ որի՝ զգայության ինտենսիվությունը համաչափ է գրգռիչի ինտենսիվության լոգարիթմին, օրինակ՝ ձայնի բարձրության, լույսի պայծառության։

Ընտրության առկայության դեպքում որոշում կայացնելու ժամանակը կարելի է գնահատել Հիկի օրենքի համաձայն։

#### Կենսաբանություն
Մի շարք կենսաբանական ձևեր նման են լոգարիթմական պարույրի՝ կորի, որի դեպքում յուրաքանչյուր կետով անցնող շոշափողը նուն կետով անցնող շառավիղ-վեկտորի հետ կազմում է անույն այնկյունը, այսինքն՝ շառավիղի աճը շրջանագծի միավորի երկարության համար հաստատուն է։

Պատկեր:NautilusCutawayLogarithmicSpiral.jpg|Նաուտիլուսի խեցի
Պատկեր:Pflanze-Sonnenblume1-Asio.JPG|Արևածաղկի սերմերի դասավորությունը
Պատկեր:Romanesco broccoli (Brassica oleracea).jpg|Ռոմանեսկո (կաղամբ)


#### Երաժշտության տեսություն
Որոշելու համար, թե քանի մասի պետք է բաժանել օկտավան, պահանջվում է գտնել ռացիոնալ մոտարկումը \log_2 \frac {3}{2} \approx 0{,}585 համար։ Եթե այդ թիվը դարձնենք շղթայական կոտորակ, ապա երրորդ կոտորակը (7/12) թույլ է տալիս հիմնավորել օկտավայի դասական բաժանումը 12 կիսատոնների։

#### Այլ
Օլիմպիական համակարգում խաղերի պտույտների թիվը հավասար է մրցույթի մասնակիցների թվի երկուական լոգարիթմին՝ կլորացված մինչև մոտակա մեծ ամբողջ թիվը։

### Լոգարիթմական քանոն

1620-ական թվականներին Էդմունդ Ուինգեյթը և Ուիլյամ Օտրեդը հայտնագործել են առաջին լոգարիթմական քանոնը, որը մինչև գրպանի հաշվիչների հայտնվելը ծառայել է որպես ինժեների անփոխարինելի հաշվարկային գործիք։ Այս կոմպակտ գործիքի օգնությամբ կարելի է արագ կատարել բոլոր հանրահաշվական գործողությունները, այդ թվում՝ եռանկյունաչափական ֆունկցիաների մասնակցությամբ։ Հաշվարկների ճշգրտությունը մոտ 3 թվանշան է։
thumb|600px|center|Լոգարիթմական քանոն, բազմապատկում 1,3 × 2 կամ բաժանում 2,6 / 2

## Ծանոթագրություններ

Կատեգորիա:Լոգարիթմներ