Intereting Posts

How to determine if a quintic polynomial is solvable by radicals
Calculation of a most probable value based on multiple probability distributions
Good introductory books on homological algebra
Finding two non-congruent right-angle triangles
Proving equality of sets
Modularity and prime number sequence
Monos in $\mathsf{Mon}$ are injective homomorphisms.
Mathematical symbol for “and”
Fundamental theorem of calculus for complex analysis, proof
Proving that $n!≤((n+1)/2)^n$ by induction
Prove that if $S$ is a change of basis matrix, its columns are a basis for $\mathbb{R}^n$
What does the sign $\propto$ mean?
Stronger than Nesbitt inequality
Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?
References on density of subsets of $\mathbb{N}$

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$.

Then $f_n \star g_m(x) \to f \star g(x)$ pointwise as $n,m \to \infty$ (where $\star$ denotes convolution).

Is it true that $\int_{\mathbb{R}^n} f_n \star g_m dx \to \int_{\mathbb{R}^n} f \star g dx$?

- Convolution Theorem and Marginal Density Intuition.
- Is it true that $f\in W^{-1,p}(\mathbb{R}^n)$, then $\Gamma\star f\in W^{1,p}(\mathbb{R}^n)$?
- How to prove that operator is not compact in $L_2 (\mathbb{R})$
- Convolution is uniformly continuous and bounded
- 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$.
- How to make 3D object smooth?

I’ve thought about using the dominated convergence theorem, but I couldn’t figure out how, since I don’t really know what I can do with the sequences of functions given only the facts at hand.

- How to prove that derivatives have the Intermediate Value Property
- Show uniform convergence of bounded functions implies uniform boundness.
- Leibniz rule - differentiation of an integral.
- Global invertibility of a map $\mathbb{R}^n\to \mathbb{R}^n$ from everywhere local invertibility
- for which values of $p$ integral $\int_{\Omega}\frac{1}{|x|^p}$ exists?
- Differential Equations with Deviating Argument
- Is $ \sum\limits_{n=1}^\infty \frac{|\sin n|^n}n$ convergent？
- Limit of sequence $s_n = \cos(n)$
- $B$ is a Borel set, implies $f(B)$ is a Borel set.
- How can I prove that two sets are isomorphic, short of finding the isomorphism?

**No** it is not true.

First note that we can improve pointwise convergence to *uniform convergence* of $f_{n} \ast g_{m} \to f \ast g$. This is an easy consequence of Hölder’s inequality (markup doesn’t like my subscripts, so I’ll use $\|\cdot\|$ for the $L^{2}$-norm):

\[

|(f \ast g)(x)| \leq \int |f(x – y) g(y)|\,dy \leq \|f\| \|g\|.

\]

As $f_{n} \ast g_{m} – f \ast g = f_{n} \ast (g_{m} – g) + (f_{n} – f) \ast g$ we get

\[

|(f_{n} \ast g_{m})(x) – (f \ast g)(x)| \leq \|f_{n}\| \|g_{m} – g\| + \|f_{n} – f\| \|g\|.

\]

Since $\|f_{n}\| \to \|f\|$ and both $\|f_{n} – f\| \to 0$ and $\|g_{m} – g\| \to 0$, the right hand side can be made arbitrarily small independently of $x$. It follows in particular that $f \ast g$ is continuous and vanishes at infinity (that’s one reason why I prefer writing $C_{c}$ for functions with compact support and $C_{0}$ for functions vanishing at infinity).

But we cannot do better, i.e., get $L^1$-convergence without further hypotheses. To see what happens, I prefer to ignore the condition that $f_{n} \in C^{\infty}$ but rather look at the function $f_{n} = \frac{1}{n}[-n,n]$. Then $f_{n} \to 0$ in $L^{2}$ but not in $L^{1}$. By the above argument we have $f_{n} \ast f_{n} \to 0$ uniformly on $\mathbb{R}$. On the other hand it is easy to see that for $x \in [-\frac{n}{2},\frac{n}{2}]$

\[

(f_{n} \ast f_{n})(x) = \int f_{n}(y) f_{n}(x-y)\,dy \geq \frac{1}{n^{2}} \frac{n}{2} = \frac{1}{2n}

\]

(the intervals $[-n,n]$ and $[-n-x,n-x]$ have an overlap of length at least $\frac{n}{2}$)

and therefore we have the estimate $\int (f_{n} \ast f_{n}) \geq \frac{1}{2}$. Thus we cannot have $\int f_{n} \ast f_{n} \to \int f \ast f = 0$. It is now easy to cook up an example along these lines with smooth functions.

For any integrable $f$ and $g$ (so in particular for functions in $C_O({\mathbb R}^n)$ one has $\int_{{\mathbb R}^n} f \ast g = \int_{{\mathbb R}^n} f \int_{{\mathbb R}^n} g$.

So your question is asking if $\int_{{\mathbb R}^n} f_n \int_{{\mathbb R}^n} g_n$ necessarily converges to $\int_{{\mathbb R}^n} f \int_{{\mathbb R}^n} g$. A counterexample will be provided by letting $f_n = g_n$ such that $f_n$ converges to $f$ in $L^2$ but such that $\int_{{\mathbb R}^n} f_n$ does not converge to $\int_{{\mathbb R}^n} f$. To do this, one can let $\phi(x)$ be any smooth function with compact support and integral one, and then let $f_n(x) = {1 \over n} \phi({x \over n})$. Each $f_n$ will have integral $1$, but $f_n(x)$ converges in $L^2$ to $f(x) = 0$ which has integral zero.

- Does there exist a function satisfying $\sup \int\vert u\vert=0$?
- Isometries preserve geodesics
- “Too simple to be true”
- Computing the sum $\sum_{n=2}^{2011}\sqrt{1+\frac{1}{n^2}+\frac{1}{(n-1)^2}}$
- Permutation of cosets
- Prove that the sum of digits of $(999…9)^{3}$ (cube of integer with $n$ digits $9$) is $18n$
- Principal part of Laurent expansion.
- Generate a random direction within a cone
- Volumes using triple integration
- Numbers of circles around a circle
- Calculating $\lim_{x\to0} \left\lfloor\frac{x^2}{\sin x \tan x}\right\rfloor$
- Very confused about a limit.
- About Cauchy sequence
- What kind of compactness does “expanding $\mathbb{R}$ by constants” have?
- Evaluate $\int_0^1x\log\left(1+x^2\right)\left^3\operatorname{d}\!x$