Schwartz plads
I matematik er Schwartz-rummet rummet med faldende funktioner (dvs. hurtigt faldende uendeligt differentierbare funktioner såvel som deres afledte af alle ordrer). Det dobbelte af dette rum er rummet for tempererede fordelinger . Pladser og spiller en vigtig rolle i teorien om Fourier-transformationen .
S{\ displaystyle {\ mathcal {S}}}
S′{\ displaystyle {\ mathcal {S}} ^ {\ prime}}
S{\ displaystyle {\ mathcal {S}}}
S′{\ displaystyle {\ mathcal {S}} ^ {\ prime}}![{\ mathcal {S}} ^ {{\ prime}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1f87e6b5abfb917a9b12d4e61d04e7678bae2c3)
Definition
En funktion f er en del af rummet, når den kan defineres på ubestemt tid, og hvis f og alle dens derivater hurtigt falder , det vil sige, at deres produkt af enhver polynomfunktion er begrænset til uendelig. De funktioner, der hører til , siges at være faldende .
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}![{\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66295cd005e3113401f303e7b9041eb803dd8270)
For to multiindekser definerer vi normerne efter
a,β{\ displaystyle \ alpha, \ beta}
‖⋅‖a,β{\ displaystyle \ | \ cdot \ | _ {\ alpha, \ beta}}![{\ displaystyle \ | \ cdot \ | _ {\ alpha, \ beta}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e694e20c16bc7caf748762ff6fceddb2c02a1ac)
‖f‖a,β=‖xaDβf‖∞{\ displaystyle \ | f \ | _ {\ alpha, \ beta} = \ | x ^ {\ alpha} D ^ {\ beta} f \ | _ {\ infty}}![{\ displaystyle \ | f \ | _ {\ alpha, \ beta} = \ | x ^ {\ alpha} D ^ {\ beta} f \ | _ {\ infty}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47be6debd18487c5da78e84e997fb0363c705af8)
hvor er rækkefølge afledt af f . Derefter kan Schwartz-rummet beskrives som
Dβf{\ displaystyle D ^ {\ beta} f}
β{\ displaystyle \ beta}![\ beta](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed48a5e36207156fb792fa79d29925d2f7901e8)
S(RIKKE)={f∈VS∞(RIKKE)∣∀(a,β) ‖f‖a,β<+∞}{\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N}) = \ {f \ in {\ mathcal {C}} ^ {\ infty} (\ mathbb {R} ^ {N}) \ mid \ forall (\ alpha, \ beta) \ \ | f \ | _ {\ alpha, \ beta} <+ \ infty \}}![{\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N}) = \ {f \ in {\ mathcal {C}} ^ {\ infty} (\ mathbb {R} ^ {N}) \ mid \ forall (\ alpha, \ beta) \ \ | f \ | _ {\ alpha, \ beta} <+ \ infty \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44337eccd3e38b1807eb517bec052957afda6446)
.
Hvis der ikke er tvetydighed, kan rummet simpelthen repræsenteres af bogstavet .
S{\ displaystyle {\ mathcal {S}}}![{\ mathcal {S}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2302a18e269dbecc43c57c0c2aced3bfae15278d)
Ejendomme
Topologi
Schwartz-rummet kan forsynes med en topologi, den indledende topologi forbundet med familien af semi-normer , svarende til den, der er forbundet med filtreringsfamilien af semi-normer defineret af:
(‖.‖a,β)a,β∈IKKEIKKE{\ displaystyle (\ |. \ | _ {\ alpha, \ beta}) _ {\ alpha, \ beta \ in \ mathbb {N} ^ {N}}}
(IKKEs)s∈IKKE{\ displaystyle ({\ mathcal {N}} _ {p}) _ {p \ in \ mathbb {N}}}![({\ mathcal {N}} _ {p}) _ {{p \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97d839be1b8110eb059baed027546a9152c0e82b)
IKKEs(.)=∑|a|,|β|≤s‖.‖a,β,s∈IKKE.{\ displaystyle {\ mathcal {N}} _ {p} (.) = \ sum _ {| \ alpha |, | \ beta | \ leq p} \ |. \ | _ {\ alpha, \ beta}, \ , p \ in \ mathbb {N}.}![{\ mathcal {N}} _ {p} (.) = \ sum _ {{| \ alpha |, | \ beta | \ leq p}} \ |. \ | _ {{\ alpha, \ beta}}, \, p \ i \ mathbb {N}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/615b9c09d14433fc367549c7ac3f0ebebe841fa1)
Schwartz-rummet er, forsynet med denne topologi, et Fréchet-rum . At være defineret af en tællelig filtreringsfamilie af semi-normer, er det faktisk et lokalt konveks , adskilt , metriserbart rum , og det vises også, at det er komplet .
Den konvergens af en sekvens af defineres derfor som følger. En række af funktioner konvergerer til en hvis og hvis funktion
S{\ displaystyle {\ mathcal {S}}}
(ϕikke)ikke∈IKKE{\ displaystyle (\ phi _ {n}) _ {n \ in \ mathbb {N}}}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
ϕ{\ displaystyle \ phi}
ϕ∈S(RIKKE){\ displaystyle \ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N})}![\ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/a118f3f075cb655e7f632119b8e997672860a90c)
∀s∈IKKElimikke→∞IKKEs(ϕikke-ϕ)=0.{\ displaystyle \ forall p \ in \ mathbb {N} \ quad \ lim _ {n \ to \ infty} {\ mathcal {N}} _ {p} (\ phi _ {n} - \ phi) = 0. }![\ forall p \ in \ mathbb {N} \ quad \ lim _ {{n \ to \ infty}} {\ mathcal {N}} _ {p} (\ phi _ {n} - \ phi) = 0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/3415aeeceb67a3eb46f0d2709fe5658c407d8b42)
Dens topologiske dualitet er rummet for tempererede fordelingerS′{\ displaystyle {\ mathcal {S}} '}
.
Eksempler
- Rummet indeholder pladsen til funktionerne C ∞ med kompakt støtte . Dette rum, også bemærket , er tæt i betydningen af den (stærke) konvergens defineret ovenfor.S{\ displaystyle {\ mathcal {S}}}
D{\ displaystyle {\ mathcal {D}}}
VSvs.∞(RIKKE){\ displaystyle C_ {c} ^ {\ infty} (\ mathbb {R} ^ {N})}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}![{\ mathcal {S}} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/66295cd005e3113401f303e7b9041eb803dd8270)
- Det indeholder også andre elementer som funktionerne i produktformen af et polynom og en gaussisk:
x↦xae-på‖x‖2∈S{\ displaystyle x \ mapsto x ^ {\ alpha} e ^ {- a \ | x \ | ^ {2}} \ i {\ mathcal {S}}}![x \ mapsto x ^ {\ alpha} e ^ {{- a \ | x \ | ^ {2}}} \ i {\ mathcal {S}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6a9cb454b9069cb09a2d331e1671f2a9ef34288)
til ethvert multiindeks α og ethvert ægte .
på>0{\ displaystyle a> 0}![a> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f34a80ea013edb56e340b19550430a8b6dfd7b9)
- Rummet er en vektor underrum af de forskellige rum L p for 1 ≤ p ≤ + ∞ . Det er desuden tæt i hvert af disse sæt undtagen L ∞ .S{\ displaystyle {\ mathcal {S}}}
![{\ mathcal {S}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2302a18e269dbecc43c57c0c2aced3bfae15278d)
Schwartz rumoperationer
- Rummet er stabilt ved intern tilføjelse og ved afledning, og disse operationer definerer kontinuerlige operatører.S{\ displaystyle {\ mathcal {S}}}
![{\ mathcal {S}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2302a18e269dbecc43c57c0c2aced3bfae15278d)
- Rummet er stabilt ved intern multiplikation eller endog ved multiplikation med en hvilken som helst funktion af. Især er det stabil ved multiplikation med en polynomfunktion. For enhver funktion af er operatøren defineret af kontinuerlig i sig selv.S{\ displaystyle {\ mathcal {S}}}
OM(RIKKE).{\ displaystyle {\ mathcal {O}} _ {M} (\ mathbb {R} ^ {N}).}
f{\ displaystyle f}
OM(RIKKE){\ displaystyle {\ mathcal {O}} _ {M} (\ mathbb {R} ^ {N})}
ϕ↦fϕ{\ displaystyle \ phi \ mapsto f \ phi}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}![{\ mathcal {S}} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/66295cd005e3113401f303e7b9041eb803dd8270)
Multiplikatorer af :
S{\ displaystyle {\ mathcal {S}}}
Vi definerer multiplikatorrummet som delmængde af funktionerne, hvis alle derivater har polynomvækst, dvs.
OM(RIKKE){\ displaystyle {\ mathcal {O}} _ {M} (\ mathbb {R} ^ {N})}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
VS∞(RIKKE){\ displaystyle {\ mathcal {C}} ^ {\ infty} (\ mathbb {R} ^ {N})}![{\ mathcal {C}} ^ {\ infty} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4bebafb9daa57278100fd3da6070b80edaed675)
∀a∈(IKKEIKKE)∃VSa>0,∃IKKEa∈IKKE∀x∈RIKKE|(∂af)(x)|≤VSa(1+|x|)IKKEa.{\ displaystyle \ forall \ alpha \ in (\ mathbb {N} ^ {N}) \ quad \ exist C _ {\ alpha}> 0, \ exist N _ {\ alpha} \ in \ mathbb {N} \ quad \ forall x \ in \ mathbb {R} ^ {N} \ quad | (\ partial ^ {\ alpha} f) (x) | \ leq C _ {\ alpha} (1+ | x |) ^ {N _ {\ alpha}}.}![\ forall \ alpha \ in (\ mathbb {N} ^ {N}) \ quad \ eksisterer C _ {\ alpha}> 0, \ eksisterer N _ {\ alpha} \ i \ mathbb {N} \ quad \ forall x \ in \ mathbb {R} ^ {N} \ quad | (\ partial ^ {\ alpha} f) (x) | \ leq C _ {\ alpha} (1+ | x |) ^ {{N _ {\ alfa}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa3a307dfbee6948cdcb76c1a172fe230d152282)
Vi kalder rummet med langsomt voksende funktioner på ubestemt tid.
OM(RIKKE){\ displaystyle {\ mathcal {O}} _ {M} (\ mathbb {R} ^ {N})}![{\ mathcal {O}} _ {M} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d6eb6b4e6364969e886d3a5a43ff622252f0f0c)
- Den Fourier transformation inducerer en topologisk automorfi af . Denne automorfisme er givet afS{\ displaystyle {\ mathcal {S}}}
F{\ displaystyle {\ mathcal {F}}}
(Ff)(ξ)=∫RIKKEf(x)e-2jegπξxdx{\ displaystyle \ left ({\ mathcal {F}} f \ right) \ left (\ xi \ right) = \ int _ {\ mathbb {R} ^ {N}} f (x) {\ rm {e} } ^ {- 2 {\ rm {i}} \ pi \ xi x} {\ rm {d}} x}
hvor den inverse automorfisme er givet afξx=∑k=1IKKEξkxk.{\ displaystyle \ xi x = \ sum _ {k = 1} ^ {N} \ xi _ {k} x_ {k}.}
F¯,{\ displaystyle {\ mathcal {\ bar {F}}},}
(F¯f)(ξ)=∫RIKKEf(x)e2jegπξxdx.{\ displaystyle \ left ({\ mathcal {\ bar {F}}} f \ right) \ left (\ xi \ right) = \ int _ {\ mathbb {R} ^ {N}} f (x) {\ rm {e}} ^ {2 {\ rm {i}} \ pi \ xi x} {\ rm {d}} x.}
Den Plancherel-Parseval teoremet siger, at hvis vi udstyre den prehilbertian struktur induceret af Fouriertransformationen er en enhed operatør af i sig selv.S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
L2(RIKKE)⊃S(RIKKE),{\ displaystyle L ^ {2} (\ mathbb {R} ^ {N}) \ supset {\ mathcal {S}} (\ mathbb {R} ^ {N}),}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}![{\ mathcal {S}} (\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/66295cd005e3113401f303e7b9041eb803dd8270)
- Schwartz-klassen er absorberende til opløsningsproduktet medE′{\ displaystyle {\ mathcal {E}} '}
: til enhver distribution med kompakt understøtning og Schwartz-funktion, vi harT∈E′(RIKKE){\ displaystyle T \ i {\ mathcal {E}} '(\ mathbb {R} ^ {N})}
ϕ∈S(RIKKE),{\ displaystyle \ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N}),}![\ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N}),](https://wikimedia.org/api/rest_v1/media/math/render/svg/7efaf5aa972a572915458cd24c14a0469cd49ef9)
T∗ϕ∈S(RIKKE).{\ displaystyle T \ ast \ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N}).}![T \ ast \ phi \ i {\ mathcal {S}} (\ mathbb {R} ^ {N}).](https://wikimedia.org/api/rest_v1/media/math/render/svg/70ad41099ebe6ed4082c307dc50acd7577e1a5bb)
- Mere generelt betegner vi sættet med viklere af det vil sige sættet af fordelinger , som sendes kontinuerligt i Dette sæt er et vektorunderrum af (det vil sige rummet for hærdede fordelinger ), der indeholder fordelingerne med kompakt understøtning og de lokalt integrerede hurtige henfaldsfunktioner. Derfor kalder vi rummet for hurtigt faldende fordelinger. Udstyret med kollisionsproduktet er derudover en associerende , kommutativ og samlet algebra, på hvilken og er enhedsmoduler .Ovs.′(RIKKE){\ displaystyle {\ mathcal {O}} _ {c} ^ {\ prime} (\ mathbb {R} ^ {N})}
S(RIKKE),{\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N}),}
T∈D′(RIKKE){\ displaystyle T \ i {\ mathcal {D}} '(\ mathbb {R} ^ {N})}
g↦g∗T{\ displaystyle g \ mapsto g \ ast T}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
S(RIKKE).{\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N}).}
S′(RIKKE){\ displaystyle {\ mathcal {S}} '(\ mathbb {R} ^ {N})}
Ovs.′(RIKKE){\ displaystyle {\ mathcal {O}} _ {c} ^ {\ prime} (\ mathbb {R} ^ {N})}
Ovs.′(RIKKE){\ displaystyle {\ mathcal {O}} _ {c} ^ {\ prime} (\ mathbb {R} ^ {N})}
S(RIKKE){\ displaystyle {\ mathcal {S}} (\ mathbb {R} ^ {N})}
S′(RIKKE){\ displaystyle {\ mathcal {S}} '(\ mathbb {R} ^ {N})}![{\ mathcal {S}} '(\ mathbb {R} ^ {N})](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b3548a5f417c371f00801eb7cd243b89ceda7f5)
Noter og referencer
Bemærk
Referencer
- (en) Harish-Chandra , “ Diskret serie til semisimple løgngrupper. II. Eksplicit bestemmelse af tegnene ” , Acta Math. , Vol. 116,1966, s. 1-111
- L. Schwartz , " Distributionsteori og Fourier-transformation ", Annales de l ' Université de Grenoble , bind. 23, 1947-1948, s. 7-24 ( læs online )
- Laurent Schwartz , distributionsteorien , Paris, Hermann,1966, 418 s. ( ISBN 2-7056-5551-4 )
-
[PDF] F. Golse , fordelinger, Fourier-analyse, delvise differentialligninger , École polytechnique, 2012, kursuddeling
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">