바운드 시키고싶은데 벡터는 H2 교집합 H_0 ^1에 있음 trace부등식이나 soblev imbedding써봤지만
부질없는데 해석학 전공자들의 조언 앙망함
추가정보로 smooth boundary임