複素解析2

D[u}をディクリ汎関数とする
D[tu+(1-t)v]=∫(Ω)|t∇u+(1-t)∇v|^2dx<=∫(Ω){t|∇u|^2+(1-t)|∇v|^2}dx=tD[u]+(1-t)D[v]
tは実数のパラメーター、u、vはソボレフ空間W^(1,2)(Ω)の元、Ωは考えている領域