Inequality with integral and max of derivative

In summary, the given example/proof involves an inequality where the absolute value of an integral is less than or equal to the maximum of the absolute value of the derivative of a function multiplied by the integral of another function. This is then used to show that the integral of a specific function is equal to a constant, given the function's parameters. The author also mentions trying to use other inequalities, such as Cauchy-Schwarz, before arriving at this result. The post also mentions some issues with the preview feature.
  • #1
RaamGeneral
50
1
Hi. I was reading Lighthill, Introduction to Fourier Analysis and Generalised Functions and in page 17 there is an example/proof where I can't make sense of the following step:
$$
\left| \int_{-\infty}^{+\infty} f_n(x)(g(x)-g(0)) \, \mathrm{d}x \right| \le
\max{ \left| g'(x) \right| } \int_{-\infty}^{+\infty} f_n(x)\left| x \right| \, \mathrm{d}x
$$

where in particular
$$
f_n(x)=\sqrt{\frac{n}{\pi}} \mathrm{e}^{-n x^2}
$$

I have actually tried for some time, exploring some inequalities like Cauchy–Schwarz.

Also, I couldn't get the preview of this post to work, while creating, is this a known issue?
 
Physics news on Phys.org
  • #2
It seems
[tex]|g(x)-g(0)|=|\int_0^x g'(t) dt| < max |g'| |x| [/tex]
where max |g'| is maximum in domain 0<t<x .
 
  • Like
Likes RaamGeneral
  • #3
First use [tex]
\left| \int_{-\infty}^{\infty} f(x)\,dx \right| \leq \int_{-\infty}^\infty |f(x)|\,dx.[/tex] The given result would then follow from
[tex]|g(x) - g(0)| = \left|\int_0^x g'(t)\,dt\right| \leq |x|\max |g'|.[/tex]
 
  • Like
Likes RaamGeneral
  • #4
For the given f_n(x), the integral is
[tex]\int_{-\infty}^{+\infty} f_n(x)|x|dx=\int_0^{+\infty}\sqrt{\frac{n}{\pi}} \mathrm{e}^{-n t} dt=(n\pi)^{-1/2}[/tex]
 
Back
Top