6 votos

Demostrar que $L^1$ es un álgebra de Banach con multiplicación definida por convolución

Para ser más específicos, demuestre que $L^1(\mathbb{R}^n)$ con la multiplicación definida por la convolución: $$ (f\cdot g)(x)=\int_\mathbb{R^n}f(x-y)g(y)dy $$ es un álgebra de Banach. Todas las propiedades del álgebra de Banach son fáciles de demostrar, excepto la última: $$ \|f\cdot g\|\le \|f\|\|g\|. $$ ¿Puede alguien darme una pista?

En realidad he encontrado una prueba en la web, pero no veo por qué se mantiene la última igualdad.

enter image description here

0 votos

¿Y Fubini?

0 votos

He editado mi pregunta. Ahora he encontrado una prueba en la web, pero no veo por qué se mantiene la última igualdad.

0 votos

Por cierto, este es un caso especial de la desigualdad de Young para convoluciones, con $p = q = r = 1$ .

3voto

Anthony Cramp Puntos 126

$$ \int\int |f(x-y)g(y)|\;dx\;dy = \int\left[\int|f(x-y)|\;dx\right]|g(y)|\;dy = \int\left[\int|f(x)|\;dx\right]|g(y)|\;dy = \left[\int|f(x)|\;dx\right]\;\left[\int |g(y)| \;dy\right] = \|f\|\;\|g\| $$

0 votos

Puedo ver que por sustitución de variables $\int |f(x-y)|dx$ se reduce a $\int |f(x)|dx$ . Pero ¿por qué no $\int |f(x-y)|dx$ en función de $y$ ? Estoy confuso.

0 votos

Lo es. Pero puedes cambiarlo ya que integras sobre todo $\mathbb R$ .

0 votos

Pero recuerdo que en el cálculo de la densidad condicional, integrando sobre una variable $\int_{\mathbb{R}} f(x,y)dy=f_X(x)$ es función de $x$ . ¿Cuál es la diferencia?

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