On the largest prime factors of consecutive integers in short intervals

Zhiwei Wang

DOI: https://doi.org/10.1090/proc/13459

IF: 0.9709

2017-01-31

Proceedings of the American Mathematical Society

Abstract:<p> For an integer <math alttext="n greater-than 1"> <semantics> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> <annotation>n&gt;1</annotation> </semantics> </math> , let <math alttext="upper P left-parenthesis n right-parenthesis"> <semantics> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <annotation>P(n)</annotation> </semantics> </math> be the largest prime factor of <math alttext="n"> <semantics> <mi>n</mi> <annotation>n</annotation> </semantics> </math> . We prove that, for <math alttext="x right-arrow normal infinity"> <semantics> <mrow> <mi>x</mi> <mo stretchy="false"> → </mo> <mi mathvariant="normal"> ∞ </mi> </mrow> <annotation>x\rightarrow \infty</annotation> </semantics> </math> , there exists a positive proportion of consecutive integers <math alttext="n"> <semantics> <mi>n</mi> <annotation>n</annotation> </semantics> </math> and <math alttext="n plus 1"> <semantics> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <annotation>n+1</annotation> </semantics> </math> such that <math alttext="upper P left-parenthesis n right-parenthesis greater-than upper P left-parenthesis n plus 1 right-parenthesis"> <semantics> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <annotation>P(n)&gt;P(n+1)</annotation> </semantics> </math> in short intervals <math alttext="left-parenthesis x comma x plus y right-bracket"> <semantics> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>x</mi> <mo>+</mo> <mi>y</mi> <mo stretchy="false">]</mo> </mrow> <annotation>(x, x+y]</annotation> </semantics> </math> with <math alttext="x Superscript 7 slash 12 Baseline greater-than y less-than-or-slanted-equals x period"> <semantics> <mrow> <msup> <mi>x</mi> <mrow> <mn>7</mn> <mrow> <mo>/</mo> </mrow> <mn>12</mn> </mrow> </msup> <mo>&gt;</mo> <mi>y</mi> <mo> ⩽ </mo> <mi>x</mi> <mo>.</mo> </mrow> <annotation>x^{7/12}&gt;y\leqslant x.</annotation> </semantics> </math> In particular, we have \[ <math alttext="StartAbsoluteValue StartSet n less-than-or-slanted-equals x colon upper P left-parenthesis n right-parenthesis greater-than upper P left-parenthesis n plus 1 right-parenthesis EndSet EndAbsoluteValue greater-than 0.1063 x period"> <semantics> <mrow> <mstyle scriptlevel="0"> <mrow> <mo maxsize="1.2em" minsize="1.2em">|</mo> </mrow> </mstyle> <mo fence="false" stretchy="false">{</mo> <mi>n</mi> <mo> ⩽ </mo> <mi>x</mi> <mo>:</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> <mstyle scriptlevel="0"> <mrow> <mo maxsize="1.2em" minsize="1.2em">|</mo> </mrow> </mstyle> <mo>&gt;</mo> <mn>0.1063</mn> <mi>x</mi> <mo>.</mo> </mrow> <annotation>\big |\{n\leqslant x: P(n)&gt; P(n+1)\}\big |&gt; 0.1063 x.</annotation> </semantics> </math> \] This improves a previous result of La Bretèche, Pomerance and Tenenbaum. </p>

mathematics, applied