กลับไปหน้าบทความ

อ่าน 3 นาที

ถึงเวลาแล้ว

ในการศึกษาเกี่ยวกับ กระบวนการสุ่ม ใน ทางคณิตศาสตร์ เวลา ที่กระบวนการ " เข้าถึง " (หรือ เวลาเข้าถึงครั้งแรก ) คือเวลาแรกที่กระบวนการที่กำหนด "เข้าถึง" กลุ่มย่อย ที่กำหนด ใน...

ถึงเวลาแล้ว

เวลาที่ใช้ในการชนและหยุดของตัวอย่างการเคลื่อนที่แบบบราวน์ 3 ตัวอย่าง
เวลาชนและเวลาหยุดของตัวอย่างการเคลื่อนที่แบบบราวน์ 3 ตัวอย่าง

ในการศึกษาเกี่ยวกับกระบวนการสุ่มในทางคณิตศาสตร์เวลา ที่กระบวนการ " เข้าถึง " (หรือเวลาเข้าถึงครั้งแรก ) คือเวลาแรกที่กระบวนการที่กำหนด "เข้าถึง" กลุ่มย่อย ที่กำหนด ในปริภูมิสถานะเวลาออกและเวลากลับก็เป็นตัวอย่างของเวลาที่เข้าถึงเช่นกัน

คำจำกัดความ

ให้Tเป็นเซตดัชนี เรียงลำดับ เช่นจำนวนธรรมชาติจำนวนจริงที่ไม่เป็นลบ ⁠ [ 0 , +∞)หรือเซตย่อยของจำนวนเหล่านี้โดยสามารถมองสมาชิกใน เซต T ว่าเป็น "เวลา" กำหนดให้ ปริภูมิความน่าจะเป็น(Ω, Σ, Pr)และปริภูมิสถานะที่วัดได้Sให้เป็นกระบวนการสุ่มและให้Aเป็นเซตย่อยที่วัดได้ของปริภูมิสถานะSแล้วเวลาที่กระทบครั้งแรกคือตัวแปรสุ่มที่กำหนดโดย

เวลาออกครั้งแรก ( จากA ) ถูกกำหนดให้เป็นเวลากระทบครั้งแรกสำหรับS \ Aซึ่งเป็นส่วนเติมเต็มของAในSที่น่าสับสนคือ มักจะใช้สัญลักษณ์τ Aแทน ด้วย [ 1 ]

เวลาการกลับมาครั้งแรกถูกกำหนดให้เป็นเวลาการกระทบครั้งแรกสำหรับเซตเอกลักษณ์{ X 0 ( ω )}ซึ่งโดยปกติจะเป็นองค์ประกอบเชิงกำหนดที่กำหนดไว้ในปริภูมิสถานะ เช่น จุดกำเนิดของระบบพิกัด

ตัวอย่าง

  • เวลาหยุดใดๆ ก็ตามถือเป็นเวลาที่เหมาะสมสำหรับกระบวนการและชุดเป้าหมายที่เลือกไว้อย่างถูกต้อง ซึ่งเป็นผลมาจากทฤษฎีบทของเดบูต์ ในทางกลับกัน (ฟิชเชอร์, 2013)
  • ให้Bแทนการเคลื่อนที่แบบบราวน์ มาตรฐาน บนเส้นจำนวนจริงโดยเริ่มต้นที่จุดกำเนิด แล้วเวลาที่ชนτA จะตรงตามข้อกำหนดการวัดได้ที่จะเป็นเวลาหยุดสำหรับเซตที่วัดได้แบบบอเรทุกเซต
  • สำหรับBดังที่กล่าวมาข้างต้น ให้τ r ( r > 0 ) แทนเวลาออกครั้งแรกสำหรับช่วงเวลา(− r , r )กล่าวคือ เวลากระทบครั้งแรก จากนั้นค่าเฉลี่ยและความแปรปรวนของτ rจะเป็นไปตาม

  • สำหรับBดังที่กล่าวมาข้างต้น เวลาที่กระทบจุดเดียว (ซึ่งแตกต่างจากจุดเริ่มต้น 0) จะมี การกระจาย แบบLévy

ทฤษฎีบทเดบุท

เวลาที่เซตF เข้าถึงเป้าหมาย (hitting time) เรียกอีกอย่างว่าเดบูต์ (début)ของFทฤษฎีบทเดบูต์กล่าวว่า เวลาที่เซตF ที่วัดได้เข้าถึงเป้าหมาย สำหรับกระบวนการที่วัดได้แบบก้าวหน้าโดยสัมพันธ์กับฟิลเทรชันแบบต่อเนื่องทางขวาและสมบูรณ์นั้น เป็นเวลาหยุด กระบวนการที่วัดได้แบบก้าวหน้าโดยเฉพาะอย่างยิ่ง ได้แก่กระบวนการปรับตัวแบบ ต่อเนื่องทางขวาและทางซ้ายทั้งหมด การพิสูจน์ว่าเดบูต์สามารถวัดได้นั้นค่อนข้างซับซ้อนและเกี่ยวข้องกับคุณสมบัติของเซตเชิงวิเคราะห์ทฤษฎีบทนี้ต้องการให้ปริภูมิความน่าจะเป็นพื้นฐานสมบูรณ์หรืออย่างน้อยก็สมบูรณ์ในระดับสากล

บทกลับของทฤษฎีบท Débutระบุว่าเวลาหยุด ทุกเวลา ที่กำหนดโดยสัมพันธ์กับฟิลเทรชันเหนือดัชนีเวลาค่าจริงสามารถแทนด้วยเวลากระทบได้ โดยเฉพาะอย่างยิ่ง สำหรับเวลาหยุดดังกล่าวแทบทุกเวลา จะมีกระบวนการปรับตัวที่ไม่เพิ่มขึ้นพร้อมเส้นทาง càdlàg (RCLL) ที่รับค่า 0 และ 1 เท่านั้น โดยที่เวลากระทบของเซต{0}โดยกระบวนการนี้คือเวลาหยุดที่พิจารณา การพิสูจน์นั้นง่ายมาก[ 2 ]

โซ่ Markov

ถ้าห่วงโซ่มาร์คอฟไม่สามารถลดทอนได้และมีการเกิดซ้ำในเชิงบวก การกระจายสถานะคงที่จะมีเพียงหนึ่งเดียวและกำหนดโดย

โดยที่τ i คือเวลาโจมตี สำหรับสถานะi [ 3 ]

สิ่งนี้สามารถมองได้ว่าเป็นกรณีพิเศษของทฤษฎีบทของ Kac

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Hitting_time&oldid=1340034622 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ถึงเวลาแล้ว

ในการศึกษาเกี่ยวกับ กระบวนการสุ่ม ใน ทางคณิตศาสตร์ เวลา ที่กระบวนการ " เข้าถึง " (หรือ เวลาเข้าถึงครั้งแรก ) คือเวลาแรกที่กระบวนการที่กำหนด "เข้าถึง" กลุ่มย่อย ที่กำหนด ใน...

คำจำกัดความ

ให้ T เป็น เซตดัชนี เรียงลำดับ เช่น จำนวนธรรมชาติ ⁠ ⁠ เอ็น , {\displaystyle \mathbb {N} ,} จำนวนจริงที่ ไม่เป็นลบ ⁠ [ 0 , +∞) หรือเซตย่อยของจำนวนเหล่านี้ โดย สามารถมองสมาชิกใน เซต T ว่าเป็น "เวลา" กำหนดให้ ที ∈ ที {\displaystyle t\in T} ปริภูมิความน่าจะเป็น...

ตัวอย่าง

อี ⁡ [ τ ร ] = ร 2 , วาร์ ⁡ [ τ ร ] = 2 3 ร 4 . {\displaystyle {\begin{aligned}\operatorname {E} \left[\tau _{r}\right]&=r^{2},\\\operatorname {Var} \left[\tau _{r}\right]&={\tfrac {2}{3}}r^{4}.\end{aligned}}}

ทฤษฎีบทเดบุท

เวลาที่เซต F เข้าถึงเป้าหมาย (hitting time) เรียกอีกอย่างว่า เดบูต์ (début) ของ F ทฤษฎีบทเดบูต์กล่าวว่า เวลาที่เซต F ที่วัดได้เข้าถึงเป้าหมาย สำหรับ กระบวนการที่วัดได้แบบก้าวหน้า โดยสัมพันธ์กับฟิลเทรชันแบบต่อเนื่องทางขวาและสมบูรณ์นั้น เป็นเวลาหยุด...