General form of the finite Hankel transform Forma general ... - SciELO
General form of the finite Hankel transform Forma general ... - SciELO
General form of the finite Hankel transform Forma general ... - SciELO
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Forma</strong> <strong>general</strong> de la trans<strong>form</strong>ada finita de <strong>Hankel</strong> 71<br />
Sean M y N los operadores de contorno definidos<br />
por<br />
Mf a f( a) a f( a), Nf b f( b) b f( b) (2)<br />
1 2<br />
1 2<br />
donde a 1<br />
, a 2<br />
, b 1<br />
y b 2<br />
son constantes conocidas tales<br />
que al menos una de a 1<br />
y a 2<br />
y al menos una de<br />
b 1<br />
y b 2<br />
es distinta de cero.<br />
Se demuestra que si n y Kn ( x)son los valores<br />
propios y las funciones propias del problema<br />
de Sturm-Liouville [4]<br />
( L )<br />
K 0 , MK<br />
NK<br />
0 (3)<br />
entonces la trans<strong>form</strong>ada finita definida por<br />
<br />
<br />
b<br />
T f( x); n f( n) p( x) K ( x) f( x)<br />
dx (4)<br />
a<br />
tiene la propiedad que si f( x) C 1 [ a, b]<br />
, entonces<br />
<br />
<br />
T Lf( x); n f( n)<br />
Mf Nf<br />
(5)<br />
donde<br />
n n n<br />
<br />
1<br />
a2<br />
q( a) Kn( a), ( a2<br />
<br />
0)<br />
n 1<br />
a q( a) K<br />
( a), ( a 0)<br />
y<br />
n<br />
T 1<br />
1<br />
n<br />
1<br />
b2<br />
q( b) K ( b), ( b2<br />
0)<br />
<br />
1<br />
b q( b) K ( b), ( b 0)<br />
<br />
donde<br />
1<br />
n<br />
n<br />
2<br />
n<br />
2<br />
(6)<br />
(7)<br />
La fórmula de inversión correspondiente es<br />
f( n) Kn( x)<br />
f( n); x<br />
fx)<br />
<br />
2<br />
n1<br />
K ( x)<br />
<br />
n<br />
(8)<br />
K ( x) p( x) K ( x)<br />
dx<br />
(9)<br />
n<br />
2<br />
b<br />
2<br />
n<br />
a<br />
Trans<strong>form</strong>ada finita de <strong>Hankel</strong><br />
en el intervalo [a, b]<br />
Las trans<strong>form</strong>adas de <strong>Hankel</strong> [17] corresponden<br />
al operador lineal<br />
2<br />
d 1 d <br />
L <br />
<br />
2<br />
<br />
dx x dx x<br />
2<br />
2<br />
(10)<br />
el cual es de la <strong>form</strong>a (1) con<br />
px ( ) x, qx ( ) x, r( x) 2 2<br />
(11)<br />
x<br />
Tomando <br />
2 , el problema de Sturm-<br />
Liouville (3) queda con<strong>form</strong>ado por la ecuación de<br />
Bessel [12, 19]<br />
2<br />
d K( x) 1 dK( x ) <br />
2<br />
2<br />
<br />
<br />
dx x dx x<br />
2<br />
2<br />
<br />
Kx<br />
( ) 0<br />
<br />
(12)<br />
en el intervalo [ ab, , ] donde 0 a b, junto con<br />
las condiciones de contorno<br />
aKa ( ) aKa ( ) , bKb ( ) bK( b)<br />
(13)<br />
1 2<br />
0<br />
1 2<br />
0<br />
Se deduce [14] que los valores propios n<br />
( n 123 , , , ) de este problema son las raíces positivas<br />
de la ecuación trascendente<br />
<br />
<br />
<br />
2<br />
a b J ( b) Y ( a) J ( a) Y ( b)<br />
1 1 <br />
<br />
<br />
<br />
<br />
a1b2 J( b) Y( a) J( a) Y ( b)<br />
<br />
a2b1 J( b) Y ( a) J( a) Y( b)<br />
<br />
a b J( b) Y( a) J( a) Y( b) 0 (14)<br />
2 2<br />
<br />
y las funciones propias correspondientes vienen<br />
dadas por<br />
<br />
<br />
K ( x) a Y ( a) a Y( a) J ( x)<br />
<br />
<br />
<br />
n 1 n 2 n n n<br />
aJ ( a) a J ( a) Y( x)<br />
(15)<br />
1 n 2 n n n<br />
De acuerdo con (4), se define la <strong>form</strong>a <strong>general</strong><br />
de la trans<strong>form</strong>ada finita de <strong>Hankel</strong> en el intervalo<br />
[a, b] por<br />
<br />
<br />
h f( x); n f ( n)<br />
<br />
b<br />
<br />
a<br />
<br />
<br />
<br />
x a Y ( a) a Y( a) J ( x)<br />
<br />
1 n 2 n n <br />
<br />
aJ ( a) a J ( a) Y( x) f( xdx ) (16)<br />
1 n 2 n n n<br />
Usando (5), se tiene que<br />
2<br />
<br />
( ); <br />
n ( ) n 1<br />
( )<br />
2<br />
( )<br />
<br />
<br />
h f x n f n a f a a f a <br />
<br />
donde<br />
n b f( b) b f ( b)<br />
(17)<br />
1 2<br />
n<br />
Rev. Téc. Ing. Univ. Zulia. Vol. 31, Edición Especial, 2008