形如
的多項式,式中係數
α
k(
k=0,1,…,
n)),
b
k(
k=1,2,…,
n)為任意給定的實數,
α
n,
b
n不全為零。
n稱為此三角多項式的階數。任何一個三角多項式都是周期2π的周期函數,因此對於三角多項式的研究往往隻要在長為2π的半開區間中進行。任何兩個三角多項式的和、差、積仍然是個三角多項式,而且,若
T
n(
r)與
T
m(
x)分別為
n階與
m階三角多項式,且
m≥
n,則
T
n(
x)±
T
m(
x)是個階不超過
m的三角多項式,
T
n(
x)·
T
m(
x)是階為
n+
m的三角多項式。利用歐拉公式
![](/img3/8732.gif)
,
![](/img3/8733.gif)
,
任意一個
n階三角多項式都可寫成
![](/img3/8734.gif)
,
式中
n三角多項式在任一長為2π的半開區間中,最多隻有
2
n個零點。因此,若兩個
n階三角多項式在長為2π的半開區間中有
2
n+1個點處取值相同,則此兩個三角多項式完全相同。
對於n階三角多項式Tn(x),記
常稱
![](/img3/8737.gif)
為
T
n的
L
p范數,若1≤
p≤
p′≤∞,則
![](/img3/8738.gif)
。
此外還有如下的尼科利斯基不等式
![](/img3/8739.gif)
。
特別有
![](/img3/8740.gif)
。
伯恩斯坦不等式 設Tn(x)是n階三角多項式,Tń(x)是它的導數,則有不等式
![](/img3/8741.gif)
。
這是1912年
С.Η.伯恩斯坦發現的,稱為伯恩斯坦不等式。其中系數
n不能再減小,例如對任何常數
A及α,
T
n(
x)=
Asin(
n
x+α)都使它成等式。伯恩斯坦不等式在函數逼近論中起著重要的作用,並且有著各種拓廣。例如,С.Б.斯捷奇金於1948年證明,對任何
n階三角多項式
T
n(
x)及自然數
k,都有
![](/img3/8742.gif)
,
式中
![](/img3/8743.gif)
。
共軛三角多項式 對給定的n階三角多項式Tn(x),記
![](/img3/8744.gif)
,
稱
![](/img3/8745.gif)
為
T
n(
x)的共軛三角多項式。對於共軛三角多項式的導數有不等式
![](/img3/8746.gif)
,
這裡系數
n也是不能減小的。
應該指出,對於復系數三角多項式Tn(x)(即諸系數αk,bk為復數),同樣有
![](/img3/8747.gif)
。
於是,對於自然數
k,有
![](/img3/8748.gif)
。
不僅如此,由此還能推出,若
p
n(
z)是
n次復系數代數多項式,則
![](/img3/8749.gif)
。
關於n次代數多項式pn(x),由伯恩斯坦不等式得到
![](/img3/8750.gif)
。
此不等式在區間端點不合適,但有馬爾可夫不等式:
![](/img3/8751.gif)
。
多元三角多項式 設vj是自然數,zj是復變數(j=1,2,…,m),
![](/img3/8752.gif)
是僅與足碼有關的復數,則稱
為關於變量
z
1,
z
2,…,
z
m的階分別為
v
1,
v
2,…,
v
m的三角多項式。如果系數
![](/img3/8752.gif)
滿足條件
![](/img3/8754.gif)
,
則稱
![](/img3/8755.gif)
(
z
1,
z
2,…,
z
m)為實三角多項式。此時,如限制變量取實值,則它是一個實函數。實三角多項式也可以借助歐拉公式將它改變為正弦函數與餘弦函數的實系數的多項式。例如,若
Tυ
u(
x,
y)是關於變量
x,
y的
v
μ階實三角多項式,則存在著僅與足碼有關的實數
![](/img3/8756.gif)
,使得
實三角多項式與單變量的三角多項式有許多類似的地方,也可以建立種種不等式。
自然,三角多項式是一類簡單的周期函數,但是,它是近似表示一般的周期函數的有效工具,隨著三角多項式的階的增高,任何連續的周期函數都可以借助於三角多項逼近到預先給定的程度。反之如果已知這種逼近程度的收斂於零的速度,也就有可能推出被逼近函數的構造性質,這個事實本身是有著深刻的物理意義的,周期運動的分解便是一個明顯的例證。三角多項式是在其他數學、物理、力學等領域中有著廣泛的應用。