1
vote
1answer
24 views

Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
1
vote
1answer
27 views

Proving that weak limit in $L^p$ and strong limit in $H^{-1}$ are the same

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. Let $p \geq 1$ and suppose that $u_n \rightharpoonup u$ in $L^p(\Omega)$ and $u_n \to v$ in $H^{-1}(\Omega)$. How to show that $u=v$? I can do ...
1
vote
0answers
24 views

Want a dense subset of a Sobolev-Bochner space!!

Let $U \subset \mathbb{R}^n$ be a bounded domain. Let $$W=\{ u \in L^2(0,T;H^1(U))\cap L^\infty(0,T;L^\infty(U)) : u' \in L^2(0,T;H^{-1}(U))\}$$ and let $$D=\{u \in L^2(0,T;H^1(U)) \cap ...
3
votes
1answer
24 views

Sobolev's inequality from Reed & Simon vol. II

In Reed & Simon vol. II, an inequality called Sobolev's inequality is stated in Eq. (IX.19): Let $0<\lambda<n$ and suppose that $f\in L^p(R^n)$, $h \in L^r(R^n)$ with $p^{-1} + r^{-1} + ...
0
votes
0answers
36 views

How to use the trace theorem to prove that a set is not empty?

Particularly, I would like an explanation of the following application of the trace theorem. Thanks.
1
vote
1answer
28 views

The Nash inequality on a compact manifold without a boundary.

Let $M$ be a compact manifold without boundary. Does the Nash inequality $$\lVert u \rVert^{1+\frac 2n}_{L^2} \leq C\lVert u \rVert^{\frac 2n}_{L^1} \lVert \nabla u \rVert_{L^2}$$ or something ...
2
votes
1answer
71 views

Sobolev Spaces and Derivative

I need help on the problem 8.9 at page 238 of the book "Functional Analysis, Sobolev Spaces and Partial Differential Equations" by Haim Brezis. Set $I=(0,1)$. Let $u \in W^{2,p}(I)$ with ...
5
votes
0answers
99 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...
0
votes
1answer
64 views

Weak Derivative Heaviside function

I have to prove that the Heaviside function $$ H(x):=\begin{cases} 1 &\mbox{if } x \in [0,+\infty) \\ 0 &\mbox{otherwise}\end{cases} $$ doesn't admit weak derivative in ...
0
votes
1answer
21 views

If $u \in L^2(0,T;H^1)$ with $u_t \in L^2(0,T;H^1)$ and $u$ and $u_t$ are bounded, is $u \in C([0,T];L^\infty$)?

Let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$ so $$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$ holds for all $\varphi \in C_c^\infty(0,T)$. Suppose we know ...
3
votes
1answer
58 views

Characterization of weak solution

5 Nonlinear elliptic variational inequalities Preliminaries In order to explain the importance of elliptic variational inequalities, first consider the weak solution of the linear ...
4
votes
1answer
113 views

If $u_n \to u$ in $C([0,T];H^{-1})$ and $\lVert u_n\rVert_{L^\infty} \leq C$ then $u_n(t) \rightharpoonup u(t)$ in $L^1(\Omega)$?

Let $u_n \to u$ strongly in $C([0,T];H^{-1}(\Omega))$ and suppose that $u_n$ is uniformly bounded in $L^\infty((0,T)\times\Omega)$. Then $$u_n(t) \to u(t)$$ weakly in $L^1(\Omega)$ for each $t$? Can ...
2
votes
1answer
40 views

Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(t)) \rangle = \int_\Omega |u(T)| - \int_\Omega |u(0)|$

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases} ...
2
votes
1answer
35 views

What is the dual of $A\cap B$

I encountered with some elliptic problem which admits a variational formulation in terms of space $X$ and I need to understand its dual. Suppose that $2<p<\infty$, $\Omega\subset {\mathbb R}^d$ ...
2
votes
1answer
31 views

Convergence in $L^p$ plus bounded gradient implies that the limit belongs to $W^{1,p}$?

I have a question with this problem I have found in the latest edition of the book Functional analysis, Sobolev Spaces author Haim Brezis pag 264 Remark 4 Let $(u_n) \subset W^{1,p} $ such that $u_n ...
0
votes
1answer
41 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
0
votes
1answer
34 views

Chain rule for $(f(u))'$ when $u \in H^1$ and $f$ is only piecewise Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a peicewise lipschitz function, eg. $f(x) = \chi_{(0,1)}(x)$. Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ and let $u \in H^1(\Omega)$. Is the chain rule ...
3
votes
2answers
67 views

If $u=v$ on $A \subset \Omega$, then $\nabla u = \nabla v$ on $A$ too

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $A \subset \Omega$ be measure nonzero. For $u, v \in H^1(\Omega)$, if $u=v$ (a.e) on $A$, how to prove that $\nabla u = \nabla v$ on $A$? ...
1
vote
0answers
35 views

A bound on $\nabla u$ in $L^\infty(0,T;L^2)$; how to make argument rigorous?

Suppose $u \in L^2(0,T;L^2)$, $u_t \in L^2(0,T;H^{-1})$ and $f \in L^\infty((0,T)\times\Omega)$. I have the weak form $$\langle u_t, \varphi \rangle_{H^{-1}, H^1} + \int_\Omega\nabla u \nabla \varphi ...
5
votes
3answers
70 views

For which $s\in\mathbb R$, $H^s(\mathbb T)$ is a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
0
votes
0answers
42 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
0
votes
1answer
22 views

A bound in Sobolev spaces of negative order

Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$. I wonder if the following bound is true: $$ \|f g_{x_1}\|_{H^{-0.5}(U)}\leq ...
0
votes
2answers
22 views

Inner Product Representation of Functional on $H^1_0$

Let $T\colon H^1_0(\mathbb{R})\to \mathbb{R}, \;T(f)=\int f'\phi \;dx$, where $\phi\in L^2$ is fixed. By Hölder, $|T(f)|\leq\|\phi\|_2\|f'\|_2\leq C \|f\|_{H^1_0}$, i.e. $T$ is continuous. Therefore, ...
4
votes
1answer
49 views

Sobolev spaces in one-dimensional vs multidimensional

Here in Wikipedia, it is said that in the one-dimensional case, it is enough to assume that the $(k-1)$-th derivative of the function $f$, is differentiable almost everywhere and is equal almost ...
2
votes
1answer
48 views

A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$.

Let $f_n \to f$ on compact subsets of the real line. If $u_m \rightharpoonup u$ in $L^2(0,T;H^1) \cap L^p(0,T;L^p)$ and $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in ...
1
vote
1answer
40 views

Small question about strong convergence

I have a small question I have that $ \lambda_1 ||v_0||^2_{L^2(0,1)}=||v_0||^2_{H^1_0(0,1)}$ and that $v_n\rightarrow v_0$ on $L^2$ (strongly) From the Poicaré inequality i have that ...
-2
votes
1answer
57 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
0
votes
1answer
41 views

Hölder-Zygmund Spaces on compact sets and for integer smoothness parameters

I know from Triebl, Theory of Function Spaces II, that for $\alpha \notin \mathbb{N}$ Hölder-Zygmund Spaces on $\mathbb{R}$ are equal to the classical Hölder Spaces. However, I have two questions ...
0
votes
0answers
31 views

When can we interchange summation with $L^2$ inner product?

(This question concerns a step in the solution given to Eignvalues of Laplacian operator and Sobolev spaces.) Why can we interchange the sum and the $L^2$ inner product in the following? $$(\sum_n ...
1
vote
1answer
73 views

Help please eigenvalue of Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2\left(\Omega \right)$. Let $\left(\lambda_n\right)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and ...
0
votes
0answers
45 views

Question with tried Eigenvalues of Laplacian operator and Sobolev spaces III.

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
1
vote
1answer
34 views

Operator compact on $H^1 (0,\pi)$

Consider the operator $K\colon H^1(0,\pi)\to H^1(0,\pi)$ defined by duality (Riesz. Theorem) as $$ \langle K\phi,\psi\rangle = \int_{0}^{\pi}{\phi(x)\psi(x)\,dx} $$ for all $\psi \in H^1(0,\pi)$, ...
0
votes
0answers
20 views

eignvalues of laplacian operator and Sobolev spaces -II

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, Let $F=(F_t) \in C^0(I,L^2(\Omega))$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od the ...
2
votes
1answer
56 views

Characterization of Sobolev Space

I have just started learning about Sobolev spaces. So this might be trivial. I am working through the book "Partial Differential Equations" by Lawrence Evans, it came highly recommended. Taking ...
2
votes
2answers
52 views

Equivalent norm in Sobolev space

Let $\rho\in H^{1}(0,\pi)$ be a function, and consider the functional $$ I(\rho)=\bigg(\int_{0}^{\pi}{\sqrt{\rho^2(t)+\dot\rho^2(t)}\,dt}\bigg)^2. $$ I'm asking if it is equivalent to the norm $$ ...
1
vote
0answers
25 views

Minimization Problem for Winding number

Consider the minimization problem associated to the functional $$ \mathcal{F}(u)=\int_{0}^{2\pi}{\lvert \dot u\rvert\bigg(1+\bigg(\frac{\dot u}{\lvert \dot u\rvert}\cdot m(u)\bigg)^2\bigg),dx} $$ ...
0
votes
2answers
25 views

Quadratic Minimization

Consider a functional $I\colon H \to R$ on $H$ Banach space, sufficiently regular. Is in generally true that $$ \inf_{\rho \in H}{I^2(\rho)}=\Big(\inf_{\rho \in H}{I(\rho)} \Big)^2 \quad ? $$ If ...
1
vote
0answers
50 views

eignvalues of Laplacian operator and distributions

Let $\Omega$ be open and bounded in $\mathbb{R}^n$ and $I$ an interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigenvalues ...
1
vote
2answers
192 views

Eignvalues of Laplacian operator and Sobolev spaces

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od ...
2
votes
3answers
82 views

Is a function in $L^2$ which second derivative is in $L^2$ in $H^2$?

Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ with smooth boundary. Assume that $f\in L^2(\Omega)$ and $f^{\prime\prime}\in L^2(\Omega)$. Does one have $f\in H^2(\Omega)$? Useless comments: ...
0
votes
0answers
33 views

Question about functions in Sobolev space.

Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$. If I consider a function $g:\mathbb{R}\rightarrow\mathbb{R}$ which has the following properties: $$ |g(x)|\leq M \qquad |g(x)-g(y)|\leq ...
0
votes
1answer
27 views

Question on Gagliardo-Nirenberg.

On page 679 of this paper, the authors claim they can get a special case of Gagliardo-Nirenberg with a constant of 1/2. They prove this using functions in $C_0^\infty(\mathbb{R}^2)$, for which the ...
4
votes
1answer
92 views

Spectrum of Laplace operator

How can I prove that the spectrum of the Laplace operator $\Delta: H^2(\mathbb{R}^N)\subset L^2(\mathbb{R}^N)\rightarrow L^2(\mathbb{R}^N)$ is $\sigma(\Delta)=]-\infty,0]$?
1
vote
1answer
64 views

$L^\infty$ bound on solution of $u_t -\Delta u =f$ where $f \in L^\infty$ and $u_0 \in L^\infty$??

Let $u_0 \in L^\infty(\Omega)$ and $f \in L^\infty((0,T)\times\Omega)$ and consider $$u_t - \Delta u = f$$ $$u(0) = u_0$$ with some boundary conditions. Consider the weak form ...
1
vote
1answer
50 views

The completion of $C_c^\infty(M)$ with respect to $\lVert \nabla u\rVert_{L^2(M)}$ on a compact Riemannian manifold

Let $M$ be a compact smooth Riemannian manifold (eg. a smooth hypersurface) and let $X$ be the space given as the completion of $C_c^\infty(M)$ with respect to the norm $\left(\int_{M} |\nabla ...
0
votes
1answer
24 views

Looking for a “trace inequality” of normal derivative in $L^1$

Let $U = \Omega \times (0,\infty)$ with $\partial U = \Omega \times \{0\}$. Let $w \in H^1(U)$ with $(w|_{\partial U})^{\frac 1 m} \in L^1(\partial U)$. I am looking for a trace inequality of the ...
1
vote
1answer
50 views

equation in Sobolev space

i have this exercice: Let $f\in L^2(\mathbb{R}^n)$. 1- Prouve that the equation $\Delta u - u = \dfrac{\partial f}{\partial x_i}$ admeit a unique solution $u \in H^1(\mathbb{R}^n)$? 2- Prouve the ...
4
votes
2answers
59 views

Bounded data means bounded solution to parabolic PDE

Let $u_0 \in L^\infty(\Omega)$ and $f \in L^\infty((0,T)\times\Omega).$ Consider $$u_t - \Delta u = f$$ $$u|_{\partial\Omega} = 0$$ $$u(0) = u_0$$ or more generally replace $\Delta$ with a suitable ...
1
vote
1answer
68 views

Hardy-Littlewood-Sobolev fractional integration inequality fails at endpoints

Here's a version of the theorem: If $1 < p, r < \infty$ and $ 0 < \alpha < n $ be such that $ \frac{1}{p} + \frac{ \alpha }{ n} = \frac{1}{r} + 1 $. Then for any $ f \in L^p ( \mathbb R ^n ...
0
votes
1answer
43 views

Question about injection on an unbounded space

I have this space $$C_0((0,+\infty))=\left\lbrace u,u\in C((0,+\infty)),\lim_{t\rightarrow +\infty} u(t)=0\right\rbrace$$ with the norm $$||u||_{\infty}=\sup_{t\geq0}|u(t)|$$ how to prove that ...