23/09/2019, 08:34:55 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Paso al límite bajo el signo integral (I).  (Leído 263 veces)
0 Usuarios y 1 Visitante están viendo este tema.
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« : 25/04/2019, 07:21:54 am »

Hola buenos días, tengo un par de dudas, si nos encontramos que tenemos que calcular:

[texx]\lim _{n\to \infty }\int _\mathbb{R}^{ }\frac{n\cdot sen\frac{x}{n}}{x\left(1+x^2\right)}dx\:[/texx]. Sabiendo que la convergencia puntual de [texx]f_n=n \cdot sen(x/n)[/texx] es la función [texx]f(x)=x[/texx], dado que no se tiene convergencia uniforme, usando la integración de Riemann no es posible realizar el paso bajo el límite integral.

Pero usando la teoría más general de Lebesgue, podemos usar la integral de Lebesgue, donde se tiene dicho resultado con la convergencia puntual
Por tanto es igual a resolver [texx]\displaystyle\int_{-\infty}^{\infty}\displaystyle\frac{1}{1+x^2}dx = \pi/2[/texx] esto a grandes rasgos es cierto, pero, ¿necesitaría verificar alguna hipótesis adicional?







La segunda duda, es relacionada sobre el teorema Beppo-Levi, calcular [texx]\sum _{n=0}^{\infty }\:\int _0^{\frac{\pi }{2}}\left(1-\sqrt{sen\left(x\right)}\right)^n\cdot cos\left(x\right)dx[/texx].

Bajo ciertas condiciones adecuadas si se pudiera conmutar la suma infinita bajo el signo integral:

[texx]\int _{0}^{ \frac{\pi }{2} }\:\sum _{n=0}^{\infty}\left(1-\sqrt{sen\left(x\right)}\right)^n\cdot cos\left(x\right)dx[/texx]



realizando el cambio, [texx] u=1-\sqrt{sen\left(x\right)} \\ x=arcsen(1-u^2)  \\ dx=\displaystyle\frac{-2|1-u|}{\sqrt[ ]{1-(1-u)^4}}du [/texx]                        [texx]x\in(0,/pi /2) \Rightarrow{0<u<1}[/texx]



y sabiendo que [texx]\displaystyle\sum_{n=0}^{\infty}x^n=\displaystyle\frac{1}{1-x}[/texx] , para ([texx]|x|<1[/texx]) y que [texx]cos(arcsen(1-u)^2) = \displaystyle\frac{1}{\sqrt[ ]{1-(1-u)^4}} [/texx]

Quedando la siguiente integral: [texx]\displaystyle\int_{0}^{1}\displaystyle\frac{1}{\sqrt[ ]{1-(1-u)^4}}du[/texx] ¿no?


Muchas gracias de antemano :sonrisa:
Saludos.
En línea
Masacroso
Pleno*
*****

Karma: +2/-0
Conectado Conectado

España España

Mensajes: 1.589


Ver Perfil
« Respuesta #1 : 25/04/2019, 03:28:45 pm »

Hola buenos días, tengo un par de dudas, si nos encontramos que tenemos que calcular:

[texx]\lim _{n\to \infty }\int _\mathbb{R}^{ }\frac{n\cdot sen\frac{x}{n}}{x\left(1+x^2\right)}dx\:[/texx]. Sabiendo que la convergencia puntual de [texx]f_n=n \cdot sen(x/n)[/texx] es la función [texx]f(x)=x[/texx], dado que no se tiene convergencia uniforme, usando la integración de Riemann no es posible realizar el paso bajo el límite integral.

Pero usando la teoría más general de lebesgue, podemos usar la integral de Lebesgue, donde se tiene dicho resultado con la convergencia puntual
Por tanto es igual a resolver [texx]\displaystyle\int_{-\infty}^{\infty}\displaystyle\frac{1}{1+x^2}dx = \pi/2[/texx] esto a grandes rasgos es cierto, pero, ¿necesitaría verificar alguna hipótesis adicional?

Es que la integral de partida viene simbolizada como si fuese de Lebesgue por el uso de la [texx]\Bbb R[/texx], así que habría que interpretarla así.

Suponiendo que no fuese de Lebesgue entonces sería una integral impropia de Riemann. Si la interpretamos así entonces lo único a verificar, después de aplicar la convergencia dominada asumiendo que es de Lebesgue, es que cuando la integral de Lebesgue existe entonces ésta coincide con la integral impropia de Riemann correspondiente, cosa que siempre es cierta cuando el integrando es Riemann integrable en cualquier intervalo cerrado de la región de integración.

Con eso entonces es suficiente con ver que el límite define una sucesión convergente, sea del tipo de integral que sea.

Cita
La segunda duda, es relacionada sobre el teorema Beppo-Levi, calcular [texx]\sum _{n=0}^{\infty }\:\int _0^{\frac{\pi }{2}}\left(1-\sqrt{sen\left(x\right)}\right)^n\cdot cos\left(x\right)dx[/texx].

Bajo ciertas condiciones adecuadas si se pudiera conmutar la suma infinita bajo el signo integral:

[texx]\int _{0}^{ \frac{\pi }{2} }\:\sum _{n=0}^{\infty}\left(1-\sqrt{sen\left(x\right)}\right)^n\cdot cos\left(x\right)dx[/texx]



realizando el cambio, [texx] u=1-\sqrt{sen\left(x\right)} \\ x=arcsen(1-u^2)  \\ dx=\displaystyle\frac{-2|1-u|}{\sqrt[ ]{1-(1-u)^4}}du [/texx]                        [texx]x\in(0,/pi /2) \Rightarrow{0<u<1}[/texx]



y sabiendo que [texx]\displaystyle\sum_{n=0}^{\infty}x^n=\displaystyle\frac{1}{1-x}[/texx] , para ([texx]|x|<1[/texx]) y que [texx]cos(arcsen(1-u)^2) = \displaystyle\frac{1}{\sqrt[ ]{1-(1-u)^4}} [/texx]

Quedando la siguiente integral: [texx]\displaystyle\int_{0}^{1}\displaystyle\frac{1}{\sqrt[ ]{1-(1-u)^4}}du[/texx] ¿no?


Muchas gracias de antemano :sonrisa:
Saludos.

No conozco el teorema de Beppo-Levi pero se puede dar el cambio, sí, apelando a la teoría de Lebesgue, ya que el integrando es absolutamente integrable, es decir, tenemos que si cada [texx]|f_n|[/texx] es Lebesgue integrable con valores en la recta real extendida entonces su suma también lo es.

Ahora bien, el intercambio de suma e integral es lo mismo que un cambio de integral y límite, por tanto se verifica que si el límite converge como sucesión de integrales de Lebesgue, siendo cada integrando también Riemann integrable, entonces el límite existe independientemente del tipo de integral que se use, ya que ambas integrales coinciden para cada elemento de la sucesión.

AÑADIDO: vale, el teorema de Beppo-Levi al que creo te refieres dice lo mismo que quería decir yo.

EDITADO: he hecho algunas ediciones para mejorar la redacción y corregir inexactitudes.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« Respuesta #2 : 25/04/2019, 06:05:41 pm »

Lo que no termino de ver al 100% , es probar que se satisfacen dichas hipótesis para poder aplicar los teoremas correspondientes. Por ejemplo encontrar [texx]g(x) \geq{0} x\in D[/texx] (dominio de integración) tal que para cada [texx]n \in N[/texx] ,    [texx]|f_n(x)| \leq{g(x)}[/texx]  y se tenga que [texx]g(x)[/texx] es integrable.
¿Qué función en estos casos sería [texx]g[/texx]?
En línea
Masacroso
Pleno*
*****

Karma: +2/-0
Conectado Conectado

España España

Mensajes: 1.589


Ver Perfil
« Respuesta #3 : 25/04/2019, 06:47:57 pm »

Lo que no termino de ver al 100% , es probar que se satisfacen dichas hipótesis para poder aplicar los teoremas correspondientes. Por ejemplo encontrar [texx]g(x) \geq{0} x\in D[/texx] (dominio de integración) tal que para cada [texx]n \in N[/texx] ,    [texx]|f_n(x)| \leq{g(x)}[/texx]  y se tenga que [texx]g(x)[/texx] es integrable.
¿Qué función en estos casos sería [texx]g[/texx]?


Cierto, perdón, no había caído que no se puede aplicar ahí la convergencia dominada estándar, hay que aplicar otro teorema de convergencia dominada en sucesiones me parece. Luego lo miro y edito.

Spoiler: intento fallido (click para mostrar u ocultar)



En verdad sí que se puede aplicar directamente el teorema de convergencia dominada, sólo hay que observar que [texx]\frac{\sen(x/n)}{x/n}\in[-1,1][/texx] para cualesquiera valores de [texx]x\in\Bbb R[/texx] y [texx]n\in\Bbb N_{>0}[/texx]. Me había despistado el [texx]n[/texx] como multiplicando.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« Respuesta #4 : 27/04/2019, 07:28:44 am »

Es cierto, gracias :sonrisa:

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!