2
votes
2answers
74 views

Intuition behind convolution identity for Laplace transforms

Convolutions, relatively speaking, are fairly straightforward for simple systems (from an applied perspective), but I cannot, at all, find the intuition behind the Laplace identity for convolutions. ...
2
votes
1answer
23 views

Another proof of the iniectivity of a linear operator

Let $g(x)= \chi_{[-\frac{1}{2}, \frac{1}{2}]}(x) $, and $ T \colon L^2(\mathbb{R}) \longrightarrow L^2 (\mathbb{R})$ , $Tf= g \star f$. I was asked to prove that $T$ is injective, and I succedeed ...
-3
votes
1answer
34 views

How we can compute the convolution product [closed]

How we can compute the convolution of $x_+^k$$*$ $x_+^n$
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
43 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
1answer
42 views

Decay of a Convolution

Let $f, g \in L^1\cap L^\infty(\mathbb{R}^d)$ be probability distributions on $\mathbb{R}^d$, and suppose at large $|x|$, $f$ decays like $|x|^{-\alpha}$ while $g$ decays like $|x|^{-\beta}$, with ...
1
vote
1answer
24 views

Question about mollifiers.

So here is my problem, Let $\rho \in C^\infty (\mathbb{R}^n,R)$ with $\rho\geq 0$, $\rho(x)= 0 \; \forall \|x\|\geq 1$ and $\int_{\mathbb{R}^n}\rho(x)dx=1$. Further, consider the linear map ...
1
vote
1answer
47 views

convolution -questions

I'm lost, can you help me please. How compute the product convolution between two distributions $T$ and $S$? (we suppose that $T * S$ exist)? How we compute the product convolution between an ...
2
votes
1answer
30 views

Convolution computing

How we can compute the convolution product $$\Big(\sum_{n=0}^{+\infty} \delta_n^{(n)}\Big) \star \Big(\sum_{n=0}^{+\infty} \delta_n\Big)$$ where $\delta$ is Dirac distribution? Thank's for the help
1
vote
1answer
43 views

family of functions/sequences taken over reals instead of naturals

How does convergence for a sequence and a family of functions change when considering $n$ taken from $\mathbb{R}$ instead of the $\mathbb{N}$? for example, consider mollifiers which are defined as ...
0
votes
1answer
62 views

Mollification of a function continuous on $\mathbb{R}\backslash\{0\}$, need uniform convergence

We know that if $f:\mathbb{R} \to \mathbb{R}$ is continuous, then its mollification $f_\epsilon$ converges uniformly to $f$ on compact subsets of $\mathbb{R}$ as $\epsilon \to 0$. My question is, ...
0
votes
1answer
52 views

Convolution of a continuous function and uniform continuity

Suppose $f$ is a continuous function, and let the convolution $f_n(x) := f \star \varphi_n(x)$ where $\varphi_n$ are smooth test functions. We know $f_n \in C^\infty$. We know that if $f$ is ...
0
votes
2answers
41 views

convolution product of characteristic functions

Consider the characteristic function $f(x)=1_{[0,r]}(x)$. How to compute $(f*f)(x)$ where $r \in [0,1[$ and by definition $(f*g)(x)=\int_{\mathbb R} f(y)g(x-y) \ dy$ ? thanks.
2
votes
1answer
144 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 ...
1
vote
0answers
24 views

how to prove this limit, convolution?

I am wondering how to prove that $\vert (f*g)(x) \vert \rightarrow 0 $ when $\vert x \vert \rightarrow \infty$ if we assume $f \in L^{p}(\mathbb R)$ and $g \in L^{q}(\mathbb R)$ where $1/p+1/q=1$ ...
0
votes
0answers
47 views

It is possible to find such functions?

I would like to know if it is possible to find a couple of functions $f,g$ such that $f*g$ and $g*f$ exists and such that $f*g\ne g*f$ ? if not it would mean that the convolution product commutes ...
0
votes
0answers
107 views

Convolution of piecewise function

I would like to compute the convolution of piece wise function Following is the piecewise function $$ C_a(t) = \begin{cases}0& t\leq t_d\\ ...
2
votes
1answer
54 views

Is there a function that replaces a product by convolution?

Consider two functions $f(x),g(x) = 0 \forall x<0$, I'd like to know if we can always find an $h(x)$ which satisfies the integral equation $$f(x)g(x) = h(x)*f(x)$$ where '$*$' is the convolution ...
2
votes
1answer
79 views

Haar measure, convolution and involutions

I have some problems to follow the proof of the anti commutativity property of the convolution and involution operations defined using a Haar measure as presented in Pedersen's book "analysis Now", ...
4
votes
1answer
56 views

Properties of the operator $T: f\to f*g$

Let g be the characteristic function of [-1/2,1/2]. $T: f\to f*g$ (convolution). I have managed to prove that T is a linear,bounded,self adjoint,injective operator and it's immage is inclused in ...
0
votes
1answer
98 views

Convolution of functions and measures

I need some help with this exercise. I'm not sure how to deal with it: Let $f(x)=e^{-x^2}$, $\mu$ the Lebesgue measure in $[0,1]$ and $\nu$ the Lebesgue measure in $[2,\infty)$. I have to find the ...
1
vote
1answer
89 views

Convolution of distributions is not associative

I need some help with this exercise: It proposes to show that convolution of distributions is not associative: If $T=T_1$ (distribution given by f=1), $S=\delta'$, and $R=T_H$ (we denote as $H$ the ...
6
votes
1answer
125 views

Can $f*g = f+g$ for $f$ and $g$ compactly supported?

Let $f$ and $g$ be continuous, compactly-supported functions $\mathbb{R} \to \mathbb{C}$. Can it happen that $f*g = f+g$? Here, $f*g$ denotes the convolution $$(f*g)(s) = \int_\mathbb{R} f(t) g(s-t) ...
0
votes
1answer
83 views

Using Mollifiers

If we take $f$ to be a smooth function, then how does it follow that we can write $f^{\epsilon}(x)-f(x) = \int_{B(0,1)}\eta(y)(f(x-\epsilon y)-f(x))dy$ where $f^{\epsilon} := \eta_{\epsilon}\ast f$ ...
2
votes
1answer
110 views

Approximation in Sobolev Spaces

Consider the following proof in Lawrence Evans book 'Partial Differential Equations': How does it follows that $v^{\epsilon} \in C^{\infty}(\bar{V})$? I could see how $v^{\epsilon} \in ...
1
vote
1answer
148 views

Support of Convolution and Smoothing

I just want to know how it follows that $v^{\epsilon} \in C^{\infty}(\bar{V})$? I could see how $v^{\epsilon} \in C^{\infty}(V)$ by using the translations, but I'm having difficulty seeing how it ...
1
vote
1answer
308 views

Convolution of distributions.

We are given with distributions $f,g \in D'(\Bbb R)$. If $suppf\subset (-\infty,a)$ and $supp(g)\subset(b,\infty)$ then prove that $f*g$ is well defined distribution. where $a$ and $b$ are real ...
3
votes
2answers
144 views

How to prove that operator is not compact in $L_2 (\mathbb{R})$

I have the operator $(Af)(x) = \int _{\mathbb{R}} e^{{-(x-t)^2}/2} f(t) dt$. It seems to me that it isn't compact and I'm looking for some general <=> criterion for integral operators to be ...
2
votes
1answer
119 views

The differentiability of convolutions

Yes, again, this type of question. Similar ones this and this. I come with another variant. Let $f\in\mathcal{S}$, i.e. Schwartz function, and $g\in L^{p}(\mathbb{R}^d),p\in[1,\infty]$. The following ...
3
votes
2answers
100 views

Problem of convolution.

If we are given with a polynomial $\mathcal P$ and a compactly supported distribution $g$. Can we prove that their convolution will be a polynomial again?
2
votes
0answers
97 views

General approach to prove the smoothness of convolution

Consider $\mathbb{R}^d$ and $D_i = \partial /\partial x_i$, in many cases $$D_i(f*g) = D_if*g,$$ given one of $f,g$ is smooth and the other is $L^p$ integrable. I am wondering if there is a general ...
2
votes
1answer
450 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 ...
5
votes
2answers
93 views

partially reconstruct information of function convoluted with boxcar kernel

the function (f) I want to reconstruct partially could look like this: The following properties are known: It consists only of alternating plateau (high/low). So the first derivation is zero ...
2
votes
1answer
100 views

convolution-distributions

We denote by $E'(\mathbb{R})$ the set of distribution with compact support , and $\mathcal{D}(\mathbb{R})$ is the set of function $\mathcal{C}^{\infty}$ with a compact support. 1) I want to compute ...
1
vote
1answer
131 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 ...
1
vote
1answer
347 views

Double tophat convolved with a gaussian

I need some help calculating the analytically expression of this convolution. The functions in question are: 1) a gaussian ($g(x)$) 2) a "double tophat function" (in lack of a better name). i.e. ...
1
vote
0answers
171 views

convolution of L1 function with a harmonic oscillation

I have to show that the convolution of a function $f \in L^1(\mathbf{R})$ with the harmonic oscillation $\phi_\omega (t) = \exp(2 \pi i t \omega)$ is equal to the Fourier Transform of $f$, ...
2
votes
0answers
70 views

bound on Hilbert transform

Consider $\widehat{Tf(\xi)}=m(\xi)\hat{f}(\xi)$, where $m(\xi)=(1-\vert\xi\vert)1_{[-1,1]}$, i.e. $T$ is the operation of taking Fourier transform and multiplying with the function $m(\xi)$. I am ...
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$ ...
2
votes
2answers
597 views

Is convolution operator compact?

I know convolution is not a Hilbert–Schmidt integral operator, but it needs more to tell if convolution is compact or not.
6
votes
2answers
761 views

Convolution of measures

We say that a family of measures $\mu_{t}\to \mu$ weakly if for any $g\in C_{0}$, $\int g d\mu_{t} \to \int g d\mu$. Show that if $\mu_{t}\to \mu$ weakly, then $\nu*\mu_{t}\to \nu*\mu$ weakly, where ...
3
votes
1answer
102 views

Convolution on noncommutative group algebras

If $G$ is a non-Abelian locally compact group, and $f$ is in $L^1{(G)}$ and $u$ is in $L^{\infty}(G)$, and $f\ast u=0$ can it be concluded that $u\ast f=0$?
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 ...
2
votes
1answer
173 views

Preservation of Lipschitz Constant by Convolutions

The following is a step in a proof: $f$ is a Lipschitz function from $E$ to $F$ where $E$ is a finite-dimensional Banach space and $F$ an arbitrary Banach space. $\phi\geq 0$ is a $C^\infty$ function ...
6
votes
3answers
723 views

Is $L^2(\mathbb{R})$ with convolution a Banach Algebra?

Is $L^2(\mathbb{R})$ a Banach algebra, with convolution? I am pretty sure the answer is no, because I think that $f,g \in L^2(\mathbb{R})$ does not imply that $f*g \in L^2(\mathbb{R})$. However, I ...