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

1
vote
0answers
144 views

Functions of fractional-order Sobolev spaces

In fracture mechanics one might end up dealing with functions such as $$w(r,\theta) = \sqrt{r} \sin \frac \theta 2,$$ which is defined, for example, on a cracked unit circle, $\Omega = ...
1
vote
0answers
61 views

Don't understand a PDE argument involving $L^p$ norms and inequalities

I'm reading this paper. I do not understand how the author proves Corollary 5.12 for the case $p=2$. He addresses everything except $p=2$ but claims it holds for all $p$. Can someone help me to see ...
1
vote
0answers
45 views

Variable density in the equation of motion

At a fixed point in time, consider the equation of motion $$ \nabla \cdot \boldsymbol \sigma(u) + \boldsymbol f = \rho \ddot{\boldsymbol u} \quad \text{in $\Omega \subset \mathbb R^d$} $$ for a ...
1
vote
0answers
61 views

Extending by zero a Sobolev function

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set and $u\in W_0^{1,2}(\Omega)$. Define $B_R=B(x_0,R)$ for $x_0\in\partial\Omega$ and consider $\tilde{u}=u\chi_{\Omega\cap B_{2R}}$. Do we need some ...
1
vote
0answers
22 views

Showing $\langle ((u-c)^+)', (u-c)^+ \rangle = \langle u', (u-c)^+ \rangle$

Let $u \in L^2(0,T;H^1)$ have weak derivative $u' \in L^2(0,T;H^{-1}).$ Let $c$ be a constant. I want to show that $$\langle ((u-c)^+)', (u-c)^+ \rangle = \langle u', (u-c)^+ \rangle$$ where $(f)^+ = ...
1
vote
0answers
62 views

implications of convergence in sobolev spaces

If we are given that $O \subset \Omega$ is open and bounded and $a: \Omega \times \mathbb{R} \times \mathbb{R}^{n} \rightarrow \mathbb{R}$. We have a sequence $\{u_{m}\}$ satisfying $$ u_{m} ...
1
vote
0answers
75 views

some sobolev norm estimation

I would like to show this inequality. I need help to show this inequality Let $F(\Phi)=\left|\Phi\right|^{\alpha}\Phi$ with even integer $\alpha>0$. Let $k$ be a positive integer satisfying ...
1
vote
0answers
32 views

Compactness in Sobolev spaces

I am looking for characterizations of compactness in the Sobolev space $H^{-1}$. In particular, I am looking for a characterization involving the Fourier transform. Can anyone suggest some results ...
1
vote
0answers
22 views

Characteristic Method for linear equation

I'm looking here for a reference to solve the following equation with the method of characteristic $$ \partial_t U + A\partial_x U = f$$ $$U(t=0,x)=U_0(x)$$ $$B(t,x=0)U = 0$$ where $(t,x)\in ...
1
vote
0answers
115 views

Versions of Trace Theorems

I have a quick question about the Trace Theorem. I have been using Evans book of Partial Differential Equations to study Sobolev Spaces. The Trace Theorem is given as "If $U$ is bounded and $\partial ...
1
vote
0answers
42 views

Aproximating a function on SO(3)

By $SO(3)$ I mean rotation matrices. Let $\cal{L}=\{f:[0,l]\to \rm{SO}(3)\} \cap L^1([0,l];\mathbb{R}^{3\times3})$. How to approximate funkctions from $\cal{L}$ with functions from ...
1
vote
0answers
47 views

Estimate difference of solutions of an equation with a bilinear symmetric continuous form

My question refers to differential equations in Sobolev spaces. It is as follows: Let $\Omega \subset \mathbb{R}^n$ be a bounded open set. Let $a: H_0^1(\Omega) \times H_0^1(\Omega) \rightarrow ...
1
vote
0answers
99 views

Product rule for Banach space-valued differentiable functions?

Let $\Omega \subset \mathbb{R}^n$ be a bounded open set and let $f(\cdot,\cdot)$ and $g(\cdot,\cdot)$ be functions from $[0,T]\times \Omega$ into $\mathbb{R}$. Suppose that $f \in ...
1
vote
0answers
59 views

The space $C^1([0,T]\times \Omega)$ for $\Omega$ open and bounded

Let $\Omega$ be open and bounded. Is there anything nice I can say about the space $C^1([0,T]\times \Omega)$ and its inclusion in some Bochner like spaces? If $f \in C^1([0,T]\times \Omega)$ then ...
1
vote
0answers
41 views

Estimative in Hs spaces

Consider $W(t)$ defined by $\widehat{W(t)} = (2 \pi)^{\frac{-n}{2}} \cos (t|\xi|)$. Consider $g \in H^{s-1} (R^{n-1})$. Show that: $$ \| W(t ) *g\|_{H^s} \leq c \sqrt2 (1 + |t|)\| g\|_{H^{s-1}}$$ ...
1
vote
0answers
20 views

Can $u\in W^{1,2}_0$, $\Delta u\in L^2$, $u\geq 0$ be approximated by a sequence smooth function $u_k\geq 0$

Assume that $\Omega\in R^3$ is a bounded Lipschitz domain. $u\in W^{1,2}_{0}$, $\Delta u\in L^2$, $u\geq 0$. Is it possible to approximate u by a sequence of nonnegative smooth functions $u_k$, ...
1
vote
0answers
67 views

An weak type sobolev multiplication theorem

Suppose that $f_i\rightharpoonup f$ in $W^{1,p}$ and $g_i\rightharpoonup g$ in $W^{1,q}$ with $q=\frac{np}{n-p}$, what the best $r$, for which we have $f_ig_i\rightharpoonup fg$ in $L^r$ (maybe ...
1
vote
0answers
27 views

norm of $x \in \mathbb R^d$ is in Sobolev space

For which values of $\alpha, k,p,d$ is $$ \|x\|^\alpha \in \textrm{W}^{k,p} (B(0,1)) \quad ? $$ where $\displaystyle{ \textrm{B}(0,1) = \{x \in \mathbb R^d : \|x\|<1\}}$ This is an ...
1
vote
0answers
23 views

Weak convergence version of sobolev multiplication theorem

Suppose that $1/n-1/p+1/q=0$, and $f_i$ weakly convergent to $f$ in $W^{1,p}$, $g_i$ weakly convergent to $g$ in $W^{1,q}$, can we conclude that $f_i*g_i$ weakly convergent to $f*g$ in $W^{1,p}$?
1
vote
0answers
41 views

Trigonometric functions are dense in Sobolev Spaces

So I am trying to prove that the following functions $\{f_n=\frac{1}{\sqrt{2 \pi}}e^{inx}\}_{n=-\infty}^{n=\infty}$ are dense in the space $H^{n}[0,2\pi]$. For the proof it would be safe to assume ...
1
vote
0answers
30 views

A projection error estimation in Sobolev space of Fractional order (1D)

Let $\Pi_0$ be the $L_2$ projector that maps $u \in L_2(I)$ to a constant function, where $I$ is taken as the interval $(0,1)$. I would like to find an error estimation for $u \in H^{1/2}(I)$, such ...
1
vote
0answers
76 views

Continuous and dense embeddings and the density of sets in Hilbert space.

Suppose $H$ is a Hilbert space of functions $f:\Omega\to \mathbb{R}^n$ with $\Omega\subset \mathbb{R}^n$ open, bounded and with Lipschitz boundary (take for example $H=H_0^1(\Omega)^n$) and suppose ...
1
vote
0answers
167 views

If a sequence of smooth functions converge in the Sobolev norm, what can one say about the limiting function?

Let $W^{k,p}(\mathbb{R}^n)$ be the Sobolev space of $k$ times weakly differentiable functions on $\mathbb{R}^n$, having finite Sobolev $p$ norm. Suppose $\{f_i\}$ is a Cauchy sequence in ...
1
vote
0answers
29 views

Does $f(u)\in H^1$ imply that also the “inner average” $f(u_h)\in H^1$?

To add more details to the question: Let $u\in L^\infty(\Omega,[0,1])$ (bounded domain, space dimension $n$ larger than one), $f\in C^1([0,1])$ increasing but $f'(0)=f'(1)=0$ and such that $f(u)\in ...
1
vote
0answers
165 views

A contradiction to $C_c^\infty \subset H^1$ not dense?

Now we know that $C_c^\infty(\Omega) \subset H^1(\Omega)$ is NOT dense. We also know that (eg. from Lions' and Magenes) that if $V \subset H \subset V'$ is Hilbert triple, $$\mathcal{D}(0,T;V) ...
1
vote
0answers
121 views

Variational problem - continuity exercise

Let $\Omega$ a bounded connected open regular set, and let $f \in L^2(\Omega)$. We consider the variational problem: find $u \in H^1(\Omega)$ such: $$\displaystyle\int_{\Omega} A \nabla u \cdot \nabla ...
1
vote
0answers
41 views

$H^1$ estimate by $L^2$-norm

Let $(\tau_h)$ be a shape regular triangulation. Prove that there exists a constant $c>0$ such that $$\|v\|_{H^1(\Omega)}\leq \frac{c}{\min_{T\in\tau_h}} \|v\|_{L^2(\Omega)}$$ for all $v\in V^h$ ...
1
vote
0answers
73 views

Prove operator $T$ is onto

Consider the Hilbert spaces $X := H^{1}(\Omega)\times H^{1}(\Omega)$ and $Y:=L^2(\Omega)\times L^2(\Omega)$, where $\Omega =\ ]{-}\pi, \pi[$, and \begin{eqnarray*} \langle(u,v), (z,w)\rangle_X & = ...
1
vote
0answers
112 views

adjoint operator in Sobolev space

Let $g\in H_0^1(\Omega)\cap W^{2,\infty}(\Omega),$ and let us define the operator $B : y \to g y$ from $H:=H_0^1(\Omega)\cap H^2(\Omega)$ to $H$, which we endowed with inner product : $<u,v>_H ...
1
vote
0answers
39 views

“Compensated weak compactness” in $W^{1,1}$

In a problem I'm working on I want to show that a bounded sequence $\{u_n\} \subset W_0^{1,1}((0,1))$ converges weakly. Of course, since $W^{1,1}$ is not reflexive I don't get this for free. The ...
1
vote
0answers
146 views

Sobolev trace theorem for manifolds with boundary

Can I get a reference to a trace theorem for a manifold $M$ with boundary $\partial M$, and I am hoping the inequality $$\lVert Tu \rVert_{L^2(\partial M)} \leq c\lVert u \rVert_{H^1(M)}$$ will hold. ...
1
vote
0answers
41 views

about Sobolev imbedding theorem and dual sapce question

Let $D$ be an open and bounded subset of domain $\Omega$, let $f$ be a distribution on $\Omega$. Show that there is an integer $k$ such that the restriction of $f$ to $D$ is in $H^{-k}(D)$. The hint ...
1
vote
0answers
56 views

How to eliminate the regularizing function item?

Let $\mathbf{f} \in W^{1,q}_{loc}(\mathbb{R}^n)$, $J \in L^p (\mathbb{R}^n)$, with $1 \leq p,q \leq \infty$, and $\frac{1}{p}+\frac{1}{q} = 1$, $\rho_{\epsilon}$ be a regularizing kernel for ...
1
vote
0answers
80 views

Sobolev Spaces: The difference between $W^{k,p}$ and $W^{k,p}_0$

Let $U$ be an open set in $R^d$. I am confused about the differences between $$W^{k,p}(U):=\{u\in L^p(U): D^{\alpha}u\in L^p(U) \text{ for all } |\alpha|\le k\}$$ and ...
1
vote
0answers
39 views

Finding an optimal $p$ such that $u \in L^p$

We have an $L^2$ function $u$ defined on $\mathbb{R^2}$ with compact support such that $u \in H^{2/3}$ (H stands for Sobolev spaces, as always), $\partial_y u \in L^2$, and $(x\partial_y - ...
1
vote
0answers
91 views

Solving a Sturm-Liouville differential equation variationally

This is a problem from Haim Brezis' functional analysis book (Exercise 8.41). I solved parts of it, but am stuck on some parts/want confirmation on the method. The problem is as follows: Let $q ...
1
vote
0answers
114 views

Hölder norm estimates

How do you prove the following estimate for composition of functions: If $k\geq 1$, then there exists a constant $c=c(k,\alpha)$ such that $$ \|f_1\circ g_1-f_2\circ g_2\|_{k,\alpha}\leq ...
1
vote
0answers
64 views

How can I integrate this?

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $\phi_1,v,\phi\in W_0^{1,p}(\Omega)$ with $p\in (1,\infty)$. How can I evaluate the integral: $$\int_0^1F(s)ds$$ where ...
1
vote
0answers
46 views

How can I prove $\mathcal S$ is dense in $W^{s,2}$?

Let $\mathcal S (\Bbb R^n)$ be the Schwartz class and $W^{s,2}(\Bbb R^n)$ be the Sobolev space($s=0,1,\cdots$). In fact I know that $C_c^\infty(\Bbb R^n)$ is dense in $W^{s,2} (\Bbb R^n)$ and ...
1
vote
0answers
46 views

How to show that $u(t,x)\in C([0,T],H^{1}(\mathbb{R}^{n}))$?

If $u(t,x)\in L^{2}([0,T],H^{2}(\mathbb{R}^{n}))$, $\partial_{t}u \in L^{2}([0,T],L^{2}(\mathbb{R}^{n}))$, prove that $$ u(t,x)\in C([0,T],H^{1}(\mathbb{R}^{n})) $$
1
vote
0answers
35 views

Density of finite element functions in $W^{1,p}(\Omega)$

I would like to know if the following statement is true: For each $u \in W^{1,p}(\Omega)$ and $\varepsilon > 0$ there exists a piecewise affine function $u_{\varepsilon}$ and a triangulation of ...
1
vote
0answers
38 views

Minimum is attained in a subset of a Sobolev space

Let $\Omega \subset \mathbb R^n$. I have a functional of the form, $$\int_{\Omega}f(x,u,\nabla u)dx$$ where $u \in W^{1,p}(\Omega, M)$, $M \subset \mathbb R^d$ is a compact, smooth Riemannian ...
1
vote
0answers
256 views

A continuous embedding.

If $2 \le q \le \infty$ and $2s >n$, then is there a continuous embedding $ H^s (\Bbb R^n ) \hookrightarrow L^q(\Bbb R^n) $ ? Here $H^s$ means a general Sobolev space for $s = 0,1,\cdots$.
1
vote
0answers
47 views

One of conjectures of De Giorgi

conjecture: If $\exp(tw), \exp(tw^{-1}) \in L^1_{\operatorname{loc}}$ for each $t > 0$ then $w$ is regular weight. $w$ is regular if weighted Sobolev space $W^l_p(\Omega,w)$ is equal to the ...
1
vote
0answers
159 views

A weak convergence in Sobolev space.

Let $u \in C^0([0,T], H^{s-1}(\Bbb R^n)). $ Let $\{t_n \} \subset [0,T]$ such that $\lim_{n \to \infty} t_n = t_0$. Let $ u(t_n ) \to u(t_0) $ in the Sobolev space $H^{s-1} ( \Bbb R^n )$ for $s = ...
1
vote
0answers
71 views

Proving $ f \in C_b^1 ( [0,\infty) \times \Bbb R^n) $ by using the Sobolev inequality.

Let $s > 1 + n/2$ for $n \in \Bbb N$, and $s$ be an integer. If $f \in C^0 ( [0,\infty), W^{s,2} (\Bbb R^n )) \cap C^1 ( [0, \infty) , W^{s-1,2}(\Bbb R^n)) $ then how can I show that $$ f \in C_b^1 ...
1
vote
0answers
69 views

details in a proof

I saw this statements in a proof, but I would like to see the details. Let $U \subset \mathbb{R}^{n}$ and $u$ sperharmonic function in the sense that \begin{equation} \int_{D} \langle \nabla u(x) ...
1
vote
0answers
156 views

Is $C_0^\infty $ dense in $W^{m,p}$?

Is $C_0^\infty $ dense in $W^{m,p}$? Here $C_0^\infty$ = $C_c ^ \infty$ : $C^\infty$ with compact supports, and $W^{m,p}$ : Sobolev spaces.
1
vote
0answers
180 views

A question about weak lower semicontinuity

Let $\Omega \subset \mathbb{R^{n}}$ be a bounded domain and $u , u_j \in H^{1}(\Omega)$ such that $u_j \rightharpoonup u$ in $H^{1}(\Omega)$ $$ F_{1}(u) = \int_{\{ u > 0\}} \dfrac{1}{2}\langle A_1 ...
1
vote
0answers
247 views

Application of method of continuity in partial differential equations

Consider a differential operator $$L_t:= (1-t)(\Delta-\lambda) + t L,\qquad t\in[0,1].$$ For any $u\in C^2_0(\mathbb{R}^2)$, we have $$\lambda^2 \|u\|_2^2 + 2\lambda\sum_{i}\|u_i\|_2^2 + ...