具有旋度边界是条件的抛物方程组

证明一个线性抛物方程组的整体古典解的存在唯一性，困难在于边界条件中含有未知向量函数的旋度。