Best bound for simple inequality

  • Context: Graduate 
  • Thread starter Thread starter AiRAVATA
  • Start date Start date
  • Tags Tags
    Bound Inequality
Click For Summary

Discussion Overview

The discussion revolves around determining the best constant for the inequality involving a function \( f \in C^1(0,1) \) that satisfies \( f(0) = 0 \). Participants explore whether the constant \( K \) in the inequality \( f^2(x) \le K \int_0^1 f^2(x) dx \) can be established as 1, and they examine related inequalities involving integrals of \( f(x) \).

Discussion Character

  • Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant asserts that 1 is the best possible constant for the inequality, suggesting the function \( f_n(x) = x^n \) as a demonstration.
  • Another participant proposes a different inequality involving \( \int_0^\mu f(x) dx \) and seeks to establish the best constant \( K \) under certain conditions, concluding that \( K = 1 \) based on their analysis.
  • The same participant questions the correctness of their proof regarding the behavior of the sequences \( s_n \) and \( S_n \) as they relate to the integrals.

Areas of Agreement / Disagreement

There is a claim that 1 is the best constant, but the proof provided by one participant is questioned, indicating that the discussion remains unresolved regarding the correctness of the proof and the implications for the constant \( K \).

Contextual Notes

The discussion includes assumptions about the function \( f \) and the conditions under which the inequalities hold, but these assumptions are not fully explored or validated within the thread.

AiRAVATA
Messages
172
Reaction score
0
Hello all, the problem I have is the following:

Suppose f \in C^1(0,1) and f(0) = 0, then

<br /> f^2(x) \le \int_0^1 f^2(x) dx,<br />

but I was wondering if 1 is the best constant for the inequality. In other words, how do I determine the best bound for

<br /> f^2(x) \le K \int_0^1 f^2(x) dx,<br />

for K positive?
 
Physics news on Phys.org
Yes,1 is the best possible. Try the functions f_n(x)=x^n.
 
I see. Thanks a lot.
 
Let's see if I got it.

Suppose I want to find the best constant for the inequality

\int_0^\mu f(x) dx \le K \int_0^1 f(x) dx,

where f(x) \in C^1(0,1), f(0) = 0, f(x) \ge 0, and 0 \le \mu \le 1.

Let

f_n(x) = \begin{cases} \frac{n+2}{n+3} x(2\mu -x), &amp;0 &lt; x \le \mu, \\<br /> \\<br /> \frac{n+2}{n+3} \mu^2 \mbox{sech} [(n+2)(\mu-x)], &amp;\mu &lt; x &lt; 1. \end{cases}

If s_n = \int_0^\mu f(x) dx, and S_n = \int_0^1 f(x) dx, then

\bigl\{s_n\bigr\} \nearrow \frac{2 \mu^3}{3}, \mbox{ and }\bigl\{S_n\bigr\} \searrow \frac{2 \mu^3}{3},

so the best constant is K = 1.

Is the proof correct?
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K