... to check the reasonableness of the boundary value problem 2.10–2.13under the definition of weak solutions, that is, the solution in the classical sense arenecessarily the solutions in weak ... traceembedding theorem can be set, and the boundary value condition 2.13 is naturally satisfied. On the other hand, if the weak solution u of 2.10–2.13 belongs to X1∩ Wm,pΩ for somep>1, then ... Furthermore, if, we can derive that uY<C, C is a constant, then the solution u0 of Gu 0 belongs to Y .In the following, we give some existence theorems of Wm,p-solutions for the...