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 working my way through Silverman and Tate's Undergraduate Introduction to Elliptic Curves. I haven't yet been able to study complex analysis, so it comes as no surprise that I'm having a tough time with that portion of the book right now.

Let $\omega_1, \omega_2 \in \mathbb{C}$ be two complex numbers which are $\mathbb{R}$-linearly independent and let: $$L = \mathbb{Z}\omega_1 + \mathbb{Z}\omega_2 = \{n_1\omega_1 + n_2\omega_2 : n_1, n_2 \in \mathbb{Z}\}$$ Let $\wp(u) = \frac{1}{u^2} + \sum\limits_{\omega \in L, \omega \neq 0} \left(\frac{1}{(u-\omega)^2} - \frac{1}{\omega^2}\right)$ Show that $\wp$ is a doubly periodic function, that is, show that $$\wp(u + \omega) = \wp(u)$$

If you are able, please give me a shove in the right direction. Thank you!

Dear Answerers: Thank you, I have been able to figure it out. Yes, convergence was quite tricky and I was trying to make this particular question much more difficult than it actually was. Thank you!

share|improve this question
add comment

2 Answers

You don't need complex analysis for this one. Just write down the series definition for $\wp(u+\omega)$. If you understand what is summed over, it should be pretty clear that you are summing "the same terms" as before.

Once you have this idea, making a rigorous proof is an easy exercise in analysis.

share|improve this answer
3  
Hopefully the OP has shown that the series is absolutely convergent, uniformly convergent on compact sets, etc. –  Dylan Moreland Feb 2 '12 at 22:30
    
And that is the hard part, from what I remember... –  Zhen Lin Feb 2 '12 at 23:40
add comment

The derivative is obviously periodic, so the original function must be also.

For completeness, you should also show that the function is absolutely convergent (so the order in which you sum over the lattice doesn't matter) and uniformly convergent on compact subsets (so it defines a meromorphic function). If you haven't had any complex analysis, you may be able to omit the last bit without any trouble down the line.

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.