สนาม F = ⟨−y, x²⟩ บนสี่เหลี่ยม 0 ≤ x ≤ 2, 0 ≤ y ≤ 1 ตัดเป็นช่องเล็ก ๆ แล้วเดินทวนเข็มนาฬิการอบแต่ละช่อง สนามหมุนเราแรงแค่ไหนในช่องหนึ่งคือ Q_x − P_y = 2x + 1 ยิ่งเขียวเข้มยิ่งหมุนแรงเพิ่ม n แล้วกดปุ่มเพื่อตัดเส้นด้านในออกเส้นด้านในทุกเส้นถูกเดินสองครั้ง ไปครั้งกลับครั้ง จึงหักล้างกัน เหลือแค่ขอบนอก นี่คือทฤษฎีบทของกรีน (Green's theorem): ∮ P dx + Q dy = ∬ (Q_x − P_y) dA ที่นี่ทั้งสองข้างได้ 6: เดินรอบขอบหนึ่งรอบ หรือรวมการหมุนข้างใน
ใช้กรีนกับ P = −y/2, Q = x/2 จะได้ พื้นที่ = ½∮(x dy − y dx) สำหรับวงกลมรัศมี 2 ได้ …
Q_x − P_y = ½ + ½ = 1 integral จึงเป็น ∬ 1 dA คือพื้นที่: π · 2² = 4π ส่วน 8π คือ ∮(x dy − y dx) ที่ลืมครึ่งหนึ่ง
และ 2π คือใช้ π r แทน π r²
ฟลักซ์ออกจากพื้นผิวปิด: ทฤษฎีบทไดเวอร์เจนซ์
เลือกสนาม แล้วเปลี่ยนรัศมี
เบราว์เซอร์นี้วาดภาพสามมิติไม่ได้ (ไม่มี WebGL)
บนพื้นผิว ส่วนของสนามที่ทะลุผ่าน F · n ตามเวกเตอร์ตั้งฉากชี้ออก เมื่อรวมทั่วพื้นผิวได้เป็นฟลักซ์ (flux) ∬ F · n dS: ปริมาณที่ไหลออก บนทรงกลม ลูกศรสีเขียวไหลออก สีแดงไหลเข้าลองทั้งสามสนาม แล้วเปลี่ยนรัศมีสนามที่พุ่งออกจากจุดกำเนิด ทุกอย่างไหลออก ฟลักซ์คือ 4πr³ สนามที่หมุนรอบแกน z ลูกศรแค่เลื่อนไปตามผิวทรงกลม: 0 สนามที่ขึ้นตรง ๆ ที่ไหลเข้าด้านล่างก็ไหลออกด้านบน: 0 ทฤษฎีบทไดเวอร์เจนซ์ (divergence theorem) บอกว่าฟลักซ์ออกเท่ากับการกระจายตัวข้างในรวมกัน ∬ F · n dS = ∭ div F dV โดย div F = P_x + Q_y + R_z ได้ 3 สำหรับสนามแรก และ 0 สำหรับสนามอื่น
ฟลักซ์ของ F = ⟨x, y, z⟩ ที่ออกจากลูกบาศก์ 0 ≤ x, y, z ≤ 1 คือ …
div F = 1 + 1 + 1 = 3 ทุกจุด และปริมาตรลูกบาศก์คือ 1 จึงได้ 3 คิดทีละหน้าก็ได้เท่ากัน: สามหน้าที่ x, y, z = 1
ปล่อยออกหน้าละ 1 อีกสามหน้าที่ 0 ไม่ปล่อยเลย ส่วน 6 คือนับทั้งหกหน้าเป็น 1 และ 1 คือปริมาตรอย่างเดียว
สโตกส์: พื้นผิวใดก็ได้ที่มีขอบเดียวกัน
สลับแผ่นเรียบกับโดม
เบราว์เซอร์นี้วาดภาพสามมิติไม่ได้ (ไม่มี WebGL)
กรีนที่ยกขึ้นไปในปริภูมิ ลมหมุนวน F = ⟨−y, x, 0⟩ เดินรอบขอบสีเหลืองหนึ่งรอบได้ 9π/2 การหมุนของมันคือเคิร์ล (curl) ∇ × F = ⟨0, 0, 2⟩ คือลูกศรสีเขียวสลับระหว่างแผ่นเรียบกับโดม ทั้งสองมีวงกลมสีเหลืองเป็นขอบทฤษฎีบทของสโตกส์ (Stokes' theorem): ∮ F · dr = ∬ (∇ × F) · n dS สำหรับพื้นผิว S ใดก็ได้ที่มีขอบเป็น C แผ่นเรียบกับโดมได้ 9π/2 เท่ากัน: บนโดม ลูกศรทะลุผ่านแบบเอียง แต่โดมใหญ่กว่า สองอย่างชดเชยกันพอดี จึงเลือกพื้นผิวที่ง่ายที่สุดได้
พื้นผิวสองแผ่นที่ต่างกันมีขอบ C เดียวกัน ฟลักซ์ของ ∇ × F ผ่านทั้งสองแผ่น …
ทั้งสองเท่ากับ ∮_C F · dr ซึ่งรู้จักแค่ขอบ แผ่นใหญ่กว่าคือกับดักของโดม: ความเอียงชดเชยขนาดพอดี อย่างที่เห็นในรูป
ได้ 0 ก็ต่อเมื่อการเดินรอบ C ไม่ทำงานเลย