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
363 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)} - ...
3
votes
1answer
876 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 ...
9
votes
1answer
608 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
807 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 ...
1
vote
1answer
226 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 ...
7
votes
4answers
6k 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 ...
16
votes
3answers
2k 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
4answers
937 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 ...
9
votes
1answer
805 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$. ...
1
vote
1answer
375 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 ...
6
votes
3answers
948 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 ...
4
votes
3answers
509 views

Alternating sign Vandermonde convolution

The well-known Vandermonde convolution gives us the closed form $\sum_{k=0}^n {r\choose k}{s\choose n-k} = {r+s \choose n}$. For the case $r=s$, it is also known that $\sum_{k=0}^n (-1)^k {r \choose ...
3
votes
2answers
465 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
995 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
82 views

Sums of normal CDF's

This is my following problem: $$ CDF_A:F_A(x)=\Phi(x)^2 $$ $$ CDF_B:F_B(x)=1-\Phi(-x)^3 $$ $$ Defining: X=A+(-B) $$ I have those two CDF's and I want to calculate the probability that X is smaller ...
1
vote
1answer
228 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$$ ...
5
votes
2answers
105 views

Easy way to compute $Pr[\sum_{i=1}^t X_i \geq z]$

We have a set of $t$ independent random variables $X_i \sim \mathrm{Bin}(n_i, p_i)$. We know that $$\mathrm{Pr}[X_i \geq z] = \sum_{j=z}^{\infty} { n_i \choose j } p_i^j (1-p_i)^{n_i -j}.$$ But is ...
7
votes
1answer
426 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 ...
4
votes
2answers
1k 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 ...
1
vote
1answer
389 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 ...
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 ...
4
votes
2answers
179 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 ...
2
votes
4answers
71 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 ...
2
votes
0answers
39 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 ...
2
votes
1answer
79 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 ...
1
vote
2answers
63 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
22 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 ...
0
votes
1answer
433 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 ...
6
votes
4answers
2k views

Laplacian 2D kernel - is it separable?

I'm wondering if the 2D laplacian kernel 0 1 0 1 -4 1 0 1 0 is also a separable kernel. How can I find that out?
5
votes
2answers
625 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 ...
4
votes
1answer
120 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
0answers
527 views

Why matrix representation of convolution cannot explain the convolution theorem?

A record saying that Convolution Theorem is trivial since it is identical to the statement that convolution, as Toeplitz operator, has fourier eigenbasis and, therefore, is diagonal in it, has ...
3
votes
1answer
155 views

Why does convolution not maintain asymptotic equality of coefficients?

Assume I have four (generating) functions $f$, $f'$, $g$ and $g'$. If that is interesting, we can assume that they all share the same radius of convergence $\rho > 0$. In addition, we know that ...
3
votes
1answer
337 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) + ...
3
votes
1answer
132 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 ∗ ...
3
votes
2answers
171 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
0answers
81 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 ...
2
votes
0answers
219 views

Solve integral(convolution) equation

I have been trying to find a solution to the following convolution equation: \begin{align*} e^{-ax^2/2}*\ln \left(f(x)*e^{-ax^2/2}\right)+e^{-bx^2/2}*\ln \left(f(x)*e^{-bx^2/2}\right)=cx^2 ...
2
votes
0answers
60 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 ...
2
votes
2answers
411 views

How to show that the difference of two Gumbel distributed random variables follows a Logistic distribution?

How can you show that when you have two random variables $X,Y\sim\text{Gumbel}[0,1]$ , then $X-Y\sim\text{Logistic}[0,1]$ . I tried to use the convolution formula ...
2
votes
1answer
85 views

Does negative distributive property of convolution over cross correlation holds?

Let $\star$ denote convolution binary operation and $\otimes$ denote cross correlation binary operation between two functions. Let $f,g,h$ be functions. Does this negative distribution property ...
2
votes
3answers
595 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}} ...
2
votes
1answer
150 views

The digit base and the NTT convolution

Suppose I'm using a number theoretic transform (NTT) in an integer field $GF(p)$. I assume that $2n$-th root of unity exists for such a $p$, and I want to compute a convolution of two $n$-length ...
2
votes
1answer
397 views

Convolution on group with measure

I was wondering about the generalization of the concept of convolution from the familiar one on real spaces and how many properties still remain. For convolution on Lebesgue-integrable real-valued ...
1
vote
2answers
36 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.
1
vote
0answers
28 views

Can we choose $g$ so that $\|(g\widehat{(f^{3})})^{\vee}\|_{L^{p}} \leq C \|g_{1}f\|_{L^{2}}^{r} \|(g_{2}\hat{f})^{\vee}\|_{L^{s}}$?

Let $f, f^{2}, f^{3}\in L^{q}(\mathbb R)\cap C_{0}(\mathbb R)$ where $ q\geq p, \ \text{and}$ and $C_{0}(\mathbb R)$ is the class of continuous functions vanishing at infinity. My Questions: ...
1
vote
3answers
38 views

Convolution Product $\sin t *\sin t$ by complex replacement.

I want to compute $$\sin t * \sin t=\int_0^t \sin u \sin (t-u) \, d u.$$ I have already tried complex replacement: $$\int_0^t \sin u \sin (t-u) \, \mathrm d u = Im{\int_0^t e^{iu} e^{i(t-u)}\,d u ...
1
vote
1answer
98 views

Multiple self-convolution of rectangular function - integral evaluation

I am trying to find an $n$-multiple convolution of a rectangular function with itself. I have a function $f(x) = 1$ for $0<x<1$, 0 otherwise. I define $$ g_2 (y) = \int_{-\infty}^{\infty} ...
1
vote
1answer
75 views

Question about transformations and sums on uniformly distributed random variables.

I'm looking into a few problems as a hobby of mine, and found myself with the following problem: let $X$ be a random variable uniformly distributed on $[0,1]$. What is the probability that after $N$ ...
1
vote
1answer
76 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 ...