1
vote
1answer
24 views

Convolution of Strictly Convex Function

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a $C^2$, strictly convex function, and $\theta_\epsilon$ the standard approximation to identity ...
2
votes
1answer
39 views

convolution of compactly supported continuous function with schwartz class function is again a Schwartz class function?

Suppose $f$ is continuous function on $\mathbb R$ with compact support; and $g\in \mathcal{S}(\mathbb R),$ (Schwartz space) My Question is: Can we expect $f\ast g \in \mathcal{S(\mathbb R)}$ ? ...
1
vote
1answer
18 views

Holder continuity of $\frac{x}{|x|^3} \ast f$ with $f \in C^1_0$ in $\mathbb{R}^3$

Ok, so I need to show that for $f \in C^1_0(\mathbb{R}^3)$ the convolution with $k(x) := \frac{x}{|x|^3}$ is Holder continuous. The exponent doesn't matter much as long as I can bound it using ...
1
vote
0answers
13 views

convolution of three functions of two variables

Give three functions of two variables $a(x,y),b(x,y),c(x,y)$ one can construct the following convolution like integral: $y(x,y) = \int dx' dy' a(x',y')b(x-x',y') c(x-x',y-y')$ which I have a hard ...
0
votes
2answers
37 views

estimating $L^p$ norm of $\frac{x}{|x|^3} \ast (-\text{div}_x \ldots)$

I've been having problems with following an argument in a paper I'm reading, I hope someone can help me understand the point. Suppose $f(t,\cdot,\cdot)$ is a $C_0^1 (\mathbb{R}^6)$ function for all ...
0
votes
1answer
36 views

Bound on uniform norm of convolution of $L^p$ functions

This is Proposition 8.8 in Folland's Real Analysis: If $p$ and $q$ are conjugate exponents, $f \in L^P$, and $g \in L^q$, then $f*g(x)$ exists for every $x$, $f*g$ is bounded and uniformly ...
0
votes
0answers
24 views

Min $+$ convolution is associative

Although the following question was encountered in a Communication Networking textbook, the problem is still one of algebraic and analytic manipulation. Define the (min,+) convolution of two real ...
0
votes
1answer
69 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
0answers
24 views

The derivative of convolution

For a compact supported continuous function $\rho$ in $R^3$, consider the convolution $f(y)=\int_{R^3}\frac{1}{|x-y|}\rho(x)d x$, did the following communicate of derivative and integral holds? $$ ...
0
votes
2answers
42 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.
1
vote
1answer
92 views

Convolution $f*g$ is continuous

Statement: Let $f,g: \mathbb{R}^d \rightarrow \mathbb{R}$ be Lebesgue measurable functions such that $f\in L^1(\mathbb{R}^d)$ and $g\in L^\infty(\mathbb{R}^d)$. The convolution $f*g:\mathbb{R}^d ...
12
votes
5answers
795 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 ...
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 ...
2
votes
2answers
62 views

How can this integral be rewritten with convolutions?

I've got $f:\mathbb{R}\rightarrow\mathbb{R}$ bounded and I'm trying to write `$\mathtt{f}$,' a discrete version of $f$, where each element in the domain takes on the average of the corresponding ...
-1
votes
1answer
39 views

Prove that $f \ast g$ is continuous and bounded if $f\in L^1(R^n)$ and $g\in L^\propto (R^n)$ [duplicate]

My Engliah is no so good and it is my first time to use this website, so I apologize for it if I didnot make myself clearly:)
1
vote
0answers
35 views

Asymptotics of a convolution

For $r>1$ define the functions $$f(x)=|x|^{-1/2}\chi_{[-1,1]\setminus\{0\}}\quad\text{and}\quad g(x)=|x|^{-1/2r}(-\chi_{[-1,0)}+\chi_{(0,1]}).$$ I am interested in the asymptotic behavior of ...
1
vote
1answer
78 views

Hölder's inequality. Understanding proof?!

I know how most standard textbooks show that $||f*g||_r \le ||f||_p||g||_q$ with $\frac{1}{r}+1=\frac{1}{p}+ \frac{1}{q}$, but I found a book where the hint $|f(x-y)g(y)|\le ...
0
votes
1answer
92 views

How to calculate the threefold convolution $f*f*f$

Somehow this convolution is driving me crazy. I am trying to calculate for the indicator function $f:=1_{[0,1]}$ the threefold convolution $$f*f*f$$ But honestly, it does not work somehow. ...
0
votes
1answer
47 views

Convolution of a function and Dirac delta - special case

Could anyone tell me where $f(n(a-b))$ came from? The thing is easy when there's $f(x)$ instead of $f(nx)$ - the result would be $f(a-b)$. Thanks in advance.
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 ...
0
votes
1answer
262 views

Application of Fubini's theorem to prove that convolution is integrable

I guess that this is an easy question, but I don't have a very solid math background. I'm trying to prove that if $f,g \in L^1(\mathbb{R})$, then $h = f \star g \in L^1(\mathbb{R})$. So, I have: $ ...
1
vote
1answer
80 views

Any clue how to solve this convolution integral?

With other words: find a (closed) expression for $\;\overline{\mbox{sinc}}(x)$ . $$ \overline{\mbox{sinc}}(x) = \int_{-\infty}^{+\infty} \frac{\sin(\omega\xi)}{\omega\xi} ...
1
vote
1answer
135 views

Convolution of indicator functions is continuous

Suppose I have an indicator function on a set of measure $E$, which is a subset of $[0,1]$. Is the function of this indicator convoluted with itself a continuous function? How can I show that it is? ...
0
votes
1answer
64 views

convolution of measurable function with analytic function

Let $f$ be a bounded measurable function with support on the unit disk $\mathbb D \subset \mathbb R^2$ and let $g$ be an analytic function on $\mathbb R^2$. Is it true that the convolution $h = f ...
4
votes
2answers
134 views

Let $S$ be the Schwartz class. Show that if $f,g\in S$, then $fg\in S$ and $f*g\in S$, where $*$ denotes convolution.

Let $S$ be the Schwartz class. Show that if $f,g\in S$, then $fg\in S$ and $f*g\in S$, where $*$ denotes convolution. To differentiate $fg$, we may apply Leibniz's rule ( ...
1
vote
0answers
70 views

Is the Convolution of a Schwartz Function with an $ L^{p} $-Function a Smooth $ L^{p} $-Function?

Let $ n \in \mathbb{N} $ and $ p \in \mathbb{R}_{\geq 1} $. If $ f \in \mathscr{S}(\mathbb{R}^{n}) $ and $ g \in {L^{p}}(\mathbb{R}^{n}) $, then it is a well-known fact from real analysis that the ...
0
votes
0answers
31 views

Convolution of complex-valued probability distributions

This may be an elementary question, but I am wondering: suppose that I have two complex-valued random variables $X$ and $Y$ with corresponding density functions $f_X(x)$ and $f_Y(y)$. Obviously ...
2
votes
1answer
133 views

Convolution and uniform continuity

If $f\in L^{\infty}(\mathbb{R}^n)$ and $f$ is continuous at $x$, then $$\lim_{k\to\infty}(f*\phi_k)(x)=cf(x)$$ If $f\in L^{\infty}(\mathbb{R}^n)$ and is uniformly continuous, then $f*\phi_k\to cf$ ...
3
votes
1answer
72 views

Interesting inequality $\|F\|_p\le \frac{\pi}{\sin(\pi/p)}\|f\|_p$ over $L^p$

Consider the function $$F(x)=\int_0^\infty \frac{f(y)}{x+y} \, dy, \quad0<x<\infty$$ Prove that if $1<p<\infty$, $$\|F\|_p\le \frac{\pi}{\sin(\pi/p)}\|f\|_p$$ and show that the constant ...
0
votes
1answer
61 views

Give an example of $f\in L^1$, $g\in L^{\infty}$, such that $f*g\notin C_0$ (meaning $\lim_{|x|\to\infty}(f*g)(x)\neq0$)

Give an example of $f\in L^1$, $g\in L^{\infty}$, such that $f*g\notin C_0$ (meaning $\lim_{|x|\to\infty}(f*g)(x)\neq0$) Here's a theorem from my real analysis book: Assume $1\le p\le \infty$ and ...
2
votes
1answer
127 views

$L^p$ Spaces, Young's Theorem, Convolutions, and Minkowski's Inequality

I need to show \begin{align} \|f*g\|_p \le \|f\|_p\|g\|_1 \end{align} By using the generalized Minkowski inequality instead of just Young's Theorem. I have spent a lot of time, but I keep hitting a ...
1
vote
1answer
33 views

Convolution composed with an invertible matrix

Let $T$ be an invertible $n \times n$ matrix and let $(h \circ T)(x)$ mean $h(Tx)$. Take functions $f,g$. Does it hold that $(f*g) \circ T = |det(T)| (f \circ T) * (g\circ T)?$ I have had some ...
2
votes
1answer
66 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 ...
4
votes
1answer
116 views

Convolution of an $L^1$ function and a function that tends to $0$ results in a function that tends to $0$

I'm trying to solve the following problem in review for a test, but have only partly succeeded: Let $K \in L^1(\mathbb{R})$ and $f$ be a bounded, measurable function on $\mathbb{R}$, with ...
2
votes
0answers
47 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 ...
2
votes
1answer
57 views

Asymptotics at the origin of the convolution with an approximation to the identity.

In short, I am trying to find sufficient conditions for an approximation to the identity function $K_h$ so that, for $h$ small enough and fixed, the asymptotics at the origin of an $L^1 \cap L^2$ ...
1
vote
0answers
182 views

What's the exact definition for convolution?

I tried to solve the problem in Stein's Real analysis, 1ed, P94, Ex 21 (c), which asked to show that for any two measurable functions $f,g$ on $R^d$, the convolution of $f$ and $g$, $$(f\ast ...
4
votes
0answers
439 views

Infinite self-convolution for a function

I have a mathematical problem that leads me to a particular necessity. I need to calculate the convolution of a function for itself for a certain amount of times. So consider a generic function $f : ...
1
vote
2answers
95 views

Convolution with sign function

I am having some trouble calculating the convolution $ (f*g)(t) $ between these two functions: $$ f(t)=e^{-t}1(t) $$ where $1(t)$ is the unit step function, and $$ g(t)=\mathrm{sgn}(t) $$ Using ...
1
vote
2answers
255 views

Convolution of continuous function with $\mathcal{C}^{1} $ function

I'm having difficulty with the following problem: Let $f:\mathbb{R}\to\mathbb{R}$ be continuous on $\mathbb{R}$ such that $\mbox{Supp}\left(f\right)$ is compact and let $g:\mathbb{R}\to\mathbb{R}$ ...
2
votes
2answers
306 views

the fourier transform of a “double convolution”

Suppose I have a function $$ m(x) = f(x)\int_{-\infty}^{\infty} h(w)g(w-x)dw = f(x)h*g(x) $$ I want to find the Fourier transform of m(x) in terms of the Fourier transforms of $f,h,g$ but for the ...
4
votes
0answers
119 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 ...
2
votes
0answers
71 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 ...
1
vote
0answers
175 views

Convolution with a special approximation to the identity function

I'm working my way through Stein and Shakarchi's Real Analysis, and I'm having some trouble figuring this exercise out. Given the function $K_\delta$ that satisfies the normal approximation to the ...
1
vote
1answer
253 views

Convolution converges in infinity norm?

Assume $\phi$ to be a nonnegative continuous function on the real line with compact support. Also assume that integral of $\phi$ over $\mathbb{R}$ is normalized to $1$. Let $\phi_e(x) = ...
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$ ...
0
votes
1answer
133 views

how to compute the convolution of two measures explicitly

Here is my example:u and v are the surface measures on the spheres {${x;|x|=a}$} and {${x;|x|=b}$} in $\mathbb{R}^{3}$.Then what's $u\ast v$ ? And what if in $\mathbb{R}^{n}$?
4
votes
1answer
263 views

Proof that a convolution with $g(x)=\frac{1}{\pi} \frac{r}{r^2+x^2}$ is smooth

It is known that if $g_n: \mathbb{R} \rightarrow \mathbb{R}$, $n=1,2,...$, is in $C_c^{\infty}(\mathbb{R})$, $ \int_\mathbb{R} g_n(x)dx=1$, $supp(g_n) \subset (-r_n,r_n)$,where $0<r_n \rightarrow ...
5
votes
1answer
420 views

On the closedness of $L^2$ under convolution

It is a direct consequence of Fubini's theorem that if $f,g \in L^1(\mathbb{R})$, then the convolution $f *g$ is well defined almost everywhere and $f*g \in L^1(\mathbb{R})$. Thus, $L^1(\mathbb{R})$ ...
3
votes
2answers
122 views

$\frac{1}{a^2+x^2}\ast \frac{1}{a^2+x^2}=\frac{2\pi /a}{4a^2+x^2} (a>0)$

I.e. $\displaystyle\int_{\mathbb{R}} \frac{1}{a^2+(x-y)^2}\cdot\frac{1}{a^2+y^2} dy=\frac{2\pi /a}{4a^2+x^2}$. If anyone feels like giving me a brief hint about how to get started on this I'd be ...