3
votes
0answers
34 views

How do I integrate $\langle\nabla u,\nabla v \rangle$ in arbitrary dimensions?

I am trying to show that if $u_n$ are eigenfunctions of the Laplacian operator that make up an orthonormal basis of $L^2$, then $u_n\sqrt{\lambda_n}^{-1}$ form an orthonormal basis of $H^1_0$. I ...
0
votes
1answer
61 views

How to show $\int_Q \varphi^2 (\Delta v)v_t = \int_Q |\nabla v|^2 \varphi \varphi_t - 2\int_Q (\nabla v \cdot \nabla \varphi) (\varphi v_t)$

Let $Q=\bigcup_{t \in (0,T)}\Omega \times \{t\}$. I have seen this identity for all $\varphi \in C_c^\infty(Q)$ such that $0 \leq \varphi \leq 1$: $$\int_Q \varphi^2 (\Delta v)v_t = \int_Q |\nabla ...
2
votes
2answers
70 views

Directional derivative in a Sobolev-like inequality

I am trying to do the following problem: Let $\Omega \subset \subset \overline{\mathbb{R}_{+}^{n+1}} = \{ (x, x_{n+1}); \, x_{n+1}\geq 0\}$ (i.e., $\Omega$ is bounded inside the closed upper ...
2
votes
1answer
85 views

Example that $u\in W^{1,2}$, but $u \notin W^{1,3}$

I'm doing the calculations about the following assertion Let $\Omega$ be $\{(x,y):0<y<x^2, 0<x<1\}$. The function $u(x,y)=\log (x^2+y^2)$ belongs to $W^{1,2}(\Omega)$, which you can check ...
2
votes
2answers
354 views

Poincare inequality?

Let $\Omega$ be a smooth bounded open subset of $\mathbb{R}^n$. Does there exist $A = A(\Omega)$ with the property that for any $f \in C^\infty(\bar{\Omega})$ with $f = 0$ on $\partial \Omega$, ...