பெருமம் மற்றும் சிறுமம்

கணிதத்தில் ஒரு சார்பின் **பெரும மதிப்பு** (*maximum value*) மற்றும் **சிறும மதிப்பு** (*minimum value*)  என்பது ஒரு புள்ளியின்  அண்மையகத்திலோ அல்லது சார்பின் முழுஆட்களத்திலோ, அச்சார்பு அடையக்கூடிய மிகப்பெரிய அல்லது மிகச் சிறிய மதிப்பாகும். பெரும அல்லது சிறும மதிப்புகள் இரண்டுமே சார்பின் **முகட்டு மதிப்புகள்** (*extreme values*) எனப் பொதுவில் அழைக்கப்படுகின்றன. பெரும மதிப்பை பெருமம் என்றும் சிறும மதிப்பை சிறுமம் என்றும் சுருக்கமாக அழைப்பது வழக்கம்.

## பகுமுறை வரையறை
மெய்யெண் கோட்டின்மீது வரையறுக்கப்பட்ட ஒரு மெய்மதிப்புச் சார்பு *f* -க்கு *x*&lowast; என்ற புள்ளி, இடஞ்சார்ந்த பெருமப்புள்ளி எனில்,

ஏதேனும் ஒரு சிறு மதிப்பு &epsilon; > 0 ,  |*x* − *x*&lowast;| &lowast;) &ge; *f*(*x*) ஆக அமையும். இப்புள்ளியில் சார்பு அடையும் மதிப்பு அச்சார்பின் இடஞ்சார்ந்த பெரும மதிப்பு அல்லது பெருமம் எனப்படுகிறது.

இதேபோல்  *x*&lowast; என்ற புள்ளி இடஞ்சார்ந்த சிறுமப்புள்ளி எனில்,

|*x* − *x*&lowast;| &lowast;) &le; *f*(*x*)  -ஆக இருக்கும். இப்புள்ளியில் சார்பு அடையும் மதிப்பு அச்சார்பின் இடஞ்சார்ந்த சிறும மதிப்பு அல்லது சிறுமம் எனப்படுகிறது.

*x*&lowast;  என்ற புள்ளி சார்பின் மீப்பெரு பெருமப் புள்ளியாக இருக்க அனைத்து *x* மதிப்பிற்கும்

:*f*(*x*&lowast;) &ge; *f*(*x*)  ஆக இருக்க வேண்டும்.

இதேபோல் *x*&lowast;  என்ற புள்ளி சார்பின் மீச்சிறு சிறுமப் புள்ளியாக இருக்க அனைத்து *x* மதிப்பிற்கும்

:*f*(*x*&lowast;) &le; *f*(*x*)  ஆக இருக்க வேண்டும்.

*கட்டுப்பாடுற்ற ஆட்களம்*:

முழு மெய்யெண்கோட்டையும் ஆட்களமாகக் கொண்டிராத சார்புகளுக்கும் பெரும மற்றும் சிறுமம் உண்டு. எந்தவொரு கணத்தையும் ஆட்களமாகக் கொண்ட ஒரு மெய்மதிப்புச் சார்புக்கு மீப்பெரு பெருமம் அல்லது மீச்சிறு சிறுமம் இருக்கலாம். இடஞ்சார்ந்த பெருமம் அல்லது இடஞ்சார்ந்த சிறுமமும்  இருக்கலாம். ஆனால் இந்த இடஞ்சார்ந்த பெரும அல்லது சிறுமப் புள்ளிகளின் அண்மையகங்கள் அச்சார்பின் ஆட்களத்தினுள் கண்டிப்பாக அமைய வேண்டும். அண்மையகம் என்பது |*x* − *x*&lowast;| f(x)= x^2,\, -சார்புக்கு: 
:ஒரேயொரு மீச்சிறு சிறுமம் *x* = 0  -ல் அமையும்.
* f(x)= x^3,\, -சார்புக்கு: 
:*x* = 0  -ல் முதல் வகைக்கெழு (3*x*2) =  0 
:எனினும் இப்புள்ளி மீப்பெரு பெரும மற்றும் மீச்சிறு சிறுமப் புள்ளி அல்ல.
:*x* = 0 என்ற புள்ளி, இச்சார்பின் வளைவுமாற்றுப் புள்ளி.(படம் 3)
* \sqrt[x]{x}  -சார்புக்கு: 
:*x* = *e * என்ற புள்ளியில் ஒரேயொரு மீப்பெரு பெருமம் உண்டு. (படம் 2.)
* f(x)= \frac{1}{x^x},\, சார்புக்கு:  
:*x* = 1/*e* புள்ளியில் ஒரேயொரு மீப்பெரு பெருமம் உண்டு.
* :f(x)= \frac{x^3}{3}-x,\, சார்புக்கு: 
:முதல் வகைக்கெழு  *x*2 − 1, 
:இரண்டாம் வகைக்கெழு 2*x*. 
:முதல் வகைக்கெழுவை பூச்சியத்துக்குச் சமப்படுத்த மாறுநிலைப் புள்ளிகள்  *x*  =  −1 மற்றும் +1 கிடைக்கும்.  
:இரண்டாம் வகைக்கெழுவின் குறியிலிருந்து,  *x*  =  −1  என்பது இடஞ்சார்ந்த பெருமப்புள்ளி என்றும்  
:*x*  =  1  என்பது இடஞ்சார்ந்த சிறுமப்புள்ளி என்றும் காணலாம். 
:இச்சார்புக்கு மீப்பெரு பெருமம் மற்றும் மீச்சிறு சிறுமம் கிடையாது.
*  f(x)= |x|,\, சார்புக்கு: 
:*x* = 0  புள்ளியில் மீப்பெரு பெருமம் உண்டு. 
:ஆனால் சார்பை *x* = 0 புள்ளியில் வகையிட முடியாது என்பதால் இப்பெருமத்தை வகையிடல் மூலம் காண முடியாது.
* f(x)= cos(x),\, சார்புக்கு: 
: முடிவிலா எண்ணிக்கையிலான மீப்பெரு பெரும மதிப்புகள்,  *x*  = 0, ±2&pi;, ±4&pi;, …, புள்ளிகளிலும்; 
:மீச்சிறு சிறும மதிப்புகள் *x* =  ±&pi;, ±3&pi;, …., புள்ளிகளிலும் உள்ளன.
* f(x)= 2cos(x)-x,\, சார்புக்கு: 
:முடிவிலா எண்ணிக்கையிலான இடஞ்சார்ந்த பெரும மற்றும் சிறும மதிப்புகள் உண்டு. 
:ஆனால் மீப்பெரு பெரும மற்றும் மீச்சிறு சிறும மதிப்புகள் கிடையாது.
* f(x)= \frac{cos3 \pi x}{x},\,;     0.1&nbsp;&le;&nbsp;*x*&nbsp;&le;&nbsp;1.1  சார்புக்கு:
: *x*&nbsp;= 0.1 (முனைப்புள்ளி) -மீப்பெரு பெருமம்,  
:*x*&nbsp;= 0.3 க்கு அருகில் மீச்சிறு சிறுமம்,  
:*x*&nbsp;= 0.6 -க்கு அருகில் இடஞ்சார்ந்த பெருமம்,  
:*x*&nbsp;= 1.0. -க்கு அருகில் இடஞ்சார்ந்த சிறுமம் உள்ளது.(முதல் படத்தைப் பார்க்க.)
* f(x)= x^3+3x^2-2x+1,\, என்ற சார்பு வரையறுக்கப்படும் இடைவெளி [−4,2]:   
:*x* = −1−&radic;15&frasl;3  இடஞ்சார்ந்த பெருமம்,
:*x* = −1+&radic;15&frasl;3 இடஞ்சார்ந்த சிறுமம்,  
:*x* = 2 மீப்பெரு பெருமம் 
:*x* = −4 மீச்சிறு சிறுமம்.

## ஒன்றுக்கு மேற்பட்ட மாறிகளில் அமைந்த சார்புகள்
ஒரு மாறியில் அமைந்த சார்புகளுக்குரிய பெரும மற்றும் சிறும மதிப்புகளிக்கான நிபந்தனைகள், ஒன்றுக்கும் மேற்பட்ட மாறிகளில் அமைந்த சார்புகளுக்கும் பொருந்தும்.

ஒன்றுக்கும் மேற்பட்ட மாறிகளில் அமைந்த சார்பின் இடஞ்சார்ந்த பெருமத்திற்குத்(சிறுமம்) தேவையான நிபந்தனைகள்:

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

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

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

மெய்யெண் கோட்டின் ஒரு மூடிய இடைவெளியில் வரையறுக்கப்பட்ட எல்லைக்குட்பட்ட வகையிடத்தக்க ஒரு சார்புக்கு இடஞ்சார்ந்த சிறுமமாக அமையும் ஒரேயொரு மாறுநிலைப் புள்ளியிருக்குமானால் அதுவே மீச்சிறு சிறுமப் புள்ளியாகவும் அமையும்.

ஆனால் இரண்டு அல்லது இரண்டுக்கு மேற்பட்ட மாறிகளில் அமைந்த சார்புகளுக்கு இது பொருந்தாது.

:f(x,y)= x^2+y^2(1-x)^3,\qquad x,y\in\mathbb{R}, என்ற சார்புக்கு:

:ஒரேயொரு மாறுநிலைப் புள்ளி (0,0).  
:இது இடஞ்சார்ந்த சிறுமப் புள்ளியாகவும் அமையும்.   &fnof;(0,0)&nbsp;=&nbsp;0. 
:ஆனால் இப்புள்ளி மீச்சிறு சிறுமப்புள்ளி கிடையாது. ஏனென்றால் &fnof;(4,1)&nbsp;=&nbsp;&minus;11 என &nbsp;0-ஐ விடக் குறைவான மதிப்பு சார்புக்கு உள்ளது.

## மேற்கோள்கள்

## வெளி இணைப்புகள்
*Maxima and Minima From MathWorld—A Wolfram Web Resource.
*Thomas Simpson's work on Maxima and Minimaat
*Application of Maxima and Minima with sub pages of solved problems

பகுப்பு:வகையீட்டு நுண்கணிதம்
பகுப்பு:நுண்கணிதம்