Sách giải tích/Hàm số/Hàm số Lô ga rít

Trong toán học, logarit là ph;p toán nghịch của phep toán lũy thừa 10 . Thí dụ

Công thức tổng quát của Log

nếu có

Toán logarit sửa

Tích, thương, lũy thừa và căn sửa

Logarit của một tích là tổng các logarit của các thừa số; logarit của một thương gồm hai số là hiệu logarit của hai số đó. Logarit của một số lũy thừa Bản mẫu:Mvar bằng Bản mẫu:Mvar lần logarit của số đó; logarit của một số căn bậc Bản mẫu:Mvar là logarit của số đó chia cho Bản mẫu:Mvar. Bảng dưới đây liệt kê các phép tính logarit cơ bản nêu trên và các ví dụ.

Công thức Ví dụ
Tích    
Thương    
Lũy thừa    
Căn    

Đổi cơ số sửa

Logarit logbx có thể được tính từ logarit cơ số trung gian k của Bản mẫu:MvarBản mẫu:Mvar theo công thức:

 

Các máy tính bỏ túi điển hình thường tính logarit cơ số 10 và Bản mẫu:Mvar.[1] Logarit cơ số Bản mẫu:Mvar bất kỳ có thể được xác định bằng cách đưa một trong hai logarit đặc biệt này vào công thức trên:

 

Cho một số Bản mẫu:Mvar và logarit cơ số Bản mẫu:Mvar của nó logbx với Bản mẫu:Mvar chưa biết, thì Bản mẫu:Mvar được tính bằng

 

bằng cách mũ hóa biểu thức   lên số mũ 

Các cơ số đặc biệt sửa

 
Đồ thị của ba hàm số logarit phổ biến nhất với cơ số 2, Bản mẫu:Mvar và 10

Trong các giá trị của cơ số Bản mẫu:Mvar, có ba cơ số đặc biệt. Chúng gồm b = 10, b = e (hằng số vô tỉ xấp xỉ bằng 2,71828) và b = 2. Trong giải tích toán học, logarit cơ số Bản mẫu:Mvar là phổ biến nhất nhờ các tính chất được giải thích dưới đây. Mặt khác, có thể dễ dàng tính logarit cơ số 10 trong hệ thập phân:[2]

 

Do đó, log10x có liên hệ với số chữ số của một số nguyên dương Bản mẫu:Mvar: đó là số nguyên nhỏ nhất lớn hơn log10x.[3] Chẳng hạn, log101430 gần bằng 3,15. Số nguyên liền sau là 4 và là số chữ số trong số 1430. Logarit cơ số Bản mẫu:Mvar và logarit cơ số 2 thường được dùng trong lý thuyết thông tin, có liên quan đến hai đơn vị cơ bản nhất trong thông tin là natbit.[4] Logarit cơ số 2 cũng được sử dụng trong khoa học máy tính (hệ nhị phân); trong lý thuyết âm nhạc (quãng tám, đơn vị cent) và trong nhiếp ảnh để đo giá trị phơi sáng.[5]

Bảng dưới đây liệt kê các ký hiệu logarit thông dụng và lĩnh vực mà chúng được sử dụng. Một số tài liệu viết logx thay vì logbx khi cơ số của logarit là cố định tùy theo trường hợp. Ký hiệu blogx cũng tồn tại.[6] Cột "Ký hiệu ISO" liệt kê các ký hiệu do Tổ chức tiêu chuẩn hóa quốc tế khuyến nghị (ISO 80000-2).[7]

Cơ số Bản mẫu:Mvar Tên gọi của logbx Ký hiệu ISO Các ký hiệu khác Sử dụng trong
2 logarit nhị phân lb Bản mẫu:Mvar[8] ld Bản mẫu:Mvar,[9] log Bản mẫu:Mvar,[10] lg Bản mẫu:Mvar,[11] log2x khoa học máy tính, lý thuyết thông tin, lý thuyết âm nhạc, nhiếp ảnh
Bản mẫu:Mvar logarit tự nhiên ln Bản mẫu:Mvar[nb 1] log Bản mẫu:Mvar
(trong toán học[15] và nhiều ngôn ngữ lập trình[nb 2])
toán học, vật lý, hóa học,
thống kê, kinh tế học, lý thuyết thông tin và kỹ thuật
10 logarit thập phân lg Bản mẫu:Mvar log Bản mẫu:Mvar,[16] log10x
(trong kỹ thuật, sinh học, thiên văn học)
nhiều lĩnh vực trong kỹ thuật (xem decibel và mục Ứng dụng),
bảng logarit, máy tính bỏ túi, phổ học

Tính chất trong giải tích sửa

Người ta nghiên cứu sâu hơn về logarit thông qua khái niệm hàm số. Hàm số là quy tắc cho một số duy nhất từ một số bất kỳ cho trước.[17] Ví dụ, hàm số cho lũy thừa bậc Bản mẫu:Mvar của Bản mẫu:Mvar từ bất kỳ số thực Bản mẫu:Mvar nào với Bản mẫu:Mvar là cơ số được viết là  

Hàm số logarit sửa

Để giải thích định nghĩa logarit, cần phải chứng minh rằng phương trình

 

có một nghiệm Bản mẫu:Mvar duy nhất với Bản mẫu:MvarBản mẫu:Mvar là số dương và Bản mẫu:Mvar khác 1. Để chứng minh điều này, ta cần đến định lý giá trị trung gian trong giải tích sơ cấp.[18] Theo định lý, một hàm số liên tục cho hai giá trị Bản mẫu:MvarBản mẫu:Mvar cũng cho bất kỳ giá trị nào nằm giữa Bản mẫu:MvarBản mẫu:Mvar. Hàm số liên tục là hàm mà đồ thị của nó có thể được vẽ trên mặt phẳng tọa độ mà không cần nhấc bút lên.

Tính chất này có thể được chứng minh là đúng với hàm f(x) = Bản mẫu:Mvarx. Vì Bản mẫu:Mvar có thể mang giá trị dương lớn hay nhỏ tùy ý, nên mỗi số y > 0 đều nằm giữa f(x0)f(x1) với x0x1 thích hợp. Do đó, định lý giá trị trung gian đảm bảo rằng phương trình f(x) = Bản mẫu:Mvar có một nghiệm. Hơn nữa, nghiệm này là duy nhất vì hàm số Bản mẫu:Mvarhàm số tăng nếu b > 1 và là hàm số giảm nếu 0 < Bản mẫu:Mvar < 1.[19]

Nghiệm Bản mẫu:Mvar đó chính là logarit cơ số Bản mẫu:Mvar của Bản mẫu:Mvar, logby. Hàm số gán cho Bản mẫu:Mvar giá trị logarit của nó được gọi là hàm số logarit. Hàm số logarit y = logbx xác định trên tập hợp số thực dương, cho giá trị là một số thực bất kỳ, và là hàm số tăng duy nhất thỏa mãn f(b) = 1f(uv) = f(u) + f(v).[20]

Hàm ngược sửa

 
Đồ thị của hàm logarit logb(x) (màu xanh) đối xứng với đồ thị của hàm mũ bx (màu đỏ) theo đường thẳng x = Bản mẫu:Mvar.

Công thức logarit của một lũy thừa cho thấy với một số Bản mẫu:Mvar bất kỳ,

 

Lần lượt lấy lũy thừa bậc Bản mẫu:Mvar của Bản mẫu:Mvar rồi lấy logarit cơ số Bản mẫu:Mvar, ta lại có được Bản mẫu:Mvar. Ngược lại, với một số dương Bản mẫu:Mvar bất kỳ, biểu thức

 

cho thấy khi lấy logarit rồi lũy thừa, ta lại có được Bản mẫu:Mvar. Như vậy, khi đồng thời thực hiện phép lũy thừa và logarit trong cùng một số, ta có được số ban đầu. Vì vậy, logarit cơ số Bản mẫu:Mvarhàm ngược của f(x) = Bản mẫu:Mvarx.[21]

Hàm ngược có liên hệ mật thiết với hàm số gốc của nó. Đồ thị của chúng đối xứng nhau qua đường thẳng Bản mẫu:Mvar = Bản mẫu:Mvar như hình bên phải: một điểm (t, u = Bản mẫu:Mvart) trong đồ thị của f(x) tương ứng với điểm (u, t = logbu) trong đồ thị của hàm logarit và ngược lại. Như vậy, logb(x) phân kỳ lên vô hạn (lớn hơn bất kỳ số nào đã biết) nếu Bản mẫu:Mvar tăng đến vô hạn, với Bản mẫu:Mvar lớn hơn 1. Trong trường hợp này, logb(x)hàm số tăng. Khi b < 1 thì ngược lại, logb(x) dần về âm vô hạn. Khi Bản mẫu:Mvar dần về 0 thì giới hạn của logbx là âm vô hạn với b > 1 và là dương vô hạn với b < 1.

Đạo hàm và nguyên hàm sửa

 
Đồ thị của hàm logarit tự nhiên (màu xanh lá) và tiếp tuyến của nó tại x = 1,5 (màu đen)

Các tính chất giải tích của hàm số cũng đúng với hàm ngược của chúng.[18] f(x) = Bản mẫu:Mvarx là một hàm số liên tục và khả vi, và logby cũng vậy. Thông thường, một hàm số liên tục là hàm số khả vi nếu đồ thị của nó không bị "đứt gãy" ở bất cứ điểm nào. Hơn nữa, vì đạo hàm của f(x) bằng ln(b)bx theo tính chất của hàm mũ nên theo quy tắc hàm hợp, đạo hàm của logbx được tính bằng

 

tức là hệ số góc của tiếp tuyến đồ thị hàm logarit cơ số Bản mẫu:Mvar tại điểm (x, logb(x)) bằng 1/(x ln(b)).[19][22] Đặc biệt, đạo hàm của ln(x)1/x, nghĩa là nguyên hàm của 1/x bằng ln(x) + C. Đạo hàm với đối số hàm tổng quát f(x)

 

Tỉ số ở vế phải được gọi là đạo hàm logarit của f(x). Việc tính f'(x) bằng đạo hàm của ln(f(x)) được gọi là vi phân logarit.[23] Nguyên hàm của hàm logarit tự nhiên ln(x) là:[24]

 

Từ phương trình này, có thể suy ra các công thức liên quan chẳng hạn như nguyên hàm của logarit cơ số khác bằng phép đổi cơ số.[25]

Biểu diễn tích phân của logarit tự nhiên sửa

 
Logarit tự nhiên của Bản mẫu:Mvar là diện tích phần hình được tô đậm nằm dưới đồ thị hàm số f(x) = 1/x (nghịch đảo của Bản mẫu:Mvar).

Logarit tự nhiên của Bản mẫu:Mvar bằng tích phân của 1/x Bản mẫu:Mvar từ 1 đến Bản mẫu:Mvar:

 

Nói cách khác, ln(t) là diện tích của hình phẳng giới hạn bởi trục hoành và đồ thị của hàm số 1/x, từ x = 1 đến x = t (hình bên phải). Đó là hệ quả từ việc áp dụng định lý cơ bản của giải tích và việc đạo hàm của ln(x)1/x. Vế phải của phương trình trên có thể được xem là khái niệm về logarit tự nhiên. Các công thức logarit của tích và lũy thừa đều có thể được suy ra từ khái niệm này.[26] Chẳng hạn, ta có công thức tích ln(tu) = ln(t) + ln(u)

 

Đẳng thức (1) chia tích phân thành hai phần, còn đẳng thức (2) là phép đổi biến số (w = Bản mẫu:Mvar/t). Trong hình dưới đây, phép tách tích phân này tức là chia hình phẳng thành hai phần màu vàng và màu xanh. Thay đổi kích thước phần hình phẳng màu xanh bên trái theo hàng dọc tỉ lệ theo biến Bản mẫu:Mvar và thu nhỏ lại nó theo hàng ngang theo tỉ lệ đó không làm thay đổi diện tích của nó. Di chuyển phần hình màu xanh một cách thích hợp thì nó lại khớp với đồ thị hàm số f(x) = 1/x. Do đó, phần hình phẳng màu xanh bên trái, tức là tích phân của f(x) từ Bản mẫu:Mvar đến Bản mẫu:Mvar bằng tích phân từ 1 đến Bản mẫu:Mvar. Tính chất này giải thích cho đẳng thức (2) một cách trực quan.

 
Hình ảnh minh họa công thức tích của logarit tự nhiên

Chứng minh tương tự, ta cũng có công thức lũy thừa ln(tr) = r ln(t):

 

Phép biến đổi thứ hai có sự thay đổi biến số w = Bản mẫu:Mvar1/r.

Tổng của dãy nghịch đảo các số tự nhiên,

 

được gọi là chuỗi điều hòa. Nó có liên hệ với logarit tự nhiên: khi Bản mẫu:Mvar tiến đến vô hạn thì hiệu

 

hội tụ về một số được gọi là hằng số Euler–Mascheroni γ = 0,5772.... Mối liên hệ này có vai trò trong việc phân tích hoạt động của các thuật toán, chẳng hạn như sắp xếp nhanh.

Ngoài ra, ln(x) còn có một biểu diễn tích phân được suy ra từ tích phân Frullani khi f(x) = Bản mẫu:Mvarxa = 1, được ứng dụng trong vật lý và một số trường hợp khác:

 

Tính siêu việt sửa

Số thực không phải là số đại số được gọi là số siêu việt.[27] πe là hai số như vậy, còn   không phải là số siêu việt. Hầu hết số thực đều là số siêu việt. Logarit là một ví dụ về một hàm số siêu việt. Định lý Gelfond–Schneider khẳng định rằng logarit thường cho các giá trị siêu việt.

  1. Bernstein, Stephen; Bernstein, Ruth (1999), Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability, Schaum's outline series, New York: McGraw-Hill, ISBN 978-0-07-005023-5, tr. 21
  2. Downing, Douglas (2003), Algebra the Easy Way, Barron's Educational Series, Hauppauge, NY: Barron's, ISBN 978-0-7641-1972-9 {{citation}}: Invalid |ref=harv (help), chương 17, tr. 275
  3. Wegener, Ingo (2005), Complexity theory: exploring the limits of efficient algorithms, Berlin, New York: Springer-Verlag, ISBN 978-3-540-21045-0, tr. 20
  4. Van der Lubbe, Jan C. A. (1997), [[[:Bản mẫu:Google books]] Information Theory], Cambridge University Press, p. 3, ISBN 978-0-521-46760-5 {{citation}}: Check |url= value (help)
  5. Allen, Elizabeth; Triantaphillidou, Sophie (2011), [[[:Bản mẫu:Google books]] The Manual of Photography], Taylor & Francis, p. 228, ISBN 978-0-240-52037-7 {{citation}}: Check |url= value (help)
  6. Embacher, Franz; Oberhuemer, Petra, Mathematisches Lexikon (in Tiếng Đức), mathe online: für Schule, Fachhochschule, Universität unde Selbststudium, retrieved ngày 17 tháng 6 năm 2020 {{citation}}: Check date values in: |access-date= (help)
  7. "Quantities and units – Part 2: Mathematical signs and symbols to be used in the natural sciences and technology" (PDF), International Standard ISO 80000-2 (1st ed.), ngày 1 tháng 12 năm 2009, Section 12, Exponential and logarithmic functions, tr. 18 {{citation}}: Check date values in: |date= (help).
  8. Gullberg, Jan (1997), Mathematics: from the birth of numbers., New York: W. W. Norton & Co, ISBN 978-0-393-04002-9
  9. Bản mẫu:Citation
  10. Fiche, Georges; Hebuterne, Gerard (2013), Mathematics for Engineers, John Wiley & Sons, p. 152, ISBN 978-1-118-62333-6, In the following, and unless otherwise stated, the notation log x always stands for the logarithm to the base 2 of Bản mẫu:Mvar.
  11. Xem chú thích 1 trong Bản mẫu:Citation
  12. Halmos, Paul (1985), I Want to Be a Mathematician: An Automathography, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96078-4
  13. Stringham, Irving (1893), [[[:Bản mẫu:Google books]] Uniplanar algebra: being part I of a propædeutic to the higher mathematical analysis], The Berkeley Press, p. xiii {{citation}}: Check |url= value (help)
  14. Freedman, Roy S. (2006), [[[:Bản mẫu:Google books]] Introduction to Financial Technology], Amsterdam: Academic Press, p. 59, ISBN 978-0-12-370478-8 {{citation}}: Check |url= value (help)
  15. Xem Định lý 3.29 trong Bản mẫu:Citation
  16. Bản mẫu:Citation
  17. Bản mẫu:Citation, hoặc xem thêm chú thích trong bài hàm số
  18. 18,0 18,1 Lang, Serge (1997), Undergraduate analysis, Undergraduate Texts in Mathematics (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4757-2698-5, ISBN 978-0-387-94841-6, MR 1476913 {{citation}}: Invalid |ref=harv (help), chương III.3
  19. 19,0 19,1 Bản mẫu:Harvnb
  20. Dieudonné, Jean (1969), Foundations of Modern Analysis, vol. 1, New York, London: Academic Press, p. 84
  21. Stewart, James (2007), Single Variable Calculus: Early Transcendentals, Belmont: Thomson Brooks/Cole, ISBN 978-0-495-01169-9, mục 1.6
  22. “Calculation of d/dx(Log(b,x)). Wolfram Alpha. Wolfram Research.
  23. Kline, Morris (1998), Calculus: an intuitive and physical approach, Dover books on mathematics, New York: Dover Publications, ISBN 978-0-486-40453-0, tr. 386
  24. “Calculation of Integrate(ln(x)). Wolfram Alpha. Wolfram Research.
  25. Bản mẫu:Harvnb
  26. Courant, Richard (1988), Differential and integral calculus. Vol. I, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-60842-4, MR 1009558, chương III.6
  27. Nomizu, Katsumi (1996), [[[:Bản mẫu:Google books]] Selected papers on number theory and algebraic geometry], vol. 172, Providence, RI: AMS Bookstore, p. 21, ISBN 978-0-8218-0445-2 {{citation}}: Check |url= value (help)


Chú thích có lỗi Đã tìm thấy thẻ <ref> với tên nhóm “nb”, nhưng không tìm thấy thẻ tương ứng <references group="nb"/> tương ứng, hoặc thẻ đóng </ref> bị thiếu; $2