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

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

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

:<math>dy = f'(x)\,dx,</math>  

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

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

:<math>dy = \frac{dy}{dx}\, dx</math>  

:<math>df(x) = f'(x)\,dx</math> எனவும் வகையீட்டைக் குறிக்கலாம்.  

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

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

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

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

:<math>dy = f'(x)\,dx</math>  

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

## வரையறை

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

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

:<math>df(x, \Delta x) \stackrel{\rm{def}}{=} f'(x)\,\Delta x.</math>  

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

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

:<math>df(x) = f'(x) \, dx</math>  

## பல மாறிச் சார்புகளின் வகையீடுகள்

: <math> y = f(x_1,\dots,x_n), \, </math>  

&nbsp;*x*<sub>1</sub> மாறியைப் பொறுத்த *y* இன் பகுதி வகையீடு, &nbsp;*x*<sub>1</sub> இல் ஏற்படும் மாறுதல் &nbsp;*dx*<sub>1</sub> ஆல் *y* இல் ஏற்படும் மாறுதலின் முதன்மைப் பகுதியாகும்.  

&nbsp;*x*<sub>1</sub> ஐப் பொறுத்த *y* இன் **பகுதி வகையீடு**:  

: <math> \frac{\partial y}{\partial x_1} dx_1 </math>  

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

: <math> dy = \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n, </math>  

## உயர்வரிசை வகையீடுகள்
ஒருமாறியில் அமைந்த சார்பு *y*&nbsp;=&nbsp;*ƒ*(*x*) இன் உயர்வரிசை வகையீடுகள்:  

:<math>d^2y = d(dy) = d(f'(x)dx) = f''(x)\,(dx)^2,</math>  

பொதுவாக,  
:<math>d^ny = f^{(n)}(x)\,(dx)^n.</math>  

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

- நேரியல்பு:

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

::<math>d(af+bg) = a\,df + b\,dg.</math>  

- பெருக்கல் விதி:

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

::<math>d(fg) = f\,dg+g\,df.</math>  

- அடுக்கு விதி:
::<math> d( f^n ) = n f^{n-1} df </math>  

- சங்கிலி விதி:
  - *y*&nbsp;=&nbsp;*ƒ*(*u*) மற்றும் *u*&nbsp;=&nbsp;*g*(*x*) வகையிடத்தக்கவை எனில்,

::<math>dy = f'(u)\,du = f'(g(x))g'(x)\,dx.</math>  

  - If *y*&nbsp;=&nbsp;*ƒ*(*x*<sub>1</sub>,&nbsp;...,&nbsp;*x*<sub>*n*</sub>), மாறிகள் &nbsp;*x*<sub>1</sub>,&nbsp;...,&nbsp;*x*<sub>*n*</sub> அனைத்தும் மற்றொரு மாறி &nbsp;*t* ஐச் சார்ந்திருந்தால்,

:: <math>\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}</math>