All Questions
78 questions
2
votes
1
answer
963
views
Is the Delta distribution a continuous functional on $H^1(\mathbb{R})$? [closed]
While it is easy to see that $H^1(\mathbb{R})$ are Hölder $1/2$-continuous, I started wondering whether this implies that $\delta_x(\varphi)=\varphi(x)$ is continuous as a functional
$$\delta_x:H^1(\...
- 28k
3
votes
1
answer
670
views
A specific mollified functions in the Sobolev space H^1(R)
Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...
CommunityBot
- 1
0
votes
1
answer
385
views
Functions satisfying Neumann boundary condition
I have a question about functions satisfying a condition.
Let $D \subset \mathbb{R}^d$ be a Lipschitz domain. That is, for each $x \in \partial D$, there exists an open neighborhood $U$ of $x$ in $\...
- 503
-2
votes
2
answers
325
views
$f\in (W^{1,p}(\Omega)\cap C(\Omega) \cap L^{\infty}(\Omega))\setminus C(\bar{\Omega})$, $f=0$ on $\partial \Omega$ imply $f\in W^{1,p}_{0}(\Omega)$?
Q1:
Let $p\geq 1$, and let $f\in W^{1,p}(\Omega)\cap C(\Omega)$. Assume also
$f\in L^{\infty}(\Omega)$ and $f=0$ on $\partial \Omega$. Is it true that
$f\in W^{1,p}_{0}(\Omega)$ even if $f\notin C(\...
- 29.8k
0
votes
0
answers
81
views
Differential operator and equivalence
Here is the problem:
I have a certain PDE and there is the nonlinear terme $h$, I have as data:
$f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$
Now on consider the fnction $$h(...
- 617
0
votes
0
answers
308
views
Invertible operator
We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$
We hope to prove that $T$ is invertible if and only if $L = n\pi $.
and for this ...
- 6,259
2
votes
0
answers
115
views
Does this Sobolev-space like construction have a name?
Take $\Omega \subset \mathbb{R}^n$ arbitrary then define as $X$ the closure of $C^1(\Omega) \cap W^{1,1}(\Omega)$ w.r.t. the norm $f \mapsto \left\lVert f \right\rVert_{\infty} + \left\lVert \nabla f \...
- 305
1
vote
0
answers
331
views
Verifying a claim regarding $H^1$ weak convergence and $L^2$ strong convergence on a surface
I'm reading a paper whose first section discussed $H^1$ maps defined on star-shaped sets, but I got stuck in verifying a claim for quite a while. I'm now thinking the claim is wrong, but it's hard to ...
- 1,350
3
votes
0
answers
588
views
Time-dependent Sobolev spaces
Given the Sobolev space $H^1((a,b);H^2(\mathbb{R}))$ and a function $g$ in that space. Consider now another function $f \in C_c^{\infty}((a,b) \times \mathbb{R}).$ Then
for almost any $t \in (a,b)$ we ...
- 31
1
vote
0
answers
117
views
The eigenfunction of modified $1$-laplace equation?
Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
- 679
0
votes
1
answer
160
views
Global Poincaré type estimate
For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
- 4,143
4
votes
1
answer
1k
views
Density argument with Schwartz functions?
I was wondering whether the Schwartz functions are also dense in
$$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$
...
- 24.2k
2
votes
1
answer
301
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
- 52.3k
5
votes
1
answer
133
views
If $u \in H^1(U)$, then $Du = 0$ almost everywhere on the set $\{u = 0\}$, auxiliary result
Let $\phi$ be a smooth, bounded and nondecreasing function, such that $\phi'$ is bounded and $\phi(z) = z$ if $|z| \le 1$. Set$$u^\epsilon(x) := \epsilon \phi(u/\epsilon).$$Do we necessarily have that$...
- 78
2
votes
0
answers
113
views
Continuous inclusions Sobolev theorem, question [closed]
How do I see that if $f$, $g \in H^s(\mathbb{R}^n)$ for $s > n/2$, then $fg \in H^s(\mathbb{R}^n)$ and$$\|fg\|_{H^s(\mathbb{R}^n)} \le C\|f\|_{H^s(\mathbb{R}^n)}\|g\|_{H^s(\mathbb{R}^n)},$$the ...
- 369
0
votes
3
answers
320
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
- 16.4k
2
votes
0
answers
150
views
Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that it seems simple but I can not solve it.
Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
CommunityBot
- 1
5
votes
1
answer
481
views
A continuous path between two Sobolev functions
Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...
- 679
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
1
vote
0
answers
205
views
A Question about compactness of an embedding into $L^p$ spaces
Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \frac{u^...
CommunityBot
- 1
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 3,085
4
votes
0
answers
121
views
The best constant in Poincare-liked inequality in $BV$ and $BD$ space
This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
- 2,834
3
votes
1
answer
283
views
Extension of Sobolev Functions
Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
\begin{...
- 2,494
5
votes
1
answer
239
views
Function and its Gradient with Prescribed Norms
I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
- 902
3
votes
1
answer
495
views
Inequality in the Sobolev space $H^1$
I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ^2\bigg)^{\frac{q}{2}-a}+\frac{c}{r^{2a}}\bigg(\int_{B_r}...
- 2,933
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
CommunityBot
- 1
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 16.2k
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245