All Questions
Tagged with nt.number-theory real-analysis
208 questions
0
votes
0
answers
46
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
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
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
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$. ...
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
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
239
votes
14
answers
76k
views
Have any long-suspected irrational numbers turned out to be rational?
The history of proving numbers irrational is full of interesting stories, from the ancient proofs for $\sqrt{2}$, to Lambert's irrationality proof for $\pi$, to Roger Apéry's surprise demonstration ...
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
122
votes
5
answers
27k
views
Is the series $\sum_n|\sin n|^n/n$ convergent?
Problem. Is the series $$\sum_{n=1}^\infty\frac{|\sin(n)|^n}n$$convergent?
(The problem was posed on 22.06.2017 by Ph D students of H.Steinhaus Center of Wroclaw Polytechnica. The promised prize for ...
- 4,535
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
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
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
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 ...
89
votes
7
answers
13k
views
If I exchange infinitely many digits of $\pi$ and $e$, are the two resulting numbers transcendental?
If I swap the digits of $\pi$ and $e$ in infinitely many places, I get two new numbers. Are these two numbers transcendental?
user10290
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
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
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
29
votes
2
answers
4k
views
Closed formula for a certain infinite series
I came across this problem while doing some simplifications.
So, I like to ask
QUESTION. Is there a closed formula for the evaluation of this series?
$$\sum_{(a,b)=1}\frac{\cos\left(\frac{a}b\right)}{...
- 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
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
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
29
votes
1
answer
1k
views
About the function $\prod_{k \in \mathbb{N}}(1-\frac{x^3}{k^3})$
I'm wondering if the function $$f(x)=\prod_{k \in \mathbb{N}}\left(1-\frac{x^3}{k^3}\right)$$ has a name, or if there are any properties (especially about derivatives of $f$) have studied so far.
I ...
- 483
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
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
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
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
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
41
votes
6
answers
9k
views
"Long-standing conjectures in analysis ... often turn out to be false"
The title is a quote from a Jim Holt article entitled, "The Riemann zeta conjecture and the laughter of the primes" (p. 47).1
His example of a "long-standing conjecture" is the Riemann hypothesis,...
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
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
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
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)$.
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
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
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
28
votes
3
answers
3k
views
Expressing the Riemann Zeta function in terms of GCD and LCM
Is the following claim true: Let $\zeta(s)$ be the Riemann zeta function. I observed that as for large $n$, as $s$ increased,
$$
\frac{1}{n}\sum_{k = 1}^n\sum_{i = 1}^{k} \bigg(\frac{\gcd(k,i)}{\...
- 5,470
106
votes
5
answers
10k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
- 43.2k
33
votes
1
answer
3k
views
About the validity of a new conjecture about a diophantine equation
Let us consider the following conjecture:
Conjecture: There are no integer solutions of the equation $$x^{y-z}z^{x-y}=y^{x-z}$$ with $x,y,z$ distinct positive integers greater than or equal to $2$.
...
- 1,197
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
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
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
1
vote
2
answers
396
views
46
votes
2
answers
6k
views
Is the following identity true?
Calculation suggests the following identity:
$$
\lim_{n\to \infty}\sum_{k=1}^{n}\frac{(-1)^k}{k}\sum_{j=1}^k\frac{1}{2j-1}=\frac{1-\sqrt{5}}{2}.
$$
I have verified this identity for $n$ up to $5000$ ...
- 2,183
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