Let $I$ be the open interval $(0, 1)$. I'm trying to solve below exercise in Brezis' Functional Analysis, i.e.,
Exercise 8.17 Let $H=L^2(I)$ and $A: D(A) \subset H \rightarrow H$ be the unbounded operator defined by $A u=u''-xu'$, whose domain $D(A)$ will be made precise below. Determine $A^{*}, D\left(A^{*}\right), N(A)$, and $N\left(A^{*}\right)$ in the following cases:
- $D(A)=\left\{u \in H^2 (I) : u(0)=u(1)=0\right\}$.
- $D(A)=H^2(I)$.
- $D(A)=\left\{u \in H^2(I) : u(0)=u(1)=u'(0)=u'(1)=0\right\}$.
- $D(A)=\left\{u \in H^2(I) : u(0)=u(1)\right\}$.
There are possibly subtle mistakes that I could not recognize in my below attempt. Could you please have a check on my computation of $N(A^*)$?
In a previous thread, I proved that $D(A^*) \subset H^2 (I)$ and that $A^*v = v''+xv'+v = (v'+xv)'$. With each boundary condition, I determined $D(A^*)$ as follows.
$D(A^*) = \{ v \in H^2 (I) : v(1) = v(0) = 0 \}$.
$D(A^*) = \{ v \in H^2 (I) : v(1) = v(0) = v'(1) = v'(0) = 0 \}$
$D(A^*) = H^2 (I)$.
$D(A^*) = \{ v \in H^2 (I) : v(1) = v(0) = v'(1) - v'(0) = 0 \}$.
We have $N(A^*) = \{v \in D(A^*) : v'+xv \text{ is constant}\}$. With each boundary condition, I determined $N(A^*)$ as follows.
$N(A^*)$ consists of those $v \in H^2 (I)$ such that there is a constant $C$ such that $v'+xv=C$ and $v(1) = v(0) = 0$.
$N(A^*)$ consists of those $v \in H^2 (I)$ such that $v'+xv=0$ and $v(1) = v(0) = 0$.
$N(A^*)$ consists of those $v \in H^2 (I)$ such that there is a constant $C$ such that $v'+xv=C$.
$N(A^*)$ consists of those $v \in H^2 (I)$ such that there is a constant $C$ such that $v'+xv=C$ and $v(1) = v(0) = 0$.