10.Знайти координати центра ваги круглої пластинки радiуса r, якщо її густина у точцi M(x, y) пропорцiйна вiдстанi точки M до точки M0(r, 0).
21 ЛЕКЦIЯ: Показникова функцiя дiйсної та ком-
плексної змiнної
Означення показникової функцiї дiйсної змiнної через поняття степеня, її властивостi. iншi пiдходи до поняття показникової функцiї. Показникова функцiя комплексної змiнної, її властивостi. Показниковi рiвняння i нерiвностi.
|
|
Лiтература. [1], ч. 1, с. 88, 89; [3], т. 1, с. 97–103; |
[4], |
с. 80–85, 104–105; [8], с. 181–203; [9], ч. 2, с. 355–356. |
|
|
|
|
|
Будемо виходити з того, що для додатного числа a i будь- |
якого |
дiйсного |
числа α означено степiнь aα. А саме, an := |
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
n |
|
a |
· a · · · a, якщо |
α = n N, ar := √am, якщо α = r = |
|
|
Q |
n |
|
n |
раз |
, aα |
|
|
arn , якщо α — iррацiональне додатне число |
i |
> |
0 |
:= nlim |
| r |
{z |
} |
|
|
|
|
|
|
|
|
|
|
|
|
→∞ |
|
|
|
|
|
|
i послiдовнiсть (rn) рацiональних чисел має границею число α,
1
a0 := 1, aα = a−α , якщо α — вiд’ємне дiйсне число, причому
степенi мають такi властивостi: для будь-яких додатних дiйсних чисел a i b i будь-яких додатних дiйсних чисел α i β мають мiсце рiвностi
aα+β = aαaβ, aα−β = aα , (aα)β = aαβ, (ab)α = aαbα. aβ
Означення 21.1. Вiдповiднiсть, яка кожному x R вiдносить степiнь x додатного числа a, називається показниковою функцiєю з основою a i позначається y = ax.
Зауваження. Оскiльки для будь-якого x R 1x = 1, тобто при a = 1 маємо константу, то випадок a = 1 виключається, i термiн „показникова функцiя“ означає „функцiя виду y = ax, де 0 < a 6= 1.“ У такий саме спосiб означається показникова функцiя у шкiльному пiдручнику. Цитуємо: „Ви вже знаєте, що коли a — додатне, то для будь-якого числа x степiнь ax має
302
цiлком певне додатне значення. Тому ax є функцiєю змiнної x, яка визначена на всiй числовiй осi. Функцiя y = ax, де a > 0 i a 6= 1 називається показниковою (з основою a).“ [8, с. 181].
Всилу означення областю визначення показникової функцiї
ємножина R. Покажемо, що вона є монотонною i неперервною.
Теорема 21.1. Показникова функцiя ax зростає, якщо a > 1, i спадає, якщо 0 < a < 1.
Доведення. Нехай a > 1 i x1 < x2. Тодi iснують рацiональнi числа r1 i r2 такi, що x1 < r1 < r2 < x2 i ar1 < ar2 . Нехай (rn0 ), (rn00) послiдовностi рацiональних чисел такi, що для будь-
якого n rn0 < x1 < x2 < rn00 i lim rn0 = x1, lim rn00 = x2. Тодi для
n→∞ n→∞
будь-якого n
arn0 < ar1 < ar2 < arn00.
А отже,
ax1 = lim arn0 6 ar1 < ar2 6 lim arn00 = ax2 .
Аналогiчно доводиться, що функцiя ax спадає, якщо 0 < a < 1.
Теорема 21.2 (характеристична властивiсть). Для |
будь- |
яких дiйсних чисел x1 i x2 має мiсце рiвнiсть |
|
|
|
ax1 · ax2 = ax1+x2 . |
|
|
Доведення. Нехай (rn0 ) i (rn00) послiдовностi рацiональних чи- |
сел такi, що lim r0 |
= x1 i lim r00 |
= x2, а, отже, lim (r0 |
+ r00) = |
n→∞ n |
n→∞ n |
|
|
|
n→∞ n |
|
n |
x1 + x2. Тодi в силу означення показникової функцiї |
|
|
ax1+x2 = nlim arn0 +rn00 = nlim arn0 |
nlim arn00 = ax1 · ax2 . |
|
→∞ |
→∞ |
|
→∞ |
|
|
Лема 1. Для будь-якого a > 0 |
lim √ |
|
= 1. |
|
|
a |
|
|
|
|
|
n |
|
|
n→∞
|
|
Доведення. Нехай |
|
|
|
. Тодi √ |
|
|
|
|
|
i |
|
√ |
|
|
|
√ |
|
. |
|
|
a > 1 |
a > 1 |
| |
a − 1| = |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
n |
|
n |
|
|
n |
a |
− |
1 |
Позначивши √ |
a |
− 1 = α, дiстанемо a = (1 + α)n. Звiдси в силу |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
1 |
|
|
|
|
|
|
|
|
|
|
нерiвностi Бернуллi a > 1 + nα або |
√a − |
1 < |
|
|
−n . Очевидно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
що для будь-якого ε > 0 нерiвнiсть |
|
a − 1 |
|
< ε виконується для |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
всiх n, якi бiльшi |
a − 1 |
+ 1. Отже, ε > 0 вказано n |
|
|
| |
(n |
|
|
= |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
− |
|
a |
− |
1 |
+ 1) таке, що n > n виконується нерiвнiсть |
|
√a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
1| |
|
|
|
, тобто |
|
|
|
|
|
√ |
|
|
|
. Нехай |
|
|
|
|
|
|
|
|
|
. Тодi √ |
|
|
|
|
|
|
|
|
|
i |
< ε |
nlim |
|
|
|
|
|
|
|
|
|
|
|
|
a < 1 |
|
|
|
a = 1 |
|
|
0 < a < 1 |
|
|
|
|
|
|
|
|
|
|
→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|√ |
|
− 1| = 1 − |
|
√ |
|
. Оцiнимо рiзницю |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r
|
|
|
|
|
a |
|
1 |
|
|
|
|
|
|
|
|
n→∞ r |
a |
|
Очевидно, що |
1 |
> |
|
i, за тiльки що доведеним, |
lim n |
1 |
= 1. |
|
|
|
Це означає, |
що ε > 0 n0 таке, |
|
що |
|
n > n0 |
виконується |
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
√a − 1| < ε. |
нерiвнiсть ra − 1 < ε. Але для таких самих n | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
Лема 2. |
|
|
|
|
|
lim ax = 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
a |
x |
монотонна, то iснують |
Доведення. Оскiльки функцiя |
|
lim ax i |
lim ax, причому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→−0 |
x→+0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim ax = lim a−n1 = lim |
|
1 |
= 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→− |
|
|
→∞ |
|
→∞ |
|
n |
a |
|
|
|
|
|
|
|
|
|
|
|
|
x |
0 |
|
n |
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
√
lim ax = lim n a = 1.
x→+0 n→∞
Отже, iснує lim ax i дорiвнює 1.
x→0
Теорема 21.3. Показникова функцiя ax неперервна у кожнiй точцi числової прямої.
Доведення. Нехай x0 R. Тодi прирiст функцiї 4y, який вiдповiдає приросту аргумента 4x, подається у виглядi
4y = ax0+4x − ax0 = ax0 (a4x − 1).
А оскiльки в силу леми 2
lim (a4x − 1) = 0,
4x→0
то lim 4y = 0. А це й означає, що показникова функцiя непе-
4x→0
рервна у точцi x0. |
|
|
|
|
|
Оскiльки |
x lim |
ax = 0, |
x |
lim ax |
= + |
∞ |
, якщо a > 1, |
|
|
|
+ |
|
|
|
|
→−∞ |
|
→ ∞ |
|
|
|
x lim |
ax = + |
∞ |
, |
lim ax = 0, якщо 0 < a < 1, то яким би |
|
x |
+ |
|
|
|
|
|
→−∞ |
|
|
|
→ ∞ |
|
|
|
|
|
не було додатне число b iснують дiйснi числа x1 i x2 такi, що ax1 < b < ax2 . А, отже, в силу теореми про промiжне значення неперервної на вiдрiзку [x1; x2] функцiї маємо, що iснує (а в силу монотонностi) єдине x0 (x1; x2) таке, що ax0 = b. Таким чином, множиною значень показникової функцiї є множина всiх додатних дiйсних чисел i рiвняння ax = b, де b > 0, має єдиний розв’язок.
Звичайно означення 21.1 не єдиний спосiб введення поняття показникової функцiї. Наприклад, її можна означити таким чином.
Означення 21.2. Показниковою функцiєю з основою a називають функцiю f таку, що
а) D(f) = R, E(f) = R+, f(1) = a,
б) для будь-яких x1, x2 з R виконується рiвнiсть
f(x1 + x2) = f(x1) + f(x2), |
(21.1) |
в) функцiя f неперервна на R.
√
Мовою алгебри показникова функцiя є неперервним iзоморфiзмом групи (R, +) i групи (R+, ·), при якому образом 1 є число a (0 < a 6= 1).
Теорема 21.4. Якщо a > 0 i a 6= 1, то iснує єдине неперервне вiдображення f групи (R, +) на групу (R+, ·) таке, що f(1) = a.
Доведення. Проблема iснування розв’язується автоматично, оскiльки функцiя ax означена, як степiнь x числа a, задовольняє властивостi а)–в). Доведемо, що така функцiя єдина. Припустимо, що iснує функцiя f така, що задовольняє властивостi а)–в), але f(x) 6= ax. Скориставшись методом математичної iндукцiї, можемо обгрунтувати, що для будь-яких дiйсних чисел x1, x2, . . . , xn маємо
!
n n
|
|
|
|
|
X |
Y |
|
|
|
|
|
f |
|
xk = |
|
f(xk). |
|
|
|
|
|
|
|
k=1 |
k=1 |
|
|
Тодi для натурального n |
|
|
|
|
|
f(n) = f(1 + 1 + · · · + 1) = f(1)f(1) · · · f(1) = f(1)n = an, |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
n разiв |
} |
|
|
|
|
|
|
|
n разiв |
|
|
|
{z |
|
} |
|
|
|
|
|
| |
|
{z |
тобто значення функцiй f i ax на множинi натуральних чисел збiгаються. Нехай r = mn — довiльне додатне рацiональне чи-
сло. Тодi rn = m натуральне, i f(rn) = f(r)n = f(m) = am. А оскiльки f(r) > 0, то
f(r) = f mn = n am,
тобто значення функцiй f i ax збiгаються на множинi всiх додатних рацiональних чисел. Якщо α — iррацiональне додатне число i (rn) послiдовнiсть рацiональних додатних чисел така, що
lim rn = α, то в силу неперервностi функцiї f |
lim f(rn) = f(α). |
n→∞ |
n→∞ |
Разом з тим f(α) = aα за означенням степеня з iррацiональним показником. Таким чином значення функцiй f i ax збiгаються на множинi всiх додатних дiйсних чисел.
|
|
|
|
|
|
Залишилось |
зауважити, |
що |
x f(x + 0) = f(x)f(0) i |
тому f(0) = 1, |
а 1 = f(0) |
= f(x − x) = f(x)f(−x) i тому |
1 |
. Отже, функцiї f |
i ax збiгаються на множинi |
f(−x) = |
|
f(x) |
R, що суперечить нашому припущенню. Звiдси випливає, що функцiя ax є єдиною функцiєю, яка задовольняє умови а)–в).
Особливо часто зустрiчаються показникова функцiя ex. У цьому випадку її називають експоненцiальною функцiєю i iн-
коли використовують позначення exp x. (Якщо a 6= e, то ax =
eln a x = ex ln a).
1
Оскiльки lim(1 + x)x = e, то легко показати, що
x→0
lim ax − 1 = ln a.
x→0 x
Звiдси уже легко отримати, що (ax)0 = ax ln a, зокрема (ex)0 = ex, тобто функцiя ex збiгається з своєю похiдною.
Покажемо, що функцiю ex можна означити як суму сте-
∞ |
xn |
X |
|
|
пеневого ряду. З цiєю метою розглянемо ряд |
|
. Цей ряд |
n=0 |
n! |
|
|
абсолютно збiгається на всiй числовiй осi i його сума ϕ(x) є неперервною функцiєю для всiх x. Якщо позначити
1 |
|
n |
= en, |
n |
1 |
= sn, |
1 + n |
|
k=0 |
k! |
|
|
|
|
|
X |
|
то, скориставшись формулою бiнома Ньютона, маємо
1 |
|
n |
n |
Cnk |
1 |
|
k |
en = 1 + n |
|
= k=0 |
n |
|
|
|
|
|
X |
|
|
|
|
+ · · · + n(n − 1) · · · (n − k + 1) k!
= 1 + |
n |
|
1 |
+ |
n(n − 1) |
|
1 |
|
2 |
+ |
1! n |
|
|
|
n |
|
|
|
|
|
|
2! |
|
|
1 |
|
k |
1 |
|
|
|
|
|
|
|
|
|
+ · · · + |
|
= |
|
|
|
|
|
n |
nn |
|
|
|
|
|
= 1 + 1 + 2! 1 − n + 3! 1 − n 1 − n |
+ · · · + |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
k! |
|
− n |
|
− n |
· · · |
|
− |
|
|
|
|
n |
|
· · · |
|
|
|
|
|
|
|
|
+ |
1 |
|
1 |
1 |
|
|
1 |
|
|
2 |
|
|
|
|
|
|
1 |
|
|
k |
− 1 |
+ |
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
− n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
− n |
|
· · · |
|
− |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
1 |
|
1 |
1 |
|
|
1 |
|
|
2 |
|
|
|
|
|
|
1 |
|
|
|
n − 1 |
< |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< 1 + 1 + |
|
|
+ · · · + |
|
|
|
+ · · · + |
|
|
= sn. |
|
|
|
|
|
|
|
|
|
|
|
2! |
k! |
n! |
|
|
|
|
|
|
|
|
|
|
|
З другого боку, для k < n |
|
|
|
|
− n · · · |
|
|
|
|
|
|
|
2! |
|
|
− n |
|
· · · |
|
k! |
− n |
|
− |
n |
|
n |
1+1+ |
1 |
|
1 |
1 |
+ |
|
+ |
1 |
|
|
1 |
|
1 |
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
1 |
|
k − 1 |
|
|
< e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i при n → ∞ маємо sk 6 e. Таким чином, для n
en < sn 6 e i lim sn = ϕ(1) = e.
n→∞
Нарештi, для будь-яких x1, x2 R
∞ |
x1n ∞ |
|
x2n |
|
|
X |
|
X |
|
|
|
|
|
ϕ(x1)ϕ(x2) = |
|
|
|
|
|
= |
|
|
n=0 |
n! |
|
n! |
|
|
|
n=0 |
|
|
|
|
|
|
|
x12 |
|
|
|
x22 |
= 1 + (x1 + x2) + |
|
|
+ x1x2 + |
|
+ · · · + |
2! |
2! |
∞ |
1 |
|
n |
X |
Xk |
= 1 + |
|
|
|
n=1 |
n! |
=0 |
|
|
= ϕ(x1 + x2),
n xn−kxk
X
+ 1 2 + · · · = (n − k)!k!
k=0
|
∞ |
(x1 + x2)n |
|
X |
|
|
xn−kxk = 1 + |
|
= |
1 |
2 |
n! |
n=1
тобто властивiсть б) виконується. Оскiльки ϕ(0) = 1, то для x > 0 ϕ(−x)ϕ(x) = 1 i ϕ(−x)ϕ(1x), тобто ϕ(x) додатна для
всiх x. Залишилось показати, що E(ϕ) = R+. Справдi, оскiльки для будь-якого натурального n ϕ(n) = 1 + n + · · · > n, то
ϕ(−n)ϕ(1n) < n1 , тобто ϕ(x) може приймати як завгодно великi так i як завгодно малi додатнi значення. Якщо b R+, то iснує натуральне n що n1 < b < n, а, отже, ϕ(−n) < b < ϕ(n). Теоре-
ма про промiжне значення неперервної на вiдрiзку функцiї ϕ(x) гарантує iснування x0 (−n; n) такого, що ϕ(x0) = b.
Таким чином, функцiя
X
ϕ(x) =
∞ xn
n!
n=0
задовольняє всi умови теореми 21.4 i ϕ(1) = e, а, отже, ϕ(x) = ex.
Подання показникової функцiї у виглядi степеневого ряду дає можливiсть поширити її (аналiтично продовжити) на всю комплексну площину. Розглянемо степеневий ряд
X
∞ zn
n! .
n=0
Оскiльки
r
n 1 = 0,
lim n! n→∞
то цей ряд збiгається, причому абсолютно на всiй комплекснiй площинi. Покладемо за означенням
n=0
Пiдставою для такої назви є те, що у випадку Im z = 0 (21.2) є показниковою функцiєю дiйсної змiнної з основою e, i для будь-яких z1, z2 C
|
|
∞ |
zn ∞ |
zn |
|
∞ n |
|
zn−1zk |
|
|
X X |
|
|
XXk |
|
− |
|
z1 z2 |
|
|
1 |
|
2 |
|
|
1 |
2 |
|
e |
e |
= |
|
n! |
n! |
= 1 + |
n=1 =0 |
(n k)!k! |
|
|
n=0 |
|
n=0 |
|
|
|
|
|
|
|
|
∞ 1 |
n |
|
|
∞ |
|
(z1 + z2)n |
|
|
X |
Xk |
|
|
X |
|
|
|
|
= 1 + |
|
n! |
|
Cnkz1n−kz2k = 1 + |
|
|
n! |
|
|
n=1 |
=0 |
|
|
n=1 |
|
|
|
|
=ez1+z2 .
Здопомогою рiвностi
ez1+z2 = ez1 ez2
легко отримати формулу для обчислення значень функцiї ez, не сумуючи ряду (21.2). Справдi, якщо покласти z = x + iy, де x, y R, то з того, що ez = exeiy i
|
|
|
∞ |
(iy)n |
|
|
|
|
iy |
|
y2 |
|
iy3 |
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
eiy = |
n=0 |
n! |
= 1 + |
1! |
− |
2! |
|
− |
3! |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y4 |
|
|
|
|
|
k y2k |
|
|
|
k |
y2k+1 |
+ |
|
+ · · · + (−1) |
|
|
+ (−1) i |
|
|
+ · · · = |
4! |
(2k)! |
(2k + 1)! |
|
∞ |
|
k y2k |
|
∞ |
|
k y2k+1 |
|
Xk |
|
|
|
|
|
|
X |
(−1) |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
(2k + 1)! = |
=0 |
(−1) (2k)! + i |
|
|
|
|
|
|
|
|
k=0 |
|
|
|
|
|
|
|
|
|
= cos y + i sin y,