Es ist z=eiϕ=cosϕ+isinϕ mit ϕ∈[0,π].
(a)
∣∣∣∣∣∣CR∫eiωzf(z)dz∣∣∣∣∣∣=≤∣zf(z)∣≤C≤∣zf(z)∣≤C,∣eiωRcosϕ∣=1∣∣∣∣∣0∫πeiωReiϕf(Reiϕ)Reiϕdϕ∣∣∣∣∣0∫π∣∣∣eiωR(cosϕ+isinϕ)f(Reiϕ)Reiϕ∣∣∣dϕC0∫πe−ωRsinϕdϕ
(b) Beachte:
Auf [0,π] ist sinϕ symmetrisch bzgl. ϕ=2π. Daher gilt
0∫πe−ωRsinϕdϕ=20∫2πe−ωRsinϕdϕ
Aufgrund der strengen Konkavität von sinϕ auf [0,2π] liegt dort der Graph von sinϕ oberhalb der Geraden durch (0,0) und (2π,1) für ϕ∈(0,2π). Das bedeutet
sinφ≥π2ϕ fu¨r ϕ∈[0,2π]
Also
0∫πe−ωRsinϕdϕ=≤==20∫2πe−ωRsinϕdϕ20∫2πe−ωRπ2ϕdϕ2(−2ωRπ)[e−ωRπ2ϕ]02πωRπ(1−e−ωR)
(c) ist nun Pippifax:
∣∣∣∣∣∣∣CR∫eiωzf(z)dz∣∣∣∣∣∣∣≤(a),(b)CωRπ(1−e−ωR)⟶R→∞0