வகையிடலின் பெருக்கல் விதி

testwiki இலிருந்து
Jump to navigation Jump to search

நுண்கணிதத்தில் வகையிடலின் பெருக்கல் விதி அல்லது பெருக்கல் விதி (product rule) என்பது, இரண்டு அல்லது இரண்டுக்கு மேற்பட்ட சார்புகளின் பெருக்கலாக அமையும் சார்பினை வகையிடும் வழிமுறையைத் தருகின்ற ஒரு விதியாகும்.

இவ்விதியின் கூற்று:

f , g வகையிடத்தக்கச் சார்புகள் எனில்:

(fg)=fg+fg

லைப்னிட்சின் குறியீட்டில் இவ்விதி:

ddx(uv)=udvdx+vdudx.

வகையீடுகளின் குறியீட்டில் இவ்விதியைப் பின்வருமாறு எழுதலாம்:

d(uv)=udv+vdu.

இவ்விதியின்படி மூன்று சார்புகளின் பெருக்கலாக அமையும் சார்பின் வகைக்கெழு:

ddx(uvw)=dudxvw+udvdxw+uvdwdx.

லைப்னிட்சின் கண்டுபிடிப்பு

இந்தப் பெருக்கல் விதி லைப்னிட்சின் கண்டுபிடிப்பாகக் கருதப்படுகிறது (மாற்றுக் கருத்தும் உள்ளது). லைப்னிட்ஸ் இவ்விதியை வகையீடுகளைக் கொண்டு விளக்கியுள்ளார்.

u(x) , v(x) இரு வகையிடக்கூடிய சார்புகள் எனில் uv இன் வகையீடு:

d(uv)=(u+du)(v+dv)uv=udv+vdu+dudv.

du·dv மதிப்புத் தவிர்க்கத்தக்க அளவு சிறியதாகையால் அதை விட்டுவிடக் கிடைப்பது,

d(uv)=vdu+udv

இது பெருக்கல் விதியின் வகையீட்டு வடிவமாகும்.

dx ஆல் வகுக்க,

ddx(uv)=vdudx+udvdx

இதனைப் பின்வருமாறும் எழுதலாம்:

(uv)=vu+uv.

எடுத்துக்காட்டுகள்

  • வகையிட வேண்டிய சார்பு
f(x)=x2sinx எனில் பெருக்கல் விதியைப் பயன்படுத்த,
(f(x))=sinx(x2)+x2(sinx)
=sinx(2x)+x2(cosx)
=2xsinx+x2cosx

பெருக்குத்தொகையில் உள்ள இரு சார்புகளில் ஒன்று மாறிலியாக இருந்தால் பெருக்கல் விதியானது மாறிலிப் பெருக்கல் விதியாக மாறிவிடும்.

பெருக்கல் விதிப்படி,

(cf(x))=c(f(x))+f(x)(c)

மாறிலி c இன் வகைக்கெழு பூச்சியம் என்பதால்,

(cf(x))=cf(x) இது வகையிடலின் மாறிலிப் பெருக்கல் விதியாகும்.

பொதுவான பிழை

பொதுவாக வகையிடும்போது நிகழக்கூடிய ஒரு பிழை (uv) இன் வகைக்கெழுவை (u ′)(v ′) எனக் கருதிவிடுவது ஆகும். லைப்னிட்சுக்கும் இத்தவறு நேர்ந்ததுண்டு[1] ஆனால் இவ்வாறு உண்மையில் அமையாது என்பதற்கு எளிதாக மாற்று எடுத்துக்காட்டுகளைத் தரமுடியும்.

நிறுவல்

பெருக்கல் விதியை எல்லைகளின் பண்புகளையும் வகையிடலின் வரையறையும் பயன்படுத்தி நிறுவுதல்.

h(x)=f(x)g(x),

ƒ , g -என்பவை x இல் வகையிடத்தக்கச் சார்புகள் எனில்,

h(x)=limwxh(w)h(x)wx=limwxf(w)g(w)f(x)g(x)wx(1)

இதிலுள்ள f(w)g(w)f(x)g(x)(2) என்பது பெரிய செவ்வகத்தின் பரப்புக்கும் சிறிய செவ்வகத்தின் பரப்புக்குமுள்ள வித்தியாசம் ஆகும்.

இவ்விரண்டு செவ்வகங்களுக்கு இடையேயுள்ள பகுதியை இரு செவ்வகங்களாகப் பிரிக்கலாம். இவ்விரு பகுதிகளின் பரப்புகளின் கூடுதல்:[2]

f(x)(g(w)g(x))+g(w)(f(w)f(x)).(3)

(2) = (3) என்பதால்,

f(w)g(w)f(x)g(x)=f(x)(g(w)g(x))+g(w)(f(w)f(x))(4)

இதை (1) இல் பயன்படுத்த,

limwx(f(x)(g(w)g(x)wx)+g(w)(f(w)f(x)wx))(4)

இதிலுள்ள அனைத்து எல்லைகளின் மதிப்பையும் காண முடியும் என எடுத்துக்கொண்டால்,

(limwxf(x))(limwxg(w)g(x)wx)+(limwxg(w))(limwxf(w)f(x)wx)(5)

இப்பொழுது

  • limwxf(x)=f(x),w → x எனும்போது f(x) மாறுவதில்லை)
  • limwxg(w)=g(x), (வகையிடத்தக்கச் சார்புகள் தொடர்ச்சியானவை என்பதால் இது உண்மை)
  • limwxf(w)f(x)wx=f(x)    and    limwxg(w)g(x)wx=g(x) (f , g இரண்டும் x இல் வகையிடத்தக்கதாய் இருப்பதால்)

இம்முடிவுகளை (5) இல் பயன்படுத்த,

h(x)=f(x)g(x)+g(x)f(x). எனவே வகையிடலின் பெருக்கல் விதி நிறுவப்பட்டது.

வேறுபல முறைகளிலும் இவ்விதியை நிறுவ முடியும்.

பொதுமைப்படுத்துதல்

இரண்டுக்கும் மேற்பட்ட சார்புகளுக்கு

பெருக்கல் விதியை இரண்டுக்கும் மேற்பட்ட சார்புகளுக்கும் விரிவுபடுத்தலாம்:

  • மூன்று சார்புகளுக்கு:
d(uvw)dx=dudxvw+udvdxw+uvdwdx.
  • f1,,fk ஆகிய k-சார்புகளுக்கு:
ddx[i=1kfi(x)]=i=1k(ddxfi(x)jifj(x))=(i=1kfi(x))(i=1kf'i(x)fi(x)).

உயர்வரிசை வகைக்கெழுக்கள்

பெருக்கல் விதியை இரு சார்புகளின் பெருக்கலாக அமையும் சார்பின் n ஆம் வரிசை வகையிடலுக்குப் பொதுமைப்படுத்தலாம்:

(uv)(n)(x)=k=0n(nk)u(nk)(x)v(k)(x).

பொதுமைப்படுத்தப்பட்ட பெருக்கல் விதி, பொது லைப்னிட்ஸ் விதி அல்லது லைப்னிட்ஸ் விதி என அழைக்கப்படுகிறது.

உயர்வரிசை பகுதி வகைக்கெழுக்கள்

உயர்வரிசை பகுதி வகையிடலுக்கான பொதுமைப்படுத்தப்பட்ட பெருக்கல் விதி:

nx1xn(uv)=S|S|uiSxin|S|vi∉Sxi

மூன்றாம் வரிசைப் பகுதி வகையிடல்:

3x1x2x3(uv)=u3vx1x2x3+ux12vx2x3+ux22vx1x3+ux32vx1x2+2ux1x2vx3+2ux1x3vx2+2ux2x3vx1+3ux1x2x3v.

மேற்கோள்கள்

வார்ப்புரு:Reflist வார்ப்புரு:Refbegin

  • Child, J. M. (2008) "The early mathematical manuscripts of Leibniz", Gottfried Wilhelm Leibniz, translated by J. M. Child; page 29, footnote 58.

வார்ப்புரு:Refend

  1. வார்ப்புரு:Cite journal
  2. The illustration disagrees with some special cases, since – in actuality – ƒ(w) need not be greater than ƒ(x) and g(w) need not be greater than g(x). Nonetheless, the equality of (2) and (3) is easily checked by algebra.