המונח "קבוע אוילר" מפנה לכאן. אם הכוונה למשמעות אחרת, ראו מספר אוילר .
השטח הכחול הכלוא בין גרף של
1
/
⌊
x
⌋
{\displaystyle 1/\lfloor x\rfloor }
1
/
x
{\displaystyle 1/x}
בערך זהסימון מתמטי .
קבוע אוילר , הידוע גם כקבוע אוילר-מסקרוני או כקבוע מסקרוני הוא קבוע מתמטי , שהשימוש העיקרי שלו הוא בתורת המספרים . זהו קבוע חשוב במתמטיקה, המשמש בחישובים רבים המשפיעים על
חיי היום יום. למשל, לחישוב של גידול אקספוננציאלי (כמו לדוגמה התפשטות נגיף הקורונה ), או לחישוב של ריביות, בעיקר ריבית דריבית , וכן לחישוב הסתברויות.
קבוע אוילר מסומן באות גמא (
γ
{\displaystyle \,\gamma }
גבול :
γ
=
lim
n
→
∞
1
+
1
2
+
1
3
+
…
+
1
n
−
ln
n
{\displaystyle \gamma =\lim _{n\to \infty }1+{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{n}}-\ln n}
כלומר קבוע אוילר הוא ההפרש האסימפטוטי בין הטור ההרמוני ללוגריתם הטבעי . הפרש זה מתכנס באופן טבעי מכיוון ש-
ln
n
=
∫
1
n
1
x
d
x
{\displaystyle \ln n=\int _{1}^{n}{\frac {1}{x}}\,dx}
∑
k
=
1
n
1
k
{\displaystyle \sum _{k=1}^{n}{\frac {1}{k}}}
∫
1
∞
(
1
⌊
x
⌋
−
1
x
)
d
x
{\displaystyle \int _{1}^{\infty }\left({1 \over \lfloor x\rfloor }-{1 \over x}\right)\,dx}
⌊
x
⌋
{\displaystyle \lfloor x\rfloor }
הערך השלם של x.
ערכו של הקבוע הוא בקירוב:
γ
=
0.577215664901532860
…
{\displaystyle \,\gamma =0.577215664901532860\ldots }
סדרה A001620 באתר OEIS – האנציקלופדיה המקוונת לסדרות של מספרים שלמים ). עדיין לא ידוע אם קבוע אוילר רציונלי או אי רציונלי .
הקבוע הוגדר לראשונה על ידי המתמטיקאי השווייצרי לאונרד אוילר במאמרו "De Progressionibus harmonicus observationes" אשר פורסם בשנת 1735 . אוילר השתמש בסימון C עבור הקבוע, וחישב בראשונה את ערכו בדיוק של 6 ספרות אחרי הנקודה. בשנת 1761 הוא הרחיב את החישוב, ופרסם אותו בדיוק של 16 ספרות אחרי הנקודה. בשנת 1790 , הציע המתמטיקאי האיטלקי לורנצו מסקרוני את סימון הקבוע באות
γ
{\displaystyle \,\gamma }
סריניוואסה רמנוג'אן מצא טורים שונים המתכנסים ל-
γ
{\displaystyle \,\gamma }
כפי שנאמר, לא ידוע האם קבוע אוילר הוא מספר רציונלי או לא. עם זאת, ניתוח שבר משולב מראה כי אם קבוע אוילר הוא רציונלי, הרי שהמכנה בשבר המגדיר אותו לא יהיה קטן מ-
10
242080
{\displaystyle 10^{242080}}
ההוכחה שהסדרה
a
n
=
1
+
1
2
+
1
3
+
…
+
1
n
−
ln
n
{\displaystyle a_{n}=1+{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{n}}-\ln n}
מתכנסת לגבול סופי היא קלה מאוד, אך עדיין אינה טריוויאלית. ברור מן הגרף לעיל שזו סדרה מונוטונית עולה וחיובית ולכן מספיק להוכיח קיום חסם עליון. מספיק להראות ש-
lim
n
→
∞
(
a
n
−
1
)
=
lim
n
→
∞
1
2
+
1
3
+
…
+
1
n
−
ln
n
{\displaystyle \lim _{n\to \infty }(a_{n}-1)=\lim _{n\to \infty }{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{n}}-\ln n}
קיים. קל לראות שלכל
k
{\displaystyle k}
1
k
{\displaystyle {\frac {1}{k}}}
∫
k
k
+
1
d
x
x
−
1
{\displaystyle \int _{k}^{k+1}{\frac {dx}{x-1}}}
lim
n
→
∞
1
2
+
1
3
+
…
+
1
n
−
ln
n
=
lim
n
→
∞
1
2
+
1
3
+
…
+
1
n
−
∫
1
n
1
x
<
0
{\displaystyle \lim _{n\to \infty }{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{n}}-\ln n=\lim _{n\to \infty }{\frac {1}{2}}+{\frac {1}{3}}+\ldots +{\frac {1}{n}}-\int _{1}^{n}{\frac {1}{x}}<0}
.
לפיכך הגבול קיים ו-
−
1
<
γ
−
1
<
0
⟹
0
<
γ
<
1
{\displaystyle -1<\gamma -1<0\implies 0<\gamma <1}
ניתן לקבל את ערכו של הקבוע גם על פי האינטגרלים הבאים:
γ
=
−
∫
0
∞
e
−
x
ln
(
x
)
d
x
{\displaystyle \gamma =-\int _{0}^{\infty }{e^{-x}\ln(x)}\,dx}
=
−
∫
0
1
ln
ln
(
1
x
)
d
x
{\displaystyle =-\int _{0}^{1}{\ln \ln \left({\frac {1}{x}}\right)}\,dx}
=
∫
0
∞
(
1
1
−
e
−
x
−
1
x
)
e
−
x
d
x
{\displaystyle =\int _{0}^{\infty }{\left({\frac {1}{1-e^{-x}}}-{\frac {1}{x}}\right)e^{-x}}\,dx}
=
∫
0
∞
1
x
(
1
1
+
x
−
e
−
x
)
d
x
.
{\displaystyle =\int _{0}^{\infty }{{\frac {1}{x}}\left({\frac {1}{1+x}}-e^{-x}\right)}\,dx.}
אינטגרלים אחרים אשר מכילים את ערך
γ
{\displaystyle \gamma }
∫
0
∞
e
−
x
2
ln
(
x
)
d
x
=
−
1
/
4
(
γ
+
2
ln
2
)
π
{\displaystyle \int _{0}^{\infty }{e^{-x^{2}}\ln(x)}\,dx=-1/4(\gamma +2\ln 2){\sqrt {\pi }}}
∫
0
∞
e
−
x
(
ln
(
x
)
)
2
d
x
=
γ
2
+
1
/
6
π
2
.
{\displaystyle \int _{0}^{\infty }{e^{-x}(\ln(x))^{2}}\,dx=\gamma ^{2}+1/6\pi ^{2}.}
ניתן לבטא את קבוע אוילר גם בעזרת אינטגרל כפול :
γ
=
∫
0
1
∫
0
1
x
−
1
(
1
−
x
y
)
ln
(
x
y
)
d
x
d
y
.
{\displaystyle \gamma =\int _{0}^{1}\int _{0}^{1}{\frac {x-1}{(1-x\,y)\ln(x\,y)}}\,dx\,dy.}
בדומה האינטגרל הכפול הבא שהוצג על ידי ג'. סונדאו (2005):
ln
(
4
π
)
=
∫
0
1
∫
0
1
x
−
1
(
1
+
x
y
)
ln
(
x
y
)
d
x
d
y
.
{\displaystyle \ln \left({\frac {4}{\pi }}\right)=\int _{0}^{1}\int _{0}^{1}{\frac {x-1}{(1+x\,y)\ln(x\,y)}}\,dx\,dy.}
מראה כי ניתן להסתכל על
ln
(
4
π
)
{\displaystyle \ln \left({\frac {4}{\pi }}\right)}
בשנת 1910, הציג ואקה את הסכום הבא:
γ
=
∑
m
=
1
∞
(
−
1
)
m
⌊
log
2
m
⌋
m
{\displaystyle \gamma =\sum _{m=1}^{\infty }(-1)^{m}{\frac {\left\lfloor \log _{2}m\right\rfloor }{m}}}
כאשר
log
2
{\displaystyle \log _{2}}
לוגריתם בבסיס 2 ו-
⌊
⌋
{\displaystyle \left\lfloor \,\right\rfloor }
פונקציית הערך השלם .
ניתן לקבל את סדרתו של ואקה על ידי מניפולציה של אינטגרל Catalan.
γ
=
∫
0
1
1
1
+
x
∑
n
=
1
∞
x
2
n
−
1
d
x
.
{\displaystyle \gamma =\int _{0}^{1}{\frac {1}{1+x}}\sum _{n=1}^{\infty }x^{2^{n}-1}\,dx.}
ניתן לבטא את קבוע אוילר גם כטור אינסופי של איברים הכוללים ערכים של פונקציית זטא של רימן של מספרים שלמים וחיוביים:
γ
=
∑
m
=
2
∞
(
−
1
)
m
ζ
(
m
)
m
{\displaystyle \gamma =\sum _{m=2}^{\infty }{\frac {(-1)^{m}\zeta (m)}{m}}}
=
ln
(
4
π
)
+
∑
m
=
1
∞
(
−
1
)
m
−
1
ζ
(
m
+
1
)
2
m
(
m
+
1
)
.
{\displaystyle =\ln \left({\frac {4}{\pi }}\right)+\sum _{m=1}^{\infty }{\frac {(-1)^{m-1}\zeta (m+1)}{2^{m}(m+1)}}.}
סדרות נוספות הקשורות לפונקציית זטא של רימן:
γ
=
3
2
−
ln
2
−
∑
m
=
2
∞
(
−
1
)
m
m
−
1
m
[
ζ
(
m
)
−
1
]
{\displaystyle \gamma ={\frac {3}{2}}-\ln 2-\sum _{m=2}^{\infty }(-1)^{m}\,{\frac {m-1}{m}}[\zeta (m)-1]}
=
lim
n
→
∞
[
2
n
e
2
n
∑
m
=
0
∞
2
m
n
(
m
+
1
)
!
∑
t
=
0
m
1
t
+
1
−
n
ln
2
+
O
(
1
2
n
e
2
n
)
]
{\displaystyle =\lim _{n\to \infty }\left[{\frac {2^{n}}{e^{2^{n}}}}\sum _{m=0}^{\infty }{\frac {2^{m\,n}}{(m+1)!}}\sum _{t=0}^{m}{\frac {1}{t+1}}-n\,\ln 2+O\left({\frac {1}{2^{n}\,e^{2^{n}}}}\right)\right]}
=
lim
n
→
∞
[
2
n
−
1
2
n
−
ln
n
+
∑
k
=
2
n
(
1
k
−
ζ
(
1
−
k
)
n
k
)
]
.
{\displaystyle =\lim _{n\to \infty }\left[{\frac {2\,n-1}{2\,n}}-\ln \,n+\sum _{k=2}^{n}\left({\frac {1}{k}}-{\frac {\zeta (1-k)}{n^{k}}}\right)\right].}
כמו כן, ניתן לבטא את הקבוע על ידי פונקציית בטא (במונחים של פונקציות גמא):
γ
=
lim
n
→
∞
[
Γ
(
1
n
)
Γ
(
n
+
1
)
n
1
+
1
/
n
Γ
(
2
+
n
+
1
n
)
−
n
2
n
+
1
]
.
{\displaystyle \gamma =\lim _{n\to \infty }\left[{\frac {\Gamma ({\frac {1}{n}})\Gamma (n+1)\,n^{1+1/n}}{\Gamma (2+n+{\frac {1}{n}})}}-{\frac {n^{2}}{n+1}}\right].}
שני גבולות השווים בערכם לקבוע אוילר-מסקרוני הם הגבול האנטי-סימטרי:
γ
=
lim
s
→
1
∑
n
=
1
∞
(
1
n
s
−
1
s
n
)
{\displaystyle \gamma =\lim _{s\to 1}\sum _{n=1}^{\infty }\left({\frac {1}{n^{s}}}-{\frac {1}{s^{n}}}\right)}
והגבול
γ
=
lim
x
→
∞
[
x
−
Γ
(
1
x
)
]
=
lim
n
→
∞
1
n
∑
k
=
1
n
=
1
(
⌈
n
k
⌉
−
n
k
)
{\displaystyle \gamma =\lim _{x\to \infty }\left[x-\Gamma \left({\frac {1}{x}}\right)\right]=\lim _{n\to \infty }{\frac {1}{n}}\,\sum _{k=1}^{n=1}\left(\left\lceil {\frac {n}{k}}\right\rceil -{\frac {n}{k}}\right)}
סדרת זטא הרציונלית היא ביטוי קשור מאוד לנוסחה שהוצגה לעיל. אם נסיר מספר איברים מהסדרה לעיל, ניתן לקבל הערכה לגבול סדרה הקלאסי:
γ
=
∑
k
=
1
n
1
k
−
ln
(
n
)
−
∑
m
=
2
∞
ζ
(
m
,
n
+
1
)
m
{\displaystyle \gamma =\sum _{k=1}^{n}{\frac {1}{k}}-\ln(n)-\sum _{m=2}^{\infty }{\frac {\zeta (m,n+1)}{m}}}
כאשר
ζ
(
s
,
k
)
{\displaystyle \zeta (s,k)_{}^{}}
פונקציית הורביץ-זטא . הסכום במשוואה זה מערב מספרים הרמוניים , המסומנים ב-
H
n
{\displaystyle \,H_{n}}
H
n
=
ln
n
+
γ
+
1
2
n
−
1
12
n
2
+
1
120
n
4
−
ε
{\displaystyle H_{n}=\ln n+\gamma +{\frac {1}{2n}}-{\frac {1}{12n^{2}}}+{\frac {1}{120n^{4}}}-\varepsilon }
0
<
ε
<
1
252
n
6
.
{\displaystyle 0<\varepsilon <{\frac {1}{252n^{6}}}.}
לבסוף, ניתן לחשב את הקבוע כנגזרת של פונקציית גמא של אוילר:
γ
=
−
Γ
′
(
1
)
.
{\displaystyle \gamma =-\Gamma '(1)_{}^{}.}
הקבוע
e
γ
{\displaystyle \,e^{\gamma }}
γ
′
{\displaystyle \ \gamma '}
n הוא המספר הראשוני ה-n-י:
e
γ
=
lim
n
→
∞
1
ln
p
n
∏
i
=
1
n
p
i
p
i
−
1
{\displaystyle e^{\gamma }=\lim _{n\to \infty }{\frac {1}{\ln p_{n}}}\prod _{i=1}^{n}{\frac {p_{i}}{p_{i}-1}}}
אשר מהווה ניסוח מחודש לשלישי מבין משפטי מרטן . הערך המספרי של
e
γ
{\displaystyle \,e^{\gamma }}
e
γ
=
1.78107241799019798523650410310717954916964521430343
…
{\displaystyle e^{\gamma }=1.78107241799019798523650410310717954916964521430343\dots }
מכפלות אינסופיות נוספות הקשורות לערך של קבוע זה הן:
e
1
+
γ
/
2
2
π
=
∏
n
=
1
∞
e
−
1
+
1
/
(
2
n
)
(
1
+
1
n
)
n
{\displaystyle {\frac {e^{1+\gamma /2}}{\sqrt {2\,\pi }}}=\prod _{n=1}^{\infty }e^{-1+1/(2\,n)}\,\left(1+{\frac {1}{n}}\right)^{n}}
e
3
+
2
γ
2
π
=
∏
n
=
1
∞
e
−
2
+
2
/
n
(
1
+
2
n
)
n
.
{\displaystyle {\frac {e^{3+2\gamma }}{2\,\pi }}=\prod _{n=1}^{\infty }e^{-2+2/n}\,\left(1+{\frac {2}{n}}\right)^{n}.}
שתי המכפלות הללו נובעות פונקציית G של בארנס. כמו כן:
e
γ
=
(
2
1
)
1
/
2
(
2
2
1
⋅
3
)
1
/
3
(
2
3
⋅
4
1
⋅
3
3
)
1
/
4
⋯
{\displaystyle e^{\gamma }=\left({\frac {2}{1}}\right)^{1/2}\left({\frac {2^{2}}{1\cdot 3}}\right)^{1/3}\left({\frac {2^{3}\cdot 4}{1\cdot 3^{3}}}\right)^{1/4}\cdots }
שהוצג על ידי ג'ונתן סונדאו על ידי שימוש בפונקציות היפר-גאומטריות .
קבוע אוילר-מסקרוני מופיע, בנוסף למקומות אחרים, גם ב:
![{\displaystyle \gamma ={\frac {3}{2}}-\ln 2-\sum _{m=2}^{\infty }(-1)^{m}\,{\frac {m-1}{m}}[\zeta (m)-1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87c6c8e2b81d1f232a24da48013a831eb1e9192d)
![{\displaystyle =\lim _{n\to \infty }\left[{\frac {2^{n}}{e^{2^{n}}}}\sum _{m=0}^{\infty }{\frac {2^{m\,n}}{(m+1)!}}\sum _{t=0}^{m}{\frac {1}{t+1}}-n\,\ln 2+O\left({\frac {1}{2^{n}\,e^{2^{n}}}}\right)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a0383cf4feb0933d76bad33d30d5077a663d96)
![{\displaystyle =\lim _{n\to \infty }\left[{\frac {2\,n-1}{2\,n}}-\ln \,n+\sum _{k=2}^{n}\left({\frac {1}{k}}-{\frac {\zeta (1-k)}{n^{k}}}\right)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aebfa8709e360c562bff7966c81fdd140728d05)
![{\displaystyle \gamma =\lim _{n\to \infty }\left[{\frac {\Gamma ({\frac {1}{n}})\Gamma (n+1)\,n^{1+1/n}}{\Gamma (2+n+{\frac {1}{n}})}}-{\frac {n^{2}}{n+1}}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e91e14187954ac95ec37890aacbc2b2afda0407)
![{\displaystyle \gamma =\lim _{x\to \infty }\left[x-\Gamma \left({\frac {1}{x}}\right)\right]=\lim _{n\to \infty }{\frac {1}{n}}\,\sum _{k=1}^{n=1}\left(\left\lceil {\frac {n}{k}}\right\rceil -{\frac {n}{k}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b56b7938051eacd132f29e384f99f5fa2a6150d)
