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

A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.

3 votes
Accepted

A suitable Sobolev-type space

I think that such a space will not exists. In particular your requirements (1) and (2) contradicts in the following sense: (1) says basically, that the norm in $V$ is weaker than the $L^\infty(\Omega) …
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
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
4 votes

reference needed for sobolev type estimates

You can manipulate the left-hand side to \begin{equation*} \lVert (Dv)^2 \rVert_{H^{3k-2}} = \lVert D v \rVert_{W^{3k-2,4}}^2 \le \lVert v \rVert_{W^{3k-1,4}}^2. \end{equation*} (Note that what w …
gerw's user avatar
  • 1,724
5 votes
Accepted

projection of sobolev spaces onto cones

I will consider the case $k = 1$ and $p = 2$ (some arguments may generalize to $k \in \mathbb{N}$). Let us use the norm $\|u\|^2 = \|u\|^2 + \|\nabla u\|^2$ in $H^1(\Omega)$ (both are $L^2$-norms). Th …
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
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
2 votes

$H_0^1(\Omega, D) \hookrightarrow L^2(D)$ is compact, for $\Omega$ quasi-open in $D$ - Proof...

You have that $H_0^1(\Omega, D)$ is a subspace of $H^1(D)$ (equipped with the same norm). Due to the Lipschitz condition on $D$, $H^1(D)$ is compactly embedded in $L^2(D)$ (standard-Rellich-Kondrachov …
gerw's user avatar
  • 1,724
3 votes
Accepted

sub and super-levelset regularity for Sobolev functions

One positive answer is that this set is $p$-quasi-open, see some resource about capacity theory, e.g., here: https://math.stackexchange.com/questions/48776/capacity-theory-beginner-resources.
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
1 vote

PDE satisfied by projection of a function onto a subspace

This works (only?) for $p = 2$. Let us denote the solution of the PDE on $\Omega$ by $v$. Then, the variational formulations of the PDEs are $$\int_D \nabla u \cdot \nabla z - fz \,\mathrm{d}x = 0 \q …
gerw's user avatar
  • 1,724