Best bound for simple inequality

  • Context: Graduate 
  • Thread starter Thread starter AiRAVATA
  • Start date Start date
  • Tags Tags
    Bound Inequality
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
AiRAVATA
Messages
172
Reaction score
0
Hello all, the problem I have is the following:

Suppose [itex]f \in C^1(0,1)[/itex] and [itex]f(0) = 0[/itex], then

[tex] f^2(x) \le \int_0^1 f^2(x) dx,[/tex]

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

[tex] f^2(x) \le K \int_0^1 f^2(x) dx,[/tex]

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

[tex]\int_0^\mu f(x) dx \le K \int_0^1 f(x) dx,[/tex]

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

Let

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

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

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

so the best constant is [itex]K = 1[/itex].

Is the proof correct?
 
Last edited: