6.

Himpunan Fungsi Ortogonal

Misalkan f periodik dengan periode 2π, dan mulus bagian demi bagian pada [−π, π].
f ∑N
Jika SN (θ) = n=−N cn einθ , n = 0, 1, 2, . . ., adalah jumlah parsial dari deret Fourier f ,
f
maka kita telah menunjukkan bahwa (SN ) konvergen ke f , yakni
∑
N
lim cn einθ = f (θ)
N →∞
n=−N

hampir di mana-mana. Dalam hal ini kita dapat merekonstruksi f dari koefisien-koefisien
Fourier-nya melalui
∞
∑
f (θ) = cn einθ .
n=−∞
Namun, secara umum, deret Fourier f tidak selalu sama persis dengan fungsi f sem-
ula. Bahkan, dalam kasus ekstrim, deret Fourier f dapat divergen di mana-mana, seba-
gaimana ditunjukkan oleh Kolmogorov (1926). Fungsi yang mulus bagian demi bagian
pada [−π, π] tentunya terintegralkan pada [−π, π]. Keterintegralan f pada [−π, π] meru-
pakan premis yang diasumsikan pada awal pembahasan deret Fourier. Tetapi, fakta di
atas mengindikasikan bahwa mestinya ada hal lain selain keterintegralan f pada [−π, π]
yang menjamin deret Fourier f konvergen ke f .

6.1 Himpunan Fungsi Ortogonal

Deret Fourier dibentuk dari suatu keluarga fungsi ortogonal di suatu ruang fungsi
yang dilengkapi dengan hasilkali dalam tertentu.
Di ruang vektor X yang dilengkapi dengan hasilkali ⟨·, ·⟩ dan norm ∥ · ∥, vektor u ∈ X
disebut vektor normal jika ∥u∥ = 1. Vektor v ̸= 0 dapat dinormalkan dengan membaginya
dengan ∥v∥: jika u := v
∥v∥ , maka ∥u∥ = 1. Himpunan vektor {u1 , . . . , un } disebut him-
punan ortonormal jika ∥ui ∥ = 1 untuk tiap i = 1, . . . , n dan ⟨ui , uj ⟩ = 0 untuk i ̸= j; yakni
jika
⟨ui , uj ⟩ = δij , i, j = 1, . . . , n.

24
[Jika vi ̸= 0 untuk tiap i = 1, . . . , n dan ⟨vi , vj ⟩ = 0 untuk i ̸= j, maka {v1 , . . . , vj } disebut
himpunan ortogonal.]
Jika {u1 , . . . , uk } ortonormal di Ck dan v = α1 u1 + · · · + αk uk , maka αi = ⟨v, ui ⟩
untuk tiap i = 1, . . . , k. Sebaliknya, misalkan v ∈ Ck . Jika kita definisikan αi = ⟨v, ui ⟩
untuk i = 1, . . . , n dan tulis v = α1 u1 + · · · + αk uk , maka w = v − v ⊥ ui , karena

⟨w, ui ⟩ = ⟨v, ui ⟩ − ⟨v, ui ⟩ = 0,

untuk tiap i = 1, . . . , n. Akibatnya w = 0, karena bila tidak, maka {u1 , . . . , uk , w} meru-

pakan himpunan ortogonal dengan k + 1 anggota di Ck .

Teorema. Misalkan {u1 , . . . , uk } himpunan ortonormal k vektor di Ck . Maka, untuk

setiap v ∈ Ck , berlaku
v = ⟨v, u1 ⟩u1 + · · · + ⟨v, uk ⟩uk .

Lebih jauh,
∥v∥2 = |⟨v, u1 ⟩|2 + · · · + |⟨v, uk ⟩|2 .

6.2 Ruang P C(a, b) sebagai Ruang Hasilkali Dalam

Mari kita tinjau ruang P C(a, b), yaitu ruang fungsi kontinu bagian demi bagian pada
[a, b]. Ingat bahwa f dikatakan kontinu bagian demi bagian pada [a, b] apabila f kontinu
pada [a, b] kecuali di sejumlah terhingga titik x1 , . . . , xk , dan di titik-titik tersebut limit
kiri dan limit kanan f ada. Fungsi f di P C(a, b) tidak hanya terintegralkan tetapi juga
kuadratnya terintegralkan, yakni |f |2 terintegralkan, pada (a, b). Pada P C(a, b) kita dapat
mendefinisikan hasilkali dalam
∫ b
⟨f, g⟩ := f (x)g(x) dx
a

dan norm [∫ ]1/2

b
∥f ∥ := |f (x)|2 dx .
a

Ketaksamaan Cauchy-Schwarz, ketaksamaan segitiga, dan Teorema Pythagoras berlaku di

P C(a, b) dengan ⟨·, ·⟩ dan ∥ · ∥ di atas.

25
Teorema Pythagoras. Jika {f1 , . . . , fn } ortogonal, maka ∥f1 + · · · + fn ∥2 = ∥f1 ∥2 + · · · +
∥fn ∥2 .

Diberikan suatu himpunan ortonormal {ϕn } di P C(a, b) dan f ∈ P C(a, b) sembarang,

∑
kita ingin tahu apakah f = n ⟨f, ϕn ⟩ϕn . Mengingat bahwa P C(a, b) berdimensi tak

terhingga, pertanyaan ini tidak dapat segera kita jawab. Jika {ϕn } terhingga, jelas hal
tersebut tidak mungkin terjadi. Jika {ϕn } tak terhingga, apakah cukup banyak untuk
merentang P C(a, b)?
Sebelum menjawab pertanyaan ini secara rinci, mari kita tinjau keluarga fungsi

1
ϕn (x) := √ einx , n∈Z
2π

di ruang P C(−π, π). Perhatikan bahwa

∫ π ∫ π
1 1
⟨ϕm , ϕn ⟩ = eimx einx dx = ei(m−n)x dx = δmn .
2π −π 2π −π

Jadi {ϕn }∞
−∞ merupakan himpunan ortonormal.

Selanjutnya, koefisien Fourier cn dari f ∈ P C(−π, π) diberikan oleh rumus

∫ π
1 1
cn = √ f (x)e−inx dx = √ ⟨f, ϕn ⟩, n ∈ Z.
2π −π 2π

Jadi,
∞
∑ ∑∞ [ ][√ ∑∞
1 ]
cn e inx
= √ ⟨f, ϕn ⟩ 2πϕn (x) = ⟨f, ϕn ⟩ϕn (x).
n=−∞ n=−∞
2π n=−∞

Jadi deret Fourier f merupakan uraian terhadap himpunan ortonormal {ϕn }.

Demikian pula kita dapat memeriksa bahwa keluarga fungsi {ψn }∞
0 dengan

√
1 2
ψ0 (x) = √ , ψn (x) = √ cos nx, n = 1, 2, 3, . . .
π π

merupakan keluarga fungsi ortonormal di P C(0, π). Selanjutnya, koefisien cosinus Fourier
an dari f ∈ P C(0, π) yang diberikan oleh rumus

∫ {
π √2 ⟨f, ψ0 ⟩, untuk n = 0,
2 √π
an = f (x) cos nx dx =
π 0 √ 2 ⟨f, ψn ⟩, untuk n = 1, 2, 3, . . .,
π

26
memenuhi
∑∞ ∑∞
1
a0 + an cos nx = ⟨f, ψn ⟩ψn (x).
2 n=1 n=0

Hal serupa terjadi untuk deret sinus Fourier dan deret Fourier lengkap (versi real).
Kita sudah tahu bahwa deret Fourier ini konvergen ke f hampir di mana-mana apabila
f mulus bagian demi bagian pada [−π, π]. Pertanyaannya adalah: bagaimana bila f ∈
P C(−π, π)?

6.3 Kekonvergenan di Ruang P C(a, b)

Barisan fungsi {fn } di P C(a, b) dikatakan konvergen dalam norm ke f ∈ P C(a, b)

apabila ∥fn − f ∥ → 0 untuk n → ∞, yakni jika
∫ b
|fn (x) − f (x)|2 dx → 0, untuk n → ∞.
a

Perlu dicatat bahwa kekonvergenan dalam norm tidak menjamin kekonvergan titik
demi titik. Sebagai contoh, ambil
{
1, jika 0 ≤ x ≤ n1 ,
fn (x) =
0, jika x lainnya.
Di sini ∥fn ∥2 = 1
n → 0 bila n → ∞. Jadi {fn } konvergen ke f ≡ 0 dalam norm. Tetapi
fn (0) = 1 untuk tiap n ∈ N, sehingga {fn } tidak konvergen ke 0 titik demi titik.
Sebaliknya, misalkan
{
n, jika 0 < x < n1 ,
gn (x) =
0, jika x lainnya.
Maka, gn → 0 titik demi titik, tetapi
∫ 1 ∫ 1/n
∥gn ∥ =
2
|gn (x)| =
2
n2 dx = n ̸→ 0
0 0

bila n → ∞.

Teorema. Jika fn → f secara seragam pada [a, b], maka fn → f dalam norm.

Bukti. Diberikan ϵ > 0 sembarang, kita pilih n0 ∈ N sedemikian sehingga untuk setiap
x ∈ [a, b] dan n ≥ n0 berlaku |fn (x) − f (x)| < √ϵ .
b−a
Akibatnya,
∫ b
∥fn − f ∥ =2
|fn (x) − f (x)|2 dx ≤ ϵ2 .
a

27
Ini menunjukkan bahwa {fn } konvergen ke f dalam norm. [QED]

Di satu sisi, dengan adanya hasilkali dalam ⟨·, ·⟩ dan norm ∥ · ∥ = ⟨·, ·⟩1/2 , ruang
P C(a, b) sekarang lebih terstruktur (secara geometri). Di sisi lain, ruang ini menjadi
‘tidak lengkap’, yakni: terdapat barisan Cauchy {fn } di P C(a, b) yang tidak konvergen
ke suatu fungsi f ∈ P C(a, b). Sebagai contoh, tinjau P C(0, 1) dan ambil barisan {fn }
dengan {
x−1/4 , jika x > 1
n,
fn (x) = .
0, jika x ≤ 1
n

Jika m > n, maka

{
x−1/4 , jika m
1
< x < n1 ,
fm (x) − fn (x) = ,
0, jika x lainnya

sehingga
∫
( 1 1 )
1
n −1
∥fm − fn ∥ =
2
x 2 dx = 2 √ − √ → 0,
1
m
n m
bila m, n → ∞. Jadi {fn } merupakan barisan Cauchy; tetapi limitnya (baik titik demi
titik maupun dalam norm) adalah fungsi
{
x−1/4 , jika x > 0,
f (x) =
0, jika x = 0,

yang bukan anggota P C(0, 1) karena lim+ f (x) = ∞.

x→0
Lalu apa yang harus dilakukan? Sebagaimana lazimnya, yang harus dilakukan adalah
‘melengkapi’ ruang P C(a, b), dengan menambahkan limit-limit dari semua barisan Cauchy
pada P C(a, b). Hasilnya adalah ruang L2 (a, b) yang akan dibahas pada bab selanjutnya.

6.4 Soal Latihan

√
1. Buktikan bahwa keluarga fungsi {ϕn }∞
1 dengan ϕn (x) :=
√2
π
sin nx, n = 1, 2, 3, . . .,
merupakan himpunan ortonormal di P C(0, π), dan koefisien sinus Fourier
∫ √
2 π 2
bn = f (x) sin nx dx = √ ⟨f, ϕn ⟩,
π 0 π

memenuhi
∞
∑ ∞
∑
bn sin nx = ⟨f, ϕn ⟩ϕn (x).
n=1 n=1

28