التكامل غير المحدد

تكامل ريمان غير صحيح من النوع الأول، حيث تكون المنطقة في المستوى التي يمثلها التكامل لانهائية أفقياً. قد تكون مساحة هذه المنطقة، التي يمثلها التكامل، محدودة (كما هو الحال هنا) أو لانهائية.
تكامل ريمان غير صحيح من النوع الثاني، حيث تكون المنطقة الضمنية لانهائية رأسياً. قد تكون مساحة المنطقة محدودة (كما هو الحال هنا) أو لانهائية.

في التحليل الرياضي ، يُعد التكامل غير المحدود امتدادًا لمفهوم التكامل المحدد ليشمل الحالات التي تخالف الافتراضات المعتادة لهذا النوع من التكامل. [ 1 ] في سياق تكاملات ريمان (أو ما يكافئها، تكاملات داربو )، ينطوي هذا عادةً على عدم محدودية، سواءً للمجموعة التي يُجرى عليها التكامل أو للدالة المراد تكاملها، أو كليهما. وقد يشمل أيضًا مجموعات محدودة ولكنها غير مغلقة، أو دوال محدودة ولكنها غير متصلة . على الرغم من أن التكامل غير المحدود يُكتب عادةً بشكل رمزي تمامًا مثل التكامل المحدد القياسي، إلا أنه في الواقع يُمثل نهاية تكامل محدد أو مجموع نهايات من هذا النوع؛ ولذلك يُقال إن التكاملات غير المحدودة تتقارب أو تتباعد. [ 2 ] [ 1 ] إذا تم حساب التكامل المحدد المنتظم (والذي قد يُسمى مجازًا التكامل المحدود ) كما لو كان تكاملًا غير محدود، فستكون النتيجة نفسها.

في أبسط حالة لدالة حقيقية القيمة لمتغير واحد يتم تكاملها بمعنى ريمان (أو داربو) على فترة واحدة، قد تكون التكاملات غير المحددة بأي من الأشكال التالية:

  1. أو(x)دx{\displaystyle \int _{a}^{\infty }f(x)\,dx}
  2. -بو(x)دx{\displaystyle \int _{-\infty }^{b}f(x)\,dx}
  3. -و(x)دx{\displaystyle \int _{-\infty }^{\infty }f(x)\,dx}
  4. أبو(x)دx{\displaystyle \int _{a}^{b}f(x)\,dx}، أينو(x){\displaystyle f(x)}غير محدد أو غير متصل في مكان ما على[أ،ب]{\displaystyle [a,b]}

الأشكال الثلاثة الأولى غير صحيحة لأن التكاملات تُجرى على فترة غير محدودة. (قد تكون غير صحيحة لأسباب أخرى أيضًا، كما هو موضح أدناه). يُوصف هذا النوع من التكامل أحيانًا بأنه من النوع "الأول" إذا كانت الدالة المراد تكاملها تستوفي شروط التكامل. [ 2 ] أما التكاملات في الشكل الرابع فهي غير صحيحة لأنو(x){\displaystyle f(x)}يوجد خط تقارب رأسي في مكان ما على الفترة[أ،ب]{\displaystyle [a,b]}يمكن وصفها بأنها من النوع "الثاني". [ 2 ] أما التكاملات التي تجمع بين جوانب كلا النوعين، فتوصف أحيانًا بأنها من النوع "الثالث". [ 2 ]

في كل حالة مما سبق، يجب إعادة كتابة التكامل غير المحدود باستخدام حد واحد أو أكثر، وذلك حسب سبب عدم محدودية التكامل. على سبيل المثال، في الحالة 1، إذاو(x){\displaystyle f(x)}متصلة على كامل الفترة[أ،){\displaystyle [a,\infty )}، ثم

أو(x)دx=ليمبأبو(x)دx.{\displaystyle \int _{a}^{\infty }f(x)\,dx=\lim _{b\to \infty }\int _{a}^{b}f(x)\,dx.}

يُعتبر الحد الموجود على اليمين هو تعريف الترميز التكاملي الموجود على اليسار.

لوو(x){\displaystyle f(x)}مستمر فقط على(أ،){\displaystyle (a,\infty )}وليس فيأ{\displaystyle a}ثم عادةً ما يُعاد كتابة هذا على النحو التالي:

أو(x)دx=ليمتأ+تجو(x)دx+ليمبجبو(x)دx،{\displaystyle \int _{a}^{\infty }f(x)\,dx=\lim _{t\to a^{+}}\int _{t}^{c}f(x)\,dx+\lim _{b\to \infty }\int _{c}^{b}f(x)\,dx,}

لأي اختيار منج>أ{\displaystyle c>a}هنا، يجب أن تتقارب كلتا النهايتين إلى قيمة محدودة حتى يُقال إن التكامل غير المحدود متقارب. هذا الشرط يتجنب الحالة الغامضة المتمثلة في جمع اللانهاية الموجبة واللانهاية السالبة (أي، "-{\displaystyle \infty -\infty }" شكل غير محدد "). بدلاً من ذلك، يمكن استخدام حد متكرر أو حد واحد يعتمد على القيمة الرئيسية لكوشي .

لوو(x){\displaystyle f(x)}مستمر على[أ،د){\displaystyle [a,d)}و(د،){\displaystyle (d,\infty )}، مع وجود انقطاع من أي نوع عندد{\displaystyle d}، ثم

أو(x)دx=ليمتد-أتو(x)دx+ليمuد+uجو(x)دx+ليمبجبو(x)دx،{\displaystyle \int _{a}^{\infty }f(x)\,dx=\lim _{t\to d^{-}}\int _{a}^{t}f(x)\,dx+\lim _{u\to d^{+}}\int _{u}^{c}f(x)\,dx+\lim _{b\to \infty }\int _{c}^{b}f(x)\,dx,}

لأي اختيار منج>د{\displaystyle c>d}تنطبق الملاحظات السابقة حول الأشكال غير المحددة، والنهايات المتكررة، والقيمة الرئيسية لكوشي هنا أيضًا.

الوظيفةو(x){\displaystyle f(x)}يمكن أن تحتوي على المزيد من الانقطاعات، وفي هذه الحالة ستكون هناك حاجة إلى المزيد من الحدود (أو تعبير أكثر تعقيدًا عن القيمة الرئيسية).

تُعالج الحالات من 2 إلى 4 بطريقة مماثلة. انظر الأمثلة أدناه.

يمكن أيضًا حساب التكاملات غير المحددة في سياق الأعداد المركبة، وفي أبعاد أعلى، وفي أطر نظرية أخرى مثل تكامل ليبيغ أو تكامل هينستوك-كورزويل . التكاملات التي تُعتبر غير محددة في إطار ما قد لا تُعتبر كذلك في أطر أخرى.

أمثلة

لا ينطبق التعريف الأصلي لتكامل ريمان على دالة مثل1/x2{\displaystyle 1/{x^{2}}}على الفترة [ 1, ∞) ، لأن مجال التكامل في هذه الحالة غير محدود . ومع ذلك، يمكن غالبًا توسيع تكامل ريمان بالاستمرارية ، وذلك بتعريف التكامل غير المحدود كنهاية .

1دxx2=ليمب1بدxx2=ليمب(-1ب+11)=1.{\displaystyle \int _{1}^{\infty }{\frac {dx}{x^{2}}}=\lim _{b\to \infty }\int _{1}^{b}{\frac {dx}{x^{2}}}=\lim _{b\to \infty }\left(-{\frac {1}{b}}+{\frac {1}{1}}\right)=1.}

كما أن التعريف الضيق لتكامل ريمان لا يشمل الدالة1/x{\textstyle 1/{\sqrt {x}}}على الفترة [ 0، 1 ] . تكمن المشكلة هنا في أن الدالة المراد تكاملها غير محدودة في مجال التكامل. بعبارة أخرى، يتطلب تعريف تكامل ريمان أن يكون كل من مجال التكامل والدالة المراد تكاملها محدودين . ومع ذلك، يوجد التكامل غير المحدود إذا فُهم على أنه النهاية.

01دxx=ليمأ0+أ1دxx=ليمأ0+(2-2أ)=2.{\displaystyle \int _{0}^{1}{\frac {dx}{\sqrt {x}}}=\lim _{a\to 0^{+}}\int _{a}^{1}{\frac {dx}{\sqrt {x}}}=\lim _{a\to 0^{+}}\left(2-2{\sqrt {a}}\right)=2.}
التكامل غير المحدد0دx(x+1)x=π{\displaystyle \int _{0}^{\infty }{\frac {dx}{(x+1){\sqrt {x}}}}=\pi }يحتوي على فترات غير محدودة لكل من المجال والمدى.

قد تحتوي التكاملات أحيانًا على نقطتي تفرد تجعلها غير صحيحة. لنأخذ على سبيل المثال الدالة 1/(( x + 1) √x ) عند تكاملها من 0 إلى (كما هو موضح على اليمين). عند الحد الأدنى لمجال التكامل، عندما تقترب x من 0 ، تقترب الدالة من ، والحد الأعلى هو نفسه ، على الرغم من أن الدالة تقترب من 0. لذا، يُعد هذا تكاملًا غير صحيح مزدوجًا. عند التكامل، على سبيل المثال، من 1 إلى 3، يكفي استخدام مجموع ريمان العادي للحصول على نتيجة π /6. للتكامل من 1 إلى ، لا يمكن استخدام مجموع ريمان. مع ذلك، فإن أي حد أعلى محدود، ولنقل t (حيث t > 1 )، يُعطي نتيجة محددة جيدًا، وهي 2 arctan( √t ) − π/2 . لهذه النتيجة حد نهائي عندما تقترب t من اللانهاية، وهو π /2. وبالمثل، يسمح التكامل من 1/3 إلى 1 بمجموع ريمان أيضًا، مما ينتج عنه مصادفةً π /6. استبدال 1/3 بقيمة موجبة اختيارية s (حيث s < 1 ) آمنٌ بنفس القدر، مما يعطي π/2 − 2 arctan( √s) . هذا أيضًا له حدٌّ نهائي عندما تؤول s إلى الصفر، وهو π /2. بدمج نهايتي الجزأين، تكون نتيجة هذا التكامل غير المحدود هي

0دx(1+x)x=ليمs0+s1دx(1+x)x+ليمت1تدx(1+x)x=ليمs0+(π2-2دالة الظل العكسيs)+ليمت(2دالة الظل العكسيت-π2)=π2+(π-π2)=π.{\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {dx}{(1+x){\sqrt {x}}}}&{}=\lim _{s\to 0^{+}}\int _{s}^{1}{\frac {dx}{(1+x){\sqrt {x}}}}+\lim _{t\to \infty }\int _{1}^{t}{\frac {dx}{(1+x){\sqrt {x}}}}\\&{}=\lim _{s\to 0^{+}}\left({\frac {\pi }{2}}-2\arctan {\sqrt {s}}\right)+\lim _{t\to \infty }\left(2\arctan {\sqrt {t}}-{\frac {\pi }{2}}\right)\\&{}={\frac {\pi }{2}}+\left(\pi -{\frac {\pi }{2}}\right)\\&{}=\pi .\end{aligned}}}

لا تضمن هذه العملية النجاح؛ فقد لا توجد نهاية، أو قد تكون لانهائية. على سبيل المثال، لا يتقارب تكامل 1/ x على الفترة المحدودة من 0 إلى 1؛ ولا يتقارب تكامل 1/ √x على الفترة غير المحدودة من 1 إلى ∞ .

التكامل غير المحدد-11دxx23=6{\displaystyle \int _{-1}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}=6}يتقارب، حيث توجد كلتا النهايتين اليسرى واليمنى، على الرغم من أن الدالة التكاملية غير محدودة بالقرب من نقطة داخلية.

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

-11دxx23=ليمs0--1sدxx23+ليمت0+ت1دxx23=ليمs0-3(1--s3)+ليمت0+3(1-ت3)=3+3=6.{\displaystyle {\begin{aligned}\int _{-1}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}&{}=\lim _{s\to 0^{-}}\int _{-1}^{s}{\frac {dx}{\sqrt[{3}]{x^{2}}}}+\lim _{t\to 0^{+}}\int _{t}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}\\&{}=\lim _{s\to 0^{-}}3\left(1-{\sqrt[{3}]{-s}}\right)+\lim _{t\to 0^{+}}3\left(1-{\sqrt[{3}]{t}}\right)\\&{}=3+3\\&{}=6.\end{aligned}}}

لكن التكامل المماثل

-11دxx{\displaystyle \int _{-1}^{1}{\frac {dx}{x}}}

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

تقارب التكامل

يتقارب التكامل غير المحدود إذا كانت النهاية التي تحدده موجودة. وهكذا، على سبيل المثال، نقول إن التكامل غير المحدود

ليمتأتو(x) دx{\displaystyle \lim _{t\to \infty }\int _{a}^{t}f(x)\ dx}

توجد وتساوي L إذا كانت التكاملات تحت النهاية موجودة لجميع قيم t الكبيرة بما فيه الكفاية ، وقيمة النهاية تساوي L.

من الممكن أيضًا أن يتباعد التكامل غير المحدود إلى ما لا نهاية. في هذه الحالة، يمكن إسناد قيمة ∞ (أو −∞) للتكامل. على سبيل المثال

ليمب1بدxx=.{\displaystyle \lim _{b\to \infty }\int _{1}^{b}{\frac {dx}{x}}=\infty .}

مع ذلك، قد تتباعد التكاملات غير الصحيحة الأخرى ببساطة في أي اتجاه غير محدد، مثل

ليمب1بxالخطيئة(x)دx،{\displaystyle \lim _{b\to \infty }\int _{1}^{b}x\sin(x)\,dx,}

وهو غير موجود، حتى كعدد حقيقي موسع . وهذا ما يسمى بالتباعد بالتذبذب.

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

-و(x)دx{\displaystyle \int _{-\infty }^{\infty }f(x)\,dx}

يمكن تعريفها بأخذ حدين منفصلين؛ إلى أيهما

-و(x)دx=ليمأ-ليمبأبو(x)دx{\displaystyle \int _{-\infty }^{\infty }f(x)\,dx=\lim _{a\to -\infty }\lim _{b\to \infty }\int _{a}^{b}f(x)\,dx}

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

ليمأ-أجو(x)دx+ليمبجبو(x)دx{\displaystyle \lim _{a\to -\infty }\int _{a}^{c}f(x)\,dx+\lim _{b\to \infty }\int _{c}^{b}f(x)\,dx}

حيث c هي أي نقطة مناسبة لبدء التكامل. وينطبق هذا التعريف أيضاً عندما يكون أحد هذين التكاملين لانهائياً، أو كليهما إذا كان لهما نفس الإشارة.

من الأمثلة على التكامل غير المحدود حيث تكون كلتا نقطتي النهاية لانهائيتين هو التكامل الغاوسي-هـ-x2دx=π{\textstyle \int _{-\infty }^{\infty }e^{-x^{2}}\,dx={\sqrt {\pi }}}مثال على قيمة تساوي اللانهاية هو-هـxدx{\textstyle \int _{-\infty }^{\infty }e^{x}\,dx}لكن لا يمكن حتى تعريف التكاملات الأخرى من هذا النوع بشكل لا لبس فيه، مثل-xدx{\textstyle \int _{-\infty }^{\infty }x\,dx}بما أن النهاية المزدوجة لا نهائية ، فإن طريقة التكامل الثنائي

ليمأ-أجxدx+ليمبجبxدx{\displaystyle \lim _{a\to -\infty }\int _{a}^{c}x\,dx+\lim _{b\to \infty }\int _{c}^{b}x\,dx}

ينتج عنه شكل غير محدد ،-{\displaystyle \infty -\infty }في هذه الحالة ، يمكن تعريف التكامل غير المحدود بمعنى القيمة الرئيسية لكوشي :

ص.v.-xدx=ليمب-ببxدx=0.{\displaystyle \operatorname {p.v.} \int _{-\infty }^{\infty }x\,dx=\lim _{b\to \infty }\int _{-b}^{b}x\,dx=0.}

الأسئلة التي يجب معالجتها لتحديد التكامل غير المحدود هي:

  • هل يوجد حد؟
  • هل يمكن حساب الحد؟

السؤال الأول يتعلق بالتحليل الرياضي . أما السؤال الثاني فيمكن معالجته باستخدام تقنيات التفاضل والتكامل، ولكن في بعض الحالات أيضاً باستخدام التكامل الكفافي ، وتحويلات فورييه ، وغيرها من الطرق الأكثر تقدماً.

أنواع التكاملات

توجد أكثر من نظرية للتكامل . من وجهة نظر حساب التفاضل والتكامل، تُعتبر نظرية ريمان التكاملية عادةً النظرية الافتراضية. عند استخدام التكاملات المعتلة، قد يكون لنظرية التكامل المستخدمة أهمية.

  • بالنسبة لتكامل ريمان (أو تكامل داربو ، وهو مكافئ له)، فإن التكامل غير الصحيح ضروري لكل من الفترات غير المحدودة (لأنه لا يمكن تقسيم الفترة إلى عدد محدود من الفترات الفرعية ذات الطول المحدود) وللدوال غير المحدودة ذات التكامل المحدود (لأنه، بافتراض أنها غير محدودة من الأعلى، فإن التكامل العلوي سيكون لانهائيًا، لكن التكامل السفلي سيكون محدودًا).
  • يتعامل تكامل لوبيغ بشكل مختلف مع المجالات غير المحدودة والدوال غير المحدودة، بحيث أن التكامل الذي يوجد فقط كتكامل ريمان غير صحيح غالبًا ما يوجد كتكامل لوبيغ (صحيح)، مثل1دxx2{\textstyle \int _{1}^{\infty }{\frac {dx}{x^{2}}}}من ناحية أخرى، توجد أيضاً تكاملات لها تكامل ريمان غير صحيح ولكنها لا تملك تكامل ليبيغ (صحيح)، مثل0الخطيئةxxدx{\textstyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx}لا تعتبر نظرية لوبيغ هذا الأمر نقصاً: من وجهة نظر نظرية القياس ،0الخطيئةxxدx=-{\textstyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx=\infty -\infty }ولا يمكن تعريفها تعريفًا مُرضيًا. مع ذلك، في بعض الحالات، قد يكون من المُلائم استخدام تكاملات ليبيغ غير المُناسبة، كما هو الحال، على سبيل المثال، عند تعريف القيمة الرئيسية لكوشي . يُعد تكامل ليبيغ أساسيًا إلى حدٍ ما في المعالجة النظرية لتحويل فورييه ، مع استخدام واسع النطاق للتكاملات على كامل خط الأعداد الحقيقية.
  • بالنسبة لتكامل هينستوك-كورزويل ، فإن التكامل غير الصحيح ليس ضرورياً ، وهذا يعتبر نقطة قوة في النظرية: فهو يشمل جميع الدوال القابلة للتكامل وفقًا لـ Lebesgue والدوال القابلة للتكامل غير الصحيح وفقًا لـ Riemann.

تكاملات ريمان غير المحددة وتكاملات ليبيغ

الشكل 1
الشكل 2

في بعض الحالات، التكامل

أجو(x) دx{\displaystyle \int _{a}^{c}f(x)\ dx}

يمكن تعريفها على أنها تكامل ( تكامل ليبيغ ، على سبيل المثال) دون الرجوع إلى النهاية

ليمبج-أبو(x)دx{\displaystyle \lim _{b\to c^{-}}\int _{a}^{b}f(x)\,dx}

لكن لا يمكن حسابها بسهولة بطريقة أخرى. يحدث هذا غالبًا عندما يكون للدالة f المراد تكاملها من a إلى c خط تقارب رأسي عند c ، أو إذا كانت c  =  ∞ (انظر الشكلين 1 و2). في مثل هذه الحالات، يسمح تكامل ريمان غير المحدد بحساب تكامل ليبيغ للدالة. تحديدًا، تنطبق النظرية التالية ( أبوستول 1974 ، النظرية 10.33) :

  • إذا كانت الدالة f قابلة للتكامل وفقًا لريمان على الفترة [ a , b ] لكل b a ، فإن التكاملات الجزئية 
أب|و(x)|دx{\displaystyle \int _{a}^{b}|f(x)|\,dx}
إذا كانت محدودة عندما b ∞، فإن تكاملات ريمان غير الصحيحة   
أو(x)دx،و أ|و(x)|دx{\displaystyle \int _{a}^{\infty }f(x)\,dx,\quad {\mbox{and }}\int _{a}^{\infty }|f(x)|\,dx}
كلاهما موجود. علاوة على ذلك، فإن الدالة f قابلة للتكامل وفقًا لمقياس ليبيغ على الفترة [ a , ∞)، وتكاملها وفقًا لمقياس ليبيغ يساوي تكاملها غير الصحيح وفقًا لمقياس ريمان.

على سبيل المثال، التكامل

0دx1+x2{\displaystyle \int _{0}^{\infty }{\frac {dx}{1+x^{2}}}}

ويمكن تفسيرها بشكل بديل على أنها التكامل غير المحدود

ليمب0بدx1+x2=ليمبدالة الظل العكسيب=π2،{\displaystyle \lim _{b\to \infty }\int _{0}^{b}{\frac {dx}{1+x^{2}}}=\lim _{b\to \infty }\arctan {b}={\frac {\pi }{2}},}

أو يمكن تفسيرها بدلاً من ذلك على أنها تكامل ليبيغ على المجموعة (0، ∞). وبما أن كلا النوعين من التكاملات متوافقان، فإنه يمكن اختيار الطريقة الأولى لحساب قيمة التكامل، حتى لو رغب المرء في النهاية في اعتباره تكامل ليبيغ. وبالتالي، فإن التكاملات غير المحددة أدوات مفيدة بوضوح للحصول على القيم الفعلية للتكاملات.

في حالات أخرى، قد لا يكون تكامل لوبيغ بين نقطتين نهائيتين مُعرّفًا، لأن تكاملي الجزأين الموجب والسالب للدالة f كلاهما لانهائي، لكن تكامل ريمان غير المحدود قد يظل موجودًا. تُسمى هذه الحالات بالتكاملات "غير المحدودة حقًا"، أي لا يمكن تعريف قيمها إلا كحدود. على سبيل المثال،

0الخطيئة(x)xدx{\displaystyle \int _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx}

لا يمكن تفسيرها على أنها تكامل ليبيغ، لأن

0|الخطيئة(x)x|دx=.{\displaystyle \int _{0}^{\infty }\left|{\frac {\sin(x)}{x}}\right|\,dx=\infty .}

لكنو(x)=الخطيئة(x)x{\displaystyle f(x)={\frac {\sin(x)}{x}}}ومع ذلك، فهي قابلة للتكامل بين أي نقطتي نهاية محدودتين، وعادة ما يُفهم تكاملها بين 0 و ∞ على أنه النهاية:

0الخطيئة(x)xدx=ليمب0بالخطيئة(x)xدx=π2.{\displaystyle \int _{0}^{\infty }{\frac {\sin(x)}{x}}\,dx=\lim _{b\to \infty }\int _{0}^{b}{\frac {\sin(x)}{x}}\,dx={\frac {\pi }{2}}.}

التفردات

يمكن للمرء أن يتحدث عن نقاط التفرد في التكامل غير الصحيح، أي تلك النقاط على خط الأعداد الحقيقية الممتد التي تُستخدم عندها النهايات.

القيمة الرئيسية لكوشي

ضع في اعتبارك الفرق في قيمتي النهايتين:

ليمأ0+(-1-أدxx+أ1دxx)=0،{\displaystyle \lim _{a\to 0^{+}}\left(\int _{-1}^{-a}{\frac {dx}{x}}+\int _{a}^{1}{\frac {dx}{x}}\right)=0,}
ليمأ0+(-1-أدxx+2أ1دxx)=-ln2.{\displaystyle \lim _{a\to 0^{+}}\left(\int _{-1}^{-a}{\frac {dx}{x}}+\int _{2a}^{1}{\frac {dx}{x}}\right)=-\ln 2.}

الأول هو القيمة الرئيسية لكوشي للتعبير غير المحدد بشكل جيد.

-11دxx (أيّ أعطِ -+).{\displaystyle \int _{-1}^{1}{\frac {dx}{x}}{\ }\left({\mbox{which}}\ {\mbox{gives}}\ -\infty +\infty \right).}

وبالمثل، لدينا

ليمأ-أأ2xدxx2+1=0،{\displaystyle \lim _{a\to \infty }\int _{-a}^{a}{\frac {2x\,dx}{x^{2}+1}}=0,}

لكن

ليمأ-2أأ2xدxx2+1=-ln4.{\displaystyle \lim _{a\to \infty }\int _{-2a}^{a}{\frac {2x\,dx}{x^{2}+1}}=-\ln 4.}

الأول هو القيمة الرئيسية للتعبير غير المحدد بشكل جيد.

-2xدxx2+1 (أيّ أعطِ -+).{\displaystyle \int _{-\infty }^{\infty }{\frac {2x\,dx}{x^{2}+1}}{\ }\left({\mbox{which}}\ {\mbox{gives}}\ -\infty +\infty \right).}

جميع الحدود المذكورة أعلاه هي حالات من الشكل غير المحدد-{\displaystyle \infty -\infty }.

لا تؤثر هذه الأمراض على الدوال "القابلة للتكامل وفقًا لـ Lebesgue"، أي الدوال التي تكون تكاملاتها ذات قيم مطلقة محدودة.

قابلية الجمع

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

إحدى طرق الجمع، الشائعة في تحليل فورييه ، هي طريقة جمع سيزارو . التكامل

0و(x)دx{\displaystyle \int _{0}^{\infty }f(x)\,dx}

هو سيزارو قابل للجمع (C،  α) إذا

ليمλ0λ(1-xλ)αو(x) دx{\displaystyle \lim _{\lambda \to \infty }\int _{0}^{\lambda }\left(1-{\frac {x}{\lambda }}\right)^{\alpha }f(x)\ dx}

موجودة ومحدودة ( تيتشمارش 1948 ، §1.15) . قيمة هذه النهاية، إن وجدت، هي  مجموع التكامل (C، α).

يكون التكامل  قابلاً للجمع (C, 0) تحديدًا عندما يكون موجودًا كتكامل غير محدود. ومع ذلك، توجد تكاملات  قابلة للجمع (C, α) لـ α  >  0، لكنها لا تتقارب كتكاملات غير محدودة (بمعنى ريمان أو ليبيغ). أحد الأمثلة على ذلك هو التكامل

0الخطيئةxدx{\displaystyle \int _{0}^{\infty }\sin x\,dx}

والتي تفشل في الوجود كتكامل غير صحيح، ولكنها قابلة للجمع (C، α ) لكل α  >  0. هذه نسخة تكاملية من متسلسلة جراندي .

التكاملات غير المحدودة متعددة المتغيرات

يمكن تعريف التكامل المعتل أيضًا لدوال ذات عدة متغيرات. ويختلف التعريف قليلاً، اعتمادًا على ما إذا كان التكامل مطلوبًا على مجال غير محدود، مثلR2{\displaystyle \mathbb {R} ^{2}}أو تكامل دالة ذات نقاط تفرد، مثلو(x،y)=سجل(x2+y2){\displaystyle f(x,y)=\log \left(x^{2}+y^{2}\right)}.

التكاملات غير المحددة على نطاقات عشوائية

لوو:RنR{\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }هي دالة غير سالبة قابلة للتكامل وفقًا لريمان على كل مكعب مضغوط من الشكل[-أ،أ]ن{\displaystyle [-a,a]^{n}}، لأ>0{\displaystyle a>0}ثم التكامل غير المحدود للدالة f علىRن{\displaystyle \mathbb {R} ^{n}}يُعرَّف بأنه الحد

ليمأ[-أ،أ]نو،{\displaystyle \lim _{a\to \infty }\int _{[-a,a]^{n}}f,}

بشرط وجوده.

دالة على مجال عشوائي A فيRن{\displaystyle \mathbb {R} ^{n}}يتم توسيعها لتصبح دالةو~{\displaystyle {\tilde {f}}}علىRن{\displaystyle \mathbb {R} ^{n}}بصفر خارج A :

و~(x)={و(x)xأ0xأ{\displaystyle {\tilde {f}}(x)={\begin{cases}f(x)&x\in A\\0&x\not \in A\end{cases}}}

يُعرَّف تكامل ريمان لدالة على مجال محدود A بأنه تكامل الدالة الموسعةو~{\displaystyle {\tilde {f}}}فوق مكعب[-أ،أ]ن{\displaystyle [-a,a]^{n}}يحتوي على أ :

أو=[-أ،أ]نو~.{\displaystyle \int _{A}f=\int _{[-a,a]^{n}}{\tilde {f}}.}

وبشكل أعم، إذا كانت A غير محدودة، فإن تكامل ريمان غير الصحيح على مجال عشوائي فيRن{\displaystyle \mathbb {R} ^{n}}يُعرَّف بأنه الحد:

أو=ليمأأ[-أ،أ]نو=ليمأ[-أ،أ]نو~.{\displaystyle \int _{A}f=\lim _{a\to \infty }\int _{A\cap [-a,a]^{n}}f=\lim _{a\to \infty }\int _{[-a,a]^{n}}{\tilde {f}}.}

التكاملات غير المحددة ذات النقاط الشاذة

إذا كانت f دالة غير سالبة وغير محدودة في مجال A ، فإن التكامل غير المحدود لـ f يُعرَّف بقص f عند نقطة قطع M ، وتكامل الدالة الناتجة، ثم أخذ النهاية عندما تؤول M إلى اللانهاية. أي لـم>0{\displaystyle M>0}، تعيينوم=مين{و،م}{\displaystyle f_{M}=\min\{f,M\}}ثم حدد

أو=ليممأوم{\displaystyle \int _{A}f=\lim _{M\to \infty }\int _{A}f_{M}}

بشرط وجود هذا الحد.

الدوال ذات القيم الموجبة والسالبة

تنطبق هذه التعريفات على الدوال غير السالبة. ويمكن تحليل دالة أكثر عمومية f إلى فرق جزئها الموجب.و+=الأعلى{و،0}{\displaystyle f_{+}=\max\{f,0\}}والجزء السالبو-=الأعلى{-و،0}{\displaystyle f_{-}=\max\{-f,0\}}، لذا

و=و+-و-{\displaystyle f=f_{+}-f_{-}}

معو+{\displaystyle f_{+}}وو-{\displaystyle f_{-}}كلتا الدالتين غير سالبتين. يكون للدالة f تكامل ريمان غير صحيح إذا كان كل منو+{\displaystyle f_{+}}وو-{\displaystyle f_{-}}له واحد، وفي هذه الحالة تُحدد قيمة هذا التكامل غير المحدود بواسطة

أو=أو+-أو-.{\displaystyle \int _{A}f=\int _{A}f_{+}-\int _{A}f_{-}.}

لكي يوجد التكامل غير المحدود بهذا المعنى، فإنه يتقارب بالضرورة تقاربًا مطلقًا، لأن

أ|و|=أو++أو-.{\displaystyle \int _{A}|f|=\int _{A}f_{+}+\int _{A}f_{-}.}[ 3 ] [ 4 ]

ملحوظات

  1. 1 2 باك، ر. كريتون (1965). حساب التفاضل والتكامل المتقدم (  الطبعة الثانية). ماكجرو هيل. ص 133-134 . 
  2. 1 2 3 4 سبيجل، موراي ر. (1963). ملخص شوم لنظرية ومسائل حساب التفاضل والتكامل المتقدم . ماكجرو هيل. ص 260. ISBN  0-07-060229-8.{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )
  3. كوبر 2005 ، ص 538 : "نحن بحاجة إلى وضع هذا التعريف الأقوى للتقارب من حيث | f ( x )| لأن الإلغاء في التكاملات يمكن أن يحدث بطرق مختلفة كثيرة في الأبعاد الأعلى."
  4. غورباد وليماي 2010 ، ص 448 : "المفهوم ذو الصلة هنا هو مفهوم التقارب غير المشروط." ... "في الواقع، بالنسبة للتكاملات غير المحددة لهذه الدوال، يتبين أن التقارب غير المشروط مكافئ للتقارب المطلق."

فهرس

  • أبوستول، ت. (1974)، التحليل الرياضي ، أديسون-ويسلي، رقم ISBN 978-0-201-00288-1.
  • أبوستول، ت. (1967)، حساب التفاضل والتكامل، المجلد 1 (  الطبعة الثانية)، جون وايلي وأولاده.
  • أوتار كاو، إيغوو كالو (2008)، الطرق العددية مع التطبيقات (  الطبعة الأولى)، autarkaw.com
  • تيتشمارش، إي (1948)، مقدمة في نظرية تكاملات فورييه (الطبعة الثانية  )، نيويورك، نيويورك: شركة تشيلسي للنشر (نُشرت عام 1986)، رقم ISBN 978-0-8284-0324-5{{citation}}: عدم توافق رقم ISBN / التاريخ ( مساعدة ) .
  • كوبر، جيفري (2005)، تحليل العمل ، جلف بروفيشنال
  • غورباد، سودير؛ ليماي، بالموهان (2010)، دورة في حساب التفاضل والتكامل متعدد المتغيرات والتحليل ، سبرينغر