Inequality with integral and max of derivative

Click For Summary

Discussion Overview

The discussion revolves around an inequality involving an integral and the maximum of a derivative, as presented in Lighthill's "Introduction to Fourier Analysis and Generalised Functions." Participants are examining the validity of a specific step in the proof and exploring related inequalities.

Discussion Character

  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant questions the step in the proof involving the inequality and seeks clarification on its derivation.
  • Another participant proposes that the absolute difference |g(x) - g(0)| can be expressed as an integral of the derivative g', suggesting it is bounded by max |g'| multiplied by |x|.
  • A third participant suggests using the property of integrals that states the absolute value of an integral is less than or equal to the integral of the absolute value, linking this to the earlier claim about |g(x) - g(0)|.
  • A later reply calculates the integral of f_n(x) with respect to |x|, providing a specific result for the case of f_n(x) defined as a Gaussian function.

Areas of Agreement / Disagreement

Participants are exploring the inequality and its implications, but there is no consensus on the validity of the original step in the proof or the best approach to derive it. Multiple viewpoints and methods are presented without resolution.

Contextual Notes

Some assumptions regarding the behavior of g' and the conditions under which the inequalities hold are not fully explored, leaving room for ambiguity in the application of the proposed inequalities.

RaamGeneral
Messages
49
Reaction score
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
It seems
|g(x)-g(0)|=|\int_0^x g'(t) dt| < max |g'| |x|
where max |g'| is maximum in domain 0<t<x .
 
  • Like
Likes   Reactions: RaamGeneral
First use <br /> \left| \int_{-\infty}^{\infty} f(x)\,dx \right| \leq \int_{-\infty}^\infty |f(x)|\,dx. The given result would then follow from
|g(x) - g(0)| = \left|\int_0^x g&#039;(t)\,dt\right| \leq |x|\max |g&#039;|.
 
  • Like
Likes   Reactions: RaamGeneral
For the given f_n(x), the integral is
\int_{-\infty}^{+\infty} f_n(x)|x|dx=\int_0^{+\infty}\sqrt{\frac{n}{\pi}} \mathrm{e}^{-n t} dt=(n\pi)^{-1/2}
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K