 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 satisfiesThis 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/d{x}^3$ on $H^3(0,L)$ with $v(0)=v(L)=v^{\prime }(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. Smooth compatible data therefore define a well-posed problem. This operator argument and the spectral elimination describe the same evolution.