Bump función de la desigualdad

Question

Vamos $f_1, f_2, f_3\in C_0^\infty(\mathbb{R}^2)$, $\psi\in C_0^\infty(\mathbb{R})$, y $\psi_t(x)=t\psi(tx)$ todos los $t>0$. Mostrar que si $\tfrac{1}{p_1}+\tfrac{1}{p_2}+\tfrac{1}{p_3}=1$ algunos $1\le p_1,p_2,p_3\le\infty$, luego $$\left|\int_{\mathbb{R}^3}f_1(x,y)f_2(y,z)f_3(z,x)\psi_t(x+y+z)dxdydz\right|\le\lVert f_1\rVert_{L^{p_1}(\mathbb{R}^2)}\lVert f_2\rVert_{L^{p_2}(\mathbb{R}^2)}\lVert f_3\rVert_{L^{p_3}(\mathbb{R}^2)}\lVert\psi\rVert_{L^1(\mathbb{R})}$$ for all $t>0$.

Ver https://en.wikipedia.org/wiki/Bump_function y http://mathworld.wolfram.com/Lp-Space.html para la notación de explicación.

Mi primer instinto es el uso del Titular de la Desigualdad, pero las combinaciones de las variables en el lado izquierdo y el adicional $\psi$ términos de dificultades para la aplicación. No tengo otras ideas.

Answer 1

Por razones de brevedad, sólo se considera el caso de dos variables a continuación, y escribir $p,q$ en lugar de $p_1,p_2$. Las tres variables de caso se deja como ejercicio para el lector.

Tenemos \begin{align*} &\left| \int f(x) g(y) \psi_t (x+y) d(x,y)\right| \\ &\leq \int |f(x)| |\psi_t(x+y)|^{1/p} |g(y)| |\psi_t (x+y)|^{1/q} d(x,y)\\ & \leq \left(\int |f(x)|^p |\psi_t (x+y)| d(x,y)\right)^{1/p} \left(\int |g(y)|^q |\psi_t (x+y)| d(x,y)\right)^{1/q}. \end{align*} Ahora, usamos el teorema de Fubini y la sustitución de la $z=x+y$ para la estimación de la primera integral. El segundo es análogo. Tenemos \begin{align*} &\int |f(x)|^p |\psi_t (x+y)| d(x,y)\\ &=\int |f(x)|^p \int |\psi_t (x+y)| dy dx\\ &= \int |f(x)|^p \int |\psi_t (z)| dz dx\\ &= \|f\|_{L^p}^p \|\psi_t\|_{L^1}. \end{align*} Finalmente tenga en cuenta que $\|\psi_t\|_{L^1}=\|\psi\|_{L^1}$.

Answer 2

Gracias PhoemueX. Ya estoy envío de mensajes de texto este de todos modos, aquí está la solución para tres variables.

Por parte del Titular de la Desigualdad,

$$\left|\int_{\mathbb{R}^3}f_1(x,y)f_2(y,z)f_3(z,x)\psi_t(x+y+z)d(x, y, z)\right|\le\int_{\mathbb{R}^3}|f_1(x,y)\psi_t(x+y+z)^{1/p_1}||f_2(y,z)\psi_t(x+y+z)^{1/p_2}||f_3(z, x)\psi_t(x+y+z)^{1/p_3}|d(x, y, z)\le\left(\int_{\mathbb{R}^3}|f_1(x,y)^{p_1}\psi_t(x+y+z)|d(x, y, z)\right)^{1/p_1}\left(\int_{\mathbb{R}^3}|f_2(y,z)^{p_2}\psi_t(x+y+z)|d(x, y, z)\right)^{1/p_2}$$ $$\left(\int_{\mathbb{R}^3}|f_3(z,x)^{p_3}\psi_t(x+y+z)|d(x, y, z)\right)^{1/p_3}$$ Let $x, y\in\mathbb{R}$ and $u=x+y+z$ for all $z\in\mathbb{R}$. As $z$ ranges through $\mathbb{R}$, $u$ ranges through $\mathbb{R}$. $du=dz$. $|f_1(x, y)^{p_1}\psi_t(x+y+z)|$ is nonnegative and measurable on $\mathbb{R}^3$. By Tonelli's Theorem, $$\int_{\mathbb{R}^3}|f_1(x,y)^{p_1}\psi_t(x+y+z)|d(x, y, z)=\int_{\mathbb{R}^2}\left(|f_1(x,y)|^{p_1}\int_{\mathbb{R}}|\psi_t(x+y+z)|dz\right)d(x,y)=\int_{\mathbb{R}^2}\left(|f_1(x,y)|^{p_1}\int_{\mathbb{R}}|\psi_t(u)|du\right)d(x,y)=\int_{\mathbb{R}^2}|f_1|(x,y)|^{p_1}\lVert\psi_t\rVert_{L^1(\mathbb{R})}=\lVert f_1\rVert_{L^{p_1}(\mathbb{R}^2)}^{p_1}\lVert\psi_t\rVert_{L^1(\mathbb{R})}$$ Similarly, $$\int_{\mathbb{R}^3}|f_2(x,y)^{p_2}\psi_t(x+y+z)|d(x, y, z)=\lVert f_2\rVert_{L^{p_2}(\mathbb{R}^2)}^{p_2}\lVert\psi_t\rVert_{L^1(\mathbb{R})}$$ and $$\int_{\mathbb{R}^3}|f_3(x,y)^{p_3}\psi_t(x+y+z)|d(x, y, z)=\lVert f_3\rVert_{L^{p_3}(\mathbb{R}^2)}^{p_3}\lVert\psi_t\rVert_{L^1(\mathbb{R})}$$ so $$\left|\int_{\mathbb{R}^3}f_1(x,y)f_2(y,z)f_3(z,x)\psi_t(x+y+z)d(x, y, z)\right|\le(\lVert f_1\rVert_{L^{p_1}(\mathbb{R}^2)}^{p_1}\lVert\psi_t\rVert_{L^1(\mathbb{R})})^{1/p_1}(\lVert f_2\rVert_{L^{p_2}(\mathbb{R}^2)}^{p_2}\lVert\psi_t\rVert_{L^1(\mathbb{R})})^{1/p_2}(\lVert f_3\rVert_{L^{p_3}(\mathbb{R}^2)}^{p_3}\lVert\psi_t\rVert_{L^1(\mathbb{R})})^{1/p_3}=\lVert f_1\rVert_{L^{p_1}(\mathbb{R}^2)}\lVert f_2\rVert_{L^{p_2}(\mathbb{R}^2)}\lVert f_3\rVert_{L^{p_3}(\mathbb{R}^2)}\lVert\psi\rVert_{L^1(\mathbb{R})}$$