Let $Tx(t)=x'(t)$ in $L_{p}(0,1)$, 1\leq p<\infty. $\textrm{Dom}(T)=\left\{ x\in L_{p}(0,1):x\in AC[0,1],x'\in L_{p}(0,1)\right\}$.
Since the Lebesgue measures of $\{0\}$ and $\{1\}$ are zero, $x\in\textrm{Dom}(T)\Rightarrow x\in L_{p}[0,1]$ and $x'\in L_{p}[0,1]$.
$\textrm{ker}T=\left\{ x\in\textrm{Dom}(T):Tx=0\right\} =\left\{ x\in\textrm{Dom}(T):x'(t)=0\textrm{ for a.e. }t\in[0,1]\right\} $
Suppose $[x]\in\textrm{Dom}(T)/\textrm{ker}T\Rightarrow[x]=\left\{ x+y:y\in\textrm{ker}T\right\} $.
Let $\tilde{T}:\textrm{Dom}(T)/\textrm{ker}T\rightarrow L_{p}(0,1)$ such that $\tilde{T}[x]=x'(t),\: x\in[x]$.
$\textrm{ker}\tilde{T}=[0]=\textrm{ker}T\Rightarrow\tilde{T}$ is one-to-one.
$\Rightarrow\exists\tilde{T}^{-1}:L_{p}(0,1)\rightarrow \textrm{Dom}(T)/\textrm{ker}T$ such that $\tilde{T}^{-1}y=[x]$ where $x'(t)=y,\forall t\in[0,1],\ x\in\textrm{Dom}(T)$.
Suppose $x'(t)=y(t),\forall t\in[0,1]$.
$x\in AC[0,1]\Rightarrow x(t)=x(0)+\int_{0}^{t}y(s)ds$
Pick $y\in L_{p}[0,1]$ such that $y=Tx,\ x\in\textrm{Dom}(T)$.
$\left\Vert \tilde{T}^{-1}y\right\Vert =\left\Vert [x]\right\Vert =\inf_{z\in\textrm{ker}T}\left\Vert x+z\right\Vert \leq\left\Vert x+x(0)\right\Vert $
Let $z(t)=x(0),\forall t\in[0,1]\Rightarrow z\in\textrm{ker}T$.
Thus, \begin{eqnarray*} \left\Vert \tilde{T}^{-1}y\right\Vert & \leq & \left(\int_{0}^{1}\left|x(t)-x(0)\right|^{p}dt\right)^{\frac{1}{p}}\\ & = & \left(\int_{0}^{1}\left|\int_{0}^{t}y(s)ds\right|^{p}dt\right)^{\frac{1}{p}}\\ & \leq & \left(\int_{0}^{1}\left(c_{p}\cdot\int_{0}^{t}|y(s)|^{p}ds\right)dt\right)^{\frac{1}{p}}\\ & \leq & \left(\int_{0}^{1}\left(c_{p}\cdot\int_{0}^{1}|y(s)|^{p}ds\right)dt\right)^{\frac{1}{p}}\\ & = & c_{p}^{\frac{1}{p}}\left\Vert y\right\Vert _{L_{p}}\\ & < & +\infty \end{eqnarray*}
My questions:
(1) Why do we need $c_{p}$? I guess $\left|\int_{0}^{t}y(s)ds\right|^{p}\leq\int_{0}^{t}|y(s)|^{p}ds$.
(2) Why $\left(\int_{0}^{1}\left(c_{p}\cdot\int_{0}^{1}|y(s)|^{p}ds\right)dt\right)^{\frac{1}{p}}=c_{p}^{\frac{1}{p}}\left\Vert y\right\Vert _{L_{p}}$? By definition, $\left\Vert f\right\Vert _{L_{p}}=\left[\int|f|^{p}d\mu\right]^{\frac{1}{p}}.$