ลอการิทึม

ลอการิทึม  เป็นการดำเนินการทางคณิตศาสตร์ที่เป็นฟังก์ชันผกผันของฟังก์ชันเลขชี้กำลัง ค่าลอการิทึมของจำนวนหนึ่งโดยกำหนดฐานไว้ให้ จะมีค่าเทียบเท่ากับ การเอาฐานมายกกำลังค่าลอการิทึม ซึ่งจะให้คำตอบเป็นจำนวนนั้น ตัวอย่างเช่น
ถ้าเขียนด้วยสัญลักษณ์ยกกำลังจะได้ว่า
ลอการิทึมของ "x" ในฐาน "b" เขียนแทนด้วย log"b" "x" หรือถ้าฐานมีค่าใด ๆ เป็นปริยาย จะเขียนเพียงแค่ log "x" (ไม่จำเป็นต้องใส่วงเล็บรอบ "x") ดังนั้นสำหรับจำนวน "x" ฐาน "b" และเลขชี้กำลัง "y" ที่สามารถเป็นไปได้
<math>x = b^y \,\Rarr\, y = \log_b x\!</math>
คุณลักษณะหนึ่งที่สำคัญของลอการิทึมคือการลดทอนการคูณไปเป็นการบวกดังนี้
<math>\log xy = \log x + \log y\!</math>
หมายความว่า ลอการิทึมของผลคูณของสองจำนวน จะเท่ากับผลรวมของลอการิทึมของแต่ละจำนวน การใช้ลอการิทึมเพื่อลดทอนการคำนวณที่ซับซ้อนเป็นหนึ่งในแรงผลักดันอย่างมีนัยสำคัญในการพัฒนาที่มีมาแต่เดิม มีการใช้งานลอการิทึมอย่างกว้างขวางทั้งในงานสถิติศาสตร์ เคมี ฟิสิกส์ ดาราศาสตร์ วิทยาการคอมพิวเตอร์ เศรษฐศาสตร์ ดนตรี และวิศวกรรมศาสตร์
สมบัติ.
เมื่อ "x" และ "b" ถูกกำหนดให้เป็นจำนวนจริงบวก log"b" "x" จะให้ผลเป็นจำนวนจริงเพียงหนึ่งเดียว ขนาดหรือค่าสัมบูรณ์ของจำนวนเชิงซ้อนของฐาน "b" จะต้องไม่เป็น 0 หรือ 1 แต่โดยทั่วไปฐานของลอการิทึมจะเป็น 10, e หรือ 2 มีการนิยามลอการิทึมสำหรับทั้งจำนวนจริงและจำนวนเชิงซ้อนด้วย 
สมบัติหลักของลอการิทึมคือการลดทอนการคูณไปเป็นการบวก ซึ่งพัฒนาจากเอกลักษณ์ของการยกกำลัง
<math>b^x \times b^y = b^{x+y}\!</math>
เมื่อใส่ลอการิทึมเข้าไปจะได้ว่า
<math>\log_b \left(b^x \times b^y \right) = \log_b b^{x+y} = x + y = \log_b b^x + \log_b b^y\!</math>
ตัวอย่างเช่น
<math>4 = 2^2 \,\Rarr\, \log_2 4 = 2\!</math>
<math>8 = 2^3 \,\Rarr\, \log_2 8 = 3\!</math>
<math>\log_2 32 = \log_2 (4 \times 8) = \log_2 4 + \log_2 8 = 2 + 3 = 5\!</math>
สมบัติที่เกี่ยวข้องคือการลดรูปยกกำลังไปเป็นการคูณ โดยใช้เอกลักษณ์นี้
<math>c = b^{\log_b c}</math>
ซึ่งเมื่อนำ "c" ไปยกกำลัง "p" จะได้ว่า
<math>c^p = \left(b^{\log_b c} \right)^p = b^{p \log_b c}</math>
กล่าวโดยนัยได้ว่า การหาค่าจำนวนหนึ่งที่ยกกำลัง "p" ก่อนอื่นให้หาค่าลอการิทึมฐาน "b" ของจำนวนนั้นแล้วคูณด้วย "p" แล้วใส่ผลคูณเป็นเลขชี้กำลังกลับไปยังฐาน "b" นั่นคือ "จำนวนที่ยกกำลัง" = "b" ("ผลคูณ")
หรือใส่ลอการิทึมเข้าไปจะได้ว่า
<math>\log_b c^p = p \log_b c\!</math>
ตัวอย่างเช่น
<math>\log_2 64 = \log_2 4^3 = 3 \log_2 4 = 6\!</math>
นอกจากการลดรูปการคูณเป็นการบวก และการยกกำลังเป็นการคูณแล้ว ลอการิทึมยังสามารถลดรูปการหารเป็นการลบ และรากเป็นการหาร เช่น
<math>\log_2 16 = \log_2 \tfrac{64}{4} = \log_2 64 - \log_2 4 = 6 - 2 = 4</math>
<math>\log_2 \sqrt[3]4 = \tfrac{1}{3} \log_2 4 = \tfrac{2}{3}</math>
ลอการิทึมทำการดำเนินการทางคณิตศาสตร์อันยืดยาวให้คำนวณง่ายขึ้นโดยการแปลงเป็นการคูณหรือการบวก สำหรับการคำนวณด้วยมือโดยประมาณ สามารถทำได้โดยการเทียบค่าจากตารางลอการิทึม หรือใช้สไลด์รูล สำหรับลอการิทึมสามัญ มีสมบัติหนึ่งที่ปรากฏในการใช้ตารางที่ว่า ลำดับตัวเลขใด ๆ ที่มีค่าเดียวกัน แต่มีค่าประจำหลักต่างกัน จะยังคงให้ "แมนทิสซา" (mantissa) ค่าเดียวกัน และต่างกันเพียงแค่ "แคแรกเทอริสติก" (characteristic)
ฟังก์ชันลอการิทึม.
ถึงแม้ว่าลอการิทึมเป็นแนวคิดดั้งเดิมของลำดับเลขคณิตของจำนวน ที่สอดคล้องกับลำดับเรขาคณิตของจำนวนอื่น (จำนวนจริงบวก) ดังเช่นที่ให้ความหมายไว้ในสารานุกรมบริตานิกา ค.ศ. 1797 ลอการิทึมยังเป็นผลลัพธ์จากการใช้ฟังก์ชันวิเคราะห์ ฟังก์ชันนั้นสามารถมีความหมายที่ขยายออกไปบนจำนวนเชิงซ้อนได้
ค่าของฟังก์ชัน log"b" "x" ขึ้นอยู่กับ "b" และ "x" ทั้งสองตัว แต่สำหรับฟังก์ชันลอการิทึมในการใช้งานตามปกติคือฟังก์ชันที่อยู่ในรูปแบบ log"b" ("x") โดยที่ฐาน "b" เป็นค่าเดียวคงที่ (ซึ่งต้องเป็นจำนวนบวกและไม่เท่ากับ 1) และมี "x" เป็นอาร์กิวเมนต์เท่านั้น ด้วยเหตุนี้จึงทำให้ฟังก์ชันลอการิทึมของแต่ละค่าบนฐาน "b" ให้ผลลัพธ์เพียงค่าเดียว ด้วยมุมมองนี้จึงทำให้ฟังก์ชันลอการิทึมฐาน "b" เป็นฟังก์ชันผกผันของฟังก์ชันเลขชี้กำลัง "b""x" บ่อยครั้งที่คำว่า "ลอการิทึม" หมายถึงฟังก์ชันลอการิทึมโดยตัวมันเองหรือหมายถึงค่าที่ออกมาจากฟังก์ชัน
ลอการิทึมของจำนวนลบหรือจำนวนเชิงซ้อน.
มีเพียงจำนวนจริงบวกเท่านั้นที่ให้ผลลัพธ์ของลอการิทึมเป็นจำนวนจริง ฟังก์ชันลอการิทึมสามารถขยายไปได้บนจำนวนเชิงซ้อน ซึ่งครอบคลุมจำนวนลบด้วย และให้ผลเป็นจำนวนเชิงซ้อน แต่ค่าของมันอาจมีมากกว่าหนึ่ง ตัวอย่างเช่น e2πi = e0 = 1 ซึ่งจะทำให้ลอการิทึมฐาน e ของ 1 มีผลลัพธ์เป็นทั้ง 2πi และ 0
เมื่อ "z" เป็นจำนวนเชิงซ้อนจำนวนหนึ่งซึ่งเขียนได้ในรูปแบบ "x" + i"y" โดยที่ "x" และ "y" เป็นจำนวนจริง ลอการิทึมของ "z" สามารถหาได้จากการแปลงเป็นรูปแบบเชิงขั้ว นั่นคือ
<math>z = r \mathrm{e}^{i \theta} = r (\cos \theta + i \sin \theta)\!</math>
โดยที่ "r" และ "θ" มาจาก
<math>r = |z| = \sqrt{x^2 + y^2}</math>
<math>\theta = \arg (z)\!</math> คือมุมใดก็ได้ที่ทำให้ "y"/"x" = tan "θ" ซึ่งอาจมีมากกว่าหนึ่งค่า
ถ้าฐานของลอการิทึมถูกเลือกเป็นค่า e นั่นคือใช้ loge หรือ ln อันหมายถึงลอการิทึมธรรมชาติ ดังนั้นลอการิทึมเชิงซ้อนของ "z" คำนวณได้ดังนี้
<math>\log (z) = \ln |z| + i \arg (z) = \ln r + i (\theta + 2 \pi k)\!</math>
แต่เนื่องจาก arg เป็นฟังก์ชันที่มีผลลัพธ์หลายค่า ดังนั้นจึงมีการนิยามฟังก์ชันใหม่ของลอการิทึมคือ Log (ขึ้นต้นอักษรตัวใหญ่) ซึ่งจะให้ค่าเพียงค่าเดียวดังนี้
<math>\operatorname{Log} (z) = \ln |z| + i \operatorname{Arg} (z) = \ln r + i \varphi\!</math>
โดยที่ "φ" จะให้ค่าเพียงค่าเดียวในช่วง (−π, π] ซึ่งมีความหมายเหมือนกับ "φ" ≡ "θ" (mod 2π) และ Arg คือฟังก์ชันที่ให้ค่ามุมเพียงค่าเดียวในช่วงดังกล่าว ซึ่งเป็นการนิยามเพิ่มเติมจากฟังก์ชัน arg ฟังก์ชัน Arg นี้เมื่อใช้กับจำนวนจริงจะคืนค่าเป็น 0 ออกมา ซึ่งส่งผลให้พจน์ที่เป็นจำนวนจินตภาพถูกตัดทิ้งไป เหลือแต่ลอการิทึมธรรมชาติของจำนวนจริงเท่านั้น
ลอการิทึมธรรมชาติของจำนวนจริงลบ "r" หาได้จากสูตร
<math>\operatorname{Log} (r) = \ln |r| + i \pi\!</math>
สำหรับลอการิทึมฐานอื่นที่ไม่ใช่ e ลอการิทึมเชิงซ้อน log"b" ("z") สามารถนิยามได้จาก ln ("z") / ln ("b") ซึ่งแต่ละพจน์ได้นิยามวิธีการคำนวณไว้แล้ว
ในกรณีที่เป็นจำนวนเชิงซ้อน log "z""p" อาจมีค่าไม่เท่ากับ "p" log "z" เสมอไป
ทฤษฎีสรุป.
จากมุมมองขั้นต้นทางคณิตศาสตร์ เอกลักษณ์นี้
<math>\log cd = \log c + \log d\!</math>
เป็นพื้นฐานของสองเรื่อง ประการแรกคือสมบัติเชิงเลขคณิตทั้งสามอาทิ สมบัติการสลับที่ การเปลี่ยนกลุ่ม การแจกแจง จะยังคงมีอยู่ ประการที่สองคือเอกลักษณ์นี้แสดงให้เห็นสมสัณฐาน (isomorphism) ระหว่างกรุปการคูณของจำนวนจริงบวกกับกรุปการบวกของจำนวนจริงทั้งหมด ฟังก์ชันลอการิทึมเท่านั้นที่เป็นสมสัณฐานอย่างต่อเนื่องระหว่างกรุปดังกล่าว
ฐาน.
ปกติแล้วฐานของลอการิทึมที่ใช้กันอย่างกว้างขวางได้แก่ 10, e ≈ 2.71828… และ 2 เมื่อเราเขียนว่า "log" โดยไม่ปรากฏฐาน ("b" ที่หายไปจาก log"b") ความหมายของฐานที่ใช้ขึ้นอยู่กับบริบทดังนี้
สัญกรณ์ของฐานและฐานโดยนัย.
บ่อยครั้งที่ฐานไม่ได้ระบุไว้อย่างชัดเจนในสัญกรณ์ log ("x") ซึ่งในแต่ละสาขาวิชาก็มีธรรมเนียมการใช้ต่างกัน เราสามารถเข้าใจได้โดยนัยในสาขาวิชาหรือภาวะแวดล้อมนั้น
มาตรฐานที่ต่างกันเกิดขึ้นจากสมบัติที่ต่างกันอันเป็นที่นิยมใช้ในสาขาวิชานั้น ตัวอย่างเช่น ลอการิทึมธรรมชาติมีสมบัติหลายอย่างที่เป็น "ธรรมชาติ" (เช่น อนุพันธ์ของมันเท่ากับ 1/"x" เป็นต้น) ทำให้เป็นที่น่าสนใจของนักคณิตศาสตร์ ในขณะที่เราเขียนจำนวนต่าง ๆ เป็นเลขฐานสิบ การคิดเลขในใจจึงง่ายขึ้นด้วยลอการิทึมสามัญ และเป็นที่น่าสนใจของวิศวกร และสุดท้าย คอมพิวเตอร์เก็บข้อมูลในหน่วยพื้นฐานเป็นบิต เทียบได้กับเลขฐานสอง เราสามารถทราบว่าจำนวนเต็ม "n" ใช้เนื้อที่เก็บกี่บิตอย่างคร่าว ๆ โดยใช้ลอการิทึมฐานสอง log2 ("n") สมบัติเช่นนี้ปรากฏซ้ำ ๆ ในวิทยาการคอมพิวเตอร์และทำให้ลอการิทึมฐานสองเป็นที่นิยมในสาขานี้ เป็นต้น
บ่อยครั้งที่ประเทศในแถบยุโรปใช้สัญกรณ์นี้ "b"log ("x") แทนที่จะเป็น log"b" ("x")
สัญกรณ์ ln.
ลอการิทึมธรรมชาติของ "x" เขียนได้อีกอย่างหนึ่งว่า ln ("x") แทนที่จะเป็น loge ("x") โดยเฉพาะในสาขาอื่นที่ไม่ใช่คณิตศาสตร์
อย่างไรก็ตามนักคณิตศาสตร์บางคนไม่ยอมรับการใช้สัญกรณ์นี้ อาทิ พอล ฮาลมอส (Paul Halmos) นักคณิตศาสตร์ชาวยิว ได้วิจารณ์ไว้ในอัตชีวประวัติของเขาเมื่อ ค.ศ. 1985 ว่า ln เป็น "สัญกรณ์แบบเด็ก ๆ" และเขายังกล่าวอีกด้วยว่าไม่มีนักคณิตศาสตร์คนไหนเคยใช้
ข้อเท็จจริงคือสัญกรณ์นี้คิดค้นขึ้นโดย เออร์วิง สตริงแฮม (Irving Stringham) ศาสตราจารย์จากมหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ เมื่อ ค.ศ. 1893
วิทยาการคอมพิวเตอร์.
ในวิทยาการคอมพิวเตอร์ ลอการิทึมฐานสองบางครั้งก็เขียนในรูปแบบ lg ("x") ซึ่งเสนอโดย เอดเวิร์ด เรนโกลด์ (Edward Reingold) และทำให้แพร่หลายโดย โดนัลด์ คนูธ (Donald Knuth) อย่างไรก็ตามสัญกรณ์นี้ก็มีการใช้เป็นลอการิทึมสามัญ และใช้ lb ("x") สำหรับลอการิทึมฐานสองแทน ในตำราของรัสเซีย สัญกรณ์ lg ("x") มีการใช้แทนลอการิทึมฐานสิบโดยทั่วไป รวมทั้งในเยอรมนี ในขณะที่ ld ("x") หรือ lb ("x") ใช้เป็นลอการิทึมฐานสอง ภาษาโปรแกรมพีแอล/วันใช้สัญกรณ์ log2 ("x") สำหรับลอการิทึมฐานสอง
ฐาน "b" ของฟังก์ชันลอการิทึมที่ทำงานเกี่ยวกับการเขียนโปรแกรม ถูกละทิ้งหรือทำให้ไม่ทราบค่า เพื่อความสะดวกต่อการใช้ในการเปลี่ยนฐาน ซึ่งเป็นเอกลักษณ์อย่างหนึ่งสำหรับการคำนวณฐานใด ๆ ไปเป็นลอการิทึมฐาน "r" ของ "x" ดังนี้
<math>\log_r(x) = \frac{\log_b(x)}{\log_b(r)}</math> สำหรับฐาน "b" ใด ๆ หรือเขียนเพียงแค่ <math>\log_r(x) = \frac{\log(x)}{\log(r)}</math>
ฐาน "b" ของฟังก์ชันลอการิทึมสามารถกำหนดโดยเจาะจงลงไปได้ เช่นการคำนวณความผิดพลาดของความคลาดเคลื่อน ด้วยเอกลักษณ์ต่อไปนี้
<math>b = n^\frac{1}{\log_{b}(n)}</math> หรือเขียนเพียงแค่ <math>\text{base} = n^\frac{1}{\log(n)}</math> สำหรับค่า "n" ใด ๆ ที่เหมาะสม
การแนะนำและมาตรฐาน.
สถาบันมาตรฐานและเทคโนโลยีแห่งชาติ กระทรวงพาณิชย์สหรัฐอเมริกา ได้แนะนำไว้ว่าควรปฏิบัติตามมาตรฐานไอเอสโอเรื่อง "ISO 31-11:1992 เครื่องหมายและสัญลักษณ์ทางคณิตศาสตร์สำหรับใช้ในวิทยาศาสตร์กายภาพและเทคโนโลยี" ซึ่งได้แนะนำสัญกรณ์ไว้สามแบบ ดังนี้