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've recently learned that the cotangent satisfies the following functional equation:

$$\dfrac1{f(z)}=f(z)-2f(2z)$$

(true for $f(z)\neq 0$).

Can we solve this equation for real or complex functions $f?$ Can we give additional conditions such that $\cot$ is the only real or complex function satisfying these conditions and the equation? Or is there perhaps a different functional equation better suited for this purpose?

I'm asking this because I know about such a characterization of the real function $\exp$.

Please note that I know very little about functional equations. I've only seen two examples dealt with in my courses.

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

This might be related. The Herglotz trick is essentially the statement that $\pi\cot(\pi z)$ is the unique meromorphic function $f(z)$ satisfying:

$f(z)$ is defined for $z\in\mathbb{C}\backslash\mathbb{Z}$

$f(z+1)=f(z)$

$f(-z)=f(z)$

$-f(z+\frac{1}{2})=f(z)-2f(2z)$

$\lim_{z\to0}\left(f(z)-\frac{1}{z}\right)=0$

share|improve this answer
    
That's pretty neat that those conditions define a unique function. Do you have a reference for the proof? –  Antonio Vargas Dec 1 '12 at 3:06
1  
I first saw this in "Proofs from the book," by Aigner and Ziegler. I also found this on the web www-m9.ma.tum.de/foswiki/pub/WS2010/IMCSeminar/Cotangent.pdf –  Julian Rosen Dec 1 '12 at 3:13
    
Other functions for which functional equations allow the differential equations for the functions to be deduced (this, of course, is much more elementary) are ln, exp, and atan (using the addition formula). –  marty cohen Dec 1 '12 at 3:59
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.