56
An´ alisis III. Introducci´on Egor Maximenko ESFM del IPN 3 de agosto de 2009 Egor Maximenko (ESFM del IPN) An´ alisis III. Introducci´ on 3 de agosto de 2009 1 / 30

An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

  • Upload
    others

  • View
    15

  • Download
    0

Embed Size (px)

Citation preview

Page 1: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Analisis III. Introduccion

Egor Maximenko

ESFM del IPN

3 de agosto de 2009

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 1 / 30

Page 2: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 2 / 30

Page 3: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 3 / 30

Page 4: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 4 / 30

Page 5: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Programa del curso

1 Convergencia uniforme.Trasposicion de lımites. Derivacion bajo del signo del lımite.

2 Funciones definidas por integrales.(Integrales dependientes de un parametro.)

Continuidad y derivacion. Integrales impropias.Integrales impropias dependientes de un parametro.

3 Convolucion.Convolucion en L1(Rn). Convolucion entre espacios Lp(Rn).Sucesiones de Dirac (unidad aproximada).

4 Series de Fourier.Convergencia en L2([−π, π]). Convergencia puntual.

5 Transformadas de Fourier y Laplace.Transformada de Fourier: propiedades e inversion.Transformada de Laplace.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 5 / 30

Page 6: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Sistema de calificaciones

Tres examenes parciales.

Tambien se tienen en cuenta:participacionesexposicionessolucion de tareas

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 6 / 30

Page 7: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Sistema de calificaciones

Tres examenes parciales.

Tambien se tienen en cuenta:participacionesexposicionessolucion de tareas

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 6 / 30

Page 8: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 7 / 30

Page 9: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Literatura I

O. Biberstein,Teorıa de la Integral, Notas de la E.S.F.M. del I.P.N.

W. Rudin,Analisis Real y Complejo.Alhambra, 1985.A. N. Kolmogorov y S. V. Fomin,Elementos de la Teorıa de Funciones y del Analisis Funcional.Mir.B. Demidovich,Problemas y Ejercicios de Analisis Matematico.Mir.H. G. Garnir,Funciones de variables reelles II.Gauthier-Villars.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 8 / 30

Page 10: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Literatura II

S. Lang,Real Analysis.Addison Wesley.

H. L. Royden,Real Analysis.Macmillan.T. M. Apostol,Analisis Matematico.Reverte.E. Hewitt and K. Stromberg,Real and Abstract Analysis.Springer-Verlag.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 9 / 30

Page 11: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 10 / 30

Page 12: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 11 / 30

Page 13: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

La norma-supremo y convergencia uniforme

Definicion (norma-supremo de una funcion)Para una funcion f : X → C, su norma-supremo se define como

‖f ‖∞ = supx∈X|f (x)|.

Definicion (convergencia uniforme de una sucesion de funciones)Sea fnn∈N una sucesion de funciones X → C y g una funcion X → C.Se dice que fn converge uniformamente a g (notacion: fn

X⇒ g) si

‖fn − g‖∞ → 0.

En otras palabras, fnX⇒ g si y solo si

∀ε > 0 ∃N > 0 ∀n > N ∀x ∈ X |fn(x)− g(x)| ≤ ε.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 12 / 30

Page 14: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

La norma-supremo y convergencia uniforme

Definicion (norma-supremo de una funcion)Para una funcion f : X → C, su norma-supremo se define como

‖f ‖∞ = supx∈X|f (x)|.

Definicion (convergencia uniforme de una sucesion de funciones)Sea fnn∈N una sucesion de funciones X → C y g una funcion X → C.Se dice que fn converge uniformamente a g (notacion: fn

X⇒ g) si

‖fn − g‖∞ → 0.

En otras palabras, fnX⇒ g si y solo si

∀ε > 0 ∃N > 0 ∀n > N ∀x ∈ X |fn(x)− g(x)| ≤ ε.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 12 / 30

Page 15: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

La norma-supremo y convergencia uniforme

Definicion (norma-supremo de una funcion)Para una funcion f : X → C, su norma-supremo se define como

‖f ‖∞ = supx∈X|f (x)|.

Definicion (convergencia uniforme de una sucesion de funciones)Sea fnn∈N una sucesion de funciones X → C y g una funcion X → C.Se dice que fn converge uniformamente a g (notacion: fn

X⇒ g) si

‖fn − g‖∞ → 0.

En otras palabras, fnX⇒ g si y solo si

∀ε > 0 ∃N > 0 ∀n > N ∀x ∈ X |fn(x)− g(x)| ≤ ε.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 12 / 30

Page 16: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Trasposicion de lımites

Sean X un espacio metrico, x0 ∈ X ,fn y g funciones definidas en X \ x0.

Supongamos que:para todo x ∈ X \ x0 se tiene fn(x)→ g(x) cuando n→∞,para todo n ∈ N se tiene fn(x)→ An cuando x → x0.

Pregunta capciosa¿Podemos deducir de aquı que lım

n→∞An = lım

x→x0g(x), i.e.

lımx→x0

lımn→∞

fn(x) = lımn→∞

lımx→x0

fn(x)?

Respuesta: no. En general, no es posible transponer los lımites.¿Y cuando es posible?Una condicion suficiente es la convergencia uniforme.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 13 / 30

Page 17: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Trasposicion de lımites

Sean X un espacio metrico, x0 ∈ X ,fn y g funciones definidas en X \ x0.

Supongamos que:para todo x ∈ X \ x0 se tiene fn(x)→ g(x) cuando n→∞,para todo n ∈ N se tiene fn(x)→ An cuando x → x0.

Pregunta capciosa¿Podemos deducir de aquı que lım

n→∞An = lım

x→x0g(x), i.e.

lımx→x0

lımn→∞

fn(x) = lımn→∞

lımx→x0

fn(x)?

Respuesta: no. En general, no es posible transponer los lımites.¿Y cuando es posible?Una condicion suficiente es la convergencia uniforme.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 13 / 30

Page 18: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Trasposicion de lımites

Sean X un espacio metrico, x0 ∈ X ,fn y g funciones definidas en X \ x0.

Supongamos que:para todo x ∈ X \ x0 se tiene fn(x)→ g(x) cuando n→∞,para todo n ∈ N se tiene fn(x)→ An cuando x → x0.

Pregunta capciosa¿Podemos deducir de aquı que lım

n→∞An = lım

x→x0g(x), i.e.

lımx→x0

lımn→∞

fn(x) = lımn→∞

lımx→x0

fn(x)?

Respuesta: no. En general, no es posible transponer los lımites.¿Y cuando es posible?Una condicion suficiente es la convergencia uniforme.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 13 / 30

Page 19: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Trasposicion de lımites

Sean X un espacio metrico, x0 ∈ X ,fn y g funciones definidas en X \ x0.

Supongamos que:para todo x ∈ X \ x0 se tiene fn(x)→ g(x) cuando n→∞,para todo n ∈ N se tiene fn(x)→ An cuando x → x0.

Pregunta capciosa¿Podemos deducir de aquı que lım

n→∞An = lım

x→x0g(x), i.e.

lımx→x0

lımn→∞

fn(x) = lımn→∞

lımx→x0

fn(x)?

Respuesta: no. En general, no es posible transponer los lımites.¿Y cuando es posible?Una condicion suficiente es la convergencia uniforme.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 13 / 30

Page 20: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transposicion de lımites: Contraejemplo

Ejemplo (cuando los lımites repetidos no son iguales)

fn(x) =nx

nx + 1 (n ∈ N, x > 0).

Consideremos los lımites repedidos de fn(x) cuando x → 0, n→∞:

lımn→∞

lımx→0

nxnx + 1 = lım

n→∞0 = 0;

lımx→0

lımn→∞

nxnx + 1 = lım

x→01 = 1.

TareaBuscar un ejemplo, cuando uno de los lımites repetidos existe y otro no.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 14 / 30

Page 21: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transposicion de lımites: Contraejemplo

Ejemplo (cuando los lımites repetidos no son iguales)

fn(x) =nx

nx + 1 (n ∈ N, x > 0).

Consideremos los lımites repedidos de fn(x) cuando x → 0, n→∞:

lımn→∞

lımx→0

nxnx + 1 =

lımn→∞

0 = 0;

lımx→0

lımn→∞

nxnx + 1 =

lımx→0

1 = 1.

TareaBuscar un ejemplo, cuando uno de los lımites repetidos existe y otro no.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 14 / 30

Page 22: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transposicion de lımites: Contraejemplo

Ejemplo (cuando los lımites repetidos no son iguales)

fn(x) =nx

nx + 1 (n ∈ N, x > 0).

Consideremos los lımites repedidos de fn(x) cuando x → 0, n→∞:

lımn→∞

lımx→0

nxnx + 1 = lım

n→∞0 = 0;

lımx→0

lımn→∞

nxnx + 1 = lım

x→01 = 1.

TareaBuscar un ejemplo, cuando uno de los lımites repetidos existe y otro no.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 14 / 30

Page 23: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transposicion de lımites: Contraejemplo

Ejemplo (cuando los lımites repetidos no son iguales)

fn(x) =nx

nx + 1 (n ∈ N, x > 0).

Consideremos los lımites repedidos de fn(x) cuando x → 0, n→∞:

lımn→∞

lımx→0

nxnx + 1 = lım

n→∞0 = 0;

lımx→0

lımn→∞

nxnx + 1 = lım

x→01 = 1.

TareaBuscar un ejemplo, cuando uno de los lımites repetidos existe y otro no.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 14 / 30

Page 24: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 15 / 30

Page 25: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integralesVamos a considerar integrales dependientes de un parametro:∫

Ωf (x , λ) dx .

El valor de la integral depende de λ, por eso podemos considerar lafuncion definida por esta integral:

Φ(λ) :=

∫Ω

f (x , λ) dx .

Vamos a demostrar criterios suficientes para que:Φ sea continua;Φ sea derivable y se cumpla la formula de Leibniz:

Φ′(λ) =

∫Ω

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 16 / 30

Page 26: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integralesVamos a considerar integrales dependientes de un parametro:∫

Ωf (x , λ) dx .

El valor de la integral depende de λ, por eso podemos considerar lafuncion definida por esta integral:

Φ(λ) :=

∫Ω

f (x , λ) dx .

Vamos a demostrar criterios suficientes para que:Φ sea continua;

Φ sea derivable y se cumpla la formula de Leibniz:

Φ′(λ) =

∫Ω

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 16 / 30

Page 27: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integralesVamos a considerar integrales dependientes de un parametro:∫

Ωf (x , λ) dx .

El valor de la integral depende de λ, por eso podemos considerar lafuncion definida por esta integral:

Φ(λ) :=

∫Ω

f (x , λ) dx .

Vamos a demostrar criterios suficientes para que:Φ sea continua;Φ sea derivable y se cumpla la formula de Leibniz:

Φ′(λ) =

∫Ω

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 16 / 30

Page 28: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Integrales impropias: repaso

Sea f una funcion definida en el intervalo [a, b) e integrable en todosubintervalo [a, β], a < β < b. Entonces el lımite

lımβ→b

∫ β

af

se llama integral impropia y se denota por∫ →b

af .

Ejemplos (¿cuales de estas integrales son convergentes?)∫ →+∞

0e−x dx ,

∫ →+∞

1

dxx ,

∫ →+∞

1

dxx2 ,∫ 1

→0

dx√x ,

∫ →+∞

1

sin x dxx2 ,

∫ →+∞

1

cos xx dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 17 / 30

Page 29: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Integrales impropias: repaso

Sea f una funcion definida en el intervalo [a, b) e integrable en todosubintervalo [a, β], a < β < b. Entonces el lımite

lımβ→b

∫ β

af

se llama integral impropia y se denota por∫ →b

af .

Ejemplos (¿cuales de estas integrales son convergentes?)∫ →+∞

0e−x dx ,

∫ →+∞

1

dxx ,

∫ →+∞

1

dxx2 ,∫ 1

→0

dx√x ,

∫ →+∞

1

sin x dxx2 ,

∫ →+∞

1

cos xx dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 17 / 30

Page 30: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integrales impropias

Φ(λ) :=

∫ →b

af (x , λ) dx .

Nuestro objetivo consiste en responder las siguientes preguntas(demostrar criterios suficientes):

¿Cuando la integral converge uniformemente?

¿Cuando la funcion Φ es continua?

¿Cuando la funcion Φ es derivable y es posiblederivar respecto al parametro bajo el signo integral?

Φ′(λ) =

∫ →b

a

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 18 / 30

Page 31: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integrales impropias

Φ(λ) :=

∫ →b

af (x , λ) dx .

Nuestro objetivo consiste en responder las siguientes preguntas(demostrar criterios suficientes):

¿Cuando la integral converge uniformemente?

¿Cuando la funcion Φ es continua?

¿Cuando la funcion Φ es derivable y es posiblederivar respecto al parametro bajo el signo integral?

Φ′(λ) =

∫ →b

a

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 18 / 30

Page 32: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integrales impropias

Φ(λ) :=

∫ →b

af (x , λ) dx .

Nuestro objetivo consiste en responder las siguientes preguntas(demostrar criterios suficientes):

¿Cuando la integral converge uniformemente?

¿Cuando la funcion Φ es continua?

¿Cuando la funcion Φ es derivable y es posiblederivar respecto al parametro bajo el signo integral?

Φ′(λ) =

∫ →b

a

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 18 / 30

Page 33: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integrales impropias

Φ(λ) :=

∫ →b

af (x , λ) dx .

Nuestro objetivo consiste en responder las siguientes preguntas(demostrar criterios suficientes):

¿Cuando la integral converge uniformemente?

¿Cuando la funcion Φ es continua?

¿Cuando la funcion Φ es derivable y es posiblederivar respecto al parametro bajo el signo integral?

Φ′(λ) =

∫ →b

a

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 18 / 30

Page 34: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Funciones definidas por integrales impropias

Φ(λ) :=

∫ →b

af (x , λ) dx .

Nuestro objetivo consiste en responder las siguientes preguntas(demostrar criterios suficientes):

¿Cuando la integral converge uniformemente?

¿Cuando la funcion Φ es continua?

¿Cuando la funcion Φ es derivable y es posiblederivar respecto al parametro bajo el signo integral?

Φ′(λ) =

∫ →b

a

∂λf (x , λ)dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 18 / 30

Page 35: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Ejemplos principales

Ejemplo (integral de Dirichlet, integrales de Fresnel)Vamos a calcular las siguientes integrales a traves de integrales impropiasdependientes de parametros:∫ →+∞

0

sin xx dx ,

∫ →+∞

0cos x2 dx ,

∫ →+∞

0sin x2 dx .

Ejemplo (funciones Γ y B)Vamos a estudiar propiedades de las funciones Γ y B definidas comointegrales impropias dependientes de parametros:

Γ(λ) =

∫ →+∞

→0xλ−1e−x dx ; B(λ, µ) =

∫ →1

→0xλ−1(1− x)µ−1 dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 19 / 30

Page 36: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Ejemplos principales

Ejemplo (integral de Dirichlet, integrales de Fresnel)Vamos a calcular las siguientes integrales a traves de integrales impropiasdependientes de parametros:∫ →+∞

0

sin xx dx ,

∫ →+∞

0cos x2 dx ,

∫ →+∞

0sin x2 dx .

Ejemplo (funciones Γ y B)Vamos a estudiar propiedades de las funciones Γ y B definidas comointegrales impropias dependientes de parametros:

Γ(λ) =

∫ →+∞

→0xλ−1e−x dx ; B(λ, µ) =

∫ →1

→0xλ−1(1− x)µ−1 dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 19 / 30

Page 37: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 20 / 30

Page 38: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Convolucion

Definicion (convolucion de dos funciones integrables)Sean f , g ∈ L1(Rn). La convolucion de f y g (notacion: f ∗ g) es unafuncion definida en Rn mediante la formula:

(f ∗ g)(x) =

∫Rn

f (y − x)g(x) dx .

Aplicaciones de la convolucion:densidad de la suma de dos variables aleatorias independientes;promedio movil ponderado en estadıstica;multiplicacion de polinomios (la convolucion discreta);sistemas tiempo-invariantes en ingenierıa electrica;sombras en optica, interferencia en acustica, etc.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 21 / 30

Page 39: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Convolucion

Definicion (convolucion de dos funciones integrables)Sean f , g ∈ L1(Rn). La convolucion de f y g (notacion: f ∗ g) es unafuncion definida en Rn mediante la formula:

(f ∗ g)(x) =

∫Rn

f (y − x)g(x) dx .

Aplicaciones de la convolucion:densidad de la suma de dos variables aleatorias independientes;promedio movil ponderado en estadıstica;multiplicacion de polinomios (la convolucion discreta);sistemas tiempo-invariantes en ingenierıa electrica;sombras en optica, interferencia en acustica, etc.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 21 / 30

Page 40: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Algebra de convolucion

TeoremaSi f , g ∈ L1(Rn), entonces f ∗ g ∈ L1(Rn) y

‖f ∗ g‖1 ≤ ‖f ‖1 · ‖g‖1.

Ademas, la convolucion cumple las siguientes propiedades:Propiedad asociativa: (f ∗ g) ∗ h = f ∗ (g ∗ h).Propiedad conmutativa: f ∗ g = g ∗ f .Propiedad distributiva: (f + g) ∗ h = (f ∗ h) + (g ∗ h).Propiedad homogenea: (λf ) ∗ g = λ(f ∗ g).

Esto significa que el espacio de Banach L1(Rn) con la operacion deconvolucion es una algebra de Banach conmutativa.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 22 / 30

Page 41: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 23 / 30

Page 42: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Series de Fourier

Definicion (coeficientes de Fourier)Para una funcion f ∈ L1[−π, π], sus coeficientes de Fourier son

fn =12π

∫ π

−πf (x)e−nix dx .

Definicion (sumas parciales de Fourier)Para f ∈ L1[−π, π] y m ∈ N,

Sf ,m =m∑

n=−mfnenix .

La serie correspondiente se llama serie de Fourier.Bajo ciertas condiciones, esta serie converge a la funcion original.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 24 / 30

Page 43: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Series de Fourier

Definicion (coeficientes de Fourier)Para una funcion f ∈ L1[−π, π], sus coeficientes de Fourier son

fn =12π

∫ π

−πf (x)e−nix dx .

Definicion (sumas parciales de Fourier)Para f ∈ L1[−π, π] y m ∈ N,

Sf ,m =m∑

n=−mfnenix .

La serie correspondiente se llama serie de Fourier.Bajo ciertas condiciones, esta serie converge a la funcion original.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 24 / 30

Page 44: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Series de Fourier

Definicion (coeficientes de Fourier)Para una funcion f ∈ L1[−π, π], sus coeficientes de Fourier son

fn =12π

∫ π

−πf (x)e−nix dx .

Definicion (sumas parciales de Fourier)Para f ∈ L1[−π, π] y m ∈ N,

Sf ,m =m∑

n=−mfnenix .

La serie correspondiente se llama serie de Fourier.Bajo ciertas condiciones, esta serie converge a la funcion original.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 24 / 30

Page 45: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Convergencia de series de Fourier

Teorema (convergencia en L2)Si f ∈ L2[−π, π], entonces Sf ,m → f en L2[−π, π], i.e.

‖Sf ,m − f ‖2 → 0 cuando m→∞.

Pregunta (convergencia puntual)Dados f : [−π, π]→ C y x0 ∈ [−π, π],¿cuando podemos garantizar que

Sf ,m(x0)→ f (x0)?

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 25 / 30

Page 46: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Convergencia de series de Fourier

Teorema (convergencia en L2)Si f ∈ L2[−π, π], entonces Sf ,m → f en L2[−π, π], i.e.

‖Sf ,m − f ‖2 → 0 cuando m→∞.

Pregunta (convergencia puntual)Dados f : [−π, π]→ C y x0 ∈ [−π, π],¿cuando podemos garantizar que

Sf ,m(x0)→ f (x0)?

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 25 / 30

Page 47: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Contenido

1 Programa del cursoLista de unidadesLiteratura

2 Panorama de los temasConvergencia uniformeFunciones definidas por integralesConvolucionSeries de FourierTransformadas de Fourier y Laplace

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 26 / 30

Page 48: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de Fourier

DefinicionTransformada de Fourier de una funcion f ∈ L1(R) es una funcionF f ∈ L∞(R), definida por la formula:

(F f )(u) =

∫ +∞

−∞f (x)eixu dx .

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 27 / 30

Page 49: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de FourierTeorema (Fourier)Bajo ciertas condiciones, la transformada de Fourier es invertible:si f ∈ L1(R) y F f ∈ L1(R), entonces

f (x) =12π

∫ +∞

−∞(F f )(u)e−ixu du.

Teorema (Plancherel)La transformada de Fourier, debidamente normalizada, conserva laL2-norma: para f ∈ L1(R) ∩ L2(R),∥∥∥∥ 1√

2πF f∥∥∥∥2

= ‖f ‖2.

El operador 1√2πF se puede extender hasta un isomorfismo isometrico

L2(R)→ L2(R).

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 28 / 30

Page 50: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de FourierTeorema (Fourier)Bajo ciertas condiciones, la transformada de Fourier es invertible:si f ∈ L1(R) y F f ∈ L1(R), entonces

f (x) =12π

∫ +∞

−∞(F f )(u)e−ixu du.

Teorema (Plancherel)La transformada de Fourier, debidamente normalizada, conserva laL2-norma: para f ∈ L1(R) ∩ L2(R),∥∥∥∥ 1√

2πF f∥∥∥∥2

= ‖f ‖2.

El operador 1√2πF se puede extender hasta un isomorfismo isometrico

L2(R)→ L2(R).

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 28 / 30

Page 51: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de Fourier, convolucion y derivada

Transformada de Fourier convierte la convolucion en la multiplicacion:

F(f ∗ g) = (F f ) · (Fg).

Transformada de Fourier convierte la derivacion en la multiplicacion por lavariable (con cierto coeficiente):

(F f ′)(u) = iu · (F f )(u).

Gracias a estas propiedades, la transformada de Fourier se usa mucho:en teorıa de ecuaciones integrales:ecuaciones de convolucion y ecuaciones integrales singulares;en teorıa de ecuaciones diferenciales.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 29 / 30

Page 52: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de Fourier, convolucion y derivada

Transformada de Fourier convierte la convolucion en la multiplicacion:

F(f ∗ g) = (F f ) · (Fg).

Transformada de Fourier convierte la derivacion en la multiplicacion por lavariable (con cierto coeficiente):

(F f ′)(u) = iu · (F f )(u).

Gracias a estas propiedades, la transformada de Fourier se usa mucho:en teorıa de ecuaciones integrales:ecuaciones de convolucion y ecuaciones integrales singulares;en teorıa de ecuaciones diferenciales.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 29 / 30

Page 53: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de Fourier, convolucion y derivada

Transformada de Fourier convierte la convolucion en la multiplicacion:

F(f ∗ g) = (F f ) · (Fg).

Transformada de Fourier convierte la derivacion en la multiplicacion por lavariable (con cierto coeficiente):

(F f ′)(u) = iu · (F f )(u).

Gracias a estas propiedades, la transformada de Fourier se usa mucho:en teorıa de ecuaciones integrales:ecuaciones de convolucion y ecuaciones integrales singulares;en teorıa de ecuaciones diferenciales.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 29 / 30

Page 54: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de LaplaceDefinicionTransformada de Laplace de una funcion f definida en [0,+∞)es la funcion Lf , definida por la formula:

(Lf )(u) =

∫ +∞

0e−ux f (x) dx .

Transformada de Laplace y derivada

(Lf ′)(u) = u · (Lf )(u)− f (0).

Transformada de Laplace y convolucion

L(f ∗ g) = (Lf ) · (Lg).

Gracias a estas propiedades, la transformada de Laplace se usa pararesolver ecuaciones diferenciales e integrales.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 30 / 30

Page 55: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de LaplaceDefinicionTransformada de Laplace de una funcion f definida en [0,+∞)es la funcion Lf , definida por la formula:

(Lf )(u) =

∫ +∞

0e−ux f (x) dx .

Transformada de Laplace y derivada

(Lf ′)(u) = u · (Lf )(u)− f (0).

Transformada de Laplace y convolucion

L(f ∗ g) = (Lf ) · (Lg).

Gracias a estas propiedades, la transformada de Laplace se usa pararesolver ecuaciones diferenciales e integrales.

Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 30 / 30

Page 56: An´alisis III. Introducci´onesfm.egormaximenko.com/analysis/analysis3_intro.pdf · LiteraturaII S. Lang, Real Analysis. Addison Wesley. H. L. Royden, Real Analysis. Macmillan. T

Transformada de LaplaceDefinicionTransformada de Laplace de una funcion f definida en [0,+∞)es la funcion Lf , definida por la formula:

(Lf )(u) =

∫ +∞

0e−ux f (x) dx .

Transformada de Laplace y derivada

(Lf ′)(u) = u · (Lf )(u)− f (0).

Transformada de Laplace y convolucion

L(f ∗ g) = (Lf ) · (Lg).

Gracias a estas propiedades, la transformada de Laplace se usa pararesolver ecuaciones diferenciales e integrales.Egor Maximenko (ESFM del IPN) Analisis III. Introduccion 3 de agosto de 2009 30 / 30