>>657
リプシッツ連続であれば弱微分が定義できるので
その積分の定義で問題無いです