Show $\sup_{0≤f∈L^2}\frac{\|Af\|_{L^2}}{\|f\|_{L^2}}=\sup_{0≤f∈L^2}\frac{⟨Af,f⟩_{L^2}}{\|f\|_{L^2}^2}$ for self-adjoint nonnegativity-preserving $A$ Let $(E,\mathcal E,\mu)$ be a measure space and $A$ be a self-adjoint bounded linear operator on $L^2(\mu)$. Assume $Af\ge0$ for all $f\in\mathcal L^2(\mu)$ with $f\ge0$. Let $$c_1:=\sup_{\substack{f\in\mathcal L^2(\mu)\setminus\{0\}\\f\ge0}}\frac{\left\|Af\right\|_{L^2(\mu)}}{\left\|f\right\|_{L^2(\mu)}}.$$

I would like to show that $$c_1=\sup_{\substack{f\in\mathcal L^2(\mu)\setminus\{0\}\\f\ge0}}\frac{\langle Af,f\rangle_{L^2(\mu)}}{\left\|f\right\|_{L^2(\mu)}^2}=:c_2.\tag1$$

Note that this is a classical result which is true when the suprema in the definitions of $c_1$ and $c_2$ are taken over $\mathcal L^2(\mu)\setminus\{0\}$ and we take the absolute value of the inner product in the definition of $c_2$.
Mimicing the usual proof, we easily obtain $$c_2\le c_1=\sup_{\substack{f,\:g\:\in\:\mathcal L^2(\mu)\\\left\|f\right\|_{L^2(\mu)}\:=\:\left\|g\right\|_{L^2(\mu)}\:=\:1\\f,\:g\:\ge\:0}}\langle Af,g\rangle_{L^2(\mu)}=:c_3\tag2.$$ Now we the classical claim (without the nonnegativity condition in the domain over which the supremum is taken in the definition of $c_3$) is concluded by showing $$c_3\le c_2\tag3$$ using the parallelogram law. Obviously, the problem with this is that the difference of nonnegative functions doesn't need to be nonnegative. Can we fix this or conclude by a different argument?
 A: I assume that the complex Hilbert space $L^{2}(\mu)$ is in issue, so the definition of $c_{2}$ and $c_{3}$ are respectively 
\begin{align*}
c_{2}=\sup_{f\geq 0,~\|f\|=1}\left<Af,f\right>_{r},
\end{align*}
and that
\begin{align*}
c_{3}=\sup_{f,g\geq 0,~\|f\|=\|g\|=1}\left|\left<Af,g\right>\right|,
\end{align*}
where 
\begin{align*}
\left<f,g\right>=\int f\overline{g},
\end{align*}
and that
\begin{align*}
\left<f,g\right>_{r}=\int fg.
\end{align*}
Let $f,g\geq 0$, $\|f\|=\|g\|=1$ be given. First of all, since $A(f)\geq 0$, it is trivial that $\left<Af,f\right>_{r}=\left<Af,f\right>$ and $\left|\left<Af,g\right>\right|=\left<Af,g\right>\geq 0$, so there is no need to distinguish $\left<\cdot,\cdot\right>_{r}$ and $\left<\cdot,\cdot\right>$ in the definition of $c_{2}$ and $c_{3}$. The absolute value in $c_{3}$ can also be removed.
We know the formula that
\begin{align*}
4\text{Re}\left<Af,g\right>=\left<A(f+g),f+g\right>-\left<A(f-g),f-g\right>.
\end{align*}
But in this case, the term $\text{Re}\left<Af,g\right>$ simply becomes $\left<Af,g\right>$.
Now we let $h=f-g$, the crucial point is to realize that 
\begin{align*}
|A(h)|\leq A(|h|).
\end{align*}
Indeed, since $h$ is real-valued, we have $|h|+h\geq 0$. Since $h=h^{+}-h^{-}$, linearity of $A$ gives $Ah=Ah^{+}-Ah^{-}$. Keep in mind that both $Ah^{+},Ah^{-}\geq 0$, so $Ah$ is real-valued. 
As $A$ is order-preserving, we have $A(|h|+h)\geq 0$, linearity of $A$ and the fact that $Ah$ being real-valued give $A(|h|)\geq-A(h)$. The same account applies to $|h|-h\geq 0$ to get $A(|h|)\geq A(h)$.
As a result, 
\begin{align*}
\left|\left<A(f-g),f-g\right>\right|\leq\left<|A(f-g)|,|f-g|\right>\leq\left<A(|f-g|),|f-g|\right>.
\end{align*}
We obtain that 
\begin{align*}
& 4\left<Af,g\right>\\
&\leq\|f+g\|^{2}\left|\left<A\left(\dfrac{f+g}{\|f+g\|}\right),\dfrac{f+g}{\|f+g\|}\right>\right|+\|f-g\|^{2}\left|\left<A\left(\dfrac{|f-g|}{\|f-g\|}\right),\dfrac{|f-g|}{\|f-g\|}\right>\right|\\
&=\|f+g\|^{2}\left<A\left(\dfrac{f+g}{\|f+g\|}\right),\dfrac{f+g}{\|f+g\|}\right>+\|f-g\|^{2}\left<A\left(\dfrac{|f-g|}{\|f-g\|}\right),\dfrac{|f-g|}{\|f-g\|}\right>\\
&\leq c_{2}(\|f+g\|^{2}+\|f-g\|^{2})\\
&= 2c_{2}(\|f\|^{2}+\|g\|^{2})\\
&= 4c_{2},
\end{align*}
so $\left<Af,g\right>\leq c_{2}$, and hence $c_{3}\leq c_{2}$ is claimed.
