Skip to main content

All Questions

59 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
10 votes
0 answers
287 views

Coefficients of polynomials vs trigonometric product

Let's consider the family of sequences of coefficients in the expansion $$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$ Remark. Evidently, the RHS is a finite sum. Here is a ...
T. Amdeberhan's user avatar
10 votes
0 answers
268 views

On the infinity of $\{p\in \mathbb {N}:\exists n\in\mathbb{N}~p| \left \lfloor{r^n}\right \rfloor\}$

I've already asked this same question on MSE here, but didn't get much help, so I will try on this site as well. For which $r\in\mathbb{R}$ is the set $\mathscr{P}_r=\{p \in \mathbb{P}:\ (\exists n\...
Lucio Tanzini's user avatar
10 votes
0 answers
439 views

Evaluating Shintani cone zeta functions

Hi everyone I am trying the evaluate sums of the form $$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$ ...
user3628's user avatar
  • 265
9 votes
0 answers
522 views

Does the intersection of middle third and middle half Cantor sets contain an irrational number?

Let $C_\frac{1}{3}$ be the middle third Cantor set, that is, the set of real numbers in the interval $[0,1]$ which can be written in base $3$ using only digits $0$ and $2$. Likewise let $C_\frac{1}{2}$...
Dmitrii Korshunov's user avatar
7 votes
0 answers
221 views

integrality of a Riccati-type equation

The following is a problem we were unable to prove and left stated in the paper "Arithmetical properties of a sequence arising from an arctangent sum", J. Numb. Theory 128 (2008) 1807–1846. Define ...
T. Amdeberhan's user avatar
6 votes
0 answers
431 views

How to prove these identities for $\log(2)$ based on $_3F_2$ integrals?

In this MO post I have placed 4 Ramanujan-type hypergeometric series found using the LLL algorithm for fast computing of some logarithms. I could prove 3 of them by means of classical methods based on ...
Jorge Zuniga's user avatar
  • 2,836
6 votes
0 answers
283 views

Is the arithmetic-geometric mean of 1 and 2 rational?

It is easy to show that, for two fixed real numbers $\alpha, \beta > 0$, the sequences given by $a_ 1 = \frac{\alpha + \beta }{2}$, $ g_1 = \sqrt{\alpha\beta}$, and $a_{n+1} = \frac{a_n + g_n}{2}$, ...
Rick Does Math's user avatar
6 votes
0 answers
267 views

Convergence of $\sum_{n=1}^\infty x_n^k$

I thought that this question is more suitable for MSE, and asked it there. (Link to the MSE question) However, it does not get any answer despite the upvotes. It appears that I might have ...
Ma Joad's user avatar
  • 1,755
5 votes
0 answers
285 views

How do you go about making ranges (for integer variables) independent?

Basic question: say you have a sum $$\sum_{n_1 n_2 \dotsb n_k \leq x} f(n_1,\dotsc,n_k),$$ where $f$ decomposes in some sense (say: $f(n_1,\dotsc,n_k) = g(n_1) + \dotsb + g(n_k)$, or $f(n_1,\dotsc,n_k)...
H A Helfgott's user avatar
  • 20.2k
5 votes
0 answers
343 views

Can the inverse of the Riemann zeta function in $s > 1$ be expressed as a series?

In this post, we are interested in the Rimenann zeta function $\zeta(s)$ in $s > 1$ only where it is strictly decreasing rather than $s$ in the entire complex plane. We have the Stieltjes series ...
Nilotpal Kanti Sinha's user avatar
5 votes
0 answers
137 views

Is finding positive integer solutions of $\zeta(a/b) = c$ equivalent to deciding the rationality of $\gamma$?

This question requires little bit of explanation of the background hence it is a bit lengthy. Note: The question was initially posted in MSE but did not get answers hence posting in MO. For every ...
Nilotpal Kanti Sinha's user avatar
5 votes
0 answers
89 views

Is the ratio of a number to the variance of its divisors injective?

The variance $v_n$ of a natural number $n$ is defined as the variance of its divisors. There are distinct integer whose variances are equal e,g. $v_{691} = v_{817}$. However I observed that for $n \le ...
Nilotpal Kanti Sinha's user avatar
5 votes
0 answers
280 views

Proving that a certain function (related to a volume of a region) has a bounded derivative

Let $F$ be a homogeneous form in $n$ variables with integer coefficients. Let $D$ be a closed box in $\mathbb{R}^n$ (product of closed and bounded intervals). Assume that the partial $\partial F/\...
Johnny T.'s user avatar
  • 3,625
5 votes
0 answers
170 views

operation on Ord., Exp., Dri. generating functions

The ordinary, exponential and Dirichlet generating functions for a sequence $\{a_n\}_{n\geq0}$ are given (at least on the formal side), respectively, by $$F(x)=\sum_{n\geq0}a_nx^n, \qquad E(x)=\sum_{n\...
T. Amdeberhan's user avatar
4 votes
0 answers
105 views

On a much weaker version of the Normal conjecture

I would like to ask you about the following question. It is conjectured that every algebraic irrational number is normal (absolutely normal). I know the result by Bugeaud and Adamczewski about the non-...
Jean's user avatar
  • 515
4 votes
0 answers
101 views

Injectivity of product functions on natural number sequences

Let $M = \{ a = (a_i)_{i} : a_i \in \mathbb{N}, a_1 \geq 2, a_i > a_j \forall i>j\}$ the set of all ascending natural number sequences, with $a_1$ at least 2. We now define for each $k \geq 2$ ...
tobias's user avatar
  • 749
4 votes
0 answers
187 views

Asymptotic formula, polynomial, irrational number and uniformly distribution

Problem 1 Given a irrational number $\alpha$ and two polynomials with positive integer coefficients $P(n),Q(n)$, is it possible to get the asymptotic estimate and reasonable error term for: $$\...
Hu xiyu's user avatar
  • 697
4 votes
0 answers
273 views

Real Analytic Function and nth Prime

It is trivial that there are no polynomial function $P$ with integer coefficients that has the property $P(n)=p_n$ where $p_n$ is the $n$th prime.While it is true that can always construct a smooth ...
Marcus's user avatar
  • 153
3 votes
0 answers
161 views

Distribution of harmonic sums mod 1

This is only to satisfy my curiosity. Consider the harmonic sums $$ H_n =1+\frac{1}{2}+\cdots +\frac{1}{n},\;\;n=1,2,\dotsc, $$ and denote by $h_n$ their mod $1$ reductions, $$ h_n=H_n\bmod 1=H_n-\...
Liviu Nicolaescu's user avatar
3 votes
0 answers
138 views

The mystery of the jumps of functions with the prescribed jumps: Eisenstein series and hidden symmetries(?)

Say that a function $f(t)$ “changes only by jumps” if $f(t) + \text{const} = C ∑_k j_k θ(t-t_k)$ for a certain constant $C$. Here $θ(t)$ is the Heaviside step function which has a jump 1 at $t=0$ (it ...
Ilya Zakharevich's user avatar
3 votes
0 answers
169 views

Why is the smallest (fractional) absolute central moment of a Gaussian distribution almost at $\sqrt{3}/2$?

Let $X$ be a standard normal random variable. What $\alpha$ minimizes $E|X|^{\alpha}$? Numerically, $\alpha$ turns out to be equal to $\sqrt{3}/2-\varepsilon$ where $\varepsilon$ is of the order $10^...
Philipp Ustinoc's user avatar
3 votes
0 answers
232 views

When polynomial f(t+1/t) can be factored as g(t)·g(1/t)?

In venue of my old question When polynomial f(x^2) can be factored as g(x)·g(-x)? and this recent answer to a different question, I wonder: How to characterize polynomials $f(x)$ with rational ...
Max Alekseyev's user avatar
2 votes
0 answers
76 views

Function that is (essentially) a self-convolution but not a multiple of a self-convolution

Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
194 views

Functions such that the *integral* of the Fourier transform is non-negative?

Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that $$\int_{-\infty}^x \widehat{f}(t) dt \...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
120 views

A sequence linked to irrationality

Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by : $$u_0 = x$$ $$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
Azoth's user avatar
  • 69
2 votes
0 answers
120 views

On the integer of the form p^a q^b closest to a given integer N

If we give ourselves a number having only one prime factor $p$ and a given natural integer $N$, we know how to give the integer of the form $p^k$ closest (and less than) to this integer $N$ it's ...
Azoth's user avatar
  • 69
2 votes
0 answers
231 views

Where does this trig. identity hold?

Fix an integer $n\geq1$. QUESTION. Is it possible to find ALL pair of sequences of non-negative integers $(a_k,b_k)$, for $k=1,2,\dots,n$, such that $$\sum_{k=1}^n \sin^{2a_k}\theta\cdot \cos^{2b_k}\...
T. Amdeberhan's user avatar
2 votes
0 answers
107 views

What kind of points are left in the set with rationals subtracted, who contains all rationals and is null?

Let {$q_i$} be a list of all rationals, $U_{i,n}$ be an open interval centered at $q_i$ with length of $2^{-i}/n$. Then open set $\bigcup_{i}U_{i,n} $ has the length of $1/n$ and contains all ...
Michael's user avatar
  • 121
2 votes
0 answers
321 views

Distribution of $\frac{(\sin(n))^2}{2^n}$ in dyadic intervals?

Good morning all, I was wondering what kind of methods could help in order to tackle the following problem : Define the set $A = \left\{ \frac{(\sin(n))^2}{2^n}\right\}$ for $n$ integer. So A is a ...
Anthony's user avatar
  • 125
2 votes
0 answers
150 views

Closeness of a rational approximation

What is $$p_*:=\inf\big\{p\in\mathbb R\colon\,\inf_{n\in\mathbb N}n^p\,\inf_{k\in\mathbb N} |2\sqrt{3n}-9\pi/4-k\pi|>0\big\},$$ where $\mathbb N:=\{1,2,\dots\}$? In other words, I would like to ...
Iosif Pinelis's user avatar
2 votes
0 answers
448 views

Conjecture: The sequence {$π(2n+1)!$} is equidistributed in the interval (0,1)

Let $n\in\mathbb{N}$. From the book "Uniform Distribution of Sequences" (available here) by L. Kuipers and H. Niederreiter, (from pg. 8) I found that for any irrational $\theta$, the ...
Kavan Prajapati's user avatar
2 votes
0 answers
65 views

Request for resources or techniques for bounding the infinity norm of an infinite product convolved with a simple function

I'm attempting to bound an expression of the form. $$ \lVert(\prod_{i=1}^{\infty} \phi_i) * s \rVert_{\infty} $$ Where $\phi_i$ are bounded periodic step functions which can be replaced by smoothed ...
G G's user avatar
  • 41
2 votes
0 answers
249 views

Calculating $\int_1^{\infty}\frac{\operatorname{ali}(x)}{x^3}dx$, where $\operatorname{ali}(x)$ is the inverse function of the logarithmic integral

It is well-known that we can compute the closed-form of the integrals $$\int_1^{\infty}\frac{\log x}{x^2}dx$$ and $$\int_1^{\infty}\frac{\operatorname{li} (x)}{x^3}dx,$$ where $\operatorname{li} (x)$ ...
user142929's user avatar
2 votes
0 answers
194 views

Shattering with sinusoids

Let $d \geq 2$ and $K$ some positive integer. Consider distinct points $\theta_1, \ldots, \theta_K\in \mathbb{T}^d$ and (not necessarily distinct) $z_1, \ldots, z_K \in \{-1,1\}$ such that $\sum\...
Rajesh D's user avatar
  • 698
2 votes
0 answers
76 views

Bounding algebraic numbers away from the Gaussian integers

Let $\alpha$ be an algebraic number with degree $\leq d$ and (absolute multiplicative) height $\leq H$. Then we can say a couple of things about such $\alpha$: (1) We know the set of all $\alpha$ ...
TP44's user avatar
  • 31
2 votes
0 answers
114 views

Is there an explicit version of Morse Lemma used in stationary phase method?

In the proof of the stationary phase method (at least the one I have seen) Morse lemma shows up, which states: Let $g:\mathbb R^n\to \mathbb R$ be a function of class $C^\infty$ for which $0$ is a ...
Johnny T.'s user avatar
  • 3,625
2 votes
0 answers
229 views

Analytic varieties for the primes and the twin primes

I am wondering what real and complex analysis say about the primes and twin primes. According to Wikipedia analytic variety is defined locally as the set of common zeros of finitely many analytic ...
joro's user avatar
  • 25.4k
1 vote
0 answers
175 views

Solution of recurrence relation with summation

I have the following recurrence relation: $$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
Cardstdani's user avatar
1 vote
0 answers
179 views

Getting rid of complex zeros of function with zeros the primes?

From our Note: simple real function with zeros greater than one the primes simple real function with zeros greater than one the primes: $j_1(x)=(\sin(\pi x))^2+(\sin(\pi \frac{\Gamma(x)+1}{x}))^2$. ...
joro's user avatar
  • 25.4k
1 vote
0 answers
202 views

Function uniquely determined by its values at integer arguments

A smooth enough, slow growing real-valued function $f(x)$, is uniquely determined by its values at integer arguments. I don't remember the name of the theorem and the conditions for this to be true. ...
Vincent Granville's user avatar
1 vote
0 answers
134 views

Number of solutions to a diophantine equation

Given a positive integer $n$, consider the diophantine equation $4x^2+y^2+4x+y=2n$ with solutions in non-negative integers $x$ and $y$. Define the proportion $$\delta_n=\frac{\#\{(x,y)\in\mathbb{Z}^2_{...
T. Amdeberhan's user avatar
1 vote
0 answers
51 views

Mean value of a function with binomial coefficients as weights

Is the following true? Let $a$ be a positive integer and let $t_n$ be a sequence of numbers. We define the binomial mean of $t_n$ $$ \beta_{t_n,a} = \frac{1}{2^n t_n}\sum_{r^a \le n} \binom{n}{r^a}...
Nilotpal Kanti Sinha's user avatar
1 vote
0 answers
291 views

An implication of the Zagier et al result on the hyperbolicity of Jensen polynomials for the Riemann zeta function?

In their paper recently published in the PNAS, Zagier et al demonstrated that The Jensen polynomials $J_{\alpha}^{d,n}(X)$ of the Riemann zeta function of degree $d$ and shift $n$ are hyperbolic for ...
user141132's user avatar
1 vote
0 answers
188 views

Questions on Riemann's explicit formula

If we consider this version of the prime-counting function $$\pi_0(x) = \frac{1}{2} \lim_{h\to 0} (\pi(x+h) + \pi(x-h))$$ (with $\pi$ being the normal prime-counting function), then we can write $\...
tobias's user avatar
  • 749
1 vote
0 answers
135 views

About the sum of prime reciprocals

Let $B$ be the Meissel-Mertens constant., $\theta$ the Chebyshev theta. Let $S(x)=\sum_{p\le x}1/p$, $p$ prime. Let $M(x)=S(x)-\log\log x-B$. Robin, and later Diamond and Pintz, showed that $M(x)$ ...
EGME's user avatar
  • 1,018
1 vote
0 answers
156 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 ...
ljk's user avatar
  • 105
1 vote
0 answers
137 views

Is there an analysis theorem analogous to Kuznetsov/Petersson trace formula?

I am thinking about general differential operator acts on a compact manifold. Is there something similar to Kuznetsov trace formula? For example, let $f_i $ be the eigenfunctions of an operator $D$, ...
7-adic's user avatar
  • 3,804
1 vote
0 answers
134 views

Convolution integral of series involving the non-trivial zeros of $\zeta(s)$

Let us consider the convolution $$f\left(x\right):=\int_{2}^{x-2}\sum_{\rho_{1}}\frac{u^{\rho_{1}}}{\rho_{1}}\sum_{\rho_{2}}\frac{\left(x-u\right)^{\rho_{2}}}{\rho_{2}}du,\,x>4$$ where $\rho_{i},\,...
User's user avatar
  • 219
1 vote
0 answers
99 views

simultaneous smallness

QUESTION. Given reals $0 < \epsilon, \delta < 1$, is it always possible to find $m, n \in \mathbb{N}$ such that $$\begin{cases} \qquad \,\,\,\, \,(1-\delta^m)^n < \epsilon \\ 1-(1-(\frac{\...
T. Amdeberhan's user avatar
0 votes
0 answers
44 views

A system of nonlinear Diophantine equations whose positive solutions are not coprime

Consider the following system of Diophantine equations: $$v_1k_1=k_1^3-k_2^3+k_3^3 \\ v_2k_2=k_1^3+k_2^3-k_3^3 \\ v_3k_3=-k_1^3+k_2^3+k_3^3 \tag{1}$$ where $v_1,v_2,v_3$ and $k_1,k_2,k_3$ are integer-...
Amir's user avatar
  • 303