Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm doing some self-study in complex analysis, and came to the following question:


Let $D(a,1) \subset \mathbb{C}$ be the disk of radius $1$ with center at $a \in \mathbb{C}$, and let $\partial D(a,1)$ be the boundary of $D(a,1)$. Prove that $|a| <1$ if and only if there exists a function $f$ analytic on $D(a,1)$ and continuous up to $\partial D(a,1)$ such that $f(z) = 1/\bar{z}$ for $z \in \partial D(a,1)$.


I don't know what area of the theory to try to apply here. I know that $|a| <1$ iff $\; 0 \in D(a,1)$, and I know that the function $1/\bar{z}$ is nowhere analytic. However, I can't see how to get to the desired conclusion.

Thanks.

share|improve this question
2  
Note that $\bar z=\bar a + \overline{z-a}$, and on the boundary $z-a$ has unit length. Therefore $\overline{z-a}=\frac{1}{z-a}$ on the boundary (but only there). This should help you construct $f$ -- that is, the "only if" direction. For "if", one approach would be to combine the same construction with something like Cauchy's theorem. –  Henning Makholm Jul 7 '12 at 1:08
add comment

1 Answer 1

up vote 0 down vote accepted

If you know about harmonic functions, then you can use the maximum principle on the real and imaginary parts of $f(z) - {1 / \bar{z}}$ to show that if $a > 1$, then if such a $f(z)$ existed then $f(z)$ would have to be ${1 / \bar{z}}$ for all $z$.

If $a < 1$, I'd use an explicit construction like Henning Makholm suggests.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.