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!