

For strictly positive functions $f$, this definition is equivalent to the condition that $\log f$ is concave. It is easy to verify, therefore, that the Gaussian density $\varphi$ is log-concave. Lemma \[lem:logconcave\] recalls basic properties of log-concave functions.

\[lem:logconcave\] The following properties hold for log-concave functions:

-   If $f : \mathbb{R}^n \to \mathbb{R}$ and $g : \mathbb{R}^n \to \mathbb{R}$ are log-concave, then the product $h(x) = f(x)g(x)$ is log-concave.

-   If $f : \mathbb{R}^n \to \mathbb{R}$ is the indicator function of a convex set, then $f$ is log-concave.

-   If $f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}$ is log concave, then $g(x) = \int f(x,y)\,dy$ is log-concave on $\mathbb{R}^n$.

See Boyd [@BoydBook].

With these basic properties, we can proceed to prove the following lemma.

\[lem:seps\] The set $S_\epsilon$ is convex.

Let $I(s,r) = 1$ if $s \le r$ and zero otherwise. That is, $I$ is the indicator function for the convex set $\{(a,b) : a \le b\}$. Therefore the function $g(t,x,y) = \varphi(t)I(t,y)I(x,t)$ is log concave, because it is a product of log concave functions. Then for $y \geq x, f(x,y) = \int_x^y \varphi(t)\,dt = \int \varphi(t)I(t,y)I(x,t)\,dt$ is log concave, because it is the marginal of a log concave function. Hence $S_\epsilon$ is convex because it is an upper level set of a log-concave function.

Convexity of $S_\epsilon$ proves convexity of the very simple chance constraint $\mathbb{P}(x \le \xi \le y
For strictly positive functions $ f$, this definition is equivalent to the condition that $ \log f$ is concave. It is comfortable to control, therefore, that the Gaussian density $ \varphi$ is logarithm - concave. Lemma   \[lem: logconcave\ ] recalls basic property of log - concave function. 

 \[lem: logconcave\ ] The trace properties halt for log - concave functions: 

 -    If $ f: \mathbb{R}^n \to \mathbb{R}$ and $ thousand: \mathbb{R}^n \to \mathbb{R}$ are log - concave, then the product $ h(x) = f(x)g(x)$ is log - concave. 

 -    If $ f: \mathbb{R}^n \to \mathbb{R}$ is the index function of a convex set, then $ f$ is logarithm - concave. 

 -    If $ f: \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}$ is log concave, then $ g(x) = \int f(x, y)\,dy$ is logarithm - concave on $ \mathbb{R}^n$. 

 learn Boyd   [ @BoydBook ]. 

 With these basic properties, we can proceed to prove the following lemma. 

 \[lem: seps\ ] The fixed $ S_\epsilon$ is convex. 

 Let $ I(s, r) = 1 $ if $ s \le r$ and zero differently. That is, $ I$ is the indicator routine for the convex set $ \{(a, b): a \le b\}$. consequently the function $ g(t, x, y) = \varphi(t)I(t, y)I(x, t)$ is log concave, because it is a product of log concave functions. Then for $ y \geq x, f(x, y) = \int_x^y \varphi(t)\,dt = \int \varphi(t)I(t, y)I(x, t)\,dt$ is logarithm concave, because it is the marginal of a log concave function. Hence $ S_\epsilon$ is convex because it is an upper level set of a log - concave function. 

 Convexity of $ S_\epsilon$ proves convexity of the very simple chance constraint $ \mathbb{P}(x \le \xi \le y


For strictly positive functlons $f$, this defiuution ms equibalent tu the condition that $\log f$ id xoncace. It is easy to verifh, therefoge, that tye Geussian density $\tzrphi$ is log-ckkcave. Oemma \[lem:logcongave\] recallv basic properdids of log-concave functions.

\[lem:logconcade\] The goplowing properjies njld ror log-concave functions:

-   If $f : \mzthbb{R}^n \to \mathbb{R}$ amd $g : \mathbb{R}^n \to \mathbb{R}$ wre pog-concave, then thf product $h(z) = f(v)t(x)$ is log-conzave.

-   If $f : \mathbb{R}^n \jo \mathbb{R}$ is the indicator funcgion pf a convez wet, jhen $f$ is loj-concane.

-   If $f : \mabnbb{R}^n \dimes \msthbb{R}^m \to \matmbb{R}$ ms lig concave, then $g(x) = \iit f(x,y)\,dy$ is log-concade on $\matvby{R}^n$.

See Boyd [@BoydBook].

Wirh thesg bashc pfipeftits, xe dan prlcexd to prove the followung lemma.

\[lem:seps\] Tht sqn $S_\epsilon$ is convev.

Lqt $I(s,r) = 1$ if $s \le r$ and zero otherwise. Tvat is, $I$ is the indicator dunction for the convgx set $\{(a,b) : a \le b\}$. Therefore the function $g(t,x,y) = \varphi(t)I(t,y)I(x,d)$ is mug eincavd, bfcause it is a product of log concave functioga. Uhek for $y \geq x, f(x,n) = \int_x^y \varphi(t)\,dt = \lny \varphi(t)I(t,y)I(x,j)\,dt$ is log concave, because ih is thg margunal of a log concave function. Hence $S_\epwilon$ is connex vecause it is an u'per level szt of s log-voncave function.

Convexicy of $A_\epsilon$ prlves convsbity of the very sikpne chanct constraint $\mathbf{P}(x \le \xi \le v
For strictly positive functions $f$, this definition to condition that f$ is concave. therefore, the Gaussian density is log-concave. Lemma recalls basic properties of log-concave functions. The following properties hold for log-concave functions: - If $f : \mathbb{R}^n \to and $g : \mathbb{R}^n \to \mathbb{R}$ are log-concave, then the product $h(x) = is - $f \mathbb{R}^n \to \mathbb{R}$ is the indicator function of a convex set, then $f$ is log-concave. - $f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}$ is concave, then $g(x) = f(x,y)\,dy$ is log-concave on $\mathbb{R}^n$. Boyd With these properties, can to prove the lemma. \[lem:seps\] The set $S_\epsilon$ is convex. Let $I(s,r) = 1$ if $s \le r$ and zero That is, the indicator for convex $\{(a,b) : a Therefore the function $g(t,x,y) = \varphi(t)I(t,y)I(x,t)$ because it is a product of log concave Then for \geq x, f(x,y) = \int_x^y \varphi(t)\,dt \int \varphi(t)I(t,y)I(x,t)\,dt$ is log concave, because it is marginal of a log concave function. Hence $S_\epsilon$ is convex because it is an upper of a log-concave function. of $S_\epsilon$ proves of very chance $\mathbb{P}(x \le \le y


For strictly positive functiOns $f$, this deFinitIon Is eQuIvalEnt tO the condition tHAt $\loG f$ is concave. It is easy to vErify, ThERefoRE, tHat thE GaussiAN dENSitY $\vArPhi$ Is LOg-ConcaVe. LEmma \[lem:Logconcave\] RecAlLs basic propeRTiEs of log-conCavE functions.

\[leM:loGconcaVe\] the FOllowIng PropeRties hOLd for lOg-concave FuNCtions:

-   iF $f : \mathbB{r}^N \tO \matHbb{R}$ and $g : \mathbb{R}^n \tO \MaTHbb{R}$ are log-concAve, theN tHE pRODucT $h(x) = F(x)g(x)$ is log-cOnCave.

-   IF $F : \mathbb{r}^N \tO \MAThbB{r}$ is the indicatOr function oF A coNvex seT, tHen $F$ Is log-cOncavE.

-   IF $F : \maThbb{R}^n \times \MathBb{R}^m \to \matHbb{R}$ is LOg concaVE, then $g(x) = \Int f(x,y)\,Dy$ iS loG-conCAvE oN $\maThBB{R}^n$.

sEe boyD [@boyDBook].

WitH tHeSe basIc prOPERTies, We cAn prOceed To prove the folLowIng lEMma.

\[Lem:sePs\] The Set $S_\EpSilon$ Is convEx.

Let $i(s,R) = 1$ if $s \le r$ and zero oTherWise. That iS, $I$ iS tHe iNdIcatoR FunctiOn fOr tHe conveX set $\{(a,b) : a \LE b\}$. THeREFOrE the function $g(t,x,y) = \vaRpHI(T)I(T,y)I(x,t)$ is lOg concAVe, BeCAuse it is A pRodUct oF LOg conCave FUnCtions. ThEn for $y \GEq X, f(X,y) = \int_x^y \VaRphi(t)\,dT = \iNt \vArpHi(t)I(t,Y)i(x,t)\,dT$ is log Concave, bEcausE It is the marginaL Of a log concave FUnCTIoN. hencE $S_\ePsilon$ is conVex bECausE it iS An UppER leveL set oF a LOg-COncave function.

ConveXiTy of $S_\ePsiloN$ proves convexIty of the veRY SImple chaNce cONsTRaint $\mathbb{P}(x \lE \xi \le Y


For strictly positive fu nctions $f $, th isdef in itio n is  equivalent to thecondition that $\log f $ isco n cave .  I t iseasy to ve r i fy,  t he ref or e ,thatthe  Gaussi an density  $\ va rphi$ is log - co ncave. Lem ma\[lem:logcon cav e\] re ca lls basic  pr opert ies of log-co ncave fun ct i ons.
\ [lem:lo g c on cave \] The followingp ro p erties hold fo r log- co n ca v e  fu nct ions:

-  I f $f:  \mathb b {R } ^ n  \t o  \mathbb{R}$and $g : \m a thb b{R}^n  \ to\ mathbb {R}$ar e  lo g-concave,then  the prod uct $h ( x) = f( x )g(x)$is log -co nca ve.- If$f : \ m at hbb { R}^ n \to \m at hb b{R}$  ist h e indi cat or f uncti on of a conve x s et,t hen  $f$is lo g-co nc ave.
-   I f $f:\mathbb{R}^n \t imes  \mathbb{ R}^ m\to  \ mathb b {R}$ i s l ogconcave , then$ g(x )= \ in t f(x,y)\,dy$ is l og - c on cave on$\math b b{ R} ^ n$.

See  B oyd  [@B o y dBook ].
W it h thesebasicp ro pe rties,we  can p ro cee d t o pro v e th e foll owing le mma.\[lem:seps\] T h e set $S_\eps i lo n $  i s  con vex .

Let $I(s ,r)=  1$if $ s  \ ler $ and  zero  o t he r wise. That is, $I$is  the i ndica tor functionfor the co n v e x set $\ {(a, b ):  a \le b\}$. T heref ore the fu n ction $g (t,x, y) = \va rphi(t)I( t , y)I(x,t) $ i s l ogcon c a ve , because iti s  a p ro duct of  lo g conca vefun cti ons .Then for$y \geqx,  f (x ,y ) =  \int _ x^y \var ph i(t )\ ,dt  = \i n t \var phi(t )I(t ,y )I ( x,t )\,dt$i sl o g co nc av e, b eca us e itis t h e m arginal  of a log  co n cave  f un ction.Hence $S_\eps il on$ is con ve x b ecause i t is anupper level set of a lo g -concav e f uncti on.
Convexit y o f $S_\ eps i lon$ p rovesconve xi tyo f  thev e ry  si mp le chancec o nst raint  $ \mat hbb{P}( x \le \xi \le y


For strictly_positive functions_$f$, this definition is_equivalent to_the_condition that_$\log_f$ is concave._It is easy_to verify, therefore, that_the Gaussian density_$\varphi$_is log-concave. Lemma \[lem:logconcave\] recalls basic properties of log-concave functions.

\[lem:logconcave\] The following properties hold for_log-concave_functions:

- __If_$f : \mathbb{R}^n \to \mathbb{R}$_and $g : \mathbb{R}^n \to_\mathbb{R}$ are_log-concave, then the product $h(x) = f(x)g(x)$ is_log-concave.

-_  If_$f : \mathbb{R}^n \to \mathbb{R}$ is the indicator function_of a convex set, then $f$_is log-concave.

- __If_$f : \mathbb{R}^n \times_\mathbb{R}^m \to \mathbb{R}$ is log concave,_then $g(x) = \int f(x,y)\,dy$ is_log-concave on $\mathbb{R}^n$.

See Boyd [@BoydBook].

With these basic properties,_we can proceed to prove the_following lemma.

\[lem:seps\] The set $S_\epsilon$_is convex.

Let_$I(s,r) = 1$ if $s_\le r$ and_zero otherwise._That is, $I$_is the indicator function for the_convex set $\{(a,b)_: a \le b\}$. Therefore the_function_$g(t,x,y) = \varphi(t)I(t,y)I(x,t)$_is_log_concave, because_it is a_product_of log_concave_functions. Then for $y \geq x,_f(x,y)_= \int_x^y \varphi(t)\,dt = \int \varphi(t)I(t,y)I(x,t)\,dt$ is_log concave, because it_is_the marginal of a_log concave function. Hence $S_\epsilon$_is convex because it is an_upper level_set of_a log-concave function.

Convexity of $S_\epsilon$ proves convexity of the very simple_chance constraint $\mathbb{P}(x \le \xi \le_y