Intereting Posts

Proving that every isometry of $\mathbb{R}^n$ is of the form of a composition of at most $n+1$ reflections
Generalized Riemann Integral: Improper Version
Does a closed form for this specific integer sequence exist?
Using the distributivity law for propositional logic
Help with Cramer's rule and barycentric coordinates
If L is a subgroup of $\mathbb{Z}^{3}$, linearly independent, linear equations
Example where $x^2 = e$ has more than two solutions in a group
Prove that the center of a group is a normal subgroup
Proving $ \frac{\sigma(n)}{n} < \frac{n}{\varphi(n)} < \frac{\pi^{2}}{6} \frac{\sigma(n)}{n}$
How to expand $\cos nx$ with $\cos x$?
Is it possible to make the set $M:=\{(x,y)\in\mathbb{R}^2:y=|x|\}$ into a differentiable manifold?
What are these 3D shapes, if anything?
How can LU factorization be used in non-square matrix?
Is the Event a Conditional Probability or an Intersection?
Constructing a bijection

How to show that $$\psi =(x^2\phi)’$$where $\phi$ is a test function, is a test function if and only if $\int_{-\infty}^{\infty} \psi\, dx=\int_{0}^{\infty} \psi\, dx=\psi(0)=0$

- Hilbert sum of $L_2(X_\nu,\mu_\nu)$ spaces.
- Maximal ideals of abelian Banach algebras
- Riesz's Lemma for $l^\infty$ and $\alpha = 1$
- Proving that closed (and open) balls are convex
- Quasiconvex and lower semicontinuous function
- Equivalent norms

- Why $\mbox{Ker }T^{*}\oplus\overline{\mbox{Im }{T}}=X$?
- Dual Bases: Finite Versus Infinite Dimensional Linear Spaces
- If $f_n\to f$ a.e. and are bounded in $L^p$ norm, then $\int f_n g\to \int fg$ for any $g\in L^q$
- characterisation of compactness in the space of all convergent sequences
- About Baire's Category Theorem(BCT)
- Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence
- Where does the iteration of the exponential map switch from one fixpoint to the 3-periodic fixpoint cycle?
- Nested sequence of sets in Hilbert space

The question is not worded correctly. If $\phi$ is a test function, then so is $\psi$, no additional conditions are needed. The actual question is: given that $\psi$ is a test function, show that the following are equivalent:

- $\psi$ is of the form $\psi=(x^2\phi)’$ (with $\phi$ a test function).
- $\int_{-\infty}^{\infty} \psi dx=\int_{0}^{\infty} \psi dx=\psi(0)=0$

That 1 implies 2 is explained in Daniel Fischer’s comment. In the converse direction, let $\Psi$ be an antiderivative of $\psi$ such that $\Psi(0)=0$. The first two conditions in 2 imply that $\Psi$ vanishes at $\pm \infty$, hence is a test function. The last condition says that $\Phi'(0)=0$. From L’Hôpital’s rule it follows that the function $\phi(x)=\Psi(x)/x^2$ has a finite limit at $0$, namely $\Psi”(0)/2$. Extending it by $\phi(0)=\Psi”(0)/2$, we get a continuous function on $\mathbb R$. It remains to show that $\phi$ is $C^\infty$ smooth in a neighborhood of $0$, for which I refer to Quotient of two smooth functions is smooth.

- Is there any general formula for the sequence $S_n=\sum_{k=1}^n k^k$?
- Indefinite integral of secant cubed
- linear transformation $T$ such that $TS = ST$
- IQR of continuous random variable
- Exists norms such that $\|x\|=\ell$ but $|x_k|>\ell$ for some $k=\{1,\ldots,n\}$?
- Why is $\sqrt{-x}*\sqrt{-x}=-x?$
- Continuity of multidimensional function: $f_1(x,y)=\frac{x^2y}{x^2+y^2}$ and $f_2(x,y)=\frac{2xy^3}{(x^2+y^2)^2}$
- Maximizing volume of a rectangular solid, given surface area
- Evans pde book: details on an bound for a Sobolev norm in the proof of the Meyers-Serrin theorem
- global dimension of rings and projective (flat) dimension of modules
- Determinant of matrix with trigonometric functions
- Hilbert's Original Proof of the Nullstellensatz
- Finding the volume of two intersecting cylinders at arbitrary angles
- Relations of a~b iff b = ak^2
- Prove that we always have $ 2n \mid \varphi(m^n+p^n) $