
Stokes' theorem relates the integral of a differential form over a manifold to the integral of its exterior derivative over the boundary.بعد أن صاغها جورج ستوكس في منتصف القرن التاسع عشر لديناميك الموائع، سرعان ما أصبحت هذه الصيغة الشهيرة أداة عالمية في الفيزياء. الصيغة الكلاسيكية: دوران متجه على مسار مغلق يساوي تدفق دَوَرانه عبر أي سطح مشدود على المسار: ∮_C F·dr = ∬_S (∇×F)·dS. النسخة المعممة - مبرهنة ستوكس الكبرى - تنص على أن تكامل الصيغة التفاضلية على حافة متعدد شعب يساوي تكامل مشتقتها الخارجية على كامل متعدد الشعب. وتوحد هذه الصيغة بأناقة حالات خاصة: مبرهنة غرين في المستوي، ومبرهنة غاوس-أوستروغرادسكي في الفضاء، ومبرهنة كلفن-ستوكس نفسها.
يعود اسم المبرهنة إلى جورج ستوكس، لكن صياغتها الأولى ظهرت في مراسلاته مع ويليام طومسون (1850). واستخدمها ستوكس كسؤال امتحاني في جائزة سميث المرموقة في كامبريدج. وأعطاها الصيغة الشعاعية أوليفر هيفسايد وجوزايا غيبس في ثمانينيات القرن التاسع عشر. أما الصيغة الأكثر عمومية فقدمها إيلي كارتان في أوائل القرن العشرين عبر الصيغ التفاضلية؛ وزادها تعميماً جورج دي رام في نظرية التماثل المرافق.
تُطبَّق في الكهروديناميك (قانون فاراداي بصيغته التكاملية، مبرهنة دوران الحقل المغناطيسي)، والديناميك الهوائي (مبرهنة جوكوفسكي عن قوة الرفع)، ونظرية الجاذبية (قوانين الانحفاظ في النسبية العامة). الحدود: يجب أن يكون متعدد الشعب أملساً وقابلاً للتوجيه؛ وعند وجود شذوذات (مثل الدوامات الخيطية) تلزم شروط حدية إضافية. وفي ميكانيكا الكم، النظير هو تكامل المسار لفاينمان، حيث ترتبط المؤثرات الطوبولوجية (طور بَرّي) ارتباطاً وثيقاً بالتأويل الهندسي للمبرهنة.
باستخدامها يحسب المهندسون قوة رفع الجناح وسحب المروحة، ويستنتج الفيزيائيون قانون الحث الكهرومغناطيسي: تغير التدفق المغناطيسي يولّد جهداً كهربائياً في الحلقة.
أكثر صياغة موجزة للمبرهنة الأساسية في التفاضل والتكامل ∫_a^b f'(x)dx = f(b)–f(a) هي كذلك حالة خاصة من مبرهنة ستوكس العامة، ولكن من أجل قطعة مستقيمة أحادية البعد.
| f''(x) | متغير | Second derivative of function f at x — المشتقة الثانية per metre squared |
| f(x+h) | متغير | Function value at x+h — قيمة دالة |
| f(x-h) | متغير | Function value at x-h — قيمة دالة |
| f(x) | متغير | Function value at x — قيمة دالة |
| h | متغير | Step size — spacing metre |
| \approx | مؤثر | Approximately equal to — تقريب |




