All Questions
Tagged with nt.number-theory real-analysis
209 questions
0
votes
0
answers
39
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-...
- 303
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 ...
- 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 \...
- 20.2k
-3
votes
1
answer
194
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107
-1
votes
0
answers
132
views
Trig conjecture about square roots and Arcsin
Let $r(a,b)$ be a rational number depending on positive integers $a,b$ and $r(a,b)$ being nonnegative. For every $b$ there is an $a$ such that $r(a,b)$ is not $0$.
Let $C(b)$ be a squarefree positive ...
- 769
7
votes
2
answers
331
views
Does every subset of $\mathbb N$ with full natural density contain arbitrarily long geometric progressions?
We use the standard definition of natural density. We say a subset of $\mathbb N$ has full natural density if it has natural density $1$.
Question: Does every subset of the naturals with full natural ...
- 6,155
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 ...
- 43.2k
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)...
- 20.2k
23
votes
4
answers
2k
views
Identity for an infinite product
Here is an experimental "result" exhibiting the difference of two (formal) infinite products that "almost factorizes".
QUESTION. Is this true?
$$\prod_{n\geq1}(1+x^{2n-1})^{24} - \...
- 43.2k
0
votes
0
answers
71
views
Nearest integer to fractional power series
Let $k$ be a positive integer. Let
$$\displaystyle f_0(x) = a_n x^{\frac{n}{k}} + \cdots + a_1 x^{\frac{1}{k}} + a_0 + \sum_{h \geq 1} a_{-h} x^{-\frac{h}{k}}$$
be a Laurent series in the variable $x^{...
- 26.9k
5
votes
1
answer
174
views
Do the zeroes of some hypergeometric functions interlace?
Confluent hypergeometric functions differing from $F={}_1F_1(a,b,z)$ by $\pm1$ in either parameter $a$ or $b$ are called contiguous to $F$. For rational $a, b$, assume I know $z_0$ is a zero of $F$. ...
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)$$...
- 47
0
votes
0
answers
63
views
Arrangements of fixed $k$-polyplets in a $n\times n$ matrix
Recently, I asked a question about the number of arrangements of $k$ elements inside a $n\times n$ matrix with certain restrictions. The one I´m actually interested in for this question is in its 2. ...
- 47
11
votes
2
answers
587
views
Extracting a subsequence common to infinitely many sets from an uncountable collection with uniform positive upper density
Let $\{a_n\},\{b_n\}$ be strictly increasing sequence of positive integers satisfying $a_1<b_1<a_2<b_2<a_3<b_3<\ldots$ and $(b_n-a_n) \to \infty$. Define $I_n:= [a_n,b_n]$, meaning ...
- 271
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) $$...
- 69
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 ...
- 2,836
6
votes
2
answers
755
views
Prove positivity of a binomial sum
Some problems appear easy on the face of it, but perhaps they are not. Here is an instance of a certain calculation which is slightly reformulated from its original encounter in a current work. I have ...
- 43.2k
3
votes
1
answer
458
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 43.2k
0
votes
0
answers
122
views
Convergence of a series related to counting distinct prime factors
I am here to ask whether the following series is convergent for all real $z$. I am also asking whether this is everywhere real analytic. I conjecture that it is convergent for all real input, or at ...
2
votes
2
answers
329
views
$L^1$ norm for a product of cosines
Let $k$ be an integer and consider the function
$$
f(t)=\prod_{i=1}^{k} \cos(3^{i-1}\pi t).
$$
I'm interested in finding bounds for $\int_{0}^{1}|f(t)|dt$ in terms of $k$. The first idea that comes to ...
- 178
6
votes
1
answer
392
views
How to show that $\log 2(1/2\log 2\log 4 + 1/3\log 3\log 6 + \dotsb) + 1/2\log 2 - 1/3\log 3 + 1/4\log 4 - \dotsb = 1/\log 2$ [closed]
I've been studying Ramanujan's work and I stumbled upon this question in the book: Collected Papers of Srinivasa Ramanujan. In there I found question number 769 which is about an infinite sum with ...
2
votes
1
answer
192
views
Does every real number $r\in [0,1]$ have a rational sequence $q_n\to r$ s.t. $q_n$ has (simplified) denominator $n$? [closed]
This seems pretty trivial but I can't seem to figure it out. I think it's obviously true, given an unconstrained convergent sequence we just have to add some filler elements, but I'm having trouble ...
- 291
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 ...
- 69
4
votes
1
answer
334
views
Is this approximation for $\pi$ enough to make this value converge? And how to find an upper bound for it
Update:
\begin{align*}
|I_n-J_n| = (\pi-S_n)\sum_{k=0}^n |\frac{a_kp_k(\ln\pi)}{\ln^{k+1}\pi}|
\end{align*}
and
\begin{align*}
|I_n| = \sum_{k=0}^n | \frac{a_k\pi p_k(\ln\pi)}{\ln^{k+1}\pi}
-\sum_{k=...
- 521
2
votes
1
answer
209
views
Argmax of a function of $n$ variables under linear constraint
(I start by saying that the tags are probably not accurate but I didn't know what to put, so if someone knows what I could tag this question with, let me know in the comments and I'll provide to edit ...
- 697
2
votes
2
answers
424
views
"Squeezing" the primes?
The logical idea here is to map a curve that encodes the primes into the region $(0,1)^2$ and analyze the distribution there more easily and achieve tight bounds.
To assess the distribution of primes, ...
- 383
4
votes
1
answer
253
views
$\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}$ for various $x$
Let $$f(x)=\limsup_{n\rightarrow \infty, n\in\mathbb{N}} \sin(n)^{n^x}.$$
Compute $f(1)$ and $f(2)$.
6
votes
3
answers
536
views
A need for analytic continuation of a finite sum function
Let $\varphi(n):=(-1)^{n+1}(n+1)2^{2n}$.
I am able to prove the following identity (${\color{red}{\mathbf{LHS}}}$=infinite series, ${\color{blue}{\mathbf{RHS}}}$=finite sum)
\begin{align*}
{\color{red}...
- 43.2k
1
vote
1
answer
117
views
Product/quotient of factorials beget dyadic powers
I am writing up some notes and the following occurred to me and I would like to see if there are a variety of ways to prove it. Just for reference, the identity pops out of equality between constant ...
- 43.2k
1
vote
1
answer
191
views
Will this "tree" cover all rational numbers in a range?
Question
I am making a tree using the following two functions:
$$f(x)=\frac{x}{r},\quad g(x)=\frac{x+b}{r}$$
where $1<r<2$ and $0<b$ are rationals. Everything is a real number here.
The ...
- 433
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}$...
- 2,934
0
votes
0
answers
107
views
$\log$-classes of irrationals
Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
- 48.9k
9
votes
2
answers
440
views
How to prove this sum involving powers of cosec is an integer?
It is claimed that the following function produces only integer values for all integer $m \geq 1$, $N \geq 2$.
$F(m,N)=\frac{N^m}{2^m}\displaystyle \sum_{j=1}^{N-1} \operatorname{cosec} ^{2m}\left(\...
- 201
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}\...
- 43.2k
4
votes
1
answer
95
views
Limiting values of particular functions
Let's define the functions
$$A_n(q)=\sum_{k=0}^n(-1)^k\cdot\frac{(1+q)q^k}{1+q^{2k+1}}\cdot\frac{2k+1}{n+k+1}\binom{2n}{n-k}.$$
I'm interested in the following:
QUESTION. Let $n\geq1$ be integers. ...
- 43.2k
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$.
...
- 25.4k
30
votes
1
answer
2k
views
Have any numbers been proven to be normal that weren't constructed to be?
It's easy to construct an example of a number that's normal in a given base, but for most given numbers it's notoriously hard to prove that they're normal.
Has any number ever been proven to be normal ...
- 1,311
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-\...
- 34.7k
10
votes
1
answer
961
views
Ruling out the existence of a strange polynomial II
This is a refinement of my question asked earlier, which is answered beautifully in the negative by Thomas Browning. The example he gave was geometrically reducible. Now I want to ask the same ...
- 26.9k
34
votes
1
answer
2k
views
Ruling out the existence of a strange polynomial
Does there exist a polynomial $f \in \mathbb{Z}[x,y]$ such that
$$\displaystyle f(a,b) > 0 \text{ for all } a,b \in \mathbb{Z}$$
and
$$\displaystyle \liminf_{(x,y) \in \mathbb{R}^2} f(x,y) = -\...
- 26.9k
10
votes
1
answer
755
views
The $9$th tetration of $-\sqrt2$
Let $^na$ denote the $n$th tetration of $a$, so that $^0a=1$ and
$$^{n+1}a=a^{^na}$$
for $n=0,1,\dots$. (For complex $x$ and $y$, here we use the definition $x^y:=e^{y\ln x}$, where $\ln$ is the ...
- 128k
11
votes
1
answer
1k
views
In the rational numbers, is every convergent power series a Taylor series for a rational function?
David Roberts wrote in the comment section of the blog post "Convergence of an infinite sum in the rationals" the following paragraph:
Someone mentioned (I think on Twitter) that the Taylor ...
- 2,624
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 ...
- 121
4
votes
1
answer
353
views
Inequalities involving binary representation of integers
Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...
- 41
1
vote
2
answers
396
views
0
votes
1
answer
87
views
Measuring the quality of real approximation
Let $r\in [0,1]\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\mathbb{N}_+$ let $$\alpha_r(n)=\min\{\big|r-\...
- 48.9k
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. ...
- 3,098
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 ...
- 125
3
votes
1
answer
251
views
Congruence modulo 2 for q-series
This quest arose from certain calculations with integer partitions (having distinct parts) and the corresponding values of their Dyson ranks.
I would like to ask:
QUESTION. Is this congruence true ...
- 43.2k
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 ...
- 128k