التكامل بالتعويض أو التكامل بتغيير المتغير بالإنجليزية : Integration by substitution أحد الطرق المستعملة في علم التفاضل والتكامل لحساب الاشتقاق العكسي.
لتكن الفترة
I
⊆
ℝ
𝐼
ℝ
{\displaystyle{\displaystyle I\subseteq{\mathbb{R}}}}
و
g
:
[
a
,
b
]
→
I
:
𝑔
→
𝑎
𝑏
𝐼
{\displaystyle{\displaystyle g:[a,b]\to I\,}}
دالة قابلة للتفاضل. ولنفرض أن
f
:
I
→
ℝ
:
𝑓
→
𝐼
ℝ
{\displaystyle{\displaystyle f:I\to\mathbb{R}}}
. حينئذ
∫
a
b
f
(
g
(
t
)
)
g
′
(
t
)
𝑑
t
=
∫
g
(
a
)
g
(
b
)
f
(
x
)
𝑑
x
.
superscript
subscript
𝑎
𝑏
𝑓
𝑔
𝑡
superscript
𝑔
′
𝑡
differential-d
𝑡
superscript
subscript
𝑔
𝑎
𝑔
𝑏
𝑓
𝑥
differential-d
𝑥
{\displaystyle{\displaystyle\int_{a}^{b}f(g(t))g^{\prime}(t)\,dt=\int_{g(a)}^{%
g(b)}f(x)\,dx.}}
باستخدام التعويض
x
=
g
(
t
)
𝑥
𝑔
𝑡
{\displaystyle{\displaystyle x=g(t)\,}}
ينتج
d
x
/
d
t
=
g
′
(
t
)
𝑑
𝑥
𝑑
𝑡
superscript
𝑔
′
𝑡
{\displaystyle{\displaystyle dx/dt=g^{\prime}(t)\,}}
وبالتالي
d
x
=
g
′
(
t
)
d
t
𝑑
𝑥
superscript
𝑔
′
𝑡
𝑑
𝑡
{\displaystyle{\displaystyle dx=g^{\prime}(t)\,dt}}
, وهو التعويض المطلوب لـ
d
x
𝑑
𝑥
{\displaystyle{\displaystyle dx\,}}
.
تستخدم هذه الصيغة لنقل التكامل إلى شكل آخر بحيث يكون سهل الحساب ويمكن أن تستخدم من اليمين لليسار والعكس.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
علاقته بالنظرية الأساسية للتكامل
يمكن اشتقاق التكامل بالتعويض من النظرية الأساسية للتكامل. لتكن ƒ وg دالتين تحققان الفرض السابق hypothesis that ƒ متصلة على الفترة I و
g
′
superscript
𝑔
′
{\displaystyle{\displaystyle g^{\prime}\,}}
متصلة على الفترة المغلقة [a ,b ]. وبالتالي تكون الدالة
f
(
g
(
t
)
)
g
′
(
t
)
𝑓
𝑔
𝑡
superscript
𝑔
′
𝑡
{\displaystyle{\displaystyle f(g(t))g^{\prime}(t)}}
متصلة أيضا على [a ,b ]. وعليه فإن التكاملات
∫
g
(
a
)
g
(
b
)
f
(
x
)
𝑑
x
superscript
subscript
𝑔
𝑎
𝑔
𝑏
𝑓
𝑥
differential-d
𝑥
{\displaystyle{\displaystyle\int_{g(a)}^{g(b)}f(x)\,dx}}
و
∫
a
b
f
(
g
(
t
)
)
g
′
(
t
)
𝑑
t
superscript
subscript
𝑎
𝑏
𝑓
𝑔
𝑡
superscript
𝑔
′
𝑡
differential-d
𝑡
{\displaystyle{\displaystyle\int_{a}^{b}f(g(t))g^{\prime}(t)\,dt}}
موجودان بالفعل, وبقي أن نثبت أنهما متساويان.
بما أن ƒ متصلة, فإن لها مشتق عكسي F . الدالة
F
∘
g
𝐹
𝑔
{\displaystyle{\displaystyle F\circ g}}
بالتالي تكون معرفة. بما أن F وg are قابلتان للتفاضل, تعطينا قاعدة السلسلة
(
F
∘
g
)
′
(
t
)
=
F
′
(
g
(
t
)
)
g
′
(
t
)
=
f
(
g
(
t
)
)
g
′
(
t
)
.
superscript
𝐹
𝑔
′
𝑡
superscript
𝐹
′
𝑔
𝑡
superscript
𝑔
′
𝑡
𝑓
𝑔
𝑡
superscript
𝑔
′
𝑡
{\displaystyle{\displaystyle(F\circ g)^{\prime}(t)=F^{\prime}(g(t))g^{\prime}(%
t)=f(g(t))g^{\prime}(t).}}
وبتطبيق النظرية الأساسية للتكامل مرتين تحصل على
∫
a
b
f
(
g
(
t
)
)
g
′
(
t
)
𝑑
t
=
(
F
∘
g
)
(
b
)
-
(
F
∘
g
)
(
a
)
=
F
(
g
(
b
)
)
-
F
(
g
(
a
)
)
=
∫
g
(
a
)
g
(
b
)
f
(
x
)
𝑑
x
,
superscript
subscript
𝑎
𝑏
𝑓
𝑔
𝑡
superscript
𝑔
′
𝑡
differential-d
𝑡
absent
𝐹
𝑔
𝑏
𝐹
𝑔
𝑎
missing-subexpression
absent
𝐹
𝑔
𝑏
𝐹
𝑔
𝑎
missing-subexpression
absent
superscript
subscript
𝑔
𝑎
𝑔
𝑏
𝑓
𝑥
differential-d
𝑥
{\displaystyle{\displaystyle{\begin{aligned} \displaystyle\int_{a}^{b}f(g(t))g%
^{\prime}(t)\,dt&\displaystyle{}=(F\circ g)(b)-(F\circ g)(a)\\
&\displaystyle{}=F(g(b))-F(g(a))\\
&\displaystyle{}=\int_{g(a)}^{g(b)}f(x)\,dx,\end{aligned}}}}
وهي قاعدة التعويض.
أمثلة
لنعتبر التكامل
∫
0
2
x
cos
(
x
2
+
1
)
𝑑
x
superscript
subscript
0
2
𝑥
superscript
𝑥
2
1
differential-d
𝑥
{\displaystyle{\displaystyle\int_{0}^{2}x\cos(x^{2}+1)\,dx}}
باستخدام التعويض u == x 2 + 1, نحصل على du == 2x dx و
∫
x
=
0
x
=
2
x
cos
(
x
2
+
1
)
𝑑
x
=
1
2
∫
u
=
1
u
=
5
cos
(
u
)
𝑑
u
=
1
2
(
sin
(
5
)
-
sin
(
1
)
)
.
superscript
subscript
𝑥
0
𝑥
2
𝑥
superscript
𝑥
2
1
differential-d
𝑥
absent
1
2
superscript
subscript
𝑢
1
𝑢
5
𝑢
differential-d
𝑢
missing-subexpression
absent
1
2
5
1
{\displaystyle{\displaystyle{\begin{aligned} \displaystyle\int_{x=0}^{x=2}x%
\cos(x^{2}+1)\,dx&\displaystyle{}={\frac{1}{2}}\int_{u=1}^{u=5}\cos(u)\,du\\
&\displaystyle{}={\frac{1}{2}}(\sin(5)-\sin(1)).\end{aligned}}}}
تم التعويض هنا من اليمين لليسار. من المهم التنويه أنه لما كانت النهاية الأسفل x == 0 تم ابدالها بـ u = 02 + 1 = 1, والنهاية الأعلى x = 2 ابدلت بـ u = 22 + 1 == 5, وبإعادة التعويض إلى اصله x لم يكن ضروريا.
لإبجاد التكامل
∫
0
1
1
-
x
2
𝑑
x
superscript
subscript
0
1
1
superscript
𝑥
2
differential-d
𝑥
{\displaystyle{\displaystyle\int_{0}^{1}{\sqrt{1-x^{2}}}\;dx}}
يتوجب استعمال الصيغة من اليسار إلى اليمين:
التعويض x == sin(u ), dx == cos(u ) du مفيد لأن
1
-
sin
2
(
u
)
=
c
o
s
(
u
)
1
superscript
2
𝑢
𝑐
𝑜
𝑠
𝑢
{\displaystyle{\displaystyle{\sqrt{1-\sin^{2}(u)}}=cos(u)}}
:
∫
0
1
1
-
x
2
𝑑
x
=
∫
0
π
2
1
-
sin
2
(
u
)
cos
(
u
)
𝑑
u
=
∫
0
π
2
cos
2
(
u
)
𝑑
u
superscript
subscript
0
1
1
superscript
𝑥
2
differential-d
𝑥
superscript
subscript
0
𝜋
2
1
superscript
2
𝑢
𝑢
differential-d
𝑢
superscript
subscript
0
𝜋
2
superscript
2
𝑢
differential-d
𝑢
{\displaystyle{\displaystyle\int_{0}^{1}{\sqrt{1-x^{2}}}\;dx=\int_{0}^{\frac{%
\pi}{2}}{\sqrt{1-\sin^{2}(u)}}\cos(u)\;du=\int_{0}^{\frac{\pi}{2}}\cos^{2}(u)%
\;du}}
التكامل الناتج يمكن حسابه بواسطة التكامل بالتجزئة أو صيغة مضاعفات الزاوية متبوعة بتعويض مناسب أو أكثر.
لاحظ أيضا أن التكامل السابق ماهو إلا حساب لمساحة ربع الدائرة والذي كان بالإمكان إيجادة بقسمة مساحة الدائرة على 4 (و باعتبار نصف قطرها= 1 يصبح الناتج باي \4).
الاشتقاقات العكسية
يمكن إيجاد المشتق العكسي بواسطة التكامل بالتعويض وذلك بدراسة العلاقة بين x وu , dx وdu وبالمفاضلة والتعويض.
يمكن استخدام الطريقة التالية لحل المثال السابق:
∫
x
cos
(
x
2
+
1
)
𝑑
x
=
1
2
∫
2
x
cos
(
x
2
+
1
)
𝑑
x
=
1
2
∫
cos
u
d
u
=
1
2
sin
u
+
C
=
1
2
sin
(
x
2
+
1
)
+
C
missing-subexpression
𝑥
superscript
𝑥
2
1
differential-d
𝑥
1
2
2
𝑥
superscript
𝑥
2
1
differential-d
𝑥
missing-subexpression
absent
1
2
𝑢
𝑑
𝑢
1
2
𝑢
𝐶
1
2
superscript
𝑥
2
1
𝐶
{\displaystyle{\displaystyle{\begin{aligned} &\displaystyle{}\quad\int x\cos(x%
^{2}+1)\,dx={\frac{1}{2}}\int 2x\cos(x^{2}+1)\,dx\\
&\displaystyle{}={\frac{1}{2}}\int\cos u\,du={\frac{1}{2}}\sin u+C={\frac{1}{2%
}}\sin(x^{2}+1)+C\end{aligned}}}}
حيث C ثابت اختياري ثابت التكامل .
تعويض المتغيرات المتعددة
يمكن استخدام التعويض مع الدوال ذات المتغيرات المتعددة.
هنا التعويض (v 1 ,...,v n ) = φ (u 1 , ..., u n ) متداخلة وقابلة للتفاضل باستمرار, وتحويل التفاضلات
d
v
1
⋯
d
v
n
=
|
det
(
D
φ
)
(
u
1
,
…
,
u
n
)
|
d
u
1
⋯
d
u
n
𝑑
subscript
𝑣
1
⋯
𝑑
subscript
𝑣
𝑛
D
𝜑
subscript
𝑢
1
…
subscript
𝑢
𝑛
𝑑
subscript
𝑢
1
⋯
𝑑
subscript
𝑢
𝑛
{\displaystyle{\displaystyle dv_{1}\cdots dv_{n}=|\det(\operatorname{D}\varphi%
)(u_{1},\ldots,u_{n})|\,du_{1}\cdots du_{n}}}
حيث det(Dφ )(u 1 , ..., u n ) يرمز إلى محدد مصفوفة جاكوبي محتويا على التفاضلات الجزئيةلـ φ . تعبر هذه الصيغة عن الحقيقة القائلة أن القيمة المطلقةلمحدد متجهات معطاة يساوي حجم متوازي السطوحالممدود .
وبتعبير أدق, تغيير صيغة المتغيرات تنص علية النظرية التالية:
نظرية . لتكن U , V مجموعات مفتوحة في R n and φ : U → V an متداخلة دالة قابلة للتفاضل ولها مشتقات جزئية مستمرة, الجاكوبيان الذي لايحوي صفر لكلx في U . حينئذ لأي قيمة حقيقية, تدعم دمج تابع مستمر f , مع دعم مرتبط في φ (U ),
∫
φ
(
U
)
f
(
𝐯
)
𝑑
𝐯
=
∫
U
f
(
φ
(
𝐮
)
)
|
det
(
D
φ
)
(
𝐮
)
|
𝑑
𝐮
.
subscript
𝜑
𝑈
𝑓
𝐯
differential-d
𝐯
subscript
𝑈
𝑓
𝜑
𝐮
D
𝜑
𝐮
differential-d
𝐮
{\displaystyle{\displaystyle\int_{\varphi(U)}f(\mathbf{v})\,d\mathbf{v}=\int_{%
U}f(\varphi(\mathbf{u}))\left|\det(\operatorname{D}\varphi)(\mathbf{u})\right|%
\,d\mathbf{u}.}}
يمكن اضعاف شروط النظرية بعدة طرق. أولا شرط استمرارية اشتقاق φ يمكن ابداله بالافتراض الاضعف φ تكون قابلة للاشتقاق فقط ولها انعكاس مستمر هذا مضمون إذا كانت φ قابلة للاشتقاق باستمرار نظرية دالة المعكوس . بالمثل, الشرط Det(Dφ)≠0 يمكن عزله بتطبيق نظرية سارد . الكثير من الإصدارات العامة لهذه النتيجة لا زالت.
تطبيقات في الاحتمالات
يمكن استخدام التعويض للاجابة على السؤال المهم في الاحتمالات : إذا علم أن متغير عشوائي
X
𝑋
{\displaystyle{\displaystyle X}}
له كثافة احتمالية
p
x
subscript
𝑝
𝑥
{\displaystyle{\displaystyle p_{x}\,}}
ومتغير عشوائي آخر
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
له صلة بـ
X
𝑋
{\displaystyle{\displaystyle X\,}}
بالمعادلة
y
=
Φ
(
x
)
𝑦
Φ
𝑥
{\displaystyle{\displaystyle y=\Phi(x)\,}}
, فماهي كثافة الاحتمالية
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
?
من السهولة بمكان الاجابة على السؤال السابق بالاجابة أولا بشكل طفيف على سؤال آخر: ماهو احتمال ان تأخذ
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
قيمة في مجموعة فرعية معينة
S
𝑆
{\displaystyle{\displaystyle S\,}}
? لنرمز لهذه الاحتمالية بـ
P
(
Y
∈
S
)
fragments
P
fragments
(
Y
S
)
{\displaystyle{\displaystyle P(Y\in S)\,}}
. بالطلع, إذا كانت
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
لها كثافة احتمالية
p
y
subscript
𝑝
𝑦
{\displaystyle{\displaystyle p_{y}\,}}
فستصبح الاجابة
P
(
Y
∈
S
)
=
∫
S
p
y
(
y
)
d
y
,
fragments
P
fragments
(
Y
S
)
subscript
𝑆
subscript
𝑝
𝑦
fragments
(
y
)
d
y
,
{\displaystyle{\displaystyle P(Y\in S)=\int_{S}p_{y}(y)\,dy,}}
ولكن هذا لا يفيد لاننا لا نعلم p y ; فهي ما نبحث عنه من الوهلة الأولى. يمكننا التقدم خطوة بالنظر للمسألة في المتغير
X
𝑋
{\displaystyle{\displaystyle X\,}}
.
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
تأخذ قيمة في S كلما أخذت X قيمة في
Φ
-
1
(
S
)
superscript
Φ
1
𝑆
{\displaystyle{\displaystyle\Phi^{-1}(S)\,}}
, وعليه
P
(
Y
∈
S
)
=
∫
Φ
-
1
(
S
)
p
x
(
x
)
d
x
.
fragments
P
fragments
(
Y
S
)
subscript
superscript
Φ
1
𝑆
subscript
𝑝
𝑥
fragments
(
x
)
d
x
.
{\displaystyle{\displaystyle P(Y\in S)=\int_{\Phi^{-1}(S)}p_{x}(x)\,dx.}}
وبالتغيير من x إلى y نحصل على
P
(
Y
∈
S
)
=
∫
Φ
-
1
(
S
)
p
x
(
x
)
d
x
=
∫
S
p
x
(
Φ
-
1
(
y
)
)
|
d
Φ
-
1
d
y
|
d
y
.
fragments
P
fragments
(
Y
S
)
subscript
superscript
Φ
1
𝑆
subscript
𝑝
𝑥
fragments
(
x
)
d
x
subscript
𝑆
subscript
𝑝
𝑥
fragments
(
superscript
Φ
1
fragments
(
y
)
)
|
𝑑
superscript
Φ
1
𝑑
𝑦
|
d
y
.
{\displaystyle{\displaystyle P(Y\in S)=\int_{\Phi^{-1}(S)}p_{x}(x)~{}dx=\int_{%
S}p_{x}(\Phi^{-1}(y))~{}\left|{\frac{d\Phi^{-1}}{dy}}\right|~{}dy.}}
وبدمج هذه مع المعادلة الأولى تصبح
∫
S
p
y
(
y
)
𝑑
y
=
∫
S
p
x
(
Φ
-
1
(
y
)
)
|
d
Φ
-
1
d
y
|
𝑑
y
subscript
𝑆
subscript
𝑝
𝑦
𝑦
differential-d
𝑦
subscript
𝑆
subscript
𝑝
𝑥
superscript
Φ
1
𝑦
𝑑
superscript
Φ
1
𝑑
𝑦
differential-d
𝑦
{\displaystyle{\displaystyle\int_{S}p_{y}(y)~{}dy=\int_{S}p_{x}(\Phi^{-1}(y))~%
{}\left|{\frac{d\Phi^{-1}}{dy}}\right|~{}dy}}
وبالتالي
p
y
(
y
)
=
p
x
(
Φ
-
1
(
y
)
)
|
d
Φ
-
1
d
y
|
.
subscript
𝑝
𝑦
𝑦
subscript
𝑝
𝑥
superscript
Φ
1
𝑦
𝑑
superscript
Φ
1
𝑑
𝑦
{\displaystyle{\displaystyle p_{y}(y)=p_{x}(\Phi^{-1}(y))~{}\left|{\frac{d\Phi%
^{-1}}{dy}}\right|.}}
في الحالة التي يكون
X
𝑋
{\displaystyle{\displaystyle X\,}}
و
Y
𝑌
{\displaystyle{\displaystyle Y\,}}
معتمدا على متغيرات غير مترابطة, أي
p
x
=
p
x
(
x
1
…
x
n
)
subscript
𝑝
𝑥
subscript
𝑝
𝑥
subscript
𝑥
1
…
subscript
𝑥
𝑛
{\displaystyle{\displaystyle p_{x}=p_{x}(x_{1}\ldots x_{n})\,}}
, و
y
=
Φ
(
x
)
𝑦
Φ
𝑥
{\displaystyle{\displaystyle y=\Phi(x)\,}}
,
p
y
subscript
𝑝
𝑦
{\displaystyle{\displaystyle p_{y}\,}}
يمكن إيجادها بالتعويض في متغيرات متعددة سبق نقاشها. وتكون النتيجة
p
y
(
y
)
=
p
x
(
Φ
-
1
(
y
)
)
|
det
[
D
Φ
-
1
(
y
)
]
|
.
subscript
𝑝
𝑦
𝑦
subscript
𝑝
𝑥
superscript
Φ
1
𝑦
delimited-[]
𝐷
superscript
Φ
1
𝑦
{\displaystyle{\displaystyle p_{y}(y)=p_{x}(\Phi^{-1}(y))~{}\left|\det\left[D%
\Phi^{-1}(y)\right]\right|.}}
انظر أيضا
وصلات خارجية