- எல்லாச் சராசரிகளையும் போல பொதுமைப்படுத்தப்பட்ட சராசரியும் சமச்ச்சீர்தன்மை உடையது.
- b ஒரு நேர்ம மெய்யெண் என்க.
= ![{\displaystyle bM_{p}(x_{1},\dots ,x_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/8e79a32f1f5eb05758bb48129fccc3aecafbd5dd)
![{\displaystyle M_{p}(x_{1},\dots ,x_{n\cdot k})=M_{p}(M_{p}(x_{1},\dots ,x_{k}),M_{p}(x_{k+1},\dots ,x_{2\cdot k}),\dots ,M_{p}(x_{(n-1)\cdot k+1},\dots ,x_{n\cdot k}))}](//wikimedia.org/api/rest_v1/media/math/render/svg/ded74f22f9a8a0ddcdf3a0d62d2e81862bb65c54)
சமனின்மை
p < q எனில்,
![{\displaystyle M_{p}(x_{1},\dots ,x_{n})\leq M_{q}(x_{1},\dots ,x_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/e581f1930859cbd36029cd0cc3baf28f1594093c)
என இருந்தால், இருந்தால் மட்டுமே
,
இரண்டும் சமம்.
p -ன் பூச்சிய மதிப்பு, பூச்சியமற்ற மெய்யெண் மதிப்பு, நேர்ம மற்றும் எதிர்ம முடிவிலி மதிப்புகளுக்கு இச்சமனின்மை உண்மையாகும்,
குறிப்பாக
எனில் பொதுமைப்படுத்தப்பட்ட சராசரியின் சமனின்மை பித்தாரசின் சராசரிகளின் சமனின்மை மற்றும் கூட்டுச் சராசரி மற்றும் பெருக்கல் சராசரிகளின் சமனின்மையுமாகும்.
எடையிடப்பட்ட பொதுமைச் சராசரியின் சமனின்மைமையை நிறுவ,
![{\displaystyle w_{i}\in (0;1]}](//wikimedia.org/api/rest_v1/media/math/render/svg/263ed1a6035930fc427e00312fc423289a653e3f)
எனவும்,
எடையிடப்படாத பொதுமைப்படுத்தப்பட்ட சராசரியின் சமனின்மையை நிறுவ
எனவும் எடுத்துக்கொள்ளல் வேண்டும்.
எதிர்க்குறி அடுக்கு கொண்ட சராசரிகளின் சமனின்மைகளின் சமானத்தன்மை
p மற்றும் q எனும் இரு அடுக்குகளுக்கு அடுக்குச் சராசரிகள் பின்வரும் சமனின்மையைக் கொண்டிருந்தால்:
![{\displaystyle {\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a3ce95d6e1a98945428e8b5c909c573266d2a32b)
இதிலிருந்து
என எழுதலாம்.
இருபுறமும் அடுக்கினை −1 க்கு உயர்த்த (நேர்ம மெய் குறையும் சார்பு):
![{\displaystyle {\sqrt[{-p}]{\sum _{i=1}^{n}w_{i}x_{i}^{-p}}}={\sqrt[{p}]{\frac {1}{\sum _{i=1}^{n}w_{i}{\frac {1}{x_{i}^{p}}}}}}\geq {\sqrt[{q}]{\frac {1}{\sum _{i=1}^{n}w_{i}{\frac {1}{x_{i}^{q}}}}}}={\sqrt[{-q}]{\sum _{i=1}^{n}w_{i}x_{i}^{-q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5418e89a0d3dfad4d7bb0c3cb3aa6453d35f0bca)
எனவே அடுக்குகள், −p மற்றும் −q -க்கான அடுக்குச் சராசரிகளிக்கான சமனின்மை கிடைக்கிறது. இதிலிருந்து முன்பு செய்த இதே செயல்முறைகளை எதிர்வரிசையில் செய்து சமனின்மைகளின் சமானத்தன்மையை நிறுவலாம்.
பெருக்கல் சராசரியுடன் சமனின்மை
q அடுக்கு கொண்ட அடுக்குச் சராசரிக்கும் பெருக்கல் சராசரிக்குமிடையே அமையும் சமனின்மை:
...................(q -நேர்மம்).
.....................(q -எதிர்மம்).
இருபுறமும் அடுக்கு q -க்கு உயர்த்த:
![{\displaystyle \prod _{i=1}^{n}x_{i}^{w_{i}\cdot q}\leq \sum _{i=1}^{n}w_{i}x_{i}^{q}}](//wikimedia.org/api/rest_v1/media/math/render/svg/739f3057c2c4bc0c7d5f38869ef73e975911008b)
![{\displaystyle \sum _{i=1}^{n}w_{i}x_{i}^{q}\leq \prod _{i=1}^{n}x_{i}^{w_{i}\cdot q}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c206a1fe2e22cfaff611bcb6a5176ed591f38c2f)
இவ்விரண்டும்
என்ற தொடரின் எடையிடப்பட்ட கூட்டுச் சராசரி மற்றும் எடையிடப்பட்ட பெருக்கல் சராசரிகளுக்கிடையேயான சமனின்மையாக அமையும்.
மடக்கைச் சார்புகள் குழிவானவை என்பதால்:
![{\displaystyle \sum _{i=1}^{n}w_{i}\log(x_{i})\leq \log \left(\sum _{i=1}^{n}w_{i}x_{i}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/84f2dbe0062ac77d4f5f685963194795140304f7)
![{\displaystyle \log \left(\prod _{i=1}^{n}x_{i}^{w_{i}}\right)\leq \log \left(\sum _{i=1}^{n}w_{i}x_{i}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/eb5e4eab670fd413549404cbed207aa39c73e6a1)
இருபுறமும் அடுக்குக்குறிச் சார்புக்கு மாற்ற:
![{\displaystyle \prod _{i=1}^{n}x_{i}^{w_{i}}\leq \sum _{i=1}^{n}w_{i}x_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a1adddb36b0540a0e2ec3986f0f7f5fccdeed300)
எனவே எந்தவொரு நேர்ம q - மதிப்பிற்கும்:
![{\displaystyle {\sqrt[{-q}]{\sum _{i=1}^{n}w_{i}x_{i}^{-q}}}\leq \prod _{i=1}^{n}x_{i}^{w_{i}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/84a7ddf0a8e909f8e6fec4a7a31fac51c2a5a8df)
எனவே பெருக்கல் சராசரிக்கும் அடுக்குச் சராசரிக்குமிடையேயான சமனின்மை நிறுவப்படுகிறது.
இரு அடுக்குச் சராசரிகளுக்கிடயேயான சமனின்மை
p < q - அனைத்து மதிப்புகளுக்கும் பின்வரும் சமனின்மை உண்மை என நிறுவ வேண்டும்:
![{\displaystyle {\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a3ce95d6e1a98945428e8b5c909c573266d2a32b)
p எதிர்மம், q நேர்மமாக இருந்தால் இச்சமனின்மை ஏற்கனவே நிறுவப்பட்ட பின்வரும் சமனின்மைக்குச் சமானமானதாகும்:
![{\displaystyle {\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq \prod _{i=1}^{n}x_{i}^{w_{i}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/be2a13b76294cdf6c4207225fde1ce92cf7d8a58)
p , q இரண்டும் நேர்மமாக இருக்கும்போது நிறுவல் பின்வருமாறு:
சார்பு f -ஐ பின்வருமாறு வரையறுத்துக் கொள்ளலாம்:
.
f அடுக்குச் சார்பானதால் அதற்கு இரண்டாம் வகைக்கெழு உண்டு:
![{\displaystyle f''(x)=\left({\frac {q}{p}}\right)\left({\frac {q}{p}}-1\right)x^{{\frac {q}{p}}-2},}](//wikimedia.org/api/rest_v1/media/math/render/svg/28a6f3633cecb60d53f27e8919c5f80d8dd04279)
f -ன் ஆட்களத்தில் இவ்வகையீட்டின் மதிப்பு எப்பொழுதும் நேர்மமாகவே இருக்கும். மேலும் q > p என்பதால் f குவிச் சார்பாக இருக்கும்.
எனவே ஜென்சன் சமனின்மையின்படி:
![{\displaystyle f\left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)\leq \sum _{i=1}^{n}w_{i}f(x_{i}^{p})}](//wikimedia.org/api/rest_v1/media/math/render/svg/ad08370f548788c7f6d2901b77a9d5295d27f793)
![{\displaystyle {\sqrt[{\frac {q}{p}}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq \sum _{i=1}^{n}w_{i}x_{i}^{q}}](//wikimedia.org/api/rest_v1/media/math/render/svg/357c9d089d02388b0a1403b126355277d1d3e54a)
இருபுறமும் 1/q அடுக்குக்கு உயர்த்த:
![{\displaystyle {\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\leq {\sqrt[{q}]{\sum _{i=1}^{n}w_{i}x_{i}^{q}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a3ce95d6e1a98945428e8b5c909c573266d2a32b)
முன்பு நிறுவிய அடுக்குச் சராசரிகளின் சமானத்தன்மையைப் பயன்படுத்தி, p , q -க்குப் பதிலாக முறையே −q and −p, பிரதியிட்டு இச்சமனின்மையை p , q இரண்டும் எதிர்மமாக இருக்கும்போதும் உண்மை என்பதை நிறுவலாம்.
பெருக்கல் சராசரி - ஒரு எல்லையாக
அடுக்குச் சராசரியில் அடுக்கின் மதிப்பு பூச்சியத்தை நோக்கி நெருங்கும் எல்லை மதிப்பாக பெருக்கல் சராசரியைக் கொள்ளலாம்.
![{\displaystyle {\begin{aligned}&\lim _{p\to 0}{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}=\prod _{i=1}^{n}x_{i}^{w_{i}}\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a008d62699832a3f4521b1c97cd2a812e2ae465b)
இதை நிறுவுவதற்குத் தேவையான, பின்வரும் எல்லை மதிப்பை முதலில் நிறுவலாம்:
![{\displaystyle \lim _{p\to 0}{\frac {\log \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)}{p}}=\sum _{i=1}^{n}w_{i}\log(x_{i})}](//wikimedia.org/api/rest_v1/media/math/render/svg/47460bfbe6fbc7fd96ebbb7662dd3ae390133b40)
இவ்வெல்லையின் பகுதி மற்றும் தொகுதிகளின் எல்லை மதிப்புகள் பூச்சியமாக இருப்பதால் லாபிதாலின் விதியைப் பயன்படுத்த:
![{\displaystyle \lim _{p\to 0}{\frac {\log \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)}{p}}=\lim _{p\to 0}{\frac {1}{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}\cdot \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)'=}](//wikimedia.org/api/rest_v1/media/math/render/svg/6f659d1fd1bb8aeded3f343bfb919c41236b95d8)
![{\displaystyle ={\frac {1}{\sum _{i=1}^{n}w_{i}}}\cdot \lim _{p\to 0}\sum _{i=1}^{n}(w_{i}\cdot \log(x_{i})\cdot x_{i}^{p})=\sum _{i=1}^{n}w_{i}\log(x_{i})}](//wikimedia.org/api/rest_v1/media/math/render/svg/eda977aa17ceb6412da17e3394a644349b883285)
அடுக்குக்குறிச் சார்பின் தொடர்ச்சித் தன்மையின்படி:
![{\displaystyle {\begin{aligned}&\lim _{p\to 0}{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}=\lim _{p\to 0}\exp \left({\frac {\log \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)}{p}}\right)\\&=\exp \left(\lim _{p\to 0}{\frac {\log \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)}{p}}\right)=\exp \left(\sum _{i=1}^{n}w_{i}\log(x_{i})\right)=\prod _{i=1}^{n}x_{i}^{w_{i}}\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b09eb6e0e03395f3108fadbb02c3253ee7aa4c19)
என்வே பெருக்கல் சராசரியானது அடுக்குச் சராசரியின் அடுக்கு பூச்சியத்தை நெருங்கும் எல்லை மதிப்பு என்பது நிறுவப்பட்டது.
சிறும மற்றும் பெரும மதிப்பு
அடுக்குச் சராசரியின் அடுக்கின் மதிப்பு,
மற்றும்
-ஆக நெருங்கும் எல்லைநிலையில் அடுக்குச் சராசரியின் மதிப்புகள் சிறும மற்றும் பெரும மதிப்புகளாக அமையும்.
அனைத்து xi -களில் பெரும மதிப்பு - x1, சிறும மதிப்பு - xn என்க.
பின்வரும் எல்லை மதிப்பை முதலில் நிறுவிக் கொள்ளலாம்:
![{\displaystyle \lim _{p\to \infty }\left({\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{i}^{p}}{x_{1}^{p}}}\right)\right)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/0c477b9d3a7016b70d477457b87e94843d30197f)
p நேர்மம் எனில்:
![{\displaystyle {\frac {1}{p}}\ln(w_{1})={\frac {1}{p}}\ln \left({\frac {w_{1}x_{1}^{p}}{x_{1}^{p}}}\right)\leq {\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{i}^{p}}{x_{1}^{p}}}\right)\leq {\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{1}^{p}}{x_{1}^{p}}}\right)=\ln(1)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/37a19d815bdb73125b5c3b4fb73aa92245915cef)
இந்த எல்லை மதிப்பைப் பயன்படுத்த:
என நிறுவலாம்.
இறுதியாக அடுக்குக்குறிச் சார்பின் தொடர்ச்சித்தன்மையின்படி:
![{\displaystyle \lim _{p\to \infty }{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}=\lim _{p\to \infty }\exp \left({\frac {1}{p}}\ln \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)\right)=\exp \left(\lim _{p\to \infty }{\frac {1}{p}}\ln \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)\right)=x_{1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/a7b13b4baa39ead33a62ff2333a5607f22680c91)
p எதிர்மம் என்க:
![{\displaystyle \lim _{p\to -\infty }\left({\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{n}^{p}}{x_{n}^{p}}}\right)\right)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/859fb007a7a4a96a5c8a9ea5085b1f84b0eff2f3)
p < 0 எனில்:
![{\displaystyle {\frac {1}{p}}\ln(w_{n})={\frac {1}{p}}\ln \left({\frac {w_{n}x_{n}^{p}}{x_{n}^{p}}}\right)\geq {\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{i}^{p}}{x_{n}^{p}}}\right)\geq {\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{n}^{p}}{x_{n}^{p}}}\right)=\ln(1)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/6fcfee9307db32834c42bec283a0bfea949716c4)
எனவே:
![{\displaystyle \lim _{p\to -\infty }{\frac {1}{p}}\ln \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)=\lim _{p\to -\infty }\left({\frac {\ln(x_{n}^{p})}{p}}\right)+\lim _{p\to -\infty }\left({\frac {1}{p}}\ln \left({\frac {\sum _{i=1}^{n}w_{i}x_{i}^{p}}{x_{n}^{p}}}\right)\right)=\ln(x_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/7a6cc59f5c83bacf451d9a16e978b861305c27bd)
மீண்டும் அடுக்குக்குறிச் சார்பின் தொடர்ச்சித்தன்மையின்படி:
![{\displaystyle \lim _{p\to -\infty }{\sqrt[{p}]{\sum _{i=1}^{n}w_{i}x_{i}^{p}}}=\exp \left(\lim _{p\to -\infty }{\frac {1}{p}}\ln \left(\sum _{i=1}^{n}w_{i}x_{i}^{p}\right)\right)=x_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/bec4ddc85e62fb0e0f46d98abb8801941596d052)