境界上での偏微分は定義してないの？
だとしたらそこを避けるためにAの内点に限って条件を書いたんじゃないの？