अवतल फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 20: Line 20:


===एकल चर के कार्य===
===एकल चर के कार्य===
# एक भिन्न कार्य {{mvar|f}} एक अंतराल (गणित) पर (सख्ती से) अवतल है यदि और केवल यदि इसका व्युत्पन्न कार्य है {{mvar|f &prime;}} उस अंतराल पर (सख्ती से) [[नीरस रूप से घट रहा है]], यानी, एक अवतल फ़ंक्शन में गैर-बढ़ती (घटती) [[ढलान]] होती है।<ref>{{Cite book| last=Rudin| first=Walter| title=विश्लेषण| year=1976| pages= 101}}</ref><ref>{{Cite journal |last1=Gradshteyn|first1=I. S.| last2=Ryzhik|first2=I. M.| last3=Hays|first3=D. F.| date=1976-07-01| title=इंटीग्रल्स, श्रृंखला और उत्पादों की तालिका| journal=Journal of Lubrication Technology| volume=98|issue=3|pages=479| doi=10.1115/1.3452897|issn=0022-2305 |doi-access=free}}</ref>
# एक अवकलनीय फ़ंक्शन {{mvar|f}} एक अंतराल (गणित) पर (सख्ती से) अवतल होता है यदि इसका व्युत्पन्न फ़ंक्शन {{mvar|f &prime;}} उस अंतराल पर (सख्ती से) [[नीरस रूप से घट रहा है]], अर्थात, एक अवतल फ़ंक्शन में गैर-बढ़ती (घटती) [[ढलान]] होती है।<ref>{{Cite book| last=Rudin| first=Walter| title=विश्लेषण| year=1976| pages= 101}}</ref><ref>{{Cite journal |last1=Gradshteyn|first1=I. S.| last2=Ryzhik|first2=I. M.| last3=Hays|first3=D. F.| date=1976-07-01| title=इंटीग्रल्स, श्रृंखला और उत्पादों की तालिका| journal=Journal of Lubrication Technology| volume=98|issue=3|pages=479| doi=10.1115/1.3452897|issn=0022-2305 |doi-access=free}}</ref>
# [[बिंदु (ज्यामिति)]] जहां अवतलता बदलती है (अवतल और उत्तल फलन के बीच) विभक्ति बिंदु हैं।<ref>{{Cite book|last=Hass, Joel |url=https://www.worldcat.org/oclc/965446428| title=थॉमस की गणना| others=Heil, Christopher, 1960-, Weir, Maurice D.,, Thomas, George B., Jr. (George Brinton), 1914-2006.|date=13 March 2017| isbn=978-0-13-443898-6| edition=Fourteenth| location=[United States]| pages=203| oclc=965446428}}</ref>
# [[बिंदु (ज्यामिति)]] जहां अवतलता बदलती है (अवतल और उत्तल फलन के बीच) विभक्ति बिंदु हैं।<ref>{{Cite book|last=Hass, Joel |url=https://www.worldcat.org/oclc/965446428| title=थॉमस की गणना| others=Heil, Christopher, 1960-, Weir, Maurice D.,, Thomas, George B., Jr. (George Brinton), 1914-2006.|date=13 March 2017| isbn=978-0-13-443898-6| edition=Fourteenth| location=[United States]| pages=203| oclc=965446428}}</ref>
# अगर {{mvar|f}} तो, दो बार-विभेदनीय फ़ंक्शन है {{mvar|f}} अवतल है यदि और केवल यदि {{mvar|f &prime;&prime;}} गैर-सकारात्मक है (या, अनौपचारिक रूप से, यदि [[त्वरण]] गैर-सकारात्मक है)। यदि इसका दूसरा अवकलज ऋणात्मक संख्या है तो यह पूर्णतः अवतल है, लेकिन इसका विपरीत सत्य नहीं है, जैसा कि दिखाया गया है {{math|1=''f''(''x'') = &minus;''x''<sup>4</sup>}}.
# अगर {{mvar|f}}, दो बार-अवकलनीय है तो {{mvar|f}} अवतल है यदि {{mvar|f &prime;&prime;}} गैर-धनात्मक है (या अनौपचारिक रूप से यदि [[त्वरण]] गैर-धनात्मक है)। यदि इसका दूसरा अवकलज ऋणात्मक संख्या है तो यह पूर्णतः अवतल है, लेकिन इसका विपरीत सत्य नहीं है, जैसा कि {{math|1=''f''(''x'') = &minus;''x''<sup>4</sup>}}द्वारा दर्शाया गया है।
# अगर {{mvar|f}} अवतल और अवकलनीय है, तो यह इसके प्रथम-क्रम [[टेलर सन्निकटन]] द्वारा ऊपर से घिरा हुआ है:<ref name=":0" /> <math display="block">f(y) \leq f(x) + f'(x)[y-x]</math>
# अगर {{mvar|f}} अवतल और अवकलनीय है, तो यह इसके प्रथम-क्रम [[टेलर सन्निकटन]] द्वारा ऊपर से घिरा हुआ है:<ref name=":0" /> <math display="block">f(y) \leq f(x) + f'(x)[y-x]</math>
# एक अंतराल पर एक लेब्सेग मापने योग्य फ़ंक्शन {{math|'''C'''}} अवतल है यदि और केवल यदि यह मध्यबिंदु अवतल है, अर्थात किसी के लिए {{mvar|x}} और {{mvar|y}} में {{math|'''C'''}} <math display="block"> f\left( \frac{x+y}2 \right) \ge \frac{f(x) + f(y)}2</math>
# एक अंतराल पर एक लेब्सेग मापने योग्य फ़ंक्शन {{math|'''C'''}} अवतल है यदि और केवल यदि यह मध्यबिंदु अवतल है, अर्थात किसी के लिए {{mvar|x}} और {{mvar|y}} में {{math|'''C'''}} <math display="block"> f\left( \frac{x+y}2 \right) \ge \frac{f(x) + f(y)}2</math>
# यदि कोई फ़ंक्शन {{mvar|f}} अवतल है, और {{math|''f''(0) ≥ 0}}, तब {{mvar|f}} [[उपादेयता]] चालू है <math>[0,\infty)</math>. सबूत:
# यदि कोई फ़ंक्शन {{mvar|f}} अवतल है और {{math|''f''(0) ≥ 0}}, तो {{mvar|f}} [[उपादेयता|पर उपयोज्य]] है <math>[0,\infty)</math>. सबूत:
#* तब से {{mvar|f}} अवतल है और {{math|1 ≥ t ≥ 0}}, देना {{math|1=''y'' = 0}} अपने पास <math display="block">f(tx) = f(tx+(1-t)\cdot 0) \ge t f(x)+(1-t)f(0) \ge t f(x) .</math>
#* चूँकि {{mvar|f}} अवतल है और {{math|1 ≥ t ≥ 0}}, मान लीजिए {{math|1=''y'' = 0}} हमारे पास <math display="block">f(tx) = f(tx+(1-t)\cdot 0) \ge t f(x)+(1-t)f(0) \ge t f(x) .</math>
#* के लिए <math>a,b\in[0,\infty)</math>: <math display="block">f(a) + f(b) = f \left((a+b) \frac{a}{a+b} \right) + f \left((a+b) \frac{b}{a+b} \right)
#* के लिए <math>a,b\in[0,\infty)</math>: <math display="block">f(a) + f(b) = f \left((a+b) \frac{a}{a+b} \right) + f \left((a+b) \frac{b}{a+b} \right)
\ge \frac{a}{a+b} f(a+b) + \frac{b}{a+b} f(a+b) = f(a+b)</math>
\ge \frac{a}{a+b} f(a+b) + \frac{b}{a+b} f(a+b) = f(a+b)</math>

Revision as of 00:23, 10 July 2023

गणित में, अवतल फलन उत्तल फलन का योगात्मक व्युत्क्रम होता है। अवतल फलन को पर्यायवाची रूप से नीचे की ओर अवतल, नीचे की ओर अवतल, ऊपर की ओर उत्तल, उत्तल कैप या ऊपरी उत्तल भी कहा जाता है।

परिभाषा

एक वास्तविक-मूल्यवान फ़ंक्शन (गणित) एक अंतराल पर (गणित) (या, अधिक सामान्यतः, वेक्टर स्थान में एक उत्तल सेट) को अवतल कहा जाता है यदि, किसी के लिए और अंतराल में और किसी के लिए ,[1]

किसी फ़ंक्शन को सख्ती से अवतल कहा जाता है यदि

किसी के लिए और .

एक फ़ंक्शन के लिए , यह दूसरी परिभाषा केवल यह बताती है कि प्रत्येक के लिए सख्ती से बीच में और , बिंदु के ग्राफ पर बिंदुओं को मिलाने वाली सीधी रेखा के ऊपर है और .

ConcaveDef.pngएक फ़ंक्शन यदि फ़ंक्शन का ऊपरी समोच्च सेट होता है तो क्वासिकोनवेक्स फ़ंक्शन होता है उत्तल समुच्चय हैं।[2]


गुण

एकल चर के कार्य

  1. एक अवकलनीय फ़ंक्शन f एक अंतराल (गणित) पर (सख्ती से) अवतल होता है यदि इसका व्युत्पन्न फ़ंक्शन f ′ उस अंतराल पर (सख्ती से) नीरस रूप से घट रहा है, अर्थात, एक अवतल फ़ंक्शन में गैर-बढ़ती (घटती) ढलान होती है।[3][4]
  2. बिंदु (ज्यामिति) जहां अवतलता बदलती है (अवतल और उत्तल फलन के बीच) विभक्ति बिंदु हैं।[5]
  3. अगर f, दो बार-अवकलनीय है तो f अवतल है यदि f ′′ गैर-धनात्मक है (या अनौपचारिक रूप से यदि त्वरण गैर-धनात्मक है)। यदि इसका दूसरा अवकलज ऋणात्मक संख्या है तो यह पूर्णतः अवतल है, लेकिन इसका विपरीत सत्य नहीं है, जैसा कि f(x) = −x4द्वारा दर्शाया गया है।
  4. अगर f अवतल और अवकलनीय है, तो यह इसके प्रथम-क्रम टेलर सन्निकटन द्वारा ऊपर से घिरा हुआ है:[2]
  5. एक अंतराल पर एक लेब्सेग मापने योग्य फ़ंक्शन C अवतल है यदि और केवल यदि यह मध्यबिंदु अवतल है, अर्थात किसी के लिए x और y में C
  6. यदि कोई फ़ंक्शन f अवतल है और f(0) ≥ 0, तो f पर उपयोज्य है . सबूत:
    • चूँकि f अवतल है और 1 ≥ t ≥ 0, मान लीजिए y = 0 हमारे पास