MEROS I

.
.
QWROI SUNARTHSEWN kai GRAMMIKOI TELESTES

1. EISAGWGH

2. QWROI SUNARTHSEWN

• DianusmatikoÐ qÿroi me eswterikì ginìmeno

• Anisìthta Cauchy-Schwarz

• Grammikă anexarthsÐa

• OrjogwniopoÐhsh Gram-Schmidt

3. APEIRODIASTATOI QWROI-SEIRES FOURIER

• ApeirodiĹstatoi qÿroi-plăreic qÿroi (Hilbert)

• Anisìthta Bessel-Isìthta Parseval

• Seirèc Fourier

• Monadikìthta thc seirĹc Fourier

4. TELESTES

• GrammikoÐ telestèc se plăreic qÿrouc

• GrammikoÐ telestèc se qÿrouc peperasmènhc diĹstashc

• ExÐswsh idiotimÿn-idioanusmĹtwn

.
.
.

MEROS II
1
 .
.
DIAFORIKES EXISWSEIS ME MERIKES PARAGWGOUS kai
PROBLHMATA SUNORIAKWN TIMWN

1. DIAFORIKES EXISWSEIS MAJHMATIKHS FUSIKHS

• Eisagwgă
• Taxinìmhsh twn d.e.m.p.

• Mèjodoi epÐlushc-Mèjodoc qwrizomènwn metablhtÿn

2. KUMATIKH EXISWSH

• Qordă apeÐrou măkouc

• Peperasmènh qordă paktwmènh sta Ĺkra

• Enèrgeia paktwmènhc qordăc

• Exhnagkasmènh talĹntwsh qordăc

• Kuklikă membrĹnh
• Kumatikă exÐswsh se sfairikèc suntetagmènec

3. EXISWSH DIAQUSHS

• DiĹdosh jermìthtac se mia diĹstash

• DiĹdosh jermìthtac se peperasmènh rĹbdo

• Monadikìthta thc lÔshc

• DiĹdosh jermìthtac se kÔlindro

4. EXISWSH LAPLACE

• GenikĹ
• ExÐswsh Laplace se sfairikèc suntetagmènec (eswterikì kai
exwterikì prìblhma)

2
1 Eisagwgă
Ac upojèsoume ìti èqoume na lÔsoume to parakĹtw prìblhma:

Prìblhma:Na brejeÐ h jermokrasÐa T (x, t), omogenoÔc metallikăc rĹb-

dou thc opoÐac ta Ĺkra , (x = 0, x = L), brÐskontai se loutrì jermokrasÐ-
ac mhdèn bajmÿn kai h epifĹneiĹ thc eÐnai jermikĹ monwmènh. EpÐshc gn-
wrÐzoume ìti h arqikă jermokrasÐa thc rĹbdou eÐnai:
T (x, t = 0) = T0 sin πx
L
.

Opwc xèroume h exÐswsh diĹdoshc jermìthtac gia omogenèc mèso eÐnai:

1 ∂T (~x, t))
∇2 T (~x, t) = (1)
a2 ∂t
ìpou
∂2 ∂2 ∂2
∇2 T (~x, t) = [ + + ]T (~x, t) (2)
∂x2 ∂y 2 ∂z 2

kai a2 o suntelest’hc jermik’hc agwgim’othtac. Gia mia r’abdo pou e’inai jermik’a monwm’enh s
2 λt
Tµǫρ = e−a u(x)(3)arkeÐ h sunĹrthsh u(x) na ikanopoieÐ thn aplă
exÐswsh:

d2 u(x)
+ λu(x) = 0 (4)
dx2
H parĹmetroc l kai h u(x) jewroÔntai pragmatikèc. An tÿra apaităsoume
h Tµǫρ na "plhsiĹzeifl se lÔsh tou problămatoc , dhladă na ikanopoieÐ tic
sunoriakèc sunjăkec , tìte diakrÐnoume tic exăc periptÿseic.

1. λ = 0 tìte u(x) = Ax + B

Gia na ikanopoioÔntai oi sunoriakèc sunjăkec ja prèpei oi parĹmetroi

A=B=0.Sthn perÐptwsh aută odhgoÔmaste se mhdenikă lÔsh.

3
 q q
2. λ < 0 tìte u(x) = A cosh( |λ|x) + B sinh( |λ|x)

Apì thn sunoriakă sunjăkh Tµǫρ (x = 0, t) = 0 sunepĹgetai ìti

A = 0 kai h lÔsh eÐnai thc morfăc :

2 |λ|t
q
Tµǫρ = e−a B sinh( |λ|x) (5)

H sunoriakă sunjăkh sto Ĺllo Ĺkro odhgeÐ sto B = 0 . Epomèn-

wc den èqoume lÔseic gia λ < 0.
ParathroÔme ìti tètoiec lÔseic den èqoun fusikă shmasÐa afoÔ
problèpoun ekjetikă aÔxhsh thc jermokrasÐac me to qrìno .
√ √
3. λ > 0 tìte u(x) = A cos( λx) + B sin( λx)

Apì thn sunoriakă sunjăkh T (x = 0, t) = 0. sunepĹgetai A = 0

Apì thn sunoriakă sunjăkh T (x = L, t) = 0 sunepĹgetai ìti
√
B sin( λL) = 0. Omwc B6=0 gia na mhn odhghjoÔme se mhdenikă
lÔsh , epomènwc ja prèpei :

√
λL = nπ , ìpou n = 1, 2, 3...

Brăkame loipìn lÔseic thc exÐswshc diĹqushc pou na ikanopoioÔn

1
tic sunoriakèc sunjăkec ,thc morfăc :
2 2
2π n t πn
Tn (x, t) = T0 e−a L2 sin( x) (6)
L
1
Θα αναρωτηθεί καποιοc αν υπάρχουν lύσειc µε l µιγαδικό. Η απάντηση είναι
2
αρνητική.Ποllαπlασιάζουµε την − d dx
u(x)
2 = λu(x) µε την µιγαδική συζυγή u∗ (x) και
οlοκlηρώνουµε από 0 έωc L.

RL 2 RL
− dxu∗ (x) d dx
u(x)
2 = λ dxu∗ (x)u(x)
0 0

Κατά παράγοντεc οlοκlήρωση στο αριστερό µέροc οδηγεί στην εξίσωση:

RL ∗ RL
u∗ (x) du(x) L
dx )|0 + dx du
dx
du
dx = λ dxu∗ (x)u∗ (x)
0 0

΄Οµωc u (L) = u (0) = 0, συνεπάγεται ότι: λ > 0

∗ ∗

4
 ìpou n = 1, 2, 3...
Gia na ikanopoieÐtai kai h arqikă sunjăkh

T (x, t = 0) = T0 sin( πx
L
)
ja prèpei na epilèxoume B1 = T0 kai Bn = 0 ìtan n6=0.
H lÔsh tou problămatoc èqei thn morfă

2 π2 t
T (x, t) = T0 e−a L2 sin( Lπ x)

Argìtera ja apodeÐxoume ìti problămata san autì pou perigrĹyame,

èqoun pĹnta lÔsh kai mĹlista monadikă. Autì Ĺllwste perimènoume kai
apì thn Fusikă enìc problămatoc .Ti ja sunèbaine ìmwc an tropopoioÔsame
thn arqikă sunjăkh se mia sunjăkh thc morfăc:
T (x, t = 0) = f (x) ìpou f (x) suneqăc sunĹrthsh kai f (0) = f (L) = 0;
Ac doÔme ti diajètoume. Eqoume mia apeirÐa merikÿn lÔsewn thc morfăc :
2 2
2π n t πn
Tn (x, t) = Bn e−a L2 sin( x) (7)
L
pou eÐnai grammikÿc anexĹrthtec kai h kĹje mÐa ikanopoieÐ tic sunoriakèc
sunjăkec
Tn (x = 0, t) = Tn (x = L, t) = 0 gia kĹje t.
Epeidă h exÐswsh diĹqushc eÐnai grammikă mporoÔme na jewrăsoume ìti h
genikă lÔsh problhmĹtwn me autèc tic sunoriakèc sunjăkec, dÐnetai apì
aujaÐreto grammikì sunduasmì autÿn twn anexĹrthtwn lÔsewn:
∞ 2 2
2π n t πn
Bn e−a
X
Tγǫν (x, t) = L2 sin( x) (8)
n=1 L

An tÿra h arqikă sunjăkh T (x, t = 0) = f (x), efarmosteÐ sthn (??) ja

èqoume :
∞
X πn
f (x) = Bn sin( x) (9)
n=1 L

5
PollaplasiĹzoume kai ta duì mèlh me sin( πm
L
x), kai oloklhrÿnoume apì
0 mèqri L. Me th boăjeia tou oloklhrwtikoÔ tÔpou

RL
dx sin( πn
L
x) sin( πm
L
x) = L2 δmn
0
brÐskoume ìti:

ZL
2 πn
Bn = dx sin( x)f (x)
L L
0

Ara h lÔsh tou problămatoc me thn aujaÐreth arqikă sunjăkh orÐzetai

apo thn (??).
Pìso aujaÐreth ìmwc eÐnai h arqikă sunjăkh f (x); H stajerĹ a2 sthn
exÐswsh diĹqushc eÐnai:

k
a2 = cρ
ìpou k suntelestăc jermikăc agwgimìthtac, c jermoqwrhtikìthta anĹ
monĹda mĹzac kai ρ puknìthta thc rĹbdou. To posìn jermìthtac me to
opoÐo jermĹname thn rĹbdo ÿste na brejeÐ se jermokrasÐa T (x, t = 0) =
f (x) kai to opoÐo ja apodojeÐ sto loutrì jermokrasÐac mhdèn sto opoÐo
brÐskontai ta Ĺkra thc rĹbdou eÐnai peperasmèno. Ara ja prèpei

RL RL
dx|T (x, t = 0)| = dx|f (x)| = peperasmèno.
0 0

kai katĹ sunèpeia

RL
dx|f (x)|2 = peperasmèno.
0
An paraleÐyoume to qrìno blèpoume ìti oi sunartăseic sin( πn
L
x) apoteloÔn
mia "bĹshfl sto qÿro twn sunartăsewn f (x), sto diĹsthma 0 ≤ x ≤ L,
pou ikanopoioÔn thn sunjăkh:

6
 RL
dxf 2 (x) = peperasmèno 2 .
0

Oi ’probolèc ’ thc f (x) se aută thn bĹsh dÐnontai apì ta akìlouja

oloklhrÿmata:

L
2Z πn
Bn = f (x) sin( x)dx (10)
L L
0

Oi sunartăseic
s
2 πn
en (x) = sin( x)
L L

apoteloÔn mia orjokanonikă bĹsh se autìn ton sunarthsiakì qÿro ,me

thn ènnoia ìti to oloklărwma :

ZL
en (x)em (x)dx = δmn
0

(ìpou δmn = 1 gia m = n kai δmn = 0 gia m 6= n) ekfrĹzei èna èswterikì

’ ginìmeno ston qÿro autì. ’Otan m 6= n oi sunartăseic

q q
2 2
en = L
sin( πn
L
x) , em = L
sin( πm
L
x) eÐnai orjogÿniec:

Bèbaia den eÐnai h prÿth forĹ pou sunantĹme th domă dianusmatikoÔ

qÿrou gia lÔseic miac diaforikăc exÐswshc. Ena Ĺllo gnwstì mac parĹdeigma
eÐnai o qÿroc twn lÔsewn miac sunăjouc omogenoÔc grammikăc diaforikăc
exÐswshc N-tĹxhc. EĹn gnwrÐzoume N grammikÿc anexĹrthtec lÔseic
u1 , u2 , u3 , .. tìte h genikă lÔsh ekfrĹzetai san grammikìc sunduasmìc
twn ui (x)
2
ο χώροc των τετραγωνικά οlοκlηρώσιµων συναρτήσεων

7
uγǫν (x) = c1 u1 (x) + c2 u2 (x) + c3 u3 (x)...

Oi stajerèc c1 , c2 , c3 , ... mporoÔn na prosdioristoÔn ètsi ÿste h lÔsh na

ikanopoieÐ sugkekrimmènec Ĺrqikèc’ sunjăkec.

(N −1)
u(x0 ) = A0 , u′ (x0 ) = A1 , u′′ (x0 ) = A2 , ..., uN −1 (x0 ) = AN −1

O qÿroc autìc eÐnai peperasmènhc diĹstashc N. O qÿroc twn lÔsewn

sto prìblhma diĹdoshc jermìthtac pou exetĹsame , eÐnai apeirodiĹstatoc
me anÔsmata bĹsh;
s
2 πm
|em >= sin( x) (11)
L L
ParakĹtw ja asqolhjoÔme me dianusmatikoÔc qÿrouc sunartăsewn me
eswterikì ginìmeno kajÿc kai thn drĹsh grammikÿn telestÿn , (kurÐwc
diaforikÿn) stouc qÿrouc autoÔc. Ja epishmĹnoume ekeÐna ta stoiqeÐa
kai tic teqnikèc pou ja mac eÐnai qrăsima sth melèth fusikÿn problhmĹtwn
pou sqetÐzontai me me diaforikèc exisÿseic me merikèc paragÿgouc.

2 Qÿroi sunartăsewn
2.1 DianusmatikoÐ qÿroi me eswterikì ginìmeno
San genikì sÔmbolo dianÔsmatoc ja qrhsimopoioÔme to |f > . Dianus-
matikìc qÿroc eÐnai èna sÔnolo S me stoiqeÐa ta dianÔsmata S = |f >, |g >, |h >, ...
sto opoÐo èqoume orÐsei duì prĹxeic

1. Dianusmatikă prìsjesh:
|f > +|g >= |h >

2. Bajmwtìc pollaplasiasmìc:
λ|f >= |g >, (l=migadikìc)

8
pou èqoun tic parakĹtw idiìthtec:

• |f > +|g >= |g > +|f >

• |f > +(|g > +|h >) = (|f > +|g >) + |h >

• UpĹrqei to oudètero stoiqeÐo thc prìsjeshc |0 > ,( mhdenikì Ĺnus-

ma) , kai gia kĹje |f > upĹrqei to antÐjetì tou (| − f >) ÿste:
|f > +|0 >= |f >

Gia ton pollaplasiasmì dianÔsmatoc me migadikì arijmì ja prèpei na

isqÔoun oi parakĹtw idiìthtec:

• l(k|f >) = (λk)|f > , 1.|f >= |f >

• λ.(|f > +|g >) = λ.|f > +λ.|g >

(λ + k) > |f >= λ.|f > +k.|f >

Oi prĹxeic autèc eÐnai genÐkeush twn gnwstÿn prĹxewn prìsjeshc kai

pollaplasiasmoÔ pou isqÔoun gia ta anÔsmata tou 3-diĹstatou dianus-
matikoÔ qÿrou. GenÐkeush tou eswterikoÔ ginomènou ~a.~b eÐnai en gènei
kĹpoioc migadikìc arijmìc, pou ton sumbolÐzoume wc :

< f |g >

kai ja prèpei na èqei tic parakĹtw idiìthtec:

1. < f |g + h >=< f |g > + < f |h >

2. < f |λg >= λ < f |g >, ( l = migadikìc)

3. < f |g >= (< g|f >)∗ ,(migadikìc suzugăc)

4. < f |f >≥ 0, < f |f >= 0 ⇒ |f >= |0 >

9
Stic parapĹnw sqèseic (1-4) anagnwrÐzoume ìlec tic idiìthtec tou eswterikoÔ
ginomènoutou tou 3-diĹstatou qÿrou.

~a.~b = ax .bx + ay .by + az .bz

me thn diaforĹ ìti to ~a.~b eÐnai pragmatikìc arijmìc . EpÐshc san mètro
enìc anÔsmatoc |f > orÐzoume :
q
||f || ≡ < f |f >

kai eÐnai h genÐkeush tou tridiĹstatou mètrou

q
|~a| = a2x + a2y + a2z
ParathroÔme ìti lìgw thc (4) to mìno Ĺnusma pou èqei mètro mhdèn eÐnai
to mhdenikì Ĺnusma.
< f |f >= 0 ⇒ |f >= |0 >
Amesh sunèpeia twn idiotătwn pou orÐzoun to eswterikì ginìmeno , eÐnai
3
oi parakĹtw idiìthtec .

1. < f |λg + kh >= λ < f |g > +k < f |h >

2. < λ.f |g >= λ∗ < f |g >, ( l migadikìc)

3. < λ.f + k.g|h >= λ∗ < f |h > +k ∗ < g|h >

MerikĹ peradeÐgmata dianusmatikÿn qÿrwn me eswterikì ginìmeno eÐ-

nai ta parakĹtw.

A) O qÿroc RN,o EukleÐdioc qÿroc twn diatetagmènwn N-Ĺdwn prag-

matikÿn arijmÿn |a >= (a1 , a2 , ..., aN ) ,ìpou ai pragmatikoÐ

|a > +|b >= (a1 + b1 , a2 + b2 , a3 + b3 , ..., aN + bN )

3
Σε όlα τα παραπάνω µε εllηνικά γράµµατα συµβοlίζουµε µιγαδικούc και µε lατινικά
τα διανύσµατα.Με αστερίσκο συµβοlίζουµε το µιγαδικό συζυγέc.

10
λ|a >= (λa1 , λa2 , ..., λaN ) ìpou l pragmatikìc

N
< a|b >= ai bi =pragmatikìc.
P
i=1

Eidikă perÐptwsh eÐnai o gnwstìc mac 3-diĹstatoc R3 .

B) O qÿroc C N, o qÿroc twn diatetagmènwn N-Ĺdwn migadikÿn ar-

ijmÿn |a >= (a1 , a2 , ..., aN ) ìpou ai = migadikoÐ. Oi prĹxeic orÐzontai
ìpwc kai ston RN , to de eswterikì ginìmeno orÐzetai wc exăc:
N
< a|b >= a∗i bi =migadikìc.
P
i=1

G) O qÿroc l2: Dhladă o qÿroc twn tetragwnikĹ sugklinousÿn

akoloujiÿn migadikÿn arijmÿn. Ja lème ìti mia akoloujÐa arijmÿn |ξ >=
(ξ1 , ξ2 , ξ3 , ...ξn , ...) eÐnai Ĺnusma tou qÿrou an :

∞
|ξ i |2 =peperasmèno
P
i=1

ja deÐxoume ìti an orÐsoume thn prìsjesh |ξ > +|η > duì tètoiwn
anusmĹtwn wc :
|ξ > +|η >= (ξ1 + η1 , ξ2 + η2 , ξ3 + η3 , ...ξi + ηi , ...)
paÐrnoume mia tetragwnikĹ sugklÐnousa akoloujÐa ,dhladă èna Ĺnusma
tou qÿrou. PrĹgmati an ξi kai ηi 2 tuqaÐoi migadikoÐ arijmoÐ , isqÔei
profanÿc

|ξi + ηi |2 ≤ 2|ξi|2 + 2|ηi |2

AjroÐzontac tic N-prÿtec tètoiec anisìthtec èqoume :

11
 N N N
|ξi + ηi |2 ≤ 2 |ξi|2 + 2 |ηi |2
P P P
i=1 i=1 i=1

Sto ìrio pou to N → ∞ kai epeidă èqoume upojèsei ìti

∞ ∞
|ξ i |2 =peperasmèno kai |ηi |2 =peperasmèno
P P
i=1 i=1

blèpoume ìti kai :

∞
|ξi + ηi |2 =peperasmèno
P
i=1

O bajmwtìc pollaplasiasmìc me migadikì arijmì l, orÐzetai: λ|ξ >=

(λξ1 , λξ2 , ..., λξi, ...)
profanÿc
∞ ∞
|λξi |2 = |λ|2 |ξi|2 =peperasmèno
P P
i=1 i=1

An |ξ > kai |η > 2 dianÔsmata tou qÿrou autoÔ , to eswterikì

ginìmeno orÐzetai wc exăc:

∞
ξi∗ .ηi
X
< ξ|η >=
i=1

To mètro enìc anÔsmatoc ||ξ|| eÐnai katĹ ta gnwstĹ

∞ q
1
|ξi|2 ) 2 =
X
||ξ|| = ( < ξ|ξ >
i=1

O qÿroc autìc eÐnai èna parĹdeigma apeirodiĹstatou dianusmatikoÔ qÿrou

kai mĹlista ìpwc ja doÔme parakĹtw ta dianÔsmata :e1 = (1, 0, 0, ...), e2 =
(0, 1, 0, ...), e3 = (0, 0, 1, 0, ..), ... sunistoÔn mia orjokanonikă bĹsh .
Tèloc na anafèroume to genikì parĹdeigma apì touc qÿrouc twn sunartă-
sewn me touc opoÐouc ja asqolhjoÔme.
D) O qÿroc L2 [a, b]: Dhladă o qÿroc twn sunartăsewn f (x) miac prag-
matikăc metablhtăc a ≤ x ≤ b , pou en gènei eÐnai migadikèc kai tetrag-

12
wnikĹ oloklhrÿsimec,dhladă to oloklărwma

Zb
dx|f (x)|2
a

na eÐnai peperasmèno. San eswterikì ginìmeno sto qÿro autì orÐzoume:

Zb
< f |g >= dxf ∗ (x)g(x)
a

An |f >= f (x) kai |g >= g(x) dÔo anÔsmata tou qÿrou autoÔ h prìsjesh
kai o pollaplasiasmìc me migadikì arijmì l orÐzetai wc :

|f > +|g >≡ f (x) + g(x)

λ.|f >≡ λ.f (x)

To mètro miac sunĹrthshc f (x) eÐnai katĹ ta gnwstĹ

q Zb
1
||f || = < f |f > = ( dx|f (x)|2 ) 2
a

Genikÿtera to eswterikì ginìmeno orÐzetai

Zb
< f |g >= w(x)f ∗ (x)g(x)dx
a

ìpou w(x) jetikă sunĹrthsh pou onomĹzetai sunĹrthsh bĹrouc . O qÿroc

sthn perÐptwsh aută sumbolÐzetai wc L2w [a, b] kai perièqei ti sunartăseic
gia tic opoÐec
Zb
w(x)|f (x)|2dx = πǫπǫρασµǫνø
a

EndeiktikĹ èqoume shmeiÿsei san pedÐo orismoÔ to diĹsthma [a, b] pou

mporeÐ na eÐnai kai ìlh h pragmatikă eujeÐa. To eswterikì ginìmeno ìpwc
orÐsthke mèsw twn sqèsewn (1,2,3,4) sunepĹgetai duì spoudaÐec sqèseic
.

13
2.2 Anisìthta Cauchy-Schwarz
An |f > kai |g > duì tuqaÐa anÔsmata enìc dianusmatikoÔ qÿrou me
eswterikì ginìmeno tìte isqÔei h sqèsh

< f |g >=≤ ||f ||||g|| (12)

APODEIXH JewroÔme tuqaÐo migadikì arijmì l. Profanÿc isqÔei h

sqèsh:

0 ≤ ||f − λg||2 =< f − λg|f − λg > (13)

AnaptÔsoume to eswterikì ginìmeno sto dexiì mèloc

0 ≤< f |f > −λ < f |g > −λ∗ (< f |g >)∗ + λ∗ λ < g|g >=
= ||f ||2 + |λ|2 ||g||2 − λ < f |g > −λ∗ (< f |g >)∗ =
= ||f ||2 + |λ|2 ||g||2 − 2Re(λ < f |g >) (14)

An grĹyoume touc migadikoÔc arijmoÔc l kai < f |g > wc

λ = |λ|eiθ , < f |g >= | < f |g > |eiφ

, tìte h anisìthta grĹfetai wc exăc:

0 ≤ ||f ||2 + |λ|2||g||2 − 2.|λ|.| < f |g > | cos(θ + φ)

H anisìthta aută isqÔei gia kĹje |λ| ≥ 0 kai gia kĹje 0 ≤ θ ≤ 2π. EidikĹ
gia θ = −φ paÐrnei thn morfă:

0 ≤ ||f ||2 + |λ|2 ||g||2 − 2.|λ|.| < f |g > |

enÿ gia j=p-f gÐnetai

0 ≤ ||f ||2 + |λ|2 ||g||2 + 2.|λ|.| < f |g > |

Oi duì prohgoÔmenec anisìthtec upodhlÿnoun ìti to triÿnumo

||f ||2 + x2 ||g||2 + 2x| < f |g > |

14
eÐnai mh arnhtikì gia kĹje pragmatikă timă tou x. Autì shmaÐnei ìti h
diakrÐnousa tou triwnÔmou eÐnai mh jetikă, dhladă

| < f |g > |2 ≤ ||f ||2.||g||2

H isìthta isqÔei ìtan upĹrqei migadikìc l tètoioc ÿste : |f >= λ.|g >
, dhladă ìtan ta |f > kai |g > eÐnai sugrammikĹ. H efarmogă thc anisìth-
tac twn Cauchy-Schwarz sto qÿro twn tetragwnikĹ oloklhrÿsimwn sunartă-
sewn L2 [a, b] mac odhgeÐ sthn gnwstă apì thn anĹlush anisìthta
 Zb  Zb Zb
1 1
 w(x)f ∗ (x)g(x)dx w(x)|f (x)| dx) ( w(x)|g(x)|2dx) 2
2
 
  ≤( 2 (15)
a a a

ìpou w(x) > 0 h sunĹrthsh bĹrouc sto eswterikì ginìmeno. Trigwnikă anisìthta:
An |f > kai |g > duì tuqaÐa anÔsmata tou qÿrou tìte apodeiknÔetai e-
farmìzontac thn anisìthta twn Cauchy-Schwarz ìti isqÔei h anisìthta
:
||f + g|| ≤ ||f || + ||g||

h opoÐa onomĹzetai trigwnikă anisìthta. (H apìdeixh gÐnetai eÔkala an

jewrăsoume Thn sqèsh: 0 ≤ ||f + g||2

2.3 Grammikă anexarthsÐa

Ta dianÔsnata |f1 >, |f2 >, |f3 >, ...|fN >, ... onomĹzontai grammikÿc
anèxĹrthta eĹn h mình lÔsh thc dianusmatikăc exÐswshc

λ1 |f1 > +λ2 |f2 > +λ3 |f3 > +... + λN |fN > +|0 >

eÐnaitetrimmènh , λ1 = λ2 = λ3 = ... = λN = |0 > EĹn ta anÔsmata autĹ

anăkoun se qÿro diĹstashc N tìte apoteloÔn bĹsh sto qÿro autì me thn
ènnoia ìti to tuqaÐo Ĺnusma |h > tou qÿrou ekfrĹzetai san grammikìc
sunduasmìc twn |fi >.

|h >= λ1 |f1 > +λ2 |f2 > +λ3 |f3 > +... + λN |fN >

15
EĹn o qÿroc eÐnai efodiasmènoc me eswterikì ginìmeno tìte oi orjokanon-
ikèc bĹseic
|e1 >, |e2 >, |e3 >, ...|eN >

èqoun to exăc pleonèkthma . An |h > tuqaÐo Ĺnusma tìte

|h >= λ1 |e1 > +λ2 |e2 > +λ3 |e3 > +... + λN |eN >

Gia na upologÐsoume to |λ1 > pollaplasiĹzoume eswterikĹ me |e1 >

< e1 |h >= λ1 < e1 |e1 > +λ2 < e1 |e2 > +λ3 < e1 |e3 > +... + λN < e1 |eN >

Sto dexiì mèloc ìla ta eswterikĹ ginìmena eÐnai mhdèn ektìc apo to
< e1 |e1 >= 1 . Ara
λ1 =< e1 |h >

OmoÐwc
λ2 =< e2 |h >, λ3 =< e3 |h >, ...λN =< eN |h >

Dhladă oi sunistÿsec tou |h > stic diĹforec "dieujănseicfl upologÐ-

zontai apì tic probolèc tou pĹnw sthn orjokanonikă bĹsh .
N
X N
X
|h >= (< ei |h >)|ei >= |ei >< ei |h > (16)
i=0 i=0

2.4 OrjogwnopoÐhsh Gram-Schmidt

Ja jèlame ìtan gnwrÐzoume mia tuqaÐa bĹsh (ìqi orjokanonikă) |f1 >
, |f2 >, |f3 >, ...|fN > sflena dianusmatikì qÿro , na mporoÔme na kataskeuĹ-
soume mia orjokanonikă

(|e1 >, |e2 >, |e3 >, ...|eN >), (< ei |ej >= δij )

Mia tètoia mèjodoc upĹrqei kai onomĹzetai

OrjogwnopoÐhsh Gram-Schmidt. Ac jewrăsoume N-plăjouc gram-
mikÿc anexĹrthta anÔsmata |f1 >, |f2 >, |f3 >, ...|fN > . Apì autĹ

16
kataskeuĹzoume N-plăjouc orjokanonikĹ wc exăc:
OrÐzoume to |g1 >= |f1 >. To diĹnusma autì ja apotelèsei thn prÿth
orjogÿnia dieÔjhnsh . To monadiaÐo Ĺnusma kata thn dieÔjhnsh aută
eÐnai
|g1 >
|e1 >=
||g1 ||
Apì to |F2 > afairoÔme th probolă tou pĹnw sto |e1 > kai
|g2 >= |f2 > −(< e1 |f2 >)|e1 >
DiairoÔme me to mètro tou kai ètsi orÐzoume to |e2 >

|g2 >
|e2 >=
||g2

Profanÿc to |g2 >6= |0 > giatÐ alliÿc to |F2 > ja ătan sugrammikì tou
|e1 > dhladă tou |f1 > kai den ja ătan grammikÿc anexĹrthta.

1
Epiplèon < e1 |e2 >= ||g2 ||
< e1 |g >

1
= ||g2 ||
(< e1 |f2 > −(< e1 |f2 >) < e1 |e1 >) = 0

Dhladă ta |e1 > , |e2 eÐnai orjogÿnia. SuneqÐzonta; apì ta |f2 >
afairoÔme tic probolèc tou sta |e1 >, |e2 > kai

|g3 >= |f3 > −(< e1 |f3 >)|e1 > −(< e2 |f3 >)|e2 >

Etsi èqoume to
|g3 >
|e3 >=
||g3 ||
pou eÐnai orjogÿnio sta |e1 >, |e2 >. H diadikasÐa suneqÐzetai me ta
upìloipa dianÔsmata kai katalăgoume ètsi se mia orjokanonikă bĹsh

|e1 >, |e2 >, |e3 >, ..., |eN >

17
3 ApeirodiĹstatoi qÿroi-Seirèc Fourier
3.1 ApeirodiĹstatoi qÿroi
Sto qÿro L2 [−π, π] ìpou to eswterikì ginìmeno orÐzetai wc:
Zπ
< f |g >= dxf ∗ (x)g(x) (17)
π

h akoloujÐa twn sunartăsewn :

1
en (x) = √ einx , ±n = 0, 1, 2, 3,
2π
eÐnai mia orjokanonikă akoloujÐa.PrĹgmati
Zπ
1 1
< em |en > = dx( √ eimx )∗ ( √ einx ) =
π
2π 2π
Zπ
1 i(n−m)x
= dx e (18)
π
2π

Apì ton upologismì tou oloklhrÿmatoc (??) , brÐskoume

(
1 : m=n
< en |em >=
0 : m 6= n

Epeidă ta anÔsmata |em >= em (x) eÐnai orjogÿnia metaxÔ touc eÐnai
profanÿc grammikÿc anexĹrthta. Ara o qÿroc autìc eÐnai apeirodiĹs-
tatoc afoÔ perièqei mia akoloujÐa apì grammikÿc anexĹrthta anÔsma-
ta. Allo parĹdeigma apeirodiĹstatou qÿrou pou perièqei orjokanonikă
akoloujÐa qrăsimh stic efarmogèc eÐnai to exăc.Sto qÿro L2 [−1, 1] h
orjokanonikă akoloujÐa
s
2n + 1
en (x) = Pn (x) (19)
2
ìpou

18
 1 dn
P0 (x) = 1, Pn (x) = 2n n! dxn
(x2 − 1)n

ta poluÿnuma Legendre. Dhladă isqÔei:

Z1
e∗m (x).en (x) = δmn
−1

, kai ìpwc prokÔptei apì ton oloklhrwtikì tÔpo , h sqèsh orjokanon-

ikìthtac twn poluwnÔmwn Legendre eÐnai:
R1 2
Pm∗ (x).Pn (x) = δ
2n+1 mn
1

Apì touc apeirodiĹstatouc qÿrouc endiafèron gia tic efarmogèc parousiĹ-

zoun oi qÿroi pou èqoun tic kalèc idiìthtec tou qÿrou twn pragmatikÿn
arijmÿn.Mia apì autèc eÐnai h ’plhrìthta’
KĹje basikă akoloujÐa pragmatikÿn arijmÿn èqei ìrio prag-
matikì arijmì. Ac orÐsoume thn apìstash duì anusmĹtwn san mètro
thc diaforĹc touc.
q
ρ(|f >, |g >) ≡ ||f − g|| = < f − g|f − g > (20)

Ja lème ìti mia akoloujÐa anusmĹtwn |fn >, n = 1, 2, 3... eÐnai basikă,
ìtan

ρ(|fn >, |fm >)→0 (21)

Gia (m → ∞, n → ∞). H (??) eÐnai sunoptikă grafă tou exăc. Gia kĹje
ǫ > 0 upĹrqei akèraioc N0 (ǫ) tètoioc ÿste gia kĹje
m, n > N0 (ǫ)→ρ(|fm >, |fn >) < ǫ.
To Ĺnusma |f > onomĹzetai ìrio miac akoloujÐac |fn > kai sumbolÐzetai

|fn > →|f >, n → ∞

ìtan gia kĹje ǫ > 0 upĹrqei akèraioc N0 (ǫ) tètoioc ÿste gia kĹje n >
N0 (ǫ) na isqÔei :
ρ(|fn >, |f >) = ||fn − f || < ǫ

19
To ìrio |f > an upĹrqei eÐnai monadikì.PrĹgmati eĹn kai Ĺllo |f ′ > ătan
ìrio thc akoloujÐac |fn > tìte :

||f − f ′ || = ||(f − fn ) + (fn − f ′ || ≤ ||f − fn || + ||fn − f ′ ||

Apì thn trigwnikă anisìthta. Sto ìrio tÿra → ∞ èqoume

||f − f ′ || = 0=⇒|f > −|f ′ >= |0 >, =⇒|f >= |f ′ >
Mia akoloujÐa pou suglÐnei eÐnai kai basikă akoloujÐa
PrĹgmati an|f > to ìrio thc akoloujÐac , tìte efarmìzontac pĹli thn
trigwnikă anisìthta èqoume:

||fm − fn || = ||(fm − f ) + (f − fn || ≤ ||fm − f || + ||f − fn ||

Ara
ρ(|fm >, |fn >) = ||fm − fn ||→0, (n, m→∞

afoÔ
||fm − f || → 0, ||f − fn || → 0, (n, m → ∞)

To antÐstrofo ìmwc en gènei den isqÔei . An ìmwc kĹje basikă akoloujÐa

sugklÐnei se kĹpoio Ĺnusma tou qÿrou tìte ja lème ìti o qÿroc autìc
eÐnai PLHRHS.

Oi qÿroi peperasmènhc diĹstashc eÐnai plăreic Estw |ei >,

(i = 1, 2, 3, .., N) mia orjokanonikă bĹsh. Ja deÐxoume ìti kĹje basikă
akoloujÐa |fn > sugklÐnei se Ĺnusma |f > tou qÿrou . AnalÔoume kĹje
ìro thc |fn > akoloujÐac sthn orjokanonikă bĹsh.
N
X (n)
|fn >= fi |ei > (22)
i=1

(n)
ìpou fi ≡< ei |fn >
N N
(n) (m) (n) (m)
ρ2 (|fn >, |fm >) = (< fn − fm |fn − fm >) =<
X X
(fi − fi )ei | (fj − fj )ej >=
i=1 j=1

20
 N X
N
X (n) (m) ∗ (n) (m)
= (fi − fi ) (fj − fj )δij =
i=1 j=1
N
X (n) (m) 2
= |fj − fj | (23)
i=1

Epeidă h |fn > eÐnai basikă , isqÔei:ρ2 (|fn >, |fm >) → 0 ,n → ∞, m →
∞ . Autì shmaÐnei ìti |fin − fim | → 0. Dhladă h akoloujÐa fin twn
i-sunistwsÿn eÐnai basikă. Epomènwc sugklÐnei se kĹpoio migadikì fi
(Plhrìthta tou qÿrou twn migadikÿn arijmÿn).Autì isqÔei gia kĹje i =
1, 2, 3..., N
SqhmatÐzetai ètsi to Ĺnusma:
N
X
|f >= fi |ei >
i=1

To Ĺnusma autì eÐnai kai to ìrio thc akoloujÐac fn >.

|fn >→ |f >, (n → ∞)

Oi qÿroi L2w(x) [a, b] sunartăsewn ìpou to oloklărwma :

Zb
dxw(x)|f (x)|2
a

(w(x) > 0),eÐnai peperasmèno kai to eswterikì ginìmeno orÐzetai wc:

Zb
< f |g >= dxw(x)f ∗ (x)g(x) (24)
a

eÐnai plăreic qÿroi. Tètoia paradeÐgmata plărwn qÿrwn ja mac apasqolă-

soun sto exăc.

3.2 Anisìthta Bessel-Isìthta Parseval

Se apeirodiĹstato qÿro jewroÔme orjokanonikă akoloujÐa |e1 >, |e2 >
, ..., |en > kai tuqaÐo Ĺnusma |f >6= |0 > . Me touc N-prÿtouc ìrouc thc

21
akoloujÐac sqhmatÐzoume to Ĺnusma:

N
|SN >= fi |ei >, ìpou fi ≡< ei |f >
P
i=1

UpologÐzoume thn apìstash ρ2 (|f >, |SN >)

0 ≤ ρ2 (|f >, |SN ) =< f − SN |f − SN >=

N N N
fi∗ < ei |f > −
X X X
= <f− fi ei |f − fj ej >=< f |f > −
i=1 j=1 i=1
N N X
N
fi∗ fj < ei |ej >=
X X
− fj < f |ej > +
j=1 i=1 j=1
N N N X
N
fi∗ fi − fj fj∗ + fi∗ fj δij =
X X X
= < f |f > −
i=1 j=1 i=1 i=1
N
|fj |2
X
= < f |f > − (25)
j=1

Katalăgoume ètsi sthn anisìthta

N N
|fj |2 = | < ej |f > |2 ≤< f |f >
P P
j=1 j=1

N
Blèpoume ìti h akoloujÐa twn merikÿn ajroismĹtwn |fj |2 eÐnai monì-
P
j=1
tonh kai fragmènh apì to tetrĹgwno tou mètrou tou anÔsmatoc |f >. Ara
èqei ìrio kĹpoio jetikì arijmì 0 ≤< f |f > . Epomènwc se èna apeirodiĹs-
tato qÿro gia kĹje |f > kai gia kĹje orjokanonikă akoloujÐa [|en >]∞
n=1

èqoume thn anisìthta :

∞
| < en |f > |2 ≤< f |f >
P
n=1

h opoÐa onomĹzetai anisìthta Bessel. H anisìthta Bessel mporeÐ na eÐnai

isìthta gia orismèna anÔsmata |f > tou qÿrou. Endiafèron parousiĹzei
h perÐptwsh pou gÐnetai isìthta gia kĹje Ĺnusma |f > .

22
 An se plărh qÿro S , mia orjokanonikă bĹsh [|e1 >, |e2 >, |e3 >
, ...|en >, ...], èqei thn idiìthta gia kĹje Ĺnusma tou qÿrou |f > na isqÔei
h isìthta :
∞
| < en |f > |2 =< f |f >
P
n=1

h opoÐa eÐnai gnwstă san isìthta Parseval, tìte sthn perÐptwsh aută
h akoloujÐa sunistĹ plhrec sÔnolo kai apoteleÐ bĹsh sto qÿro S.

Oi parapĹnw sqèseic (Bessel, Parseval ) eÐnai profaneÐc eĹn èqoume

qÿro peperasmènhc diĹstashc . To giatÐ jèloume o apeirodiĹstatoc
qÿroc na eÐnai plărhc faÐnetai apì ta dÔo parakĹtw jewrămata. PrÐn
ìmww ta diatupÿsoume ac dìsoume èna orismì thc bĹshc
Orismìc: Mia orjokanonikă akoloujÐa |ei > ja onomĹzetai
bĹsh se plărh qÿroeĹn to mìno Ĺnusma pou eÐnai orjogÿnio se ìla
ta anÔsmata thc akoloujÐac eÐnai to mhdenikì Ĺnusma.
O orismìc autìc eÐnai isodÔnamoc me opoiodăpote Ĺllo orismì bĹshc eĹn
o qÿroc eÐnai peperasmènhc diĹstashc. Omwc se apeirodiĹstato qÿro den
eÐnai profanèc ti ja orÐsoume gia bĹsh.

Eqontac up’ ìyin autìn ton orismì gia th bĹsh enìc plărouc qÿrou
eÔkola mporoÔme na apodeÐxoume ta parakĹtw jewrămata.
Jeÿrhma 1: Mia orjokanonikă akoloujÐa [|ei >] apoteleÐ
bĹsh se plărh qÿrotìte kai mìno ’tìte an gia kĹje Ĺnusma |f > tou
qÿrou isqÔei h isìthta tou Parseval.
Jeÿrhma 2: EĹn gnwrÐzoume miĹ orjokanonikă bĹsh se plărh qÿro kai
gia tuqaÐo Ĺnusma |f > sqhmatÐzoume thn akoloujÐa anusmĹtwn

N
X
|SN >= (< ei |f >)|ei > (26)
i=1

23
tìte h akoloujÐa aută èqei ìrio to |f > .

|SN >→ |f >, (N → ∞)

kai
ρ(|SN >, |f >) → 0, (N → ∞)

kai epomènwc mporoÔme na grĹyoume:

∞
X
|f >= (< ei |f >)|ei > (27)
i=1

MerikĹ paradeÐgmata orjokanonikÿn bĹsewn , qrăsima stic efarmogèc

eÐnai ta exăc:

• Sto qÿro L2 [−π, π] ìpou4 to eswterikì ginìmeno orÐzetai wc

Zπ
< f |g >= dxf ∗ (x)g(x)
−π

h orjokanonikă akoloujÐa
1
en (x) = √ einx
2π
ìpou (±n = 0, 1, 2, ...), apoteleÐ bĹsh.

• Sto qÿro L2 [−1, 1] ta poluÿnuma Legendre

1 dn 2
Pn (x) = (x − 1)n
2n n! dxn
me thn katĹllhlh kanonikopoÐhsh
s
2n + 1
en = Pn (x)
2
apoteloÔn bĹsh.
4
Οπωc έχουµε αναφέρει όlοι οι χώροι τετραγωνικά οlοκlηρώσιµων συναρτήσεων
µε ή χωρίc συνάρτηση βάρουc , είναι πlήρειc.Την απόδειξη την παραlείπουµε αllά µια
χρήσιµη άσκηση για την καlύτερη κατανόηση είναι η εξήc: ∆είξτε ότι ο χώροc l2
είναι πlήρηc µε µια ορθοκανονική βάση την |e1 = (1, 0, 0, ..), |e2 = (0, 1, 0, 0, ..), |e3 =
(0, 0, 1, 0, 0, ..), ...) κ.τ.l.

24
 2
• Sto qÿro L2w (−∞, ∞) kai w(x) = e−x ta poluÿnuma
s
1
en (x) = √ Hn (x)
2n n! π
,

ìpou Hn (x) ta poluÿnuma Hermite

2 dn −x2
Hn (x) = (−1)n ex (e )
dxn
apoteloÔn plărec orjokanonikì sÔnolo.

3.3 Seirèc Fourier

Sto qÿro L2 [−π, π] pou anafèrame sto parĹdeigma 1 ènac grammikìc sun-
duasmìc thc bĹshc apoteleÐ to orjokanonikì plărec sÔsthma: en (x) =
√1 einx ,
2π
1 1 1
√ , ecn (x) = √ cos nx, esn (x) = √ sin nx
2π π π
Etsi gia kĹje sunĹrthsh f (x), gia thn opoÐa isqÔei
Zπ
dx|f (x)|2
π

peperasmèno, antistoiqeÐ mia seirĹ Fourier

∞
A X
f (x) → + (An cos nx + Bn sin nx) (28)
2 n=1

oi suntelestèc Fourier dÐnontai apì ta oloklhrÿmata

π
1Z
An = dxf (x) cos nx (29)
π
−π

Zπ
1
Bn = dxf (x) sin nx (30)
π
−π

25
Apì autĹ pou èqoume ădh anafèrei eÐnai profanăc h isìthta Parseval gia
tic seirèc Fourier:
π ∞
1Z 2 |A0 |2 X
dx|f (x)| = + (|An |2 + |Bn |2 ) (31)
π 2 n=1
−π

Gia tic efarmogèc ìmwc mac endiafèrei na xèroume pìte ja grĹfoume :

∞
A0 X
f (x) = + (An cos nx + Bn sin nx) (32)
2 n=1

kai poÔ sugklÐnei, shmeÐo proc shmeÐo, h trigwnometrikă seirĹ tou

dexioÔ mèlouc. Autì mac lèei to parakĹtw jeÿrhma gnwstì wc jeÿrhma
Fourier

Jeÿrhma:An h sunĹrthsh f (x) eÐnai periodikă me perÐodo 2p,(f (x+2π) =

f (x)), kai tmhmatikĹ omală sto diĹsthma [-p,p] , tìte h seirĹ thc f (x)
f (x+0)+f (x−0)
sugklÐnei sto 2
.
(Piì eidikĹ an x shmeÐo sunèqeiac h seirĹ sugklÐnei sto f (x)). Gia kĹje
kleistì upodiĹsthma ìpou h f (x) eÐnai suneqăc , h seirĹ sugklÐnei omalĹ
sthn f (x) .

Gia thn omală sÔgklish thc seirĹc Fourier pou èqei kai to megalÔtero
endiafèron isqÔoun 2 krităria omalăc sÔgklishc.

Kritărio 1: An f (x) eÐnai tmhmatikĹ omală sto (-p,p) kai oi suntelestèc

Fourier ikanopoioÔn thn :

∞
(|An | + |Bn |) = peperasmèno
P
n=1

f (x+0)+f (x−0)
h seirĹ sugklÐnei omalĹ sto 2
.

Kritărio 2: An h f (x) eÐnai tmhmatikĹ omală sto (-p,p) kai epiplèon

26
suneqăc sto Ðdio diĹsthma kai isqÔei

f (−π + 0) = f (π − 0)

tìte h seirĹ Fourier sugklÐnei omalĹ sthn f (x).

3.4 Monadikìthta thc seirĹc Fourier

EĹn f (x) , g(x) eÐnai suneqeÐc sunartăseic kai èqoun tic Ðdiec seirèc Fouri-
er tìte isqÔei f (x) = g(x) gia ìla ta x .

Ena endiafèron jeÿrhma pou h apìdeixă tou mporeÐ na sthriqjeÐ sthn

omală sugklish twn seirÿn Fourier pou anafèrame , eÐnai to jeÿrhma
prosèggishc tou Weirstrass gia suneqeÐc sunartăseic.
Jeÿrhma 3: EĹn f (x) suneqăc sunĹrthsh sto [a,b] tìte gia kĹje e>0 ,
upĹrqei poluÿnumo PN (x) , N bajmoÔ pou exartĹtai apì to e ètsi ÿste:

|f (x) − PN (x)|| <e , a ≤ x ≤ b

ShmeÐwsh: Gia thn apìdeixh qreiĹzetai to anĹptugma Fourier se tuqaÐo

diĹsthma [a,b] . Me thn allagă metablhtăc

b−a a+b
x= 2π
y + 2

tìte a ≤ x ≤ b → −π ≤ y ≤ π , kai epomènwc mporoÔme na anaptÔx-

oume thn f (y) katĹ ta gnwstĹ sto diĹsthma −π ≤ y ≤ π .An tÿra
∞
A0 X
f (y) = + (An cos ny + Bn sin ny) (33)
2 n=1

eÐnai to anĹptugma ,tìte qrhsimopoiÿntac gnwstèc trigwnometrikèc

tautìthtec to anĹptugma mporeÐ na grafeÐ sth metablhtă (x) wc:
∞
a0 X
f (x) = + (an cos knx + bn sin knx) (34)
2 n=1

27
 2π
ìpou oi suntelestèc a,b eÐnai grammikoÐ sunduasmoÐ twn A,B kai k = b−a
.

4 Telestèc
4.1 GrammikoÐ Telestèc se plăreic qÿrouc
GenikĹ ènac telestăc mporeÐ na orisjeÐ san mia apeikìnish . San pedÐo
orismoÔ tou ja jewroÔme sunăjwc ìlon ton dianusmatikì qÿro . Gia
thn onomasÐa twn telestÿn ja qrhsimopoioÔme kefalaÐa grĹmmata me èna
kapèlo p.q T̂ .Etsi h drĹsh tou telestă se tuqaÐo Ĺnusma tou pedÐou
orismoÔ tou ja sumbolÐzetai wc

T̂ |f >= |g >

Tetrimmènoi telestèc eÐnai :

• O mhdenikìc telestăc
An gia kĹje Ĺnusma |f > tou pedÐou orismoÔ isqÔei

T̂ |f >= |0 >

tìte o T̂ eÐnai mhdenikìc telestăc

Eqontac orÐsei ton mhdenikì telestă ,mporoÔme na orÐsoume thn
tautìthta 2 telestÿn. Duì telestèc Â, B̂ eÐnai Ðsoi kai grĹfoume
 = B̂ , ìtan gia kĹje |f > isqÔei:

Â|f >= B̂|f >

• Tautotikìc telestăc
O T̂ eÐnai tautotikìc kai ton sumbolÐzoume me Iˆ .

28
MporoÔme na orÐsoume Ĺjroisma kai ginìmeno telestÿn wc exăc. Gia kĹje
|f > na isqÔei

• (Â + B̂)|f >= Â|f > +B̂|f >

• (ÂB̂)|f >= Â(B̂|f >)

Profanÿc gia to Ĺjroisma isqÔei  + B̂ = B̂ + Â. Gia to ginìmeno ìmwc

dÔo telestÿn den isqÔei en gènei h isìthta:

ÂB̂ 6= B̂ Â

Lème ìti oi telestèc Âkai B̂ den metatÐjentai. An orÐsoume to metajèth

2 telestÿn wc
[Â, B̂] = ÂB̂ − B̂ Â

Tìte gia ton metajèth èqoume ìti en gènei

[Â, B̂] 6= 0

An h apeikìnish pou orÐzei ènac telestăc T̂ eÐnai èna proc èna (1-1) ,
tìte upĹrqei o antÐstrofoc , ton opoÐo sumbolÐzoume wc T̂ −1 kai isqÔei
profanÿc:
T̂ T̂ −1 = T̂ −1 T̂ = Iˆ

Xeqwristì endiafèron parousiĹzoun oi grammikoÐ telestèc kai kurÐwc tè-

toio telestèc ja mac apasqolăsoun.

OrismìcEnac telestăc T̂ ja lègetai grammikìc an gia kĹje |f > kai

|g > kai kĹje migadikì l isqÔei:

1. T̂ (|f > +|g >) = T̂ |f > +T̂ |g >

2. T̂ (λ|f >) = λ(T̂ |f >)

29
EidikĹ sthn 2 blèpoume ìti otan l=0

T̂ (|0 >= |0 >

Orismènec apì tic "kalècfl idiìthtec twn grammikÿn telestÿn eÐnai oi akìlou-
jec:

A) To pedÐo timÿn eÐnai dianusmatikìc qÿroc.

B) An h diĹstash tou pedÐou orismoÔ eÐnai peperasmènh tìte ja eÐnai

peperasmènh kai h diĹstash tou pedÐou timÿn .

G) An  kai B̂ eÐnai grammikoÐ telestèc tìte ja eÐnai grammikoÐ kai oi

telestèc
(Â + B̂) , (Â.B̂) kai (B̂.Â)

D) O antÐstrofoc enìc grammikoÔ telestă T̂ upĹrqei tìte kai mìno

ìtan
T̂ |f >= |0 > sunepĹgetai ìti |f >= |0 >
MĹlista an upĹrqei o antÐstrofoc T̂ −1 tìte kai autìc eÐnai grammikìc
telestăc.
MerikĹ aplĹ paradeÐgmata grammikÿn telestwn eÐnai :

1. An  grammikìc telestăc tìte kai Ân = Â.Â.Â... ( n forèc )

N
eÐnai grammikìc ìpwc kai kĹje poluÿnumo PN (Â) = am Âm me
P
m=0
suntelestèc am migadikoÔc eÐnai epÐshc grammikìc telestăc.
2
2. Mèsw thc ekjetikăc seirĹc ex = 1+x+ x2! +... mporoÔme na orÐsoume
ton telestă
1
e = Iˆ +  + Â2 + ...
2!
kai na deÐxoume ìti eÐnai grammikìc.

30
 d
3. Estw h dx o grammikìc telestăc pou drĹ sto qÿro twn pragmatikÿn
analutikÿn sunartăsewn f (x) (h= pragmatikì) (Dhladă sunartă-
sewn me paragÿgouc kĹje tĹxhc). Tìte5
d d 1 d2
eh dx f (x) = (Iˆ + h + h2 2 + ...)f (x) = f (x + h) (35)
dx 2! dx

Ta parapĹnw isqÔoun genikĹ gia thn drĹsh grammikÿn telestÿn se tuqaÐouc

dianusmatikoÔc qÿrouc. Akìmh ìmwc megalÔtero endiafèron èqoun oi
grammikoÐ telestèc ìtan droÔn se plăreic qÿrouc. Estw ènac grammikìc
telestăc  pou drĹ se plărh qÿro.
Orismìc: EĹn upĹrqei telestăc , ton opoÐo ja sumbolÐzoume me Â+ tè-
toioc ÿste gia kĹje |f > kai |g > na isqÔei:

< Â+ g|f >=< g|Âf >

tìte o Â+ onomĹzetai ermitianìc suzugăc tou  kai eÐnai grammikìc

telestăc. O ermitianìc suzugăc , ìtan upĹrqei, eÐnai kai monosămanta
+ +
orismènoc. PrĹgmati èstw Â1 , Â2 ermitianoÐ suzugeÐc tou Â. Tìte gia
kĹje |g > kai |f > ja isqÔei
+ + + +
< (Â1 − Â2 )g|f > = < Â1 g|f > − < Â2 g|f >=
= < g|Âf > − < g|Âf >= 0 (36)
+ +
Dhladă to Ĺnusma (Â1 − Â2 )|g > ja ătan orjogÿnio se kĹje Ĺnusma
tou qÿrou, epomènwc to mhdenikì .

+ +
(Â1 − Â2 )|g >= |0 > sunepĹgetai:
+ +
Â1 |g > −Â2 |g >= |0 >

Epeidă h teleutaÐa sqèsh isqÔei gia to tuqaÐo Ĺnusma |g > apì ton oris-
moÔ thc isìthtac twn telestÿn prokÔptei: ,
5 d
ο τεlεστήc dx ονοµάζεται και γεννήτοραc των µεταθέσεων γιατί η εκθετική
συνάρτηση ΄γεννάει΄ τιc µεταθέσειc x → x + h.

31
 + +
Â1 = Â2

EpÐshc isqÔei (Â+ )+ = Â .

MporoÔn eÔkola apì ton orismì na apodeiqjoÔn oi idiìthtec:

1. (Â + B̂)+ = Â+ + B̂ +

2. (Â.B̂)+ = B̂ + .Â+

3. (λÂ)+ = λ∗ Â+

4. Â+ Â = 0 =⇒ Â = 0

Mèsw tou ermitianoÔ suzugă mporoÔn na orisjoÔn telestèc me megĹlh

qrhsimìthta ìpwc ja doÔme parakĹtw.Tètoioi telestèc eÐnai:

1. Autosuzugăc
, (Autoprosarthmènoc ă ermitianìc )

Â+ = Â

2. Monadiakìc ă MonadiaÐoc

Û + = Û −1

3. Kanonikìc
Â+ Â = ÂÂ+

(Shm:Se èna pragmatikì qÿro o autosuzugăc onomĹzetai kai sum-

metrikìc , enÿ o monadiakìc onomĹzetai kai orjogÿnioc)

6
4. ProbolikìcEnac grammikìc kai fragmènoc telestăc P̂ lègetai
probolikìc ìtan:
P̂ + = P̂ , P̂ 2 = P̂
6
Εναc γραµµικόc τεlεστήc  είναι φραγµένοc όταν υπάρχει θετικόc αριθµόc C έτσι
ώστε ||Â|f > || ≤ C||f ||,για κάθε |f >

32
Ena endiafèron prìblhma pou aforĹ touc grammikoÔc telestèc kai ja
mac apasqolăsei idiaÐtera eÐnai autì thc exÐswshc idiotimÿn kai idio-
sunartăsewn enìc telestă Â.

Â|f >= λ|f > (37)

ìpou l en gènei migadikìc arijmìc kai |f >6= |0 >. Gia kĹpoiouc gram-
mikoÔc telestèc h epÐlush autăc thc exÐswshc, dhladă h eÔresh twn idi-
otimÿn kai twn idiosunartăsewn pou antistoiqoÔn se autèc tic idiotimèc,
èqei idiaÐterh shmasÐa afoÔ ìpwc ja doÔme mporoÔn na odhgăsoun se
plărec orjokanonikì sÔnolo (bĹsh).
ParakĹtw diatupÿnoume dÔo jewrămata pou aforoÔn kanonikoÔc telestèc.
Jeÿrhma 1
An  kanonikìc telestăc kai l idiotimă tou idioanÔsmatoc |f > dhladă :

Â|f >= λ|f >

tìte o Â+ èqei idioĹnusma to |f > me idiotimă λ∗ , dhladă

Â+ |f >= λ∗ |f >

Apìdeixh . Epeidă ÂÂ+ = Â+ Â sunepĹgetai ìti D̂ D̂ + = D̂ + D̂ ìpou

ˆ AllĹ afoÔ |f > idioĹnusma tou  èqoume:
D̂ ≡ Â − λI.

ˆ >= |0 >
D̂|f >= (Â − λI)|f

tìte ìmwc
< D̂ + f |D̂ + f >=< f |D̂ D̂ + f >=< f |D̂ + D̂f >=< D̂f |D̂f >= 0
Ara D̂ + |f >= 0 kai (Â+ − λ∗ I)|fˆ >= |0 >

Â+ |f >= λ∗ |f >

Jeÿrhma 2

33
 Ta idioanÔsmata kanonikoÔ telestă pou antistoiqoÔn se diaforetikèc
idiotimèc eÐnai orjogÿnia metaxÔ touc.

Apìdeixh . An λ1 6= λ2 kai Â|f1 >= λ1 |f1 >, Â|f2 >= λ2 |f2 > tìte
sÔnfwna me to prohgoÔmeno jeÿrhma èqoume :

λ2 < f1 |f2 > = < f1 |Âf2 >=< Â+ f1 |f2 >=

= (< f2 |Â+ f1 >)∗ = (λ∗1 < f2 |f1 >)∗ =
= λ1 < f1 |f2 > (38)

kai (λ2 − λ1 ) < f1 |f2 >= 0 Epomènwc:

< f1 |f2 >= 0

Otan duì idioanÔsmata grammikÿc anexĹrthta antistoiqoÔn sthn Ðdia idi-

otimă tìte lème ìti upĹrqei ekfulismìc. An gia parĹdeigma

Â|f1 >= λ|f1 >, Â|f2 >= λ|f2 >

tìte kĹje grammikìc sundiasmìc k1 |f1 > +k2 |f2 > eÐnai epÐshc idioĹnusma
tou telestă Â me thn Ðdia idiotimă.

 (k1 |f1 > +k2 |f2 >) = k1 (Â|f1 >) + k2 (Â|f2 >)
= k1 λ|f1 > +k2 λ|f2 >= λ(k1 |f1 > +k2 |f2 >) (39)

4.2 GrammikoÐ telestèc se qÿrouc peperasmènhc diĹs-

tashc
Estw {|e1 >, |e2 >, ..., |eN >} mia orjokanonikă bĹsh se qÿro N-diĹstashc
. Tìte h drĹsh enìc grammikoÔ telestă Â ìtan eÐnai gnwstă h drĹsh tou
sta anÔsmata bĹshc .

Â|ej >, j = 1, 2, 3, ..., N

34
Gia tuqaÐo Ĺnusma tou qÿrou
N
X
|f >= fj |ej >, fj =< ej |f >
j=1

isqÔei:
N
X N
X
Â|f >= fj (Â|ej >) = (Â|ej >) < ej |f > (40)
j=1 j=1

oi sunistÿsec tou nèou anÔsmatoc

|g >= Â|f >

dÐnontai apì tic probolèc sta anÔsmata bĹshc.

N
X
gi ≡ < ei |g >=< ei | fj (Â|ej >) =
j=1
N
X N
X
= fj (< ei |Â|ej >) = (< ei |Â|ej >) < ej |f > (41)
j=1 j=1

An touc migadikoÔc arijmoÔc < ei |Â|ej > touc onomĹsoume aij , tìte h
sqèsh pou dÐnei tic sunistÿsec gi grĹfetai:
N
X
gi = aij fj , i = 1, 2, ..., N
j=1

An ta anÔsmata tou qÿrou ta parastăsoume me stălec tìte h prohgoÔ-

menh sqèsh grĹfetai wc:
    
g1 a11 a12 ··· a1N f1
g2 a21 a22 ··· a2N f2
    
    
    
|g >= 
 . 
 = 
 . . ··· . 
 . 


 . 


 . . . ··· 
 . 

gN aN 1 aN 2 ··· aN N fN
Blèpoume ìti ènac grammikìc telestăc pou drĹ se qÿro peperasmèn-
hc diĹstashc anaparÐstatai me tetragwnikì pÐnaka me stoiqeÐa touc mi-
gadikoÔc
aij =< ei |Â|ej >

35
ìpou |ej >, (j = 1, 2, 3..N) ta anÔsmata miac orjokanonikăc bĹshc. Etsi
ìlh h Ĺlgebra twn grammikÿn telestÿn metafèretai sthn Ĺlgebra twn
tetragwnikÿn pinĹkwn me stoiqeÐa migadikoÔc arijmoÔc. O ermitianìc
suzugăc upĹrqei gia kĹje grammikì telestă Â kai den eÐnai Ĺlloc apì
ton ermitianì suzugă pÐnaka

Â+ → (A+ )ij = (A)∗ji

To Ĺjroisma Â+B̂ kai to ginìmeno Â.B̂ duì grammikÿn telestÿn metafère-

tai sto Ĺjroisma kai ginìmeno twn pinĹkwn pou anaparistoÔn touc telestèc
Â, B̂
 + B̂ → (A)ij + (B)ij

kai
N
X
ÂB̂ → (A)ik (B)kj
k=1

O tautotikìc telestăc Iˆ antistoiqeÐ se monadiaÐo pÐnaka

Iˆ → (I)ij = δij

kai o mhdenikìc telestăc anaparÐstatai me ton mhdenikì pÐnaka (ìla ta

stoiqeÐa tou pÐnaka eÐnai mhdèn)

4.3 Allagă orjokanonikăc bĹshc

Ac jewrăsoume duì orjokanonikèc bĹseic :

′
|ei >, (i = 1, 2, ...N)

|ek >, (k = 1, 2, ...N)

′
Tìte profanÿc h |ei > eÐnai grammikìc sundiasmìc thc |ek > . Dhladă

′ N
|ei >= uki|ek >
P
k=1

36
 ′
ìpou uki ≡< ek |ei > . OrÐzoume pÐnaka Û me stoiqeÐa Uik = uik . Lìgw
thc orjokanonikìthtac èqoume:
N N
′ ′ X X
δ ij = < ei |ej >=< (U)λi eλ | (U)kj ej >=
λ=1 k=1
N X
N
(U)∗λi (U)kj < eλ |ek >=
X
=
λ=1 k=1
N N
(U)∗ki (U)kj = (U + )ik (U)kj
X X
= (42)
k=1 k=1

Dhladă deÐxame ìti:

Û + Û = Iˆ

OmoÐwc kai
Û Û + = Iˆ
7
Ara o pÐnakac Û pou sundèei tic duì bĹseic eÐnai monadiakìc

(Uˆ+ ) = (Û)−1

4.4 ExÐswsh idiotimÿn-idioanusmĹtwn

ˆ >= 0 , qrhsimopoiÿntac thn anaparĹs-
H exÐswsh idiotimÿn (Â − λI)|f
tash tou telestă me pÐnaka (A)ij kai to diĹnusma me stălh me stoiqeÐa
tic sunistÿsec fj , grĹfetai wc:
N
X
[(A)ij − λδij ]fj = 0 (43)
j=1

Dhladă prokÔptei èna grammikì omogenèc sÔsthma N exisÿsewn me N

agnÿstouc fj , j = 1, 2, ..., N. Epeidă anazhtoÔme lÔsh |f >6= |0 >, Ĺra h
orÐzousa twn suntelestÿn twn agnÿstwn prèpei na isoÔte me mhdèn.

det[A − λI] = 0 (44)

Σηµείωση:Το ότι υπάρχει ο αντίστροφοc Uˆ−1 οφείlεται στο ότι τα |ei > είναι
′
7

γραµµικώc ανεξάρτητα οπότε η ορίζουσα του Û 6= 0

37
H exÐswsh idiotimÿn (??) eÐnai mia algebrikă exÐswsh N-tĹxhc kai epomènwc
èqei N to plăjoc rÐzec, tic idiotimèc tou pÐnaka A. En gènei ,(ìqi pĹnta) ja
upĹrqoun N-plăjoc grammikÿc anexĹrthta idioanÔsmata pou antistoiqoÔn
se autèc tic idiotimèc. Etsi èqoume mia bĹsh apo thn opoÐa mporoÔme na
kataskeuĹsoume me thn mèjodo Gram-Schmidt mia Ĺllh orjokanonikă.
EidikĹ ìmwc gia touc kanonikoÔc telestèc isqÔei to parakĹtw jeÿrhma.

Jeÿrhma 3 (Fasmatikì)
: Estw (A) kanonikìc pÐnakac (anaparĹs-
tash kanonikoÔ telestă )
a) To plăjoc idioanusmĹtwn pou antistoiqoÔn se kĹpoia idiotimă l eÐnai
Ðdio me thn algebrikă pollaplìthtĹ thc idiotimăc

b)Ta idioanÔsmata tou  apoteloÔn bĹsh . EidikĹ ìtan ìlec oi idiotimèc

eÐnai aplèc, tìte h bĹsh aută eÐnai kai orjokanonikă.

GenÐkeush tou fasmatikoÔ jewrămatoc se apeirodiĹstatouc qÿrouc m-

poreÐ na gÐnei mèsw eidikăc kathgorÐac telestÿn , touc plărwc suneqeÐc
telestèc.

Orismìc: Enac grammikìc telestăc  lègetai plărwc suneqăc ă sumpagăc

, ìtan apeikonÐzei kĹje fragmènh akoloujÐa |fn > se mia akoloujÐa
|gn >= Â|fn > , h opoÐa perièqei sugklÐnousa upoakoloujÐa.
Eqoume loipìn to parakĹto spoudaÐo jeÿrhma gia apeirodiĹstatouc qÿrouc.

Jeÿrhma 4 (Fasmatikì)
: Estw  grammikìc telestăc pou eÐnai
autosuzugăc kai plărwc suneqăc. Tìte isqÔoun ta parakĹtw:
• Oi idiotimèc tou  eÐnai pragmatikèc

• UpĹrqei toulĹqiston mia idiotimă λi 6= 0

• Ta idioanÔsmata pou antistoiqoÔn se kĹje idiotimă λi 6= 0 , eÐnai

38
 peperasmèna to plăjoc

• O Â èqei mia peperasmènh ă Ĺpeirh akoloujÐa idioanusmĹtwn |e1 >

, |e2 >, |e3 >, .... pou antistoiqoÔn stic mh mhdenikèc idiotimèc λ1 , λ2 , λ3 , ...
ìpou |λ1 | ≥ |λ2 | ≥ ..., , ètsi ÿste gia kĹje |g >= Â|f > na isqÔei
h isìthta
< g|g >= | < ek |g > |2
P
k

• Ta idioanÔsmatatou telestă Â sunistoÔn orjokanonikă bĹsh

ston plărh qÿropou drĹ o telestăc  (Efìson oi idiotimèc eÐnai
diĹforec tou mhdenìc kai λn → 0, n → ∞ ).
d 2
2
Ac jewrăsoume ton telestă D̂ = − dx 2 pou drĹ sto qÿro L [0, 1] twn

sunartăsewn pou ikanopoioÔn tic sunoriakèc sunjăkec, f (0) = f (1) = 0.

O D̂ eÐnai autosuzugăc.
Z1 Z1
d2 dg(x) 1 df ∗ (x) dg(x)
< f |D̂g > = ∗
dxf [− 2 g(x)] = [−f ∗ (x) ]| + dx =
dx dx 0 dx dx
0 0
Z1
df ∗(x) dg(x) 1 d2
= ( g(x) − f ∗ (x) )| + dx[− f (x)]∗ g(x) (45)
dx dx 0 dx2
0

O prÿtoc ìroc sto dexiì mèroc mhdenÐzetai lìgw twn sunoriakÿn sun-
jhkÿn kai o deÔteroc grĹfetai wc < D̂f |g > .Ara deÐxame ìti

< f |D̂g >=< D̂f |g >

Epomènwc D̂ + = D̂ . Ac doÔme tÿra thn exÐswsh idiotimÿn- idioanusmĹtwn

tou telestă D̂
d2
− u(x) = λu(x)
dx2
,
u(0) = 0 = u(1)

Opwc xèroume h lÔsh tou problămatoc autoÔ eÐnai

d2
− φn (x) = λn φn (x)
dx2
39
ìpou
λn = 4π 2 n2 , kai φn (x) = sin(2πnx), (n = 1, 2, 3, ..)
H akoloujÐa twn anusmĹtwn φn (x) eÐnai fragmènh . H drĹsh ìmwc tou
telestă D̂φn (x) = 4π 2 n2 φn (x) pĹnw sthn akoloujÐa twn idioanusmĹtwn
tou den perièqei kammÐa upoakoloujÐa pou na sugklÐnei. Dhladă o telestăc
D̂ den eÐnai plărwc suneqăc. Ta idioanÔsmata ìmwc φn (x) sunistoÔn bĹsh
. Autì sumbaÐnei giatÐ to prìblhma idiotimÿn kai idioanusmĹtwn tou D̂
eÐnai isodÔnamo me antÐstoiqo prìblhma gia èna oloklhrwtikì telestă K̂
pou eÐnai plărwc suneqăc.. Sugkekrimèna

Z1
K(x, s)φn (s)ds = µn φn (x)
0

1 1
ìpou µn = λn
= 4π 2 n2

(
x(1 − s) : 0 ≤ x ≤ s ≤ 1
K(x, s) =
s(1 − x) : 0 ≤ s ≤ x ≤ 1

φn (x) = sin(2πnx)

En gènei oi grammikoÐ diaforikoÐ telestèc , kai idiaÐtera autoÐ pou

ja mac apasqolăsoun , den eÐnai plărwc suneqeÐc.Omwc mporeÐ na deiq-
jeÐ ìti to prìblhma idiotimÿn-idisunartăsewn enìc diaforikoÔ telestă
eÐnai isodÔnamo me antÐstoiqo prìblhma idiotimÿn -idiosunartăsewn enìc
oloklhrwtikoÔ telestă me tic Ðdiec idiosunartăseic , o opoÐoc eÐnai plărwc
suneqăc. Epomènwc to fasmatikì jeÿrhma efarmìzetai gia tic idiosunartă-
seic tou diaforikoÔ telesth kai ètsi autèc apoteloÔn orjokanonikă bĹsh.

Problămata Sturm-Liouville Estw o diaforikìc telestăc

d d
 ≡ − p(x) + q(x)
dx dx

40
ìpou p(x) > 0, q(x) pragmatikèc , pou drĹ sto qÿro L2 [a, b]. Qrhsi-
mopoiÿntac thn tautìthta Lagrange
∗ d ∗ df ∗ dg
f (Âg) − f (Âf ) ≡ [p(x)( g − f ∗ )]
dx dx dx
èqoume gia kaje zeugĹri f (x), g(x)
Zb
< f |Âg > = f ∗ (x)[Âg(x)] =
a
Zb
df ∗ dg
= [Âf (x)]∗ g(x) + [p(x)( g(x) − f ∗ (x) )]|ba =
a
dx dx
′ ′
= < Âf |g > +(p(x)[f ∗ (x)g(x) − f ∗ (x)g (x)])|ba (46)

Blèpoume ìti gia na eÐnai autosuzugăc o  ja prèpei

′ ′ ′ ′
p(b)[f ∗ (b)g(b) − f ∗ (b)g (b)] = p(a)[f ∗ (a)g(a) − f ∗ (a)g (a)]

H sunjăkh aută mporeÐ na pragmatopoieÐtai me diĹforouc trìpouc.

• Apì ton Ðdio ton telestă Â ìtan ikanopoioÔntai oi sunjăkec :

p(a) = p(b) = 0

• Apì tic sunartăseic f (x) ìtan ikanopoioÔn katĹllhlec sunoriakèc

sunjăkec p.q. :
f (a) = f (b) = 0

Genikÿtera ta problămata pou ja mac apasqolăsoun (problămata suno-

riakÿn timÿn ) h exÐswsh idiotimÿn gia ton diaforikì telestă paÐrnei th
morfă:
d
dx
[p(x) du(x)
dx
] + [λw(x) − q(x)]u(x) = 0

ìpou l=idiotimă , w(x) > 0 sunĹrthsh bĹrouc kai oi idiosunartăseic na

ikanopoioÔn sunjăkec thc morfăc
′ ′
Au(a) + Bu (a) = 0, Cu(b) + Du (b) = 0

Ta problămata autĹ onomĹzontai , problămata Sturm-Liouville.

41