1
$\begingroup$

Dear all,

I would like to know whether the following claim is true. In particular, if it is true, then I would like to know if there is some textbook that contains the statement and maybe even the proof:

Claim
$\forall n \in \mathbb{N}, \ \exists k_n > 0$ such that

for any real numbers $A_1, \ldots, A_n, \varphi_1, \ldots, \varphi_n$ and any distinct positive numbers $\lambda_1, \ldots, \lambda_n$,

$\sup_{t \in \mathbb{R}} \left| \sum_{i=1}^n A_i \cos(\lambda_i t + \varphi_i) \right| \geq k_n \max(|A_1|, \ldots, |A_n|)$.

I think I have a (quite complicated) proof for $n \leq 3$, but I would like to know whether the statement holds in general.

Many thanks indeed,
Julian.

$\endgroup$
3
  • $\begingroup$ Thank you for the replies that I have received so far. Just to clarify: k_n MUST ONLY DEPEND ON n. Anyone know? Many thanks, Julian. $\endgroup$ Jun 3, 2011 at 15:02
  • $\begingroup$ You probably want the $\lambda_i$ distinct modulo $2\pi$. $\endgroup$ Jun 3, 2011 at 15:17
  • $\begingroup$ @Juris: What difference does it make? The inequality is invariant under scaling of all the $\lambda_i$’s by a nonzero constant. $\endgroup$ Jun 3, 2011 at 16:06

1 Answer 1

5
$\begingroup$

Yes, this is true. It follows from the fact that the average $$\lim_{T\to\infty} {1\over T}\int_0^T\cos(\lambda_i t+\phi_i)\sum_j A_j\cos(\lambda_j t+\phi_j)\,dt$$ is $A_i/2$. Clearly the average is bounded by the supremum of the function.

$\endgroup$
2
  • $\begingroup$ Many thanks for the answer. I presume the first two subscript i are meant to be a fixed number, and the second two are meant to be what you sum over. $\endgroup$ Jun 3, 2011 at 16:11
  • $\begingroup$ I have edited it accordingly. $\endgroup$ Jun 3, 2011 at 17:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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