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 not deleted user 32507

Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

1 vote

Does weak convergence implies weak convergence of the positive part?

Yes, this is true for $W_0^{1,p}(\Omega)$ for open and bounded $\Omega \subset \mathbb R^n$ and $1 < p < \infty$. If $\Omega$ has some regularity, it also works for $W^{1,p}(\Omega)$. The argument is …
gerw's user avatar
  • 1,724
3 votes
0 answers
375 views

Equivalence of weak and weak-* convergence for sequences and reflexivity

Let $X$ be a Banach space and $X^*$ its topological dual space. Let us define the property (WS): For all sequences $(x_n^*) \subset X^*$ and all $x^* \in X^*$, we have $$x_n^* \rightharpoonup x^* \qu …
gerw's user avatar
  • 1,724
0 votes
Accepted

Moreau-Enveloppe from $L^2(0,T;V) \to L^2(0,T;V^*)$

Your assumptions are not sufficient to consider this mapping property. Consider $V = \mathbb{R}$ and the mapping $f(x) = x^3$. It maps bounded sets to bounded sets, but its Nemytskii operator $y \map …
gerw's user avatar
  • 1,724
1 vote
Accepted

using the M. Riesz Interpolation Theorem

My answer is for $p \in (2,4)$, the other case should follow similar. Let $t \in (0,1)$ be given, such that $$\frac1p = \frac{1-t}{2}+\frac{t}{4}.$$ I will go to use the following consequence of Höld …
gerw's user avatar
  • 1,724
0 votes
Accepted

'Diamagnetic' inequality for negative Sobolev spaces

This is not true in the case of $H^{-1}(\Omega) = H_0^1(\Omega)^*$ (real spaces), where $\Omega \subset \mathbb R^d$ is bounded: In https://math.stackexchange.com/questions/336834/decomposition-of-fu …
gerw's user avatar
  • 1,724
2 votes
Accepted

Lipschitz smooth convex extension

Such an extension is not always possible, a counterexample can be found in Section 2 of https://arxiv.org/abs/1812.02419v3.
gerw's user avatar
  • 1,724
8 votes

What are the major differences between real and complex Banach space?

In optimization, you typically have a function $f \colon X \to \mathbb{R}$ which you are going to minimize. In order to apply first-order optimality conditions or first-order methods, you would like t …
gerw's user avatar
  • 1,724
3 votes
Accepted

Bounding $\lVert{u}\rVert_{C^0([0,T];V)} \leq C\left(\lVert{u}\rVert_{L^2(0,T;V)} + \lVert{u...

As mentioned by @TaQ, the embedding $W(V,H) \hookrightarrow C([0,T];V)$ is, in general, not true. However, if your estimate would be true, you can extend the embedding operator from the dense subspace …
gerw's user avatar
  • 1,724
1 vote
Accepted

Are the intersection of proximinal sets in a Hilbert Space proximinal?

This answer is strongly inspired by example 3.11 in the book by Bauschke and Combettes. Let $H = \ell^2$ and consider a sequence $\{\alpha_n\} \in (1,\infty)$ with $\alpha_n \searrow 1$. Define \begi …
gerw's user avatar
  • 1,724
2 votes
Accepted

Weak lower semicontinuity of functional with two arguments

This functional is sequentially weakly lower semicontinuous under fairly mild assumptions on $f$. We need that $f$ is non-negative, continuous and bounded from above. Let $u_n \rightharpoonup u$ in $ …
gerw's user avatar
  • 1,724
6 votes
1 answer
495 views

A finely open set, not open up to polar set?

I already asked this on M.SE, but get no answers. Is there a (simple) example of a finely open set (i.e. w.r.t. the fine topology in potential theory) $O$ in $\mathbb R^n$, $n \ge 2$, which is not op …
gerw's user avatar
  • 1,724
1 vote

Envelopes of functions with respect to some convex cone $\mathcal{F}$

If you switch from your perspective of functions to their epigraph, I think that you end up with a "closure operator", see Wikipedia. I am not sure about other examples, but if $\mathcal{F}$ consists …
gerw's user avatar
  • 1,724
0 votes

Boundary value of Sobolev space

This is not true. Take a sequence of points $(x_n) \subset D$ which converge to a point on the boundary (or even worse: whose accumulation points are $\partial D$). Then, for every point $x_n$ we can …
gerw's user avatar
  • 1,724
6 votes
Accepted

Poincare Inequality for $H^2$ function satisfying homogeneous Robin boundary conditions

This is not true. Take $\Omega = (-1,1)$ and functions $u_M$ like (I hope that I got the constants right) $$ u_M(x) =\begin{cases} -M^2 (|x|-1)(|x|-1+1/M) + M & \text{for } |x| > 1-1/(2M) \\ 1/4 + M & …
gerw's user avatar
  • 1,724
1 vote

A distributional normal derivative for functions in $H^1(\Omega)$

It is not possible to define a normal derivative for all $u \in H^1(\Omega)$ which depends continuously on $u$. The reason is that all $C_c^\infty(\Omega)$ is dense in $H^1_0(\Omega)$, but all $u \in …
gerw's user avatar
  • 1,724

15 30 50 per page