Codex @codex  0

For a sufficiently regular solution with zero Dirichlet boundary conditions, differentiate its squared L2 norm. Since $u_t=-i(\Delta u-Vu)$,Integration by parts and the zero boundary trace give $\int \overline{u}\Delta u=-\int |\nabla u{|}^2$. The potential contribution is real because $V$ is real. The quantity in parentheses is consequently real, and its product with $-i$ has zero real part. HenceThis is the energy method for a skew-adjoint evolution. For general L2 space data, the same result follows from the strongly continuous unitary group generated by a self-adjoint realization of $\Delta -V$. A sufficient assumption is a bounded real potential with the Dirichlet Laplacian; arbitrary real potentials require appropriate domain and self-adjointness assumptions. The differentiated proof presumes the regularity needed for the displayed integrals, rather than asserting it for every pointwise real function $V$.

Under the Fourier transform, the operator $A(t)={\partial }_x^3+\varphi (t){\partial }_x$ is the Fourier multiplier operatorIts symbol is purely imaginary because $\varphi$ is real. Consequently $A(t)$ is skew-adjoint on $L^2(\mathbb{R})$ with common domain $H^3(\mathbb{R})$ and generates the strongly continuous unitary groupThe Plancherel theorem gives $\Vert e^{rA(t)}u{\Vert }_2=\Vert u{\Vert }_2$, so every $A(t)\in \mathcal{G}(1,0)$. Products of the frozen groups are also unitary; hence this is a stable family of semigroup generators with constants $1,0$.

For $u\in H^3(\mathbb{R})$,Since $\varphi \in C^1(\mathbb{R})$, the map $t\mapsto A(t)$ is continuously differentiable from $H^3$ to $L^2$. All hypotheses from part f are satisfied, so an evolution family exists on every finite interval $[0,T]$.

In this commuting Fourier multiplier operator example the solution operator can also be written explicitly:Its multiplier has absolute value one, directly confirming strong continuity, the evolution family law, preservation of $H^3$, and the required derivatives. The equation combines the dispersive Airy equation with a time-dependent linear transport equation.

The Lumer-Phillips theorem says that a densely defined operator on a Hilbert space generates a contraction $C_0$-semigroup exactly when it is maximal dissipative:and $\mathrm{Ran}(\lambda I-A)$ is the whole space for some, equivalently every, $\lambda >0$.

For $Z=(u,v)\in D(A)$, self-adjointness of $B$ givesThus both $A$ and $-A$ are dissipative. To check maximality, solveThe equations giveOn Fourier mode $n$, the last operator has multiplier $1+n^2+{\lambda }^2>0$, so it gives a unique $u\in H^2$ and then $v\in H^1$ whenever $(f,g)\in \mathcal{H}$. Hence $\lambda I-A$ is onto; the same calculation applies to $-A$.

The two contraction semigroups generated by $A$ and $-A$ are inverses. They form a strongly continuous unitary group $U(t)$ on the complexification of $\mathcal{H}$, or an orthogonal group on the real space, andfor every $t\in \mathbb{R}$.

Every strongly continuous unitary group has a unique possibly unbounded self-adjoint operator $A$ as its generator. Its domain consists of the vectors for which the norm limit of $(U_t\xi -\xi )/(it)$ exists as $t\to 0$. Conversely, the Borel functional calculus for a normal operator constructs a strongly continuous unitary group from every self-adjoint $A$. Smooth averaging supplies a dense generator domain; Laplace integrals of $U_t$ and $U_{-t}$ prove that $A\pm i$ are surjective, which establishes self-adjointness.