Questions tagged [trigonometric-sums]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
185 views

Conjecture about arcsin and $\sqrt{\quad}$

Let $r(a,b)$ be a rational number depending on $a,b$ and nonnegative. For every $b$ there is an $a$ such that $r(a,b)$ is not $0$. Let $C(a,b)$ be a squarefree positive integer depending on $b$ and ...
4
votes
1answer
178 views

Smallest regular $m$-gon covering a regular $n$-gon

I start by stating the problem, which is already hinted in the title of the question. I do believe it is a research-level question. Let us fix a regular $n$-gon with area $1$. What is the smallest ...
2
votes
1answer
171 views

$L_p$ norms of $0-1$ exponential sums

Consider $f_n(t)=\sum_{i=1}^{n}e^{ik_{i}t}$ with all $k_i$ some distinct integers for $t\in [-\pi,\pi)$. For $p>2$ I am interested in the maximum possible value of $$||f_n||_p,$$ where $f_n$ runs ...
6
votes
2answers
277 views

Sum of $\sin$ when angles shrink by $1/n$

There are many identities known like $$\sum_{k=0}^{n-1} \sin (k \cdot \theta + \varphi) = \frac{\sin\left(n \cdot \frac{\theta}{2}\right)}{\sin\left(\frac{\theta}{2}\right)} \cdot \sin \left(\frac{2 \...
1
vote
0answers
93 views

What is the Jacobi-Anger expansion of $\sin^{[k]} (\theta) $?

Cross-post from MSE. The Jacobi-Anger expansion gives expressions for functional iterates of trigonometric functions in terms of Bessel functions. For instance, we have $$\sin(z \sin(\theta)) = 2 \...
3
votes
1answer
219 views

The cotangent sum $\sum_{k=0}^{n-1}(-1)^k\cot\Big(\frac{\pi}{4n}(2k+1)\Big)=n$

On the Wolfram Research Reference page for the cotangent function (https://functions.wolfram.com/ElementaryFunctions/Cot/23/01/), I saw the following partial sum formula $$\sum_{k=0}^{n-1}(-1)^k\cot\...
4
votes
2answers
308 views

The complex trigonometric function degenerates to the positive integer

For any integer $N \geq 2$, we have the identity: $$\frac{\ \prod _{n=1}^{N-1}\ \left(2+2\sum _{m=1}^{n\ }\cos \frac{\ m\pi \ }{N}\ \right)\ }{\prod _{n=1}^{N-1}\ \left(1+2\sum _{m=1}^{n\ }\cos \frac{\...
11
votes
2answers
711 views

A problem in additive combinatorics

$\color{red}{\mathrm{Problem:}}$ $n\geq3$ is a given positive integer, and $a_1 ,a_2, a_3, \ldots ,a_n$ are all given integers that aren't multiples of $n$ and $a_1 + \cdots + a_n$ is also not a ...
2
votes
0answers
347 views

For which values of $ x$ we have $\sum\limits_{n=0}^{\infty}x^{\tan(n!)-n!}$ converges?

The copy of this question is posted here I have tried to to determine values of real $x$ for which $\sum\limits_{n=0}^{\infty}x^{\tan(n!)-n!}$ converges but I can't , Presumably the set of values $\{ ...
2
votes
0answers
69 views

(Dis)continuity of periodic functions with non-summable Fourier series

Let $f : [0,2 \pi)^d \rightarrow \mathbb{R}$ be a square-integrable periodic function in $L^2( [0,2 \pi)^d )$ with $d \geq 1$. We assume moreover that the square-summable Fourier coefficients of $f$, ...
1
vote
1answer
346 views

coordinate free foundations of trigonometry [closed]

What axioms for geometry and trigonometry would I have to chose in order to completely avoid coordinates in defining trig functions and showing the equivalence of their geometric (unit circle) and ...
16
votes
3answers
730 views

Show that $(\sum_{k=1}^{n}x_{k}\cos{k})^2+(\sum_{k=1}^{n}x_{k}\sin{k})^2\le (2+\frac{n}{4})\sum_{k=1}^{n}x^2_{k}$

Let $x_{1},x_{2},\cdots,x_{n}>0$, show that $$\left(\sum_{k=1}^{n}x_{k}\cos{k}\right)^2+\left(\sum_{k=1}^{n}x_{k}\sin{k}\right)^2\le \left(2+\dfrac{n}{4}\right)\sum_{k=1}^{n}x^2_{k}$$ This ...
11
votes
0answers
2k views

A question on trig series

Assume $\{a_k\}_{k\ge1}$ is a real sequence such that $u(x) = \sum_{k\ge 1}a_k\sin(kx)$ is a smooth function, and for every $x \in [-\pi, \pi]$ $$\left(\sum_{k\ge 1}\frac{a_k}{k}\sin(kx)\right)\left(\...
7
votes
2answers
800 views

Better trigonometrical inequalities for $\zeta(s)$?

The inequality $$3 + 4 \cos \theta + \cos 2 \theta \geq 0$$ plays a key role in the proof of the classical zero-free region of the Riemann zeta function. Are there other inequalities of the form $$\...
1
vote
2answers
359 views

Order of magnitude for trigonometric sum

Consider the following sum: $$ S_N = \sum_{ \substack{ k_1 + k_2 + k_3 =N \\ -(N-2) \leq k_1, k_2 , k_3 \leq N \\ k_1, k_2 , k_3 \neq 0 } } \frac{1}{k_1 k_2 k_3} \sin\left( \frac{k_1\pi}{N} \right) \...
0
votes
0answers
114 views

$\sin(\mu A)\cos(\mu B) + \sin(\mu C)\cos(\mu D) - \sin(\mu E)\cos(\mu F) \geq 0$ - Version 2.0

I recently asked this question here Inequality involving sine and cosine It turned out that with the conditions I required there, the inequality does not hold. I tried to add extra conditions now, ...
3
votes
1answer
602 views

Inequality involving sine and cosine

I am trying to prove that given $A,B,C,D,E,F \in \big]0,\frac{\pi}{2}\big]$ fixed and $A+C \geq E$ and the following equation holds for $\mu = 1$: $$\sin(\mu A)\cos(\mu B) + \sin(\mu C)\cos(\mu D) - \...
30
votes
3answers
2k views

A conjectural trigonometric identity

Recently, I formulated the following conjecture which seems novel. Conjecture. For any positive odd integer $n$, we have the identity $$\sum_{j,k=0}^{n-1}\frac1{\cos 2\pi j/n+\cos 2\pi k/n}=\frac{n^2}...
3
votes
1answer
131 views

Trigonometric cancellation on the unit circle

Let $z \in \mathbb{C}$ with $|z|=1$ and $z\ne 1$. Now consider the sum $$S(N,p)=\sum_{k=0}^N k^p z^k,$$ for some positive integers $N,p$. An immediate upper bound on $|S(N,p)|$ is $$|S(N,p)|\le C_1(...
2
votes
0answers
193 views

Finite sum involving root of unity

I have the following sum: $$\sum_{\sigma=1,\text{odd}}^{\frac{p}{2}-2}\frac{\sin \frac{r \sigma \pi}{p}}{\sin \frac{q \sigma \pi}{p}}$$ where $p\equiv2\pmod4$, $p$ and $q$ are coprime numbers such ...
6
votes
3answers
383 views

The first zero-crossing of a combination of sines

Let $\{c_i\}_{i=1}^n$ be a sequence of real numbers such that $c_i \geq 0$ for each $i$ and $\sum_{i=1}^n c_i = 1$. Let $\omega_i \in [\delta, \Delta]$ for each $i$, where $\delta$ and $\Delta$ are ...
6
votes
1answer
345 views

Asymptotic behavior of a certain trigonometric partial sum

Let $a<0$ and $b>0$ be real numbers such that $a<-2b$. Let $n>1$ be a positive integer and consider the following partial sum: $$ f(n) = \frac{1}{(n+1)^2}\sum_{i=1}^{n}\sum_{j=1}^{n} (-1)^{...
1
vote
1answer
115 views

Proof of an inequality $s_m(n) \le f_m(n)$

For fixed $m = 0, 1, 2, ...$ $$f_m(k) = \prod_{j=1}^{m}(k+j).$$ Some examples of $f_m(k)$ are as following: $$f_0(k) = 1, \quad f_1(k) = (k+1), \quad f_2(k) = (k+1)(k+2).$$ The $s_m(n)$ is defined as ...
3
votes
2answers
217 views

Inductive proof of $s(n)≤n+1$

I was able to conclude, numerically, the following: $$s(n) = \sum_{j=0}^n\frac{(-4)^j}{(2j+1)!}\left(\sum_{k=j}^n\frac{(k+1)(2k+1)(k+j)!}{(k-j)!}\right)x^{2j+2}\le n+1$$ for $x\in[0,1]$. For example ...
1
vote
0answers
128 views

Fejer-Jackson-like inequality with divisor sum

A question was recently asked about a generalization of the Fejer-Jackson inequality $$\sum_{k=1}^n \frac{\sin kx}{k}\gt 0 \quad \forall\: n\in\mathbb{Z}^+\: \text{and}\: 0\lt x\lt\pi$$ to ...
3
votes
0answers
218 views

A uniform Riemann sum approximation of the integral of the Fejer kernels

Let $F_N(t)$ denote the Fejer kernel $$F_N(t):={1\over N+1}{\sin^2\big({(N+1)}{t\over2}\big)\over \sin^2\big( {t\over2}\big)}\ .$$ Consider Riemann sums approximation for $\int_{-\pi}^\pi F_N(t) dt$ ...
0
votes
1answer
189 views

Finding closed form expression for the roots of $f(x) = \sum_{i=1}^K \frac{\alpha_i \gamma_i \sin(x-\theta_i)}{1+\gamma_i[1+\cos(x-\theta_i) ]}$

Let us define function $f:[0~ 2\pi] \rightarrow R$ as follows: \begin{align} f(x)\triangleq \sum_{i=1}^K \frac{\alpha_i \gamma_i \sin(x-\theta_i)}{1+\gamma_i[1+\cos(x-\theta_i) ]}, \end{align} ...
2
votes
0answers
99 views

Lower $L^1$ norm estimates of null average trigonometric polynomials depending on the order of the polynomial

Let $p(x)=\sum_{k=1}^m [a_k\cos(n_kx)+b_k\sin(n_kx)]$ be a null average trigonometric polynomial (null average means that is $\int_\mathbb T p =0$ or, equivalently, there are no $a_0$ and $b_0$). ...
4
votes
1answer
257 views

Identities for Chebyshev polynomials of the second kind

While calculating an integral in a quantum mechanical problem by two different methods, I came across the following identity $$\sum_{k=0}^n\sum_{m=0}^{2k}(-2)^m\binom{2(n-k)}{n-k}\binom{2k}{k}\binom{...
5
votes
3answers
524 views

positive sum of sines

This was asked but never answered at MSE. Let $f(x) = \sin(a_1x) + \sin(a_2x) + \cdots + \sin(a_nx)$, where the $a_i$'s represent distinct positive integers. Suppose also that $f(x)$ satisfies the ...
1
vote
0answers
112 views

How to evaluate this sum of roots of unity with condition to zero

In evaluating the sum: $$\tag{1}\label{e1}\sum\limits_{j = 1 < h}^N {\left( {{e^{\frac{{i\pi }}{N}\left( {{s_1}j + {s_2}h} \right)}} - {e^{\frac{{i\pi }}{N}\left( {{s_1}h + {s_2}j} \right)}}} \...
5
votes
0answers
72 views

Delaying the first zero of a trigonometric series

Let $a_1,\ldots,a_n \in [0,1], \omega_1,\ldots,\omega_n \in (0,+\infty)$, and define, for every $t \ge 0$, $$ f(t) := \sum_{i = 1}^n a_i \sin(\omega_i t). $$ I'm interested in trying to optimize the ...
6
votes
2answers
2k views

Distribution of distances of successive zeros of $f(x)={\rm cos}(x)+{\rm cos}(\alpha x)+{\rm cos}(\beta x)$

Let $\alpha$ and $\beta$ be incommensurate real numbers. Consider the function $f(x)={\rm cos}(x)+{\rm cos}(\alpha x)+{\rm cos}(\beta x)$ and its positive zeros $x_k(\alpha,\beta)$. Fix $\alpha$ and ...
7
votes
2answers
807 views

Closed formula for sine powers

I am looking for a closed formula for the expressions $$ \sum_{k=1}^{n-1} \sin\left(\pi \frac{k}{n}\right)^m,$$ with $n \in \mathbb{N}$ and $m \in \mathbb{N}$ odd. Playing with these sums a bit, I ...
6
votes
3answers
558 views

Something interesting about the quintic $x^5 + x^4 - 4 x^3 - 3 x^2 + 3 x + 1=0$ and its cousins

(Update): Courtesy of Myerson's and Elkies' answers, we find a second simple cyclic quintic for $\cos\frac{\pi}{p}$ with $p=10m+1$ as, $$F(z)=z^5 - 10 p z^3 + 20 n^2 p z^2 - 5 p (3 n^4 - 25 n^2 - 625) ...
0
votes
0answers
68 views

Can we solve for $c$ in the equation $\sum\limits_{i=0}^{N-1} \exp\left(-jc\sin\left(\frac{2\pi i}{N}-\frac{\pi k}{N}\right)\right)=0$?

This question was posted on stackexchange, but with no response. So, I thought it appropriate to post it here too. Let $N\geq 1$ and $0\leq k\leq N-1$ be fixed numbers, and $c>0$ be unknown. ...
1
vote
0answers
135 views

How to prove that the convergence of $\sum_{n=1}^{\infty} \frac{\sec^a n}{n^c}$ implies that of $\sum_{n=1}^{\infty} \frac{\csc^a n}{n^c}$

The most general thing I've gotten is that the absolute convergence of $$\sum_{n=1}^{\infty} \frac{\csc^a (n + x)}{n^c}$$ implies that of $$\sum_{n=1}^{\infty} \frac{\csc^a \left(\frac{m}{2} n + \...
1
vote
1answer
286 views

Is this function $\mathbb{Q}$ periodic?

Considering a function $f$ exponentially decreasing at infinity, is the following function $\mathbb{Q}$ periodic ? $$F(x)= \sum\limits_{q =1}^{\infty} \; \sum\limits_{n =1}^{\infty} \; \sum\...
5
votes
1answer
312 views

Eigenvalues of partial Hankel matrices

I was wondering if there are closed formulas for the singularvalues of a partial Hankel matrix (by partial I mean $\ell<n$) \begin{align*} H= \begin{bmatrix} c_1 & c_2 & \ldots & c_\...
12
votes
1answer
666 views

Summation of series involving $\sinh$ of a square root

Consider the following series: $$ S = \sum_{\text{odd } n} \sum_{\text{odd } m} \frac{(-1)^{(n+m)/2}}{nm} \frac{\sinh( \pi \sqrt{n^2 + m^2}/2)}{\sinh( \pi \sqrt{n^2 + m^2})} $$ From the physical ...
1
vote
0answers
36 views

Boundedness of partial products for a divergent trig product

I am looking at a discrete dynamical system and I wish to show that it is bounded. I know that the displacement after $n$ iterations is given by the product $$\Delta_n=\prod_{k=0}^n \left(1+\frac{2\...
2
votes
0answers
166 views

Why hexagons? The maximal minimum of a sum of cosines on the plane with frequencies on the unit circle

We wish to maximize the minimum of a weighted sum of cosines in the plane, when the frequency components are on the unit circle. Formally: $$\max_{\{ a_i,\theta_i,\phi_i \}_{i=1}^{N} } \min_{(x,y) \...
2
votes
1answer
306 views

Maximal minimum for a sum of two (or more) cosines

Please prove (or disprove, and give the correct answer): $$2 =\mathrm{argmax}_{r\geq 1}\min_{x\in \mathbb{R}}\left[\cos\left(x\right)+\cos\left(rx\right)\right] $$ In other words, find $r \geq 1$, ...
4
votes
2answers
500 views

Non-standard Gauss sums

I have the following problem. Let $p$ be some prime. What is the value of \begin{equation} \sum_{k=1}^{p-1} \left(\frac{k+1}{p}\right) \omega_p^{kl}, \end{equation} where $\left(\frac{k+1}{p}\right)$ ...
5
votes
2answers
242 views

About trigonometric series of the Lip $\alpha$ class

Assume we have a trigonometric series $$ f(x)=\sum_{n=1}^{\infty} a_n\sin nx \in \text{Lip }\alpha, \, 0<\alpha <1. $$ Is there anything we can say about the series $$ g(x)=\sum_{n=1}^{\infty} |...
0
votes
0answers
34 views

Linearizing a multifrequency signal

I have a component of a signal $$\sin (k\omega_1t + \ell\omega_2t)$$ with wavenumbers $k, \ell \in \mathbb{Z}$, frequencies $\omega_1, \omega_2 \in \mathbb{R^+}$ and time $t \in \mathbb{R^+}$. (This ...
2
votes
1answer
204 views

trigonometric sum and inequalities

let $x\in\mathbb{R}-\mathbb{Z}$ and $e(x)=e^{2\pi ix}$. If we have this sum $$\left|\overset{q}{\underset{h=1}{\sum}^{*}}e\left(h\, x\right)\underset{\underset{p\equiv h\,\textrm{mod}\, q}{p\leq N}}{\...
4
votes
1answer
204 views

Chances for a cosine polynomial to be positive at a point

Let $k_1,\ldots,k_n$ be distinct integers. Let $s_n(t)=\cos (k_1t)+\cdots+\cos (k_nt)$ be a trigonometric sum. Consider any interval $I\subset [-\pi,\pi)$ of length $\delta=\delta(n)$. Let $\,U$ be a ...
3
votes
0answers
131 views

Bounding expected value of maximum of dot product with random chirp

Let $\mathbf{x}\in\mathbb{C}^n$ with $\|\mathbf{x}\|=1$ with $n<\frac{N}{2}$. I am interested in a bound of the form \begin{equation*} \mathbb{E}\Big\{\max_{k\in\{1,2,\ldots,n\}}\Big|\sum_{a=1}^ne^{...
5
votes
0answers
110 views

Concentration of weighted random chirp

I'm interested in seeing whether the following is true. Assume $u$ is uniform on $[0,1]$. For a fixed $x\in\mathbb{C}^n$ with $\|x\|_{2}=1$ we have \begin{align*} \mathbb{P}\Big\{\Big|\sum_{k=0}^{n-1}...