Help Me Prove this Identity (or find a counterexample)

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Poopsilon
Messages
288
Reaction score
1
Let f be an analytic function defined in an open set containing the closed unit disk and let z in ℂ be fixed. I've simplified a more complicated expression down to this identity, and as implausible as it looks, after some numerical checking it does in fact appear to be true, but I can't find a way to prove it:

[tex]\overline{f(0)} = \frac{1}{2\pi}\int_0^{2\pi}\frac{e^{i\phi}}{e^{i \phi}-z}\overline{f(e^{i\phi})}d\phi[/tex]

The functions I tried were: z, z+1, and z+i, so nothing transcendental. We don't know that [itex]\overline{f(z)}[/itex] is analytic and we can't even push the conjugate inside the function, thus I feel like I don't have many tools at my disposal except for algebraic manipulation, and so far that hasn't gotten me anywhere.
 
Last edited:
Physics news on Phys.org
Poopsilon said:
Let f be an analytic function defined in an open set containing the closed unit disk and let z in ℂ be fixed. I've simplified a more complicated expression down to this identity, and as implausible as it looks, after some numerical checking it does in fact appear to be true, but I can't find a way to prove it:

[tex]\overline{f(0)} = \frac{1}{2\pi}\int_0^{2\pi}\frac{e^{i\phi}}{e^{i \phi}-z}\overline{f(e^{i\phi})}d\phi[/tex]

The functions I tried were: z, z+1, and z+i, so nothing transcendental. We don't know that [itex]\overline{f(z)}[/itex] is analytic and we can't even push the conjugate inside the function, thus I feel like I don't have many tools at my disposal except for algebraic manipulation, and so far that hasn't gotten me anywhere.

What is the original question?