Calculate the operator norm of $A: L^2[0,1] \to L^2[0,1]$ defined by $(Af)(x):=i\int_0^x f(t)\,dt-\frac{i}{2} \int_0^1 f(t) \,dt$ I want to calculate the operator norm of the operator $A: L^2[0,1] \to L^2[0,1]$ which is defined by $$(Af)(x):=i\int\limits_0^x f(t)\,dt-\frac{i}{2} \int\limits_0^1 f(t)\, dt$$
I've already shown that this operator is compact and selfadjoint. I think maybe this helps me calculating the operator norm. Maybe through spectral theorem for compact self adjoint operators.
I also know that for integral operators of the form
$$(Kf)(x)=\int\limits_0^1 k(x,t) f(t)\,dt$$ the inequality $\Vert K \Vert \leq \Vert k \Vert{}_{L^2}$ holds.
For
$$(Af)(x)=i\int\limits_0^x f(t)\,dt-\frac{i}{2} \int\limits_0^1 f(t) \,dt = \int\limits_0^1 i\,\left(1_{[0,x]}(t)-\frac{1}{2}\right)f(t)\,dt$$ this gives me an upper bound:
$$\Vert A \Vert \leq \left\Vert  i~1_{[0,x]}-\frac{i}{2} \right\Vert{}_{L^2}=\frac{1}{2}$$
Can someone help me?
 A: Let $k(t,x)=i\big(\mathbb{1}(0<t\leq x)-\frac12\big)$ and define the operator $A_k:f\mapsto\int^1_0k(t,x) f(t)\,dt$ in $L_2([0,1])$. As pointed out in the statement of the problem, $A_k$ is compact and self adjoint. Here is a short proof for completeness.


*

*$A_k$ is compact in $L_2(0,1)$ because  $\int_{[0,1]^2}|K(t,x)|^2\,dt\,dx =\frac14<\infty$.

*To check self-adjointness of $A_K$, notice that
$$A_Kf(x)=i\Big(\int^x_0f(t)\,dt-\frac12\int^1_0f(t)\,dt\Big)=\frac{i}{2}\Big(\int^x_0 f(t)\,dt-\int^1_x f(f)\,dt\Big)$$
while
\begin{aligned}
 A^*_Kf(x)&=\int^1_0\overline{k(x,t)}f(t)\,dt=-i\Big(\int^1_xf(t)\,dt-\frac12\int^1_0f(t)\,dt\Big)\\
&=\frac{i}{2}\Big(\int^x_0f(t)\,dt-\int^1_xf(t)\,dt\Big)=A_kf(x)
\end{aligned}
With all these, we have that the spectrum of $A_f$ consists of countable eigenvalues converging to $0$ (and possibly zero). The larges eigenvalue (in magnitude) is also the norm of $A_k$.
For each $n\in\mathbb{Z}$, the  function $\phi_n(t)=e^{i(2 n + 1)t}$ is an eigenvector of $A_K$ corresponding to the eigenvalue $\frac{1}{(2n+1)\pi }$.  At least this gives $\frac{1}{\pi}\leq\|A_K\|\leq 2$. 
One needs to check that $\{\frac{1}{(2 n+1)\pi}:n\in\mathbb{Z}\}$ are the only eigenvalues. Once this is verified, it turns out that $\|A_k\|=\frac{1}{\pi}$.

A side note: The functions $f_\alpha(t)=\sqrt{2\alpha+1}\,t^\alpha$ with $\alpha>-\frac12$, although they are not eigenfunctions, give an interesting bound:
$\|A_K f_\alpha\|^2_2=\frac{2\alpha+1}{(\alpha+1)^2}\Big(\frac{1}{2\alpha+3}-\frac{1}{\alpha+2}+\frac14\Big)$.
This attains a maximum at $\alpha=0.56807...$ and which gives a lower bound of $0.298225...$ for $\|A_k\|$. That is optimal as $\frac{1}{\pi}=0.3183099...$.
A: The eigenfunctions of the operator $A$ form an orthonormal system, therefore we can write:
$$Af = \sum\limits_{k\in\mathbb{Z}} \lambda_k (f,e_k)e_k$$ Where $\lambda_k = \frac{1}{(2k+1)\pi}$ are the eigenvalues of $A$ with the corresponding eigenfunctions $e_k = e^{(2k+1)\pi i}$.
Now we define
$$c:=\max\limits_{k\in\mathbb{Z}}(\vert\lambda_k\vert)$$
$$\Vert Af\Vert^2 = \sum\limits_{k\in\mathbb{Z}} \vert \lambda_k (f,e_k) \vert^2\leq c^2\sum\limits_{k\in\mathbb{Z}} \vert(f,e_k) \vert^2=c^2 \Vert f \Vert^2$$
Hence, $\Vert A \Vert \leq c$.
For the other direction assume $f=e_0$, the eigenfunction which corresponds to the greatest eigenvalue $\lambda_0$.
$$\Vert Af \Vert^2=\Vert \lambda_0 f\Vert^2 = c^2$$
It follows that $\Vert A \Vert= c$. Where $c=\max\limits_{k\in\mathbb{Z}}\Big(\vert\frac{1}{(2k+1)\pi}\vert \Big)=\frac{1}{\pi}$.
