Sincfüggvény

A sincfüggvény, sinus cardialis, kardinális szinusz vagy szi-függvény egy valós analitikus függvény. A kardinális szinusz elnevezés Philip M. Woodwardtól származik 1953-ból.^[1]^[2]^[3] A szakirodalomban az elnevezések nem egységesek, különösen angol nyelvű könyvekben sinc néven hivatkoznak mind a normált, mind a nem normált sincfüggvényre. A német szakirodalom megkülönbözteti a kettőt, a nem normált:^[4]

\operatorname {si} (x)={\frac {\sin(x)}{x}}

és a normált:

\operatorname {sinc} (x)={\frac {\sin(\pi x)}{\pi x}}

Mindkét esetben a 0 helyen a függvény értékét 1-nek definiáljuk (megszüntethető szingularitás megszüntetése).

Különféle alkalmazásokban, mint az információelméletben, a digitális jelfeldolgozásban, inkább a normált sincfüggvényt használják.

Tulajdonságai

A si függvény szélsőértékei ott vannak, ahol a függvény értéke megegyezik a koszinusszal. si (x) = sin (x) / x pirossal, cos (x) kékkel

A sincfüggvénynek megszüntethető szingularitása van a 0 helyen, ahol határértéke $\operatorname {si} (0)=1$ illetve $\operatorname {sinc} (0)=1$ . Ez belátható a L’Hôpital-szabály alkalmazásával. Ezt figyelembe véve néha a definícióba is befoglalják a szingularitás megszüntetését.

Programcsomagok, mint a Matlab a normalizált sincfüggvényt tartalmazzák, ami kifejezhető szorzatként és a gamma-függvénnyel is:

{\frac {\sin(\pi x)}{\pi x}}=\prod _{n=1}^{\infty }\left(1-{\frac {x^{2}}{n^{2}}}\right)={\frac {1}{\Gamma (1+x)\Gamma (1-x)}}

A $\operatorname {si}$ -függvény Taylor-sora levezethető a szinuszfüggvény Taylor-sorából:

{\frac {\sin(x)}{x}}=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n}}{(2n+1)!}}=1-{\frac {x^{2}}{6}}+{\frac {x^{4}}{120}}\mp \cdots

A $j_{0}$ elsőfajú szferikus függvény azonosan megegyezik a $\operatorname {si}$ -függvénnyel:

j_{0}(x)={\frac {\sin(x)}{x}}

A sincfüggvények nullhelyei:

\operatorname {si} (x)={\frac {\sin(x)}{x}}=0

minden

\ x\in \{n\pi \ |\ n\in \{\pm 1,\pm 2,\dots \}\}

esetén

\operatorname {sinc} (x)={\frac {\sin(\pi x)}{\pi x}}=0

minden

\ x\in \{\pm 1,\pm 2,\dots \}

esetén

A $\operatorname {si}$ függvény pozitív szélsőértékhelyei $x_{n},n\geq 1$ jó közelítéssel:

x_{n}\approx (n+{\tfrac {1}{2}})\pi -{\frac {1}{(n+{\frac {1}{2}})\pi }}

ahol páratlan $n$ esetén helyi minimum, páros $n$ esetén helyi maximum van. Az első szélsőértékhelyre a közelítés hibája jóval kisebb, mint 1/100. Mindkét függvény páros (két páratlan függvény hányadosa), a negatív szélsőértékhelyek a pozitívok tükörképei. A függvényeknek abszolút maximumuk van az x = 0 helyen.

si(x) = sin(x)/x maximum- és minimumhelyei
Maximumhely	Minimumhely
0
	≈ 4,4934095 ≈ 1½π − 0,219284
≈ 7,7252518 ≈ 2½π − 0,12873
	≈ 10,904122 ≈ 3½π − 0,091452
≈ 14,066194 ≈ 4½π − 0,070973
	≈ 17,220755 ≈ 5½π − 0,057989
≈ 20,371303 ≈ 6½π − 0,049049
	≈ 23,519452 ≈ 7½π − 0,042493
≈ 26,666054 ≈ 8½π − 0,042998
	≈ 29,811599 ≈ 9½π − 0,033531
≈ 32,956389 ≈ 10½π − 0,030334
	≈ 36,100622 ≈ 11½π − 0,0276935
≈ 39,244432 ≈ 12½π − 0,025476
	⋯
⋯
	≈ (2n−½)·π − ((2n−½)·π)⁻¹
≈ (2n+½)·π − ((2n+½)·π)⁻¹

Az

\mathrm {si} (x)={\frac {\sin(x)}{x}}

függvény

n

-edik deriváltja

minden $x\neq 0$ esetén analitikusan meghatározható:

{\frac {\mathrm {d} ^{n}\operatorname {si} (x)}{\mathrm {d} \,x^{n}}}=\sum _{m=0}^{n}{\frac {n!}{m!}}(-1)^{n-m}{\frac {\mathrm {d} ^{m}\,\sin \,x}{\mathrm {d} \,x^{m}}}{\frac {1}{x^{n-m+1}}}={\frac {1}{x}}\left({\frac {\mathrm {d} ^{n}\,\sin \,x}{\mathrm {d} \,x^{n}}}-n{\frac {\mathrm {d} ^{n-1}\operatorname {si} (x)}{\mathrm {d} \,x^{n-1}}}\right)

Innen az első két derivált:

{\frac {\mathrm {d} \,\operatorname {si} (x)}{\mathrm {d} \,x}}={\frac {\cos \,x}{x}}-{\frac {\sin \,x}{x^{2}}}

{\frac {\mathrm {d} ^{2}\,\operatorname {si} (x)}{\mathrm {d} \,x^{2}}}=-{\frac {\sin \,x}{x}}-{\frac {2\,\cos \,x}{x^{2}}}+{\frac {2\,\sin \,x}{x^{3}}}

A teljes görbe alatti terület

\int _{-\infty }^{\infty }\mathrm {si} (x)\ dx=\pi

illetve

\int _{-\infty }^{\infty }\mathrm {sinc} (x)\ dx=1

.

A sincfüggvény a négyszögfüggvény Fourier-transzformáltja:

\operatorname {rect} \left({\frac {t}{\tau }}\right)=\chi _{[-\tau /2,\tau /2]}(t):={\begin{cases}1&|t|\leq \tau /2\\0&{\text{ellenkező esetben}}\end{cases}}

mivel

{\mathcal {F}}(\chi _{[-\tau /2,\tau /2]})(\omega )={\frac {1}{\sqrt {2\pi }}}\int \limits _{-\tau /2}^{\tau /2}e^{-\mathrm {i} \omega t}\,\mathrm {d} t={\frac {1}{\sqrt {2\pi }}}\,\tau \,\operatorname {si} \left({\frac {\omega \tau }{2}}\right)

.

További hasznos tulajdonság, hogy a normalizált függvény zérushelyei egészek.

A normalizált függvény a négyszögfüggvény Fourier-transzformáltja arányosítás nélkül. Ez a függvény alapvető jelentőségű a folytonos sávhatárolt jelek visszaállításnál, egyenletes eloszlású mintavétel mellett.

A két definíció között csak az a különbség, hogy a független változó egy π-szeres szorzóban különbözik. A sincfüggvény mindenhol analitikus.

A Fourier-transzformáció tulajdonságaiból következik, hogy a sincfüggvény analitikus, így tetszőlegesen sokszor differenciálható. A Fourier-transzformáció miatt következik a Plancherel-identitás, emiatt ortogonális a $\pi$ egész számszorosaival vett eltoltaira, teljesül, hogy

\langle \mathrm {si} (x-k\pi ),\,\mathrm {si} (x-l\pi )\rangle ={\frac {\pi }{2}}\int _{-1}^{1}e^{-\mathrm {i} (l-k)\pi t}\,\mathrm {d} t=\pi \mathrm {si} ((l-k)\pi )=\pi \delta _{l,k}

,

ahol $\delta _{l,k}$ a Kronecker-delta.

Megfelelő normálással az eltoltak ortonormált bázist alkotnak az $L^{2}(\mathbb {R} )$ térben. A sinc(x−kπ) által kifeszített altérre vett projekció

P(f)(x)={\frac {1}{\pi }}\sum _{k=-\infty }^{\infty }\langle f(t),\,\mathrm {si} (t-k\pi )\rangle \;\mathrm {si} (x-k\pi )

.

Az interpolációs tulajdonság miatt

P(f)(n\pi )={\frac {1}{\pi }}\langle f(t),\,\mathrm {si} (t-n\pi )\rangle \;

tehát

P(f)(x)=\sum _{k=-\infty }^{\infty }P(f)(k\pi )\;\mathrm {si} (x-k\pi )

.

Ebben az altérben a függvényeket egyértelműen meghatározzák az $\{k\pi :k\in \mathbb {Z} \}$ helyeken felvett értékeik.

A négyszögfüggvény tartója korlátos, tehát eltoltjainak lineáris kombinációi is sávkorlátozottak. Megfordítva, minden sávkorlátozott függvény előáll ilyen lineáris kombinációként, emiatt a nevezett helyeken felvett értékeik egyértelműen meghatározzák őket. Ez Nyquist-Shannon mintavételezési tétele.

Alkalmazások

Digitális jelfeldolgozás

A sincfüggvény fő alkalmazása a digitális jelfeldolgozás. Megjelenik a mintavételi (vagy kardinális, E. T. Whittaker 1915) sorozatban, amivel egy folytonos, sávkorlátos $x$ jel rekonstruálható a mintavételezett $x(k\Delta t)$ értékből, illetve egy tetszőleges támaszhelysorozat folytonos jelként folytatható:

x(t)=\sum _{k=-\infty }^{\infty }{x(k\Delta t)\cdot \mathrm {sinc} \left({\frac {1}{\Delta t}}(t-k\Delta t)\right)}

Ez a legkisebb oszcillációjú interpolációs képlet. Frekvenciaspektruma korlátozott, és legkisebb lehetséges körfrekvenciája ${\tfrac {\pi }{\Delta t}}$ , illetve frekvenciája ${\tfrac {1}{2\Delta t}}$ . Ha a sávkorlátozottság nem teljesül az $x$ jelre, tehát a kimenő jelnek magas frekvenciájú összetevői is vannak, akkor ez a mintavételezés nem elég sűrű, és a nagyfrekvenciájú összetevők helyett alacsony frekvenciájú összetevők lesznek rekonstruálva. Ez az alias-hatás.

Elhajlás

Hullámok elhajlásakor a frekvenciák elhajlási mintát alkotnak, ami Fourier-transzformációkkal négyszögszerű nyílásfüggvényként magyarázható. Emiatt a sincfüggvényt résfüggvénynek is nevezik. Elhajláskor a szem által közvetített fényerősség a hullám aplitudójának négyzete; innen adódóan $\operatorname {sinc} ^{2}$ .

Prímszámeloszlás és magfizika

A $\textstyle \left({\tfrac {\sin(\pi x)}{\pi x}}\right)^{2}$ függvénykifejezés a fizikában a nehéz atommagok sajátállapotainak energiájának pár-korrelációs eloszlását írja le. A matematikában a Riemann-féle zéta-függvény prímszámokhoz asszociált pár-korreláció eloszlását írja le. Mindkét elméletben közös a véletlen mátrixok elmélete, amit először Freeman Dyson fizikus fejtett ki Hugh Montgomery matematikussal folytatott beszélgetésében 1972-ben.

Hasonló függvények

A sincfüggvény szerkezetéhez hasonló a tanc függvény:

\operatorname {tanc} (x):={\dfrac {\tan(x)}{x}}

amit azonban nem tekintenek kardinális függvénynek.

Története

A sincfüggvényt Phillip Woodward vezette be 1952-ben, egy publikációjában,^[5] melyben azzal indokolta a önálló sincfüggvény bevezetését, hogy az információ elméletben olyan sokszor fordul elő a Fourier-transzformáció, hogy megérdemli ez a függvény, hogy önállóan is szerepeljen a leírásokban.^[6]^[7]^[8] A ‘sinc’ kifejezés a függvény latin nevének az összevonása: sinus cardinalis.^[7]

Jegyzetek

↑ Poynton, Charles A.. Digital video and HDTV. Morgan Kaufmann Publishers, 147. o. (2003). ISBN 1-55860-792-7
↑ Woodward, Phillip M.. Probability and information theory, with applications to radar. London: Pergamon Press, 29. o. (1953). ISBN 0-89006-103-3. OCLC 488749777 .
↑ Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., eds. (2010), "Numerical methods", NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR2723248
↑ Fernando Puente León, Uwe Kiencke, Holger Jäkel. Signale und Systeme, 5., München: Oldenbourg (2011)
↑ Woodward, Philip (1953) Probability and Information Theory, with Applications to Radar McGraw-Hill, New York; Pergamon Press, London, ISBN 0-89006-103-3, EAN: 9780890061039
↑ Woodward, P. M.; Davies, I. L. (March 1952). "Information theory and inverse probability in telecommunication". Proceedings of the IEE - Part III: Radio and Communication Engineering 99 (58): 37–44. doi:10.1049/pi-3.1952.0011.
↑ ^a ^b Poynton, Charles A. (2003). Digital video and HDTV. Morgan Kaufmann Publishers. p. 147. ISBN 1-55860-792-7.
↑ Woodward, Phillip M. (1953). Probability and information theory, with applications to radar. London: Pergamon Press. p. 29. ISBN 0-89006-103-3. OCLC 488749777.

Fordítás

Ez a szócikk részben vagy egészben a Sinc-Funktion című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Irodalom

Simonovits András: Válogatott fejezetek a matematika történetéből. (hely nélkül): Typotex Kiadó. 2009. 109–113. o. ISBN 978-963-279-026-8

Kapcsolódó szócikkek

További információk

Matematikaportál • összefoglaló, színes tartalomajánló lap

[1] Poynton, Charles A.. Digital video and HDTV. Morgan Kaufmann Publishers, 147. o. (2003). ISBN 1-55860-792-7

[2] Woodward, Phillip M.. Probability and information theory, with applications to radar. London: Pergamon Press, 29. o. (1953). ISBN 0-89006-103-3. OCLC 488749777 .

[3] Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., eds. (2010), "Numerical methods", NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR2723248

[4] Fernando Puente León, Uwe Kiencke, Holger Jäkel. Signale und Systeme, 5., München: Oldenbourg (2011)

[5] Woodward, Philip (1953) Probability and Information Theory, with Applications to Radar McGraw-Hill, New York; Pergamon Press, London, ISBN 0-89006-103-3, EAN: 9780890061039

[6] Woodward, P. M.; Davies, I. L. (March 1952). "Information theory and inverse probability in telecommunication". Proceedings of the IEE - Part III: Radio and Communication Engineering 99 (58): 37–44. doi:10.1049/pi-3.1952.0011.

[Poynton,_Charles_A._2003_p._147-7] Poynton, Charles A. (2003). Digital video and HDTV. Morgan Kaufmann Publishers. p. 147. ISBN 1-55860-792-7.

[8] Woodward, Phillip M. (1953). Probability and information theory, with applications to radar. London: Pergamon Press. p. 29. ISBN 0-89006-103-3. OCLC 488749777.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]