கேள்வி: குவிவுச் சார்பு என்பது என்ன?
பதில்: Image:ConvexFunction.svg Image:Epigraph convex.svg (பச்சை) மேலமையும் பகுதி ஒரு குவிவுக் கணமாக இருந்தால், இருந்தால் மட்டுமே, அச்சார்பு (கருப்பு) ஒரு குவிவுச் சார்பாகும்.]] கணிதத்தில் ஒரு இடைவெளியின் மீது வரையறுக்கப்பட்ட மெய்யெண் சார்பு f(x), குவிவுச் சார்பு (''Convex function'') எனில் அச்சார்பின் வரைபடம் மேலமையும் ஏதேனும் இரு புள்ளிகளை இணைக்கும் கோட்டுத்துண்டு முழுவதுமாக அவ்வரைபடத்தின் மேற்பகுதியில் அமையும். அதாவது ஒரு சார்பின் வெளிவரைபடம் (கணிதம்) குவிவுக் கணம் இருக்குமானால் அச்சார்பு ஒரு குவிவுச் சார்பாக இருக்கும். எடுத்துக்காட்டாக, இருபடிச் சார்பு f(x)=x^2, அடுக்குக்குறிச் சார்பு f(x)=e^x (''x'' ஏதேனுமொரு மெய்யெண்) இரண்டும் குவிவுச் சார்புகள்.
கேள்வி: குவிவுச் சார்பு - வரையறை பற்றி தகவல் சொல்.
பதில்: ஒரு திசையன் வெளியிலமைந்த குவிவுக் கணம் ''X'' இன் மீது வரையறுக்கப்பட்ட மெய்மதிப்புச் சார்பு கீழ்க்காணுமாறு இருப்பின் குவிவுச் சார்பு என வரையறுக்கப்படும். x_1, x_2 என்பவை ''X'' இன் இரு புள்ளிகள்; t\in[0,1] எனில்: :f(tx_1+(1-t)x_2)\leq t f(x_1)+(1-t)f(x_2). ;திட்டமாக குவிவுச் சார்பு :f(tx_1+(1-t)x_2) 0 , x_1 \not=x_2 எனில் சார்பு, திட்டமாகக் குவிவுச் சார்பு (''strictly convex'') என வரையறுக்கப்படும். . &minus;''f'' திட்டமாகக் குவிவுச் சார்பாக இருப்பின் ''f'' திட்டமாகக் குழிவுச் சார்பு ஆக இருக்கும்.
கேள்வி: குவிவுச் சார்பு - பண்புகள் பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: ஒரு மெய்யெண் இடைவெளியில் வரையறுக்கப்பட்ட ஒருமாறியிலமைந்த சார்பு ''f'' . : R(x_1,x_2) = \frac{f(x_1) - f(x_2)}{x_1 - x_2} (R(x_1,x_2)-மேலுள்ள படத்தில் பர்ப்பிள் வண்ணக் கோட்டின் சாய்வு மற்றும் R(x_1,x_2), x_1,x_2 சமச்சீரானது.) x_1 இல், (x_2 நிலையாகக் கொள்ள) அல்லது x_2 இல், (x_1 நிலையாகக் கொள்ள) R(x_1,x_2) ஓரியல்புச் சார்பு இருந்தால், இருந்தால் மட்டுமே, ''f'' ஒரு குவிவுச் சார்பாகும். ;நடுப்புள்ளிக் குவிவு ''C'' இல் உள்ள அனைத்து x_1 மற்றும் x_2 களுக்கும், :f\left( \frac{x_1+x_2}{2} \right) \le \frac{f(x_1)+f(x_2)}{2} எனில் ''C'' இடைவெளி (கணிதம்), ''f'' நடுப்புள்ளிக் குவிவு எனப்படும் நடுப்புள்ளிக் குவிவாக இருக்கும் ஒரு தொடர்ச்சியான சார்பு குவிவுச் சார்பாகவும் இருக்கும். ஒரு இடைவெளியின் மீது வரையறுக்கப்பட்ட வகையிடத்தக்கச் சார்பின் வகைக்கெழு அந்த இடைவெளியில் ஓரியல்பாகக் குறையும் சார்பாக இருந்தால், இருந்தால் மட்டுமே, அச்சார்பு குவிவுச் சார்பாக இருக்கும். ஒரு சார்பு வகையிடத்தக்கச் சார்பு, குவிவுச் சார்பாகவும் இருந்தால் அச்சார்பு தொடர்ச்சியாக வகையிடத்தக்கது. ஒருமாறியிலமைந்த தொடர்ச்சியாக வகையிடத்தக்கச் சார்புக்கு, அதன் வளைவரையின் மீதுள்ள அனைத்துப் புள்ளிகளிடத்தும் வரையப்படும் தொடுகோடுகள் அனைத்திற்கும் மேற்புறமாக அச்சார்பின் வரைபடம் இருந்தால், இருந்தால் மட்டுமே, அச்சார்பு அந்த இடைவெளியில் குவிவுச் சார்பாகும்: :f(x) \geq f(y) + f'(y)[x-y] (இடைவெளியிலுள்ள அனைத்து ''x'' மற்றும் ''y'' க்கும் இது பொருந்த வேண்டும்.) குறிப்பாக, ''f''&nbsp;'(''c'') =&nbsp;0, எனில் ''c'' ஆனது ''f''(''x'') இன் பெருமம் மற்றும் சிறுமம் இருக்கும். ஒருமாறியிலமைந்த இருமுறை வகையிடத்தக்கச் சார்பின் இரண்டாம் வகைக்கெழு எதிர் மதிப்பாக இருந்தால், இருந்தால் மட்டுமே, ஒரு இடைவெளியில் அச்சார்பு, குவிவுச் சார்பாகும். தரப்பட்ட சார்பு குவிவுச் சார்பா இல்லையா என்று சோதித்துப் பார்ப்பதற்கு இந்த முடிவு உதவும். இடைவெளியிலுள்ள எல்லாப் புள்ளிகளிலும் இரண்டாம் வகைக்கெழு நேர்மதிப்பாக இருப்பின் அவ்விடைவெளியில் சார்பு திட்டமாகக் குவிவுச் சார்பாகும். ஆனால் இதன் மறுதலை உண்மையாகாது. எடுத்துக்காட்டாக, ''f''(''x'')&nbsp;=&nbsp;''x''4 சார்பின் இரண்டாம் வகைக்கெழு: : ''f''&nbsp;"(''x'') = 12 ''x''2, ''x''&nbsp;=&nbsp;0 எனில் இரண்டாம் வகைக்கெழு பூச்சியம். இருப்பினும், ''f'' ஒரு திட்டமாகக் குவிவுச் சார்பு. ஒரு குவிவுச் சார்பின் பெருமம் மற்றும் சிறுமம், அதன் மீச்சிறு சிறுமமாக இருக்கும். திட்டமாகக் குவிவுச் சார்புக்கு அதிகபட்சமாக ஒரு மீச்சிறு சிறுமம் மட்டுமே இருக்கும். ''f'' ஒரு குவிவுச் சார்பு; ''f'' இன் ஆட்களம் (கணிதம்) மதிப்புகளை ஏற்கும் சமவாய்ப்பு மாறி ''X'' எனில்: :\operatorname{E}(f(X)) \geq f(\operatorname{E}(X)). (இங்கு செயலி E எதிர்பார்ப்பு மதிப்பு குறிக்கிறது.)
கேள்வி: குவிவுச் சார்பு - குவிவுச் சார்பு நுண்கணிதம் குறித்து விரிவாக சொல்லுங்கள்.
பதில்: *சார்புகள் f, g இரண்டும் குவிவுச் சார்புகளெனில் m(x) = \max\{f(x),g(x)\}, h(x) = f(x) + g(x). ஆகிய இரு சார்புகளும் குவிவுச் சார்புகளாக இருக்கும். *சார்புகள் f, g இரண்டும் குவிவுச் சார்புகளாகவும், g குறையாச் சார்பாகவும் இருப்பின் சார்பு h(x) = g(f(x)) குவிவுச் சார்பாக இருக்கும். எடுத்துக்காட்டாக, f(x) ஒரு குவிவுச் சார்பு எனில் e^{f(x)} சார்பும் குவிவுச் சார்பாகும். இங்கு e^x குவிவுச் சார்பாகவும் ஓரியல்பாகக் கூடும் சார்பாகவும் உள்ளது. * f குழிவுச் சார்பு; g குவிவு மற்றும் ஓரியல்புச் சார்பு எனில் சார்பு h(x) = g(f(x)) குவிவுச் சார்பு. *x இல் f(x,y) குவிவுச் சார்பு மற்றும் x இன் சில மதிப்புகளுக்கு g(x) > -\infty எனில் g(x) = \sup_{y\in C} f(x,y) சார்பும் x இல் குவிவுச் சார்பாக அமையும். *ஒரு குவிவுச் சார்பின் கூட்டல் நேர்மாறுச் சார்பு, குழிவுச் சார்பாகும்.
கேள்வி: குவிவுச் சார்பு - எடுத்துக்காட்டுகள் என்பது என்ன?
பதில்: * எல்லாவிடத்திலும் f(x)=x^2 சார்பின் இரண்டாம் வகைக்கெழு f''(x)=2>0 என்பதால் ''f'' ஒரு குவிவுச் சார்பு. * f(x)=x^4 சார்பின் இரண்டாம் வகைக்கெழு f''(x)=12x^2\ge0 என்பதால் ''f'' ஒரு குவிவுச் சார்பு. * &nbsp;''x''&nbsp;=&nbsp;0 புள்ளியில் வகையிடத்தக்கதாக இல்லாவிடினும் தனி மதிப்புச் சார்பு f(x)=|x| ஒரு குவிவுச் சார்பு. ஆனால் இது திட்டமாகக் குவிவுச் சார்பு அல்ல. * f(x)=|x|^p (1&nbsp;≤&nbsp;''p'') ஒரு குவிவுச் சார்பு. * அடுக்குக்குறிச் சார்பு f(x)=e^x குவிவுச் சார்பாகும். மேலும் f''(x)=e^x >0 என்பதால் அது திட்டமாகக் குவிவுச் சார்பாகவும் அமையும். * [0,1] இடைவெளியை ஆட்களமாகக் கொண்டு வரையறுக்கப்படும் சார்பு ''f''(0)&nbsp;=&nbsp;''f''(1)&nbsp;=&nbsp;1, ''f''(''x'')&nbsp;=&nbsp;0, 0&nbsp;3 சார்பின் இரண்டாம் வகைக்கெழு 6''x''; எனவே ''x'' ≥ 0 எனில் இச்சார்பு குவிவுச் சார்பாகவும் &nbsp;''x''&nbsp;≤&nbsp;0 எனில் குழிவுச் சார்பாகவும் இருக்கும். *ஓரியல்பாகக் கூடும் சார்பாக ஆனால் குவிவுச் சார்பல்லாத சார்புகளுக்கு எடுத்துக்காட்டுகள்: f(x) = \sqrt x மற்றும் ''g''(''x'')&nbsp;=&nbsp;log(''x''). * குவிவுச் சார்பாக ஆனால் ஓரியல்பாகக் கூடும் சார்பாக இல்லாத சார்புகளுக்கு எடுத்துக்காட்டுகள்: h(x) = x^2 மற்றும் k(x)=-x. * ''f''(''x'') = 1/''x'' சார்பின் இரண்டாம் வகைக்கெழு f\,''(x)=\frac{2}{x^3} ''x'' > 0 விற்கு நேர்மதிப்பாக இருப்பதால் (0,&nbsp;+∞) இடைவெளியில் ''f''(''x'') குவிவுச் சார்பாகவும் மாறாக (-∞,0) இடைவெளியில் குழிவுச் சார்பாகவும் உள்ளது. * ''f''(''x'') = 1/''x''2, ''f''(0)&nbsp;=&nbsp;+∞, சார்பு (0,&nbsp;+∞) மற்றும் (-∞,0) இடைவெளிகளில் குவிவுச் சார்பு; ஆனால், ''x''&nbsp;=&nbsp;0 இல் அதன் வரையறை காரணமாக (-∞,&nbsp;+∞) இடைவெளியில் குவிவுச் சார்பாக இருக்காது.