Complete boundary-jet condition for formal adjoints
ID: complete-boundary-jet-condition-for-formal-adjoints
For an order- operator with smooth coefficients on a bounded piecewise smooth domain, integration by parts has no boundary remainder when at each boundary point either the entire boundary jet of through order vanishes or the entire such jet of vanishes. Every boundary summand pairs derivatives of the two functions of order at most . It is insufficient to require only that, for each same multi-index , one of and vanish: for , and on a rectangle, all those same-index products vanish on the boundary but .
New to topics? Read the docs here!