# Ratio of convex functions with dominating derivatives is convex?

Mathematics Asked by chlee on October 30, 2020

Let $f,g:mathbb [0,infty)rightarrow (0,infty)$ satisfy $f^{(n)}(x)geq g^{(n)}(x)>0$ for all $n=0,1,2,ldots$ and $xin [0,infty)$. In particular, $fgeq g> 0$ are increasing and convex (from the case when $n=1,2$). Further, assume $f^{(n)}(x)geq f^{(n-1)}(x)$ and $g^{(n)}(x)geq g^{(n-1)}(x)$ for all $ngeq1$.

Question: Is $frac{f}{g}$ convex?

This seems true, once I draw a picture, but I couldn’t convince myself thoroughly. Can anybody help? Thanks very much.

I think the answer is no necessarily. Note that

$$f=g+ h mbox{ where } h^{(n)}(x)ge0 ;; forall n ge 0$$ And $frac{f}{g}$ is convex iff $frac{h}{g}$ is convex.

Now suppose $g(x)=e^x$. Then we need $h$ such that $h^{(n)}(x)ge0 ; forall n$ and

$$left(frac{h}{e^x}right)''=frac{h''(x)-2h'(x)+h(x)}{e^x}<0 mbox{ somewhere }$$ Set $h(x)=ax+b$, where $a$ and $b$ are positive constants. Then $$h''(x)-2h'(x)+h(x)= 0-2a+ax+b=a(x-2)+b$$ which is negative in $x=2-frac{b}{a}-varepsilon$.

.

I think that given any $g$, we can choose $h$ such that

$$left(frac{h}{g}right)''<0$$ but surely it's a little more difficult to prove.

Answered by Pocho la pantera on October 30, 2020

## Related Questions

### Real life problem: How many finalists can participate per school?

2  Asked on February 8, 2021 by math2hard

### $displaystylelim_{xto 0}frac{1}{x}int_0^x e^{t^2} dt$

2  Asked on February 8, 2021 by abdul-sami

### Computing $int_{alpha}frac{1}{(z-a)^n(z-b)^m}dz$ using Cauchy integral formula

2  Asked on February 8, 2021 by vic-ryan

### Show that ${x}in mathbb{B}(X)$ for every $xin X$

1  Asked on February 8, 2021 by james2020

### Manifolds Definition

1  Asked on February 8, 2021

### Prove Sylvester Gallai Theorem using combinatorics

0  Asked on February 8, 2021 by devansh-kamra

### Can I assume that “dividing on both sides” as a step in this proof is a well-defined operation?

2  Asked on February 8, 2021 by hugo

3  Asked on February 8, 2021 by sagigever

### Proving $abcd+3geq a+b+c+d$

4  Asked on February 8, 2021

### Sets; is (A∩B)∪C the same as A∩(B∪C)?

1  Asked on February 8, 2021 by user839131

### Doubt in Hoffman and Kunze Linear Algebra Section 8.5

1  Asked on February 8, 2021 by combat-miners

### Convergence in probability from the central limit theorem

2  Asked on February 7, 2021 by secondrate

### Graph theory: strong regular graph

1  Asked on February 7, 2021 by spencer-ireland

### Proving the Fibonacci Recurrence

1  Asked on February 7, 2021

### Find solution of this ODE

1  Asked on February 7, 2021 by ongky-denny-wijaya

### Constrained $L^2([0,1],mathbb{R})$ space

2  Asked on February 7, 2021 by kot

### Confused on proof questions about relations

0  Asked on February 7, 2021 by atlecx

### Axiomatic definition of groups

5  Asked on February 7, 2021

### Simplifying the following mathematical expression using a computer?

2  Asked on February 7, 2021

### Factorize the polynomial $f(x)=4x^2-4x+8$ over $mathbb{Z}[x]$, $mathbb{Q}[x]$ and $mathbb{Z}_{11}[x]$

1  Asked on February 7, 2021