APLICACIÓN DE LAS FUNCIONES DIFICILES

En esta sección resolvemos ejercicios del estudio de la continuidad de

funciones. Para ello necesitamos determinar el dominio de las funciones
(conjunto sobre el que se define la función, es decir, los valores que puede
tomar la variable, x).

El siguiente nivel es la búsqueda de extremos (máximos y mínimos) de

funciones mediante cálculo diferencial (criterios de las derivadas), que
tratamos en otra sección.

Los ejercicios están ordenados en orden creciente de dificultad:

comenzaremos con funciones básicas (polinómicas, racionales,
exponenciales, raíces, valores absolutos, partes enteras, definidas por
partes, logarítmicas y trigonométricas. Después, veremos funciones cuya
continuidad dependerá de parámetros.

Sobre todo, en el caso de las funciones por partes (funciones a trozos),

emplearemos límites laterales.

La ecuación diferencial de segundo orden

x2d2ydx2+xdydx+(x2−n2)y=0x2d2ydx2+xdydx+(x2−n2)y=0

se conoce como ecuación de Bessel. La solución de esta ecuación

diferencial se escribe

y=AJn(x)+BYn(x)y=AJn(x)+BYn(x)

donde A y B son constantes que se determinan a partir de las condiciones

iniciales. El índice n es un número real, aunque en los libros se
proporcionan tablas de las funciones Jn(x) y Yn(x) para valores
enteros n=0,1,2,3....

Jn(x)=∞∑k=0(−1)k(x/2)n+2kk!(n+k)!Yn(x)=Jn(x)cos(nx)−J−n(x)sin(nx)Jn(x
)=∑k=0∞(−1)k(x/2)n+2kk!(n+k)!Yn(x)=Jn(x)cos(nx)−J−n(x)sin(nx)

Para n entero se cumple

J−n(x)=(−1)nJn(x)Y−n(x)=(−1)nYn(x)J−n(x)=(−1)nJn(x)Y−n(x)=(−1)nYn(x)

Funciones de Bessel de primera especie

Representamos J0(x), J1(x), J2(x) y J3(x) llamando a la función besselj(n,x)

de MATLAB, dando valores a su primer parámetro n=0,1,2,3,

hold on
 for n=0:3
f=@(x) besselj(n,x);
fplot(f,[0,20], 'displayName',num2str(n));
end
legend('-DynamicLegend','location','Best')
xlabel('x')
ylabel('J(x)')
title('Funciones J_n(x) de Bessel')
grid on
hold off

En la siguiente tabla, se proporcionan los primeros ceros de las funciones

de Bessel J0(x), J1(x) y J2(x).

function r = raices(f, x)
y=f(x);
indices=find(y(1:end-1).*y(2:end)<0);
r=zeros(1,length(indices));
for k=1:length(indices)
r(k)=fzero(f, [x(indices(k)), x(indices(k)+1)]);
end
end
x=linspace(0,40,40);
f=@(x) besselj(0,x);
 k=raices(f,x);
disp('J_0(x)')
disp(k)

f=@(x) besselj(1,x);
k=raices(f,x);
disp('J_1(x)')
disp(k)

f=@(x) besselj(2,x);
k=raices(f,x);
disp('J_2(x)')
disp(k)
J0(x) J1(x) J2(x)
2.4048 3.8317 5.1356
5.5201 7.0156 8.4172
8.6537 10.1735 11.6198
11.7915 13.3237 14.7960
14.9309 16.4706 17.9598
18.0711 19.6159 21.1170
21.2116 22.7601 24.2701
24.3525 25.9037 27.4206
27.4935 29.0468 30.5692
30.6346 32.1897 33.7165

Aproximaciones
Cuando x se hace grande la función Jn(x), tiende hacia

J0(x)≅√ 2πx cos(x−π4)Jn(x)≅√ 2πx cos(x−nπ2−π4)J0(x)≅2πxcos(x−π4)

Jn(x)≅2πxcos(x−nπ2−π4)

Representamos la función Jn(x) y su aproximación asintótica

n=3;
f=@(x) sqrt(2./(pi*x)).*cos(x-n*pi/2-pi/4);
k=0:4;
hold on
 fplot(@(x) besselj(n,x),[1,20])
fplot(f,[1,20])
r=(2*k+1)*pi/2+n*pi/2+pi/4; %ceros coseno
plot(r,0,'o','markersize',3,'markeredgecolor','r','markerfacecolor','r')
hold off
legend('J_n(x)','cos(x)')
xlabel('x')
ylabel('J_n(x)')
title('Funciones J_n(x) de Bessel')
grid on
hold off

En la figura, se ha representado los ceros de la función cos(x-nπ/2-π/4),

que como vemos son próximos a los ceros de la función Jn(x). Este hecho
nos permite calcular los ceros de la función de Bessel mediante el
comando fzero de MATLAB. Recuérdese que los ceros de la función
coseno son (2k+π)/2, k=0,1,2,3...