Skip to main content
added 3 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
  1. $f_k\in \mathcal F_n$ for all $k$.

  2. $\|g_k\|_\infty\le Gn^{-1/2}$ with some absolute $G>0$ that can (and will) be explicitly computed in terms of $c$ from the high-tech result.

  3. $f_k$ dominate $g_k$ in the sense that for every $t>0$$t\ge 0$, we have $\int_t^\infty g_k\le\int_0^\infty f_k$$\int_t^\infty g_k\le\int_t^\infty f_k$.

  1. $f_k\in \mathcal F_n$ for all $k$.

  2. $\|g_k\|_\infty\le Gn^{-1/2}$ with some absolute $G>0$ that can (and will) be explicitly computed in terms of $c$ from the high-tech result.

  3. $f_k$ dominate $g_k$ in the sense that for every $t>0$, we have $\int_t^\infty g_k\le\int_0^\infty f_k$.

  1. $f_k\in \mathcal F_n$ for all $k$.

  2. $\|g_k\|_\infty\le Gn^{-1/2}$ with some absolute $G>0$ that can (and will) be explicitly computed in terms of $c$ from the high-tech result.

  3. $f_k$ dominate $g_k$ in the sense that for every $t\ge 0$, we have $\int_t^\infty g_k\le\int_t^\infty f_k$.

edited body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302

Split $g_k$ into $g_k^-+g_k^+$ where $g_k^-$ is the part lying to the left from the median of $X_k$ (it depends on $k$ nownow; note also that $X_k$ is not a misprint: we, indeed, split the shot according to the median of the step) and $g_k^+$ is the part lying to the right of it. Split $f_k$ in the same way. It is easy to see that $g_k^+$ is dominated by $f_k^+$.

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$$$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3^+}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5^+}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4^+}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6^+}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

Split $g_k$ into $g_k^-+g_k^+$ where $g_k^-$ is the part lying to the left from the median of $X_k$ (it depends on $k$ now) and $g_k^+$ is the part lying to the right of it. Split $f_k$ in the same way. It is easy to see that $g_k^+$ is dominated by $f_k^+$.

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

Split $g_k$ into $g_k^-+g_k^+$ where $g_k^-$ is the part lying to the left from the median of $X_k$ (it depends on $k$ now; note also that $X_k$ is not a misprint: we, indeed, split the shot according to the median of the step) and $g_k^+$ is the part lying to the right of it. Split $f_k$ in the same way. It is easy to see that $g_k^+$ is dominated by $f_k^+$.

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3^+}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5^+}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4^+}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6^+}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

edited body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g^6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g^7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$$$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g^6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g^7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

Now we shall run the induction on the walk length. Suppose that the bound for all shorter walks is already established and we want to investigate some walk of the currently suspicious length corresponding to some $n$. Chopping off the $g^-$ part, we see that our main task is to bound $$ Q=g_1^++f_1*g_2^++f_1*f_2*g_3^++f_1*f_2*f_3*g_4^++f_1*f_2*f_3*f_4*g_5^++f_1*f_2*f_3*f_4*f_5*g_6^++\dots $$ Write $$ \frac 32 Q= \\ (\frac {g_1^+}2+f_1*g_2^+)+(f_1*f_2)*(\frac{g_3}2+f_3*g_4^+)+(f_1*f_2)*(f_3*f_4)*(\frac{g_5}2+f_5*g_6^+)+\dots \\ +f_1*[(\frac {g_2^+}2+f_2*g_3^+)+(f_2*f_3)*(\frac{g_4}2+f_4*g_5^+)+(f_2*f_3)*(f_4*f_5)*(\frac{g_6}2+f_6*g_7^+)+\dots] \\ +\text{ a few ($\le 8$, say) individual endpoint terms due to the boundary effect and possibly wrong parity} $$ Estimate the individual terms by $Gn^{-1/2}$ each and note that each of the long lines represents a shooting walk of smaller length with steps $f_k*f_{k+1}\in \mathcal F_{2n}$ and the corresponding shots $\frac{g_k^+}2+f_k*g_{k+1}^+$ (the initial convolution with $f_1$ in the second long line is harmless for bounding the maximum and can be safely forgotten).

deleted 37 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
added 6113 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
added 1 character in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
added 1338 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
added 769 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
added 9 characters in body
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading
Source Link
fedja
  • 61.9k
  • 11
  • 160
  • 302
Loading