چندجملهایهای چبیشف یک دنباله از چندجملهایهای متعامد است که به طرز بازگشتی محاسبه میشود. نام این چندجملهایها از نام ریاضیدانِ روسی پافنوتی چبیشف برگرفته شده که اولین بار آنها را در سال ۱۸۵۴ معرفی کرد.
پافنوتی چبیشف ریاضیدان روس متولد ۱۶ مه سال ۱۸۲۱ بود. چندجملهایهای چبیشف که به نام او شناخته میشود، یک توالی از چندجملههای متعامد است که میتوان آنها را مثل فیبوناچی به صورت برگشت پذیر نوشت. این چندجملهایها دو نوع هستند: اول و دوم.
نوعِ اوّل آنها با T و نوع دوم آنها با U نشان داده میشود. علّت نام گذاری T این است که chebyshev به زبان فرانسوی Tchebyshev و به زبان آلمانی Tschebyschow است.
چندجمله های چبیشف بیشتر در تخمین کاربرد دارد و استفاده از آنها برای تخمین به مقدار زیادی خطا را کاهش می دهد. مثلاً، در اندازه گیری طول یک نیم دایره و اشکال دارای قوس استفاده می شود.
کسینوسها :
از رابطه ی زیر شروع میکنیم:
c
o
s
(
(
n
+
1
)
θ
)
=
2
c
o
s
(
θ
)
c
o
s
(
n
θ
)
−
c
o
s
(
(
n
−
1
)
θ
)
(
1
)
{\displaystyle cos((n+1)\theta )=2cos(\theta )cos(n\theta )-cos((n-1)\theta )(1)}
که با ۲ بار استفاده از فرمول زیر محاسبه میشود.
c
o
s
(
α
+
β
)
=
c
o
s
α
c
o
s
β
−
s
i
n
α
s
i
n
β
{\displaystyle cos(\alpha +\beta )=cos\alpha cos\beta -sin\alpha sin\beta }
سپس، ادعا میکنیم که به ازای هر عدد صحیح مثبتِ n اعدادِ صحیح ci وجود دارد، به طوری که:
c
o
s
n
θ
=
∑
i
=
0
n
c
i
c
o
s
i
(
θ
)
(
2
)
{\displaystyle cosn\theta =\sum _{i=0}^{n}c_{i}cos^{i}(\theta )(2)}
تعریف: رابطه ی ۲ می گوید که (cos(nθ یک چندجمله ای برحسب (cos(θ است. برایِ n ثابت، n امین چندجمله ای چبیشف به صورت زیر تعریف می شود:
c
o
s
(
n
θ
)
=
T
n
(
c
o
s
θ
)
(
3
)
{\displaystyle cos(n\theta )=Tn(cos\theta )(3)}
که اگر (x = cos(θ باشد:
T
n
(
x
)
=
c
o
s
(
n
a
r
c
c
o
s
(
x
)
)
(
4
)
{\displaystyle T_{n}(x)=cos(narccos(x))(4)}
برای x های بین ۱ و ۱-
در واقع، چندجمله ای های چبیشف نمودارهای کسینوسی است که مقیاس افقی آنها تغییر کرده است، نه مقیاس عمودی آنها. و ریشه های آن که به آنها گره هم می گویند، زمانی است که از(cos(θ صفر شود؛ یعنی (برای n های طبیعی) :
x
=
c
o
s
(
(
2
i
−
1
)
π
2
n
)
{\displaystyle x=cos({\frac {(2i-1)\pi }{2n}})}
با توجه به روابط بالا، به این رابطه ی بازگشتی می رسیم:
T
0
(
x
)
=
1
,
T
1
(
x
)
=
x
(
5
)
{\displaystyle T_{0}(x)=1,T_{1}(x)=x(5)}
x
=
c
o
s
θ
{\displaystyle x=cos\theta }
T
n
+
1
(
x
)
=
2
x
T
n
(
x
)
−
T
n
−
1
(
x
)
(
6
)
{\displaystyle T_{n+1}(x)=2xT_{n}(x)-T_{n-1}(x)(6)}
جوابهای معادله ۶ با مقدارهای اولیه داده شده در ۵ چندجمله ای چبیشف نوعِ اوّل را نتیجه می دهد.
اولین چندجملهایهای نوع اول چبیشف به صورت زیر است:
منحنیهای مربوط به اولین چندجملهایهای نوع اول چبیشف بر روی دامنه −1¼ < x < 1¼, −1¼ < y < 1¼; the flat T 0 , and T 1 , T 2 , T 3 , T 4 and T 5 .
T
0
(
x
)
=
1
{\displaystyle T_{0}(x)=1\,}
T
1
(
x
)
=
x
{\displaystyle T_{1}(x)=x\,}
T
2
(
x
)
=
2
x
2
−
1
{\displaystyle T_{2}(x)=2x^{2}-1\,}
T
3
(
x
)
=
4
x
3
−
3
x
{\displaystyle T_{3}(x)=4x^{3}-3x\,}
T
4
(
x
)
=
8
x
4
−
8
x
2
+
1
{\displaystyle T_{4}(x)=8x^{4}-8x^{2}+1\,}
T
5
(
x
)
=
16
x
5
−
20
x
3
+
5
x
{\displaystyle T_{5}(x)=16x^{5}-20x^{3}+5x\,}
T
6
(
x
)
=
32
x
6
−
48
x
4
+
18
x
2
−
1
{\displaystyle T_{6}(x)=32x^{6}-48x^{4}+18x^{2}-1\,}
T
7
(
x
)
=
64
x
7
−
112
x
5
+
56
x
3
−
7
x
{\displaystyle T_{7}(x)=64x^{7}-112x^{5}+56x^{3}-7x\,}
T
8
(
x
)
=
128
x
8
−
256
x
6
+
160
x
4
−
32
x
2
+
1
{\displaystyle T_{8}(x)=128x^{8}-256x^{6}+160x^{4}-32x^{2}+1\!}
T
9
(
x
)
=
256
x
9
−
576
x
7
+
432
x
5
−
120
x
3
+
9
x
.
{\displaystyle T_{9}(x)=256x^{9}-576x^{7}+432x^{5}-120x^{3}+9x.\,}
شایان توجه است که این چندجملهای ها همان بسط کسینوس مضارب صحیح و غیر منفی زوایا هستند، یعنی:
منحنیهای مربوط به اولین چندجملهایهای نوع دوم چبیشف بر روی دامنه −۱¼ < x < 1¼, −۱¼ < y < 1¼; the flat U 0 , and U 1 , U 2 , U 3 , U 4 and U 5 . Although not visible in the image, U n (1) = n + 1 and U n (−1) = (n + 1)(−1)n .
نوعِ دوّم آن هم با همان معادله ی ۶ ولی با مقادیر اولیه متفاوت ۷ به دست میآید.
U
0
(
x
)
=
1
,
U
1
(
x
)
=
2
x
(
7
)
{\displaystyle U_{0}(x)=1,U_{1}(x)=2x(7)}
U
n
+
1
(
x
)
=
2
x
U
n
(
x
)
−
U
n
−
1
(
x
)
{\displaystyle U_{n+1}(x)=2xU_{n}(x)-U{n-1}(x)}
اولین چندجملهایهای نوع دوم چبیشف به صورت زیر است:
U
0
(
x
)
=
1
{\displaystyle U_{0}(x)=1\,}
U
1
(
x
)
=
2
x
{\displaystyle U_{1}(x)=2x\,}
U
2
(
x
)
=
4
x
2
−
1
{\displaystyle U_{2}(x)=4x^{2}-1\,}
U
3
(
x
)
=
8
x
3
−
4
x
{\displaystyle U_{3}(x)=8x^{3}-4x\,}
U
4
(
x
)
=
16
x
4
−
12
x
2
+
1
{\displaystyle U_{4}(x)=16x^{4}-12x^{2}+1\,}
U
5
(
x
)
=
32
x
5
−
32
x
3
+
6
x
{\displaystyle U_{5}(x)=32x^{5}-32x^{3}+6x\,}
U
6
(
x
)
=
64
x
6
−
80
x
4
+
24
x
2
−
1
{\displaystyle U_{6}(x)=64x^{6}-80x^{4}+24x^{2}-1\,}
U
7
(
x
)
=
128
x
7
−
192
x
5
+
80
x
3
−
8
x
{\displaystyle U_{7}(x)=128x^{7}-192x^{5}+80x^{3}-8x\,}
U
8
(
x
)
=
256
x
8
−
448
x
6
+
240
x
4
−
40
x
2
+
1
{\displaystyle U_{8}(x)=256x^{8}-448x^{6}+240x^{4}-40x^{2}+1\,}
U
9
(
x
)
=
512
x
9
−
1024
x
7
+
672
x
5
−
160
x
3
+
10
x
.
{\displaystyle U_{9}(x)=512x^{9}-1024x^{7}+672x^{5}-160x^{3}+10x.\,}
از دیدگاه معادلات دیفرانسیل[ ویرایش ]
چندجمله ای های چبیشف از نگاهی دیگر جوابهای معادله دیفرانسیل زیر است:
(
1
−
x
2
)
y
″
−
x
y
′
+
(
α
)
2
y
=
0
{\displaystyle (1-x^{2})y''-xy'+(\alpha )^{2}y=0}
که جواب آن به صورت سری توانی زیر خواهد بود و به ازایِ α های مختلف این چندجمله ای ها به وجود میآید. ابتدا، مشتق های اول و دوم جواب را به دست میآوریم:
y
=
∑
n
=
0
∞
a
n
x
n
{\displaystyle y=\sum _{n=0}^{\infty }a_{n}x^{n}}
y
′
=
∑
n
=
0
∞
n
a
n
x
n
−
1
{\displaystyle y'=\sum _{n=0}^{\infty }na_{n}x^{n-1}}
=
∑
i
=
1
∞
n
a
n
x
n
−
1
{\displaystyle =\sum _{i=1}^{\infty }na_{n}x^{n-1}}
=
∑
n
=
0
∞
(
n
+
1
)
a
n
+
1
x
n
{\displaystyle =\sum _{n=0}^{\infty }(n+1)a_{n+1}x^{n}}
y
″
=
∑
n
=
0
∞
(
n
+
1
)
n
a
n
+
1
x
n
−
1
{\displaystyle y''=\sum _{n=0}^{\infty }(n+1)na_{n+1}x^{n-1}}
=
∑
n
=
1
∞
(
n
+
1
)
n
a
n
+
1
x
n
−
1
{\displaystyle =\sum _{n=1}^{\infty }(n+1)na_{n+1}x^{n-1}}
=
∑
n
=
0
∞
(
n
+
2
)
(
n
+
1
)
a
n
+
2
x
n
{\displaystyle =\sum _{n=0}^{\infty }(n+2)(n+1)a_{n+2}x^{n}}
سپس، آن ها را در معادله اولیه جایگذاری می کنیم:
(
1
−
x
2
)
∑
n
=
0
∞
(
n
+
2
)
(
n
+
1
)
a
n
+
2
x
n
−
x
∑
n
=
0
∞
(
n
+
1
)
a
n
+
1
x
n
+
α
2
∑
n
=
0
∞
a
n
x
n
=
0
n
{\displaystyle (1-x^{2})\sum _{n=0}^{\infty }(n+2)(n+1)a_{n+2}x^{n}-x\sum _{n=0}^{\infty }(n+1)a_{n+1}x^{n}+\alpha ^{2}\sum _{n=0}^{\infty }a_{n}x^{n}=0n}
∑
n
=
0
∞
(
n
+
2
)
(
n
+
1
)
a
n
+
2
x
n
−
∑
n
=
0
∞
(
n
+
2
)
(
n
+
1
)
a
n
+
2
x
n
+
2
−
∑
n
=
0
∞
(
n
+
1
)
a
n
+
1
x
n
+
1
+
α
2
∑
n
=
0
∞
a
n
x
n
=
0
{\displaystyle \sum _{n=0}^{\infty }(n+2)(n+1)a_{n+2}x^{n}-\sum _{n=0}^{\infty }(n+2)(n+1)a_{n+2}x^{n+2}-\sum _{n=0}^{\infty }(n+1)a_{n+1}x^{n+1}+\alpha ^{2}\sum _{n=0}^{\infty }a_{n}x^{n}=0}
اکنون معادله را به گونه ای می نویسیم که توان های x یکسان شود و سپس معادله را حل می کنیم:
∑
n
=
0
∞
(
n
+
2
)
(
n
+
1
)
a
n
+
2
x
n
−
∑
n
=
2
∞
(
n
)
(
n
−
1
)
a
n
x
n
−
∑
n
=
1
∞
(
n
)
a
n
x
n
+
α
2
∑
n
=
0
∞
a
n
x
n
=
0
{\displaystyle \sum _{n=0}^{\infty }(n+2)(n+1)a_{n+2}x^{n}-\sum _{n=2}^{\infty }(n)(n-1)a_{n}x^{n}-\sum _{n=1}^{\infty }(n)a_{n}x^{n}+\alpha ^{2}\sum _{n=0}^{\infty }a_{n}x^{n}=0}
2.1
a
2
+
3.2
a
3
x
−
1.
a
1
x
+
α
2
a
0
+
α
2
a
1
x
{\displaystyle 2.1a_{2}+3.2a_{3}x-1.a_{1}x+\alpha ^{2}a_{0}+\alpha ^{2}a_{1}x}
+
∑
n
=
2
∞
[
(
n
+
2
)
(
n
+
1
)
a
n
+
2
−
(
n
)
(
n
−
1
)
a
n
−
(
n
)
a
n
+
α
2
a
n
]
x
n
=
0
{\displaystyle +\sum _{n=2}^{\infty }[(n+2)(n+1)a_{n+2}-(n)(n-1)a_{n}-(n)a_{n}+\alpha ^{2}a_{n}]x^{n}=0}
(
2
a
2
+
α
2
a
0
)
+
[
6
a
3
+
(
α
2
−
1
)
a
1
]
x
{\displaystyle (2a_{2}+\alpha ^{2}a_{0})+[6a_{3}+(\alpha ^{2}-1)a_{1}]x}
+
∑
i
=
2
∞
[
(
n
+
2
)
(
n
+
1
)
a
n
+
2
+
(
α
2
−
n
2
)
a
n
]
x
n
=
0
{\displaystyle +\sum _{i=2}^{\infty }[(n+2)(n+1)a_{n+2}+(\alpha ^{2}-n^{2})a_{n}]x^{n}=0}
برای صادق بودن معادله ی بالا، تمام ضرایب توانهای x و مقدار ثابت باید صفر شود:
(
2
a
2
+
α
2
a
0
)
=
0
{\displaystyle (2a_{2}+\alpha ^{2}a_{0})=0}
6
a
3
+
(
α
2
−
1
)
a
1
=
0
{\displaystyle 6a_{3}+(\alpha ^{2}-1)a_{1}=0}
a
n
+
2
=
n
2
−
α
2
(
n
+
1
)
(
n
+
2
)
a
n
n
=
0
,
1
,
.
.
.
{\displaystyle a_{n+2}={\frac {n^{2}-\alpha ^{2}}{(n+1)(n+2)}}a_{n}n=0,1,...}
رابطه بازگشتی برای جملات زوج به صورت زیر است:
a
2
=
−
α
2
2
a
0
{\displaystyle a_{2}={\frac {-\alpha ^{2}}{2}}a_{0}}
a
4
=
2
2
−
α
2
3.4
a
2
=
(
2
2
−
α
2
)
(
−
α
2
)
1.2.3.4
a
0
{\displaystyle a_{4}={\frac {2^{2}-\alpha ^{2}}{3.4}}a_{2}={\frac {(2^{2}-\alpha ^{2})(-\alpha ^{2})}{1.2.3.4}}a_{0}}
a
2
n
=
[
(
2
n
)
2
−
α
2
]
[
(
2
n
−
2
)
2
−
α
2
]
.
.
.
(
−
α
2
)
(
2
n
)
!
a
0
{\displaystyle a_{2n}={\frac {[(2n)^{2}-\alpha ^{2}][(2n-2)^{2}-\alpha ^{2}]...(-\alpha ^{2})}{(2n)!}}a_{0}}
و برای جملات فرد به صورت زیر خواهد بود:
a
3
=
1
−
α
2
6
a
1
{\displaystyle a_{3}={\frac {1-\alpha ^{2}}{6}}a_{1}}
a
5
=
3
2
−
α
2
4.5
a
3
=
(
3
2
−
α
2
)
(
1
−
α
2
)
5
!
a
1
{\displaystyle a_{5}={\frac {3^{2}-\alpha ^{2}}{4.5}}a_{3}={\frac {(3^{2}-\alpha ^{2})(1-\alpha ^{2})}{5!}}a_{1}}
a
2
n
−
1
=
[
(
2
n
−
1
)
2
−
α
2
]
[
(
2
n
−
3
)
2
−
α
2
]
.
.
.
(
1
−
α
2
)
(
2
n
+
1
)
!
a
1
{\displaystyle a_{2n-1}={\frac {[(2n-1)^{2}-\alpha ^{2}][(2n-3)^{2}-\alpha ^{2}]...(1-\alpha ^{2})}{(2n+1)!}}a_{1}}
در نهایت، جواب عمومی به دست می آید:
a
k
e
v
e
n
=
∏
j
=
1
k
2
(
k
−
2
j
)
2
−
α
2
{\displaystyle a_{keven}=\prod _{j=1}^{\frac {k}{2}}(k-2j)^{2}-\alpha ^{2}}
a
k
o
d
d
=
∏
j
=
1
k
−
1
2
(
k
−
2
j
)
2
−
α
2
{\displaystyle a_{kodd}=\prod _{j=1}^{\frac {k-1}{2}}(k-2j)^{2}-\alpha ^{2}}
y
=
a
0
[
1
+
∑
k
=
2
,
4
,
.
.
.
∞
a
k
e
v
e
n
k
!
x
k
]
+
a
1
[
x
+
∑
k
=
3
,
5
,
.
.
.
∞
a
k
o
d
d
k
!
x
k
]
{\displaystyle y=a_{0}[1+\sum _{k=2,4,...}^{\infty }{\frac {a_{keven}}{k!}}x^{k}]+a_{1}[x+\sum _{k=3,5,...}^{\infty }{\frac {a_{kodd}}{k!}}x^{k}]}
که می توان به صورت زیر نوشت:
y
=
a
0
c
o
s
(
α
a
r
c
s
i
n
x
)
+
a
1
α
s
i
n
(
α
a
r
c
s
i
n
x
)
{\displaystyle y=a_{0}cos(\alpha arcsinx)+{\frac {a_{1}}{\alpha }}sin(\alpha arcsinx)}
و با یک تغییر متغیر به این نتیجه می رسیم:
y
=
b
1
c
o
s
(
α
a
r
c
c
o
s
x
)
+
b
2
s
i
n
(
α
a
r
c
c
o
s
x
)
=
b
1
T
α
(
x
)
+
b
2
1
−
x
2
U
α
−
1
(
x
)
{\displaystyle y=b_{1}cos(\alpha arccosx)+b_{2}sin(\alpha arccosx)=b_{1}T_{\alpha }(x)+b_{2}{\sqrt {1-x^{2}}}U_{\alpha -1}(x)}
که (Tn(x چندجملهای چبیشف از نوع اول و (Un(x چندجملهای چبیشف از نوع دوم است.