There are few formulations of this so called "maximum principle". All of these follow from 6. Theorem 2.2.3 - Open Mapping Theorem

  1. Let DC be a domain, and let f:DC be holomorphic non-constant. Then |f(z0)| 1;;cannot attain a local maximum.
  2. Let D be a bounded domain, suppose f:DC is continuous, f:DC is holomorphic. Then f 1;;achieves its local maximum on δD
  3. Let D be a bounded domain in CR2, u:DR a continuous function with u:DR harmonic. Then 1;;u achieves its maximum on δD.
Powered by Forestry.md