Let $\phi\in \mathcal{S}(\mathbb{R}^n)$, i.e. $\phi$ is a Schwartz function, is true that: $$|2\phi(x)-\phi(x+y)-\phi(x-y)|\leq |D^2\phi(x)||y|^2,\quad\forall y\in\mathbb{R}^n???$$ I have no idea on how to proceed, any help is appreciated.
2026-03-27 16:39:16.1774629556
An application of taylor formula
62 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in REAL-ANALYSIS
- how is my proof on equinumerous sets
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Is this relating to continuous functions conjecture correct?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Absolutely continuous functions are dense in $L^1$
- A particular exercise on convergence of recursive sequence
Related Questions in TAYLOR-EXPANSION
- Mc Laurin and his derivative.
- Maclaurin polynomial estimating $\sin 15°$
- why can we expand an expandable function for infinite?
- Solving a limit of $\frac{\ln(x)}{x-1}$ with taylor expansion
- How to I find the Taylor series of $\ln {\frac{|1-x|}{1+x^2}}$?
- Proving the binomial series for all real (complex) n using Taylor series
- Taylor series of multivariable functions problem
- Taylor series of $\frac{\cosh(t)-1}{\sinh(t)}$
- The dimension of formal series modulo $\sin(x)$
- Finding Sum of First Terms
Related Questions in ESTIMATION
- Question on designing a state observer for discrete time system
- Some help with calculating the time remaining please???
- Is the usage of unbiased estimator appropriate?
- How to statistically estimate multiple linear coefficients?
- Is there an intuitive way to see that $\mathbb{E}[X|Y]$ is the least squares estimator of $X$ given $Y$?
- minimizing MSE of estimator $\theta(a,b) = \frac{1}{n} \sum^n_{i=1} Y_ia_i + b$
- a limit about exponential function
- I don't understand where does the $\frac{k-1}{k}$ factor come from, in the probability mass function derived by Bayesian approach.
- hints for calculation of double integral
- estimation of $\mu$ in a Gaussian with set confidence interval
Related Questions in SCHWARTZ-SPACE
- Why is it so obvious that $x^k e^{-\frac{x^2}{2}}$ is a Schwartz-function? (Verification)
- Schwartz kernel theorem and dual topologies
- Convolution Identity for Schwartz Space
- Prove that if $f \in \mathcal L^1(\mathbb R)$ then $fx^n \in \mathcal S'(\mathbb{R})$
- Schwartz kernel theorem and order of distribution
- Help understanding the weak topology on the dual of the Schwartz space?
- Why is the space of compactly supported smooth functions contained in the Schwartz space?
- reshape $(2\pi)^{-n/2} \int_{\mathbb R^n} \mathcal F(\varphi) (\xi) e^{- \frac{\varepsilon^2|\xi|^2}{2}} e^{i\langle x, \xi \rangle} d\xi$
- Continuity of Fourier Transform between Schwartz Space
- If $\hat{f}\in L^2(\mathbb{R})$ then $\hat{f}$ is rapidly decreasing.
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
No, this inequality is not true. For a counterexample, let $n=1$ be the dimension and consider the function $\phi(x) = (x^2+x^4)\rho(x)$, where $\rho(x)$ is some smooth compactly-supported bump function with $\rho \equiv 1$ on $(-1,1)$. Then clearly $\phi\in\cal S(\Bbb R)$ since it is smooth and compactly-supported.
Now, in a neighborhood of $0$ we have $\phi''(x) = 2+12x^2$, meaning $\phi''(0)=2$. Since $\phi(0)=0$ as well, your inequality at $x=0$ becomes $$|-\phi(y)-\phi(-y)|\leq 2|y|^2.$$ On the other hand, for $y$ small we can compute the left-hand side to be $2(y^2+y^4)$. Since this exceeds $2y^2$ for $y\neq 0$, we conclude your inequality is false.