0
votes
1answer
36 views

Bound on uniform norm of convolution of $L^p$ functions

This is Proposition 8.8 in Folland's Real Analysis: If $p$ and $q$ are conjugate exponents, $f \in L^P$, and $g \in L^q$, then $f*g(x)$ exists for every $x$, $f*g$ is bounded and uniformly ...
1
vote
0answers
56 views

Convolution is continuous map

I can prove this when $f$ is assumed as continuous function but without assuming continuity i got confused. Suppose $ p \in (1, \infty) $ and $q$ is its conjugate exponent. Prove that if $f\in ...
2
votes
1answer
149 views

$g, f, \hat {f} \in L^{1}(\mathbb R)\cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R) \implies \widehat{(fg)}= \hat{f} \ast \hat{g} ? $

Let $f, g\in L^{1}(\mathbb R)$ and it Fourier transform of $f$, $\hat{f} (y) = \int _ {\mathbb R} f(x) e^{-2\pi i x \cdot y} dx, \ (y\in \mathbb R)$ and the convolution of $f $ and $g$; $f\ast g ...
6
votes
1answer
139 views

Extend a function by convolution

Let $f \in \mathcal{C}^{\infty}(\mathbb{R})$ be a compactly supported function ($supp(f)\Subset\mathbb{R})$. I am wondering about the existence of a $g \in L^p(\mathbb{R})$, for some $p$, such that ...
-1
votes
1answer
39 views

Prove that $f \ast g$ is continuous and bounded if $f\in L^1(R^n)$ and $g\in L^\propto (R^n)$ [duplicate]

My Engliah is no so good and it is my first time to use this website, so I apologize for it if I didnot make myself clearly:)
3
votes
1answer
93 views

Show that for any $f\in L^1$ and $g \in L^p(\mathbb R)$, $\lVert f ∗ g\rVert_p \leqslant \lVert f\rVert_1\lVert g\rVert_p$.

I write the exact statement of the problem: Show that for any $g \in L^1$ and $f ∈ L^p(\mathbb{R})$, p $\in (1, \infty)$, the integral for f ∗g converges absolutely almost everywhere and that $∥f ∗ ...
2
votes
1answer
117 views

Fourier transform of convolution for $L^2$ functions

If $f,g\in L^1(\mathbb{R})$, it is not hard to show by definition that $$(\hat{f\ast g)}(t)=\hat{f}(t)\hat{g}(t).$$ But what about if $f,g\in L^2(\mathbb{R})$? The Fourier transform on ...
3
votes
1answer
79 views

Bounding for convolution convergence

Suppose $f\in L^p(\mathbb{R})$ and $K\in L^1(\mathbb{R})$ with $\int_\mathbb{R}K(x)dx=1$. Define $$K_t(x)=\dfrac{1}{t}K\left(\dfrac{x}{t}\right)$$ I'm trying to prove that $\lim_{t\rightarrow ...
2
votes
1answer
127 views

$L^p$ Spaces, Young's Theorem, Convolutions, and Minkowski's Inequality

I need to show \begin{align} \|f*g\|_p \le \|f\|_p\|g\|_1 \end{align} By using the generalized Minkowski inequality instead of just Young's Theorem. I have spent a lot of time, but I keep hitting a ...
2
votes
1answer
60 views

Young's inequality

Let $U \in L^1(\mathbb{R}^d)$ and $\rho \in L^1(\mathbb{R}^d)$ such that $\rho \ge 0$ and the support of $\rho$ is included in $B(0,1)$ (the euclidean unit ball of $\mathbb{R}^d$). Is there a way to ...
2
votes
1answer
467 views

What will be the support of the convolution of two test functions.

If $g\in C^{\infty}_c$ defined on $\Bbb R^n$ and K is the support of function $g$. I want to find the support of $g_\epsilon$. Where $g_\epsilon$ is regularization of $g$. Regularization of $g$ is ...
1
vote
1answer
132 views

$\mathcal{L}^p$ spaces and convolution

Suppose that $f \in \mathcal{L}^p$ and $g \in \mathcal{L}^q$, and $p,q$ are conjugate exponents. Then prove that (a) $h(x) = \int_{-\infty}^{\infty} f(t) g(x+t) \, dt$ defines a bounded continuous ...
3
votes
0answers
164 views

The norm of an operator

Let $\rho(x)$ be a weight function in a unit sphere, such that \begin{equation} \begin{array}{l} \displaystyle 1. \rho(x)\ge 0,\int_{\mathbb{R}^n}\rho(x)=1\\ \displaystyle 2. \rho(x)\in ...
4
votes
0answers
119 views

When does $|f*g|_{p}=|f|_{1}|g|_{p}$?

From Rudin, Real and Complex Analysis, 1st edition, Chapter 7, Problem 4 Suppose $1\le p\le \infty$, $f\in L^{1}(\mathbb{R}^{1})$, $g\in L^{p}(\mathbb{R}^{1})$. Show that the the integral defining ...
8
votes
1answer
499 views

How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...