Let $f(x)=\Re(\sum\_{k=1}^n a\_k e^{i\lambda\_k x})$ for $0 < \lambda\_1 < \lambda\_2 < \dots < \lambda\_n$ and some complex $a\_1$, $a\_2$, $\dots$, $a\_n$. What is the best (in some sense) estimate for $\inf\_{[-M,M]} f(x)$ for large $M$ (in particular, for $M=+\infty$). For example, is it true that $\inf f(x)\leq -C|a\_1|$ for some absolute $C$?


The best estimate I was able to get contains $\sum |a\_i|$ in denominator, but I would like to have the one which does not tend to zero when we add many new terms. 



one-side estimates for quasi-trigonometric polynomial
Let's do the case of full line, which is nice and clean. Without loss of generality, $\lambda\_1=1$. Then you can ignore all non-integer $\lambda$s because if $f=g+h$ where $g$ includes all integer frequences and $h$ all non-integer ones, then $\inf \Re g$ is the same as the infimum of $\lim\_{T\to+\infty}\Re \frac 1{2T}\int\_{-T}^T gP$ where $P$ runs over positive $2\pi$-periodic trigonometric polynomials with integral $1$ over the period. Note that the corresponding limit for $h$ is $0$, and that this integral infimum (with $f$ instead of $g$, of course) estimates the infimum of $\Re f$ from above for any $f$ so $\inf\Re f\le\inf\Re g$. Now, once we are in the periodic setting, we can go to the circle and see that our problem is equivalent to the following: given an analytic function $F$ in the unit disk with $F(0)=0$ and $\Re F(z)\ge -1$, estimate $|F'(0)|$ from above. The answer now is given by the conformal mapping (Schwarz lemma).


You can do similar things for finite intervals, but you need some separation assumptions,
etc. to get something meaningful. I'll not go into that now just because I'm not
sure what exactly you want there and what you can afford to assume.


