1.

Funciones Especiales
1.1. Función Periódica
La función F : R −→ R, se dice que es una función periódica si ∃ T > 0, tal que:

F (t + T ) = F (t), ∀t ∈ R

y al menor número T > 0, que satisface la condición de periodicidad se denomina perı́odo

de la función.

Figura 1: Función Periódica

Si F (t) es una función seccionalmente contı́nua a lo largo de un intervalo de longitud T

y de orden exponencial, entonces su Transformada de Laplace existe y es la Integral de cero
al infinito.

1.2. Teorema
Si F : [0, +∞ >→ R], es una función contı́nua por tramos, de orden exponencial y
periódica con perı́odo T. Entonces:
R T −st
e F (t)dt
L{F (t)} = 0
1 − e−T s

Demostración

Como F (t) es contı́nua por tramos y de orden exponencial entonces ∃ L{F (t)}:
Z +∞ Z T Z 2T Z 3T
−st −st −st
L{F (t)} = e F (t)dt = e F (t)dt + e F (t)dt + e−st F (t)dt + ...
0 0 T 2T

como F (t) es una función periódica con perı́odo T 6= 0, entonces a partir de la segunda
integral se tiene: t = u + T, t = u + 2T, t = u + 3T, ..., entonces:

1
 Z T Z 2T Z 3T
−su −s(u+T )
L{F (t)} = e F (u)du + e F (u + T )du + e−s(u+2T ) F (u + 2T )du+
0 T 2T
Z 4T
+ e−s(u+3T ) F (u + 3T )du + ...
3T
Z T Z T Z T Z T
−su −sp −su −2sp −su −3sp
L{F (t)} = e F (u)du+e e F (u)du+e e F (u)du+e e−su F (u)du+...
0 0 0 0
Z T
L{F (t)} = (1 + e−sp + e−2sp + e−3sp + ...) e−su F (u)du
0
pero se conoce que:
1
= 1 + x + x2 + x3 + ..., para |x| < 1
1−x
entonces podemos afirmar que:
1
= 1 + e−sp + e−2sp + e−3sp + ...
1 − e−sp
De esta manera el la expresión anterior se puede escribir:
Z T
1
L{F (t)} = e−su F (u)du
1 − e−sp 0

RT
0
e−st F (t)dt
∴ L{F (t)} = L.Q.Q.D.
1 − e−T s

1.3. Función Escalón Unidad

A la función .Escalón Unidad”llamada también función unitario de HEAVISIDE es deno-
tada por µ(t − a) = µa (t) y es definida como:

 0 si t < a
µ(t − a) = µa (t) =
1 si t ≥ a


2
 su gráfico es:

Figura 2: Función Heaviside µ(t − a)

cuando a = 0, se tiene:

 0 si t < 0
µ(t − 0) = µ0 (t) =
1 si t ≥ 0


su gráfico es:

Figura 3: Función Heaviside µ(t)

La función µa (t) es contı́nua en [0, +∞], a pesar que µa (t) tiene un punto de discontinui-
dad en x = a, la transformada de laplace de µ(t − a) = µa (t) es:
Z +∞
L{µa (t)} = L{µ(t − a)} = e−st µ(t − a)dt
0
Z a Z +∞
−st
L{µ(t − a)} = e µ(t − a)dt + e−st µ(t − a)dt
0 a
Z +∞
L{µ(t − a)} = 0 + e−st µ(t − a)dt
a
Z +∞
L{µ(t − a)} = e−st µ(t − a)dt
a
+∞
e−st +∞
Z
L{µ(t − a)} = |e−st dt =
para s > 0
a s a
1
L{µ(t − a)} = − [0 − e−st ]
s
e−st
L{µ(t − a)} =
s

3
 OBSERVACIÓN. Toda función F puede ser trasladada 0 a0 unidades a la derecha del
punto a.

En general dada una función F : [a, +∞] → R, se puede trasladar a la derecha, de tal
manera que la función valga cero en el intervalo [0, a] y se redefine la función como:

G(t) = µ(t − a)F (t − a)

OBSERVACIÓN. Si L{F (t)} existe para s > a ≥ 0, entonces podemos calcular

L{µ(t − a)F (t − a)} en función de L{F (t)}.

Teorema 1. Sea F : [a, +∞] → R, una función de clase A, entonces:

L{µ(t − a)F (t − a)} = e−as L{F (t)}

Demostración

Z ∞
L{µ(t − a)F (t − a)} = e−st µ(t − a)F (t − a)dt
0
Z a Z ∞
−st
L{µ(t − a)F (t − a)} = e µ(t − a)F (t − a)dt + e−st µ(t − a)F (t − a)dt
0 a
Z ∞
L{µ(t − a)F (t − a)} = e−st F (t − a)dt
a

t→a ; z→0
Sea t = z + a, cuando Al utilizar el cambio de variable en la
t → +∞ ; z → +∞
integral, tenemos:
Z ∞ Z ∞
−st
L{µ(t − a)F (t − a)} = e F (t − a)dt = e−s(a+z) F (z)dz
a 0
Z ∞
L{µ(t − a)F (t − a)} = e−as e−sz F (z)dz
0
De manera que esta expresión puede ser escrita como:
Z ∞
−as
L{µ(t − a)F (t − a)} = e e−st F (t)dt
0

∴ L{µ(t − a)F (t − a)} = e−as L{F (t)} L.Q.Q.D.

Teorema 2. Sea F : [a, +∞] → R, una función de clase A, entonces:

L{µ(t − a)F (t)} = e−as L{F (t + a)}

4
 Demostración

Z ∞
L{µ(t − a)F (t)} = e−st µ(t − a)F (t)dt
0
Z a Z ∞
−st
L{µ(t − a)F (t)} = e µ(t − a)F (t)dt + e−st µ(t − a)F (t)dt
0 a
Z ∞
L{µ(t − a)F (t)} = e−st F (t)dt
a

t→a ; z→0
Sea t = z + a, cuando Al utilizar el cambio de variable en la
t → +∞ ; z → +∞
integral, tenemos:
Z ∞ Z ∞
−st
L{µ(t − a)F (t)} = e F (t)dt = e−s(a+z) F (z + a)dz
a 0
Z ∞
L{µ(t − a)F (t)} = e−as e−sz F (z + a)dz
0
De manera que esta expresión puede ser escrita como:
Z ∞
−as
L{µ(t − a)F (t)} = e e−st F (t + a)dt
0

∴ L{µ(t − a)F (t)} = e−as L{F (t + a)} L.Q.Q.D.

OBSERVACIÓN. Sea F : [a, +∞] → R, una función de clase A, tal que:


 F1 (t),
 si 0 < t < a1
F2 (t), si a1 < t < a2




 F3 (t), si a2 < t < a3


F (t) = .
.




.




Fn (t), si t > an−1


Luego a la función F (t) se puede expresar en términos de la función escalón unidad.

F (t) = F1 (t)+(F2 (t)−F1 (t))µ(t−a1 )+(F3 (t)−F2 (t))µ(t−a2 )+...+(Fn (t)−Fn−1 (t))µ(t−an−1 )

5
1.4. Función Impulso Unitario ó Función Delta de de Dirac
Consideremos la función fε (t), definido por:
 1
ε
, si 0 ≤ t ≤ ε
fε (t) =
0, si t>ε

Donde ε > 0, y que es muy pequeño. Su gráfica es:

Figura 4: Función Impulso

A la función fε (t), ası́ definida se le denomina función impulso, y cuando ε → 0. La altura

de la región rectangular sombreada crece indefinidamente y la base decrece, de tal manera
que el área siempre es igual a 1, es decir:
Z ∞
A= fε (t)dt = 1
0

A la función δ(t) = lı́m fε (t) se denomina función impulso unitario o función Delta de Dirac,
ε→0
otra forma de definir la función δ(t) que frecuentemente es empleada en electrónica es:
1
δ(t) = lı́m (µ(t) − µ(t − ε))
ε→0 ε

Figura 5: Función Delta de Dirac

Ahora procederemos a calcular su Transformada de Laplace:

Z ∞
L{fε (t)} = e−st fε (t)dt
0

6
 Z ε Z ∞
−st
L{fε (t)} = e fε (t)dt + e−st fε (t)dt
0 ε
ε
e−st e−st ε e−εs
Z
1
L{fε (t)} = dt = − |0 = − +
0 ε εs εs εs
Pero se sabe que:
δ(t) = lı́m fε (t)
ε→0
Aplicando la Transformada de Laplace:
L{δ(t)} = lı́m L{fε (t)}
ε→0

1 − e−εs se−εs
L{δ(t)} = lı́m = lı́m =1
ε→0 εs ε→0 s
∴ L{δ(t)} = 1 L.Q.Q.D.
Además:
L{δ(t − a)} = e−as

1.5. La Función Gamma

Es una Integral Paramétrica definida por:
Z ∞
Γ(n) = µn−1 e−µ dµ
0

Esta integral es convergente para valores positivos n > 0, y para valores negativos n ex-
ceptuando los valores -1, -2, -3, -4,..., a la función Gamma también se la denomina función
factorial y se aplica en las ecuaciones diferenciales que admiten soluciones por series infinitas.

Su representación gráfica es:

Figura 6: Función Gamma

En la siguiente tabla se indican algunos valores de Γ(n) donde 0 < n ≤ 1, calculados

según la integral anterior
R ∞ n−1mediante series infinitas.
La integral Γ(n) = 0 µ e−µ dµ, no define ningún valor para n = 0, pero define los valores
de Γ(n) para todos los números reales de la siguiente forma:
Γ(n) = (n − 1)Γ(n − 1)

7
1.6. Propiedades de la Función Gamma
1. Γ(n + 1) = nΓ(n), ∀ n > −1

Demostración

Por definición de la Función Gamma se tiene:

Z ∞
Γ(n + 1) = µ(n+1)−1 e−µ dµ
0
Z ∞
Γ(n + 1) = µn e−µ dµ
0
Z p
Γ(n + 1) = lı́m µn e−µ dµ
p→∞ 0
 n

ω=µ dω = nµn−1 dµ
Integrando por partes: ⇒
dν = e−µ dµ ν = −e−µ
Z p
p
Γ(n + 1) = lı́m [−µn e−µ |0 +n µn−1 e−µ dµ]
p→∞ 0
Z p
n −p
Γ(n + 1) = lı́m −p e + lı́m n µn−1 e−µ dµ
p→∞ p→∞ 0
Z ∞
Γ(n + 1) = 0 + n µn−1 e−µ dµ = nΓ(n)
0

∴ Γ(n + 1) = nΓ(n) L.Q.Q.D.

2. Γ(n + 1) = n! , ∀ n ∈ Z+

Demostración

Aplicando repetidas veces la propiedad anterior:

Γ(n + 1) = nΓ(n) = n(n − 1)Γ(n − 1) = n(n − 1)(n − 2)Γ(n − 2)

Γ(n + 1) = n(n − 1)(n − 2)(n − 3)...(n − (n − 1))Γ(1)

Γ(n + 1) = n(n − 1)(n − 2)(n − 3)...(3)(2)(1)Γ(1) = n!Γ(1)
Observación.
Z ∞ Z ∞
1−1 −µ
Γ(1) = µ e dµ = e−µ dµ = 1, ∴ Γ(1) = 1
0 0

∴ Γ(n + 1) = n! L.Q.Q.D.

8
1.7. Teorema
Z +∞ √
−µ2 π
e dµ =
0 2
Demostración

Consideremos: Z p Z p
−x2 2
IP = e dx = e−y dy
0 0
y sea:
I = lı́m Ip
p→∞

El valor de la Integral. Luego:

Z p  Z p 
2 −x2 −y 2
IP = e dx e dy
0 0
Z p Z p
2 −y 2
2
IP = e−x dxdy
0 0
ZZ
2 +y 2 )
IP = 2
e−(x dxdy
Rp

Donde Rp es el cuadrado 0ABC, de lado p:

Sea R1 la región en el primer cuadrante, comprendida por la circunferencia de radio p, es
decir: ZZ
2 2
e−(x +y ) dxdy
R1
√
y sea R2 la región en el primer cuadrante, comprendida por la circunferencia de radio 2p
es decir: ZZ
2 2
e−(x +y ) dxdy
R2

Luego, por el teorema del emparedado tenemos:

ZZ ZZ
−(x2 +y 2 ) 2 2
e 2
dxdy ≤ IP ≤ e−(x +y ) dxdy
R1 R2

Cambiando a coordenadas polares (r, θ) se tiene:

ZZ ZZ
−r2 2
e rdrdθ ≤ IP ≤ 2
e−r rdrdθ
R1 R2

π π
√ !
Z
2
Z p  Z
2
Z 2p
−r2 −r2
e rdr dθ ≤ IP 2 ≤ e rdr dθ
0 0 0 0
π 2 Z π 2
1 − e−p 2 1 − e−2p
Z
2
2
dθ ≤ IP ≤ dθ
0 2 0 2
π 2 π 2
(1 − e−p ) ≤ IP 2 ≤ (1 − e−2p )
4 4

9
Tomando el lı́mite cuando p → ∞, se tiene:
π 2 π 2
lı́m (1 − e−p ) ≤ lı́m IP 2 ≤ lı́m (1 − e−2p )
p→∞ 4 p→∞ p→∞ 4

π π
≤ I2 ≤
4 4
De donde se puede afirmar que: √
π
I=
2
Z +∞ √
2 π
∴ e−µ dµ = L.Q.Q.D.
0 2

√
Ejemplo de Aplicación. Demostrar que: Γ( 12 ) = π

Solución

Por definición de la Función Gamma se tiene:

Z ∞
Γ(n) = µn−1 e−µ dµ
0
  Z ∞
1 1
Γ = µ 2 −1 e−µ dµ
2 0
  Z ∞
1 1
Γ = µ− 2 e−µ dµ
2 0

Sea µ = x2 ⇒ dµ = 2xdx; cuando x = 0, µ = 0 y cuando x → +∞; µ → +∞

  Z ∞ Z ∞
1 − 12 −µ 2
Γ = µ e dµ = x−1 e−x 2xdx
2 0 0
Z ∞ √ 
√
 
1 −x2 π
Γ =2 e dx = 2 = π
2 0 2
√
 
1
∴ Γ = π L.Q.Q.D.
2

1.8. La Función Beta

A la Función β : R+ X R+ → R, definida por la integral:
Z 1
β(m, n) = µm−1 (1 − µ)n−1 dµ
0

Donde m > 0, n > 0, se denomina Función Beta.

10
1.9. Propiedades de la Función Beta
1. β(m, n) = β(n, m)

Demostración

Por la definición de la función Beta se tiene:

Z 1
β(m, n) = µm−1 (1 − µ)n−1 dµ
0

Sea z = 1 − µ ⇒ dz = −dµ, además cuando µ = 0, z = 1 y si µ = 1, z = 0, aplicando

estas condiciones tenemos:
Z 1 Z 0
m−1 n−1
β(m, n) = µ (1 − µ) dµ = − z n−1 (1 − z)m−1 dz
0 1
Z 1
β(m, n) = z n−1 (1 − z)m−1 dz = β(n, m)
0

∴ β(m, n) = β(n, m) L.Q.Q.D.

Γ(m)·Γ(n)
2. β(m, n) = Γ(m+n)

Demostración

Por la definición de la Función beta se tiene:

Z 1
β(m, n) = µm−1 (1 − µ)n−1 dµ
0

Sea la función: Z t
h(t) = xa−1 (t − x)b−1 dx
0
Calculando su Transformada de Laplace por el teorema de convolución se tiene que:
Z t
f (x)g(t − x)dx = f (t) ∗ g(t)
0
Z t
L{ f (x)g(t − x)dx} = L{f (t)} ∗ L{g(t)}
0
Z t
L{ f (x)g(t − x)dx} = F (s) · G(s)
0
Sea:
f (t) = ta−1 g(t) = tb−1
Γ((a − 1) + 1) Γ((b − 1) + 1)
F (s) = G(s) =
s(a−1)+1 s(b−1)+1
Γ(a) Γ(b)
F (s) = a G(s) = b
s s

11
 Z t
L{h(t)} = L{ xa−1 (t − x)b−1 dx}
0
Γ(a) Γ(b)
L{h(t)} = · b
sa s
Γ(a) · Γ(b)
L{h(t)} =
sa+b
Γ(a) · Γ(b)
L−1 {L{h(t)}} = L−1 { }
sa+b
1
h(t) = (Γ(a) · Γ(b))L−1 { a+b }
s
 
Γ(a) · Γ(b) Γ(a + b)
h(t) = L−1 { a+b }
Γ(a + b) s
 
Γ(a) · Γ(b)
h(t) = · ta+b−1
Γ(a + b)
Z t  
a−1 b−1 Γ(a) · Γ(b)
h(t) = x (t − x) dx = · ta+b−1
0 Γ(a + b)
Evaluando la función en t = 1 tenemos:
Z 1  
a−1 b−1 Γ(a) · Γ(b)
h(1) = x (1 − x) dx = · (1)a+b−1
0 Γ(a + b)
Z 1
Γ(a) · Γ(b)
h(1) = xa−1 (1 − x)b−1 dx =
0 Γ(a + b)
La parte central de la expresión anterior es la función Beta, que también puede ser
escrita de esta manera:
Z 1
Γ(m) · Γ(n)
h(1) = µm−1 (1 − µ)n−1 dµ =
0 Γ(m + n)
Γ(m) · Γ(n)
∴ β(m, n) = L.Q.Q.D.
Γ(m + n)

3. Forma Trigonométrica
Z π
2 1 Γ(m) · Γ(n)
sin2m−1 (θ) · cos2n−1 (θ)dθ = β(m, n) =
0 2 2Γ(m + n)

Demostración

De la propiedad anterior se tiene:

Z 1
Γ(m) · Γ(n)
β(m, n) = µm−1 (1 − µ)n−1 dµ =
0 Γ(m + n)

Sea z = cos2 (θ) ⇒ dz = −2 sin(θ) cos(θ)dθ ⇒ sin(θ) cos(θ)dθ = − dz 2

. Cuando
π
θ = 0, z = 1, θ = 2 , z = 0, aplicando estas condiciones a la integral:
Z π Z π
2 2
2m−1 2n−1
sin (θ) · cos (θ)dθ = sin2m−2 (θ) cos2n−2 (θ) sin(θ) cos(θ)dθ
0 0

12
 Z π Z π
2 2
2m−1 2n−1
sin (θ) · cos (θ)dθ = (sin2 (θ))m−1 (cos2 (θ))n−1 sin(θ) cos(θ)dθ
0 0
Z π Z π
2 2
sin2m−1 (θ) · cos2n−1 (θ)dθ = (1 − cos2 (θ))m−1 (cos2 (θ))n−1 sin(θ) cos(θ)dθ
0 0
π
Z Z 0
2
2m−1 2n−1 1
sin (θ) · cos (θ)dθ = − (1 − z)m−1 z n−1 dz
0 2 1
π
1
Γ(m) · Γ(n)
Z Z
2 1 1
sin2m−1 (θ) · cos2n−1 (θ)dθ = (1 − z)m−1 z n−1 dz = β(m, n) =
0 2 0 2 2Γ(m + n)
π
Γ(m) · Γ(n)
Z
2 1
∴ sin2m−1 (θ) · cos2n−1 (θ)dθ = β(m, n) = L.Q.Q.D.
0 2 2Γ(m + n)

1.10. La Función De Bessel

La ecuación diferencial de segundo orden de la forma:
00 0
t2 y (t) + ty (t) + (t2 − p2 )y(t) = 0
Se llama Ecuación Diferencial de Bessel de Orden p, con p ≥ 0. Ahora buscaremos las
soluciones en series de potencias al rededor del punto t = 0, el cual es un punto singular
regular. Sea la función:
∞
X ∞
X
p k
y(t) = t ak t = ak tk+p , p≥0
k=0 k=0

Calculando las derivadas tenemos:

∞
0
X
y (t) = (k + p)ak tk+p−1
k=0

∞
00
X
y (t) = (k + p)(k + p − 1)ak tk+p−2
k=0
Ahora reemplazando en la Ecuación Diferencial de Bessel:
∞
X ∞
X ∞
X
2 k+p−2 k+p−1 2 2
t (k + p)(k + p − 1)ak t +t (k + p)ak t + (t − p ) ak tk+p = 0
k=0 k=0 k=0

∞
X ∞
X ∞
X ∞
X
k+p k+p k+p+2
(k + p)(k + p − 1)ak t + (k + p)ak t + ak t − ak p2 tk+p = 0
k=0 k=0 k=0 k=0
∞
X ∞
X
[(k + p)2 − p2 ]ak tk+p + ak tk+p+2 = 0
k=0 k=0
Colocando en una misma potencia a t:
∞
X ∞
X
2 2 k+p
[(k + p) − p ]ak t + ak−2 tk+p = 0
k=0 k=2

Colocando iguales subı́ndices:

∞
X ∞
X
(p2 − p2 )a0 tp + (2p + 1)a1 t1+p + [(k + p)2 − p2 ]ak tk+p + ak−2 tk+p = 0
k=2 k=2

13
 ∞
X ∞
X
1+p 2 2 k+p
(2p + 1)a1 t + [(k + p) − p ]ak t + ak−2 tk+p = 0
k=2 k=2
∞
X
(2p + 1)a1 t1+p + [(k 2 + 2pk)ak + ak−2 ]tk+p = 0
k=2

⇓
(2p + 1)a1 = 0 (k 2 + 2pk)ak + ak−2 = 0
ak−2
a1 = 0 ak = − , ∀k ≥2
k(2p + k)
Evaluando la Ecuación de Recursividad:
a0
k=2 ⇒ a2 = −
2(2p + 2)
a1
k=3 ⇒ a3 = −
=0 ⇒ a3 = 0
3(2p + 3)
a2 a0
k=4 ⇒ a4 = − = (−1)2
4(2p + 4) 2 · 4 · (2p + 2)(2p + 4)
a3
k=5 ⇒ a5 = − =0 ⇒ a5 = 0
5(2p + 5)
a4 a0
k=6 ⇒ a6 = − = (−1)3
6(2p + 6) 2 · 4 · 6 · (2p + 2)(2p + 4)(2p + 6)
.
.
.
De lo que se puede deducir:
a2k−1 = 0 , ∀ k ≥ 1
a0
a2k = (−1)k
2 · 4 · 6 · 8 · ... · (2k) · (2p + 2)(2p + 4)(2p + 6)...(2p + 2k)
(−1)k a0
a2k =
2 · 4 · 6 · 8 · ... · (2k) · 2k · (p + 1)(p + 2)(p + 3)...(p + k)
(−1)k a0
a2k =
1 · 2 · 3 · 4 · ... · k · 2k · 2k · (p + 1)(p + 2)(p + 3)...(p + k)
(−1)k a0
a2k =
1 · 2 · 3 · 4 · ... · k · 22k · (p + 1)(p + 2)(p + 3)...(p + k)
(−1)k a0
a2k =
k!22k (p + 1)(p + 2)(p + 3)...(p + k)
De esta manera la solución a la Ecuación Diferencial de Bessel es:
∞
X ∞
X
p k
y(t) = t ak t = ak tk+p , p≥0
k=0 k=0

Pero: ak = 0, ∀ k impar
∞
X
y(t) = a2k t2k+p
k=0

14
 ∞
X (−1)k a0
y(t) = 2k
t2k+p
k=0
k!2 (p + 1)(p + 2)(p + 3)...(p + k)
Consideremos:
1
a0 =
2P Γ(p + 1)
De esta manera la función adquiera la forma:
∞
X (−1)k
y(t) = t2k+p
k=0
k!22k 2P Γ(p + 1)(p + 1)(p + 2)(p + 3)...(p + k)

∞
X (−1)k
y(t) = 2k+p Γ(p + 1)(p + 1)(p + 2)(p + 3)...(p + k)
t2k+p
k=0
k!2
∞  2k+p
X (−1)k t
y(t) =
k=0
k!Γ(p + 1)(p + 1)(p + 2)(p + 3)...(p + k) 2
Se sabe que:
(p + 1)Γ(p + 1) = Γ(p + 2)
(p + 2)Γ(p + 2) = Γ(p + 3)
(p + 3)Γ(p + 3) = Γ(p + 4)
.
.
.
(p + k)Γ(p + k) = Γ(p + k + 1)
Por Propiedades de la Función Gamma, se tiene que:

Γ(p + k + 1) = (p + k)!

Γ(k + 1) = k!
∞  2k+p
X (−1)k t
y(t) =
k=0
Γ(k + 1)Γ(p + k + 1) 2
∞  2k+p
X (−1)k t
y(t) =
k=0
k!(p + k)! 2

Definición.- A la función de Bessel de Primera Clase y de Orden n. Denotaremos como

Jn (t) y es definida por la serie:
∞  2k+n
X (−1)k t
Jn (t) = , k≥0
k=0
k!(k + n)! 2

Si n = 0, se obtiene la función:
∞  2k
X (−1)k t
J0 (t) =
k=0
(k!)2 2

Llamada Función de Bessel de Orden Cero.

15
 La segunda Solución Linealmente Independiente de la Ecuación Diferencial de Bessel es:
∞  2k−p
X (−1)k t
J−p (t) =
k=0
Γ(k + 1)Γ(k − p + 1) 2
∞  2k−p
X (−1)k t
J−p (t) =
k=0
k!(k − p)! 2
Observación.- Las Funciones de Bessel de mayor utilidad son las de orden cero J0 (t) y las
de orden uno J1 (t) y son expresadas de la siguiente manera:
∞  2k
X (−1)k t
J0 (t) =
k=0
(k!)2 2
∞  2k+1
X (−1)k t
J1 (t) =
k=0
k!(k + 1)! 2

Propiedades de la Función Bessel

1.
J−n (t) = (−1)n Jn (t), si n ∈ Z+

2.
2n
Jn+1 (t) = Jn (t) − Jn−1 (t)
t
3.
d n
{t Jn (t)} = tn Jn−1 (t)
dt
4.
0
J0 (t) = −J1 (t)

5.
d −n
{t Jn (t)} = −t−n Jn−1 (t)
dt
6.
0
Jn−1 (t) − Jn+1 (t) = 2Jn (t)

7. r
2
J 1 (t) = sin(t)
2 πt
8. r
2
J− 1 (t) = cos(t)
2 πt
9. r  
2 sin(t)
J 3 (t) = − cos(t)
2 πt t
10. ∞
tu−1
e ( u )=
X
2 Jn (t)un
n=−∞

16
 Ejemplo. Hallar L{J0 (t)}, donde J0 (t) es la Función de Bessel de Orden Cero:

tn t2 t4 t6
 
Jn (t) = n 1− + − + ...
2 Γ(n + 1) 2(2n + 2) 2 · 4(2n + 2)(2n + 4) 2 · 4 · 6(2n + 2)(2n + 4)(2n + 6)

t2 t4 t6 t8
J0 (t) = 1 − 2 + 2 2 − 2 2 2 + 2 2 2 2 − ...
2 24 246 2468
2 4 6
t t t t8
L{J0 (t)} = L{1 − 2 + 2 2 − 2 2 2 + 2 2 2 2 − ...}
2 24 246 2468
1 2! 4! 6! 8!
L{J0 (t)} = − 2 3 + 2 2 5 − 2 2 2 7 + 2 2 2 2 9 − ...
s 2s 24s 246s 2468s
 2  4  6  8 !
1 1 1 1·3 1 1·3·5 1 1·3·5·7 1
L{J0 (t)} = 1− + − + − ...
s 2 s 2·4 s 2·4·6 s 2·4·6·8 s
Pero se sabe que:
 2  4  6  8 !
1 1 1 1·3 1 1·3·5 1 1·3·5·7 1
q = 1− + − + − ...
1+ 1 2 s 2·4 s 2·4·6 s 2·4·6·8 s
s2

Al aplicarla en la expresión anterior se tiene:

1 1 1
L{J0 (t)} = ·q =√
s 1+ 1 s2+1
s2

1
∴ L{J0 (t)} = √
s2 + 1

17