You are on page 1of 38

funcin peridica

Funcin que repite el mismo valor a intervalos regulares de la variable.


Una funcin f(x) es peridica si existe un nmero p tal que pueda hacer f(x+p) =
f(x) para todas las x. Al menor nmero p se le llama perodo. Por ejemplo, y = sen
(x) es una funcin peridica con un perodo de 2 porque 2 es el menor nmero p
que hace que sen (x+p) = sen (x) para todas las x.

Funcin Peridica
Es una funcin en la que los valores de la variable dependiente se repiten conforme se va
aadiendo a la variable independiente un determinado perodo
Funcin Acotada:
Una funcin se denomina acotada si su conjunto imagen est acotado, por ejemplo: f(x) = sen(x) y
g(x) = cos(x) tienen por conjunto imagen el intervalo [-1,1]. Si su conjunto imagen est acotado slo
superior o inferiormente, se dice que la funcin est acotada superior o inferiormente,
respectivamente.
Funcin Creciente
Una funcin es creciente en un intervalo, si para cualquier par de nmeros x1, x2 del intervalo x1 <
x2 implica f(x1) < f(x2)
Funcin Decreciente
Una funcin es decreciente en un intervalo, si para cualquier par de nmeros x1, x2 del intervalo x1
< x2 implica f(x1) > f(x2)
Funcin Par
Se dice que una funcin es par cuando presenta simetra sobre el eje y

Funcin Impar
Es impar si su grafica es simtrica al origen
Qu es la Serie de Fourier?
En matemticas, una serie de Fourier, que es llamada as en honor de Joseph Fourier (1768-1830), es una
representacin de una funcin peridica como una suma de funciones peridicas de la forma

que son armnicos de ei x; Fourier fue el primero que estudi tales series sistemticamente, aplicndolas a la
solucin de la ecuacin del calor y publicando sus resultados iniciales en 1807 y 1811. Este rea
de investigacin se llama algunas veces Anlisis armnico. Muchas tipos de otras transformadas relacionadas
con la de Fourier han sido definidas desde entonces.
Definicin de la serie de Fourier
Supongamos que
es un conjunto infinito ortogonal de funciones en un intervalo [a,b]. Nos
preguntamos: si y=f(x) es una funcin definida en el intervalo [a,b], ser posible determinar un conjunto de
coeficientes

0, 1, 2,..., para el cual

Como en la descripcin anterior, cuando determinamos los componentes de un vector, tambin podemos
determinar los coeficientes
mediante el producto interno. Al multiplicar la ecuacin anterior por
integrar en el intervalo [a,b] se obtiene:

Debido a la ortogonalidad, cada trmino del lado derecho de la ltima ecuacin es cero, excepto cuando m=n.
En este caso tendremos

Entonces los coeficientes que buscamos son

En otras palabras,

(1)

En la que
(2)
La ecuacin 2, en notacin de producto interno ( o producto punto ), es

(3)
El conjunto de funciones

(1)
es ortogonal en el intervalo [-p,p], supongamos que f es una funcin definida en el intervalo [-p,p] que se
puede desarrollar en la serie trigonomtrica

(2)
Entonces, los coeficientes
pueden determinar tal como describimos para la serie de
Fourier generalizada en la seccin anterior.
Al integrar ambos lados de la ecuacin (2), desde p hasta p, se obtiene

(3)
Como cada funcin
,
n>1, es ortogonal a 1 en el intervalo, el lado derecho de
(3) se reduce a un solo trmino y, en consecuencia,

Al despejar

se obtiene

(4)
Ahora multipliquemos la ecuacin (2) por

e integremos:

(5)
por la ortogonalidad tenemos que

Entonces la ecuacin 5 se reduce a

Y as
Por ltimo si multiplicamos a (2) por

(6)
, integramos y aplicamos los resultados

llegamos a
(7)
La serie de Fourier de una funcin definida en el intervalo (-p,p) es

(8)

(9)

(10)

(11)
Series de Fourier de cosenos y de senos
Si f es una funcin par en (-p,p), entonces en vista de las propiedades anteriores, los coeficientes de (9),(10) y
(11) se transforman en

.
En forma parecida, cuando f es impar en el intervalo (-p,p),

, n=0,1,2,...,
Resumen de las constantes de la series de Fourier
a.
La serie de Fourier de una funcin par en el intervalo (-p,p) es la serie de cosenos

en que

b) La serie de Fourier de una funcin impar en el intervalo (-p,p) es la serie de senos

en donde

Serie de Fourier en forma compleja

Clculo de Cn:

Ejemplo:
Calcular la serie compleja de
fourier para :

f (t+2) = f (t) T=2 w 0= p


rad/s

Aplicaciones de la Serie de Fourier


Ejemplo 1:
Aplicaciones en circuitos, de forma senoidal

la serie de fourier tiene el siguiente aspecto

a0 / 2 valor medio
a1, a2, b1, b2, ... coeficientes de Fourier
w 0 ... frecuencia (2p /T)
n w 0 ... harmnicos

Ejemplo 2:

f(t)=2sen t sen(2t) + (2/3)sen (3t) - 1/2sen (4t) +2/5 sen (5t)+....


Ejemplo 3:

Entonces; tenemos el siguiente procedimiento

Analticamente tenemos:

Qu es la Transformada de Laplace?
En matemticas y, en particular, en anlisis funcional, la Transformada de Laplace de una funcin f(t)
definida para todos los nmeros reales t 0 es la funcin F(s), definida por:

Esta transformada integral tiene una serie de propiedades que la hacen til en el anlisis de sistemas lineales.
Una de las ventajas ms significativas radica en que la integracin y derivacin se convierten en multiplicacin
y divisin. Esto transforma las ecuaciones diferenciales e integrales en ecuaciones polinmicas, mucho ms
fciles de resolver.
Otra aplicacin importante en los sistemas lineales es el clculo de la seal de salida. sta se puede calcular
mediante la convolucin de la respuesta impulsiva del sistema con la seal de entrada. La realizacin de este
clculo en el espacio de Laplace convierte la convolucin en una multiplicacin, habitualmente ms sencilla.
La transformada de Laplace toma su nombre en honor de Pierre-Simon Laplace.
Cuando se habla de la transformada de Laplace, generalmente se refiere a la versin unilateral. Tambin
existe la transformada de Laplace bilateral, que se define como sigue:

La transformada de Laplace F(s) tipicamente existe para todos los nmeros reales s > a, donde a es una
constante que depende del comportamiento de crecimiento de f(t).
Definicin de la Transformada de Laplace
Definicin bsica. Si f(t) est definida cuando
un lmite:

, la integral impropia

se define como

Si existe un lmite se dice que la integral existe o que es convergente, si no existe el lmite, la integral no existe
y se dice que es divergente. En general el lmite anterior existe slo para ciertos valores de la variable s. La
situacin

proporciona una transformacin lineal muy importante:

Sea f una funcin definida para

. Entonces la integral

se llama transformada de Laplace de f, siempre y cuando la integral converja.


Evaluar L{1}.
Solucin

L
una suma de funciones se puede escribir

es una transformada lineal, para

siempre que las dos integrales converjan; por consiguiente,


Se dice que L es una transformada lineal debido a la propiedad sealada en la funcin anterior
Condiciones suficientes para la existencia
Si f (t) es continua por tramos en el intervalo
existe para s>c.
Demostracin

y de orden exponencial c para t>T, entonces L {f(t)}

La integral

existe, porque se puede expresar como una suma de integrales sobre intervalos en

que

es continua. Ahora

cuando s>c. Como

converge, la integral

de comparacin para integrales impropias. Esto a su vez, implica que

converge, de acuerdo con la prueba


existe para s>c. La existencia de

e
implica que
existe cuando s>c.
Transformadas de algunas funciones bsicas

a)

b)

c)

d)

e)

f)

g)
Transformada inversa
Se dice que f(t) es la transformada inversa de Laplace de F(s) y se expresa:
Algunas transformadas inversas

a)

c)

e)

b)

d)

f)

g)
es una transformada lineal. Suponemos que la transformada inversa de Laplace es, en s, una
transformacin lineal; esto es, si

son constantes,

en donde F y G son las transformadas de las funciones f y g.


La transformada inversa de Laplace de una funcin F(s) puede no ser nica. Es posible
que
y, sin embargo,
Comportamiento de F(s) cuando

Si f(t) es continua por tramos en

y de orden exponencial para t>T,

entonces
Demostracin Dado que f(t) es continua parte por parte en
intervalo; o sea
mximo de

, necesariamente es acotada en el

. Tambin
y c indica el mximo de

para s>c. Cuando


, se tiene que
Teoremas de traslacin
Primer teorema de traslacin
Si F(s)=L{f(t)} y a es cualquier nmero real,

cuando t>T. Si M representa el


, entonces

, de modo que

Demostracin La demostracin es inmediata

Segundo teorema de traslacin


Si

y a>0, entonces

Demostracin Expresamos a

como la suma de dos integrales:

.
Ahora igualamos v=t-a,dv=dt y entonces

Derivadas de transformadas
Si

y n=1,2,3,..., entonces

Transformada de una derivada


Si f(t), f(t),...,

son continuas en

continua parte por parte

, son de orden exponencial, y si

, entonces

en donde
Teorema de la convolucin
Si f(t) y g(t)son continuas por tramos en

y de orden exponencial,

Demostracin Sean

Y
Al proceder formalmente obtenemos

Mantenemos fija

y escribimos

, de modo que

Transformada de una funcin peridica


Si f(t) es continua por tramos en

, de orden exponencial y peridica con periodo T,

(a)
Demostracin Expresamos la transformada de Laplace como dos integrales:
(b)
Escribiendo t=u+T, la ltima de las integrales de (a) se transforma en

Por consiguiente, la ecuacin (b) es


Al despejar

se llega al resultado de la ecuacin (a).

es

La transformada inversa
EJEMPLO 1:

EJEMPLO 2:

EJEMPLO 3:

Aplicacin de la tranformada en Circuitos elctricos

EJEMPLO 2:

Transformadas de Circuitos:
Anlisis de la Cada de Tensin
Resistencia

Inductancia

Anlisis para Corriente

Capacitor

Leer ms: http://www.monografias.com/trabajos32/fourier-y-laplace/fourier-y-laplace.shtml#ixzz2ZhwQP9KS

Anlisis de Fourier de una funcin peridica


Toda funcin f(t) peridica de periodo P, se puede representar en forma de una
suma infinita de funciones armnicas, es decir,

donde el periodo P=2/, y a0, a1, ...ai ... y b1, b2, .... bi .... son los denominados
coeficientes de Fourier.
Toda funcin peridica de periodo P, se puede transformar en una funcin
peridica de periodo 2, mediante un simple cambio de escala en el eje t.
Escribiendo x=t, tendremos el periodo P de t convertido en el periodo 2 de x,
y la funcin f(t) convertida en

definida en el intervalo que va de - a +. La serie se expresa en la forma ms


simple

donde

Si la funcin g(x) tiene simetra, algunos de los coeficientes resultan nulos.

Si g(x) es una funcin par, g(x)=g(-x), los trminos bi son nulos


Si g(x) es impar g(x)=-g(-x), los coeficientes ai son nulos
Si g(x) es alternada, g(x+)=-g(-x), la serie solamente consta de
trminos armnicos impares.

Para codificar el procedimiento de anlisis de Fourier de una funcin peridica,


seguiremos el esquema trazado en otros ejmplos: la clase base abstracta
denominada Fourier definir el procedimiento numrico, y las clases derivadas
denominadas Funcion1, Funcion2, etc. definirn las funciones peridicas cuyos
coeficientes de Fourier deseamos calcular.

La definicin de la funcin f(t)


Si la funcin peridica es discontinua, como en el caso de un pulso rectangular,
un pulso escaln, un pulso en forma de diente de sierra, etc., es necesario declarar
y definir una funcin f0, f1, f2, ... en cada uno de los intervalos contiguos, (t0, t1),
(t1, t2), ... tal como se ve en la figura

Los puntos de discontinuidad ti, se guardan en el array tiempo. En el constructor


de la clase base Fourier se reserva espacio para dicho array. Sea por ejemplo el
pulso diente de sierra de la figura

double[] tiempo=new double [3];


tiempo[0]=-periodo/2;
tiempo[1]=0.0;
tiempo[2]=periodo/2;

Como vemos el array tiempo guarda las abscisas que sealan las
discontinuidades de la funcin incluidos los extremos del periodo.
Este array se pasa al constructor de la clase derivada de Fourier, la cual define la
funcin peridica en cada uno de los intervalos.
public class Funcion3 extends Fourier {
public Funcion3(double[] discont) {
super(discont);
}
public double funcion(double t){
if(iDiscont==0)
return -t;
return t;
}
}

Donde iDiscont es un miembro dato de la clase base Fourier que seala el


intervalo actual, en el que se est efectuando la integracin.
El constructor de la clase derivada pasa el array de discontinuidades a la clase
base, el cual las guarda cambiadas de escala en el miembro array x, y el nmero
de discontinuidades en el miembro nDiscont.
public abstract class Fourier {
double[] x;
//discontinuidades
int nDiscont;
//nmero de discontinuidades
double P;
//periodo

public Fourier(double[] tiempo) {


nDiscont=tiempo.length;
P=tiempo[nDiscont-1]-tiempo[0];
//...

Cambio de escala
Ahora, transformamos la funcin peridica de periodo P, en una funcin
peridica definida en el intervalo de - a , es decir, de periodo 2. Los nuevos
puntos de discontinuidad xi, se guardan el array x, de la misma dimensin que el
array tiempo. Las frmulas de transformacin son

y su codificacin.
x=new double[nDiscont];
x[0]=-Math.PI;
x[nDiscont-1]=Math.PI;
for(int i=1; i<nDiscont-1; i++){
x[i]=(tiempo[i]-tiempo[0])*2*Math.PI/(tiempo[nDiscont-1]tiempo[0])-Math.PI;
}

Los coeficientes de Fourier


Para hallar un coeficiente ai, se ha de integrar cada una de las funciones fk que
definen la funcin peridica f(t), efectuar el cambio de escala cambiando la
variable t por la variable x, multiplicarla por la funcin cos(ix), y sumando los
resultados para todos los intervalos (xk, xk+1)

Una expresin similar se emplea para calcular los coeficientes bi.

Si tenemos en cuenta la propiedad de que sin(+/2)=cos(), ambas expresiones


pueden convertirse en una nica expresin

Los coeficientes ai, se obtienen cuando la variable de control q es uno, y los


coeficientes bi cuando la variable q es cero. La funcin integrando se define del
siguiente modo.
double f(double x){
double y=funcion((x*P)/
(2*Math.PI))*Math.sin(iArmonico*x+q*Math.PI/2);
return y;
}

La integral se efecta aplicando el mtodo de Simpson,


Para hallar la contribucin de cada una de las funciones, se pasan a la
funcin integral el comienzo del intervalo, xk, en el parmetro a, el final del
intervalo xk+1, en el parmetro b, y el nmero de divisiones de dicho intervalo en
el parmetro n.

erie de Fourier de una funcin peridica de periodo


Si es peridica de periodo
podemos, mediante un simple
cambio de variable, transformarla en una funcin peridica de
periodo
periodo

. Concretamente a de periodo
asociamos
dada por la siguiente composicin

de

posee las mismas propiedades que


Definimos la serie de Fourier de

y si

. Por ejemplo si

es par

como la serie de Fourier de

es par, etc.

Razonando analogamente tenemos

Coeficiente (matemticas)
Este artculo o seccin sobre matemticas necesita
ser wikificado con un formato acorde a las convenciones de
estilo.
Por favor, edtalo para que las cumpla. Mientras tanto, no elimines este
aviso puesto el 17 de septiembre de 2011.
Tambin puedes ayudar wikificando otros artculos.

En matemticas, un coeficiente es un factor multiplicativo vinculado a un monomio. Dado un divisor del


monomio, el coeficiente es el cociente del monomio por el divisor. As el monomio es elproducto del
coeficiente y el divisor. Los diferentes coeficientes dependern de la factorizacin del monomio.
Un coeficiente numrico es un factor multiplicativo constante de un objeto especfico. Por ejemplo, en
la expresin 9x2, el coeficiente de x2 es 9. En lgebra elemental, coeficientes numricos de trminos
semejantes se agrupan para simplificar las expresiones algebraicas..
El objeto puede ser cosas tales como una variable, un vector, una funcin, etc. En algunos casos, los
objetos y los coeficientes estn ordenados de la misma manera, dando lugar a expresiones tales como:

donde an es el coeficiente de la variable xn para cada n = 1, 2, 3,


En un polinomio P(x) de una variable x, el coeficiente de xk puede ordenar por k, dando por ejemplo:

Para el mayor valor de k, donde ak 0, ak se denomina primer coeficiente de P, ya que la


mayor parte de las veces, los polinomios se escriben a partir de la izquierda, con la mayor
potencia de x. As, por ejemplo, el primer coeficiente del polinomio:

es 4.
Los coeficientes de los polinonios tambin pueden estar en otro orden:

y debe ser a0 0 y a0 es el primer coeficiente de Q.


Importantes coeficientes en matemticas incluyen los coeficientes binomiales que son
los coeficientes en la declaracin del teorema de binomio. Estos se pueden encontrar
parcialmente con eltringulo de Pascal.

Leonard Euler fue un gran matemtico y fsico, nacido en 1707 en Basilea (Suiza). Es considerado
el mejor matemtico de siglo XVIII y uno de los mejores de la historia.
Aport grandes ideas en los campos del clculo, geometra, lgica, teora de nmeros,
hidrodinmica, mecnica, electromagnetismo y dems. Fue verdaderamente un genio.

Cuando estaba trabajando en el clculo complejo, Euler dedujo la que tal vez sea la ecuacin
ms elegante y magnfica de todas.
Un nmero complejo es aqul que se representa mediante una parte real y una parte imaginaria,
si definimos a z como un complejo, x su parte real e y su parte imaginaria, este quedara as,

Donde i es el nmero imaginario, definido como la raz cuadrada de -1,

Ahora, si tomo al famoso numero e y lo potencio con el nmero complejo z,

Mediante series numricas, Euler encontr que,

Por lo tanto,

Esta es conocida como la frmula de Euler, que define la exponenciacin compleja. Es una
frmula de gran sutileza y precisin. Pero si hacemos un anlisis ms minucioso podemos llegar a
ms an.
Si hacemos que x valga 0 y que y tome el valor de pi,

A su vez, sabemos que el seno de pi es cero y el coseno de pi vale -1, entonces,

, resulta lo mismo escribir,

Esta es la identidad de Euler, la ecuacin ms famosa de la matemtica. En ella se puede decir


que est resumida toda la matemtica. Encontramos los conceptos de suma, multiplicacin,
exponenciacin e identidad. Tenemos tambin, los cinco nmeros fundamentales, el cero, el uno,
pi, el nmero e y el nmero i.
Esta ecuacin expresa con unos pocos smbolos matemticos, una belleza infinita. Digna de un
genio como Euler.

Ecuaciones de Euler-Lagrange en fsica[editar]


Artculo principal: Accin (fsica).

Caso discreto[editar]
En mecnica clsica, estas ecuaciones establecen que la integral de accin para un sistema fsico
es un mnimo. Los sistemas de partculas o sistemas discretos tienen un nmero finito de grados
de libertad, y en esos casos la integral de accin es del tipo:

Y su correspondiente variacin viene dada por:

Si se impone ahora que

para variaciones "cercanas", esto implica que:

donde L es el lagrangiano para el sistema, y

son las coordenadas generalizadas del sistema.

Caso continuo[editar]
La formalizacin de ciertos problemas fsicos requiere construir una integral de accin sobre
un continuum o sistema que no puede ser tratado mediante un nmero finito de variables o grados
de libertad. As en teora de campos y mecnica de medios continuos la accin fsica puede
expresarse como una integral sobre un volumen:

Donde
es el elemento de volumen que usualmente viene dado por una n-forma y
representan las variables del campo y sus derivadas respecto a las coordenadas espaciales (o
espacio-temporales). Cuando la accin toma esa forma las ecuaciones de Euler-Lagrange para el
campo que minimiza la anterior integral, usando el convenio de sumacin de Einstein, vienen
dadas por:

Mecnica lagrangiana de la partcula[editar]


Un ejemplo de problema mecnica simple es el de una partcula sometida a un campo de
fuerzas conservativo, en ese caso su trayectoria puede ser encontrada mediante las ecuaciones de
Euler-Lagrange aplicadas al lagrangiano:

La funcin lagrangiana anterior usa coordenadas cartesianas, aunque segn el tipo de problema
tambin puede escribirse un lagrangiano en en trminos de cualquier tipo de coordenadas
generalizadas:

Las ecuaciones de Euler-Lagrange para el caso de las coordenadas cartesianas se reducen a la


segunda ley de Newton para la partcula:

Teora de campos[editar]
La teora clsica de campos es un buen ejemplo del caso multidimensional anteriormente descrito.
As por ejemplo las ecuaciones de Maxwell no son otra cosa que las ecuaciones de Euler-Lagrange
aplicadas al "lagrangiano" de Maxwell. La densidad lagrangiana de Maxwell viene dada por:

(*)
Donde el primer trmino es el lagrangiano de interaccin y el segundo el lagrangiano del campo
electromagntico libre y adems:

, son los campos elctrico y magntico.


, son la densidad de carga elctrica y la densidad de corriente asociada a las cargas
que interactan con el campo.
, son el potencial elctrico y el potencial vectorial del campo.
Considerando aqu el campo descrito por los
potenciales
, los campos elctrico y
magntico son expresables en trminos de sus derivadas:

Todos estos trminos substituidos en la ecuacin de Euler-Lagrange (*) nos lleva a las
ecuaciones de Maxwell. Si a la densidad lagrangiana anterior le agregamos, la
densidad lagrangiana de la materia en interaccin con el campo electromagntico
viene dado por:

Cuando esta parte se tiene en cuenta tambin se recupera la expresin para la fuerza
de Lorentz.

Aplicaciones en mecnica cuntica[editar]


Un artculo influyente, para la introduccin del formalismo lagrangiano en la mecnica
cuntica, fue el de Paul Dirac de 1932. El artculo titulado El lagrangiano en Mecnica
Cuntica comienza de la siguiente manera:
La mecnica cuntica fue construida sobre la base de la analoga con el hamiltoniano
de la mecnica clsica. Esto se debe a que se encontr que la clsica nocin de
coordenadas cannicas y momentos es similar a la anloga cuntica, como resultado
del cual la totalidad de la teora clsica hamiltoniana, la cual es justamente una
estructura construida sobre esta nocin, debera ser tomada sobre todos sus detalles
en mecnica cuntica.
Ahora tenemos una formulacin alternativa para la dinmica clsica, provista por el
lagrangiano. Esto requiere trabajar en trminos de coordenadas y velocidades en
lugar de coordenadas y momentos. Las dos formulaciones son, sin embargo,
cercanamente relacionadas, pero hay razones para creer que el lagrangiano es el
ms fundamental.
En primer lugar, el mtodo lagrangiano nos permite conectar juntas todas las
ecuaciones del movimiento y expresarlas como una propiedad estacionaria de una
cierta funcin de accin. (Esta funcin de accin es justamente la integral en el tiempo
del lagrangiano). No existe un principio de accin correspondiente en trminos de las
coordenadas y momentos en la teora hamiltoniana. En segundo lugar el mtodo
lagrangiano puede fcilmente ser expresado en forma relativista, teniendo en cuenta

que la funcin de accin es invariante relativista; mientras que el mtodo hamiltoniano


es esencialmente de forma no relativista, dado que delimita una variable de tiempo
particular como la conjugada cannica de la funcin hamiltoniana.
Por estas razones sera deseable tomar la cuestin de lo que corresponde en la teora
cuntica al mtodo lagrangiano de la teora clsica. Una pequea consideracin
muestra, sin embargo, que uno no puede esperar ser capaz de tomar las ecuaciones
clsicas de Lagrange en una forma directa. Estas ecuaciones involucran derivadas
parciales del lagrangiano respecto a las coordenadas y velocidades y no significa
poder tener tales derivadas en mecnica cuntica.
El slo proceso de diferenciacin que puede realizarse respecto a las variables
dinmicas de la mecnica cuntica es el que forma los corchetes de Poisson y este
proceso conduce a la teora hamiltoniana.
Debemos por lo tanto mirar nuestra teora cuntica lagrangiana de una manera
indirecta. Debemos intentar tomar las ideas de la teora lagrangiana clsica, no las
ecuaciones de la teora clsica lagrangiana.1

Sntesis de aplicaciones en fsica[editar]


Como se vio antes, es posible derivar las ecuaciones de la mecnica clsica como las
del electromagnetismo a partir del lagrangiano respectivo introducido en las
ecuaciones de Euler-Lagrange. Por ese camino, es posible ampliar el lagrangiano de
Maxwell para obtener el lagrangiano de Dirac y as obtener, luego, la ecuacin
relativista de Dirac. Tambin las ecuaciones de Schrdinger, de Klein-Gordon y de
Proca pueden obtenerse por ese mtodo.
Incluso es posible derivar las ecuaciones de Einstein, de la relatividad generalizada, a
partir del lagrangiano de Hilbert-Einstein2

Ecuaciones de Euler-Lagrange en geometra[editar]


Las ecuaciones de Euler-Lagrange pueden ser usadas para encontrar fcilmente la
ecuacin de las curvas geodsicas en una variedad de Riemann o "espacio curvo".
Para ello consideremos un conjunto de coordenadas (x1, ...xn) sobre una regin
abierta U de la variedad de Riemann VR donde el tensor mtrico viene dado por la
expresin:

Puesto que dados dos puntos cualquiera de VR las geodsicas son las lneas de
mnima longitud entre ellos podemos plantear el siguiente problema variacional,
para el cuadrado de la longitud de una curva:

La minimizacin de la expresin anterior al ser la raz una funcin montona,


es equivalente a la minimizacin de una integral de accin donde el
lagrangiano sea:

De ah que la ecuacin diferencial de las geodsicas venga dada por:

La ecuacin anterior de hecho puede, usando la simetra del tensor


mtrico, escribirse como:

Que en trminos de los smbolos de Christoffel (de primera o


segunda especie) sencillamente como:

Donde se han definido los smbolos de Christoffel como a


partir de las derivadas del tensor mtrico y el tensor inverso
del tensor mtrico:

Serie de Fourier

Las primeras cuatro aproximaciones para una funcin peridica escalonada

Una serie de Fourier es una serie infinita que converge puntualmente a una funcin
peridica y continua a trozos (o por partes). Las series de Fourier constituyen la herramienta matemtica
bsica del anlisis de Fourier empleado para analizar funciones peridicas a travs de la
descomposicin de dicha funcin en una suma infinita de funciones senoidales mucho ms simples
(como combinacin de senos y cosenos con frecuencias enteras). El nombre se debe al matemtico
francs Jean-Baptiste Joseph Fourier que desarroll la teora cuando estudiaba la ecuacin del calor.
Fue el primero que estudi tales series sistemticamente, y publicando sus resultados iniciales
en 1807 y 1811. Esta rea de investigacin se llama algunas veces Anlisis armnico.
Es una aplicacin usada en muchas ramas de la ingeniera, adems de ser una herramienta sumamente
til en la teora matemtica abstracta. reas de aplicacin incluyen anlisis vibratorio, acstica, ptica,
procesamiento de imgenes y seales, y compresin de datos. En ingeniera, para el caso de los
sistemas de telecomunicaciones, y a travs del uso de los componentes espectrales de frecuencia de
una seal dada, se puede optimizar el diseo de un sistema para la seal portadora del mismo.
Refirase al uso de un analizador de espectros.
Las series de Fourier tienen la forma:

Donde

se denominan coeficientes de Fourier de la serie de Fourier de la funcin


ndice
[ocultar]

1 Definicin

2 Teorema de Dirichlet: Convergencia a una funcin peridica

3 Forma compacta

4 Forma exponencial

5 Ejemplos de series de Fourier

5.1 Ingeniera

6 Aplicaciones

7 Formulacin moderna

8 Formulacin general

9 Vase tambin

10 Enlaces externos

Definicin[editar]
Si

es una funcin (o seal) peridica y su perodo es

Donde

, la serie de Fourier asociada a

es:

son los coeficientes de Fourier que toman los valores:

Por la identidad de Euler, las frmulas de arriba pueden expresarse tambin en su forma compleja:

Los coeficientes ahora seran:

Otra forma de definir la serie de Fourier es:

donde

siendo :

a esta forma de la serie de Fourier se le conoce como la serie trigonomtrica de Fourier.

Teorema de Dirichlet: Convergencia a una funcin


peridica[editar]
Supongamos que f(x) es una funcin peridica, continua a trozos y acotada, que en un periodo
tiene un nmero finito de mximos y mnimos locales y un nmero finito de discontinuidades,
de perodo 2p. Sean

entonces la serie converge a

En donde

,y

Forma compacta[editar]
En ocasiones es ms til conocer la amplitud y la fase en trminos cosenoidales en lugar de
amplitudes cosenoidales y senoidal.
Otra forma de expresar la compleja forma de la serie de Fourier es:

donde

Forma exponencial[editar]
Por la identidad de Euler para la exponencial compleja, operando adecuadamente, si

la serie de Fourier se puede expresar como la suma de dos series:

En forma ms compacta:

estas ecuaciones solo son vlidas cuando el periodo

con

Otra forma de expresar la forma compleja de la serie de Fourier es:

donde

Ejemplos de series de Fourier[editar]

Grfico de una funcin peridica.

Animacin de la suma de los 5 primeros armnicos.

Veamos un ejemplo:

En este caso, los coeficientes de Fourier nos dan esto:

Si la serie de Fourier converge hacia: (x) de cada punto x donde es


diferenciable:

Ingeniera[editar]
El anlisis de seales en el dominio de la frecuencia se realiza a travs de las
series de Fourier, por cuanto es muy comn, reemplazar la variable x por t,
resultando las componentes:

Por lo tanto:

Aplicaciones[editar]

Generacin de formas de onda de corriente o tensin elctrica por medio de


la superposicin de senoides generados por osciladores elctrnicos de
amplitud variable cuyas frecuencias ya estn determinadas.

Anlisis en el comportamiento armnico de una seal.

Reforzamiento de seales.

Estudio de la respuesta en el tiempo de una variable circuital elctrica donde


la seal de entrada no es senoidal o cosenoidal, mediante el uso de
transformadas de Laplace y/o solucin en rgimen permanente senoidal en
el dominio de la frecuencia.

La resolucin de algunas ecuaciones diferenciales en derivadas parciales


admiten soluciones particulares en forma de series de Fourier fcilmente
computables, y que obtener soluciones prcticas, en la teora de
la transmisin del calor, la teora de placas, etc.

Formulacin moderna[editar]
Realmente el desarrollo en serie de Fourier se hace para funciones de cuadrado
integrable, es decir, para funciones que cumplan que:

El conjunto de todas las funciones integrables definidas en el intervalo


denota con

se

. Este conjunto, tiene definido un producto interno dado

por:

que lo dota de estructura de espacio de Hilbert. De este modo, que todas las
funciones de

puedan desarrollarse en series de Fourier. As,el

conjunto de funciones exponenciales


ortonormal del espacio

es una base

. El desarrollo de Fourier se puede expresar

como:

Donde

son los coeficientes del desarrollo de Fourier.

Por ltimo, la identidad de Parseval dice que dada una funcin


integrable y los coeficientes de Fourier

de cuadrado

, se verifica que:

En lenguaje tcnico, podramos decir que hay una isometra entre el espacio de
funciones de cuadrado integrable y el espacio de sucesiones lineales indexadas
en los enteros cuyos trminos tienen cuadrados sumables.

You might also like