Contraction estimate on a shrinking holomorphic domain

ID: contraction-estimate-on-a-shrinking-holomorphic-domain

Write , and . Along the straight integration segment, choose . A Cauchy estimate on a disc of radius bounds the integrand by . Therefore
The integral is taken at fixed , and the disc and segment lie inside the shrinking domain. Consequently is a contraction mapping when and the holomorphic source is bounded on the relevant closed polydisc. The source term has weighted norm at most , so the Banach fixed-point theorem gives a holomorphic solution with zero initial data.

New to topics? Read the docs here!