مبرهنة غرين

في الرياضيات، **مبرهنة غرين**  تعطي العلاقة بين التكامل الخطي حول منحنى بسيط مغلق *C* والتكامل الثنائي على منطقة مستوية *D* محصورة ضمن *C*. تعد النظرية حالة خاصة ثنائية البعد من نظرية أعم هي مبرهنة ستوكس، وجاء الاسم كتقدير للرياضياتي الإنكليزي جورج غرين.

ليكن *C* منحنى مغلق بسيط، إيجابي الوجهة، متفرع أملس، في المستوى **<math> \mathbb{R}^2 </math>**، ولتكن *D* المنطقة المحصورة بالمنحنى *C*. إذا كانت *L* و*M* دوال في (*x*، *y*) معرفة على منطقة مفتوحة تحتوي *D* ولها مشتقات جزئية متصلة هناك، فإن

:\oint_{C} (L\, \mathrm{d}x + M\, \mathrm{d}y) = \iint_{D} \left(\frac{\partial M}{\partial x} - \frac{\partial L}{\partial y}\right)\, \mathrm{d}x\, \mathrm{d}y.

في حالة الوجهة الإيجابية، يمكن رسم سهم يشير باتجاه عكس عقارب الساعة في الدائرة الصغيرة الموجودة وسط علامة التكامل (\oint).

لمبرهنة غرين أهمية كبيرة في الفيزياء، لحل تكاملات جريان ثنائي البعد، وتنص على أن مجموع التدفقين عند أي نقطة داخل الحجم تساوي إجمالي التدفق المتجمع حول مساحة مغلقة.

## البرهان عندما تكون ''D'' منطقة بسيطة
تصغير|300بك|إذا كانت ''D'' منطقة بسيطة حدودها تحوي المنحيات ''C''<sub>1</sub>، ''C''<sub>2</sub>، ''C''<sub>3</sub>, ''C''<sub>4</sub>، يصبح تمثيل مبرهنة غرين ممكناً.

فيما يلي برهان للنظرية في حالة منطقة بسيطة *D*، وهي منطقة من النوع I (تلفظ واحد) تكون فيها *C*2 و*C*4 عبارة عن مستقيمين قائمين. يوجد أيضا برهان مماثل للحالة *D* منطقة من النوع II (تلفظ اثنان) حيث تكون *C*1 و*C*3 خطوط مستقيمة. يمكن استخلاص الحالة العامة من هذه الحالة الخاصة بتقريب المجال *D* باتحاد مؤلف من مجالات بسيطة.

إذا كان ممكن إثبات أن

:\int_{C} L\, dx = \iint_{D} \left(- \frac{\partial L}{\partial y}\right)\, dA\qquad\mathrm{(1)}

و

:\int_{C} M\, dy = \iint_{D} \left(\frac{\partial M}{\partial x}\right)\, dA\qquad\mathrm{(2)}

صائبتان، فإنه يكون قد تم برهنة نظرية غرين في الحالة الأولى.

عرف منطة *D* من النوع I كما هو مبين في الصورة:

:D = \{(x,y)|a\le x\le b, g_1(x) \le y \le g_2(x)\}

حيث *g*1 و*g*2 هما دالتان متصلتان على الفترة [*a*, *b*]. احسب التكامل الثنائي في العلاقة (1):

: 
\begin{align}
\iint_D \frac{\partial L}{\partial y}\, dA
& =\int_a^b\,\int_{g_1(x)}^{g_2(x)} \frac{\partial L}{\partial y} (x,y)\,dy\,dx \\
& = \int_a^b \Big\{L(x,g_2(x)) - L(x,g_1(x)) \Big\} \, dx\qquad\mathrm{(3)}
\end{align}


الآن قم باحتساب التكامل الخطي في العلاقة (1). *C* يمكن إعادة صياغتها كاتحاد لأربعة منحنيات: *C*1, *C*2, *C*3, *C*4.

مع *C*1، استعن بالدوال الوسيطة: *x* = *x*, *y* = *g*1(*x*), *a* ≤ *x* ≤ *b*. على ذلك

:\int_{C_1} L(x,y)\, dx = \int_a^b L(x,g_1(x))\, dx

مع *C*3، استخدم الدوال الوسيطة: *x* = *x*, *y* = *g*2(*x*), *a* ≤ *x* ≤ *b*. بالتالي

: \int_{C_3} L(x,y)\, dx = -\int_{-C_3} L(x,y)\, dx = - \int_a^b L(x,g_2(x))\, dx

التكامل على *C*3 يصبح سالباً لأنه يخالف الاتجاه الموجب *b* إلى *a*، حيث أن *C* متجهة إيجاباً (عكس عقارب الساعة). على *C*2 و*C*4 بينما *x* تبقى ثابتة ما يعني أن

: \int_{C_4} L(x,y)\, dx = \int_{C_2} L(x,y)\, dx = 0

لذلك،

:
\begin{align}
\int_{C} L\, dx & = \int_{C_1} L(x,y)\, dx + \int_{C_2} L(x,y)\, dx + \int_{C_3} L(x,y)\, dx + \int_{C_4} L(x,y)\, dx \\
& = -\int_a^b L(x,g_2(x))\, dx + \int_a^b L(x,g_1(x))\, dx\qquad\mathrm{(4)}
\end{align}


بدمج (3) مع (4)، نحصل على العلاقة (1). بحسابات مماثلة يمكن الحصول على العلاقة (2).

## مراجع

تصنيف:حساب المتجهات
تصنيف:مبرهنات في حساب التفاضل والتكامل
تصنيف:مقالات تحوي براهين