Funcions ortogonals
En matemàtiques, les funcions ortogonals pertanyen a un espai funcional que és un espai vectorial equipat amb una forma bilineal. Quan l'espai de funcions té un interval com a domini, la forma bilineal pot ser la integral del producte de funcions sobre l'interval: [1]
Les funcions i són ortogonals quan aquesta integral és zero, és a dir sempre que . Igual que amb una base de vectors en un espai de dimensions finites, les funcions ortogonals poden formar una base infinita per a un espai de funcions. Conceptualment, la integral anterior és l'equivalent d'un producte escalat vectorial; dos vectors són mútuament independents (ortogonals) si el seu producte escalat és zero.
Suposem és una seqüència de funcions ortogonals de L2-normes diferents de zero . Es dedueix que la seqüència és de funcions de L2-norma una, formant una seqüència ortonormal. Per tenir una norma L 2 definida, la integral ha d'estar acotada, cosa que restringeix les funcions a ser integrables al quadrat.[2][3][4]
Funcions trigonomètriques
[modifica]Diversos conjunts de funcions ortogonals s'han convertit en bases estàndard per aproximar funcions. Per exemple, les funcions sinus sin nx i sin mx són ortogonals a l'interval Quan i n i m són nombres enters positius. Llavors
i la integral del producte de les dues funcions sinus s'esvaeix. Juntament amb les funcions cosinus, aquestes funcions ortogonals es poden reunir en un polinomi trigonomètric per aproximar una funció donada en l'interval amb la seva sèrie de Fourier.
Polinomis
[modifica]Si es comença amb la seqüència monomial a l'interval i s'aplica el procés de Gram-Schmidt, després s'obtenen els polinomis de Legendre. Una altra col·lecció de polinomis ortogonals són els polinomis de Legendre associats.
L'estudi de polinomis ortogonals implica funcions de pes que s'insereixen en forma bilineal:
Per als polinomis de Laguerre activats la funció de pes és .
Tant els físics com els teòrics de probabilitats utilitzen polinomis d'Hermite , on és la funció de pes o .
Els polinomis de Chebyshev es defineixen i utilitzar pesos o .
Els polinomis de Zernike es defineixen al disc unitari i tenen ortogonalitat tant de parts radials com angulars.
Referències
[modifica]- ↑ «Orthogonal Functions» (en anglès). [Consulta: 25 febrer 2024].
- ↑ «What does it mean when two functions are "orthogonal", why is it important?» (en anglès). [Consulta: 25 febrer 2024].
- ↑ «Orthogonal Functions & Orthonormal» (en anglès). [Consulta: 25 febrer 2024].
- ↑ Weisstein, Eric W. «Orthogonal Functions» (en anglès). [Consulta: 25 febrer 2024].