シュワルツ超関数入門　垣田 高夫 (著) を読破
トレース作用素の定義に境界の滑らかさが要求されていました。
このままだと有限要素法の理論解析に使えません。
境界がリプシッツ連続でもトレース作用素は定義できるはずですが、
実際のところどうなっているのでしょうか？