Բնական լոգարիթմ

[thumb|250px|Բնական լոգարիթմի ֆունկցիան (կապույտ կոր) հակադարձը [ցուցչային ֆունկցիայով (կարմիր կոր)]]
thumb|right|300 px|Բնական լոգարիթմի ֆունկցիայի գրաֆիկը․ ֆունկցիան դանդաղ ձգտում է դրական անվերջության, երբ ''x''-ը մեծանում է, և արագ մոտենում է բացասական անվերջության, երբ  ''x''-ը ձգտում է 0-ի
**Բնական լոգարիթմ**, *[[e (թիվ)|e]]* հիմքով լոգարիթմ, որը իռացիոնալ հաստատուն է և հավասար է մոտ 2.72։ Այն նշանակվում է \ln x, \log_ex կամ երբեմն ուղղակի \log x, երբ հիմքը ենթադրվում է e։ Սովորաբար լոգարիթմատակ արտահայտության x արգումենտը իրական թիվ է, բայց այս հասկացությունը կարելի է ընդհանրացնել նաև կոմպլեքս թվերի համար։

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

Բնական լոգարիթմները օգտակար են այն հանրահաշվական հավասարումների լուծման մեջ, որտեղ անհայտը ցուցիչում է։ Անփոխարինելի է մաթեմատիկական անալիզում, մաթեմատիկայի շատ բնագավառներում, կիրառական որոշ գիտություններում, ֆինանսական ոլորտի բազմաթիվ խնդիրներում (օրինակ բարդ տոկոսների հաշվման մեջ)։

## Սահմանում
*x* թվի բնական լոգարիթմ է կոչվում այն թիվը, որով պետք է աստիճան բարձրացնել *[[e (թիվ)|e]]*  հիմքը՝  *x* ստանալու համար։ Այլ կերպ ասած․ բնական լոգարիթմը՝ \ln a դա  e^x = a հավասարման x լուծումն է։
Օրինակներ․
: \ln e=1, քանի որ e^1=e;
: \ln 1=0, քանի որ e^0=1։

## Իրական բնական լոգարիթմներ
thumb|<math>\ln a</math> սահմանվում է որպես կորով սահմանափակված տիրույթի մակերես <math>f(x)=\frac{1}{x}</math>  <math>1</math>-ից մինչև  <math>a</math>
\ln a բնական լոգարիթմը a իրական թվի համար նույնպես սահմանվում է և ճիշտ է ցանկացած դրական a թվի համար։

Բնական լոգարիթմը ցանկացած դրական իրական *a* թվի համար սահմանվում է նաև երկրաչափորեն՝ որպես y=\frac{1}{x} կորով սահմանափակված տիրույթի մակերես [1;a] հատվածի վրա։

### Հատկություններ
Լոգարիթմի սահմանումից էլ հենց ստացվում է հիմնական լոգարիթմական նույնությունը։
: e^{\ln a} = a
Կարևոր են նաև հետևյալ նույնությունները, որտեղ արժեքները համարվում են դրական․:



Այլ հատկություններ
* Արգումենտի աճի հետ աճում է նաև լոգարիթմը․ եթե 0, ապա \ln x ;
* \frac{h}{1+h} \leqslant \ln(1+h) \leqslant h,, եթե h > -1։

### Կապը այլ հիմքով լոգարիթմի հետ
Լոգարիթմը կարող է որոշված լինել ոչ միայն e հիմքի, այլ ցանկացած դրական  1-ից տարբեր հիմքի համար։ 
a  հիմքով \log_a b լոգարիթմը կարելի է ձևափոխել  բնական լոգարիթմի և հակառակը․
: \ln b = \frac{\log_a b }{\log_a e} = \log_a b \cdot \ln a

: \log_a b = \frac{\ln b }{\ln a}

Տասնորդական(\lg x) լոգարիթմի և բնական լոգարիթմի կապը․ 
: \ln x \approx 2{,}30259\ \lg x; \quad \lg x \approx 0{,}43429\ \ln x
Երկուական (\operatorname{lb} x) լոգարիթմի և բնական լոգարիթմի կապը․
: \ln x \approx 0,693147 \operatorname{lb} x; \quad \operatorname{lb} x \approx 1{,}442695 \ln x։

### Լոգարիթմական ֆունկցիա
thumb|250px|<center>Լոգարիթմական ֆունկցիայի գրաֆիկները;կարմիր կորը բնական լոգարիթմն է</center>
Եթե լոգարիթմվող թիվը ընդունենք որպես փոփոխական, ապա կստանանք y=\ln x լոգարիթմական ֆունկցիան։ Այն որոշված է,երբ x>0։ Արժեքների տիրույթն է՝ E(y)=(-\infty; + \infty)։ Այս կորը հաճախ անվանվում է *լոգարիթմական*։ Ֆունկցիան աճող է, անընդհատ ու դիֆերենցելի իրեն որոշման տիրույթում։
Աբցիսների առանցքը (x=0) հանդիսանում է հորիզոնական ասիմպտոտ, քանի որ
: \lim_{x \to 0+0} \ln x = - \infty

Բնական լոգարիթմի ածանցյալը հավասար է․
: \frac {d} {dx} \ln x = \frac {1} {x}։
Այս բանաձևի պարզության պատճառով է հենց լոգարիթմական ֆունկցիան կիրառվում մաթեմատիկական անալիզում և դիֆերենցիալ հավասարումներում։

[thumb|<center>Բնական լոգարիթմը հավասար է [հիպերբոլի մակերեսին]]
Ինտեգրելով ածանցյալի բանաձևը  x=1-ից մինչև x=b  միջակայքը, մենք կստանաք․
:\ln b = \int\limits_1^b {\frac {dx}{x}}
Այլ խոսքով․ բնական լոգարիթմը հավասար է  y=\frac {1}{x} հիպերբոլով սահմանափակված մակերեսին *x* միջակայքի համար։

### Ֆունկցիայի անալիտիկ հատկությունները
y=1/x ֆունկցիայի նախնականը ունի հետևյալ տեսքը․

:\int { dx \over x} = \ln|x| + C,
որտեղ C-ն ինտեգրման հաստատունն է։ Քանի որ y=1/x ֆունկցիան կազմված է երկու ճյուղերից (մեկը դրական, մյուսը՝ բացասական x-երի համար), ապա y=1/x-ի նախնականների ընտանիքը նույնպես կազմված է երկու ենթաընտանիքներից, ընդ որում նրանց ինտեգրման հաստատունները անկախ են միմյանցից։ Բնական լոգարիթմից անորոշ ինտեգրալը հեշտ է գտնել մասերով ինտեգրմամբ։
:\int{\ln x\,\mathrm dx} = x\ln x-x+C 

Մաթեմատիկական անալիզում և Դիֆերենցիալ հավասարումների տեսությունում մեծ դեր ունի f(x) ֆունկցիայի լագարիթմական ածանցյալ հասկացությունը․
: \frac{d}{dx} \ln(f(x)) = \frac{f'(x)}{f(x)}։

### Լոգարիթմի հաշվման մեթոդներ
Բնական լոգարիթմը վերլուծենք ըստ Թեյլորի շարքի․

Այս շարքը, որը կոչվում է Մերկատորի շարք, զուգամիտում է, երբ  -1 ։ Մասնավորապես․

Շարքը զուգամիտում է դանդաղ։ Նրանից կարելի է ստանալ առավել հարմար բանաձև․

Այս շարքը արդեն արագ է զուգամիտում։ Բացի այդ, բանաձևի ձախ մասով կարելի է արտահայտել ցանկացած դրական թվի լոգարիթմ։ Այս ալգորիթմով հնարավոր է հաշվել լոգարիթմների արժեքները, բայց այն դժվար է։ 
Շատ թվանշանների առկայության դեպքում Թեյլորի շարքով հաշվարկը էֆեկտիվ չէ։ Կիրառելի է որպես այլընտրանքային միջոց Նյուտոնի մեթոդը։ Դիտարկվում է հետևյալ բանաձևը․
։
:\ln x \approx \frac{\pi}{2 M(1,4/s)} - m \ln 2
որտեղ M դա 1 և 4/s-ի թվաբանա-երկրաչափական միջինն է։
:s = x \,2^m > 2^{p/2}։

### Օգտակար սահմաններ
Բերենք մի քանի օգտակար սահմանների օրինակներ լոգարիթմների համար ․
: \lim_{x \to 0} \frac{\ln (1+x)} {x} = 1
: \lim_{x \to 0^+} x^b \ln x = 0 \quad (b > 0) 
: \lim_{x \to \infty} \frac{\ln x}{x^b} = 0 \quad (b > 0) 
: \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)
: \ln x = \lim_{h \to 0} \frac{x^h-1}h
### Անընդհատ կոտորակներ
Լոգարիթմի ներկայացման համար կիրառվում են մի քանի անընդհատ կոտորակներ․

:
\ln(1+x)=\frac{x^1}{1}-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\frac{x^5}{5}-\dots=
\cfrac{x}{1-0x+\cfrac{1^2x}{2-1x+\cfrac{2^2x}{3-2x+\cfrac{3^2x}{4-3x+\cfrac{4^2x}{5-4x+\ddots}}}}}


:
\ln \left( 1+\frac{2x}{y} \right) = \cfrac{2x} {y+\cfrac{x} {1+\cfrac{x} {3y+\cfrac{2x} {1+\cfrac{2x} {5y+\cfrac{3x} {1+\ddots}}}}}} = \cfrac{2x} {y+x-\cfrac{(1x)^2} {3(y+x)-\cfrac{(2x)^2} {5(y+x)-\cfrac{(3x)^2} {7(y+x)-\ddots}}}}


## Պատմություն
Բնական լոգարիթմի մասին առաջին տեղեկությունները հայտնվեցին 1619 թվականին, երբ լոնդոնցի մաթեմատիկայի ուսուցիչ Ջոն Սպենդելը վերահրատարակեց Նեպերի լոգարիթմական աղյուսակը՝ լրացնելով այն բնական լոգարիթմի աղյուսակներով։ 1649 թվականին բելգիացի մաթեմատիկոս Գրեգուար դը Սեն-Վենսանը ցույց տվեց, որ y=\frac {1}{x} հիպերբոլով սահմանափակված պատկերի մակերեսը փոխվում է լոգարիթմական օրենքով, և առաջարկեց դրանց անվանել «հիպերբոլական» լոգարիթմներ։
«Բնական լոգարիթմ» տերմինը առաջին անգամ օգտագործել է Նիկոլաս Մերկատորը իր *«Logarithmotechnia»* աշխատությունում, որը հրապարակվեց 1668 թվականին։ Այստեղ Մերկատորը ներկայացրեց լոգարիթմի վերլուծությունը Մերկատորի շարքով։
XVII—XVIII դարերում Գոթֆրիդ Լայբնիցը և Իոհան Բեռնուլլին բնական լոգարիթմը փորձեցին տարածել կոմպլեքս թվերի վրա, բայց ստեղծել ամբողջական տեսություն նրանց չհաջողվեց։ Բացասական և կոմպլեքս թվերի լոգարիթմների տեսությունը հրապարակվեց 1747-1751 թվականներին Էյլերի կողմից, և չի տարբերվում ժամանակակից տեսությունից։

## Կոմպլեքս լոգարիթմներ
**Կոմպլեքս լոգարիթմը**  անալիտիկ ֆունկցիա է, որը ստացվում է իրական լոգարիթմը կոմպլեքս հարթության վրա տարածելով  (բացի 0-ից)։ Կոմպլեքս լոգարիթմի ֆունկցիան բազմարժեք է։
**Սահմանում** Կոմպլեքս z  թվի \mathrm{Ln}\,z բնական լոգարիթմը դա e^w=z. հավասարման լուծումն է w։

z  ոչ զրոյական թիվը կարելի է ներկայացնել   z=r \cdot e^{i (\varphi + 2 \pi k)}\;\;, բանաձևով, որտեղ k —կամայակն ամբողջ թիվ է
Ապա \mathrm{Ln}\,z որոշվում է
: \mathrm{Ln}\,z = \ln r + i \left( \varphi + 2 \pi k \right) բանաձևով։ Այստեղ \ln\,r= \ln\,|z|  իրական լոգարիթմն է։ Այսպիսով․

\mathrm{Ln}\, z կոմպլեքս լոգարիթմը գոյություն ունի ցանկացած z \ne 0 համար, և նրա իրական մասը որոշվում է միանշանակորեն, իսկ կեղծ մասը ունի անվերջ բազմությամբ լուծումներ՝ տարբերվելով միմյանցից 2\pi արժեքով։

Բացասական թվի լոգարիթմը որոշվում է։
: \mathrm{Ln} (-x) = \ln x + i \pi (2 k + 1) \qquad (x>0,\ k = 0, \pm 1, \pm 2 \dots)  բանաձևով
Օրինակներ
: \ln (1) = 0;\; \mathrm{Ln} (1) = 2k\pi i
: \ln (-1) = i \pi;\; \mathrm{Ln} (-1) = (2k+1)i \pi
: \ln (i) = i \frac{\pi} {2};\; \mathrm{Ln} (i) = i \frac{4k+1}{2} \pi


File:NaturalLogarithmRe.svg|z=Re(\ln(x+iy))|
File:NaturalLogarithmImAbs.png|z=Im(\ln(x+iy))|
File:NaturalLogarithmAbs.png|z=|\ln(x+iy)|
File:NaturalLogarithmAll.png| Երեք նախկին գրաֆիկների ընդհանրությունը


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

## Գրականություն
* 
** Переиздание: АСТ, 2003, ISBN 5-17-009554-6.
* 
* 
* Ա․Գ․Սվեշնիկով, Ա․Ն․Տիխոնով; Կոմպլեքս փոփոխականի ֆունկցիաների տեսություն, Մ․, Նաուկա,1966,էջ304։
* Գ․Մ․Ֆիխտենգոլց; Դիֆերենցիալ և ինտեգրալ հաշիվ,6-րդ հրատ․, — Մ.: Նաուկա, 1966. — էջ 680։

Կատեգորիա:Ինտեգրալ հաշիվ
Կատեգորիա:Լոգարիթմներ
Կատեգորիա:Մաթեմատիկա
Կատեգորիա:Ունար գործողություններ
Կատեգորիա:Տարրական ֆունկցիաներ