Intereting Posts

Are all Infinite Simplicial Complexes non-compact?
Are calculus and real analysis the same thing?
Prove : $|x – y| \leqslant \epsilon$ $\forall \epsilon > 0$ iff $x = y$
Efficient way to compute $\sum_{i=1}^n \varphi(i) $
An interesting identity involving powers of $\pi$ and values of $\eta(s)$
Coupon collector problem for collecting set k times.
Characterizing Dense Subgroups of the Reals
Multiplicative group $(\mathbb R^*, ×)$ is group but $(\mathbb R, ×)$ is not group, why?
$\mathcal{C}^1$ implies locally Lipschitz in $\mathbb{R}^n$
which of the following metric spaces are complete?
Sieve of eratosthenes infinite primes
MISSISSIPPI combinations with the S's separated
if locally Lipschitz implies Lipschitz on compacts.
How can I prove $\lim_{n \to \infty} \int_{0}^{\pi/2} f(x) \sin ((2n+1) x) dx =0 $?
Multidimensional integral involving delta functions

**Classical Hardy’s inequality** (cfr. Hardy-Littlewood-Polya *Inequalities*, Theorem 327)

If $p>1$, $f(x) \ge 0$ and $F(x)=\int_0^xf(y)\, dy$ then

$$\tag{H} \int_0^\infty \left(\frac{F(x)}{x}\right)^p\, dx < C\int_0^\infty (f(x))^p\, dx $$

- Is $C^1$ with the norm $\left \| f \right \|_1=(\int_{a}^{b}\left | f(t) \right |dt)+(\int_{a}^{b}\left | f´(t) \right |dt)$ a complete space?
- Gradient Estimate - Question about Inequality vs. Equality sign in one part
- The Lebesgue Integral and the Dirichlet function
- Global invertibility of a map $\mathbb{R}^n\to \mathbb{R}^n$ from everywhere local invertibility
- Is Morera's theorem the inverse theorem of Goursat's theorem?
- Faulhaber's Formula to evaluate series

unless $f \equiv 0$. *The best possibile constant is $C=\left(\frac{p}{p-1}\right)^p$*.

I would like to prove the statement in italic regarding the best constant. As already noted by Will Jagy here, the book suggests stress-testing the inequality with

$$f(x)=\begin{cases} 0 & 0\le x <1 \\ x^{-\alpha} & 1\le x \end{cases}$$

with $1/p< \alpha < 1$, then have $\alpha \to 1/p$. If I do so I get for $C$ the lower bound

$$\operatorname{lim sup}_{\alpha \to 1/p}\frac{\alpha p -1}{(1-\alpha)^p}\int_1^\infty (x^{-\alpha}-x^{-1})^p\, dx\le C$$

but now I find myself in trouble in computing that lim sup. Can someone lend me a hand, please?

UPDATE: A first attempt, based on an idea by Davide Giraudo, unfortunately failed. Davide pointed out that the claim would easily follow from

$$\tag{!!} \left\lvert \int_1^\infty (x^{-\alpha}-x^{-1})^p\, dx – \int_1^\infty x^{-\alpha p }\, dx\right\rvert \to 0\quad \text{as}\ \alpha \to 1/p. $$

But this is false in general: for example if $p=2$ we get

$$\int_1^\infty (x^{-2\alpha} -x^{-2\alpha} + 2x^{-\alpha-1}-x^{-2})\, dx \to \int_1^\infty(2x^{-3/2}-x^{-2})\, dx \ne 0.$$

- Proof of Inequality using AM-GM
- Prove that the equation: $c_0+c_1x+\ldots+c_nx^n=0$ has a real solution between 0 and 1.
- Is a Cauchy sequence - preserving (continuous) function is (uniformly) continuous?
- $(z_{2n})_{n\in \mathbb{N}}$ and $(z_{2n+1})_{n\in \mathbb{N}}$ converges to same limit. Show $(z_n)_{n\in \mathbb{N}}$ converges to the same limit.
- Proving $\prod \limits_{k=0}^{n}(1-a_k) \geq1- \sum\limits_{k=0}^{n}a_k$
- Computation of $\int _{-\pi} ^\pi \frac {e^{in\theta} - e^{i(n-1)\theta}} {\mid \sin {\theta} \mid} d\theta .$
- If $0<a<b$, prove that $a<\sqrt{ab}<\frac{a+b}{2}<b$
- Improving bound on $\sqrt{2 \sqrt{3 \sqrt{4 \ldots}}}$
- L2 Matrix Norm Upper Bound in terms of Bounds of its Column
- Another way to go about proving the limit of Fibonacci's sequence quotient.

What you need isn’t

$$\lim_{\alpha\searrow1/p}\,\left\lvert \int_1^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx – \int_1^\infty x^{-\alpha p }\mathrm dx\right\rvert=0$$

but

$$\lim_{\alpha\searrow1/p}\frac{\int_1^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx}{\int_1^\infty x^{-\alpha p }\mathrm dx}=1\;,$$

which is indeed the case, since as $\alpha\searrow1/p$, the integrals are more and more dominated by regions where $x^{-1}\ll x^{-\alpha}$. For arbitrary $b\gt1$ and $1/p\lt\alpha\lt1$, we have

$$

\begin{eqnarray}

\int_1^\infty (x^{-\alpha})^p\mathrm dx

&\gt&

\int_1^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx

\\

&\gt&

\int_b^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx

\\

&\gt&

\int_b^\infty (x^{-\alpha}-b^{\alpha-1}x^{-\alpha})^p\mathrm dx

\\

&=&

(1-b^{\alpha-1})^p\int_b^\infty (x^{-\alpha})^p\mathrm dx

\\

&=&

(1-b^{\alpha-1})^pb^{1-\alpha p}\int_1^\infty (x^{-\alpha})^p\mathrm dx

\\

&=&

(b^{1/p-\alpha}-b^{1/p-1})^p\int_1^\infty (x^{-\alpha})^p\mathrm dx\;.

\end{eqnarray}

$$

Then choosing $b=2^{1/\beta}$ with $\beta=\sqrt{\alpha-1/p}$ yields

$$\int_1^\infty (x^{-\alpha})^p\mathrm dx

\gt

\int_1^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx

\gt

(2^{-\beta}-2^{(1/p-1)/\beta})^p\int_1^\infty (x^{-\alpha})^p\mathrm dx\;.

$$

Since $\beta\to0$ as $\alpha\searrow1/p$, the factor on the right goes to $1$, and thus

$$\int_1^\infty (x^{-\alpha}-x^{-1})^p\mathrm dx\sim\int_1^\infty x^{-\alpha p }\mathrm dx\quad\text{as}\quad\alpha\searrow1/p$$

as required.

We have the operator $T: L^p(\mathbb{R}^+) \to L^p(\mathbb{R}^+)$ with $p \in (1, \infty)$, defined by$$(Tf)(x) := {1\over x} \int_0^x f(t)\,dt.$$Calculate $\|T\|$.

For the operator $T$ defined above, the operator norm is $p/(p – 1)$. We will also note that this is also a bounded operator for $p = \infty$, but not for $p = 1$.

Assume $1 < p < \infty$, and let $q$ be the dual exponent, $1/p + 1/q = 1$. By the theorem often referred to as “converse Hölder,”$$\|Tf\|_p = \sup_{\|g\|_q = 1}\left|\int_0^\infty (Tf)(x)g(x)\,dx\right|.$$So, assume that$\|g\|_q = 1$,\begin{align*} \left| \int_0^\infty (Tf)(x)g(x)\,dx\right| & \le \int_0^\infty |Tf(x)||g(x)|\,dx \le \int_0^\infty \int_0^x {1\over x}|f(t)||g(x)|\,dt\,dx \\ & = \int_0^\infty \int_0^1 |f(ux)||g(x)|\,du\,dx = \int_0^1 \int_0^\infty |f(ux)||g(x)|\,dx\,du \\ & \le \int_0^1 \left(\int_0^\infty |f(ux)|^pdx\right)^{1\over p} \left(\int_0^\infty |g(x)|^q dx\right)^{1\over q}du \\ & = \int_0^1 u^{-{1\over p}}\|f\|_p \|g\|_q du = {p\over{p – 1}}\|f\|_p.\end{align*}So that gives us that the operator norm is at most $p/(p – 1)$. To show that this is tight, let $f(x) = 1$ on $(0, 1]$ and zero otherwise. We have $\|f\|_p = 1$ for all $p$. We can then compute that$$(Tf)(x) = \begin{cases} 1 & 0 < x \le 1 \\ {1\over x} & x > 1\end{cases}$$and by direct computation, $\|Tf\|_p = p/(p – 1)$ for $p > 1$.

The same example also shows that we can have $f \in L^1$ but $Tf \notin L^1$, so we must restrict to $p > 1$. However, it is straightforward to show that $T$ is bounded from $L^\infty \to L^\infty$ with norm $1$. Note that the range of the operator in that case is contained within the bounded continuous functions on $(0, \infty)$.

- Is a dense subset of the plane always dense in some line segment?
- Proving Riemann Integrability of a function with countably many discontinuities? (No measure theory)
- Closed form for $\sum_{n=1}^\infty\frac{1}{2^n\left(1+\sqrt{2}\right)}$
- Fixed Points and Graphical Analysis
- Conditional return time of simple random walk
- Showing the expectation of the third moment of a sum = the sum of the expectation of the third moment
- Group as a category
- Evaluating $\sum_{n=1}^{\infty} \frac{4(-1)^n}{1-4n^2}$
- How many ways can $r$ nonconsecutive integers be chosen from the first $n$ integers?
- Sobolev spaces of sections of vector bundles
- Not every metric is induced from a norm
- Confusion regarding taking the square root given an absolute value condition.
- $x^3+y^4=7$ has no integer solutions
- Derivative of integral with x as the lower limit
- Independence of a random variable $X$ from itself