تكامل خطي

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
مواضيع في الحسبان
المبرهنة الأساسية
نهايات الدوال
استمرارية
مبرهنة القيمة المتوسطة

التكامل الخطي في علم الرياضيات, يدعى أحيانا بتكامل المسار أو تكامل المنحنى, هو تكامل يتم فيه حساب تكامل الدالة على منحنى. ينبغي عدم الخلط بين هذا التكامل وحساب طول قوس بالتكامل. هناك العديد من التكاملات الخطية كما أن هناك حالة خاصة من التكامل على مسار مغلق في بعدين أو المستوى العقدي هي تكامل الكفاف.

يمكن أن تكون الدالة المكاملة حقل قياسي أو حقل متجهي. قيمة التكامل الخطي عبارة عن مجموع قيم المجال عند جميع النقاط على المنحنى, يتم توزينها بدالة قياسية معينة على المنحنى (طول القوس عادة, أو بالنسبة لمجال متجه, الضرب القياسي للمجال المتجه مع متجه تفاضلي في المنحنى). هذا التوزين يميز التكامل الخطي عن التكاملات البسيطة المعرفة على فترات. العديد من الصيغ البسيطة في الفيزياء, (على سبيل المثال لحساب الشغل الميكانيكي, W=\mathbf{F}\cdot\mathbf{s}) لها تماثليات طبيعية متصلة بدلالة التكاملات الخطية (W=\int_C \mathbf{F} \cdot d \mathbf{s}). يستطيع التكامل الخطي ايجاد الشغل الميكانيكي المبذول على جسم متحرك في مجال كهربي أو جاذبية مثلا.

تفاضل المتجه[عدل]

يمكن تشبيه التكامل الخطي في تفاضل المتجه كمقياس للتأثير الكلي لمجال معطى على طول المنحنى.

التكامل الخطي لمجال قياسي[عدل]

يمكن تفسير التكامل الخطي على مجال قياسي بأنه المساحة تحت المجال المنحوتة بمنحنى معين. تخيل السطح المنشأ بـz = f(x,y) والمنحنى C في المستوى x-y. يكون التكامل الخطي لـf هو المساحة الناتجة من نقش هذه النقاط على السطح C مباشرة.

تعريف[عدل]

إذا كان لدينا مجال قياسي f : URnR, يعرف التكامل الخطي على منحنى CU is على أنه

\int_C f\, ds = \int_a^b f(\mathbf{r}(t)) |\mathbf{r}'(t)|\, dt.

حيث

r: [a, b] → C تقابل بارامتري للمنحنى C بحيث أن r(a) وr(b) يعطي النقاط الطرفية لـC.

الاشتقاق[عدل]

باستخدام التعاريف السابقة لـf, C وصورتها البارامترية r(t) يمكن إنشاء التكامل من مجموع ريمان وذلك بتقسيم الفترة [a,b] إلى n فترة طولها Δt = (ba)/n. وبجعل tiالنقطة الـi على [a,b], بالتالي r(ti) تعطينا موقع النقطة i على المنحنى. ونكون قد قربنا المنحنى C بمسار مضلع.

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n f(\mathbf{r}(t_i))\Delta s_i

وبما أن المسافة بين كل نقطتين متجاورتين هي:

\Delta s_i = |\mathbf{r}(t_i+\Delta t)-\mathbf{r}(t_i)|=|\mathbf{r}'(t_i)|\Delta t

وبتعويضها في مجموع ريمان

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n f(\mathbf{r}(t_i))|\mathbf{r}'(t_i)|\Delta t

وهذا هو مجموع ريمان للتكامل

I = \int_a^b f(\mathbf{r}(t)) |\mathbf{r}'(t)|\, dt.

التكامل الخطي لمجال متجه[عدل]

تعريف[عدل]

بالنسبة لـ مجال متجه F : URnRn, يعرف التكامل الخطي على منحنى CU, في اتجاه r, كمايلي

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt.

حيث · هو الضرب القياسي r: [a, b] → C صورة التقابل البارامترية للمنحنى C بحيث r(a) وr(b) تعطي النقاط ال C. أي أن التكامل الخطي لمجال قياسي ماهو الا تكامل خطي لمجال متجه تكون المتجهات فيه دائما مماسية على الخط.

الاشتقاق[عدل]

المسار المنحنى لجسيم على منحنى داخل مجال متجه متجهات المجال في الأسفل المشاهدة من قبل الجسيم عندما تتحرك على طول المنحنى. اجمالي الضرب القياسي لهذه المتجهات مع مماس المتجه للمنحنى عند كل نقطة من المسار المنحني سينتج عنه التكامل الخطي.

بنفس الطريقة والتعاريف السابقة, ولكن بدلا من حساب المسافات بين النقاط, سيتم احتساب إزاحات متجهاتها, Δsi. وبحساب F عند جميع النقاط كما سبق وبأخذ الضرب القياسي مع كل ازاحة نحصل على نصيب كل جزء من F' على C. بي

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n \mathbf{F}(\mathbf{r}(t_i)) \cdot \Delta\mathbf{s}_i

نلاحظ أن متجه الازاحة بين كل نقطتين متتابعتين على المنحنى هو

\Delta\mathbf{s}_i = \mathbf{r}(t_i+\Delta t)-\mathbf{r}(t_i)=\mathbf{r}'(t_i)\Delta t

وبتعويض ذلك في مجموع ريمان نحصل على

I = \lim_{\Delta t \rightarrow 0} \sum_{i=1}^n \mathbf{F}(\mathbf{r}(t_i)) \cdot \mathbf{r}'(t_i)\Delta t

وهي كذلك مجموع ريمان للتكامل المعرف انفا.

استقلالية المسار[عدل]

اذا كان المجال F هو تدرج لمجال قياسي G, أي,

\nabla G = \mathbf{F},

فإن الاشتقاق للدالة المركبة من G و(r(t هو

\frac{dG(\mathbf{r}(t))}{dt} = \nabla G(\mathbf{r}(t)) \cdot \mathbf{r}'(t) = \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)

والذي يكون معامل التكامل للتكامل F على (r(t. وعليه إذا علم المسار C , فإن

\int_C \mathbf{F}(\mathbf{r})\cdot\,d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt = \int_a^b \frac{dG(\mathbf{r}(t))}{dt}\,dt = G(\mathbf{r}(b)) - G(\mathbf{r}(a)).

وبتعبير اخر, تكامل F على C يعتمد فقط على قيم G في النقاط (r(b و(r(a وهو بالتالي فهو مستقل عن المسار بينها.

التطبيقات[عدل]

تطبيقات التكامل الخطي تشمل الشغل في المجالات الميكانيكية, الكهرومغناطيسية وميكانيكاالكم.

التكامل الخطي المركب[عدل]

افرض ان U زمرة مفتوحة لعدد مركب C, γ : [a, b] → U هي منحنى ممكن التوحيد وf : UC هي دالة. فإن التكامل

\int_\gamma f(z)\,dz

يمكن تعريفه على الفتري [a, b] إلى a == t0 < t1 <... < tn == b وبالنظر في التعبير

\sum_{1 \le k \le n} f(\gamma(t_k)) (\gamma(t_k) - \gamma(t_{k-1})).

يصبح التكامل نهاية هذا المجموع عندما تقترب اطوال التقسيمات من الصفر.

اذا كانت \gamma منحنى متصل قابل للتفاضل, يصبح التكامل الخطي

\int_\gamma f(z)\,dz
=\int_a^b f(\gamma(t))\,\gamma\,'(t)\,dt.

عندما تكون \gamma منحنى مغلق فإن الصورة

\oint_\gamma f(z)\,dz

تستعمل غالبا للتكامل الخطي لـ f على طول \gamma.

مثال[عدل]

لتكن الدالة f(z)=1/z, وC هي دائرة الوحدة حول 0, والتي يمكن تمثيلها بارامتريا بـ eit, علما ان t في الفترة [0, 2π]. بالتعويض نجد أن:

\oint_C f(z)\,dz = \int_0^{2\pi} {1\over e^{it}} ie^{it}\,dt = i\int_0^{2\pi} e^{-it}e^{it}\,dt
=i\int_0^{2\pi}\,dt = i(2\pi-0)=2\pi i

حيث يمكننا استخدام حقيقة أن z يمكن كتابتها بالصورة reit حيث r هي القيمة المطلقة لـ z.هذا يثبت على 1 في دائرة الوحدة, ويكون المتغير الوحيد المتبقي هو الزاوية, والتي رمز إليها بـ t. يمكن التحقق من هذه الاجابة من صيغة تكامل كوشي.

ميكانيكا الكم[عدل]

إن تشكيل تكامل المسار في ميكانيكا الكم في الواقع لا يشير مباشرة إلى هذا النوع من التكاملات ولكن يشير إلى التكاملات على فضاء من المسارات, لدالة لها مسار ممكن. مع ذلك تبقى هذه التكاملات ذات اهمية في نظرية الاحتمالات والسعات.

انظر أيضا[عدل]

المصادر[عدل]

  • المقالة باللغةالإنكليزية