Z Wikipedii, wolnej encyklopedii
Całka Jacksona – szereg wyrażający operację odwrotną do
q
{\displaystyle q}
-różniczkowania .
Niech
f
(
x
)
{\displaystyle f(x)}
będzie funkcją zmiennej rzeczywistej
x
.
{\displaystyle x.}
Całkę Jacksona funkcji
f
{\displaystyle f}
definiuje się jako następujące rozwinięcie szeregu:
∫
f
(
x
)
d
q
x
=
(
1
−
q
)
x
∑
k
=
0
∞
q
k
f
(
q
k
x
)
.
{\displaystyle \int f(x)\operatorname {d} _{q}x=(1-q)x\sum _{k=0}^{\infty }q^{k}f(q^{k}x).}
Ogólniej, jeżeli
g
(
x
)
{\displaystyle g(x)}
jest inną funkcją, a
D
q
g
{\displaystyle \operatorname {D} _{q}g}
oznacza jej
q
{\displaystyle q}
-pochodną, to można formalnie zapisać
∫
f
(
x
)
D
q
g
d
q
x
=
(
1
−
q
)
x
∑
k
=
0
∞
q
k
f
(
q
k
x
)
D
q
g
(
q
k
x
)
=
(
1
−
q
)
x
∑
k
=
0
∞
q
k
f
(
q
k
x
)
g
(
q
k
x
)
−
g
(
q
k
+
1
x
)
(
1
−
q
)
q
k
x
{\displaystyle \int f(x)\operatorname {D} _{q}g\operatorname {d} _{q}x=(1-q)x\sum _{k=0}^{\infty }q^{k}f(q^{k}x)\operatorname {D} _{q}g(q^{k}x)=(1-q)x\sum _{k=0}^{\infty }q^{k}f(q^{k}x){\frac {g(q^{k}x)-g(q^{k+1}x)}{(1-q)q^{k}x}}}
lub
∫
f
(
x
)
d
q
g
(
x
)
=
∑
k
=
0
∞
f
(
q
k
x
)
(
g
(
q
k
x
)
−
g
(
q
k
+
1
x
)
)
,
{\displaystyle \int f(x)\operatorname {d} _{q}g(x)=\sum _{k=0}^{\infty }f(q^{k}x)(g(q^{k}x)-g(q^{k+1}x)),}
co daje
q
{\displaystyle q}
-analog całki Riemanna-Stieltjesa .
Całka Jacksona jako q -pierwotna [ edytuj | edytuj kod ]
Tak jak zwykła pierwotna funkcji ciągłej może być wyrażona za pomocą jej całki Riemanna , tak możliwe jest wykazanie, że całka Jacksona jednoznacznie wyznacza
q
{\displaystyle q}
-pierwotną w pewnej klasie funkcji.
Niech
0
<
q
<
1.
{\displaystyle 0<q<1.}
Jeżeli wyrażenie
|
f
(
x
)
x
α
|
{\displaystyle |f(x)x^{\alpha }|}
jest ograniczone na przedziale
[
0
,
A
)
{\displaystyle [0,A)}
dla pewnego
0
⩽
α
<
1
,
{\displaystyle 0\leqslant \alpha <1,}
to całka Jacksona funkcji
f
(
x
)
{\displaystyle f(x)}
zbiega do funkcji
F
(
x
)
{\displaystyle F(x)}
na
[
0
,
A
)
{\displaystyle [0,A)}
będącej
q
{\displaystyle q}
-pierwotną
f
(
x
)
.
{\displaystyle f(x).}
Co więcej,
F
(
x
)
{\displaystyle F(x)}
jest ciągła w punkcie
x
=
0
,
{\displaystyle x=0,}
gdzie
F
(
0
)
=
0
{\displaystyle F(0)=0}
i jest jednoznacznie wyznaczoną pierwotną
f
(
x
)
{\displaystyle f(x)}
w tej klasie funkcji[1] .
↑ Kac-Cheung, Twierdzenie 19.1.