Definiciones La definición más común es como una función por partes: tri ( incógnita ) = Λ ( incógnita ) = definición máximo ( 1 − | incógnita | , 0 ) = { 1 − | incógnita | , | incógnita | < 1 ; 0 de lo contrario . {\displaystyle {\begin{aligned}\operatorname {tri} (x)=\Lambda (x)\ &{\overset {\underset {\text{def}}{}}{=}}\ \max {\big (}1-|x|,0{\big )}\\&={\begin{cases}1-|x|,&|x|<1;\\0&{\text{en otro caso}}.\\\end{cases}}\end{aligned}}}
De forma equivalente, puede definirse como la convolución de dos funciones rectangulares unitarias idénticas :
tri ( incógnita ) = recto ( incógnita ) ∗ recto ( incógnita ) = ∫ − ∞ ∞ recto ( incógnita − τ ) ⋅ recto ( τ ) d τ . {\displaystyle {\begin{aligned}\operatorname {tri} (x)&=\operatorname {rect} (x)*\operatorname {rect} (x)\\&=\int _{-\infty }^{\infty }\operatorname {rect} (x-\tau )\cdot \operatorname {rect} (\tau )\,d\tau .\\\end{aligned}}}
La función triangular también puede representarse como el producto de las funciones rectangular y de valor absoluto :
tri ( incógnita ) = recto ( incógnita / 2 ) ( 1 − | incógnita | ) . {\displaystyle \operatorname {tri} (x)=\operatorname {rect} (x/2){\big (}1-|x|{\big )}.}
Función triangular alternativa Tenga en cuenta que algunos autores definen la función triangular con una base de ancho 1 en lugar de ancho 2:
tri ( 2 incógnita ) = Λ ( 2 incógnita ) = definición máximo ( 1 − 2 | incógnita | , 0 ) = { 1 − 2 | incógnita | , | incógnita | < 1 2 ; 0 de lo contrario . {\displaystyle {\begin{aligned}\operatorname {tri} (2x)=\Lambda (2x)\ &{\overset {\underset {\text{def}}{}}{=}}\ \max {\big (}1-2|x|,0{\big )}\\&={\begin{cases}1-2|x|,&|x|<{\tfrac {1}{2}};\\0&{\text{en otro caso}}.\\\end{cases}}\end{aligned}}}
En su forma más general, una función triangular es cualquier B-spline lineal : [ 1 ]
tri j ( incógnita ) = { ( incógnita − incógnita j − 1 ) / ( incógnita j − incógnita j − 1 ) , incógnita j − 1 ≤ incógnita < incógnita j ; ( incógnita j + 1 − incógnita ) / ( incógnita j + 1 − incógnita j ) , incógnita j ≤ incógnita < incógnita j + 1 ; 0 de lo contrario . {\displaystyle \operatorname {tri} _{j}(x)={\begin{cases}(x-x_{j-1})/(x_{j}-x_{j-1}),&x_{j-1}\leq x<x_{j};\\(x_{j+1}-x)/(x_{j+1}-x_{j}),&x_{j}\leq x<x_{j+1};\\0&{\text{en otro caso}}.\end{cases}}}
Mientras que la definición de arriba es un caso especial
Λ ( incógnita ) = tri j ( incógnita ) , {\displaystyle \Lambda (x)=\operatorname {tri} _{j}(x),}
dóndeincógnita j − 1 = − 1 {\displaystyle x_{j-1}=-1} ,incógnita j = 0 {\displaystyle x_{j}=0} , yincógnita j + 1 = 1 {\displaystyle x_{j+1}=1} .
Una B-spline lineal es lo mismo que una función lineal por partes continua. F ( incógnita ) {\displaystyle f(x)} y esta función triangular general es útil para definir formalmenteF ( incógnita ) {\displaystyle f(x)} como
F ( incógnita ) = ∑ j y j ⋅ tri j ( incógnita ) , {\displaystyle f(x)=\sum _{j}y_{j}\cdot \operatorname {tri} _{j}(x),}
dóndeincógnita j < incógnita j + 1 {\displaystyle x_{j}<x_{j+1}} para todos los enterosj {\displaystyle j} La función lineal por partes pasa por cada punto expresado como coordenadas con par ordenado . ( incógnita j , y j ) {\displaystyle (x_{j},y_{j})} , eso es,
F ( incógnita j ) = y j . {\displaystyle f(x_{j})=y_{j}.}
Escalada Para cualquier parámetroa ≠ 0 {\displaystyle a\neq 0} :
tri ( t a ) = 1 a recto ( t a ) ∗ 1 a recto ( t a ) = ∫ − ∞ ∞ 1 | a | recto ( τ a ) ⋅ recto ( t − τ a ) d τ = { 1 − | t / a | , | t | < | a | ; 0 de lo contrario . {\displaystyle {\begin{aligned}\operatorname {tri} \left({\tfrac {t}{a}}\right)&={\tfrac {1}{\sqrt {a}}}\operatorname {rect} \left({\tfrac {t}{a}}\right)*{\tfrac {1}{\sqrt {a}}}\operatorname {rect} \left({\tfrac {t}{a}}\right)\\[1ex]&=\int _{-\infty }^{\infty }{\tfrac {1}{|a|}}\operatorname {rect} \left({\tfrac {\tau }{a}}\right)\cdot \operatorname {rect} \left({\tfrac {t-\tau }{a}}\right)\,d\tau \\&={\begin{cases}1-|t/a|,&|t|<|a|;\\0&{\text{otherwise}}.\end{cases}}\end{aligned}}}
La transformada se determina fácilmente utilizando la propiedad de convolución de las transformadas de Fourier y la transformada de Fourier de la función rectangular :
F { tri ( t ) } = F { recto ( t ) ∗ recto ( t ) } = F { recto ( t ) } ⋅ F { recto ( t ) } = F { recto ( t ) } 2 = s i norte do 2 ( F ) , {\displaystyle {\begin{aligned}{\mathcal {F}}\{\operatorname {tri} (t)\}&={\mathcal {F}}\{\operatorname {rect} (t)*\operatorname {rect} (t)\}\\&={\mathcal {F}}\{\operatorname {rect} (t)\}\cdot {\mathcal {F}}\{\operatorname {rect} (t)\}\\&={\mathcal {F}}\{\operatorname {rect} (t)\}^{2}\\&=\mathrm {sinc} ^{2}(f),\end{aligned}}} dóndedesde ( incógnita ) = pecado ( π incógnita ) / ( π incógnita ) {\displaystyle \operatorname {sinc} (x)=\sin(\pi x)/(\pi x)} es la función sinc normalizada .
Para la forma general, tenemos:
F { tri ( t a ) } = F { 1 a recto ( t a ) ∗ 1 a recto ( t a ) } = 1 a F { recto ( t a ) } ⋅ F { recto ( t a ) } = 1 a F { recto ( t a ) } 2 = 1 a a 2 s i norte do 2 ( a ⋅ F ) = a s i norte do 2 ( a ⋅ F ) . {\displaystyle {\begin{aligned}{\mathcal {F}}\{\operatorname {tri} \left({\tfrac {t}{a}}\right)\}&={\mathcal {F}}\left\{{\tfrac {1}{\sqrt {a}}}\operatorname {rect} \left({\tfrac {t}{a}}\right)*{\tfrac {1}{\sqrt {a}}}\operatorname {rect} \left({\tfrac {t}{a}}\right)\right\}\\&={\tfrac {1}{a}}\ {\mathcal {F}}\left\{\operatorname {rect} \left({\tfrac {t}{a}}\right)\right\}\cdot {\mathcal {F}}\left\{\operatorname {rect} \left({\tfrac {t}{a}}\right)\right\}\\&={\tfrac {1}{a}}\ {\mathcal {F}}\left\{\operatorname {rect} \left({\tfrac {t}{a}}\right)\right\}^{2}\\&={\tfrac {1}{a}}\ {a}^{2}\ \mathrm {sinc} ^{2}(a\cdot f)={a}\ \mathrm {sinc} ^{2}(a\cdot f).\end{aligned}}}
Referencias ↑ "Basic properties of splines and B-splines"(PDF) . INF-MAT5340 Lecture Notes . p. 38.