On the size of the fundamental solution of the Pell equation (Q305146): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1515/crelle-2014-0031 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2329064907 / rank | |||
Normal rank |
Revision as of 01:10, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the size of the fundamental solution of the Pell equation |
scientific article |
Statements
On the size of the fundamental solution of the Pell equation (English)
0 references
29 August 2016
0 references
Given a Pell equation \[ t^2-Du^2=1 \] it is well-known that all solutions \(\eta_D=t+u\sqrt{D}\) to this Pell equation can be written in the form \(\eta_D=\pm \varepsilon_D^n\), where \(\epsilon_D\) is the so-called fundamental solution. One of the most interesting question concerning Pell equations is how large these fundamental solutions can get. However, in this paper the problem is investigated how many positive non-square integers \(D\) exist such that \(\varepsilon_D\) stays small. More precisely let \[ S(x,\alpha):=\left\{ (\eta_D,D): 2\leq D\leq x,\;D \text{ is non-square, } \varepsilon_D\leq \eta_D \leq D^{1/2+\alpha}\right\} \] and \[ S^f(x,\alpha):=\left\{ (\varepsilon_D,D): 2\leq D\leq x,\;D \text{ is non-square, } \varepsilon_D\leq D^{1/2+\alpha}\right\}. \] \textit{C. Hooley} [J. Reine Angew. Math. 353, 98--131 (1984; Zbl 0539.10019)] obtained for \(0<\alpha< 1/2\) that \[ S(x,\alpha)\sim S^f(x,\alpha)\sim \frac{4\alpha^2}{\pi^2}x^{1/2}\log^2 x. \] The main result in the paper are lower bounds uniformly in \(\tfrac 12\leq \alpha \leq 1\) for \(S(x,\alpha)\) and \(S^f(x,\alpha)\) and therefore extending Hooley's results. As the author points out finding integers \(D\) such that \(\eta_D\) is small is linked with the study of the congruence \(t^2-1\equiv 0\bmod u^2\). Explicit solutions can be described by the factorization of \(u=u_1u_2\) with \(\gcd(u_1,u_2)=1\). Using Fourier analysis the author is led to study a tridimensional exponential sum. Assuming a conjecture on short exponential sums even stronger results are obtained by the author.
0 references
Pell equations
0 references
exponential sums
0 references