Intereting Posts

Determine if the following series are convergent or divergent?
Is $ (A∪B)×(C∩D)=(A∪C)×(B∪D)$ true for all sets A,B,C and D?
Martingales of random walk
Need verification – Prove a Hermitian matrix $(\textbf{A}^\ast = \textbf{A})$ has only real eigenvalues
If $E_P(X) \in $ span($E_{P_i}(X)$), $1 \leq i \leq n$, for all integrable $X$, then is $P$ a convex combination of the $P_i$?
Engineering Mathematics
A morphism of free modules that is an isomorphism upon dualization.
Question on Baire Property
Word Question Involving the Definition of the Derivative
Why is ring addition commutative?
Function which is not in $L^2(R^n)$
Must a monotone function have a monotone derivative?
Why do statisticians like “$n-1$” instead of “$n$”?
$X/\sim$ is Hausdorff if and only if $\sim$ is closed in $X \times X$
Quaternion distance

Let $f$ be a real valued differentiable function defined for all $x \geq a$. Consider a function F defined by $F(x) = \int_a^x f(t) dt$. If f is increasing on any interval, then on that interval F is convex.

I am not sure I intuitively understand this. What is the function is increasing at an increasing rate?

In this figure, for example, isn’t the set defined by the integral not convex? Since any line joining the two points of the set are lying outside the said set? Can someone explain what I’m missing?

- About Balanced-Convex Hull of a Set
- can any continuous function be represented as a sum of convex and concave function?
- Is the convex hull of closed set in $R^{n}$ is closed?
- Is every convex-linear map an affine map?
- The composition of two convex functions is convex
- Extreme points of the unit ball of the space $c_0 = \{ \{x_n\}_{n=1}^\infty \in \ell^\infty : \lim_{n\to\infty} x_n = 0\}$

- Derivation of the Dirac-Delta function property: $\delta(bt)=\frac{\delta(t)}{\mid b \mid}$
- A challenging logarithmic integral $\int_0^1 \frac{\log(1+x)\log(1-x)}{1+x}dx$
- Integrating $\int\frac{x^3}{\sqrt{9-x^2}}dx$ via trig substitution
- ODE $d^2y/dx^2 + y/a^2 = u(x)$
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Hypergeometric Function simple identity
- How to integrate a three products
- Integration with a constant “a”: $ \int_0^a \frac1{\sqrt {a^2-x^2}} dx $
- How find this integral limt
- Center of mass of a right circular cone

Let $a < x_1 < x_2$, we have

$$

F(x_2) – F(\frac{x_1 + x_2}{2}) = \int_{\frac{x_1+x_2}{2}}^{x_2}f(x) dx

$$

and

$$

F(\frac{x_1 + x_2}{2}) – F(x_1) = \int_{x_1}^{\frac{x_1 + x_2}{2}}f(x) dx

$$

Since $f(x)$ is increasing, we have

$$

\int_{\frac{x_1+x_2}{2}}^{x_2}f(x) dx \geq \int_{x_1}^{\frac{x_1 + x_2}{2}}f(x) dx

$$

thus

$$

F(x_2) – F(\frac{x_1 + x_2}{2}) \geq F(\frac{x_1 + x_2}{2}) – F(x_1)

$$

implying

$$

\frac{F(x_1) + F(x_2)}{2} \geq F(\frac{x_1 + x_2}{2})

$$

Moreover, $F(x)$ is continuous due to the continuity of $f(x)$. Thus $F(x)$ is convex.

**Hint**:

A twice differentiable function is convex if its second derivative is positive.

By the Fundamental Theorem of Calculus $F'(x)=f(x)$. Since $F’$ is increasing, $F$ is convex.

Certainly the yellow set is not convex. But that has nothing to do with the convexity of the function $F$. In terms of graphs, a function $h\colon I\to \mathbb{R}$ where $I$ is an interval is convex if the set (sometimes called epigrap)

$$

\{(x,y)\in\mathbb{R}^2:x\in I,\ h(x)\le y\}

$$

is convex.

- Showing something isn't a manifold
- Given a real function $g$ satisfying certain conditions, can we construct a convex $h$ with $h \le g$?
- Showing an ideal is a projective module via a split exact sequence
- Odd Mathematica series result
- How to determine the matrix of adjoint representation of Lie algebra?
- What is the easiest known expression for inverse of Laplace transform?
- Converting English into first order predicate logic
- Limit $\lim_{x\to0^-}{(1+\tan(9x))^{\frac{1}{\arcsin(5x)}}}$
- Convergence in mean
- Where can I learn about the lattice of partitions?
- ALL Orthogonality preserving linear maps from $\mathbb R^n$ to $\mathbb R^n$?
- Notation to work with vector-valued differential forms
- Extending Cauchy's Condensation Test
- Question about Benford's law
- Ring with 10 elements is isomorphic to $\mathbb{Z}/10 \mathbb{Z} $