Preguntas conceptuales 1

OS
osvaldo Santillán<firenzecita@hotmail.com>

Responder|
sáb 10/06, 12:04 a.m.
Usted;
nico.g.das@hotmail.com;
chrisferreyra13@gmail.com;
joaquimboroco@hotmail.com;
+18 destinatarios
Bandeja de entrada

Preguntas conceptuales

1) La condición de que el término principal a_n de una serie tienda a cero, implica que la
serie converge? En caso contrario, cite un contraejemplo.

Respuesta: NO. Es una condición necesaria pero no suficiente. Un contraejemplo es

la serie SUMA 1/n no converge pero su término a_n=1/n tiende a cero.

2) Cuál es el enunciado del criterio de comparación? Los criterios de Cauchy y D Alembert

surgen del criterio de comparación con una serie particular. Cuál es dicha serie? Enuncie
sus propiedades.

Respuesta: El enunciado es que dada una serie de términos positivos a_n<b_n y b_n
converge, entonces a_n converge. Viceversa, si a_n diverge, entonces b_n diverge. Los
criterios mencionados surgen utilizando el criterio de comparación con la serie geométrica
(Suma x^n con módulo x menor que uno).

3) Cómo pueden probarse las propiedades de convergencia de la serie p?

Respuesta: Mediante el criterio de la integral por ejemplo. O mediante algunos de los dos
criterios mencionados en el ítem anterior.

4) Cuál es el enunciado del criterio de la integral para series?

Respuesta: Si se tiene una serie a_n monótonamente desde un N en adelante, y si existe
una función real F(x) tal que F(n)=a_n entonces la serie converge si y solo si la integral
desde N a infinito de F(x) es finita.

5) Enumere las propiedades de convergencia de una serie de potencias compleja, en base a

alguno de los criterios mencionados anteriormente.

Respuesta: Dada una serie compleja SUMA a_n (z-z_0)^n se puede tomar módulo término a
término. Con el criterio de Cauchy o D'Alambert puede calcularse el radio de convergencia
absoluta. Pero existe un teorema que dice que si la serie converge en z_1, converge en el
interior del círculo MODULO(z_1-z_0) y por lo tanto el radio de convergencia absoluta es el
radio de convergencia. Lo único que no se sabe es que pasa en el borde del círculo.

6) De un ejemplo de una función no derivable. Cuál es el significado de las condiciones de

Cauchy Riemann? Implican por si solas analiticidad?

Respuesta: Las condiciones de Cauchy Riemann deben cumplirse en un punto z_0 y las
derivadas deben ser continuas en pequeño entorno de radio épsilon para que la función sea
derivable. Para ejemplo de función no derivable, ver página 35 del libro de Churchill donde se
demuestra que f(z)=MODULO(z) al cuadrado no es derivable excepto en algún punto aislado.

7) Defina función analítica.

Respuesta: Una función es analítica en z_0 si satisface CR en z_0 y en un entorno, con

derivadas continuas en z_0 y ese pequeño entorno. O sea que en particular es derivable en
ese entorno.

8) Es posible construir una función analítica (es decir que satisface CR en un punto y su
entorno) en el plano complejo C, con puntos en los cuales la derivada tercera es discontinua?
Justifique.

Para funciones reales hay ejemplos para los cuales esto vale. Para funciones complejas NO. La
explicación es esta. Si una función es analítica en el interior de una curva C, entonces vale la
fórmula integral de Cauchy

f(w)=1/2 pi i INTEGRAL_C f(z) dz/(z-w)

y además la fórmula de las derivadas

f^n (w)=(n-1)!/2 pi i INTEGRAL_C f(z) dz/(z-w)^(n-1)

Esta fórmula está explícitamente confesando que existen todas las derivadas para todo n si la
función es analítica en todo el interior de C. O sea que, con que la función satisfaga Cauchy-
Riemann en la zona, alcanza para que sea infinitamente derivable. Esta propiedad es
completamente diferente a lo que pasa en reales.
9) De un ejemplo de una función de variable REAL derivable a todo orden pero que no admite
desarrollo de Taylor. Existe dicha función en el plano complejo C?

Respuesta: Un ejemplo es f(x)=exp(-1/x^2). Esta función vale cero y tiene todas las derivadas
igual a cero en x=0. Es decir que su serie de Taylor alrededor de x=0 es cero. Pero la función
existe en todos los reales y es infinitamente derivable donde sea. O sea, en reales existen
funciones infinitamente derivables con puntos en donde su desarrollo de Taylor vale cero. En
el plano complejo se tiene siempre que

f(z)=f(z_0)+....+f^n(z_0)(z-z_0)^n/n!+...

en el interior de cualquier círculo C donde f(z) es analítica. Esta fórmula se deduce a partir del
criterio de Cauchy del inciso anterior. O sea que la función f(z) es idéntica a su serie de Taylor
en el interior de C, o sea que no pasa lo que sucede en reales.

DIFERENCIA ENTRE REALES Y COMPLEJOS: En el plano real hay funciones derivables a primer
orden y que luego dejan de ser derivables. Además hay funciones que son infinitamente
derivables, y sin embargo pueden no tener desarrollo de Taylor en algún punto x=x_0. En el
plano complejo, si satisface CR en el interior de un círculo C, existe la primera derivada y
TODAS LAS QUE DEMAS. Además, si la función satisface CR en una región interior a una curva
C, tiene desarrollo de Taylor con radio de convergencia no nulo.

10) En base a lo dicho en el inciso anterior, no podría ser que f(z)=exp(-1/z^2) sea un
contraejemplo que invalide este razonamiento?

Respuesta: No, debido a que f(z)=exp(-1/z^2) no es analítica en z=0 cuando se extiende al

plano complejo. Para visualizarlo noten que si tomamos z=x, se reduce a la función del inciso
anterior y se comporta bien. Si en cambio venimos a z=0 por el eje z=i y, entonces
f(iy)=exp(1/y^2), la cual claramente explota. Es decir que no es analítica en z=0. Por lo tanto
ninguno de los argumentos anteriores aplica, dado que asumen analiticidad.

-----------------------------------------------------------------------------------------------------------------------------------

Preguntas conceptuales 2

OS
osvaldo Santillán<firenzecita@hotmail.com>
Responder|
sáb 10/06, 06:27 p.m.
Usted;
nico.g.das@hotmail.com;
chrisferreyra13@gmail.com;
joaquimboroco@hotmail.com;
+18 destinatarios
Bandeja de entrada

1) Dada una función f(z) analítica en el interior delineado por una curva C. Que puede decirse acerca de las integrales de f(z) a lo
largo de curvas completamente contenidas en el interior de C?

Respuesta: Si dichas curvas unen dos puntos específicos a y b, la integral de f(z) no depende del camino elegido. En particular
existe una función potencial o primitiva F(z) tal que su derivada es f(z). El valor de la integral es F(b)-F(a) y claramente
no depende del camino.

En forma conversa, si la integral de una función f(z) a lo largo de cualquier curva contenida en C no depende del camino,
entonces existe un función primitiva F(z) tal que su derivada es f(z) y f(z) es analítica.

2) Que rol cumple el teorema de Cauchy-Goursat en la demostración de estos resultados?

Respuesta: Es un teorema bastante técnico que relaja la hipótesis que la derivada de f(z) sea continua.

3) Existen funciones analíticas cuya derivada sea discontinua?

Respuesta: No. El teorema integral de Cauchy muestra que si existe una derivada, existen todas. Por lo tanto no puede haber
alguna discontinua, sino la derivada siguiente no existiría en algún punto.

4) En base a lo contestado anteriormente, podría decirse que el teorema de Cauchy-Goursat es obsoleto?

Respuesta: No. El teorema de Cauchy Goursat es necesario para demostrar la fórmula integral de Cauchy. Es paradójico notar
que se utiliza, para luego darse cuenta que la discontinuidad no puede tener lugar.

5) Que significa que una función sea de cuadrado integrable L^2(-a,a) en el intervalo (-a,a).

Respuesta: Que la integral del módulo de f(x) elevado al cuadrado en ese intervalo es finito.

6) Que significa que sea de cuadrado integrable en todos los reales L^(-oo, oo)?

Respuesta: Que la integral del módulo de f(x) elevado al cuadrado en toda la recta real es finito.

7) Enuncie una propiedad medianamente obvia sobre dichas funciones.

Respuesta: la función f(x) debe tender a cero cuando x--> más menos oo. Esta propiedad es necesaria pero no suficiente.

9) Enuncie la interpretación geométrica de las series de Fourier.

Respuesta: La serie de Fourier le asigna a una función dada f(x), periódica con período L, una serie infinita de coeficientes c_n.
Estos coeficientes son las componentes de un vector en dimensión infinita. La base del desarrollo son las exponenciales
f_n(x)=exp(in x). El producto escalar (comúnmente llamado producto interno) es

<f(x), g(x)>=Integral f(x) CONJUGADO g(x)dx

Vale que

<exp(inx), exp(imx)>=0 si n es distinto que m

<exp(inx), exp(imx)>=2 PI si n=m

Es decir que la base es ortogonal.

10) Porqué suele decirse que <f(x), g(x)>=Integral f(x) CONJUGADO g(x)dx es un producto escalar?

Respuesta: Porque satisface las propiedades análogas, es decir

<f(x)+ g(x), h(x)>=<f(x), h(x)>+<g(x), h(x)>

<c f(x), g(x)>=c<f(x), g(x)>

<f(x), f(x)>=0 si y solo si f(x) es cero a menos de un conjunto discreto de puntos.

11) Cuál es el significado geométrico de la desigualdad de Parseval?

Respuesta: La desigualdad es

SUMA DESDE -N A N DEL MODULO c_n^n < Integral f(x) CONJUGADO f(x)dx

En forma intuitiva la parte derecha es le módulo de f(x) y la parte izquierda la suma del cuadrado de ciertos catetos. La suma de
los cuadrados de ciertos catetos no puede superar al cuadrado de la hipotenusa.

12) Vale la igualdad para funciones continuas a trozos y derivables a trozos, periódicas?

Respuesta: Si.

13) Que significado tiene esta igualdad?

Respuesta: Que toda función continua y derivable a trozos es desarrollable en series de Fourier. La base de Fourier se dice
completa para este espacio de funciones.

14) La serie de Fourier converge al valor de la función f(x) en este caso?

Respuesta: lo hace en los puntos en los cuales f(x) es continua. En otro caso converge al promedio f(x +)+f(x-)/2.

15) Es dicha convergencia uniforme en los puntos donde la función es continua?

Respuesta: Si lo es.
16) Defina convergencia uniforme.

Respuesta: Decimos que una sucesión g_n(x) de funciones converge uniformemente a g(x) si MODULO DE g_n(x)-g_m(x)
<epsilon cuando m, n>n_0. Esto implica que MODULO DE (g_n(x)-g(x)) <epsilon cuando n>n_0 sin importar el punto x. Dibujar el
dibujito del cable para entenderlo.

17) Defina transformada de Laplace y sus propiedades básicas

Respuesta: lo hacemos en estas dos clases.

1) Porqué el teorema integral de Cauchy suele llamarse teorema del promedio? Enuncie una consecuencia importante sobre los
máximos de una función analítica que se deducen de este teorema.

Respuesta: Si se toma la fórmula

f(w)=Int_C f(z)dz/(z-w)

siendo C un círculo centrado en z0de radio 1, entonces parametrizando z-z0=exp(i theta) queda la integral

f(z_0)=Int (0,2 pi) f(z0+exp(i theta)) d theta.

Es decir que lo que pasa en z0, al mirar fijo esta expresión, está determinado por lo que pasa en el borde del círculo, integrado. Es decir
que lo que pasa en z0 es, en cierto sentido, un ºpromedioº de lo que pasa en el borde, i.e, el círculo. Hay un razonamiento que implica
que entonces en z_0 puede existir un máximo, a no ser que la función sea constante. Nunca un promedio es lo máximo. Pensar por
ejemplo en un promedio de calificaciones. Si una calificación es 8, quiere decir que o bien todas las notas son 8, o que hay alguna nota
mayor que 8 y otra menor. Es ese mismo razonamiento el que vale acá.

2) Esquematize el teorema fundamental del álgebra en términos del teorema del máximo.

Respuesta: El teorema del máximo dice que una función analítica en todo el plano complejo (enteras) no tiene un máximo a no ser que
sea constante. Por lo tanto, supongamos que un polinomio P_N(z) no tiene una raíz. Es decir que P_N(z) nunca es cero, y por lo tanto
tiene un mínimo M. Como P_N(z) es analítica (un polinomio siempre lo es), entonces la función

f(z)=1/P_N(z)

es analítica si P_N(z) no vale cero. Pero claramente,

Modulo de f(z)< 1/M

siendo M el mínimo mencionado anteriormente. Entonces el teorema del máximo dice que f(z) es constante. Entonces P_N(z) es
constante, y esto es absurdo. Por lo tanto la raíz existe. Y siguiendo el razonamiento N veces, puede verse que la cantidad de raíces es
N.

11) Defina la noción de polos y ceros de una función analítica. Si una función f(z) tiene un
polo de orden N en z0, qué puede concluirse de su desarrollo de Laurent en z=z 0?

Intuitivamente un polo en z_0 de orden n, quiere decir rústicamente que hay un cero en el
denominador de orden N, es decir el denominador va como (z-z0)N. La función diverge en
ese punto. Pero en forma estricta, la definición de polo en z0 es que
Limz-->z_0 (z-z0)N f(z) es distinto de cero y

Limz-->z_0 (z-z0)m f(z) da infinito si m<N.

N sería entonces el orden del polo. Claramente el desarrollo de Laurent centrado en z0 tiene que tener la pinta

f(z)=a-N (z-z0)-N+a-(N-1) (z-z0)-(N-1)+.....+a-1 (z-z0)-1+a0+a1 (z-z0)+a2 (z-z0)2+..........

Es decir que el término de menor orden va como -N. Con este desarrollo valen los límites
que tenemos arriba.

Para un cero es lo mismo pero cambiando de signo. Decimos que la función tiene un cero de orden N cuando

Limz-->z_0 (z-z0)-N f(z) es distinto de cero y

Limz-->z_0 (z-z0)-m f(z) da infinito si m<N.

En este caso se dice cero de orden M. El desarrollo en este caso es

f(z)=aN (z-z0)N+a(N+1) (z-z0)(N+1)+.....

es decir que empieza con una potencia de orden N.

12) Como puede calcularse la integral

Integral_C f(z) dz

en un círculo C, si f(z) tiene tan solo un polo en un punto z_0 el interior.

Respuesta: Si se halla el desarrollo de Laurent de f(z) alrededor de ese polo z_0, el coeficiente
a(-1) resulta ser la integral buscada. Este coeficiente se llama residuo. Si el desarrollo de Laurent se complica, hay una fórmula maestra
que dice que

Integral_C f(z) dz=Limz-->z_0 d(m) [(z-z0)m f(z)]/dz

Deducirla.

13) Cualquier función analítica con singularidades admite un desarrollo de Laurent?

Respuesta: No. Es necesario que sea aislada. El logaritmo Log(z) por ejemplo, tiene un singularidad en todos los puntos de la semirecta
(-oo, 0] y no puede desarrollarse en ninguno de esos puntos.

14) Discuta la utilidad de calcular residuos.

Respuesta: en algunos casos permite calcular integrales impropias si cierta integral en el infinito vale cero.
Comentarios

OS
osvaldo Santillán<firenzecita@hotmail.com>

Responder|
sáb 10/06, 06:42 p.m.
Usted;
nico.g.das@hotmail.com;
chrisferreyra13@gmail.com;
joaquimboroco@hotmail.com;
+18 destinatarios
Bandeja de entrada

Hola. En el mail anterior puse como asunto preguntas conceptuales 2 pero en realidad es
la tercera parte, preguntas conceptuales 3.
Estas son las cosas que necesito que digieran para el final, no las demostraciones. Si
entienden estas preguntas, entonces entienden la base de la materia. Si tomo alguna
demostración es alguna simple y a carpeta o libro abierto. Ejemplo: criterio de D alambert
o la independencia de la integral del camino de f(z) cuando es analítica. Pero eso es como
detalle. No quiero que prendan grabadoras ni que pierdan el tiempo estudiando
demostraciones. No se supone que son matemáticos, y no pretendo esa formalidad.

En las clases que vienen vamos a discutir estas cosas, por si no se entienden en el mail. Por
cierto, si quieren alguna clase de consulta antes del final, pueden mandarme un mail y nos
ponemos de acuerdo. Pero probablemente vaya a ser no en la facu, sino en un bar o algo
asi.

Saludos

1) Dada una función f(z) analítica en el interior delineado por una curva C. Que puede decirse acerca de las integrales de f(z) a lo
largo de curvas completamente contenidas en el interior de C?

Respuesta: Si dichas curvas unen dos puntos específicos a y b, la integral de f(z) no depende del camino elegido. En particular
existe una función potencial o primitiva F(z) tal que su derivada es f(z). El valor de la integral es F(b)-F(a) y claramente
no depende del camino.
En forma conversa, si la integral de una función f(z) a lo largo de cualquier curva contenida en C no depende del camino,
entonces existe un función primitiva F(z) tal que su derivada es f(z) y f(z) es analítica.
2) Que rol cumple el teorema de Cauchy-Goursat en la demostración de estos resultados?

Respuesta: Es un teorema bastante técnico que relaja la hipótesis que la derivada de f(z) sea continua.

3) Existen funciones analíticas cuya derivada sea discontinua?

Respuesta: No. El teorema integral de Cauchy muestra que si existe una derivada, existen todas. Por lo tanto no puede haber
alguna discontinua, sino la derivada siguiente no existiría en algún punto.

4) En base a lo contestado anteriormente, podría decirse que el teorema de Cauchy-Goursat es obsoleto?

Respuesta: No. El teorema de Cauchy Goursat es necesario para demostrar la fórmula integral de Cauchy. Es paradójico notar
que se utiliza, para luego darse cuenta que la discontinuidad no puede tener lugar.

5) Que significa que una función sea de cuadrado integrable L^2(-a,a) en el intervalo (-a,a).

Respuesta: Que la integral del módulo de f(x) elevado al cuadrado en ese intervalo es finito.

6) Que significa que sea de cuadrado integrable en todos los reales L^(-oo, oo)?

Respuesta: Que la integral del módulo de f(x) elevado al cuadrado en toda la recta real es finito.

7) Enuncie una propiedad medianamente obvia sobre dichas funciones.

Respuesta: la función f(x) debe tender a cero cuando x--> más menos oo. Esta propiedad es necesaria pero no suficiente.

9) Enuncie la interpretación geométrica de las series de Fourier.

Respuesta: La serie de Fourier le asigna a una función dada f(x), periódica con período L, una serie infinita de coeficientes c_n.
Estos coeficientes son las componentes de un vector en dimensión infinita. La base del desarrollo son las exponenciales
f_n(x)=exp(in x). El producto escalar (comúnmente llamado producto interno) es

<f(x), g(x)>=Integral f(x) CONJUGADO g(x)dx

Vale que

<exp(inx), exp(imx)>=0 si n es distinto que m

<exp(inx), exp(imx)>=2 PI si n=m

Es decir que la base es ortogonal.

10) Porqué suele decirse que <f(x), g(x)>=Integral f(x) CONJUGADO g(x)dx es un producto escalar?

Respuesta: Porque satisface las propiedades análogas, es decir

<f(x)+ g(x), h(x)>=<f(x), h(x)>+<g(x), h(x)>

<c f(x), g(x)>=c<f(x), g(x)>

<f(x), f(x)>=0 si y solo si f(x) es cero a menos de un conjunto discreto de puntos.

11) Cuál es el significado geométrico de la desigualdad de Parseval?

Respuesta: La desigualdad es

SUMA DESDE -N A N DEL MODULO c_n^n < Integral f(x) CONJUGADO f(x)dx

En forma intuitiva la parte derecha es le módulo de f(x) y la parte izquierda la suma del cuadrado de ciertos catetos. La suma de
los cuadrados de ciertos catetos no puede superar al cuadrado de la hipotenusa.
12) Vale la igualdad para funciones continuas a trozos y derivables a trozos, periódicas?

Respuesta: Si.

13) Que significado tiene esta igualdad?

Respuesta: Que toda función continua y derivable a trozos es desarrollable en series de Fourier. La base de Fourier se dice
completa para este espacio de funciones.

14) La serie de Fourier converge al valor de la función f(x) en este caso?

Respuesta: lo hace en los puntos en los cuales f(x) es continua. En otro caso converge al promedio f(x +)+f(x-)/2.

15) Es dicha convergencia uniforme en los puntos donde la función es continua?

Respuesta: Si lo es.

16) Defina convergencia uniforme.

Respuesta: Decimos que una sucesión g_n(x) de funciones converge uniformemente a g(x) si MODULO DE g_n(x)-g_m(x)
<epsilon cuando m, n>n_0. Esto implica que MODULO DE (g_n(x)-g(x)) <epsilon cuando n>n_0 sin importar el punto x. Dibujar el
dibujito del cable para entenderlo.

17) Defina transformada de Laplace y sus propiedades básicas

Respuesta: lo hacemos en estas dos clases.