For questions about or related to Sobolev spaces, which are function spaces equipped with a norm combining norms of a function and its derivatives.

learn more… | top users | synonyms

10
votes
0answers
409 views

Hille Yosida theorem application

Disclaimer: pretty long and specific (contraction semi groups involved). I have fourth order parabolic equation $$ u_t + \Delta^2 u = 0 $$ on $U_T = U \times [0,T]$. $U \subset \mathbb{R}^m$ is a ...
6
votes
0answers
85 views

Two definitions of $H^1(\partial\Omega)$, one using charts and one use tangential gradients

Let $\Omega$ be a bounded Lipschitz domain with boundary $\partial\Omega$. There are two ways to define a space $H^1(\partial\Omega)$: By using charts, we can define $H^1(\partial\Omega)$ to ...
5
votes
0answers
74 views

Gradient on Sobolev spaces

Suppose I have a function $\Phi \in L_p(\Omega)$ and $\nabla\Phi \in W^{-\alpha}_p(\Omega)$, $1<p<\infty$ and where $\Omega\subset\mathbb{R}^n$ is a bounded domain. Can I conclude that $\Phi\in ...
5
votes
0answers
108 views

Is this function in the Sobolev space $H^{2,-s}(\mathbb{R}^3)$?

I have the function $$f(x)=\frac{e^{iz|x-y|}}{4\pi|x-y|}$$ with $y\in\mathbb{R}^3$ and $\Im z>0$. Let $s>\frac{1}{2}$. Clearly it is not in $H^{2,-s}(\mathbb{R}^3)$ for the singularity of order ...
5
votes
0answers
90 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
5
votes
0answers
88 views

Can we do some scaling argument in the presence of inhomogeneous norms?

Notation: $B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$. $\hat{f}$ stands for the Fourier transform of $f$. Question. The following inequality holds true for all $f\in ...
4
votes
0answers
97 views

If $u$ has a weak derivative and $f$ is $C^1$ does $fu$ have a weak derivative (fractional Sobolev space and weak time derivatives)

Let $\Omega$ be an open bounded set. Let $s \in (0,1)$ and $H^s(\Omega) := W^{s,2}(\Omega).$ Let $f \in C^1([0,T]\times \Omega)$ and $u \in L^2(0,T;H^s(\Omega))$ with weak derivative $u' \in ...
4
votes
0answers
65 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
4
votes
0answers
120 views

Show that the following $u\in L^{\infty}\cap H^1(B)$ is a weak solution to the given system.

Let $B=B_{\exp(-2)}\subset\mathbb{R}^2$. I would like to show that a weak solution to the following system (in $B$): \begin{align*} \triangle u_1&=-2|Du|^2(u_1+u_2)/(1+|u|^2)\\ \triangle ...
4
votes
0answers
178 views

Existence of weak solution in Sobolev space $W^{1,p}$

Let $B\colon W^{1,p}\times W^{1,q}\rightarrow \mathbb{R}$ and $\frac{1}{p}+\frac{1}{q}=1$ , $p>2$ where $$B[u,v]=\int \left( Du \,Dv+ h u v \right)\, dx$$ where $h>0$. I am interested to prove ...
3
votes
0answers
33 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 ...
3
votes
0answers
53 views

estimations of solutions

Let $\Omega=\mathbb{R}^2_+=\{(x,y) \in \mathbb{R}^2; y > 0\}$, $f \in L^2(\Omega)$, $\lambda \in \mathbb{R}^*_+$, $A=(a_{ij})_{1\leq i,j \leq 2}$, $a_{ij} \in \mathbb{R}$ and there exist $\alpha ...
3
votes
0answers
52 views

Sobolev Spaces and Convergence

I have a question about one of my homework question. I have been struggling for a while and I really need some help. Assume $N>2$ and $u_k$ is a bounded sequence in $W^{1,2}(\mathbb{R}^N)$ ...
3
votes
0answers
33 views

If $u_m \rightharpoonup u$, how to show using monotonicity that $f(u_m) \rightharpoonup f(u)$?

Let $$u_m \rightharpoonup u \quad \text{(weakly) in $L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega))$}.$$ We are given $f:\mathbb R \to \mathbb R$, a Lipschitz continuous invertible map which is ...
3
votes
0answers
44 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
3
votes
0answers
47 views

$f, f|f| \in L^{1} (\mathbb R) \cap C_{0} (\mathbb R) \implies |f| \in H_{1} (\mathbb R)$?

Suppose $f \ \text{and} \ f|f|\in L^{1}(\mathbb R).$ Then, clearly, $|f|\in L^{2}(\mathbb R)$ and therefore by Plancheral theorem, we get, $\widehat{|f|} \in L^{2}(\mathbb R).$ Also, assume, $f, ...
3
votes
0answers
62 views

In which space does my (weak) solution exist?

I am reading through some numerical analysis papers, and was wondering what characteristics of a problem define which function space the weak solution of a problem belongs to. For example, for the ...
3
votes
0answers
48 views

$W^2_p$ regularity of solutions of linear elasticity

I want to prove the following statement: Let $\Omega$ be bounded, polygonal, and convex, then for the solution of the linear elasticity (elliptic) equation with inhomogenous Dirichlet boundary ...
3
votes
0answers
54 views

Extension of Rellich's theorem: Embedding condensing in the limit case?

Let $\Omega$ be a domain with a nice boundary (i.e., smoothness of the boundary shall not be central to my question). Now it well-known that the embedding $\iota \colon W^{1,p}(\Omega) \to ...
3
votes
0answers
41 views

Nonlinear parabolic PDEs, what methods/techniques for existence?

I am curious what kinds of techniques one uses to show existence of PDEs with nonlinearities. I am aware of: 1) Minimisation problems 2) Semigroup (both of which I'd like to avoid) For linear ...
3
votes
0answers
59 views

What is $H^1([0,1]) \otimes H^1([0,1])$?

Let $H^1([0,1])$ denote the Sobolev space $H^1$ on the interval $[0,1]$. What is $H^1([0,1]) \otimes H^1([0,1])$? Here, $\otimes$ the tensor product of Hilbert spaces. In particular, how is that ...
3
votes
0answers
68 views

A “straightforward” inequality.

In section 5.5 page page 117 of Fanghua, Quing's book, in order to obtain $W^{2,p}$ estimates the idea is to show that for $p \in (1,\infty]$ the condition $\theta \in L^p(\Omega)$ implies $D^2u \in ...
3
votes
0answers
122 views

Checking initial condition of PDE is satisfied in Galerkin method

The following is an argument I read, it is part of a proof of checking that the solution given by the Galerkin method satisfies the initial conditions. From our PDE $$\langle u', v \rangle_{V',V} + ...
3
votes
0answers
44 views

Estimation of $\|(1-\Delta)^{\gamma/2}f\|_1$ type

Let $\phi(\xi)\in C_c^\infty(\mathbb{R}^d)$ with value $1$ in a neighborhood of the unit ball and vanishing fast outside the ball. I want to estimate $$\|(1-\Delta)^d (\cdot)^\alpha ...
3
votes
0answers
68 views

$u\in W^{1,p}(B)$ implies $u\in W^{1,p}(\partial B_t)$ for almost $t\in (0,1]$?

Suppose that $u\in W^{1,p}(B)$ where $B=B(0,1)\subset\mathbb{R}^N$ and $p\geq 1$. It was showed on this post (as an application of Fubini's theorem) that for almost $t\in (0,1]$ $$u_{|\partial ...
3
votes
0answers
176 views

Weak solution to PDE boundary value problems

Take $\lambda>0$ and let $\Delta$ be the Laplacian operator in dimension $n$ and let $\Delta^2:=\Delta\circ\Delta$. Consider the boundary value problem $\Delta^2 u+\lambda u=f$ on some open subset ...
3
votes
0answers
103 views

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

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$, which is not open up to a polar set (i.e. zero capacity), i.e., there does ...
3
votes
0answers
97 views

invertible operator Sobolev space

Let $T:H_0^2(D)\rightarrow H_0^2(D)$ a linear bounded operator defined via the sesqulinear form $(Tu,v)=a(u,v):=\int_{D}\Delta u\Delta v dx$. I have shown that T is coercive and self-adjoint. How can ...
3
votes
0answers
121 views

Time dependent or Bochner space references?

Does anyone have any recommendations where I can learn about time dependent or Bochner spaces? I mean spaces like $L^p(0,T; H^{-1}(\Omega))$. I think one needs some knowledge of distributions, so any ...
3
votes
0answers
161 views

Is the functional $F:H^{1}_{0}(\Omega) \longrightarrow \mathbb{R}$ given below weak lower semicontinuous?

Is the functional $F:H^{1}_{0}(\Omega) \longrightarrow \mathbb{R}$ given by \begin{equation} F(u) = \int_{\Omega} \langle (A_1(x)\chi_{\{u>0\}}+A_2(x)\chi_{\{u\le0\}}) \nabla u, \nabla u ...
3
votes
0answers
95 views

Truncation in singular integrals

After some thinking, I have a terrible headache caused by the following problem. Imagine we have a function $u \colon \mathbb{R}^n \to \mathbb{R}$ such that $u \in L^2(\mathbb{R}^n)$ ...
3
votes
0answers
199 views

Why is this functional coercive?

Let $h\in L^2(0,1)$, such that $|\int h \mathrm{d}x|<1$. On the space $H^1(0,1)$, consider $$J(v)=\frac{1}{2}\int_0^1 v'^2\,\mathrm{d}x+\int_0^1\sqrt{1+v^2}\,\mathrm{d}x-\int_0^1hv \,\mathrm{d}x.$$ ...
2
votes
0answers
45 views

Sobolev spaces necessary and sufficient condition

I am studying PDE now using mostly Evan's book. I have been thinking about the following problem and I don't know whether there is a solution or not. Problem Formulation: Let $A$ be a subset of ...
2
votes
0answers
20 views

Relationship between eigenvalues of differential operator and eigenvalues of its adjoint operator.

I am considering $L\phi = -\triangle \phi + u \cdot \nabla \phi$ and its "adjoint" operator $L^* \phi = -\triangle \phi - \nabla \cdot (\phi u)$ on a bounded domain $\Omega \subseteq \mathbb{R}^n$. ...
2
votes
0answers
30 views
+50

How to prove comparison principle for parabolic PDE (nonlinear)

Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for $x > 0$ and $F:(0,\infty) \to (0,\infty)$ continuous and increasing with $F(0) = 0$. Consider the PDE $$u_t = \Delta F(u) ...
2
votes
0answers
47 views

Sobolev Spaces separable

How do I demonstrate that the Sobolev spaces $W^{1,\infty}$ is not separable? PS: I know that space $L^{1,\infty}$ is not separable but was unable to use this information.
2
votes
0answers
27 views

$(g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s}$ right or wrong?

I am proving something, and I may need the following inequality: $$ (g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s} $$ where $(g,f)_{L^2} $ is inner product and $f$ and $g$ have higher enough regularity ...
2
votes
0answers
21 views

Dual space of Sobolev functions with homogenous neumann BC

Let $\Omega$ be a bounded Lipschitz-domain with outward normal vector $\nu$ and let us take a look at the Sobolev-spaces $H^1:=H^1(\Omega)$, $H^1_0:=H^1_0(\Omega)$ and ...
2
votes
0answers
30 views

$f_n \rightharpoonup f$ in $L^q(Q)$ $\forall q < \infty$ and $f_n' \rightharpoonup f'$ in $L^2(0,T;H^{-1})$ implies $f_n \to f$

(... in $C^0([0,T]; H^{-1})$. ) Let $f_n$ be a sequence of functions defined on $Q:=(0,T)\times \Omega$, where $\Omega$ is a bounded domain. I have read this: Since $f_n \rightharpoonup f$ in ...
2
votes
0answers
17 views

$T: H^{-\infty}(R^n) \to H^\infty(R^n)$ continuous iff $T: H^{-r}(R^n) \to H^s(R^n)$ bounded for all $r,s>0$?

Denote by $H^s(\mathbb{R}^n)$ the Sobolev space on $\mathbb{R}^n$ of order $s \in \mathbb{R}$ and recall that we have $H^s(\mathbb{R}^n)^\ast \cong H^{-s}(\mathbb{R}^n)$ for the dual space of ...
2
votes
0answers
33 views

Properties of the first eigenvalue of the $p$-Laplace operator

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain and $p\in (1,\infty)$, $p\neq 2$. Consider the usual Sobolev space $W_0^{1,p}(\Omega)$ and its dual $W^{-1,p'}(\Omega)$, where $1/p+1/p'=1$. Define ...
2
votes
0answers
96 views

Using the Sobolev-Nirenberg-Gagliardo inequality in a proof

If $1 \leq p < n$. The Gagliardo-Nirenberg-Sobolev inequality states that there exists a constant C such that $||u||_{L^{p^{*}}(\mathbb{R}^{n})} \leq C||Du||_{L^{p}(\mathbb{R}^{n})}$ for all $u ...
2
votes
0answers
72 views

(Sobolev space) A star domain in $\Bbb R^n$

We know the theorem: If $\Omega$ is a star domain in $\Bbb R^n$, then $C^{\infty}(\overline{\Omega})$ is dense in $W^{k,p}(\Omega)$. It means that ...
2
votes
0answers
22 views

Time continuity of a solution to the generalized porous medium equation

Let $\Phi(x,s)$ be a smooth, non-negative function with $\Phi(\cdot,0)=0$ and $\Phi$ increasing in $s$ and $\partial_s \Phi(x,0)=0$ and $\Omega$ be a bounded smooth domain. Now assume there is a weak ...
2
votes
0answers
95 views

Variation on the Sobolev space $H^1_0$

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set, let $$ C^1_0(\overline\Omega) = \{u\in C^1(\Omega)\cap C(\overline\Omega):u|_{\partial\Omega}=0\}, $$ and let $C^1_c(\Omega)$ be the space of ...
2
votes
0answers
95 views

Generalized chainrule for Sobolev functions with a cut-off

let $\Omega\subset\mathbb{R}^n$ be a bounded domain and $f\in C^1(\bar\Omega \times (0,g(x)),[0,1])$ and $f(x,\cdot)$ increasing and $g(x)\in\mathbb{R}$ continuous (maybe better, Lipschitz?). I want ...
2
votes
0answers
87 views

Don't understand proof of global solution to parabolic PDE

Let $u \in L^p(0,T;V)$ denote the solution to the parabolic PDE $$u_t + \Delta u = f\qquad\text{a.e $t \in [0,T]$}$$ where $u_t \in L^q(0,T;V^*).$ We have the usual assumptions on $V \subset H \subset ...
2
votes
0answers
25 views

PDEs on noncylindrical domains

Can someone give me some information about this area? PDEs on non-cylindrical domains I take to mean parabolic (let's fixed parabolic) PDEs on domains which evolve in time. What is the state of ...
2
votes
0answers
90 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
2
votes
0answers
70 views

$L^\infty(0,T;L^\infty(\Omega))$ embedding into continuous functions?

For each $t$, let $u(t):\Omega \to \mathbb{R}$ be a function defined on a bounded domain $\Omega \subset \mathbb{R}^n$. We can think of this as $$u(t)(x) = u(t,x)$$ for $x \in \Omega.$ If $\nabla u ...