Vanishing harmonic function by level-set integration
ID: vanishing-harmonic-function-by-level-set-integration
For a smooth harmonic function on a manifold without boundary, assume its nonzero superlevel sets are compact. On a regular positive superlevel set , integration by parts gives . Applying the same argument to proves . This avoids assuming an unstated decay rate for the boundary flux at infinity.
New to topics? Read the docs here!