How can I Prove the following Integral Inequality?

  • Context: Graduate 
  • Thread starter Thread starter zarei175
  • Start date Start date
  • Tags Tags
    Inequality Integral
Click For Summary
SUMMARY

The integral inequality under discussion is stated as follows: $$\sum\limits_{k\in\mathbb{N}}\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \big\|f\big\|^2 \sum\limits_{k\in\mathbb{N}}\Big (\int\big|g(x-k)\big|dx\Big)^2$$. The attempt to prove a related inequality reveals that the Cauchy–Schwarz inequality does not apply in this context. A counterexample demonstrates that the inequality fails under specific conditions, indicating its limited utility. The original inequality holds true under certain conditions, particularly when either function is zero almost everywhere.

PREREQUISITES
  • Understanding of integral calculus and properties of integrals
  • Familiarity with the Cauchy–Schwarz inequality
  • Knowledge of function spaces, particularly $L^2$ spaces
  • Basic concepts of summation over natural numbers
NEXT STEPS
  • Study the properties of $L^2$ spaces and their implications for integral inequalities
  • Explore advanced applications of the Cauchy–Schwarz inequality in functional analysis
  • Investigate counterexamples in functional inequalities to understand their limitations
  • Learn about approximation techniques for discontinuous functions using $C^\infty$ functions
USEFUL FOR

Mathematicians, students of analysis, and researchers interested in functional inequalities and their applications in mathematical proofs.

zarei175
Messages
3
Reaction score
0
I want to prove the following inequality:

$$\sum\limits_{k\in\mathbb{N}}\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \big\|f\big\|^2 \sum\limits_{k\in\mathbb{N}}\Big (\int\big|g(x-k)\big|dx\Big)^2$$
where

$$\|f\|^2=\int |f(x)|^2dx.$$

My attempt: Just prove the following inequality

$$\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \|f\|^2\Big(\int \big|g(x-k)\big|dx\Big)^2$$
I think that this inequality is different from the Cauchy–Schwarz inequality.
Cauchy–Schwarz inequality is
$$\Big|\int f(x)\overline{g(x)}dx\Big|^2 \leq \int |f(x)|^2dx ~\cdot~\int |g(x)|^2dx $$
 
Physics news on Phys.org
|\int f(x)\bar{g(x)}dx|^2 \le (\int|f(x)||g(x)|dx)^2, so Cauchy-Schwarz applies.
 
No, Cauchy-Schwarz Inequality does not apply in the OP.

If it had been

$$\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \|f\|^2\Big(\int \big|g(x-k)\big|^2dx\Big)$$

then this is an application of Cauchy-Schwarz, but in the OP we have:

$$\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \|f\|^2\Big(\int \big|g(x-k)\big|dx\Big)^2$$

and here, Cauchy-Schwarz does not apply.

In fact, the latter inequality fails if e.g. ##k=0## and ##f(x)=g(x)=1## for ##0\le x\le 1/2## and ##0## otherwise: in this case, the left side of the inequality is ##1/4## and the right side is ##1/8## (assuming that the interval of integration is all of ##\mathbb R##).

Here, ##f=g## is not continuous, but it can easily be appoximated by a ##C^\infty##-function for which the inequality still fails.

On the other hand, the original inequality

$$\sum\limits_{k\in\mathbb{N}}\Big(\int \big|f(x)\big|\big|g(x-k)\big|dx\Big)^2 \leq \big\|f\big\|^2 \sum\limits_{k\in\mathbb{N}}\Big (\int\big|g(x-k)\big|dx\Big)^2$$

is almost trivially true: If ##f(x)=0## a.e or ##g(x)=0## a.e. then both sides are ##0##, otherwise, the right side is ##\infty## (all the terms in the sum are equal and positive).

So, it doesn't seem to me that this inequality could be very useful...
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K