Prerequisites for the answer:
I am trying to understand which conditions makes the derivative of non-everywhere-differentiable continuous time-limited functions to be bounded $\sup_t |f'(t)|<\infty$, so the derivative $f'(t)$ could be discontinuous, but cannot diverge to infinity in these discontinuities (because the requested restriction will be instantly violated), so $\mathbf{\sup_t |f'(t)|<\infty}$ is a requirement. Also, if $f(t)$ is differentiable, the derivative will be bounded so $f(t)$ has to have at least one point where is not differentiable (as example, having one finite-size-gap jump-discontinuity).
Also, the function $f(t)$ must have a Fourier Transform, so the function $f(t)$ must be Lebesgue integrable, or equivalently, fulfill that $\int_{t_0}^{t_F} |f(t)|dt < \infty$, and also, the amount of discontinuities must be finite, so nowhere-differentiable functions are not allowed.
With saying that $f(t)$ is "Time-Limited" I am meaning that the function $f(t)$ has a starting point at a time $t_0$ and and ending point at a time $t_F$ with $t_F>t_0$, so, $f(t) = 0,\,t<t_0$ and $f(t) = 0,\,t>t_F$, and can be any function that fulfill the other requirements within the boundaries of its domain $\partial t =\{t_0,\,t_F\}$. Since at the discontinuity that could rise at the edges of the domain could made some problems with the Fourier Transform, if you wish you can assume that $f(t_0)=f(t_F)=0$, but this issue can be easily avoided using the transform $\mathring{\mathbb{F}}\{\cdot\}$ is introduced here, so I will continue assuming that this problem is nonexistent (and using $\mathbb{F}\{\cdot\}$ or $\mathring{\mathbb{F}}\{\cdot\}$ indistinguishable as I need it).
Please note that time-limited functions are compact-supported, so since I am interesting in continuous functions $f(t)$, they will be also bounded functions $\sup_t |f(t)| < \infty$, and since are also Lebesgue integrable, both conditions together imply also that $f(t)$ is of finite energy $\int_{t_0}^{t_F} |f(t)|^2 dt < \infty$.
The problem
Since the traditional upper bound of the derivative $||f'||_\infty \leq ||wF(w)||_1$ will diverge if $f'(t)$ have discontinuities $\Rightarrow ||wF(w)||_1 \to \infty$ (here $F(w)$ is the Fourier transform of $f(t)$), I am looking for alternative upper bounds that could be useful for time-limited continuous functions $f(t)$ with a finite number of discontinuities in $f'(t)$.
On the Wikipedia website of Norms appears some inequalities that fulfills some of the vector norms:
- $||x||_2 < ||x||_1 < \sqrt{n}\,||x||_2 $
- $||x||_\infty < ||x||_2 < \sqrt{n}\,||x||_\infty $
- $||x||_\infty < ||x||_1 < n\,||x||_\infty $
But through some questions I have already done here in SE (1, 2, 3, 4, 5), I know now that these inequalities are not general for functions, which some inequalities could be even inverted for the same function depending on the integration domain.
But experimenting with the following functions $f(t)=1-|t|,\,|t|\leq 1$ and $f(t)=e^{-|t|},\,|t|\leq 1$, that have bounded $||f'(t)|| < \infty$ but makes $||wF(w)|| \to \infty$ since they have bounded-size jump-discontinuities en $f'(t)$ (examples I am taking from the answer to 2), I believe that maybe some of the inequalities could apply for time-limited continuous functions.
The question:
Does any of these inequalities holds in general for time-limited continuous functions $\mathbf{f(t)}$ with bounded derivative $\mathbf{\sup_t |f'(t)|<\infty}$?
- $\sup_t |f'(t)| \leq \sqrt{(t_F - t_0)\,\int\limits_{t_0}^{t_F}|f'(t)|^2\,dt}$? (this is the main one I am interested in $||f'||_\infty \leq \sqrt{t_F-t_0}\,||f'||_2$)
- $\sup_t |f'(t)| \leq \sqrt{\frac{\pi}{2}\,\int\limits_{t_0}^{t_F}|f'(t)|^2\,dt}$?
- $\sup_t |f'(t)| \leq \int\limits_{t_0}^{t_F}|f'(t)|\,dt$?
- $\sup_t |f'(t)| \leq \int\limits_{t_0}^{t_F}|f(t)|\,dt$?
I am asking explicitly if they holds for general domain $\mathbf{-\infty<t_0<t_F<+\infty}$.