All Questions
19 questions
7
votes
3
answers
986
views
Mixtures of log-convex functions are log-convex: a reference
A referee of a submitted paper requested details on the statement that $\int_0^a e^{-tx^2}\,dx$ is log-convex in real $t$, for each $a>0$. While there are a number of ways to prove this statement, ...
- 571
2
votes
2
answers
189
views
Elementary convexity example
I'm trying to check that certain examples of Young functions in the harmonic analysis literature are actually Young functions, and in doing so need to prove the following convexity-like inequality for ...
- 128k
5
votes
1
answer
151
views
On existence of a concave function
Let $a$ be a strictly positive $C^\infty$ smooth function on the unit interval. Does there exist a strictly positive $C^\infty$ smooth function $f$ on $I$ such that
$$ f’’(x) \leq 0\quad \text{and} \...
- 10.6k
1
vote
1
answer
225
views
Existence of an asymptote for $g(x)=\frac{f(x)f'(x)+f(1)f'(1)}{f'(x)+f'(1)}-f\left(\frac{xf'(x)+f'(1)}{f'(x)+f'(1)}\right)$
Working with Slater's inequality (a companion of Jensen's inequality) I found this statement:
Let $f(x)$ be a continuous, twice differentiable function, convex or concave and non constant on $(0,\...
- 6,367
2
votes
1
answer
174
views
Gradient of a convex function on $\mathbb{R}^d$, maximum on hypercubes bounded by values in corners?
Let $f : \mathbb{R}^d \rightarrow \mathbb{R}$ be infinitely often continuously differentiable and convex.
For $d = 1$, we know that for any interval $[a, b]$, it holds for $x, y \in [a, b]$ that
$$
(f'...
- 128k
4
votes
2
answers
261
views
A convexity question
Let $Q=[0,1]\times[0,1]$ and let $a$ be a positive smooth function on $Q$. Does there exist a smooth positive function $u$ On $Q$ such that there holds
$$ \frac{\partial^2}{\partial x_1^2}u <0 $$
...
- 109k
3
votes
1
answer
241
views
$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^1 f(\sin(1/x)) dx \times \int_0^1 g(\cos(1/x))dx? $
I have noticed experimentally that the following question has a positive answer.
Is it true that for all even and convex functions $f$, $g$:
$$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^...
- 128k
19
votes
4
answers
3k
views
Strange result about convexity
$f \in C^2([0,1])$ with $f''$ convex and $f(0) = f'(0) = f''(0) = 0$.
Is it true that : $f''(1)+6f(1)\geq 4f'(1)$ ?
Source: AoPS
- 2,222
2
votes
2
answers
214
views
A question about asymptotic affinity and strict convexity with unbounded means
Let $F:[0,\infty) \to [0,\infty)$ be a $C^1$ strictly convex function.
Let $\lambda_n \in [0,1],a_n\le c<b_n \in [0,\infty)$ satisfy
$$ \lambda_n a_n +(1-\lambda_n)b_n=c_n \tag{1}$$ and assume that
...
- 947
4
votes
1
answer
161
views
Does strict convexity plus asymptotic affinity imply bounded mean?
I am not sure if this is exactly research-level, but I am struggling to find a proof for the following claim:
Let $F:[0,\infty) \to [0,\infty)$ be a $C^2$ strictly convex function.
Let $\lambda_n \in [...
- 109k
1
vote
0
answers
151
views
Log-concavity inequality
Let $x,y,$ and $t$ be fixed real numbers, $1<x<y$, $0<t<1$. Does the following inequality hold for some $c$
$$\frac{\log{(tx+(1-t)y)}}{\log^t{x}\log^{(1-t)}{y}}>\frac{\log{(sw+(1-s)z)}}{...
- 3,209
1
vote
1
answer
484
views
Convexity at a point and Jensen inequality
I am looking for a reference for the following claim:
Let $\phi:\mathbb (a,b) \to \mathbb R$ be a continuous function, and let $c \in (a,b)$ be fixed.
Suppose that "$\phi$ is convex at $c$". ...
- 128k
0
votes
0
answers
81
views
Example of a sequence of logarithmically convex functions on $\mathbb{R}$ and for all $n\in\mathbb{N}$ in the spirit of one evoked in an article
To ask this question I was inspired in some words, if I understand well, from the authors of a preprint on arXiv in section 4.1, that I believe that is [1], to ask next question.
We consider the ...
4
votes
1
answer
256
views
Is there a non-convex function with non-decreasing average rate of change?
$\newcommand{\R}{\mathbb R}$
Let $f$ be a function from $\R$ to $\R$. It is said that $f$ is midpoint-convex if for any real $x$ and $y$ we have $f(x-y)+f(x+y)\ge2f(x)$ or, equivalently, $f(x+y)-f(x)\...
- 54.2k
0
votes
1
answer
113
views
Inequality involving product-of-minus vs minus-of-product for positive integers
I'm encountering this inequality for dimensionality reduction problem. The simplified form looks as follows:
Consider positive integers $a_1$, $a_2$, $b_1$ and $b_2$ where $a_1>b_1$ and $a_2>...
- 63.9k
5
votes
1
answer
477
views
An inequality involving a sum of power terms
I am currently working in a problem in Information Theory and I came across a difficult inequality. After many attemps, I simplified the inequality, which now looks at follows.
Consider a positive ...
- 128k
20
votes
3
answers
1k
views
mixing convex and concave for convexity
Let $n\in\mathbb{N}$ and $0<x<1$ be a real number. Is the following a convex function of $x$?
$$G_n(x)=\log\left(\frac{(1+x^{4n+1})(1+x^{4n-1})(1+x^{2n})(1-x^{2n+1})}{(1+x^{2n+1})(1-x^{2n+2})}\...
- 61.9k
44
votes
7
answers
4k
views
The missing link: an inequality
I've been working on a project and proved a few relevant results, but got stuck on one tricky problem:
Conjecture. If $2\leq n\in\mathbb{N}$ and $0<x<1$ is a real number, then
$$F_n(x)=\...
- 128k
5
votes
1
answer
921
views
About generalized Minkowski inequality
For which functions $f:\mathbb{R}^+ \to \mathbb{R}^+$ does the inequality
$f^{-1}\left(\sum\limits_{k=1}^n f(x_k+y_k)\right) \leq f^{-1}\left(\sum\limits_{k=1}^n f(x_k)\right) + f^{-1}\left(\sum\...
- 28.6k