MathDB
An inequality about harmonic functions.

Source: Miklos Schweitzer 2015, problem 9

March 22, 2016
real analysiscollege contestscomplex analysis

Problem Statement

For a function u{u} defined on GC{G \subset \Bbb{C}} let us denote by Z(u){Z(u)} the neignborhood of unit raduis of the set of roots of u{u}. Prove that for any compact set KG{K \subset G} there exists a constant C{C} such that if u{u} is an arbitrary real harmonic function on G{G} which vanishes in a point of K{K} then: supzKu(z)CsupZ(u)Gu(z).\displaystyle \sup_{z \in K} |u(z)| \leq C \sup_{Z(u)\cap G}|u(z)|.