Vitalsource Technologies, Inc. Functional Analytic Methods For Partial Differential Equations