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

8
votes
0answers
117 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 ...
8
votes
0answers
224 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
98 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
60 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
107 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
125 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
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 ...
4
votes
0answers
151 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
49 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} ...
3
votes
0answers
69 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
51 views

Trouble writing Double Summation

I have the following: ...
3
votes
0answers
62 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
156 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
64 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 ...
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
205 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
339 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) = ...
3
votes
0answers
345 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
559 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
25 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
90 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
48 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
21 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
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
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
0answers
36 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
51 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
51 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
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
110 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
22 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
34 views

Help proving this Convolution Integral:

Can someone give me the steps for proving the following integral: ...
2
votes
0answers
403 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
112 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
300 views

Convolution with itself equals itself times a function

Consider the case that $f \in L^1(\mathbb{R})$ and $g \in L^1_{loc}(\mathbb{R})$. Then look at the equation $$ f*f=g\cdot f. $$ I know that if $g$ is constant, then $f=0$. But what about other $g$'s? ...
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
0answers
149 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
71 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 ...
2
votes
0answers
321 views

Need help with the convolution of two complex functions

Could someone start me off with how to find the convolution of these two functions? Using the normal equation for convolution seems impossible as a common overlap interval is required for ...
2
votes
0answers
103 views

Pseudo-inverse of an underdetermined Toeplitz matrix

I have an undetermined Toeplitz matrix (more columns than rows). For example: \begin{equation*} T = \begin{pmatrix} 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 ...
2
votes
0answers
196 views

Show that convolution satisfies partial differential equation

Consider the equation $$\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2} + a\frac{\partial u}{\partial x}$$ for a function $u(x,t)$ with initial value $$u(x,0)=f(x).$$ Let ...
2
votes
0answers
59 views

Inverse Fourier transform to get convolution

Consider the equation $$\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2} + a\frac{\partial u}{\partial x}$$ for a function $u(x,t)$ with initial value $u(x,0)=f(x).$ Let ...
2
votes
0answers
713 views

How Heaviside step function changes limits of integration

This question involves the Laplace transform of the convolution of two functions. The derivation in my textbook has a step that really confuses me. First I'll lay out their argument. $$ f(t) = f_1(t) ...
2
votes
0answers
260 views

Proof of a method to find the points of maximum slope

According to method described in a paper [1] if we want to find points of maximum slope in a signal $f(t)$, then one has to do following Convolve $f(t)$ with $g(t)$ where $g(t)=-cos(\omega ...
2
votes
0answers
380 views

Convolution of compactly supported functions

Let $f,g : \mathbb R \rightarrow \mathbb R$ continuous and compactly supported. I want to show that $f*g$ is continuous and compactly supported. I am 100% sure how to do it. I began as follows: ...
2
votes
0answers
95 views

Solving Dirichlet problem by means of potential theory

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain and consider the Dirichlet problem with $f\in H^{-1}(\Omega)$ $$\tag{1}-\Delta u=f$$ Is there a way to solve this problem by using ...
2
votes
0answers
482 views

How to express multiplication of two spherical harmonics expansions in terms of their coefficients?

Consider a spherical harmonics expansion/series like this: $$f(\theta,\varphi)=\sum_{\ell=0}^\infty \sum_{m=-\ell}^\ell f_\ell^m \, Y_\ell^m(\theta,\varphi)$$ Presumably if we take two functions on ...
2
votes
0answers
152 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
0answers
104 views

Convolution and Smoothness Conditions

Suppose $f(x),g(x)\in L_1(\mathbb{R})$, with both $|f(x)| \leq 1$, $|g(x)| \leq 1$ and $|f(x)| \rightarrow 0$, $|g(x)| \rightarrow 0$ for $|x| \rightarrow \infty$. Given that we have two other ...
2
votes
0answers
70 views

Show compactness of an evolution operator

Consider the heat equation $$ u_{t}=u_{xx},~~~~~u_0(x)=u(0,x)$$ with $u\colon [0,T]\times\mathbb{R}\to\mathbb{R}, (t,x)\mapsto u(t,x)$ and the evolution operator $E(T)$ with $E(T)u_0=u(T,x)$. 1.) ...