Questions on the (continuous or discrete) convolution of two functions. It can also be used for questions about convolution of distributions (in the Schartz's sense) or measures.

learn more… | top users | synonyms

1
vote
1answer
501 views

Convolution Laplace transform

Find the inverse Laplace transform of the giveb function by using the convolution theorem. $$F(x) = \frac{s}{(s+1)(s^2+4)}$$ If I use partial fractions I get: $$\frac{s+4}{5(s^2+4)} - \frac{1}...
9
votes
1answer
712 views

The error term in Taylor series and convolution.

I've been wondering a lot why is the remainder of the Taylor expansion of a function, $R_n(x)$, expressed (in one of the many forms) as something very similar to aconvolution. Precisely: $$R_n(x) = \...
2
votes
1answer
65 views

Differential operator applied to convolution

Suppose that $g\in \mathcal{S}(\mathbb{R^n})$ (Schwartz space) and $f\in L^p(\mathbb{R^n}).$ The idea is to prove that the differential operator $D^\alpha$ does not follow the Leibniz rule when ...
17
votes
4answers
3k views

Why convolution regularize functions?

There is a tool in mathematics that I have used a lot of times and I'm still not confortable with. In fact I can't figure out (by this I mean that I cannot understand it geometrically) why does ...
13
votes
5answers
992 views

Definition of convolution?

Why do we use $x - y$ rather than $x + y$ in the definition of the convolution? Is it just convention? (If we are thinking of convolutions as weighted averages, for instance against "good kernels," it ...
10
votes
4answers
10k views

Can someone intuitively explain what the convolution integral is?

I'm having a hard time understanding how the convolution integral works (for Laplace transforms of two functions multiplied together) and was hoping someone could clear the topic up or link to sources ...
13
votes
4answers
1k views

How this operation is called?

This operation is similar to discrete convolution and cross-correlation, but has binomial coefficients: $$f(n)\star g(n)=\sum_{k=0}^n \binom{n}{k}f(n-k)g(k) $$ Particularly, $$a^n\star b^n=(a+b)^n$$...
11
votes
1answer
1k 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$. ...
2
votes
2answers
672 views

Fourier transform as diagonalization of convolution

I've read this in a lot of places but never quite got how this is true or meant. Let's say we have a convolution Operator $$ A_f(g) = \int f(\tau)g(t-\tau)d\tau $$ and apply it to $g(t)=e^{ikt}$. ...
6
votes
3answers
1k 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 ...
5
votes
1answer
1k views

Young's inequality for discrete convolution

Young's inequality for convolution of functions states that for $f\in L^p(\mathbb{R}^d)$ and $g\in L^q(\mathbb{R}^d)$ we have $$\|f\star g\|_r\le\|f\|_p\|g\|_q$$ for $p$, $q$, $r$ satisfying $$\...
2
votes
1answer
1k views

Convolution is uniformly continuous and bounded

Suppose $f\in L^\infty(\mathbb{R})$ and $K\in L^1(\mathbb{R})$ with $\int_\mathbb{R}K(x)dx=1$. Show that the convolution $f\ast K$ is a uniformly continuous and bounded function. The definition of ...
3
votes
2answers
695 views

Differentiability of convolution

First let me say that I have used the search bar and looked through all the "differentiability of convolution" questions that I saw, but none of them seem to cover this case. (If one of them did and I ...
2
votes
2answers
1k views

Convolution of integer sequences

I read this somewhere: $U$ and $V$ are defined on the set $\mathbb{Z}$ of integers. The convolution of $u$ and $v$, noted as $(u*v) (k)\,\theta$ or $ (u \otimes v) (k)\theta$, is a new sequence whose ...
1
vote
1answer
353 views

$f$ is bounded and continious $\Rightarrow$ the convolution integral $\int f(\tau)g(x-\tau)\text{ d}\tau$ is bounded and continuous

Let $g\in L^1(\mathbb{R}^n)$ and $f:\mathbb{R}^n\to\mathbb{R}$ be bounded and continuous. Why is the convolution integral $$f*g:\mathbb{R}^n\to\mathbb{R}\;,\;\;\;\int f(\tau)g(x-\tau)\text{ d}\tau$$ ...
1
vote
0answers
18 views

Complex filter factorizations - continued

Continuing from this rather silly trivial question factoring real valued filters into shorter complex ones, hoping this won't be as trivial. If we modify it a bit: $$z_0 = e^{2\pi i / 8}$$ and $$\...
0
votes
1answer
924 views

Convolution of functions with compact support

I have a question regarding convolution with compact support: Suppose $f \in L^1(\mathbb{R})$ and $g \in L^p(\mathbb{R})$, and both of them have compact support. Show that $f*g$ (convolution ...
2
votes
1answer
425 views

What's the difference between convolution and crosscorrelation?

What's the difference between convolution and crosscorrelation? So why do you use '-' for convolution and '+' for crosscorrelation? Why do we need the "time reversal on one of the inputs" when doing ...
7
votes
1answer
553 views

ODE Laplace Transforms: what impulse brings an oscillating system to rest?

$2y''+y'+2y=\delta(t-5)$ $y(0)=0, y'(0)=0$ Consider the system given by ODE above in which an oscillation is excited by a unit impulse at $t=5$. Suppose that it is desired to bring the system to ...
7
votes
2answers
1k views

Proving the sum of two independent Cauchy Random Variables is Cauchy

Is there any method to show that the sum of two independent Cauchy random variables is Cauchy? I know that it can be derived using Characteristic Functions, but the point is, I have not yet learnt ...
4
votes
2answers
3k views

Convolute exponential with a gaussian

I have data measuring an exponential decay that is convoluted by a gaussian response function. I have the measured shape of the gaussian, and want an analytical expression for the exponential post-...
3
votes
3answers
1k views

convolution of characteristic functions

Suppose $A$ and $B$ are measurable subsets of $\mathbb{R}$ of finite positive measure. Show that the convolution $\chi_A*\chi_B$ is continuous and not identically $0$. Use this to prove that $A+B$ ...
2
votes
1answer
102 views

Show that if $\,u \in W^{1,p}\left(I\right) \bigcap C_c\left(I\right)$, then $\,u \in W_{0}^{1,p}\left(I\right)$.

I want to show the following statement ($1 \leq p < \infty$), for an open interval $I$: If $u \in W^{1,p}\left(I\right) \bigcap C_c\left(I\right)$ then $u \in W_{0}^{1,p}\left(I\right) $. $W^...
2
votes
1answer
254 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 C^{\infty}(...
1
vote
1answer
445 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 ...
6
votes
2answers
290 views

Number Theoretic Transform (NTT) to speed up multiplications

I recently heard that the Number Theoretic Transform (NTT), which is a specialization of Fast Fourier Transformation (FFT) over the ring modulo an integer, can be used to speed up certain calculations,...
5
votes
2answers
392 views

Number Theoretic Transform (NTT) example not working out

I'm reading up on the NTT, which is a generalisation of the DFT. I'm working in $\mathbb{F}_5$ with primitive root $w=2 \mod 5$. Suppose I want to compute the NTT of $x=(1,4)$. So far I have obtained: ...
5
votes
3answers
2k 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 ...
4
votes
2answers
208 views

How to make 3D object smooth?

I want to make the below picture into an egg with smooth surface. For the implementation in Mathematica, please, see this thread here. This thread considers mathematical methods to achieve the goal ...
3
votes
2answers
105 views

Convolution of half-circle with inverse

I am trying to compute the function: $$f(\lambda)\equiv\int_{-1}^{1}\frac{\sqrt{1-x^2}}{\lambda-x}dx.$$ It arises as the convolution of the semi-circle density with the inverse function. When $\...
2
votes
4answers
86 views

Calculating value of integral of convolution using Fourier transform

Calcuate the integral $$I=\int_{-\infty}^\infty\frac{\sin a\omega\sin b\omega}{\omega\cdot \omega}d\omega.$$ First I noticed that $$\mathcal{F}(\mathbb{1}_{[-h,h]})(\omega)=\frac{\sin h \omega}{\...
2
votes
1answer
42 views

Show that $\lim_{n\to\infty}\|f_*^{(n)}\|_1^{\frac{1}{n}}=\|\hat{f}\|_\infty$

Let $1<p\leq 2$ and $f\in L^p(\mathbb{T})$, i.e. $f$ is $p-$th power integrable and is $1-$periodic. Define $$f_*^{(n)}=f*f*\dots*f\quad n\text{ times}$$ Show that $$\lim_{n\to\infty}\|f_*^{(n)}\|...
2
votes
0answers
43 views

Proving $\mu\ast K_n\to\mu$

Let $\{K_n\}$ be approximating unit and $\mu\in M(\mathbb{T})$. Show that $\mu\ast K_n\to \mu$ weakly means $$\int f(t)d(\mu\ast K_n)(t)\to\int f(t)d\mu(t)$$ Suppose $\mu\in L^1(\mathbb{T})$, I know ...
2
votes
1answer
87 views

Is it true that $f\in W^{-1,p}(\mathbb{R}^n)$, then $\Gamma\star f\in W^{1,p}(\mathbb{R}^n)$?

I am trying to understand the following paper. In page 1191, in the beggining of the proof of Theorem 2.9. the authors consider the convolution $$v=\Gamma\star f$$ They claim that $v\in W^{1.p}(\...
1
vote
2answers
70 views

Convolution Theorem and Marginal Density Intuition.

In terms of marginal density, how does one know that summing over the $x$ (or rather along the linear line) values for the joint density of $(x,z-x)$ give us the density function of $z$? More ...
1
vote
2answers
70 views

Integrability of Maximal Convolution Operator

Let $f\in L^{\infty}(\mathbb{R}^{n})$ be supported in the unit ball and have mean zero. Let $\phi\in L^{1}(\mathbb{R}^{n})\cap C^{\alpha}(\mathbb{R}^{n})$ be a Holder continuous function with exponent ...
1
vote
1answer
32 views

Translations AND dilations of infinite series

Sometimes, when working with infinite series, it's useful to add "dilated" or "translated" versions of the infinite series, term by term, back to the original. There are ways of making this rigorous ...
1
vote
1answer
273 views

The issue of treating an inverse Fourier transform in terms of a tempered distribution.

Consider the wave equation $$ u_{tt}=\Delta{u} \quad u(x,0)=f(x) \quad u_t(x,0)=g(x) \tag{*} $$ A solution to this equation is given by $$ u(.,t)=f*\partial_t\Phi_t+g*\Phi_t \tag{**} $$ where $\Phi_t$...
1
vote
2answers
65 views

Sums of independent random variables (more than two) [closed]

I read that the convolution of two iid random variables is $$(f * g) (z) = \int f(z-y) g(y) dy$$ What is the general formula for more than two RVs? For example, for three RVs.
0
votes
1answer
534 views

Using Convolution Theorem to find the Laplace transform

In previous questions I have used Laplace transform to find the inverse Laplace transform. I have worked through this work booklet (http://www3.ul.ie/~mlc/support/Loughborough%20website/chap20/20_6....
6
votes
1answer
169 views

Proving an integral identity: $\int\nolimits_{-\infty}^\infty x f(x)f(t-x) dx =\frac{t}{2} \int_{-\infty}^\infty f(x)f(t-x) dx $

Let $f$ be a nonnegative (probably not needed) function on $\mathbb{R}$ such that for all $t$, $xf(x)f(t-x)$ and $f(x)f(t-x)$ are both integrable in $x$. Is it true that $$ \int\nolimits_{-\infty}^\...
5
votes
2answers
735 views

Limits and convolution

Let $f,g \in L^2(\mathbb{R^n})$, $\{ f_n \}, \{ g_m \} \subset C^\infty_0(\mathbb{R}^n)$ (infinitely differentiable functions with compact support) where $f_n \to f$ in $L^2$, and $g_n \to g$ in $L^2$....
4
votes
1answer
133 views

A convolution involving binomials

Given $$f(i)\gt0,\:g(i)>0,\:i =0,1,2,3,...\:$$and$$\sum_{i=0}^{\infty}f(i) = 1,\sum_{i=0}^{\infty}g(i) = 1$$Prove that, if$$\frac{g(l-k)f(k)}{\sum_{i=0}^{l}f(i)g(l-i)}=\binom{l}{k}p^k(1-p)^{l-k}\: ...
4
votes
1answer
473 views

Differentiating a convolution integral

I'm trying to turn the integro-differential equation $\phi'(t) + \phi(t) = \int_0^t \sin{(t - \xi)} \, \phi(\xi) \, \mathrm{d} {\xi}$ into the differential equation $\phi'''(t) + \phi''(t) + \phi'(...
3
votes
3answers
2k views

Approximate a convolution as a sum of separable convolutions

I want to compute the discrete convolution of two 3D arrays: $A(i, j, k) \ast B(i, j, k)$ Is there a general way to decompose the array $A$ into a sum of a small number of separable arrays? That is: ...
3
votes
3answers
3k views

Convolution of triangle function with itself

I'm trying to find the convolution $(A \ast A)(x)$, where $$A(x) = \begin{cases} 1 + x, & -1\leq x \leq 0,\\ 1 - x, & 0\leq x \leq 1,\\ 0, & \text{otherwise}, \end{cases}$$ so far ...
3
votes
1answer
303 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 ...
3
votes
2answers
189 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 ...
3
votes
1answer
156 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 ∗ g∥...
2
votes
0answers
67 views

Do asymptotically equivalent coefficients survive convolution at least in Θ?

This is a follow-up question to this one where I asked if asymptotic equivalence of coefficients carried over after convolution, resp. why this was not the case. Answerer Daniel Fischer proposed that ...