Натуральны лагарыфм

Натуральны лагарыфм — гэта лагарыфм па аснове e, дзе eірацыянальная пастаянная, роўная прыблізна 2,718281828. Натуральны лагарыфм звычайна абазначаюць як ln(x), loge(x), а часам проста log(x), калі аснова e маецца на ўвазе[1].

Графік функцыі натуральнага лагарыфма. Функцыя павольна імкнецца к дадатнай бесканечнасці пры нарастанні x і хутка імкнецца к адмоўнай бесканечнасці, калі x прыбліжаецца к 0 («павольна» і «хутка» — г. зн. вытворная мае, адпаведна, малыя і вялікія значэнні).

Натуральны лагарыфм ліку x (запісваецца як ln(x)) — гэта паказчык ступені, у якую трэба ўзвесці лік e, каб атрымаць x. Напрыклад, ln(7,389...) роўны 2, бо e2=7,389.... Натуральны лагарыфм самога ліку e (ln(e)) роўны 1, бо e1 = e, а натуральны лагарыфм 1 (ln(1)) роўны 0, бо e0 = 1.

Натуральны лагарыфм можна вызначыць для любога дадатнага рэчаіснага ліку a як плошча пад крывою y = 1/x ад 1 да a. Прастата гэтага азначэння прывяла да з'яўлення назвы «натуральны». Гэта азначэнне можна пашырыць на камплексныя лікі.

Калі разглядаць натуральны лагарыфм як рэчаісную функцыю рэчаіснай зменнай, то яна з'яўляецца адваротнай да паказчыкавай функцыі:

Як і ўсе лагарыфмы, натуральны лагарыфм адлюстроўвае множанне ў складанне:

Такім чынам, лагарыфмічная функцыя з'яўляецца ізамарфізмам групы дадатных рэчаісных лікаў адносна множання на групу рэчаісных лікаў па складанню, які можна прадставіць як функцыю:

Лагарыфм можна вызначыць па любой дадатнай аснове, не роўнай 1, а не толькі для e, але лагарыфмы для іншых асноў адрозніваюцца ад натуральнага лагарыфма толькі сталым множнікам, і, як правіла, вызначаюцца праз натуральны. Лагарыфмы бываюць карысныя пры рашэнні ўраўненняў, у якіх невядомыя стаяць у паказчыку ступені. Напрыклад, лагарыфмы выкарыстоўваюцца, каб вылічыць пастаянную распаду і час распаду ў задачах на радыеактыўны распад. Лагарыфмы выконваюць значную ролю ў многіх галінах матэматыкі і іншых навук, прымяняюцца ў фінансавых разліках пры рашэнні задач звязаных са складаным працэнтам.

Гісторыя

правіць

Упершыню натуральны лагарыфм упамянуў Ніколас Меркатар у сваёй працы Logarithmotechnia, апублікаванай у 1668 годзе[2], хоць настаўнік матэматыкі Джон Спайдэл яшчэ ў 1619 годзе склаў табліцу натуральных лагарыфмаў[3]. Раней функцыю называлі гіпербалічным лагарыфмам[4], бо яна адпавядае плошчы пад гіпербалай. Іншы раз яе называюць Неперавым лагарыфмам, хоць першапачатковае значэнне гэтага тэрміна было трохі іншае.

Абазначэнні

правіць

Руская і савецкая сістэма

правіць

Натуральны лагарыфм прынята абазначаць як «ln(x)», дзесятковы лагарыфм (па аснове 10) — як «lg(x)», а іншыя асновы ўказваюцца яўна пры сімвале «log».

У многіх працах па дыскрэтнай матэматыцы, кібернетыцы, інфарматыцы аўтары выкарыстоўваюць абазначэнне «log(x)» для лагарыфмаў па аснове 2, але такое ўжыванне не з'яўляецца агульнапрынятым і патрабуе тлумачэння альбо ў спісе выкарыстаных абазначэнняў, альбо (пры адсутнасці такога спіса) зноскай ці каментарыем пры першым выкарыстанні.

Дужкі вакол аргумента лагарыфмаў (калі гэта не вядзе да памылковага чытання формулы) звычайна не пішуць, а пры ўзвядзенні лагарыфма ў ступень паказчык прыпісваюць непасрэдна к знаку лагарыфма: ln2 ln3 4x5 = [ln([ln(4x5)]3)]2.

Англа-амерыканская сістэма

правіць

Матэматыкі, статыстыкі і частка інжынераў звычайна выкарыстоўваюць для абазначэння натуральнага лагарыфма ці «log(x)», ці «ln(x)» , а для лагарыфма па аснове 10 — «log10(x)».

Некаторыя інжынеры, біёлагі і іншыя спецыялісты заўсёды пішуць «ln(x)» (ці зрэдку «loge(x)»), калі маюць на ўвазе натуральны лагарыфм, а запіс «log(x)» у іх абазначае log10(x).

У тэарэтычнай інфарматыцы, тэорыі інфармацыі і крыптаграфіі «log(x)» звычайна абазначае лагарыфм па аснове 2 «log2(x)» (хоць часта для двайковага лагарыфма ўжываецца абазначэнне lg(x)).

У мовах праграмавання

правіць

У найбольш ужывальных мовах праграмавання і пакетах прыкладных праграм, у тым ліку ў C, C++, SAS, MATLAB, Фартран і BASIC, функцыя «log» або «LOG» адносіцца да натуральнага лагарыфма.

У ручных калькулятарах натуральны лагарыфм абазначаецца ln, тады як log служыць для абазначэння лагарыфма па аснове 10.

Паходжанне тэрміна натуральны лагарыфм

правіць

На першы погляд можа паказацца, што раз наша сістэма злічэння мае аснову 10, то гэта аснова больш «натуральная», чым аснова e. Але матэматычна лік 10 не з'яўляецца асабліва адметным. Яго выкарыстанне хутчэй звязана з культурай, лік 10 агульны для многіх традыцыйных сістэм злічэння, і звязана гэта, мабыць, з лікам пальцаў у людзей[5]. Некаторыя культуры стваралі свае сістэмы злічэння з іншымі асновамі: 5, 8, 12, 20 і 60[6][7][8].

loge з'яўляецца «натуральным» лагарыфмам, бо ўзнікае аўтаматычна і паяўляецца ў матэматыцы вельмі часта. Напрыклад, разгледзім задачу дыферэнцавання лагарыфмічнае функцыі[9]:

 

Калі аснова b роўная e, то вытворная раўняецца проста 1/x, а пры x = 1 гэта вытворная роўная 1. Іншым абгрунтаваннем, паводле якога аснова e лагарыфма з'яўляецца найбольш натуральнаю, ёсць тое, што такі лагарыфм лёгка вызначыць праз просты інтэграл ці нескладаны рад Тэйлара, чаго нельга сказаць пра іншыя лагарыфмы.

Акрамя таго, ёсць некаторыя абгрунтаванні "натуральнасці", не звязаныя з інтэграваннем і дыферэнцаваннем. Так, напрыклад, ёсць некалькі простых радоў з натуральнымі лагарыфмамі. П'етра Менголі і Мікалай Меркатар называлі іх logarithmus naturalis за некалькі дзесяцігоддзяў да таго, як Ньютан і Лейбніц распрацавалі дыферэнцыяльнае і інтэгральнае злічэнне[10].

Азначэнне

правіць
 
ln(a) вызначаецца як плошча пад крывой f(x) = 1/x ад 1 да a.

Фармальна, для дадатнага ліку a яго натуральны лагарыфм ln(a) можна вызначыць як плошчу пад крывой графіка 1/x ад 1 да a, г. зн. як інтэграл:

 

Гэта сапраўды лагарыфм, бо ён задавальняе асноўную ўласцівасць лагарыфма:

 

Гэта можна паказаць, разбіваючы інтэграл для ln(ab) і робячы замену зменнай x = at у другім інтэграле:

 

Лік e можна вызначыць як рэчаісны лік a такі, што ln(a) = 1.

З другога боку, калі паказчыкавая функцыя была вызначана першаю, напрыклад, з выкарыстаннем бесканечных радоў, натуральны лагарыфм можна вызначыць як адваротную ёй функцыю, г. зн. ln — такая функцыя, што

 

Паказчыкавая функцыя пры рэчаісных аргументах прымае ўсе дадатныя рэчаісныя значэнні і строга нарастае, таму адваротная функцыя карэктна вызначана для ўсіх дадатных x.

Уласцівасці

правіць
  •  
  •  
(гл. камплексны лагарыфм)
  • Пры 0 < x < y
     
  • Пры h > -1
     
  •  

Вытворная, рад Тэйлара

правіць
 
Мнагачлены Тэйлара даюць добрае прыбліжэнне для ln(1+x) толькі ў прамежку -1 < x ≤ 1. Варта заўважыць, што для x > 1 мнагачлены Тэйлара вышэйшай ступені даюць горшае прыбліжэнне.

Вытворная натуральнага лагарыфма роўная

 

Адсюль можна атрымаць раскладанне ln(1+x) у рад Тэйлара каля 0, т. зв. рад Меркатара:

 

Падстаўляючы x-1 замест x, атрымаем формулу для ln(x) пры 0 < x ≤ 2, а іменна:

 

Ці ў разгорнутай форме:

 

З дапамогаю пераўтварэння Эйлера  (англ.) рада Меркатара можна атрымаць наступны выраз, справядлівы для любога х, большага за 1 па абсалютнай велічыні:

 

Гэты рад падобен на формулу Бэйлі—Борвэйна—Плафа  (англ.).

Таксама заўважым, што функцыя   адваротная сабе, таму каб вылічыць натуральны лагарыфм ліку y, трэба проста падставіць замест x значэнне  

Натуральны лагарыфм у інтэграванні

правіць

Натуральны лагарыфм дазваляе проста інтэграваць функцыі выгляду g(x) = f '(x)/f(x): першаісная функцыі g(x) мае від ln(|f(x)|). Гэта вынікае з ланцуговага правіла і наступнага факта:

 

Ці іначай:

 

і

 

Ніжэй прыведзены прыклад для g(x) = tan(x):

 
 

Няхай f(x) = cos(x) і f'(x)= - sin(x):

 
 

дзе Cадвольная пастаянная інтэгравання  (англ.).

Натуральны лагарыфм можна праінтэграваць с дапамогаю інтэгравання па частках:

 

Лікавае значэнне

правіць

Каб вылічыць значэнне натуральнага лагарыфма ліку |x| < 1, можна выкарыстаць раскладанне ў рад Тэйлара ў выглядзе:

 

Каб атрымаць лепшую скорасць збежнасці, можна скарыстаць наступную тоеснасць:

   
 
дзе y = (x−1)/(x+1) і x > 0.

Для ln(x), пры x > 1, чым бліжэй значэнне x к 1, тым большая скорасць збежнасці. У дасягненні гэтага таксама могуць дапамагчы лагарыфмічныя тоеснасці:

   
 
 
 

Такія метады прымяняліся яшчэ да з'яўлення калькулятараў, калі выкарыстоўваліся лікавыя табліцы і ажыццяўляліся пераўтварэнні, падобныя да прыведзеных вышэй.

Высокая дакладнасць

правіць

Для вылічэння натуральнага лагарыфма з вялікай колькасцю дакладных лічбаў рад Тэйлара не эфектыўны, бо збягаецца павольна. Калі x блізкі да 1, можна выкарыстаць метад Ньютана, каб абярнуць экспаненцыяльную функцыю, чый рад збягаецца хутчэй.

Яшчэ адной альтэрнатывай для вельмі высокай дакладнасці разлікаў з'яўляецца формула[11][12]:

 

дзе agm абазначае арыфметыка-геаметрычнае сярэдняе  (англ.) лікаў 1 і 4/s,

 

m выбрана так, што дасягалася дакладнасць p біт. (У большасці выпадкаў для m дастаткова значэння 8.) Больш таго, пры выкарыстанні гэтага метаду, можна, наадварот, эфектыўна вылічыць паказчыкавую функцыю, прымяніўшы метад Ньютана для абарачэння натуральнага лагарыфма. (Пастаянныя ln 2 і пі можна вылічыць загадзя з любой патрэбнай дакладнасцю, карыстаючыся любым вядомым хутка збежным радам.)

Вылічальная складанасць

правіць

Вылічальная складанасць натуральных лагарыфмаў (пры выкарыстанні арыфметыка-геаметрычнага сярэдняга) роўная O(M(n) ln n). Тут n — колькасць дакладных лічбаў, з якою трэба вылічыць натуральны лагарыфм, а M(n) — вылічальная складанасць перамнажэння двух n-значных лікаў.

Непарыўныя дробы

правіць

Хоць для прадстаўлення лагарыфма невядома простых непарыўных дробаў, ёсць аднак некалькі абагульненых непарыўных дробаў  (англ.), у тым ліку:

 
 

Камплексныя лагарыфмы

правіць

Экспаненцыяльная функцыя можа быць працягнута  (руск.) на ўсю камплексную плоскасць. Атрыманая ў выніку функцыя дае камплекснае значэнне ex для адвольнага камплекснага ліку x; пры гэтым выкарыстоўваецца бесканечны рад з камплексным x. Абарачэнне гэтай паказчыкавай функцыі дае камплексны лагарыфм, які праяўляе большасць уласцівасцей звычайных лагарыфмаў. Узнікае, аднак, дзве цяжкасці: не існуе x, для якога ex = 0, і аказваецца, што e2πi = 1 = e0. Паколькі мультыплікатыўныя ўласцівасці захоўваюцца і для камплекснай паказчыкавай функцыі, то ez = ez+2nπi для ўсіх камплексных z і цэлых n.

Такім чынам, лагарыфм нельга вызначыць на ўсёй камплекснай плоскасці, і нават пры гэтым ён мнагазначны — любы камплексны лагарыфм можна замяніць на «раўназначны» лагарыфм, дабавіўшы любое цэлае кратнае 2πi. Камплексны лагарыфм можа быць адназначным толькі на разрэзанай камплекснай плоскасці. Напрыклад, ln i = 1/2 πi ці 5/2 πi ці −3/2 πi, і г.д.

Гл. таксама

правіць

Зноскі

  1. Mortimer, Robert G. (2005). Mathematics for physical chemistry (3rd ed.). Academic Press. p. 9. ISBN 0-125-08347-5., Extract of page 9
  2. J J O'Connor and E F Robertson. The number e. The MacTutor History of Mathematics archive (1 верасня 2001). Архівавана з першакрыніцы 11 лютага 2012. Праверана 28 студзеня 2014.
  3. Cajori, Florian (1991). A History of Mathematics, 5th ed. AMS Bookstore. p. 152. ISBN 0821821024.
  4. Flashman, Martin. Estimating Integrals using Polynomials. Архівавана з першакрыніцы 11 лютага 2012. Праверана 28 студзеня 2014.
  5. Boyers, Carl (1968). A History of Mathematics. John Wiley & Sons.
  6. Harris, John (1987). "Australian Aboriginal and Islander mathematics" (PDF). Australian Aboriginal Studies. 2: 29–37. Архівавана з арыгінала (PDF) 31 жніўня 2007. Праверана 28 студзеня 2014.
  7. Large, J.J. (1902). "The vigesimal system of enumeration". Journal of the Polynesian Society. 11 (4): 260–261. Архівавана з арыгінала 1 лютага 2019. Праверана 28 студзеня 2014.
  8. Cajori first=Florian (1922). "Sexagesimal fractions among the Babylonians". American Mathematical Monthly. 29 (1): 8–10. doi:10.2307/2972914. ISSN 0002-9890. JSTOR 2972914. {{cite journal}}: Не хапае вертыкальнай рыскі ў: |last= (даведка)
  9. Larson, Ron (2007). Calculus: An Applied Approach (8th ed.). Cengage Learning. p. 331. ISBN 0-618-95825-8.
  10. Ballew, Pat. Math Words, and Some Other Words, of Interest(недаступная спасылка). Архівавана з першакрыніцы 11 лютага 2012. Праверана 28 студзеня 2014.
  11. Sasaki, T.; Kanada, Y. (1982). "Practically fast multiple-precision evaluation of log(x)". Journal of Information Processing. 5 (4): 247–250. Праверана 30 March 2011.
  12. Ahrendt, Timm (1999). "Fast computations of the exponential function". Lecture notes in computer science. 1564: 302–312. doi:10.1007/3-540-49116-3_28. {{cite journal}}: Шаблон цытавання journal патрабуе |journal= (даведка)

Спасылкі

правіць