Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
185 views

Derivative of Moreau envelope in Hilbert space with respect to regularization parameter $\lambda$ using Hopf-Lax formula?

Let $\mathcal H$ be a Hilbert space, $f \colon \mathcal H \to (- \infty, \infty]$ a proper, convex, lower semi-continuous function and $\lambda > 0$. The $\lambda$-Moreau envelope of $f$ is $$ f_{\...
ViktorStein's user avatar
1 vote
1 answer
128 views

Is a bounded convex function $g$ that is non-negative on this particular convex set also non-negative on the its closure?

Setup : Let $S$ be the simplex on $\mathbb N$, i.e. the set of probability distribution on the natural numbers. Suppose we have $p\in S$ such that, for all $n\geq 1$, $p_n > 0$. For any $\emptyset\...
P. Quinton's user avatar
1 vote
1 answer
123 views

Properties of the relatively bounded probability distributions on the simplex over the natural numbers

Setup : Let $S$ be the simplex over $\mathbb N$, i.e. the set of probability distribution over $\mathbb N$. Let $p\in S$ be such that $0 < p_n$ for all $n\in \mathbb N$. Let $H$ be the Hilbert ...
P. Quinton's user avatar
3 votes
0 answers
97 views

Projection onto level set of convex functional

Fix a probability space $(\Omega,\mathcal{F},\mathbb{P})$ and let $F:L^2_{\mathbb{P}}(\mathcal{F})\rightarrow (-\infty,\infty]$ be bounded-blow, convex, lower semi-continuous, and not identically ...
ABIM's user avatar
  • 5,405
2 votes
0 answers
326 views

Lipschitz min implies Lipschitzian argmin?

Let $X$ be a Hilbert space, and suppose that $f:X^2\rightarrow \mathbb{R}$ is a Lipschitz, supercoercive, convex function such that (for every $y \in X$) the set $$ \operatorname*{argmin}_{x\in X} f(x,...
ABIM's user avatar
  • 5,405
4 votes
1 answer
127 views

Proximal Operator image of convex functionals

Let $\Gamma_0$ denote the set of lower-semi-continuous convex functionals on a Hilbert space $H$. What exactly is the image of $\Gamma_0$ under the proximal operator $$ \begin{aligned} &\Gamma_0\...
ABIM's user avatar
  • 5,405
7 votes
0 answers
245 views

orthogonal projector onto the set of convex functions

Let $\Omega\subset \mathbb R^d$ be an open, convex domain, and consider the Hilbert space $L^2(\Omega)$. Each sum of convex functions is convex, hence the subset $Conv(\Omega)$ of all convex functions ...
Delio Mugnolo's user avatar