I will be to grateful if help me find a tight lower bound $g(x)$ over the following convex function: $$f(x) = \sqrt{1+4x^2} -1 + \log(\sqrt{1+4x^2}-1) - \log(2x^2) \geq g(x),$$ where $g(x)$ is preferably a polynomial with degree of at least $2$. The taylor expansion around the point ($x = 0$) of this function is given by: $$f(x) = x^2 - \frac{x^4}{2} + \frac{2x^6}{3} - \frac{5x^8}{4} + \frac{14x^{10}}{5} - \ldots$$
Lower bound over a convex function
2
$\begingroup$
analysis
polynomials
-
0@Farzad: First, note that you need $x > 0$. Also, what is wrong with having $g(x)$ be the Taylor expansion you mention? – 2011-05-31
-
0Using that $(\sqrt{1+4x^2}-1)(\sqrt{1+4x^2}+1)=4x^2$, we can simplify this as: $$\sqrt{1+4x^2} -1 + \log 2 - \log(\sqrt{1+4x^2}+1)$$ – 2011-05-31
-
1Do you really want the inequality to be true for all $x$, or just small $x$? Because the function is bounded above by $2x$, so it cannot be bounded below by any polynomial of degree greater than 1. – 2011-05-31
-
0@ Thomas, thanks a lot for your great comment. – 2011-05-31
-
0@ THomas, Can you help me for the case $\lvert x \rvert \leq 1$? – 2011-05-31
-
0@Farzad: Do you really need it all the way to $1$? Something far more modest, like to $1/10$, will give a far better bound. Note for example that the series of which you give the first few terms does not converge at $x=1$. – 2011-05-31
1 Answers
1
For the case $|x|\leq 1$ I propose the following: Write $g(x):= a x^2- b x^4$ and choose $a$ and $b$ such that $f(1)=g(1)$, $f'(1)=g'(1)$. I did this using Mathematica and obtained $$a=2\Bigl({3\over 1+\sqrt{5}} +\log {2\over 1+\sqrt{5}}\Bigr)\ \qquad b= {2\over 1+\sqrt{5}} +\log{2\over 1+\sqrt{5}}\ .$$ Plotting the resulting graph of $f-g$ one gets the impression that $$0\leq f(x)-g(x)\leq 0.0117 \qquad(0\leq x\leq 1)\ .$$