25 votos

Una función integrable y periódica $f(x)$ satisface $\int_{0}^{T}f(x)dx=\int_{a}^{a+T}f(x)dx$ .

Quiero probar:

Para una función integrable $f(x)$ y periódica con período $T$ para cada $a \in \mathbb{R}$ , $$\int_{0}^{T}f(x)\;dx=\int_{a}^{a+T}f(x)\;dx.$$

He intentado cambiar los valores y definir $y=a+x$ para que $dy=dx$ y los límites de las integrales son como queremos, pero no estoy seguro de cómo utilizar el hecho de que $f(x)$ es periódica.

¡Muchas gracias!

2 votos

Querido Jozef: Lo más sencillo, creo, es hacer el cálculo mediante una primitiva (o antiderivada) $F$ de $f$ . (Al final puedes hacer $F$ desaparecer.) Además, calcula "LHS menos RHS".

1 votos

Sea $N$ sea un número entero tal que $N\cdot T \in \langle a,a+T \rangle$ . ¿Dividiendo la integral como $\int_a^{a+T}=\int_a^{NT}+\int_{NT}^{a+T}$ ¿Ayuda?

25voto

Anthony Shaw Puntos 858

$$ \begin{align} \int_a^{a+T}f(x)\,\mathrm{d}x-\int_0^{T}f(x)\,\mathrm{d}x &=\left(\color{red}{\int_a^{T}f(x)\,\mathrm{d}x}+\int_T^{a+T}f(x)\,\mathrm{d}x\right)\\ &-\left(\int_0^{a}f(x)\,\mathrm{d}x+\color{red}{\int_a^{T}f(x)\,\mathrm{d}x}\right)\\ &=\int_T^{a+T}f(x)\,\mathrm{d}x-\int_0^{a}f(x)\,\mathrm{d}x\\ &=\int_0^{a}f(x+T)\,\mathrm{d}x-\int_0^{a}f(x)\,\mathrm{d}x\\ &=\int_0^{a}(f(x+T)-f(x))\,\mathrm{d}x\\ &=\int_0^{a}0\,\mathrm{d}x\\ &=0 \end{align} $$

0 votos

¡¡Muy bonito!! Pero, ¿por qué $\int_0^{a}0\,\mathrm{d}x=0$ ? Debería ser una constante (llámala $k$ )

0 votos

@Dor: Los límites hacen que integral definida . Está pensando en una integral indefinida o antideriva .

0 votos

@Dor $\int_0^a0dx=[k]_0^a=k-k=0$

24voto

codemac Puntos 689

Si $F$ es una primitiva de $f$ entonces

$$\int_{a}^{a+T}f(x)\ dx-\int_{0}^{T}f(x)\ dx$$ $$=F(a+T)-F(a)-F(T)+F(0)$$ $$=\Big(F(a+T)-F(T)\Big)-\Big(F(a)-F(0)\Big)$$ $$=\int_T^{a+T}f(x)\ dx-\int_0^af(x)\ dx$$ $$=0.$$

Se comprueba la última igualdad haciendo el cambio de variable obvio, y utilizando la periodicidad.

EDITAR 1. Lo que he escrito más arriba es cómo recuerde el cómputo. Por supuesto, puede ser escrito así: $$ \int_{a}^{a+T}f(x)\ dx-\int_{0}^{T}f(x)\ dx=\int_T^{a+T}f(x)\ dx-\int_0^af(x)\ dx=0. $$

EDITAR 2. Justificación formal de la primera igualdad en la pantalla anterior: $$ \int_0^af(x)\ dx+\int_{a}^{a+T}f(x)\ dx=\int_{0}^{T}f(x)\ dx+\int_T^{a+T}f(x)\ dx. $$

(Esta fórmula debe aparecer en alguna parte...)

0 votos

Estimado @Jozef: De nada.

0 votos

Gracias @Pierre-YvesGaillard

12voto

freespace Puntos 9024

He aquí una imagen que ilustra la idea básica. (Compara las zonas marcadas con el mismo color).

periodic function

$NT$ denota el múltiplo entero de $T$ que pertenece al intervalo $\langle a,a+T \rangle$ . (En este ejemplo $N=2$ .)


Por si alguien quiere ver metapost fuente de la imagen, es la figura 5 de aquí .

10voto

Davide Giraudo Puntos 95813

$\int_a^{a+T}f(t)dt=\int_a^Tf(t)dt+\int_T^{a+T}f(t)dt,$ y en la última integral, haciendo la sustitución $x=t-T$ obtenemos para $a\in [0,T)$ ya que $f$ es $T$ -periódico $$\int_a^{a+T}f(t)dt=\int_a^Tf(t)dt+\int_0^{a}f(x+T)dx=\int_a^Tf(t)dt+\int_0^{a}f(x)dx=\int_0^T f(t)dt.$$ Para $a\in\mathbb R$ Toma $n\in\mathbb Z$ tal que $a+nT\in [0,T)$ . Entonces $$\int_a^{a+T}f(t)dt=\int_{a+nT}^{a+(n+1)T}f(x-nT)dx=\int_{a+nT}^{a+(n+1)T}f(x)dx=\int_0^Tf(t)dt$$ utilizando el caso anterior.

2 votos

Si no me he perdido algo, esto funciona para $a\in \langle 0,T \rangle$ pero la idea general es básicamente la misma.

1 votos

@MartinSleziak Sí, he añadido los detalles. Gracias.

1 votos

¡Muchas gracias! ¡Muy útil!

2voto

Guy Fabrice Puntos 21

$$\begin{align} \int_{a}^{a+T}f(x)\ dx&= \int_{T}^{a+T}f(x)\ dx +\int_{a}^{T}f(x)\ dx\\&\overset{y=x-T}{=} \color{red}{\int_{0}^{a}f(y+T)\ dx} +\int_{a}^{T}f(x)\ dx\\&\overset{periodic}{=} \color{red}{\int_{0}^{a}f(y)\ dx} +\int_{a}^{T}f(x)\ dx\\&=\int_0^Tf(x)\ dx. \end{align}$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X