One-dimensional integral Rellich type inequalities
The motive of this note is twofold. Inspired by the recent development of a new kind of Hardy inequality, here we discuss the corresponding Hardy-Rellich and Rellich inequality versions in the integral form. The obtained sharp Hardy-Rellich type inequality improves the previously known result. Meanwhile, the established sharp Rellich type integral inequality seems new.
\section{Introduction}
In the celebrated paper \cite{hardy}, Godfrey H. Hardy first stated the famous inequality which reads as: let $1<p<\infty$ and $f$ be a $p$-integrable function on $(0, \infty)$, which vanishes at zero, then the function $r\longmapsto \frac{1}{r}\int_{0}^{r} f(t) \:{\rm d}t$ is $p$-integrable over $(0, \infty)$ and there holds
\begin{align}\label{hardy}
    \int_{0}^{\infty}\bigg|\frac{1}{r}\int_{0}^{r} f(t)\:{\rm d}t\bigg|^p\:{\rm d}r\leq  \bigg(\frac{p}{p-1}\bigg)^p \int_{0}^{\infty}|f(r)|^p\:{\rm d}r.
\end{align}
The constant on the right-hand side of \eqref{hardy} is sharp. The development of the famous Hardy inequality \eqref{hardy} during the period 1906-1928 has its own history and we refer to \cite{kuf} (also, see the preface of \cite{hardy-book-rs}). Recent progress by Frank-Laptev-Weidl \cite{nh} presents a novel one-dimensional inequality with the same sharp constant, which improves the classical Hardy inequality  \eqref{hardy}. 

This new version looks as follows: let $1<p<\infty$, then for any $f\in L^p(0,\infty)$, which vanishes at zero, one has
\begin{align}\label{new-hardy}
   \int_{0}^{\infty}\sup_{0<s<\infty}\bigg|\min\biggr\{\frac{1}{r},\frac{1}{s}\biggr\}\int_{0}^{s}f(t)\:{\rm d}t \bigg|^p\:{\rm d}r\leq \bigg(\frac{p}{p-1}\bigg)^p \int_{0}^{\infty}|f(r)|^p\:{\rm d}r. 
\end{align}

Certainly, \eqref{new-hardy} gives an improvement of \eqref{hardy}. Recently, the multidimensional version in the supercritical case and the discrete version of \eqref{new-hardy} have been established in \cite{nhm} and \cite{nhd}, respectively. In the same spirit, one may ask about the possible structure of Hardy-Rellich and Rellich type inequalities. In this short note, we answer affirmatively about the possible forms of these two types of inequalities.

Let us recall the one-dimensional Hardy-Rellich inequality. For $f\in C^2(0,\infty)$ with $f^\prime(0)=0$, there holds 
\begin{align}\label{hardy-rel}
    \int_{0}^{\infty}\frac{|f^\prime(r)|^2}{r^{2}}\:{\rm d}r \leq 4 \int_{0}^{\infty}|f^{\prime\prime}(r)|^2\:{\rm d}r.
\end{align}
Starting from it, there have been several articles in which the authors studied many improvements of inequality \eqref{hardy-rel}. Here we mention only a few of them \cite{bgr-22, coss,cazacu, ya,tz} and references therein. 

Now let us write \eqref{hardy-rel} in the integral form. Note that it can be derived from the weighted 1D classical Hardy inequality. This reads as follows: let $f\in C^1(0,\infty)$, then there holds
\begin{align}\label{hardy-rel-int}
    \int_{0}^{\infty}\frac{|\int_{0}^{r}f^\prime(t)\:{\rm d}t|^2}{r^{2}}\:{\rm d}r\leq 4\int_{0}^{\infty}|f^{\prime}(r)|^2\:{\rm d}r.
\end{align}
Here the constant $4$  is sharp. We give an improved version of this inequality in Theorem \ref{hardy-rel-th}.

Let us briefly mention another important function inequality the so-called Rellich inequality which was first introduced in \cite{rel}. It is worth recalling the one-dimensional Rellich inequality. The classical (1D-)Rellich inequality states that for $f\in C^2(0,\infty)$ with $f(0)=0$ and $f^\prime(0)=0$, there holds
\begin{align}\label{rel}
    \int_{0}^{\infty}\frac{|f(r)|^2}{r^{4}}\:{\rm d}r\leq \frac{16}{9} \int_{0}^{\infty}|f^{\prime\prime}(r)|^2\:{\rm d}r.
\end{align}
Over the past few decades, there has been a constant effort to improve \eqref{rel}. Here are some references \cite{hinz,ozawa, BT, MNSS,bmo,rsadv, cm}. In this short contribution, we also obtain another type of the Rellich inequality (see Theorem \ref{rel-th} with $p=2$). 
To the best of our knowledge, the most recent progress in this direction was made in \cite{bmo}. However, a one-dimensional study is still missing. Thus, trying to fill this gap is another motivation for the present paper. Taking inspiration from there we obtain the following version of Rellich inequality, which reads as: for $f\in L^2(0,\infty)$ there holds
\begin{align}\label{n-rel-2}
   &\int_{0}^{\infty}\frac{1}{r^{4}}\bigg(\int_{0}^{r}\int_{0}^{\tau}|f(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^2\:{\rm d}r\nonumber\\&\leq\int_{0}^{\infty}\frac{1}{r^{4}}\bigg(\int_{0}^{r}\sup_{0<s<\infty}\min\biggl\{1,\frac{\tau}{s}\biggr\}\int_{0}^{s}|f(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^2\:{\rm d}r\nonumber \\&\leq \frac{16}{9} \int_{0}^{\infty}|f(r)|^2\:{\rm d}r.
 \end{align}
 Moreover, we will establish the constant $16/9$ is a sharp constant. Therefore, \eqref{n-rel-2} can be compared with \eqref{rel}. \color{black} Note that we have mentioned only the $L^2(0,\infty)$ case but we will discuss the result for the general $L^p(0,\infty)$ case.

The plan of this paper is simple. In Section \ref{prelm} we discuss a few preliminaries and then we state the main results. In Section \ref{proof} we complete the proofs of the main theorems. In the final section, we will briefly mention some more related inequalities. 

\section{Preliminaries and main results}\label{prelm}
Let us begin this section with basic facts about \emph{symmetric decreasing rearrangement}. For more details, we refer to \cite[Chapter 3]{lieb}. We denote $f^*$ the symmetric decreasing rearrangement of $f$. It is well known that $f^*$ is a nonnegative, radially symmetric, and nonincreasing function. Irrespective of several properties of $f^*$, the useful properties in our context is the equimeasurability property, i.e.
\begin{align*}
	\text{vol}(\{|f|>\tau\})=\text{vol}(\{f^*>\tau\}) \text{ for all }\tau\geq 0.	
\end{align*}
By using the \emph{layer cake representation} and the above property, we have the following helpful identity:
\begin{align}\label{norm-presv}
	\int_{0}^\infty|f(t)|^p\:{\rm d}t=\int_{0}^\infty|f^*(t)|^p\:{\rm d}t\:\: \text{ for all }p\geq 1.
\end{align}
Also it is clear that for any $s>0$ there holds
\begin{align}\label{norm-comp}
    \int_0^s|f(t)|\:{\rm d}t\leq \int_0^sf^*(t)\:{\rm d}t.
\end{align}
These relations will be very much valuable in the proofs.

Now, we are ready to state the following important observation.
\begin{lemma}\label{rel-lem-1}
	Let $f$ be a locally absolutely continuous function on $(0,\infty)$. Then for a fixed $r>0$ the following identity holds:
	\begin{align}\label{rel-eq-1}
		\sup_{0<s<\infty}\min\biggl\{1,\frac{r}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t=\int_{0}^{r}f^*(t)\:{\rm d}t,
	\end{align}
	where $f^*$ is the non-increasing rearrangement of $f$.
\end{lemma}
\begin{proof}
We wish to calculate the supremum by using the advantage of the non-increasing property of $f^*$. For any fixed $r>0$, we consider the following two cases:

    {\bf Case 1:} Let $0<s\leq r$. Then we obtain 
	\begin{align*}
		\min\biggl\{1,\frac{r}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t=\int_{0}^{s}f^*(t)\:{\rm d}t\leq \int_{0}^{r}f^*(t)\:{\rm d}t.
	\end{align*}
	
	{\bf Case 2:} Let $r\leq s<\infty$. Then we have by change of variable
	\begin{align*}
		\min\biggl\{1,\frac{r}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t=\frac{r}{s}\int_0^{s}f^*(t)\:{\rm d}t\leq\frac{r}{s}\int_{0}^{s}f^*(tr/s)\:{\rm d}t=\int_{0}^{r}f^*(v)\:{\rm d}v.
	\end{align*}
	
	In both cases, we get 
	\begin{align*}
		\min\biggl\{1,\frac{r}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t \leq \int_{0}^{r}f^*(t)\:{\rm d}t.
	\end{align*}
	Hence the supremum is attained at $s=r$ and we arrive at 
	\begin{align*}
		\sup_{0<s<\infty}\min\biggl\{1,\frac{r}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t=\int_{0}^{r}f^*(t)\:{\rm d}t.
	\end{align*}
\end{proof}

Now we are ready to present an improvement of \eqref{hardy-rel-int}. That is, this gives a natural improvement of the Hardy-Rellich inequality in the integral form. Below we will describe the corresponding differential form which improves the original Hardy-Rellich inequality \eqref{hardy-rel} in a simple form.

\begin{theorem}\label{hardy-rel-th}
 Let $g\in C^1(0,\infty)$, then there holds
  \begin{align}\label{eqn-hardy-rel-th}
   \int_{0}^{\infty}\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{r},\frac{1}{s}\biggr\}\int_{0}^{r}g^\prime(t)\:{\rm d}t\bigg|^2\:{\rm d}r\leq  4 \int_{0}^{\infty}|g^\prime(r)|^2\:{\rm d}r.   
  \end{align}
Moreover, the constant is sharp.
\end{theorem}



\begin{remark}\label{rem-hardy-rel}
 Let $f\in C^2(0,\infty)$, with $f^\prime(0)=0$. Then choosing  $g(r)=f^\prime(r)$ in the improved Hardy-Rellich inequality \eqref{eqn-hardy-rel-th}, we obtain
\begin{align}\label{dif-hr-1}
  \int_{0}^{\infty}\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{r},\frac{1}{s}\biggr\}f^\prime(s)\bigg|^2\:{\rm d}r\leq  4\int_{0}^{\infty}|f^{\prime\prime}(r)|^2\:{\rm d}r.
\end{align}
Moreover, it is straightforward to check the following identity
\begin{align}\label{dif-hr-2}
\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{r},\frac{1}{s}\biggr\}\;f^\prime(s)\bigg|^2=\max\biggl\{ \sup_{0<s\leq r}\frac{|f^\prime(s)|^2}{r^2}\:,\: \sup_{r\leq s<\infty}\frac{|f^\prime(s)|^2}{s^2}\biggr\}.
\end{align}
Then combining \eqref{dif-hr-1} and \eqref{dif-hr-2} we deduce
\begin{align}\label{hardy-rel-impv}
    \int_{0}^{\infty}\frac{|f^\prime(r)|^2}{r^{2}}\:{\rm d}r\leq \int_{0}^{\infty}\max\biggl\{ \sup_{0<s\leq r}\frac{|f^\prime(s)|^2}{r^2}\:,\: \sup_{r\leq s<\infty}\frac{|f^\prime(s)|^2}{s^2}\biggr\}\:{\rm d}r \leq 4 \int_{0}^{\infty}|f^{\prime\prime}(r)|^2\:{\rm d}r. 
\end{align}
Therefore, \eqref{hardy-rel-impv} appears as an immediate improvement of \eqref{hardy-rel} in the one-dimension differential form. The similar discussion gives the improvement of \eqref{hardy-rel-int} as well (cf. \cite[Theorem
1.3]{coss}).
\end{remark}

Now we are going to discuss the second main result of this note. Before presenting the statement first let us recall the classical one-dimensional $L^{p}$-Rellich inequality. This reads as follows: let $p>1$, $f\in C^2(0,\infty)$ with $f(0)=0$ and $f^\prime(0)=0$ there holds
\begin{align}\label{p-rel}
    \int_{0}^{\infty}\frac{|f(r)|^p}{r^{2p}}\:{\rm d}r\leq \frac{p^{2p}}{(p-1)^p(2p-1)^p} \int_{0}^{\infty}|f^{\prime\prime}(r)|^p\:{\rm d}r.
\end{align}
Now we are ready to demonstrate the one-dimensional Rellich-type inequality in the following integral form.
\begin{theorem}\label{rel-th}
 Let $f\in L^p(0,\infty)$, $p>1$. Then we have
 \begin{align}\label{eqn-rel-th}
   &\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\int_{0}^{\tau}|f(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\nonumber\\&\leq\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\sup_{0<s<\infty}\min\biggl\{1,\frac{\tau}{s}\biggr\}\int_{0}^{s}|f(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\nonumber \\&\leq \frac{p^{2p}}{(p-1)^p(2p-1)^p} \int_{0}^{\infty}|f(r)|^p\:{\rm d}r.
 \end{align}
Moreover, the constant is sharp.
\end{theorem}

\section{Proofs of Theorems \ref{hardy-rel-th} and \ref{rel-th}}\label{proof}
This section is concerned with the proofs of Theorems \ref{hardy-rel-th} and \ref{rel-th}. Before going further let us recall the following lemma.
\begin{lemma}\cite[Lemma 3.1]{nhm}\label{hr-lemma}
    Let $1<p<\infty$. Let $g$ be any nonnegative function on $(0,\infty)$. Assume $h$ is a strictly positive non-decreasing function on $(0,\infty)$ such that  $s h(r)\leq r h(s)$ for any $r,s\in(0,\infty)$ with $r\leq s$. Let $f$ be a locally absolutely continuous function on $(0,\infty)$. Then we have
		\begin{equation*}
			\int_{0}^{\infty}g(r)\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{h(r)},\frac{1}{h(s)}\biggr\}\int_{0}^{s}f(t)\:{\rm d}t\bigg|^p\:{\rm d}r \leq \int_{0}^{\infty}g(r)\bigg|\frac{1}{h(r)}\int_{0}^{r}f^*(t)\:{\rm d}t\bigg|^p\:{\rm d}r,
		\end{equation*}
		where $f^*$ is the non-increasing rearrangement of $f$.
\end{lemma}
Now, as a direct consequence of Lemma \eqref{hr-lemma}, we derive the proof of Theorem \ref{hardy-rel-th}.

{\bf Proof of Theorem \ref{hardy-rel-th}:} 
Let us consider $g(r)=1$ and $h(r)=r$ be functions on $(0,\infty)$. Substituting these in Lemma \ref{hr-lemma} with $p=2$, then we have
  \begin{equation*}
		\int_{0}^{\infty}\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{r},\frac{1}{s}\biggr\}\int_{0}^{s}g^{\prime}(t)\:{\rm d}t\bigg|^2\:{\rm d}r \leq\int_{0}^{\infty}\frac{1}{r^{2}}\bigg|\int_{0}^{r}(g^{\prime})^*(t)\:{\rm d}t\bigg|^2\:{\rm d}r.
	\end{equation*}
	By using the Hardy-Rellich inequality in the form \eqref{hardy-rel-int} for the function $(g^\prime)^*$, we obtain
	\begin{align*}
	  \int_{0}^{\infty}\sup_{0<s<\infty}\bigg|\min\biggl\{\frac{1}{r},\frac{1}{s}\biggr\}\int_{0}^{s}g^\prime(t)\:{\rm d}t\bigg|^2\:{\rm d}r&\leq 4\int_{0}^{\infty}|{(g^\prime)}^{*}(r)|^2\:{\rm d}r\\&=4\int_{0}^{\infty}|g^\prime(r)|^2\:{\rm d}r.
	\end{align*}
In the last step, we have used norm preserving property \eqref{norm-presv}. The sharpness follows from the optimality of the constant in \eqref{hardy-rel-int}. It ends the proof.

{\bf Proof of Theorem \ref{rel-th}:}
The first inequality follows from the property of the supremum. Now taking the integral of \eqref{rel-eq-1} from $0$ to $r$  we have
\begin{align}\label{rel-eq-2}
		\int_{0}^{r}\sup_{0<s<\infty}\min\biggl\{1,\frac{\tau}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t\:{\rm d}\tau=\int_{0}^{r}\int_{0}^{\tau}f^*(t)\:{\rm d}t\:{\rm d}\tau.
\end{align}

\begin{align*}
		&\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\sup_{0<s<\infty}\min\biggl\{1,\frac{\tau}{s}\biggr\}\int_{0}^{s}|f(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\\&\overset{\eqref{norm-comp}}{\leq} \int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\sup_{0<s<\infty}\min\biggl\{1,\frac{\tau}{s}\biggr\}\int_{0}^{s}f^*(t)\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\\&\overset{\eqref{rel-eq-2}}{=}\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\int_{0}^{\tau}f^*(t)\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\\&\overset{\eqref{p-rel}}{\leq}\frac{p^{2p}}{(p-1)^p(2p-1)^p}\int_{0}^{\infty}|f^*(r)|^p\:{\rm d}r\\&\overset{\eqref{norm-presv}}{=}\frac{p^{2p}}{(p-1)^p(2p-1)^p}\int_{0}^{\infty}|f(r)|^p\:{\rm d}r.
\end{align*}
This completes the proof of the new type Rellich inequality in the integral form.

{\bf Optimality:} We set 
\begin{align}\label{rel-const}
    C_{p}:=\inf_{f\in L^p(0,\infty)\setminus\{0\}}\frac{\int_{0}^{\infty}\frac{1}{r^{2p}}\big(\int_{0}^{r}\int_{0}^{\tau}|f(t)|\:{\rm d}t\:{\rm d}\tau\big)^p\:{\rm d}r}{\int_{0}^{\infty}|f(r)|^p\:{\rm d}r}.
\end{align}
The validity of \eqref{eqn-rel-th} immediately implies 
\begin{align*}
   C_{p}\leq \frac{p^{2p}}{(p-1)^p(2p-1)^p}.
\end{align*}
So it remains to show other side and this will be done by giving a proper minimizing sequence. We divide the proof in some steps.

{\bf Step 1.} Let us start with a cut-off function $\chi:[0,\infty)\rightarrow \mathbb{R}$ with the following properties:
\begin{itemize}
    \item[1.] $\chi(r)\in [0,1]$ for all $r\in [0,\infty)$ and $\chi$ is smooth;
    \item[2.] $\chi$ satisfies the following
\begin{equation*}
\chi(r)=
\begin{dcases}
1 & 0\leq r\leq 1, \\
0 & 2\leq r< \infty; \\
\end{dcases}
\end{equation*}
\item[3.] $\chi$ is decreasing function, i.e. $\chi^\prime(r)\leq 0$ for all $r\in [0,\infty)$. 
\end{itemize}
Now for a small $\epsilon>0$, let us define the minimizing functions $\{f_\epsilon\}$ as follows:
\begin{align*}
f_\epsilon(r):=r^{\frac{\epsilon-1}{p}}\chi(r).
\end{align*}

{\bf Step 2.} In this step we will estimate r.h.s. of \eqref{eqn-rel-th}. The denominator of \eqref{rel-const} gives
\begin{align}\label{denom}
\int_{0}^{\infty}|f_\epsilon(r)|^p\:{\rm d}r&=\int_0^\infty r^{\epsilon-1}\chi^p(r)\:{\rm d}r\nonumber
\\&=\int_0^1 r^{\epsilon-1}\:{\rm d}r+\int_1^2r^{\epsilon-1}\chi^p(r)\:{\rm d}r\nonumber
\\&=\frac{1}{\epsilon}+O(1).
\end{align}
Therefore, for a fixed positive $\epsilon$, we have $f_\epsilon\in L^p(0,\infty)$.

{\bf Step 3.} In this part we will evaluate the numerator of \eqref{rel-const}. Consider the integration by parts and we compute
\begin{align}\label{numeo}
 &\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\int_{0}^{\tau}|f_\epsilon(t)|\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\nonumber
 \\&=\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}\int_{0}^{\tau}t^{\frac{\epsilon-1}{p}}\chi(t)\:{\rm d}t\:{\rm d}\tau\bigg)^p\:{\rm d}r\nonumber
 \\&=\bigg(\frac{p}{\epsilon-1+p}\bigg)^p\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg[\int_0^r\chi(\tau)\tau^{\frac{\epsilon-1+p}{p}}\:{\rm d}\tau-\int_{0}^{r}\int_{0}^{\tau}t^{\frac{\epsilon-1+p}{p}}\chi^\prime(t)\:{\rm d}t\:{\rm d}\tau\bigg]^p\:{\rm d}r\nonumber
 \\&\geq \bigg(\frac{p}{\epsilon-1+p}\bigg)^p\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg[\int_0^r\chi(\tau)\tau^{\frac{\epsilon-1+p}{p}}\:{\rm d}\tau\bigg]^p\:{\rm d}r\nonumber
 \\&=\bigg(\frac{p}{\epsilon-1+p}\bigg)^p\bigg(\frac{p}{\epsilon-1+2p}\bigg)^p\int_{0}^{\infty}\frac{1}{r^{2p}}\bigg[\chi(r)r^{\frac{\epsilon-1+2p}{p}}-\int_{0}^{r}\tau^{\frac{\epsilon-1+2p}{p}}\chi^\prime(\tau)\:{\rm d}\tau\bigg]^p\:{\rm d}r\nonumber
 \\&\geq \bigg(\frac{p}{\epsilon-1+p}\bigg)^p\bigg(\frac{p}{\epsilon-1+2p}\bigg)^p\int_{0}^{\infty}r^{\epsilon-1}\chi^p(r)\:{\rm d}r\nonumber
 \\&=\bigg(\frac{p}{\epsilon-1+p}\bigg)^p\bigg(\frac{p}{\epsilon-1+2p}\bigg)^p\bigg[\int_0^1 r^{\epsilon-1}\:{\rm d}r+\int_1^2r^{\epsilon-1}\chi^p(r)\:{\rm d}r\bigg]\nonumber
 \\&=\frac{1}{\epsilon}\bigg(\frac{p}{\epsilon-1+p}\bigg)^p\bigg(\frac{p}{\epsilon-1+2p}\bigg)^p+O(1).
\end{align}
In between, exploiting $\chi^\prime\leq 0$, we used a simple inequality $(a+b)^p\geq a^p$ twice, for nonnegative real numbers $a$ and $b$ with $p>1$.

{\bf Step 4.} Finally, by using \eqref{denom} and \eqref{numeo} we deduce
the ratio
\begin{align*}
    &\frac{\int_{0}^{\infty}\frac{1}{r^{2p}}\big(\int_{0}^{r}\int_{0}^{\tau}|f(t)|\:{\rm d}t\:{\rm d}\tau\big)^p\:{\rm d}r}{\int_{0}^{\infty}|f(r)|^p\:{\rm d}r}\\
    &\geq \frac{\frac{1}{\epsilon}\big(\frac{p}{\epsilon-1+p}\big)^p\big(\frac{p}{\epsilon-1+2p}\big)^p+O(1)}{\frac{1}{\epsilon}+O(1)}\rightarrow \frac{p^{2p}}{(p-1)^p(2p-1)^p}\; \text{ for }\epsilon\rightarrow 0.
\end{align*}
Hence $\{f_\epsilon\}$ is the required minimizing sequence and, in turn, we have $$C_p=\frac{p^{2p}}{(p-1)^p(2p-1)^p}.$$


\section{Few more remarks}\label{inq}
Here we shortly revisit some more inequalities. It hints that rescaling above inequalities may generate new inequalities.  Let us recall the differential form of the inequality \eqref{new-hardy}. 
\begin{lemma}\cite[Theorem 1]{nh}
  Let $1 < p < \infty$. Then, for any locally absolutely continuous function $f$ on $(0, \infty)$ with $\liminf_{r\rightarrow 0} |f(r)| = 0$, there holds
\begin{align*}
   \int_{0}^{\infty}\max\biggl\{\sup_{0<s\leq r} \frac{|f(s)|^p}{r^p}, \sup_{r\leq s<\infty} \frac{|f(s)|^p}{s^p} \biggr\}\:{\rm d}r\leq \bigg(\frac{p}{p-1}\bigg)^p \int_{0}^{\infty}|f^\prime(r)|^p\:{\rm d}r. 
\end{align*}  
\end{lemma}

Now by substituting $\frac{1}{r}\int_{0}^{r}f(t)\:{\rm d}t$ and $\int_{0}^{r}f(t)\:{\rm d}t$ instead of $f(r)$ one can have two immediate corollaries, respectively.
\begin{corollary}
Let $1 < p < \infty$. Then, for any locally absolutely continuous function $f$ on $(0, \infty)$, there holds
\begin{align*}
   &\int_{0}^{\infty}\max\biggl\{\sup_{0<s\leq r} \frac{|\frac{1}{s}\int_{0}^{s}f(t)\:{\rm d}t|^p}{r^p}, \sup_{r\leq s<\infty} \frac{|\frac{1}{s}\int_{0}^{s}f(t)\:{\rm d}t|^p}{s^p} \biggr\}\:{\rm d}r\nonumber\\&\leq \bigg(\frac{p}{p-1}\bigg)^p 2^{p-1} \biggl\{\int_{0}^{\infty} \frac{|f(r)|^p}{r^p}\:{\rm d}r + \int_{0}^{\infty}\frac{1}{r^{2p}}\bigg(\int_{0}^{r}|f(t)|^p\:{\rm d}t\bigg)\:{\rm d}r\biggr\}. 
\end{align*}
\end{corollary}
\begin{corollary}
Let $1 < p < \infty$. Then, for any locally absolutely continuous function $f$ on $(0, \infty)$, there holds  
\begin{align*}
   \int_{0}^{\infty}\max\biggl\{\sup_{0<s\leq r} \frac{|\int_{0}^{s}f(t)\:{\rm d}t|^p}{r^p}, \sup_{r\leq s<\infty} \frac{|\int_{0}^{s}f(t)\:{\rm d}t|^p}{s^p} \biggr\}\:{\rm d}r\leq \bigg(\frac{p}{p-1}\bigg)^p \int_{0}^{\infty}|f(r)|^p\:{\rm d}r 
\end{align*}
\end{corollary}


\medskip

\section*{Acknowledgments}
This work was partially supported by the NU program 20122022CRP1601. The first author is supported in part by JSPS Kakenhi 18KK0073, 19H00644. The second author is supported in part by National Theoretical Science Research Center Operational Plan V-Mathematics Field (2/5) (Project number 111-2124-M-002-014-G58-01). 

\medskip


2023-01-30T02:10:02.000
2301
2301.11638
en
https://arxiv.org/abs/2301.11638
The motive of this note is twofold. Inspired by the recent development of a new kind of Hardy inequality, here we discuss the corresponding Hardy-Rellich and Rellich inequality versions in the integral form. The obtained sharp Hardy-Rellich type inequality improves the previously known result. Meanwhile, the established sharp Rellich type integral inequality seems new.
Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
One-dimensional integral Rellich type inequalities
Qwen/Qwen-72B
1. YES
2. YES