= Solution
The rotated <global relations> form a square system for the three missing <boundary traces>. Solve this system and substitute the resulting <finite-time spectral boundary transforms> into the <integral representation>. The pieces containing $Q(k_j,T)$ have zero contour contribution by analyticity, rotation of the relevant sectors and the <Cauchy integral theorem>. The remaining expression involves only $Q_0,F_0,G_0,G_1$. The <finite-interval Airy spectral determinant> has no nonremovable zeros in the contour domains, as established below, so this elimination introduces no extra spectral data there. Differentiating the representation, and using temporal inversion and compatibility at the corners, verifies the <partial differential equation>, initial value and the three prescribed boundary values.
For a direct <Hadamard well-posedness> check, the homogeneous difference satisfies
$$
\frac d{dt}\frac12\int_0^L|q|^2dx=-\frac12|q_x(0,t)|^2\leq0.
$$
This proves uniqueness and continuous dependence for homogeneous boundary data. More generally subtract a smooth quadratic boundary lift $b(x,t)$ satisfying the three prescribed endpoint conditions. The remaining problem has homogeneous boundary conditions and forcing $-b_t-b_{xxx}$. Its <semigroup generator> is $A=-d^3/dx^3$ on $H^3(0,L)$ with $v(0)=v(L)=v'(L)=0$. It is a <dissipative operator>; for every real $\zeta>0$ the equation $(\zeta-A)v=h$ has a unique solution, since the homogeneous third-order boundary system is injective by the same energy identity and therefore invertible. Thus $A$ is <maximal dissipative> and generates a <contraction semigroup>. This gives existence and continuous dependence on the lifted data and forcing. \b[Smooth compatible data therefore define a well-posed problem.] This operator argument and the spectral elimination describe the same evolution.
Back to article page
