Վիքիպեդիայից՝ ազատ հանրագիտարանից
Ցուցչային ֆունկցիա ,
f
(
x
)
=
a
x
{\displaystyle f(x)=a^{x}}
տեսքի մաթեմատիկական ֆունկցիա է, որտեղ
a
{\displaystyle a}
-ն կոչվում է ցուցչի հիմք, իսկ
x
{\displaystyle x}
-ը՝ ցուցչի աստիճան։
Հատուկ առանձնացվում է այն դեպքը, երբ որպես աստիճանի հիմք հանդես է գալիս
e
{\displaystyle e}
թիվը։ Այդպիսի ֆունկցիան կոչվում է էքսպոնենտային (իրական կամ կոմպլեքս)։
Դիցուք
a
{\displaystyle a}
-ն ոչբացասական իրական թիվ է, իսկ
x
{\displaystyle x}
-ը ռացիոնալ թիվ՝
m
n
{\displaystyle {\frac {m}{n}}}
։ Այդ դեպքում
a
x
{\displaystyle a^{x}}
-ը որոշվում է հետևյալ կանոններով՝
Եթե
x
>
0
{\displaystyle x>0}
, ապա
a
x
=
a
m
n
{\displaystyle a^{x}={\sqrt[{n}]{a^{m}}}}
։
Եթե
x
=
0
{\displaystyle x=0}
և
a
≠
0
{\displaystyle a\neq 0}
, ապա
a
x
=
1
{\displaystyle a^{x}=1}
։
0
0
{\displaystyle 0^{0}}
-ի արժեքը որոշված չէ։
Եթե
x
<
0
{\displaystyle x<0}
և
a
>
0
{\displaystyle a>0}
, ապա
a
x
=
1
a
|
x
|
{\displaystyle a^{x}={\frac {1}{a^{|x|}}}}
։
a
x
{\displaystyle a^{x}}
-ի արժեքը
x
<
0
{\displaystyle x<0}
,
a
=
0
{\displaystyle a=0}
-ի դեպքում որոշված չէ։
Ցանկացած
x
{\displaystyle x}
իրական ցուցչի դեպքում
a
x
{\displaystyle a^{x}}
-ը կարելի է որոշել որպես
a
r
n
{\displaystyle a^{r_{n}}}
հաջորդականության սահման, որտեղ
r
n
{\displaystyle r_{n}}
-ը
x
{\displaystyle x}
-ին ձգտող ռացիոնալ թիվ է։ Էքսպոնենտայի համար գոյություն ունեն նաև այլ սահմանում սահմանի օգնությամբ, օրինակ՝
e
x
=
lim
n
→
∞
(
1
+
x
n
)
n
{\displaystyle e^{x}=\lim _{n\rightarrow \infty }\left(1+{\frac {x}{n}}\right)^{n}}
։
Ցուցչային ֆունկցիայի գրաֆիկը
a
0
=
1
{\displaystyle a^{0}=1}
a
x
+
y
=
a
x
⋅
a
y
{\displaystyle a^{x+y}=a^{x}\cdot a^{y}}
(
a
x
)
y
=
a
x
y
{\displaystyle (a^{x})^{y}=a^{xy}}
(
a
b
)
x
=
a
x
b
x
{\displaystyle (ab)^{x}=a^{x}b^{x}}
Օգտագործելով
ln
x
{\displaystyle \ln x}
բնական լոգարիթմի ֆունկցիան, կարելի է ցուցչային ֆունկցիան արտահայտել կամայական դրական հիմքով էքսպոնենտայի միջոցով՝
a
x
=
e
x
⋅
ln
a
{\displaystyle a^{x}=e^{x\cdot \ln a}}
։
Այս կապը հնարավորություն է տալիս սահմանափակվել էքսպոնենտայի հատկության ուսումնասիրմամբ։
Անալիտիկ հատկություններ՝
d
d
x
a
x
=
(
ln
a
)
a
x
{\displaystyle {\frac {d}{dx}}a^{x}=(\ln a)a^{x}}
.
Մասնավորապես՝
d
d
x
e
x
=
e
x
{\displaystyle {\frac {d}{dx}}e^{x}=e^{x}}
Ապացույց
I. Ապացուցենք, որ
d
d
x
e
x
=
e
x
{\displaystyle {\frac {d}{dx}}e^{x}=e^{x}}
lim
△
x
→
0
e
x
+
△
x
−
e
x
△
x
=
lim
△
x
→
0
e
x
⋅
(
e
△
x
−
1
)
△
x
=
e
x
⋅
lim
△
x
→
0
e
△
x
−
1
△
x
=
e
x
⋅
1
=
e
x
{\displaystyle \lim _{\triangle x\rightarrow 0}{\frac {e^{x+\triangle x}-e^{x}}{\triangle x}}=\lim _{\triangle x\rightarrow 0}{\frac {e^{x}\cdot (e^{\triangle x}-1)}{\triangle x}}=e^{x}\cdot \lim _{\triangle x\rightarrow 0}{\frac {e^{\triangle x}-1}{\triangle x}}=e^{x}\cdot 1=e^{x}}
Ինչ որ պահանջվում էր ապացուցելու։
II. Ապացուցենք, որ
lim
△
x
→
0
e
△
x
−
1
△
x
=
1
{\displaystyle \lim {\triangle x\rightarrow 0}{\frac {e^{\triangle x}-1}{\triangle x}}=1}
: Դիցուք
e
△
x
−
1
=
u
{\displaystyle e^{\triangle x}-1=u}
,
այդ դեպքում
e
△
x
=
u
+
1
⇒
△
x
=
ln
(
u
+
1
)
{\displaystyle e^{\triangle x}=u+1\Rightarrow \triangle x=\ln(u+1)}
: Եթե
△
x
→
0
{\displaystyle \triangle x\rightarrow 0}
, ապա
u
=
e
△
x
−
1
→
0
{\displaystyle u=e^{\triangle x}-1\rightarrow 0}
,
lim
△
x
→
0
e
△
x
−
1
)
△
x
=
lim
u
→
0
u
ln
(
u
+
1
)
=
lim
u
→
0
1
1
u
ln
(
u
+
1
)
=
lim
u
→
0
1
ln
(
u
+
1
)
1
u
=
lim
u
→
0
⋅
1
lim
u
→
0
ln
(
u
+
1
)
1
u
=
1
ln
lim
u
→
0
(
u
+
1
)
1
u
=
1
ln
e
=
1
{\displaystyle \lim _{\triangle x\rightarrow 0}{\frac {e^{\triangle x}-1)}{\triangle x}}=\lim _{u\rightarrow 0}{\frac {u}{\ln(u+1)}}=\lim _{u\rightarrow 0}{\frac {1}{{\frac {1}{u}}\ln(u+1)}}=\lim _{u\rightarrow 0}{\frac {1}{\ln(u+1)^{\frac {1}{u}}}}={\frac {\lim _{u\rightarrow 0}\cdot 1}{\lim _{u\rightarrow 0}}}\ln(u+1)^{\frac {1}{u}}={\frac {1}{\ln \lim _{u\rightarrow 0}(u+1)^{\frac {1}{u}}}}={\frac {1}{\ln e}}=1}
III.
d
d
x
a
x
=
d
d
x
(
e
ln
a
)
x
=
d
d
x
e
x
⋅
ln
a
=
e
x
ln
a
⋅
ln
a
=
a
x
⋅
ln
a
{\displaystyle {\frac {d}{dx}}a^{x}={\frac {d}{dx}}(e^{\ln a})^{x}={\frac {d}{dx}}e^{x\cdot \ln a}=e^{x\ln a}\cdot \ln a=a^{x}\cdot \ln a}
Ինչ որ պահանջվում էր ապացուցելու։
Շարքի վերածում՝
e
x
=
∑
n
=
1
∞
x
n
n
!
=
1
+
x
+
x
2
2
!
+
x
3
3
!
+
x
4
4
!
+
.
.
.
{\displaystyle e^{x}=\sum _{n=1}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+...}
Ցուցչային ֆունկցիան աճում է դեպի անվերջություն ցանկացած աստիճանային ֆունկցիայից արագ՝
lim
x
→
∞
x
n
a
x
=
0
{\displaystyle \lim _{x\rightarrow \infty }{\frac {x^{n}}{a^{x}}}=0}
Աճի արագ տեմպը կարող է նկարագրվել, օրինակ, թղթերը միմյանց վրա դնելու խնդրի օրինակով։
Կոմպլեքս հարթության վրա էքսպոնենտայի ընդլայնման համար որոշենք այն նույն շարքի օգնությամբ, փոխարինելով իրական արգումենտը կոմպլեքսով՝
e
z
=
∑
n
=
0
∞
z
n
n
!
=
1
+
z
+
z
2
2
!
+
z
3
3
!
+
z
4
4
!
+
.
.
.
{\displaystyle e^{z}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}=1+z+{\frac {z^{2}}{2!}}+{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+...}
Այդ ֆունկցիան ունի նույն հիմնական հանրահաշվական և անալիտիկ հատկությունները, ինչ որ իրականը։
e
i
x
{\displaystyle e^{ix}}
շարքում առանձնացնելով իրական մասը կեղծից, մենք ստանում ենք հանրահայտ Էյլերի բանաձևը՝
e
i
x
=
cos
x
+
i
sin
x
{\displaystyle e^{ix}=\cos x+i\sin x}
Այսպիսով, կոմպլեքս էքսպոնենտան պարբերական է կեղծ առանցքի շուրջ։
Ցուցչային ֆունկցիան կամայական կոմպլեքս հիմքով և աստիճանի ցուցչով հեշտ է հաշվել կոմպլեքս էքսպոնենտայի և կոմպլեքս լոգարիթմի օգնությամբ։
Օրինակ՝
i
i
=
e
i
ln
(
i
)
{\displaystyle i^{i}=e^{i\ln(i)}}
, քանի որ
ln
(
i
)
=
i
π
2
{\displaystyle \ln(i)=i{\frac {\pi }{2}}}
(լոգարիթմի հիմնական արժեքը), վերջապես ստանում ենք՝
i
i
=
e
i
i
π
2
=
e
−
π
2
{\displaystyle i^{i}=e^{i{\frac {i\pi }{2}}}=e^{-{\frac {\pi }{2}}}}
։
Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, тома I, II. — М.։ ФИЗМАТЛИТ, 2001. — ISBN 5-9221-0156-0 , 5-9221-0155-2.