Skip to main content
5 of 7
edited title
Fawen90
  • 1.4k
  • 4
  • 8

An integral on the interval depending on the integrand

Let $C_p\equiv C_p(\mathbb R_+,\mathbb R_+)$ be the space of left-continuous piecewise constant functions $f: \mathbb R_+\to \mathbb R_+$, i.e. $f\in C_p$ iff

$$f(t)=\sum_{k=1}^n {\mathbf 1}_{[t_{k-1},t_k)}(t)x_k,$$

where $0=t_0<t_1<\cdots<t_{n-1} <t_n=\infty$, $x_1,\ldots, x_n\in (0,\infty)$ and $n\ge 1$.

For any $f\in C_p$ and any $t>0$, define respectively

$$\Phi_f(s):=2\int_0^s f(u)^2du; \quad \tau_f(t):=\inf\big\{s\ge 0: \Phi_f(s)\ge t\big\}.$$

Can we find some $c>0$ (e.g. I believe $c=1/e$) such that for any $T>0$ and any $f\in C_p$ the following inequality holds :

$$\int_0^{1\wedge \tau} \big(1+\log(f(s))\big)ds \le \int_0^{1\wedge \tilde\tau} \big(1+\log(\tilde f(s))\big)ds,$$

where $\tilde f(s):=\max(f(s),c)$, $\tau:=\tau_f(T)$, $\tilde\tau:=\tau_{\tilde f}(T)$ and $1\wedge \tau:=\min(1,\tau)$.

Fawen90
  • 1.4k
  • 4
  • 8