ממוצע סטולרסקי

במתמטיקה, ממוצע סטולרסקי הוא גודל מתמטי אשר מתאר את הממוצע של שני מספרים חיוביים. ממוצע זה מאחד את הגדרותיהם של הממוצע החשבוני, הממוצע ההנדסי והממוצע הלוגריתמי.

בהינתן שני מספרים חיוביים <math>a</math> ו-<math>b</math> ומספר ממשי <math>p\ne 0, 1</math>, ממוצע סטולרסקי מחזקה <math>p</math> מוגדר להיות:<ref></ref>

<math>S_p(a,b):=\begin{cases} a & \text{if }a=b \\ \left(\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1} & \text{otherwise}\end{cases}</math>

ממוצע סטולרסקי נוסח לראשונה על-ידי קנת' סטולרסקי בשנת 1975.<ref></ref>

== מוטיבציה ==
משפט הערך הממוצע של לגרנז' קובע כי בהינתן שני מספרים ממשיים <math>a<b</math> ופונקציה <math>f:[a,b]\to\mathbb{R}</math> רציפה בקטע הסגור <math>[a,b]</math> וגזירה בקטע הפתוח <math>(a,b)</math>, אזי קיים <math>a<c<b</math> כך ש:

<math>f'(c)=\frac{f(b)-f(a)}{b-a}</math>

אם הנגזרת <math>f'</math> היא פונקציה חד-חד-ערכית, <math>c</math> זה הוא יחיד וניתן להתייחס אליו כממוצע של <math>a</math> ו-<math>b</math> לפי הפונקציה <math>f</math>.

ממוצע סטולרסקי מחזקה <math>p</math> מתקבל מקביעת <math>f(x)=x^p</math>.

== תכונות ==

=== סימטריות ===
ממוצע סטולרסקי הוא סימטרי:

<math>S_p(a,b)=\left(\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}=\left(\frac{-1}{-1}\cdot\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}=\left(\frac{b^p-a^p}{p(b-a)}\right)^\frac{1}{p-1}=S_p(b,a)</math>

=== מונוטוניות ===
ניתן להוכיח כי ממוצע סטולרסקי עולה מונוטונית בשני משתנים. כלומר, בהינתן <math>a_1\le a_2</math> ו-<math>b_1\le b_2</math> ניתן להוכיח כי <math>S_p(a_1,b_1)\le S_p(a_2,b_2)</math>

=== הומוגניות ===
ממוצע סטולרסקי הוא הומוגני. כלומר, לכל <math>a</math> ו-<math>b</math> ולכל מקדם <math>\alpha>0</math>:

<math>S_p(\alpha a,\alpha b)=\left(\frac{(\alpha a)^p-(\alpha b)^p}{p(\alpha a-\alpha b)}\right)^\frac{1}{p-1}
=\left(\alpha^{p-1}\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}=\alpha\left(\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}
=\alpha S_p(a,b)</math>

=== רציפות ===
ממוצע סטולרסקי <math>S_p(x,y)</math> הוא רציף בשני משתנים. בנקודות שבהן <math>x\ne y</math> הרציפות נובעת מכך שממוצע סטולרסקי הוא הרכבה של פעולות אלמנטריות (חזקה, כפל, חיסור וכו') שכולן רציפות. עבור הנקודות שבהן <math>x=y</math> ניתן להיעזר בגבול:

<math>\lim_{x\to y}{\frac{x^p-y^p}{x-y}}=py^{p-1}</math>

כדי לקבל ש:

<math>\lim_{x\to y}{S_p(x,y)}=\lim_{x\to y}{\left(\frac{x^p-y^p}{p(x-y)}\right)^\frac{1}{p-1}}
=\left(\frac{py^{p-1}}{p}\right)^\frac{1}{p-1}=y=S_p(y,y)</math>

== מקרים פרטיים ==

=== p שואף לאינסוף ===
ניתן להוכיח כי לכל שני מספרים חיוביים <math>a</math> ו-<math>b</math> מתקיים:

<math>\lim_{p\to\infty}{S_p(a,b)}=\max(a,b)</math>

כלומר, שהגבול של ממוצע סטולרסקי כאשר <math>p\to\infty</math> שואף למקסימום של <math>a</math> ו-<math>b</math>. על כן ניתן להגדיר כי <math>S_\infty(a,b):=\max(a,b)</math>

=== p=2 ===
במקרה שבו <math>p=2</math> מתקבל:

<math>S_2(a,b)=\left(\frac{a^2-b^2}{2(a-b)}\right)^\frac{1}{2-1}=\frac{(a-b)(a+b)}{2(a-b)}=\frac{a+b}{2}</math>

זהו למעשה הממוצע החשבוני.

=== p=1 ===
על אף שממוצע סטולרסקי אינו מוגדר ישירות עבור <math>p=1</math>, ניתן למצוא אותו באמצעות גבול. ניתן להוכיח כי:

<math>\lim_{p\to 1}{S_p(a,b)}=\frac{1}{e}\sqrt[a-b]{\frac{a^a}{b^b}}</math>

ממוצע זה הוא הממוצע הזהותי. על כן, ניתן להגדיר כי <math>S_1</math> היא פונקציית הממוצע הזהותי.

==== הוכחה ====
מגדירים:

<math>L=\lim_{p\to 1}{S_p(a,b)}=\lim_{p\to 1}{\left(\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}}</math>

על ידי הפעלת פונקציית הלוגריתם על שני אגפי המשוואה ושימוש בכלל לופיטל מתקבל:

<math>\ln L=\lim_{p\to 1}{\frac{\ln(a^p-b^p)-\ln(p)-\ln(a-b)}{p-1}}
=\lim_{p\to 1}{\frac{\ln a \cdot a^p-\ln b \cdot b^p}{a^p-b^p}-\frac{1}{p}}=\frac{a\ln a-b\ln b}{a-b}-1</math>

על ידי הפעלת פונקציית האקספוננט על שני האגפים מתקבל:

<math>\lim_{p\to 1}{S_p(a,b)}=L=\exp\left(\frac{a\ln a-b\ln b}{a-b}-1\right)=\frac{1}{e}\sqrt[a-b]{\frac{a^a}{b^b}}</math>

מש"ל.

=== p=0 ===
גם במקרה <math>p=0</math> ניתן להגדיר את ממוצע סטולרסקי על-ידי מציאת גבול. ניתן להוכיח כי:

<math>\lim_{p\to 0}{S_p(a,b)}=\frac{a-b}{\ln a - \ln b}</math>

ממוצע זה הוא הממוצע הלוגריתמי. על כן, ניתן להגדיר כי <math>S_0</math> היא פונקציית הממוצע הלוגריתמי.

==== הוכחה ====
על ידי שימוש בכלל לופיטל ניתן להוכיח כי:

<math>\lim_{p\to 0}{\frac{a^p-b^p}{p}}=\lim_{p\to 0}{\left(\ln a\cdot a^p-\ln b\cdot b^p\right)}=\ln a-\ln b</math>

לכן:

<math>\lim_{p\to 0}{S_p(a,b)}=\lim_{p\to 0}{\left(\frac{a^p-b^p}{p(a-b)}\right)^\frac{1}{p-1}}
=\left(\frac{\ln a-\ln b}{a-b}\right)^\frac{1}{0-1}=\frac{a-b}{\ln a - \ln b}</math>

מש"ל.

=== p=-1 ===
במקרה שבו <math>p=-1</math> מתקבל:

<math>S_{-1}(a,b)=\left(\frac{a^{-1}-b^{-1}}{-1\cdot(a-b)}\right)^\frac{1}{-1-1}
=\left(\frac{\frac{1}{a}-\frac{1}{b}}{-1\cdot(a-b)}\right)^{-\frac{1}{2}}
=\left(\frac{\frac{b-a}{ab}}{-1\cdot(a-b)}\right)^{-\frac{1}{2}}=\sqrt{ab}</math>

זהו למעשה הממוצע הגאומטרי.

=== p שואף למינוס אינסוף ===
ניתן להוכיח כי לכל שני מספרים חיוביים <math>a</math> ו-<math>b</math> מתקיים:

<math>\lim_{p\to-\infty}{S_p(a,b)}=\min(a,b)</math>

כלומר, שהגבול של ממוצע סטולרסקי כאשר <math>p\to-\infty</math> שואף למינימום של <math>a</math> ו-<math>b</math>. על כן ניתן להגדיר כי <math>S_{-\infty} (a,b):=\min(a,b)</math>

== קישורים חיצוניים ==
* 

* 

== הערות שוליים ==

קטגוריה:ממוצעים