บทนำสู่แคลคูลัสเชิงสุ่ม

 (jiha-kim.github.io)
2 คะแนน โดย GN⁺ 2025-02-25 | 1 ความคิดเห็น | แชร์ทาง WhatsApp

แนะนำแคลคูลัสเชิงสุ่ม

0. บทนำ

  • เอกสารนี้เป็นบทนำอย่างย่อเกี่ยวกับแคลคูลัสเชิงสุ่ม โดยมุ่งเน้นสัญชาตญาณทางฟิสิกส์และการนำไปสู่การเคลื่อนที่แบบบราวเนียน มากกว่ารูปแบบเชิงทฤษฎีความน่าจะเป็นที่ซับซ้อน
  • หลีกเลี่ยงรูปแบบทางเทคนิค เช่น ปริภูมิความน่าจะเป็น ทฤษฎีการวัด และการกรอง และพิจารณาเฉพาะกรณีที่นิยามได้ชัดเจน
  • มีเป้าหมายเพื่อเผยแพร่ว่าแคลคูลัสเชิงสุ่มเกิดขึ้นอย่างเป็นธรรมชาติในโลกทางกายภาพได้อย่างไร
การประยุกต์ใช้
  • การเคลื่อนที่แบบบราวเนียนและแคลคูลัสอิโตะเป็นตัวอย่างของคณิตศาสตร์ขั้นสูงที่ใช้ในการสร้างแบบจำลองโลกจริง
  • ฟิสิกส์: ไอน์สไตน์ใช้การเคลื่อนที่แบบบราวเนียนเพื่อพิสูจน์การมีอยู่ของอะตอม
  • การเงิน: การกำหนดราคาออปชันอาศัยสมการเชิงอนุพันธ์สุ่ม
  • ชีววิทยา: การเดินแบบสุ่มใช้สร้างแบบจำลองการแพร่กระจายของสปีชีส์หรือการยิงสัญญาณของเซลล์ประสาท
  • ในแมชชีนเลิร์นนิงก็มีการประยุกต์ใช้เพิ่มมากขึ้นเช่นกัน

1. แรงจูงใจ

  • สามเหลี่ยมปาสกาลใช้เพื่ออธิบายการแจกแจงแบบทวินาม
  • ใช้สร้างแบบจำลองจำนวนความสำเร็จและความล้มเหลวในการทดลองที่เป็นอิสระต่อกัน
  • โลกจริงมักเกี่ยวข้องกับกระบวนการต่อเนื่อง ดังนั้นแคลคูลัสจึงเป็นธรรมชาติมากกว่า

2. จากขั้นไม่ต่อเนื่องสู่ขีดจำกัดแบบต่อเนื่อง

  • สำรวจความหมายทางคณิตศาสตร์เมื่อการแจกแจงแบบทวินามแปลงเป็นแบบต่อเนื่อง
  • อธิบายว่าการเดินแบบสุ่มไม่ต่อเนื่องลู่เข้าไปสู่การแจกแจงปกติในขีดจำกัดแบบต่อเนื่อง
  • ตามทฤษฎีบทขีดจำกัดส่วนกลาง ผลรวมของตัวแปรสุ่มอิสระจำนวนมากจะเข้าใกล้การแจกแจงปกติ

3. นิยามการเคลื่อนที่แบบบราวเนียน (กระบวนการวีเนอร์)

  • การเคลื่อนที่แบบบราวเนียนมีความต่อเนื่อง เป็นแบบสุ่ม และมีความแปรปรวนที่แปรผันตามเวลา
  • แบบจำลองทางคณิตศาสตร์ของการเคลื่อนที่แบบบราวเนียนสามารถคาดการณ์ได้ในภาพรวม แต่ในระดับเฉพาะที่ไม่สามารถคาดการณ์ได้โดยสิ้นเชิง

4. แคลคูลัสอิโตะ

  • การเคลื่อนที่แบบบราวเนียนไม่เรียบสม่ำเสมอจนไม่สามารถหาอนุพันธ์ได้
  • แคลคูลัสอิโตะพัฒนาระบบใหม่เพื่อจัดการกับความสุ่มของการเคลื่อนที่แบบบราวเนียน
  • Lemma ของอิโตะให้กฎลูกโซ่สำหรับความสุ่ม

5. สมการเชิงอนุพันธ์สุ่ม

  • แคลคูลัสอิโตะให้เครื่องมือสำหรับจัดการสมการเชิงอนุพันธ์สุ่ม
  • สมการเชิงอนุพันธ์สุ่มใช้สร้างแบบจำลองระบบโดยผสานพฤติกรรมเชิงกำหนดกับสัญญาณรบกวนเชิงสุ่ม

6. แคลคูลัสสตราโตโนวิช

  • แคลคูลัสสตราโตโนวิชลบพจน์อนุพันธ์อันดับสองของแคลคูลัสอิโตะออก เพื่อคงกฎลูกโซ่มาตรฐานไว้
  • มีประโยชน์ต่อการทำให้ระบบทางกายภาพหรือการคำนวณง่ายขึ้น

ภาคผนวก

A.0. อ่านเพิ่มเติม

  • แหล่งข้อมูลที่ให้บทนำเชิงสัญชาตญาณและวิธีการแก้สมการเชิงอนุพันธ์สุ่ม

A.1. สัญลักษณ์

  • แสดงรายการสัญลักษณ์ที่ใช้ในเอกสาร

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2025-02-25
ความคิดเห็นจาก Hacker News

  • Langevin Dynamics เป็นวิธีที่ใช้โมเมนตัมที่ถูกหน่วงของระบบและสัญญาณรบกวนที่ใส่เข้าไปในโมเมนตัมนั้น สามารถใช้กับการจำลอง molecular dynamics และการสุ่มตัวอย่างแบบ Bayesian MCMC ได้

    • เมื่อมีการกล่าวถึง Langevin Dynamics ในบริบทของ AI มักจะละการใช้โมเมนตัมออกไปบ่อยครั้ง น่าจะเพราะใน AI มีการใช้ gradient descent ที่มีโมเมนตัมกันอย่างแพร่หลายอยู่แล้ว
    • คำว่า "stochastic" หมายถึงการประมาณกราเดียนต์โดยใช้ข้อมูลบางส่วนในแต่ละขั้นตอน ซึ่งความเป็นสุ่มทั้งสองรูปแบบสามารถใช้พร้อมกันได้
    • มีบทนำที่มีประโยชน์สำหรับผู้อ่านที่มีพื้นฐานคณิตศาสตร์ระดับปริญญาตรีขั้นสูง/บัณฑิตศึกษา: ลิงก์

  • stochastic calculus ทำให้เกิดคำถามว่าเราจำเป็นต้องใช้คอมพิวเตอร์จำลองความเป็นไปได้จำนวนมากของเหตุการณ์หรือไม่ หรือถ้ารู้การกระจายของ dW แล้ว เราจะสามารถหาผลลัพธ์สุดท้ายที่สำคัญและการกระจายความน่าจะเป็นด้วยวิธีคณิตศาสตร์ที่สง่างามกว่านี้ได้หรือไม่ บทความนี้ยอดเยี่ยมมาก และให้ความรู้สึกเหมือนเริ่มเข้าใจ stochastic calculus เป็นครั้งแรก

  • มีตัวอย่างที่เพิ่งเจอมาไม่นานนี้

    • สมมติว่าเล่น "เกม" หนึ่ง ดึงเลขสุ่ม A ระหว่าง 0 กับ 1 (แบบ uniform) จากนั้นดึงเลขตัวที่สอง B จากการกระจายเดียวกัน ถ้า A > B ก็ให้ดึง B ใหม่อีกครั้ง (โดยคง A ไว้) โดยเฉลี่ยแล้วต้องดึงกี่ครั้ง? (พูดอีกแบบคือ "สตรีคชนะ" เฉลี่ยของ A ยาวเท่าไร?)
    • คำตอบคืออนันต์ เพราะบางครั้ง A อาจสูงมากจนต้องดึงใหม่หลายล้านครั้ง

  • คำถามถึงผู้อ่าน HN: มีการกำหนดตำแหน่งประมาณ 50 จุด (loci) ที่รวมความแตกต่างของ DNA ซึ่งควบคุมอัตราการตายในยีนของหนู ส่วนใหญ่มีผลแบบ "ประกัน" ที่ซับซ้อนและขึ้นกับอายุ ต้องการทำนายอายุขณะเสียชีวิต

    • stochastic calculus จะเป็นแนวทางที่มีประโยชน์สำหรับการพยากรณ์แบบประกันเกี่ยวกับอายุคาดเฉลี่ยของหนูหรือไม่?

  • มีคำถามถึงคนในสายการเงินว่าสิ่งเหล่านี้มีประโยชน์ในงานประจำวันมากน้อยแค่ไหน

  • มีการขอให้ช่วยตีความประโยคหนึ่ง

    • มีความเห็นที่สงสัยว่าในประโยค "Brownian motion และ Itô calculus เป็นตัวอย่างที่น่าทึ่งของคณิตศาสตร์ขั้นสูงมากที่ถูกนำไปใช้สร้างแบบจำลองโลกจริง" นั้น "Itô calculare" หมายถึงอะไร

  • มีการแบ่งปันความเข้าใจเกี่ยวกับ Itô calculus

    • กระบวนการสุ่มเพียงอย่างเดียวที่เราเข้าใจตั้งแต่แรกคือ Brownian motion
    • โชคดีที่เราสามารถเปลี่ยนพิกัดได้

  • มีความทรงจำเกี่ยวกับการเรียน stochastic calculus

    • สังเกตว่าในสถิติทั่วไป ส่วนเบี่ยงเบนมาตรฐานแตกต่างจาก "ความแปรผันกำลังสอง" อยู่เล็กน้อย จึงเคยจดโน้ตไว้เพื่อไปหาสาเหตุ คงเป็นเพราะความผันผวนเชิงสุ่ม

  • ยังน่าทึ่งอยู่ดีที่ diffusion model กำลังกลายเป็นหัวใจสำคัญของการสร้างภาพด้วย AI อย่างรวดเร็ว แต่รากฐานของมันฝังลึกอยู่ใน stochastic calculus

    • ใครจะไปคิดว่า Brownian motion จะมีส่วนช่วยสร้างมีมแมวได้ในที่สุด