تكامل خطي

مواضيع في الحسبان

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

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

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

تفاضل المتجه

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

التكامل الخطي لمجال قياسي

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

تعريف

إذا كان لدينا مجال قياسي f : U ⊆ Rⁿ → R, يعرف التكامل الخطي على منحنى C ⊂ U is على أنه

$\underset{C}{\int }fds=\underset{a}{\overset{b}{\int }}f(\mathbf{r}(t))|{\mathbf{r}}^{\prime }(t)|dt.$

حيث

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

الاشتقاق

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

$I=\underset{\mathrm{\Delta }t\to 0}{\lim }\sum _{i=1}^{n}f(\mathbf{r}(t_i))\mathrm{\Delta }{s}_i$

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

$\mathrm{\Delta }{s}_i=|\mathbf{r}(t_i+\mathrm{\Delta }t)-\mathbf{r}(t_i)|=|{\mathbf{r}}^{\prime }(t_i)|\mathrm{\Delta }t$

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

$I=\underset{\mathrm{\Delta }t\to 0}{\lim }\sum _{i=1}^{n}f(\mathbf{r}(t_i))|{\mathbf{r}}^{\prime }(t_i)|\mathrm{\Delta }t$

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

$I=\underset{a}{\overset{b}{\int }}f(\mathbf{r}(t))|{\mathbf{r}}^{\prime }(t)|dt.$

التكامل الخطي لمجال متجه

تعريف

بالنسبة لـ مجال متجه F : U ⊆ Rⁿ → Rⁿ, يعرف التكامل الخطي على منحنى C ⊂ U, في اتجاه r, كمايلي

$\underset{C}{\int }\mathbf{F}(\mathbf{r})\cdot d\mathbf{r}=\underset{a}{\overset{b}{\int }}\mathbf{F}(\mathbf{r}(t))\cdot {\mathbf{r}}^{\prime }(t)dt.$

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

الاشتقاق

ملف:Line-Integral.gif

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

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

$I=\underset{\mathrm{\Delta }t\to 0}{\lim }\sum _{i=1}^n\mathbf{F}(\mathbf{r}(t_i))\cdot \mathrm{\Delta }{\mathbf{s}}_i$

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

$\mathrm{\Delta }{\mathbf{s}}_i=\mathbf{r}(t_i+\mathrm{\Delta }t)-\mathbf{r}(t_i)={\mathbf{r}}^{\prime }(t_i)\mathrm{\Delta }t$

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

$I=\underset{\mathrm{\Delta }t\to 0}{\lim }\sum _{i=1}^n\mathbf{F}(\mathbf{r}(t_i))\cdot {\mathbf{r}}^{\prime }(t_i)\mathrm{\Delta }t$

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

استقلالية المسار

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

$\mathrm{\nabla }G=\mathbf{F},$

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

$\frac{dG(\mathbf{r}(t))}{dt}=\mathrm{\nabla }G(\mathbf{r}(t))\cdot {\mathbf{r}}^{\prime }(t)=\mathbf{F}(\mathbf{r}(t))\cdot {\mathbf{r}}^{\prime }(t)$

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

$\underset{C}{\int }\mathbf{F}(\mathbf{r})\cdot d\mathbf{r}=\underset{a}{\overset{b}{\int }}\mathbf{F}(\mathbf{r}(t))\cdot {\mathbf{r}}^{\prime }(t)dt=\underset{a}{\overset{b}{\int }}\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 : U → C هي دالة. فإن التكامل

$\underset{\gamma }{\int }f(z)dz$

يمكن تعريفه على الفتري [a, b] إلى a == t₀ < t₁ <... < t_n == b وبالنظر في التعبير

$\sum _{1\le k\le n}f(\gamma (t_k))(\gamma (t_k)-\gamma (t_{k-1})).$

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

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

$\underset{\gamma }{\int }f(z)dz=\underset{a}{\overset{b}{\int }}f(\gamma (t))\gamma {}^{\prime }(t)dt.$

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

${\oint }_{\gamma }f(z)dz$

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

مثال

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

${\oint }_{C}f(z)dz=\underset{0}{\overset{2\pi }{\int }}\frac{1}{e^{it}}i{e}^{it}dt=i\underset{0}{\overset{2\pi }{\int }}{e}^{-it}{e}^{it}dt$

$=i\underset{0}{\overset{2\pi }{\int }}dt=i(2\pi -0)=2\pi i$

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

ميكانيكا الكم

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

انظر أيضا

• طول قوس
• نظرية غرين
• نظرية ستوك
• تكامل سطحي
• تكامل حجمي
• نظرية الانفراج

المصادر

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

ca:Integral curvilínia cs:Křivkový integrál de:Kurvenintegral Line integral]] eo:Kurba integralo es:Integral de línea fa:انتگرال خطی fi:Viivaintegraali fr:Intégrale curviligne he:אינטגרל קווי is:Ferilheildi it:Integrale di linea ja:線積分 ko:선적분 nl:Lijnintegraal pl:Całka krzywoliniowa pt:Integral de linha ro:Integrală curbilinie ru:Криволинейный интеграл sq:Integrali kurbolinear sr:Криволинијски интеграл sv:Kurvintegral tr:Çizgi integrali uk:Криволінійний інтеграл vi:Tích phân đường zh:曲线积分