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

9
votes
0answers
144 views

What plays the role of the identity for the generalized convolution associated to the Fourier-Bessel transform?

In traditional Fourier theory, the Dirac delta plays the role of an "identity" for the $L^1$ algebra with respect to the usual convolution. The convolution is traditionally built out of group ...
9
votes
0answers
231 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 ...
7
votes
0answers
107 views

Properties of a continued fraction convolution operation

Usually the partial numerators of a continued fraction are all 1s. Has anyone considered the operation where you convolve 1 continued fraction with another, in other words, make a new continued ...
4
votes
0answers
219 views

Normal() convolved to Exp(polynomial)?

Is there a general exact solution for a Normal distribution convolved to $e^{y(x)}$, where $y(x)$ is a polynomial? $$e^{y(x)}*N(x,v)=\int_{-\infty}^{\infty}e^{y(z)}N(x-z,v)dz$$ ...
4
votes
0answers
59 views

Linear independence of primitive Dirichlet characters and convolution

This is not an exercise but merely a question I have. Fix $N \in \mathbb{N}$ and suppose there exist some values $a_k \in \mathbb{C}$, for $k \in \mathbb{Z}_N$, such that $$ \sum_{k \in \mathbb{Z}_N} ...
4
votes
0answers
62 views

Finding convolution identites

Suppose I have the following definition: $$\frac{x^2/2!}{e^x-1-x}=\sum_{k=0}^{\infty}A_k\frac{x^k}{k!}$$ I want to find a convolution identity for these coefficients $A_k$, but I've never studied ...
4
votes
0answers
114 views

Symbolic math engines barf on this ostensibly tractable integral.

$$\frac14 \int_{-M\pi}^{N\pi - s} \cos(tu/M) \cos((t+s)u/M)(1-\cos(t/M))(1-\cos((t+s)/N))\space \mathrm d t$$ with integer $u$. Alpha runs out of time. Maxima gives a tremendous result that can ...
4
votes
0answers
148 views

Need a fast algorithm of adaptive convolution

Good morrow, gentlemen! I have to apply some kind of adaptive filter to my function $f(x).$ I present each point of my signal as a Gaussian, whose bandwidth depends on its location (not the point of ...
4
votes
0answers
85 views

Weakest Conditions for Convolution to be Differentiable

I was going through various posts about differrentiability of convolutions. What I would like to ask is: Suppose $f \in C^{1}(\mathbb{R})$. Then what conditions on the function $g$ would ensure that ...
4
votes
0answers
731 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 ...
4
votes
0answers
418 views

Convolution Exercise Homework

Put $\varphi(t)= 1- \cos \;t\;\;\;$ if $\;\;\;0 \leq t \leq 2 \pi$, $\varphi(t) = 0$ for all other real $t$. For $-\infty < x < \infty $, define $$ f(x)= 1,\;\;\;\;\;\;\;\;\;\;g(x) = ...
4
votes
0answers
172 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 ...
3
votes
0answers
69 views
+50

Convolution: How to construct it for a given function?

While working on my thesis my advisor handed me an unfinished paper which states the following: First, define the operators \begin{align*} A_i &:= -\operatorname{div}(\sigma_i\nabla) \\ A_e ...
3
votes
0answers
35 views

Equation of convolution of measures

Let $\mu_1,\mu_2$ be two locally finite complex regular Borel measures on $[0,+\infty)$ and $\delta_x$ be the Dirac measure at point $x\in[0,+\infty)$. Suppose that for all $x\in(0,+\infty)$ ...
3
votes
0answers
37 views

Convolution of two signals

I have a problem with the convolution of two signals: $$x_{1}(t) = e^{2t}*u(-t)$$ $$x_{2}(t) = u(t-3)$$ $$x_1 \mathbin{\mathrm{(conv)}} x_2 = \int_{-\infty}^{+\infty} x_2(\tau) * x_1(t-\tau) \, ...
3
votes
0answers
49 views

Approximating two-dimensional convolution

I am trying to use discrete 2d-convolution to estimate continuous double convolution. The convolution integral is $$g(x,y)=(f\ast h)(x,y) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(u,v) ...
3
votes
0answers
95 views

Derivation of back-propagation equation $\frac{\partial E(\theta)}{\partial W^k}=x*\delta h^k+\tilde{h}^k*\delta y$ for convolutional autoencoders

I was reading the following paper on convolution stacked auto-encoders and they had the following convolution neural network (for auto-encoders, notice I didn't write the offset term [to avoid ...
3
votes
0answers
82 views

How do I apply this PDE as an image filter?

I'm trying to preprocess a height map image with a helmholtz-type equation as described in this paper. The equation is: $$ddx(h') + ddy(h') + y(h'-h) = 0$$ I solved for h and got: ...
3
votes
0answers
69 views

Trouble writing Double Summation

I have the following: ...
3
votes
0answers
65 views

Convolution-like operator on (probability) measures on $[0,1]$ yielding measures on $[0,1]$.

Is there a "correct" or "best" way to define convolution of two (Borel) probability measures on $[0,1]$ to yield another probability measure on $[0,1]$? Recall that the convolution, $\mu * \nu$, of ...
3
votes
0answers
201 views

Given a meromorphic function (via its Laurent series), how to obtain the (Taylor series of the) two holomorphic functions it is the quotient of?

Since any meromorphic function $f:\mathbb C\to\mathbb C$ can be expressed as the quotient of two entire functions, i.e. $f(z) = \frac{n(z)}{d(z)}$ where the zeros of the denominator $d(z)$ are $f$'s ...
3
votes
0answers
49 views

changing the parameters of a function

Lets say we have $h[n] = ((1/2)^n )(u[n])$ now if we are ask, find h[k-n], then isn't it we should just swapped every 'n' with 'k-n'. So it turns out $h[k-n] = ((1/2)^{k-n})(u[k-n])$ But why here ...
3
votes
0answers
333 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 ...
3
votes
0answers
401 views

Convolution theorem in 3D

Suppose to have a 3-dimensional discrete grid. I would like to convolve it with a 3-dimensional tensor (a 3x3x3 "cube"), applying the convolution theorem. Hence, I should apply a Fourier transform to ...
3
votes
0answers
681 views

A special case of Young's inequality for convolutions

The problem: Suppose $f,g\in L^1(\mathbb{R})$. Let $x\in \mathbb{R}$ and $\phi_x(y) = f(y)g(x-y)$. Show that for almost all $x$, $\phi_x$ is integrable. For such $x$ let $\psi(x) = ...
2
votes
0answers
42 views

Find a function that's convolution with itself is a given function

I would like to solve this equation for $f(x)$: $$ \int_{-\infty}^{\infty} f(z)f(t-z) dz = g(t). $$ Are there any standard ways to solve such problems? $g(t)$ can be assumed to be continuous, but may ...
2
votes
0answers
21 views

Estimating Self-Convolution of Surface Measure on Sphere

Let $n\geq 2$, and let $\sigma$ denote the standard surface measure on the $n$-sphere $S^{n-1}$, normalized to have total measure $1$. According to the exercise at the end of Terence Tao's blog post ...
2
votes
0answers
38 views

Conditions under which an Convolution operator is normal.

I have a possibly complex valued convolution operator given by $ \int_{\mathbb{R}}K(x-y)f(y)dy$ I know that the operator is self-adjoint if $K(x)=\overline{K(-x)}$ holds. But are there softer ...
2
votes
0answers
19 views

Conditions under which a convolution transformation is injective in the 1-d Torus

Let $X=[0,1)$ the 1-d torus. Given a bounded positive function $w\colon X\to\mathbb{R}$ with unit integral (I mean $w\geq 0$, $w\in L^\infty(X)$ and $\int_X w\; dx=1$), define \begin{align*} T_{w} ...
2
votes
0answers
22 views

Is there a name for this “simplified” Volterra series?

Consider a nonlinear, time-invariant system of the following form: $g(t) = \left[h_1(t) \ast f(t)^1\right] + \left[h_2(t) \ast f(t)^2\right] + \left[h_3(t) \ast f(t)^3\right] + ...$ where $\ast$ ...
2
votes
0answers
46 views

How can I find the convolution of these two functions?

Restrucutred this question, as it felt more natural to be asked in a different matter than I first wrote. Given the functions $$f(t) = \frac{e^{-2|t|}}{4},\quad g(t) = \frac{e^{-3|t|}}{6}$$ Find ...
2
votes
0answers
35 views

How to evaluate Integro-Differential Equation using Laplace convolution?

Can someone please explain how I begin to evaluate the following integro-differential equation? I know that it involves a convolution, but the $y(τ)$ within the integral is throwing me off. ...
2
votes
0answers
32 views

For which $F$ we have $F(f\ast g)= f\ast F(g)$ for all $f,g \in L^{1}$?

Young's inequality tells us that: $L^{1}\ast L^{p} \subset L^{p}, (1\leq p \leq \infty)$ My Question: What are examples of functions $F:L^{1}(\mathbb R)\to L^{p}(\mathbb R)$ with the property ...
2
votes
0answers
46 views

Clarification on Wolfram Mathworld's explanation of the connection between Gelfand Transform and Fourier Transform

http://mathworld.wolfram.com/GelfandTransform.html In the definition, what does $x$, $\hat x(\phi)$, and $\phi$ represent exactly if we were to consider definition of the Fourier transform? Can ...
2
votes
0answers
110 views

About sparse polynomial squares

Given $p\in\mathbb{Q}[x]$, we define the weigth of $p$ as: $$ W(p) = \#\{n\in\mathbb{N}: [x^n]\,p(x)\neq 0\} $$ i.e. as the number of non-zero terms. By playing a bit with the Taylor series of ...
2
votes
0answers
100 views

Laplace transform of inverse error function

I want to calculate the convolution of a function with the inverse error function. Therefore I chose to try to first find an integral transform of the inverse error function like the laplace ...
2
votes
0answers
24 views

Prove the periodic total variation of f = $\sum_{n=0}^{N-1} |(f*h)[n]|$

Let $\Bbb{C}^N$ be the N-dimensional Euclidean space with its inner product defined as $$ \langle f,g\rangle=\sum_{n=0}^{N-1} f[n]g^*[n],\ \forall f,g \in \Bbb{C}^N$$ where $g^*[n]$ is the complex ...
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 ...
2
votes
0answers
37 views

Using Substitution for Convolution

Suppose I have the following product: $$\sum_{k=0}^{a}\alpha_kx^k\sum_{k=0}^{b}\beta_kx^k\sum_{k=0}^{c}\gamma_kx^k$$ Note that the bounds are finite and not equal; $a\neq b \neq c$. I'm looking to ...
2
votes
0answers
58 views

Fourier transform of $e^{-\frac{x^2}{2}}\frac{1}{\mathsf{sinc}( x )} $

I have to find inverse Fourier transform of \begin{align*} F(\omega)=e^{-\frac{\omega^2}{2}}\frac{1}{\mathsf{sinc}( \omega )} \end{align*} I was wondering whether it exists maybe in a sense of ...
2
votes
0answers
156 views

Basic questions on convolution

I am new to convolution. Below is some derivation related to convolution I saw in a paper. Hope to get some help here. (The paper is "Comparing nonparametric and parametric regresssion fit" published ...
2
votes
0answers
240 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
155 views

Changing the order of integration in the proof that Laplace maps convolution to multiplication

I was reading the proof that Laplace transform maps the convolution of two functions to the multiplication of their transforms. Or mathematically $$\mathcal{L}[f*g]=\mathcal{L}[f]\,\mathcal{L}[g],$$ ...
2
votes
0answers
31 views

Convolution of two bernoulli distributions

Find the probability mass function of the sum of X ∼ Bernoulli(p) and an independent Y ∼ Bernoulli(q) variable. I started by letting Z=X+Y So $$P_z(Z)= \sum_{i=0}^{1}f_x(x) f_y(z-x) $$ $$ ...
2
votes
0answers
40 views

Help proving this Convolution Integral:

Can someone give me the steps for proving the following integral: ...
2
votes
0answers
542 views

Convolution of two Gaussians or two sinc functions using direct integration

I tried to solve the following to problems from Gaskil's book Linear Systems, Fourier Transforms, and Optics. But I'm struggling to get the right results. My experience with calculating convolutions ...
2
votes
0answers
206 views

Inverse Fast Fourier Transform to find the voltage across a capacitor of a RC circut

Fourier transform of a RC circuit The following example of a RC circuit describes the use of the fourier transform in order to receive the output voltage across the capacitor. My questions ...
2
votes
0answers
66 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
0answers
234 views

Expectation and convolution question.

I am learning in an image processing course, and the professor did the following: As part of a derivation, has this: What I do not understand, is how he was able to remove $r(i,j)$ to the ...
2
votes
0answers
89 views

Is this function monotonically non-decreasing?

I am wondering if the function $L[n]$ defined on $n=0,1,2,\ldots,N$ below is "monotonically" non-decreasing in $n$. I put monotonically in quotes because the function is not continuous and I am not ...