Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification