வகையீடு (கணிதம்)

கட்டற்ற கலைக்களஞ்சியமான விக்கிப்பீடியாவில் இருந்து.
தாவிச் செல்லவும்: வழிசெலுத்தல், தேடல்

நுண்கணிதத்தில் வகையீடு (differential) என்பது சாரா மாறி x இல் ஏற்படும் மாற்றத்தைப் பொறுத்து சார்பு y = ƒ(x) இன் மதிப்பு அடையும் மாற்றத்தின் முதன்மைப் பகுதியைக் குறிக்கும்.

வகையீடு dy இன் வரையறை:

dy = f'(x)\,dx,

இங்கு f'(x) என்பது சார்பு ƒ இன் x ஐப் பொறுத்த வகைக்கெழு, dx ஒரு கூடுதல் மெய்யெண் மாறி (அதாவது x மற்றும் dx ஆகிய இரு மாறிகளில் அமைந்த சார்பு dy).

ƒ இன் x ஐப் பொறுத்த வகைக்கெழுவை லைப்னிட்சின் குறியீட்டில் எழுத, வகையீடு:

dy = \frac{dy}{dx}\, dx
df(x) = f'(x)\,dx எனவும் வகையீட்டைக் குறிக்கலாம்.

வரலாறு[தொகு]

சார்பு y = ƒ(x) இல் சாரா மாறி x இல் ஏற்படும் நுண்ணளவு மாற்றம் dx ஐப் பொறுத்து y இல் ஏற்படும் நுண்ணளவு மாற்றம் dy ஆக, வகையீடு லைப்னிட்சால் முதன்முதலாக அறிமுகப்படுத்தப்பட்டது. அதன் மூலம் x ஐப் பொறுத்த y இன் கணநேர மாறுவீதம், அதாவது வகைக்கெழு பின்வருமாறு தரப்பட்டது:

 \frac{dy}{dx} இதுவே வகைக்கெழுவிற்கான லைப்னிட்சின் குறியீடாகும்.

இதில் dy மற்றும் dx இரண்டும் அளவில் நுண்ணியளவானவையாக இருந்தாலும் dy/dx இன் மதிப்பு நுண்ணளவினதாக இல்லாமல் ஒரு மெய்யெண்ணாக இருக்கும்.

லைப்னிட்சின் இந்த நுண்ணளவுகளின் பயன்பாடு பரவலாக விமர்சனத்துக்கு உள்ளானது. லைப்னிட்சின் நுண்ணளவுகள் இல்லாமல் வகையீட்டை வரையறுத்தவர் பிரெஞ்சுக் கணிதவியலாளர் அகஸ்டின் லூயிஸ் கோஷி.[1][2] வேறுபாட்டு ஈவுகளின் எல்லையாக வகைக்கெழு வரையறுக்கப்பட்டு, அதிலிருந்து வகையீடு வரையறுக்கப்பட்டது.

dy = f'(x)\,dx

இவ்வரையறையில் dy மற்றும் dx முடிவுறு மெய்யெண் மதிப்புகளை எடுக்கும் இரண்டு புது மாறிகள்[3] லைப்னிட்சால் கூறப்பட்டது போல இவை இரண்டும் நுண்ணளவானவை அல்ல.[4] எல்லைகள் குறித்த தற்காலத்திய கருத்துரு கார்ல் வியர்ஸ்ட்ராசினுடையதாக (Karl Weierstrass) இருப்பினும் வகையீடு குறித்த கோஷியின் கருத்து தற்கால பகுவியல் முறைமைகளில் தரமானதாகக் கருதப்படுகிறது.[5][6]

வரையறை[தொகு]

 x0 புள்ளியில் சார்பு ƒ(x) இன் வகையீடு.

வகை நுண்கணிதத்தின் நவீன முறைகளில் வகையீடு பின்வருமாறு வரையறுக்கப்படுகிறது:[7]

x எனும் ஒருமாறியில் அமைந்த சார்பு ƒ(x) இன் வகையீடு df , x , Δx ஆகிய இரு சாரா மெய்யெண் மாறிகளில் அமைந்த ஒரு சார்பு.

df(x, \Delta x) \stackrel{\rm{def}}{=} f'(x)\,\Delta x.

df(x) அல்லது df என மாறிகளை விட்டுவிட்டும் எழுதலாம். y = ƒ(x) எனில் வகையீட்டை dy எனவும் எழுதலாம்.

dx(x, Δx) = Δx என்பதால் dx = Δx ஆகும். எனவே,

df(x) = f'(x) \, dx

பல மாறிச் சார்புகளின் வகையீடுகள்[தொகு]

 y = f(x_1,\dots,x_n), \,

 x1 மாறியைப் பொறுத்த y இன் பகுதி வகையீடு,  x1 இல் ஏற்படும் மாறுதல்  dx1 ஆல் y இல் ஏற்படும் மாறுதலின் முதன்மைப் பகுதியாகும்.

 x1 ஐப் பொறுத்த y இன் பகுதி வகையீடு:

 \frac{\partial y}{\partial x_1} dx_1

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

 dy = \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n,

உயர்வரிசை வகையீடுகள்[தொகு]

ஒருமாறியில் அமைந்த சார்பு y = ƒ(x) இன் உயர்வரிசை வகையீடுகள்:[8]

d^2y = d(dy) = d(f'(x)dx) = f''(x)\,(dx)^2,

பொதுவாக,

d^ny = f^{(n)}(x)\,(dx)^n.

பண்புகள்[தொகு]

வகைக்கெழு, பகுதி வகைக்கெழு, முழு வகைக்கெழு ஆகியவற்றின் பண்புகளிலிருந்து வகையீட்டின் ஒத்த பண்புகளை நேரிடையாகப் பெறலாம். அப்பண்புகள்:[9]

  • நேரியல்பு:

a , b இரு மாறிலிகள்; ƒ , g இரு வகையிடத்தக்க சார்புகள் எனில்,

d(af+bg) = a\,df + b\,dg.
  • பெருக்கல் விதி:

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

d(fg) = f\,dg+g\,df.
  • அடுக்கு விதி:
 d( f^n ) = n f^{n-1} df
  • சங்கிலி விதி:[10]
    • y = ƒ(u) மற்றும் u = g(x) வகையிடத்தக்கவை எனில்,
dy = f'(u)\,du = f'(g(x))g'(x)\,dx.
    • If y = ƒ(x1, ..., xn), மாறிகள்  x1, ..., xn அனைத்தும் மற்றொரு மாறி  t ஐச் சார்ந்திருந்தால்,
\begin{align}
dy &= \frac{dy}{dt}dt \\
&= \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n\\
&= \frac{\partial y}{\partial x_1} \frac{dx_1}{dt}\,dt + \cdots + \frac{\partial y}{\partial x_n} \frac{dx_n}{dt}\,dt.
\end{align}

குறிப்புகள்[தொகு]

  1. For a detailed historical account of the differential, see Boyer 1959, especially page 275 for Cauchy's contribution on the subject. An abbreviated account appears in Kline 1972, Chapter 40.
  2. Cauchy explicitly denied the possibility of actual infinitesimal and infinite quantities (Boyer 1959, pp. 273–275), and took the radically different point of view that "a variable quantity becomes infinitely small when its numerical value decreases indefinitely in such a way as to converge to zero" (Cauchy 1823, p. 12; translation from Boyer 1959, p. 273).
  3. Boyer 1959, p. 275
  4. Boyer 1959, p. 12: "The differentials as thus defined are only new variables, and not fixed infinitesimals..."
  5. Courant 1937i, II, §9: "Here we remark merely in passing that it is possible to use this approximate representation of the increment Δy by the linear expression (x) to construct a logically satisfactory definition of a "differential", as was done by Cauchy in particular."
  6. Boyer 1959, p. 284
  7. See, for instance, the influential treatises of Courant 1937i, Kline 1977, Goursat 1904, and Hardy 1905. Tertiary sources for this definition include also Tolstov 2001 and Ito 1993, §106.
  8. Cauchy 1823. See also, for instance, Goursat 1904, I, §14.
  9. Goursat 1904, I, §17
  10. Goursat 1904, I, §§14,16

மேற்கோள்கள்[தொகு]

வெளி இணைப்புகள்[தொகு]

"http://ta.wikipedia.org/w/index.php?title=வகையீடு_(கணிதம்)&oldid=1557967" இருந்து மீள்விக்கப்பட்டது