Skip to main content
added 1 character in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

Lemma 1: Suppose that $g\in C^2[0,1]$ with $g''>0$$g''<0$ on $(0,1)$ and $g(u)=0$ for some $u\in(0,1)$. Then the function $h\colon[0,1]\to\mathbb R$ defined by \begin{equation*} h(x):=\frac1{(x-u)^2}\,\int_u^x g \end{equation*} for $x\in[0,1]\setminus u$, with $h(u):=g'(u)/2$, is nonincreasing. Here, $\int_u^x:=-\int_x^u$ if $x<u$.

Lemma 1: Suppose that $g\in C^2[0,1]$ with $g''>0$ on $(0,1)$ and $g(u)=0$ for some $u\in(0,1)$. Then the function $h\colon[0,1]\to\mathbb R$ defined by \begin{equation*} h(x):=\frac1{(x-u)^2}\,\int_u^x g \end{equation*} for $x\in[0,1]\setminus u$, with $h(u):=g'(u)/2$, is nonincreasing. Here, $\int_u^x:=-\int_x^u$ if $x<u$.

Lemma 1: Suppose that $g\in C^2[0,1]$ with $g''<0$ on $(0,1)$ and $g(u)=0$ for some $u\in(0,1)$. Then the function $h\colon[0,1]\to\mathbb R$ defined by \begin{equation*} h(x):=\frac1{(x-u)^2}\,\int_u^x g \end{equation*} for $x\in[0,1]\setminus u$, with $h(u):=g'(u)/2$, is nonincreasing. Here, $\int_u^x:=-\int_x^u$ if $x<u$.

added 909 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

Remark 1: To show without Mathematica that $\max(\de_1,\de_2)\ge\frac{24}{121}\,\ep$ in case (ii), one can do as follows. Rewrite the conditions $\de_1\ge m(a)\ep$ and $\de_2\ge-\de_1/n(a)+\frac{(3/4-a)^2}{(1-a)^2}\,\ep$ as \begin{equation} \de_1/\ep\ge\max(A,(B-\de_2/\ep)K), \end{equation} where $A:=m(a)$, $B:=\frac{(3/4-a)^2}{(1-a)^2}$, and $K:=n(a)$. If $\de_2\ge\frac{24}{121}\,\ep$, we are done. Otherwise, \begin{equation} \de_1/\ep\ge \max(m(a),M(a)), \end{equation} where \begin{equation} M(a):=(B-\tfrac{24}{121})K=\Big(\frac{(3/4-a)^2}{(1-a)^2}-\frac{24}{121}\Big)n(a). \end{equation} Note that $m$ is increasing on $[0,1]$, $M$ is decreasing on $[1/4,1/2]$, and $m(\frac 5{16})=\frac{24}{121}=M(\frac 5{16})$. It follows that for all $a\in[1/4,1/2]$ \begin{equation} \de_1/\ep\ge\max(m(a),M(a))\ge\tfrac{24}{121}, \end{equation} as was proved by Mathematica.

Remark 2: Following the lines of the consideration of case (ii) (with $a=5/16$, $\ep\downarrow0$, and $b\uparrow1$), one can see that the factor $\frac{24}{121}=0.19834\dots$ in the lower bound $\frac{24}{121}\,\ep$ in (*) is the best possible.

Remark: Following the lines of the consideration of case (ii) (with $a=5/16$, $\ep\downarrow0$, and $b\uparrow1$), one can see that the factor $\frac{24}{121}=0.19834\dots$ in the lower bound $\frac{24}{121}\,\ep$ in (*) is the best possible.

Remark 1: To show without Mathematica that $\max(\de_1,\de_2)\ge\frac{24}{121}\,\ep$ in case (ii), one can do as follows. Rewrite the conditions $\de_1\ge m(a)\ep$ and $\de_2\ge-\de_1/n(a)+\frac{(3/4-a)^2}{(1-a)^2}\,\ep$ as \begin{equation} \de_1/\ep\ge\max(A,(B-\de_2/\ep)K), \end{equation} where $A:=m(a)$, $B:=\frac{(3/4-a)^2}{(1-a)^2}$, and $K:=n(a)$. If $\de_2\ge\frac{24}{121}\,\ep$, we are done. Otherwise, \begin{equation} \de_1/\ep\ge \max(m(a),M(a)), \end{equation} where \begin{equation} M(a):=(B-\tfrac{24}{121})K=\Big(\frac{(3/4-a)^2}{(1-a)^2}-\frac{24}{121}\Big)n(a). \end{equation} Note that $m$ is increasing on $[0,1]$, $M$ is decreasing on $[1/4,1/2]$, and $m(\frac 5{16})=\frac{24}{121}=M(\frac 5{16})$. It follows that for all $a\in[1/4,1/2]$ \begin{equation} \de_1/\ep\ge\max(m(a),M(a))\ge\tfrac{24}{121}, \end{equation} as was proved by Mathematica.

Remark 2: Following the lines of the consideration of case (ii) (with $a=5/16$, $\ep\downarrow0$, and $b\uparrow1$), one can see that the factor $\frac{24}{121}=0.19834\dots$ in the lower bound $\frac{24}{121}\,\ep$ in (*) is the best possible.

edited body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229

Here is the plot of this particular $f$ for $k=1/5$$k=1/2$:

enter image description hereenter image description here

Here is the plot of this particular $f$ for $k=1/5$:

enter image description here

Here is the plot of this particular $f$ for $k=1/2$:

enter image description here

edited body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
added 242 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
added 520 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
deleted 51 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
deleted 51 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
fixed typos, changed $l_1\to r$, $l_2\to s$.
Source Link
user44143
user44143
Loading
added 489 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
added 489 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
deleted 200 characters in body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
edited body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
edited body
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading
Source Link
Iosif Pinelis
  • 128k
  • 8
  • 107
  • 229
Loading