I.

DATOS GENERALES
1.1. Ttulo del Proyecto.
Expresin generalizada de las Series de Fourier de funciones no peridicas
en la recta a funciones no peridicas en el espacio eucldeon-dimensional
1.2. Tipo de Investigacin
Bsica
1.3. rea de Investigacin
Anlisis funcional
1.4. Responsable del proyecto y miembros del equipo investigador
Equipo
investigador

Docente

Labor a desarrollar

Investigador Msc. Jhony Alfonso

principal
Chvez Delgado

Transformada de Fourier en L1
Transformada de Fourieren L2

Investigador
colaborador

Lic. Luis Mndez

Avalos

Serie de
complejos

Investigador
colaborador

Lic. Augusto
Becerra Castaeda

Espacios medibles

Investigador
colaborador

Lic. Eduardo
Rodrguez Delgado

Integracin y espacios Lp

Fourier

reales

1.5. Localidad o institucin donde se realizar la investigacin

Universidad Nacional Jorge Basadre Grohman-Tacna
1.6. Entidades o personas con las que coordina el proyecto
Dr. Milton Cortez Gutirrez
1.7. Duracin del Proyecto
12 meses
II. PLANTEAMIENTO TEORICO DE LA INVESTIGACIN
2.1. Planteamiento del problema
2.1.1. Descripcin del Problema
Las series e integrales de Fourier constituyen un tema clsico del
anlisis matemtico. Desde su aparicin en el siglo XVIII en el estudio de las
vibraciones de una cuerda, las series de Fourier han sido una piedra de toque
para el desarrollo de los conceptos bsicos del anlisis (funcin, integral, serie,
convergencia...), y la evolucin de estos conceptos ha ido abriendo a su vez
nuevos rumbos en el anlisis de Fourier. As lo expresa Zygmund en el prlogo
de su famoso libro sobre series trigonomtricas (1958): Esta teora ha sido una
fuente de nuevas ideas para los analistas durante los dos ltimos siglos y
probablemente lo ser en los prximos aos. Muchas nociones y resultados
bsicos de la teora de funciones han sido obtenidos por los matemticos
trabajando sobre series trigonomtricas. Es concebible pensar que estos
descubrimientos podan haber sido realizados en contextos diferentes, pero de
hecho nacieron en conexin con la teora de las series trigonomtricas. No fue
accidental que la nocin de funcin aceptada ahora generalmente fuera
formulada en la celebrada memoria de Dirichlet (1837) que trata de la

convergencia de la serie de Fourier, o que la denicin de integral de Riemann

en su forma general apareciese en el Habilitationsschrift de Riemann sobre
series trigonomtricas, o que la teora de conjuntos, uno de los desarrollos ms
importantes de las matemticas del siglo XIX, fuera creada por Cantor en su
intento de resolver el problema de los conjuntos de unicidad para series
trigonomtricas. En pocas ms recientes, la integral de Lebesgue se
desarroll en estrecha conexin con la teora de series de Fourier y la teora de
funciones generalizadas (distribuciones) con la de las integrales de Fourier
(Javier Duoandikoetxea)
El Anlisis de Fourier que es el estudio de las series, de las integrales y
de la Transformada de Fourier; se llama as en honor a Joseph Fourier (1768- 1
830), un matemtico francs que vivi durante la poca napolenica. Aunque
Fourier ha sido justamente reconocido al darle su nombre a esta importante
rama del anlisis, muchos de sus contemporneos y predecesores inmediatos
contribuyeron a sus logros. Es por ello que podemos encontrar a la
transformada en los primeros escritos de Cauchy y Laplace, a partir de1782.
Para comenzar con su estudio podemos decir que las series de Fourier
representan funciones definidas un intervalo de la recta, o equivalentemente
, funciones peridicas en la recta. Para representar funciones definidas en toda
la recta y no peridicas, se sustituye por la Transformada de Fourier.
Formalmente se puede deducir la expresin de la Transformada de Fourier a
partir de la serie. Supongamos que f es una funcin peridica de perodo 2L,
entonces su serie de Fourier en forma compleja se escribe en la forma: Todo lo
que hicimos anteriormente fue puramente formal y con el nico objetivo de
sugerir la definicin de la Transformada de Fourier. A continuacin daremos

una definicin precisa: Siendo f una funcin integrable en el sentido de la

integral de Lebesgue definida en

, su Transformada de Fourier ser la

funcin definida y con valores complejos. Igual que las series de Fourier en
el caso de funciones peridicas, la Transformada de Fourier realiza una
descomposicin o anlisis de f en componentesahora en lugar de presentar
slo frecuencias discretas formando una sucesin aparece un rango continuo
de frecuencias (todo ). A cada frecuencia le corresponde un coeficiente
()que ser, en general, un nmero complejo. Su mdulo es la amplitud y su
argumento es la fase.Slo para mencionar algunas aplicaciones, digamos que
la Transformada de Fourier se aplica en el estudio de seales ysistemas, as
como en ptica, aparece en los aparatos sofisticados modernos como los que
se usan para tomar una tomografa, tambin surgen en las tcnicas analticas
como la resonancia magntica nuclear, y en general, en todo tipo de
instrumentacin cientfica que se use para el anlisis y la presentacin de datos
. Tambin tienemuchas aplicaciones en la teora de probabilidad, en la teora
de los nmeros, en la combinatoria, en el estudio de las ecuaciones
diferenciales, en la fsica y en la propagacin de ondas (Mariana Valeria Prez
[18]).
La transformada de Fourier, denominada as por Joseph Fourier, es una
transformacin matemtica empleada para transformar seales entre el
dominio del tiempo (o espacial) y el dominio de la frecuencia, que tiene muchas
aplicaciones en la fsica y la ingeniera. Es reversible, siendo capaz de
transformaciones de cualquiera de los dominios al otro. El propio trmino se
reere tanto a la operacin de transformacin como a la funcin que
produce.En el caso de una funcin peridica en el tiempo (por ejemplo, un
4

sonido musical continuo pero no necesariamente sinusoidal), la transformada

de Fourier se puede simplicar para el clculo de un conjunto discreto de
amplitudes complejas, llamado coecientes de las series de Fourier. Ellos
representan el espectro de frecuencia de la seal del dominio-tiempo original.
La transformada de Fourier es una aplicacin que hace corresponder a
una funcin f de valores complejos y denido en la recta, con otra funcin g:
donde f es L1, es decir, f tiene que ser una funcin integrable en el sentido de la
integral de Lebesgue. El factor, que acompaa la integral en denicin facilita el
enunciado de algunos de los teoremas referentes a la transformada de Fourier.
Aunque esta forma de normalizar la transformada de Fourier es la ms
comnmente adoptada, no es universal. La transformada de Fourier as
denido goza de una seriede propiedades de continuidad que garantizan que
puede extenderse a espacios de funciones mayores e incluso a espacios de
funciones generalizadas. Sus aplicaciones son muchas, en reas de la ciencia
e ingeniera como la fsica, la teora de los nmeros, la combinatoria, el
procesamiento de seales (electrnica), la teora de la probabilidad, la
estadstica, la ptica, la propagacin de ondas y otras reas. En procesamiento
de seales la transformada de Fourier suele considerarse como la
descomposicin de una seal en componentes de frecuencias diferentes, es
decir, g corresponde al espectro de frecuencias de la seal f. (Transformada de
Fourier.pdf)
Las series e integrales de Fourier constituyen un tema clsico del
anlisis matemtico. Desde su aparicin en el siglo XVIII en el estudio de las
vibraciones de una cuerda, las series de Fourier han sido una piedra de toque

para el desarrollo de los conceptos bsicos del anlisis (funcin, integral, serie,
convergencia...), y la evolucin de estos conceptos ha ido abriendo a su vez
nuevos rumbos en el anlisis de Fourier.
2.1.2. Delimitacin del Problema.
En la facultad de ciencias, especficamente en la escuela

de

matemtica, se han presentado problemas en cuanto a generalizar la series de

Fourier.Sabemos que las series de Fourier representan funciones definidas en
o, equivalentemente, funciones peridicas en el espacio .En este proyecto
investigaremos

funciones definidas no peridicas en la recta y luego

generalizaremos a todo el espacio que no son necesariamente peridicas

en ; siendo la necesidad de formalizar y ordenando cada uno de los temas
a desarrollarse con la rigurosidad lgica de las definiciones y las propiedades
de la teora del anlisis funcional, ascomo la contrastacin mediante las
ejemplificaciones haremos que el presente proyecto sea ms atractivo y de fcil
acceso a los docentes universitarios de otras reas, as como a los mismos
estudiantes de la Universidad Nacional Jorge Basadre Grohmann.
2.1.3. Formulacin del Problema.
2.1.3.1. Problema general
a) Es posible conseguir una expresin generalizada de las Series de Fourier
de funciones no peridicas en la recta a funciones no peridicasdefinida en el
espacio eucldeo n- dimensional?
2.1.3.2. Problemas especficos.
a) Es posible conseguir una expresin generalizada de las Series de Fourier
de funciones no peridicas en a funciones no peridicas en el espacio
1 ( )?

b) Es posible conseguir una expresin generalizada de

Fourierde funciones no peridicas

las Series

de

en a funciones no peridicas en el

espacio 2 ( ) ?
2.2. Justificacin o importancia de la investigacin.
El siguiente proyecto de investigacin es una expresin generalizada de
las Series de Fourier no peridicas

definidas en la recta, a funciones no

peridicas definidas en el espacio , la que se justifica porque permite

investigar series de Fourier de funciones no peridicas, sin embargo, si estas
funciones son tratadas como funciones integrables en el sentido de Lebesgue
definidas en es posible generalizar las series de Fouriera funciones no
peridicas en el espacio en As mismo, se ha aplicado en reas tales como
conduccin de calor, ptica, procesamiento de seales y probabilidad, y recibi
importantes contribuciones de N. Wiener, quien desarroll lo que hoy en da se
conoce como anlisis armnico generalizado. Tambin se ha vuelto ms
abstracta , algunas de las principales guras fueron E. Cartan, H. Weyl, y
Harish-Chandra.Las series de Fourier fueron ideadas para estudiar un
problema fsico; no sorprende entonces que hayan encontrado tantas
aplicaciones. Como muestra este breve resumen de los intentos para
comprender el comportamiento de estas series que sentaron las bases del
anlisis armnico. A pesar que la expresin generalizada de la serie de Fourier
ha captado la atencin de muchos investigadores queremos mostrar una teora
clara y coherente, para que sea ms

atractiva y de fcil acceso a los

investigadores de otras reas, as como a los mismos

matemtica.

estudiantes de

2.3. Objetivos de la investigacin.

2.3.1. Objetivo General.
a) Ejemplificar las Series de Fourier de funciones no peridicas en la recta a
funciones no peridicas definidas en el espacio .
2.3.2. Objetivos especficos.
a)

Ejemplificar

las Series

de Fourier de funciones no peridicas en a

funciones no peridicas en espacio 1 ( )

b) Ejemplificar

las Series

de Fourier de funciones no peridicas

en a

funciones no peridicas en espacio 2 ( )

2.4. Hiptesis de la investigacin
2.4.1. Hiptesis general
a) Una expresin de las Series de Fourier de

funciones no peridicas en la

recta a una funcin no peridica en el espacio es posible generalizarla

medio de

por

funciones integrables en el sentido de Lebesgue definida en y

luego se extiende esta definicin a .

2.4.2. Hiptesis especficas
a)Una expresin de las Series de Fourier de funciones no peridicas en la
recta a una funcin no peridica en el espacio es posible generalizarla por
medio de funciones integrables en el sentido de Lebesgue definida y luego
se extiende esta definicin al

espacio L1 (n ) por medio de propiedades

algebraicas y analticas.
b)Una expresin de las Series de Fourier de funciones no peridicas en la
recta a una funcin no peridica en el espacio es posible generalizarlo por
medio de funciones integrables en el sentido de Lebesgue definida yluego

se extiende esta definicin al espacio L2 (n ) por medio de la isometra sobre

ese espacio.
2.5.

Variables de estudio e indicadores.

2.5.1. Variable independiente e indicadores

a) Expresin generalizada de las Series de Fourierde funciones no peridicas
en la recta.
2.5.1.2. Indicadores
A1) Funciones no peridicas en
A2)Funciones no peridicas en
2.5.2. Variable dependiente e indicadores
2.5.2.1.Variable dependiente
b)Funciones no peridicas en el espacio eucldeo n- dimensional
2.5.2.2.Indicadores
B1) Funcin no peridica definida en el espacio 1 ( )
B2) Funcin no peridica definida en el espacio 2 ( )
III. MARCO TERICO DE LA INVESTIGACIN.
3.1. Antecedentes del problema.
Cuando se hace alguna consulta histrica sobre los llamados mtodos de
Fourier y su inuencia en la historia de la Matemtica, un aspecto comn suele
ser el comentario que se reere al procedimiento usado por Fourier en el
clculo de los coecientes del desarrollo considerado. Es ms o menos, as:
Para calcular los coecientes, Fourier Jean Baptiste J. Fourier (1768-1830)
usel desarrollo en serie de potencias de la funcin dada y de las funciones
trigonomtricas consideradas. Reorden estos desarrollos con objeto de igualar
los trminos que multiplican a las respectivas potencias y llega un sistema
9

lineal de innitas ecuaciones con innitas incgnitas. Entonces consider un

sistema lineal nito con m ecuaciones y m incgnitas (sistema formado con las
primeras m las y las primeras m columnas del sistema innito original).
Resolvi este sistema nito e hizo tender m al infinito. Despus de un anlisis
largo y complicado, alcanz su clebre frmula para los coecientes.
Uno de los problemas ms interesantes del que se ocuparon los cienticos del
siglo XVIII (y que posteriormente motiv el estudio de muchos otros similares)
fue el problema de la cuerda vibrante. Si tomamos como referencia el
estupendo texto de M. Kline ([7]), el primer matemtico que elabor un modelo
apropiado para estudiar este problema fue Jean Le Rond DAlembert en 1747
(para esta breve seccin puede consultarse el texto citado para documentarse
de manera muy precisa sobre fechas, revista cientca donde se realizaron las
publicaciones, volumen, pginas, etc. Tambin son tiles [3] y [11]).
En su versin ms sencilla, DAlembert demostr que si la funcin u(x, t)
representa el desplazamiento vertical de la cuerda, en la coordenada x
(suponemos 0 x por simplicidad) y el tiempo t, entonces, si la posicin
inicial de la cuerda viene dada por una funcin f y la velocidad inicial de la
misma es cero, la funcin u satisface un problema de tipo mixto de la forma
2 U x,y
t 2

2 U x,y
x 2

; 0 < < , > 0, > 0

u x, 0 = f x = ut x, 0 = 0 ,0 x
u 0, t = u , t = 0

(1)

,t 0

DAlembert demostr adems que la solucin de (1) viene dada por

1

u x, t = 2 f x + t + f x t

(2)

dondef es la extensin a R, impar y 2 peridica de la funcin f.

La frmula (2) fue tambin demostrada por Euler en 1749. Euler difera de
10

DAlembert en el tipo de funciones iniciales f que podan tenerse en cuenta. De

hecho, estas diferencias pueden considerarse como una de las primeras
manifestaciones escritas sobre los problemas que ha llevado consigo la
denicin Fourier y sus coecientes de la nocin de funcin, un concepto que
hoy en da presumimos de tener muy claro. Mientras que para DAlembert, f
debera tener una frmula concreta (una nica expresin analtica), Euler
defenda que no haba ninguna razn fsica para no admitir como posiciones
iniciales f a aquellas que, en diferentes partes de [0, ], tuviesen expresiones
distintas, siempre que al considerarlas unidas la posicin inicial resultante
tuviese una apropiada regularidad. Pareceser que tal discusin entre
DAlembert y Euler provena del hecho de que en su tiempo se admita que
cada funcin daba lugar a una grca, pero no recprocamente (cuando la
grca considerada tena diferentes expresiones en distintos intervalos). En
resumen, Euler defenda que cualquier grca poda considerarse como curva
inicial, tesis que no era compartida por DAlembert. A este respecto puede
consultarse la versin castellana de un interesante artculo de Luzin sobre el
concepto de funcin ([10]).
Otra manera de obtener la solucin del problema (1), completamente distinta
(al menos a primera vista), fue propuesta por Daniel Bernoulli en 1753. La idea
clave es obtener la solucin de (1) como superposicin de ondas ms sencillas,
concretamente aquellas que son de la forma
un x, t = sen nx cos nt , n ,

(3)

donde N es el conjunto de los nmeros naturales. Para cada tiempo t ja, la

anterior funcin es un mltiplo de la funcin sen (nx), que se anula
exactamente en n 1 puntos del intervalo (0, ). As, si pudisemos observar

11

la vibracin de la cuerda correspondiente a las ondas un, tendramos n 1

puntos, llamados nodos, en los que la cuerda se mantendra constantemente
ja en el eje de abscisas (como en los extremos del intervalo [0, ]). Entre
dichos nodos, la cuerda oscilara de acuerdo con (3).
u x, t =

=1

sen nx cos nt ,

(4)

donde los coecientes fn han de elegirse adecuadamente para que se

satisfagan todas las relaciones de (1). Si la solucin propuesta por Bernoulli
fuese correcta, ello implicara que
f x =

n=1 fn

sen nx , x 0 , ,

(5)

para una adecuada eleccin de los coecientes fn. Este punto de vista expuesto
por Bernoulli no tuvo aceptacin en su tiempo. En particular, recibi duras
contestaciones por parte de DAlembert y Euler quienes no admitan que una
funcin inicial f, ms o menos arbitraria, pudiera representarse en la forma (5).
Representativo de esto que decimos puede ser el artculo de DAlembert
titulado Fundamental contenido en el volumen sptimo de la famosa
Enciclopedia. La controversia se prolongdurante aos.
Parece ser que las ideas de Bernoulli fueron fuente de inspiracin para
Jean Baptiste-Joseph Fourier, matemtico y fsico francs y profesor de
anlisis de la Escuela Politcnica. Fourier se interes por la teora de la
conduccin del calor en los cuerpos slidos. En 1807 envi un artculo a la
Academia de Ciencias de Paris (Mmoire sur la propagation de la chaleur), que
trataba sobre dicho tema. En su versin ms elemental (vase de nuevo [25]),
Fourier se interes por un problema de tipo mixto para la ecuacin del calor de
la forma
2 U x, y
2 U x, y
=
t 2
x 2

; 0 < < , 0 < < ,

12

u x, 0 = f x ,0 x ,
u 0, t = u , t = 0

(6)
,0 t T.

Como Bernoulli, Fourier busc las soluciones ms sencillas que puede

presentar este problema usando el mtodo de separacin de variables y arm
que la solucin de (6) viene dada como superposicin de ellas. Ms
precisamente, Fourier propuso como solucin de (6) a la funcin u dada por la
serie
u x, t =

=1

exp 2 sen nt ,

donde
2
=

() sen nx dx, n .
0

Sin duda, el hecho de haber alcanzado la frmula anterior para los coecientes
fnes una de las contribuciones fundamentales de Fourier, y marca una
diferencia signicativa respecto del trabajo previo de Bernoulli sobre este tema.
El artculo de Fourier fue estudiado por los miembros de la Academia
Francesa y, en trminos generales, recibiserias crticas de los mismos, siendo
su principal objecin la falta de rigor. No obstante, los cienticos de tan
prestigiosa institucin estaban convencidos de la importancia que tenan los
problemas relacionados con la propagacin del calor y, los resultados
tericospresentados por Fourier tenan una gran concordancia con diversos
experimentos llevados a cabo previamente. Por este motivo, convocaron un
premio sobre el tema. Dicho premio fue otorgado a Fourier en 1812, pero a
pesar de esto se continuo criticando su falta de rigor, de tal manera que
aunque obtuvo el citado premio, Fourier no consiguiel propsito de publicar su
trabajo en Fourier y sus coecientes la clebre serie Mmoiresde la Academia
Francesa. Fourier pblico por su cuenta su famoso libro Thorie Analytique de
13

la Chaleur, en 1822 en Pars, donde incorporo parte de su artculo de 1812

prcticamente sin cambio. Este libro es actualmente una de las obras clsicas
en matemticas. Dos aosmstarde consiguiel cargo de Secretario de la
Academia Francesa y al n pudo publicar el mencionado artculo en la serie
Mmoires.
Riemann tambin se interes por el tema armando que era importante,
al menos para los matemticos aunque no necesariamente para las
aplicaciones fsicas, establecer lascondiciones ms amplias posibles bajos las
cuales tienen sentido las frmulas de los coecientes de Fourier. Introdujo as
lo que llamamos hoy en da integral de Riemann, cuya idea bsica es por una
parte no asumir necesariamente que f es continua, y por otra establecer
condiciones lo ms generales posibles para que las sumas de Riemann tengan
un nico lmite cuando las longitudes de todos los subintervalos de la particin
considerada tienden a cero. Esto le permiti integrar funciones con un nmero
innito de discontinuidades. No obstante, hubo que esperar a los trabajos de
Lebesgue sobre la medida de un conjunto, para tener una caracterizacin
precisa de las funciones que pueden integrarse segn Riemann. De hecho, la
que se considera actualmente como integral denido en muchos aspectos, es
la introducida por Lebesgue en 1902 en su tesis doctoral: Intgrale, longueur,
aire. El punto de partida, respecto de la nocin de integral de Cauchy o de
Riemann es completamente diferente, pues lo que se intentaba era medir, de
alguna forma, el conjunto de puntos de discontinuidad de una funcin dada
(vase [1]). La nocin de integral de Lebesgue permiti probar con gran
generalidad muchas conclusiones sobre series de Fourier que, con anterioridad
a Lebesgue, eran conocidas para tipos particulares de funciones (lema de

14

Riemann-Lebesgue, igualdad de Parseval, criterios de convergencia puntual,

etc.). Adems, muchos resultados de la teora de integracin de Lebesgue se
expresan con una gran simplicidad y claridad respecto de las teoras de
integracin anteriores (teoremas de convergencia, teorema de Fubini, etc.), de
tal forma que el conocimiento de la teora de la integral de Lebesgue es, hoy en
da, imprescindible, para poder entender y presentar adecuadamente la teora
de series de Fourier (Antonio Caada Villa [4]).

3.2.Fundamentos tericos
3.2.1. Integral de Lebesgue
3.2.1.1. Espacio de Medida
Denicin 1. Sea X un conjunto, se dice que A P(X) es lgebra si
verica:1. ,

2. es cerrada por complementacin i.e. ,

3. A es cerrada por uniones numerables, finitas o no, i.e.

Observacin 1. = ,es siempre lgebra.

Lema 1. Si {A} D es una coleccin arbitraria de lgebras, entonces

es

lgebra.

Denicin 2. lgebra de Borel. En se dene la lgebra de Borel,

como aquella generada por los intervalos abiertos

15

, : , , <

La denicin de tambin funciona con intervalos cerrados, semi abiertos o

incluso innito como [a, ).

Denicin3. (Funcin medible). Diremos que : ,

es

medible

si se tiene

1 ,

= : >

Ejemplo1. Veamos unos cuantos ejemplos.

1. f x = const. = c.

f 1 a,

si a <
resto.

2. Las funciones continuas son medibles. Observar que (a, ) R es un

intervalo abierto y por lo tanto f

((a, )) es otro abierto al ser f continua y

como sabemos tales conjuntos son medibles

3. La funcin indicatriz

A x =

0 , x A
1 ,x A

vindose que, es medible,

1
A

a,

si a <
A
si a [0,1)
=
si a 1.
16

3.2. 2.Espacios de Lebesgue

Comenzamos el estudio de los espacios de Lebesgue haciendo un
resumen de los espacios de Lp y de algunas de las propiedades que
utilizadas ms adelante.

breve
sern

Sea un abierto no vaco de . Recordemos que : fes una

funcin medible si el conjunto
< es medible (respecto de la
medida de Lebesgue en ) para cualquier valor de . Como es habitual,
identicaremos funciones que son iguales salvo un conjunto de medida
(Lebesgue) nula (iguales casi por doquier). Para la integral de Lebesgue
usaremos la siguiente notacin

f f ( x)dx

3.2.2.1. Espacios LP.

Denicin4. Para p [1, ), Lp () (abreviatura de Lp (, ), cuando es la
medida de Lebesgue en

) es el espacio de (clases de) funciones u,

medibles en y que son p-integrables en , es decir,

En el caso p = , se tiene que L () es el espacio de (clases de) funciones u,

medibles en que estn esencialmente acotadas en , es decir, tales que
existeM > 0 y N con medida nula vericando |u(x)| M para cada x \

N.

Los espacios vectoriales anteriores son normados para las normas:

17

p ;

LP

1/ p

para

p [1, ),

= > 0: () . . .

Es conocido que (Lp (), || ||p;) es un espacio de Banach para cualquier valor
de p [1, ).En el caso particular de p = 2, es decir, (L 2 (), || ||2;) es un

espacio de Hilbert.
3.2.2.2. Desigualdades
Desigualdad de Young. Si p [1, ), denotaremos q al exponente conjugado
de p, es decir, q [1, ) y
1

+ = 1 = 1, = , = 1 .

Sean p 1, y q 1, su exponente conjugado, entonces

ab

1 p 1 q
a + b a, b 0, .
p
q

Desigualdad de Holder.Sean p [1, ) y q [1, ) su exponente conjugado,

entonces

18

 uv

p ;

p
q

L
(

),
v

L
()
q ;

para p y q en (1, ) la desigualdad del Holder se escribe:

u
uv

1/ p

1/ q

u Lp (), v Lq ().

En particular si p=q=2 se tiene la desigualdad de Schwartz

1/ 2

uv

1/ 2

u L2 (), v L2 ().

Desigualdad de Minkowsky

1/ p

u v p

1/ p

p
u

1/ p

u Lp (), v Lp ().

Tambin se tiene

Teorema 1.

1. Lp () es un espacio de Banach, p [1, ). Para p = 2 se tiene que L 2 ()

es un espacio de Hilbert para el producto

(u , v) 0;

u ( x)v( x)dx, u, v L

().

2. Lp () es separable si p [1, ). De hecho, D () es denso en L p () para p

[1, ). Por otro lado, L() no es separable.

19

3. Teorema de representacin. Sea p [1, ) y L [Lp ()]. Entonces, existe v

Lp () tal que

L(u )

u ( x)v( x)dx, u L

().

Adems,

[ ()]

. De este modo podemos identificar al espacio dual

de () con ().

4. Lp () es un espacio reexivo si p (1, ). Ni L1 () ni L () son espacio

reexivo

Denicin5. Denotamos por Lploc () el espacio vectorial de las funciones

reales medibles y localmente p-integrables en , es decir,

U: IRn IR medible tal que u Lp(), .

Observacin.2.1.

Cuando

escribimos

queremos

decir

es un compacto contenido en . Por otro lado, L ploc () no es un espacio

normado (es lo que se llama un espacio de Frchet) aunque podemos denir

una nocin de convergencia para sucesiones en L ploc (): Dada {un}

20

n1

Lploc() y u Lploc (), diremos que un converge hacia u en Lploc () (un u en

Lploc ()) si un u en Lp () para cada .

Ejemplo 2.2.

1 ,
0,

Para Riemann no es integrable, pero para Lebesgue si es integrable.

3.3. Marco conceptual

3.3.1. Series trigonomtricas y polinomios trigonomtricos
Se llama serie trigonomtrica de periodo 2 a toda serie de funciones de
la forma

(
=1

+ ).

(1.1)

Se llama polinomio trigonomtrico de grado N y periodo 2 a toda

expresin de la forma

(
=1

+ ).

(1.2)

Si al menos uno de los coecientes a N y bN es distinto de cero se diceque

elgrado del polinomio es N. Observase que las sumas parciales de las series
trigonomtricas (1.1) son polinomios trigonomtricos.
3.3.2. Series de Fourier
Dada una funcin peridica de periodo 2 buscamos una serie trigonomtrica
que la represente, es decir, que coincida con ella en algn sentido.
Ortogonalidad del sistema trigonomtrico.
21

La familia de funciones {1, cos x, cos 2x,. . ., sen x, sen 2x,. . .} que interviene
en la serie (1.1) satisface la siguiente propiedad de ortogonalidad:

para cualquier par 1

1 x 2 x dx = 0,

2 de funciones distintas de la familia. Si1 = 2 la

integral es , salvo para la funcin 1 en cuyo caso es 2.

Los coecientes de Fourier.
Los valores de ak, bk que se obtienen son los siguientes:
ak =

f x cos kx dx ,

f x sen(kx)dx

bk =

(1.3)

Denicin1.Dada una funcin integrable f, los nmeros {a k, k = 0, 1, 2,. . .}y

{bk, k = 1, 2,. . .} dados por las frmulas (1.3) se llaman coecientes de Fourier
de f. La serie trigonomtrica (1.1) construida con estos coecientes se llama
serie de Fourier de f.
Los coecientes dependen de la funcin y cuando intervienen simultneamente
coecientes de varias funciones distintas, conviene hacer explcita esta
dependencia; en esos casos escribiremos ak (f) y bk (f).
Observemos que si f es un polinomio trigonomtrico, el intercambio de sumas e
integrales est perfectamente justicado por la linealidad de la integral y
deducimos que los coecientes del polinomio trigonomtrico (1.2) vienen dados
por las frmulas (1.3).
3.3.3. Propiedades elementales de los coecientes

22

1. Las sucesiones {ak, k = 0, 1, 2,. . .} y {bk, k = 1, 2,. . .}estn acotadas; en

efecto,
1

ak , bk

f(x) dx

2. Linealidad:
ak(f + g) = ak(f) + ak(g) , bk(f + g) = bk(f) + bk(g) .
3. Si f existe y es continua,
ak f =

bk f
k

,b f =

ak f
, = 1,2,
k

Aqu la continuidad y la existencia de derivada se entienden referidas a la

funcin extendida peridicamente. Esta propiedad se demuestra integrando por
partes; en realidad, si f es continua, es suciente con que sea derivable a
trozos y f continua a trozos. Hay otras versiones para cuando f tiene
discontinuidades.
4. Si f es par (es decir, f(x) = f(x)), se tiene bk(f) = 0 para todo k y la frmula ak
se puede escribir:
2

ak =

f x cos kx dx

Cuando f es impar (es decir, f(x) = f(x)), tenemos a k(f) = 0

para todo k y la frmula bkse puede escribir
2

bk =

f x sen(kx)dx .

Teorema1. (Desigualdad de Bessel). Si f2 es integrable,

a0 2
2

2
k=1(ak

+ b2k )

2
f .

En particular, para las funciones de cuadrado integrable deducimos que las

sucesiones de sus coecientes de Fourier {ak} y {bk} convergen a cero
(condicin necesaria de convergencia de la serie). Obsrvese que aunque no
toda funcin integrable es de cuadrado integrable, s lo es si est acotada.
23

3.3.3 Qu son funciones integrables?

Deliberadamente hemos dejado el trmino integrable sin calicar de modo que
podemos dudar si hablamos de la integral de Riemann o de la de Lebesgue.
Desde la aparicin de sta a principios del siglo XX, es el marco natural para
las series de Fourier. Pero toda la teora clsica se desarroll en el siglo XIX en
trminos de laintegral de Riemann, as que quien no conozca la teora de la
integral de Lebesgue puede considerar que en todos los enunciados referidos a
series de Fourier hablamos de funciones integrables Riemann. Slo hay que
hacer una observacin: para la integral de Riemann de funciones no acotadas
se consideran integrales impropias y en ese caso los resultados se limitan a las
que son absolutamente convergentes.
Definicin2.Un espacio de Hilbert es un espacio Pre-Hilbert H en el que toda
sucesin de Cauchy converge con respecto a . =<. >1/2 .
L2 ()es un espacio de Hilbert ,pues con respecto a la norma inducida por el
producto interno,L2 () es un espacio de Banach
Definicion3.Si 1 () , la TRANSFORMADA DE FOURIER de f, denotada
por ( ) se define como:
=

1
2

()

IV. DISEO METODOLGICO DE LA INVESTIGACIN.

4.1. Tipo de investigacin y diseo de investigacin.
La investigacin corresponde a las ciencias formales del tipo bsica y el diseo
es descriptivo que nos lleva a la bsqueda de conocimientos en el anlisis
funcional.

24

4.2. Poblacin y Muestra.

Poblacin: Funciones peridicas y no peridicas definidas en el espacio
( )
Muestra:Funciones integrables en el sentido de Lebesgue definida en

el

espacio 1 ( ) y el espacio 2 ( )
4.3. Material de estudio.
.En el presente informe de investigacin nuestro material de estudio son
funciones integrables en el sentido de Lebesgue tal que
=

+
1
2

()

4.4. Mtodos y Tcnicas

Se emplearn los mtodos lgicos inductivo y deductivo respectivamente. El
mtodo deductivo es utilizado para justificar matemticamente las condiciones
necesarias o suficientes para la existencia de funciones integrables en el
sentido de Lebesgue el mtodo inductivo es para contrastar el funcionamiento
de dichas condiciones, utilizando ejemplos

conocidos de funciones no

peridicas.
4.5. Modelo de contrastacin y verificacin de hiptesis
Se define la Transformada de Fourier sobre para funciones integrables en el
sentido de Lebesgue y colocamos algunos ejemplos explcitos. A continuacin
se extiende esta definicin a con algunas propiedades algebraicas y
analticas de este operador. A continuacin definimos la transformada de
Fourier sobre L2que ser una isometra sobre este espacio.

25

V. ASPECTOS ADMINISTRATIVOS DE LA INVESTIGACIN.

5.1. Plan de Acciones y Cronograma.

TRIM 1
TRIM 2
TRIM 3
TRIM 4
M M M M M M M M M M M M
1 2 3 1 2 3 1 2 3 1 2 3
I
1.1
1.2
1.3
1.4
1.5
II
2.1
2.2
2.3
III
3.1
IV
4.1
4.2
V
5.1
5.2
5.3
5.4
VI
6.1
6.2

Planificacin
Informacin bsica
Informacin bibliogrfica
Elaboracin del marco terico
Formulacin del proyecto
Aprobacin
Instrumentacin

x
x

X
X
X
X

X
X
X

Series de Fourier reales y complejos

Espacio medible
Integracin y espacios L p

X
X

x
x

Ejecucin / Trabajo de Campo

Transformada de Fourier

Anlisis de datos

Transformada de Fourier en L1
Transformada de Fourier en L2

X
X

Preparacin del Informe Final

Redaccin del borrador de informe
Revisin del borrador de informe
Aprobacin del borrador de informe
Edicin final
Presentacin y/o sustentacin
Presentacin de informe final
Sustentacin

x
x
x
x
x
x
x

5.2. Asignacin de recursos.

5.2.1. Recursos Humanos.
Investigador responsable e Investigadores miembros.
5.2.2. Recursos Materiales.
Una computadora Pentium IV, una impresora y tinta para la impresin.
tiles de escritorio-Bibliografa, Fotocopias y USB
5.2.3. Servicios.
Servicio de alquiler de equipos,Gastos de transporte y viticos, Paquetes de
software y Servicio de apoyo.

26

5.3. Control y Evaluacin del ProyectoLos avances parciales del PROIN

sern evaluados por el OGIN/UNJBG
5.4. Presupuesto y Financiamiento del Proyecto.
CUADRO DE FINANCIAMIENTO DEL PROYECTO
clasificador
Descripcin

Unidad

C
aantidad

de
medida

Valor

Sub

Unitar

Total

io

S/.

TTrim1

Trim2

Tri3

Tri4

Finan.

S/.

S/.

S/.

S/.

Bienes
a) Material de
escritorio

231512

250

75

75

75

75

222344

350

75

75

100

100

b) Material de
impresin
c) Material

Recursos

bibliogrfico
2

231911

Libros

50

400

150

150

50

50

232738

Asesor

600

600

150

150

150

150

Servicios

Propios
50%

a) Servicio
especializado
b) Servicio de

UNJBG
232514

Equipo

300

300

50

50

100

100

232121

Pasajes

40

200

50

50

50

50

266132

software

40

150

36.5

36.5

36.5

36.5

personal

250

250

50

50

75

75

alquiler de
equipos
c) Gastos de
transporte y
viticos
d) Paquetes de
y software
e) Servicio de
apoyo
S/.

Total

2500

FINANCIAMIENTO

PRESUPUESTO
DESCRIPCION
TOTAL

R.PROPIOS

UNJBG

BIENES

S/.1800

S/.900

S/.900

SERVICIOS

S/.700

S/.350

S/.350

S/.2500

S/.1250

S/.1250

100 %

50%

50%

TOTAL
%

27

50%

VI. REFERENCIAS BIBLIOGRFICAS

[1] J. Alaminos, C. Aparicio, P. Muoz y A.R. Villena. Un recorrido histrico
del teorema fundamental del clculo. Sometido a publicacin.
[2]Ayant, Borg. M. (1974). Funciones especial. Editorial Alhambra, S.A.
[3] Caada. A. (2000) Una perspectiva histrica de las series de Fourier: de las
ecuaciones de ondas y del calor a los operadores compactos y autoadjuntos.
Relime, Revista Latinoamericana de investigacin en Matemtica educativa,
3, 293-320.
[4] Caada Villar Antonio. (2006). Fourier y sus coeficientes .Universidad de
Granda Espaa.
[5] EidelmanYuli.(2004). Functional Analysis and Introduction. Editorial
American Mathematical Society. New York.
[6] Kesavan, S. (2009).Nonlinear Functional Analysis. Edit. Hindustan Book
Agency. London.
[7]Kline.M (1972).Mathematical thought from ancient to modern times. Oxford
University Press.New York. . Versin espaola en Alianza Editorial,
Madrid, 1992.
[8] Kreyszig. (1989). Introductory Functional Analysis with Applications .Edit.
Wiley.Toronto.
[9]Kolmogorov a. and Fomin s.(1972).Elementos de la Teora de funciones y
del Anlisis Funcional .Editorial Mir. Mosc.
28

[10] Luzin.N.N. (2003).Funcin. Gac. R. Soc. Mat. Esp., 6, 201-225.

[11] M. de Guzmn. Impactos del anlisis armnico. Discurso de ingreso en
la Real Acadmica de Ciencias Exactas, Fsicas y Naturales de Madrid.
http://www.mat.ucm.es/deptos/am/guzman/impactoanalisisarmonico.htm,
1983.
[12] Rudin, W,(2002),Anlisis funcional.Edit. Reverte S. A. Espaa.
[13]Rudin, W. (1986).Real and Complex Analysis.Terceraedition McGraw-Hill.
New York.
[14]Rudin W.

(1976).Principles

of

Mathematical

Analysis.Terceraedition

McGraw-Hill. New York.

[15] Siu Ah Ng N. (2010).Onstandard Methods in functional Analysis, Edit.
World ScientificPublishing Co. Pte.Ltd.Singapur.
[16]Stein E. and Shakarchi R. (2003).Complex Analysis, Princeton University
Press.
[17] Zeidler, Eberhar. (1995). Applied Functional Analysis, Edit. Springer. New
York
[18] Valeria Prez Mariana, (2009), La definicin de la transformada de Fourier
y sus desigualdades en norma de pesos .Universidad de Buenos Aires.
Argentina

29

VII. ANEXOS
MATRIZ DE CONSISTENCIA
TITULO: Expresin generalizada de las Series de Fourier de funciones no peridicas en la recta a funciones no peridicas en el espacio
euclidiano n- dimensional

PROBLEMA

OBJETIVO

HIPTESIS

GENERAL:
a)Es
posible

GENERAL:
a) Ejemplificar las

GENERAL:
a) Una expresin de

conseguir

Series

las Series de Fourier

una

de Fourier

expresin

de

generalizada de las

peridicas

Series de Fourier

recta

de

no

funciones

no

peridicas

funciones

no

funciones
en

no
la

a funciones
peridicas

definidas

en

de

funciones

una

funcin

no

peridica

el

espacio es posible

espacio .

en

el

generalizarla

peridicas definida

medio de

en

integrables

a1)

independiente

peridicas en

a) Expresin

a2)

no

peridicas en la recta
a

por

generalizada

espacio

de

Fourier

euclidiano

n-

no peridicas

el

sentido de Lebesgue

dimensional?

dependiente

se

b) Funciones

extiende

esta

DISEO

Funciones peridicas y
no

INSTRUMENTO

POBLACIN:

no peridicas definidas

peridicas en

en el espacio ( )

b.1) Funcin no
peridica definida en el
espacio 1 ( )

MUESTRA :
Funciones integrables

MTODO
LGICOS:
Inductivo y
deductivo

en
b.2) Funcin no
peridica definida en el
espacio 2 ( )

el

sentido

de

Lebesgue definida en
1

el espacio ( ) y el

DISEO:
Descriptiv
o

espacio 2 ( )

Variable

definida en y luego

definicin a .

Funciones

MUESTRA
no

de funciones

funciones
en

Funciones

de las Series

en la recta.
el

INDICADORES

VARIABLES
Variable

no peridicas
definida en el
espacio
eucldeo

n-

dimensional
Anlisis
funcional

ESPECIFICOS:
a)
Es
posible

ESPECIFICOS:
a)
Ejemplificar

conseguir

Series

una

ESPECIFICOS:
las

de Fourier de

a)Una expresin de las Series de

Fourier

de

funciones

no

peridicas en la recta a una

expresin generalizada

funciones no peridicas

de

en

las Series

de

Fourier definidas en
a

funciones

no

a funciones no

peridicas en espacio
1

funcin

no

peridica
es

espacio
generalizarla
funciones

( )

por

en

el

posible
medio de

integrables en

el

sentido de Lebesgue definida

peridicas

en

el

espacio 1 ( )?
b)

Es

b) Ejemplificar
Series

posible

conseguir

una

las

de Fourier de

luego

se

extiende

funciones no peridicas

medio

en

algebraicas y analticas.

a funciones no

esta

definicin al espacio L1 (n ) por

de

propiedades

b) Una expresin de las Series

expresin generalizada
de

las Series

de

Fourier definidas en
a

funciones

no

peridicas en espacio
2

( )

de Fourier

de funciones no

peridicas en la recta a una

funcin

no

peridica
es

espacio
generalizarlo

peridicas

en

espacio 2 ( ) ?

el

funciones

por

en

el

posible
medio de

integrables en

el

sentido de Lebesgue definida

y

luego

se

extiende

esta

definicin al espacio L2 (n ) por

medio de la isometra sobre ese
espacio.

30