11/12/2019, 10:53:49 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Ayuda en problema teórico  (Leído 547 veces)
0 Usuarios y 1 Visitante están viendo este tema.
manuvier
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 21


Ver Perfil
« : 12/08/2019, 10:49:24 am »

Hola. agradecería si alguien pudiera darme alguna idea de como demostrar que [texx]F:\mathbb{R}^n\longrightarrow{}\mathbb{R}[/texx] continua en [texx]\mathbb{R^n}[/texx] con [texx]\displaystyle\lim_{ \left\|{x}\right\| \to{+}\infty}{}F(x)=+\infty[/texx] tiene un mínimo absoluto.
Desde ya gracias
En línea
ingmarov
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Honduras Honduras

Mensajes: 4.381



Ver Perfil
« Respuesta #1 : 12/08/2019, 06:40:00 pm »

Hola

Ah, olvidé que es una función multivariable

Spoiler (click para mostrar u ocultar)
Saludos
En línea

No te confíes, revisa lo que escribo. Yo también me equivoco.
Odio el autocorrector de Android...
robinlambada
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.139


Ver Perfil
« Respuesta #2 : 12/08/2019, 06:52:29 pm »

Hola:
Hola. agradecería si alguien pudiera darme alguna idea de como demostrar que F:/ [texx]\mathbb{R}^n\longrightarrow{}\mathbb{R}[/texx] continua en [texx]\mathbb{R^n}[/texx] con [texx]\displaystyle\lim_{ \left\|{x}\right\| \to{+}\infty}{}F(x)=+\infty[/texx] tiene un mínimo absoluto.
Desde ya gracias
Bueno auque tengo muy  oxidado el análisis de varias variables, creo que esta idea te puede ser útil.

Supón que no hay mínimo absoluto, por tanto supón: [texx]\forall{}\bar{x_0}\in{\mathbb{R}^n}\, \exists{}\bar{x_1}\in{\mathbb{R}^n}:\,f(\bar{x_0})>f(\bar {x_1})[/texx]

Esta debería llevarte a uno de estos dos supuestos (según mi intuición, pero de momento no te puedo ayudar más):

1ª- [texx]\displaystyle\lim_{ \left\|{x}\right\| \to{+}\infty}{}F(x)=-\infty[/texx]

-2ª-La función tiene al menos un punto de discontinuidad.

Como ninguna se cumple debe haber un mínimo absoluto.

Saludos.
En línea

Envejecer es como escalar una gran montaña: mientras se sube las fuerzas disminuyen, pero la mirada es más libre, la vista más amplia y serena.

La verdadera juventud una vez alcanzada, nunca se pierde.
manuvier
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 21


Ver Perfil
« Respuesta #3 : 12/08/2019, 07:36:36 pm »

Gracias, voy a intentar por ahí.
Se me había ocurrido probar que dejando constante n-1 variables en otra variable encontrar un mínimo y luego tomar el punto formados por los mínimos y tratar de probar que ese es el mínimo absoluto
En línea
delmar
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Perú Perú

Mensajes: 1.898


Ver Perfil
« Respuesta #4 : 13/08/2019, 01:51:41 am »

Hola

Una forma, considerando la definición de límite. En este caso el límite significa :

[texx]\forall{M}>0, \ \exists{S}>0 \ / \ F(x)>M, \ si \   \left\|{x}\right\|>S[/texx]


Por ser continua F en [texx]R^n[/texx] esta definida y es continua en una intervalo cerrado n-dimensional [texx]I=[\vec{a}, \vec{b}][/texx], tal que [texx]a_k=-r, \ b_k=r, \ k=1,2,..,n; \ r>0[/texx], donde r es una constante real positiva, esto implica que el origen  [texx]\vec{O}[/texx], esta en el centro del intervalo cerrado I. Al ser continua F en el intervalo cerrado, presenta un mínimo m en I. Siempre existe una constante positiva M'>m. La definición de límite implica que [texx]\exists{S'}>r\sqrt[ ]{n}>0, \ / \ si \  \left\|{x}\right\|>S', \ \Rightarrow{F(x)>M'}[/texx]. Es evidente que los puntos de [texx]R^n[/texx] que no pertenecen a la n-bola [texx]B(\vec{O},S')[/texx] tienen valores funcionales [texx]F(x)>M'[/texx] y ojo [texx]B(\vec{O},S')\supset{I}[/texx].  Siempre es posible (se puede demostrar) que existe un intervalo cerrado [texx]I_1=[\vec{c},\vec{d}]\supset{B(\vec{O},S')}[/texx]. Solamente para ilustrar en el caso particular de dos dimensiones, la 2-bola en torno al origen con radio [texx]S'[/texx], es un círculo de radio [texx]S'[/texx] y una intervalo cerrado, que la incluye es el cuadrado que la circunscribe. Por ser F continua en [texx]I_1[/texx] presenta un mínimo  m' en [texx]I_1[/texx]. Ojo [texx]I_1[/texx] es centrado también en el origen e incluye al intervalo cerrado I. En consecuencia el menor de los mínimos  [texx]\left\{{m,m'}\right\}[/texx] es el mínimo de F en [texx]R^n[/texx]


Saludos
En línea
robinlambada
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.139


Ver Perfil
« Respuesta #5 : 13/08/2019, 04:53:24 am »

Una idea , respecto a lo que te indique, es crear una sucesión decreciente no acotada inferiormente, ya que, por hipotesis

[texx]f(\bar{x_1})<f(\bar{x_0})[/texx], por ello [texx]f(\bar{x_0})>f(\bar{x_1})>f(\bar{x_2})>f(\bar{x_3})\ldots[/texx]

Por tanto es divergente. Si creamos otra sucesión con [texx]\bar{x_0},\bar{x_1},\bar{x_2},\bar{x_3},\ldots[/texx]

Pueden pasar 2 cosas: que su módulo este o no acotado.

Si no lo está ,por ser divergente: [texx]\displaystyle\lim_{n \to{+}\infty}{}\left |{\bar{x_n}}\right | =+\infty[/texx], entonces

[texx]\displaystyle\lim_{\left |{\bar{x_n}}\right | \to{+}\infty}{}f(\bar{x_n})=-\infty[/texx]

Lo que contradice la condición de límite.

Y si está acotada en módulo [texx]\displaystyle\lim_{n \to{+}\infty}{}\left |{\bar{x_n}}\right | =M[/texx]

Se debe probar que debe ser discontinua en algún punto, contradiciendo la condición de continuidad.

Por tanto la hipótesis de que no tiene mínimo absoluto debe ser falsa.

Saludos.
En línea

Envejecer es como escalar una gran montaña: mientras se sube las fuerzas disminuyen, pero la mirada es más libre, la vista más amplia y serena.

La verdadera juventud una vez alcanzada, nunca se pierde.
robinlambada
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.139


Ver Perfil
« Respuesta #6 : 13/08/2019, 06:03:47 am »

Una última indicación.

Para el caso que la sucesión este acotada en módulo [texx]\displaystyle\lim_{n \to{+}\infty}{}\left |{\bar{x_n}}\right | =M[/texx]

Recuerda que toda función continua en un compacto alcanza máximo y mínimo absoluto.

Saludos.
En línea

Envejecer es como escalar una gran montaña: mientras se sube las fuerzas disminuyen, pero la mirada es más libre, la vista más amplia y serena.

La verdadera juventud una vez alcanzada, nunca se pierde.
delmar
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Perú Perú

Mensajes: 1.898


Ver Perfil
« Respuesta #7 : 14/08/2019, 01:02:01 am »

Detallando el caso [texx]F:R^2 \rightarrow{R} [/texx]



Se considera un intervalo cerrado 2-dimensional I, es un cuadrado de lado 2r, en ese cuadrado F,  por ser continua e I un intervalo cerrado, presenta un mínimo m.

Siempre existe una constante positiva [texx]M'>m[/texx].  La definición de límite implica [texx]\exists{S'}>r\sqrt[ ]{2} \ / \ si \  \left\|{x}\right\|>S' \Rightarrow{F(x)>M'}[/texx] . Es claro que la bola [texx]B(\vec{O},S')[/texx] incluye a I, y en los puntos que no pertenecen a la bola (región punteada de color negro), se tiene [texx]F(x)>M'>m[/texx] Es decir en esa región el valor de la función es simpre mayor que m.

Existe el intervalo 2-dimensional cerrado [texx]I_1=[(-S',-S'),(S',S')][/texx]. Se ve claramente en la figura que [texx]I_1\supset{B(\vec{O},S')}\supset{I}[/texx].  F por ser continua y por ser [texx]I_1[/texx] un intervalo cerrado, presenta un minimo m’.  El menor entre m’ y m es siempre m’ por que [texx]I_1\supset{I}[/texx] y evidentemente, por el hecho de que en la región punteada externa al cuadrado  [texx]I_1[/texx], el valor de F es mayor que m, por ende será también mayor que m'. En consecuencia m’ es el mínimo de F en [texx]R^2[/texx]

En [texx]R^n[/texx] se aplica el mismo método; pero se supone que [texx]S'>r\sqrt[ ]{n}[/texx], para que [texx]B(\vec{O},S')\supset{I}[/texx]

Saludos

* Grmmv.jpg (63.33 KB - descargado 94 veces.)
En línea
Juan Pablo Sancho
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 4.671


Ver Perfil
« Respuesta #8 : 15/08/2019, 04:52:10 pm »

Usando el argumento de delmar:
Como [texx]\displaystyle \lim_{\|x\| \to  + \infty} F(x) = + \infty [/texx] tenemos [texx] F(0) \in \mathbb{R}[/texx], entonces por la definición de límite existe un [texx]R \in \mathbb{R} [/texx] tal que si [texx] x \in \mathbb{R}^n \setminus C(0,R) [/texx] tenemos que [texx]F(x) > F(0)+1 [/texx].
Donde [texx] C(0,R) = \{x \in \mathbb{R}^n | \|x\| \leq R \} [/texx].
Como [texx]C(0,R) [/texx] es cerrado tiene máximo y mínimo, el mínimo de [texx]C(0,R)[/texx] es el mínimo global.
En línea
manuvier
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 21


Ver Perfil
« Respuesta #9 : 17/08/2019, 04:17:06 pm »

Hola se me ocurrió la siguiente demostración
 [texx]\displaystyle\lim_{ \left\|{x}\right\| \to{+}\infty}{}F(x)=+\infty[/texx]  entonces concidero el cerradp [-k,K]
F(x,y) esta en  [-k,K] , como  [-k,K] es compacto existe [texx]\overline{x}[/texx] el minimo de F
F es continua y  [-k,K] es compacto entonces [texx]F^(-1)[/texx] de  [-k,K] tambien es compacto, por lo tanto cerrado entoces [texx]F^(-1)( [texx]\overline{x}[/texx]) esta en [texx]F^(-1)[/texx] de  [-k,K]
Luego es facio probar que ese minimo es el absoluto.
¿Que les parece?[/texx]
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!