ABSTRACT
Proof. From Lemma 1 and continuous dependence of the solution of the heat conduction equation on the Dirichlet data, we know that
The trace theorem in Lions and Magenes (1968) states that the linear mapping
yo:ue H1, 112(Q)—>u e 11112' 114(E) is bounded. Namely,
II u I I
"NE) C11/4 11 H1, 112(Q) From the last inequality and the proposition, we can show that
tion of the corresponding integral equation of the second kind are presented in Costabel et al. (1987) and Onishi (1987, 1988b).