1
vote
1answer
10 views

Bound on the derivative of a cut-off function

Let $\rho$ be a smooth function in $\mathbb R^n$ such that $0 \leq \rho \leq 1$ and $\rho$ is supported in the unit disk and let $\rho_\epsilon(x) = \epsilon^{-n}\rho(\epsilon^{-1}\|x\|)$. If $f$ is ...
2
votes
1answer
36 views

convolution of compactly supported continuous function with schwartz class function is again a Schwartz class function?

Suppose $f$ is continuous function on $\mathbb R$ with compact support; and $g\in \mathcal{S}(\mathbb R),$ (Schwartz space) My Question is: Can we expect $f\ast g \in \mathcal{S(\mathbb R)}$ ? ...
1
vote
1answer
17 views

Holder continuity of $\frac{x}{|x|^3} \ast f$ with $f \in C^1_0$ in $\mathbb{R}^3$

Ok, so I need to show that for $f \in C^1_0(\mathbb{R}^3)$ the convolution with $k(x) := \frac{x}{|x|^3}$ is Holder continuous. The exponent doesn't matter much as long as I can bound it using ...
1
vote
1answer
17 views

if $f$ is in weak $L^p$ and $\phi$ is $C_0^{1}$ then $f \ast \phi$ is in weak $L^p$

Okay, so I'd like to know if what I wrote in the title is true. Suppose that $f \in L^{p,\infty}(\mathbb{R}^n)$ (weak $L^p$ space) and $\phi \in C_0^1(\mathbb{R}^n)$ [or even $C_0^{\infty}$ if it ...
1
vote
1answer
48 views

convolution of function with itself 4 times

I have to compute the convolution of $ f(t) = \frac{1}{\pi}\frac{1}{t^2 + 1} $ with itself 4 times, i.e. $$ f \star f \star f \star f $$ I slightly doubt that doing it in steps, i.e. taking $f \star ...
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 ...
4
votes
1answer
92 views

Convolution of a probability measure with a smooth function

If $f\in L^1(\mathbb{R}^n)$ and $g\in L^p(\mathbb{R}^n)$ then by Young's convolution inequality we have the estimate: $$ \|f*g\|_{L^p}\leq \|f\|_{L^1}\|g\|_{L^p}.$$ Question: Let $\mu$ be a ...
1
vote
1answer
44 views

Interesting equation in L^1

Consider $L^{1}(T) = \{ f : R \rightarrow C \text{ with period 1 and } \int_{0}^{1} |f (x)| \ dx < \infty\}$. For $f,g \in L^{1}(T)$ the convolution is given by $(f * g)(x)= ...
0
votes
1answer
92 views

How to calculate the threefold convolution $f*f*f$

Somehow this convolution is driving me crazy. I am trying to calculate for the indicator function $f:=1_{[0,1]}$ the threefold convolution $$f*f*f$$ But honestly, it does not work somehow. ...
4
votes
0answers
100 views

Are any of those quotient rings isomorphic to other well known rings?

(1) Let $C_b(\mathbb{R})$ be the ring (with pointwise multiplication and addition) of bounded continuous functions. Let $I_0=\{f_{(x)} \in C_b(\mathbb{R}) \space | \space lim_{x \to \pm ...
4
votes
2answers
130 views

Let $S$ be the Schwartz class. Show that if $f,g\in S$, then $fg\in S$ and $f*g\in S$, where $*$ denotes convolution.

Let $S$ be the Schwartz class. Show that if $f,g\in S$, then $fg\in S$ and $f*g\in S$, where $*$ denotes convolution. To differentiate $fg$, we may apply Leibniz's rule ( ...
2
votes
1answer
133 views

Convolution and uniform continuity

If $f\in L^{\infty}(\mathbb{R}^n)$ and $f$ is continuous at $x$, then $$\lim_{k\to\infty}(f*\phi_k)(x)=cf(x)$$ If $f\in L^{\infty}(\mathbb{R}^n)$ and is uniformly continuous, then $f*\phi_k\to cf$ ...
3
votes
1answer
72 views

Interesting inequality $\|F\|_p\le \frac{\pi}{\sin(\pi/p)}\|f\|_p$ over $L^p$

Consider the function $$F(x)=\int_0^\infty \frac{f(y)}{x+y} \, dy, \quad0<x<\infty$$ Prove that if $1<p<\infty$, $$\|F\|_p\le \frac{\pi}{\sin(\pi/p)}\|f\|_p$$ and show that the constant ...
0
votes
1answer
61 views

Give an example of $f\in L^1$, $g\in L^{\infty}$, such that $f*g\notin C_0$ (meaning $\lim_{|x|\to\infty}(f*g)(x)\neq0$)

Give an example of $f\in L^1$, $g\in L^{\infty}$, such that $f*g\notin C_0$ (meaning $\lim_{|x|\to\infty}(f*g)(x)\neq0$) Here's a theorem from my real analysis book: Assume $1\le p\le \infty$ and ...
1
vote
1answer
59 views

About the continuity of a convolution product

I need some help with this exercise: If $f\in L_p(\mathbb{R}^n)$ and $g\in L_q(\mathbb{R}^n)$, where $\frac{1}{p}+\frac{1}{q}=1$, Is their convolution $f\ast ...
7
votes
2answers
374 views

Convolution intuition: clarifying Terence Tao's “blurring”/“fuzz” interpretation

On this math.MO post, "What is convolution intuitively?", Terence Tao's answer (in the case where one function is a bump function) involves "blurring" and "fuzz." Could someone clarify his ...
1
vote
1answer
84 views

Estimate of $|(f*g)(x)-f(x)|$ where $g$ is approximation to the identity

Let $f: \mathbb R \rightarrow \mathbb R$ continuous with compact support $[0,1]$. Assume $|f(x)| \leq M$ for all $x \in [0,1]$. Let $\epsilon > 0$. Then let $0< \delta <1$ s.t. $$ \forall ...
2
votes
1answer
57 views

Asymptotics at the origin of the convolution with an approximation to the identity.

In short, I am trying to find sufficient conditions for an approximation to the identity function $K_h$ so that, for $h$ small enough and fixed, the asymptotics at the origin of an $L^1 \cap L^2$ ...
2
votes
1answer
76 views

Fourier analysis exercise

I need a hand with this question: If $f\in{L_1(\mathbb{R})}$ and $g\in{L_2(\mathbb{R})}$, then prove that $\widehat{f*g}=\hat{f}\cdot \hat{g}$ As a tip, i have been told to prove that: ...
1
vote
1answer
50 views

A problem about Convolution

If $\phi\in C_0^{\infty}(\mathbb{R}^N)$ and $\psi\in L_{loc}^1(\mathbb{R}^N)$ is defined by $\psi(x)=|x|^{2-N}$, $N\geq 3$ , does $\phi\star\psi$ is in the Schwartz space? Note: $\star$ stands for ...
1
vote
1answer
302 views

Intuition behind the convolution of two functions

Suppose $f(x)$ and $g(x)$ are two functions. What is intuition or idea behind the convolution of $f$ and $g$? After taking the convolution we will get a new function. What is the geometric relation ...
2
votes
3answers
424 views

Convolution of an integrable function of compact support with a bump function.

Let $f\in L^1(\mathbb{R})$ be of compact support and $\psi(x)=C \exp(-(1-x^2)^{-1})$ where $C$ is chosen so that $\int_{\mathbb{R}} \psi =1$. Show that the convolution $f*\psi(x)=\int_{\mathbb{R}} ...
0
votes
2answers
116 views

Show $\exists \{g_n\} \subset C_c^\infty$ such that $(f \ast g_n)(x) \to f(x)$ a.e., when $f \in L^1_\text{loc}$

Let $C_c^\infty$ denotes the set of real valued function with compact support. Show $\exists \{g_n\} \subset C_c^\infty$ such that $(f \ast g_n)(x) \to f(x)$ a.e., when $f \in L^1_\text{loc}$. If ...
3
votes
1answer
263 views

How to show that if $f$ or $g$ is continuous, then the convolution $f \star g$ of those functions is continuous?

How to show that $f \star g$ is continuous if $f$ or $g$ is continuous? Do you use $\epsilon - \delta $ - approach in the proof? some hint. I define $$(f \star g)(x)=\frac{1}{2\pi} \int_{- \pi}^{\pi} ...
7
votes
2answers
2k views

convolution of a function with itself equals itself

In a homework question, I was asked to show: (1) in $L^1(R)$, if $f*f = f$, then $f$ must be a zero function. (2) In $L^2(R)$, find a function $f*f=f$. I don't know how to proceed. for (1), $f*f=f$ ...
1
vote
1answer
284 views

analytically calculate value of convolution at certain point

i'm a computer science student and i'm trying to analytically find the value of the convolution between an ideal step-edge and either a gaussian function or a first order derivative of a gaussian ...
0
votes
0answers
471 views

Convolution between a kernel and an image with FFT

In the FFT2D paper (Fast Fourier transform used for a convolution with a kernel in the frequency domain), I'm lost at the second page first picture: ...
2
votes
2answers
169 views

Newtonian potential of a rotationally-invariant function

Lately I read up in the wikipedia article about the Newtonian potential, that for any compactly supported continuous function $f: \mathbb{R}^d \rightarrow \mathbb{R}$ that is rotationally invariant ...
8
votes
0answers
209 views

Is there a closed form solution of $f(x)^2+(g*f)(x)+h(x)=0$ for $f(x)$?

When $g(x)$ and $h(x)$ are given functions, can $f(x)^2+(g*f)(x)+h(x)=0$ be solved for $f(x)$ in closed form (at least with some restrictions to $g,h$)? (The $*$ is not a typo, it really means ...
4
votes
1answer
214 views

Conditions for the Convolution $f \ast g$ to be Continuous at a Point

Let $f$ and $g$ be functions on $\mathbb{R}^n$. Let $x_0$ be a given point in the unit ball $B(0,1)$. I am looking for sufficient conditions for the convolution $$ (f \ast g)(x) = \int_{B(0,1)} ...
1
vote
0answers
88 views

Solution for this Convolution

We have $f(z)=z+ \sum_{n=2}^{\infty} a_{n}z^{n}$ where $a_{n}$ is a constant and $g(z)=z$, $(f*g)(z)$ is equal to what? i still wondering to confirm that $(f*g)(z)=z$.
5
votes
3answers
1k views

Convolution of compactly supported function with a locally integrable function is continuous?

Can someone show me the proof that the convolution of a compactly supported real valued function on $\mathbb{R}$ with a locally integrable function is also continuous? I feel that this is a standard ...
5
votes
1answer
366 views

Let $f$ be a continuous but nowhere differentiable function. Is $f$ convolved with mollifier, a smooth function?

Let $f$ be a continuous but nowhere differentiable function. Is $f$ convolved with mollifier, a smooth function?