Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 36721
1 vote
Accepted

Is it true that the set $\{x\colon \partial\phi(x)\subset B_r(0)\}$ is convex when $\phi$ is...

The answer is no. Indeed, consider the case when $n=2$ and $$f(x,y)=\max(| x|,2 | y|)$$ for all $(x,y)\in\mathbb R^2$. Then for $(x,y)$ near $(\pm1,0)$ we have $f(x,y)=|x|$ and hence $\partial f(\pm1, …
Iosif Pinelis's user avatar
3 votes

Concavity of a function along a path

Of course, your "if and only if" statement is incorrect. E.g., let $$f(x,y):=x^2/2+y^2/4.$$ Then your conditions $(-f_{xx})(-f_{yy})>0$ and $f_{xx}>0$ obviously hold. Further, here $f_x(x,y)=y$ mean …
Iosif Pinelis's user avatar
2 votes

How to prove this (corollary of) hyperplane separation theorem?

$\newcommand{\R}{\mathbb R}\newcommand{\la}{\lambda}$Let $\R_-:=(-\infty,0]$ and $\R_+:=[0,\infty)$. The desired statement is equivalent to the following: Suppose that \begin{equation*} \forall x …
Iosif Pinelis's user avatar
1 vote
Accepted

Monotone likelihood ratio of a family of densities with convexity property

$\newcommand{\ep}{\varepsilon}$The "convex" part of this conjecture is not true in general. Indeed, suppose it is true. Then (letting $x:=\phi$, $t:=\theta_1$, and $\theta_2\downarrow\theta_1=t$) we s …
Iosif Pinelis's user avatar
5 votes

Extending a convex function to a higher dimensional domain

Yes: Just take $u(x,y):=v(x)$, which will be assumed in what follows. Indeed, one can use Green's formula to show this, as is done in Christian Remling's answer. More generally, the result holds for a …
Iosif Pinelis's user avatar
2 votes
Accepted

Does uniform convergence of suitable functions yield pathwise convergence of their convex en...

$\newcommand\ep\varepsilon$The answer is yes, and we only need the uniform convergence of $f_k$ to $f$. Moreover, then $co(f_k)\to co(f)$ uniformly as well. Indeed, for each real $x$, $$co(f)(x)=\sup\ …
Iosif Pinelis's user avatar
5 votes
Accepted

Points of differentiability of convex functions

Actually, your desired conclusion does "follow just from $D$ having full measure". Indeed, without loss of generality, $U=(-1,1)^2$. Let $$X:=\{x\in(-1,1)\colon|D_x|=2\},$$ where $D_x:=\{y\in(-1,1)\co …
Iosif Pinelis's user avatar
3 votes
Accepted

Lower bound on $L^2$ norm of a strongly convex function

The left-hand side, $\int_{0}^t f^2(x)\, dx$, of your inequality does not contain $\mu$. Since you wanted "to find lowerbound on $\int_{0}^t f^2(x) d\mu(x)$", it appears that your desired inequality i …
Iosif Pinelis's user avatar
4 votes

Elementary inequality generalizing convexity of a function on a segment

Suppose the contrary, so that $g(s)<0$ for some $s\in(a,b)$. Replacing now $a$ and $b$ by $\max\{t\in[a,s)\colon g(t)\ge0\}$ and $\min\{t\in(s,b]\colon g(t)\ge0\}$, respectively, we see that without l …
Iosif Pinelis's user avatar
2 votes

Question about an inequality described by matrices

By the equivalence of conditions (ii) and (iv) in Theorem A.3 on page 14, the condition $y=Ax$ for $y=[y,\dots,y_n]^T$ and $x=[x,\dots,x_n]^T$ is equivalent to the condition that $\sum_1^n g(y_i)\ge\s …
Iosif Pinelis's user avatar
1 vote
Accepted

Elementary inequality about integrals of exponentials of concave functions (possibly connect...

The answer is no. E.g., take any real $b>1$ and let $a:=2e^b$. Let $f(x):=a|x|-b$ for all real $x$. Then $\int_{\mathbb R}e^{-f(x)} dx=1$ but $$\int_{\mathbb R} f(x) e^{-f(x)} dx =1-b<0.$$
Iosif Pinelis's user avatar
0 votes
Accepted

Measure of intersection of convex set with hyperplane is concave function

It is not true in general that the function $p$ is concave. For instance, let $\Omega$ be the conical hull of the ball of radius $1$ centered at the point $(2,0,\dots,0)\in\mathbb R^n$. Then $p(x)=c_n …
Iosif Pinelis's user avatar
1 vote
Accepted

Generalised Lebesgue transform continuous wrt. strict topology?

$\newcommand\vpi\varphi$The answer, which is a modification of the previous answer, is still no. E.g., suppose that $X=Y=\mathbb R$, $c=0$, and $\vpi_a(x)=\min(1,\max(0,x-a))$ for $a\ge0$ and all real …
Iosif Pinelis's user avatar
1 vote
Accepted

Monotone likelihood ratio of a family of densities with compact support

$\newcommand{\ep}{\varepsilon}$This conjecture is not true in general. Indeed, suppose the "convex" part of your conjecture is true. Then (letting $x:=\phi$, $t:=\theta_1$, and $\theta_2\downarrow\the …
Iosif Pinelis's user avatar
1 vote
Accepted

Sign Regularity of a Density Kernel with Convexity Properties

$\newcommand{\ep}{\varepsilon}$This conjecture is not true in general. Indeed, suppose it is true. Then (letting $x:=\phi$, $t:=\theta_1$, and $\theta_2\downarrow\theta_1=t$) we see that for any stric …
Iosif Pinelis's user avatar

15 30 50 per page