The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
27 views

One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi + \sum_i a_i(x, \varepsilon)\partial_i \varphi + \varphi = N(\varphi),$$ where $N$ is a smooth ...
2
votes
0answers
38 views

Are functions whose partial derivatives are simple functions dense in $W^{1,\infty}$?

In a 2D domain, are the functions whose partial derivatives are simple functions dense in $W^{1,\infty}$ ?
3
votes
1answer
106 views
1
vote
0answers
43 views

biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...
1
vote
0answers
101 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
1
vote
0answers
35 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 ...
1
vote
0answers
82 views

Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write \begin{equation} \partial_1(f-\partial_1 u)=0 \end{equation} in $\Omega$. Then one may have the ...
1
vote
0answers
46 views

“Friedrichs extension Laplacian” vs “Weak Laplacian” and fractional powers

Take $\Omega$ to be a bounded domain and consider Neumann BCs. In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...
0
votes
0answers
24 views

Equivalence of Sobolev--Slobodeckii and interpolation space on boundaries

Let $s \in (0,1)$. Given a sufficiently smooth hypersurface $\Gamma$ in $\mathbb{R}^n$, one can define the Sobolev--Slobodeckii space with the norm $$|u|_{H^s(\Gamma)}^2 = \int_\Gamma |u|^2 + ...
1
vote
1answer
32 views

Trace spaces on convex polyhedra: compatibility conditions at edges

Let $\Omega$ be a convex polyhedron in $\mathbf{R}^3$ with boundary $\partial\Omega$ consisting of $N$ polygons $\{\Gamma_j\}_{j=1}^N$. It's well known that in general $$ H^s(\partial \Omega) \neq ...
1
vote
0answers
31 views

About norm on $H^{\frac 12}(M \times \{0,1\})$

Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary. Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...
0
votes
0answers
27 views

Sobolev space notation for interpolation and Gagliardo norm best practice

I work on a compact manifold $M$. I'm using three different Sobolev spaces: $A^s(M)$ defined set of functions $u$ with the Gagliardo norm. $B^s(M)$ defined as interpolation space between different ...
0
votes
0answers
42 views

How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in ...
2
votes
2answers
133 views

Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.) Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...
0
votes
1answer
57 views

Sobolev chain rule on non-compact manifolds

Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry). Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions ...
1
vote
1answer
113 views

Is it true that for dimension d=3, if $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ then exponent of v or -v is not summable?

I have the following Question: 1) Is it true that if $\Omega\subset\mathbb R^3$, $\Omega$ - bounded, $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ implies $\int\limits_{\Omega}{e^vdx}=+\infty$ ...
1
vote
1answer
58 views

A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.) Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ...
0
votes
0answers
40 views

Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$

Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin. Is it true that $$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...
0
votes
2answers
102 views

Operator on a Sobolev space [closed]

I'm studying Sobolev spaces using Evans' PDE book. I can't figure out this simple fact. Let $L$ be an operator in this form: $$Lu= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}.$$ I can't understand why ...
0
votes
1answer
129 views

About weak derivatives [closed]

I have a question about weak derivatives. Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
1
vote
0answers
91 views

Does strong convergence in $W_p^1$ imply strong convergence of derivatives of absolute values in $L_p$?

Let $G$ be a Lipshitz domain and $u_n \to u$ in $W_p^1(G)$. Is it correct, that $\frac{\partial |u_n|}{\partial x_m} \to \frac{\partial |u|}{\partial x_m}$ in $L_p(G)$? I know, that $\frac{\partial ...
1
vote
1answer
44 views

An inequality with critical Sobolev exponent

Let $\Omega\subset \mathbb{R}^n, n\geq 3$ be a nice bounded domain and $2^*=2n/(n-2)$ the critical Sobolev exponent. One may expect that $\forall \epsilon>0$, $\exists C_\epsilon<\infty$ such ...
4
votes
2answers
165 views

Equivalent Norms on Sobolev Spaces

When $k$ is a positive integer and $1<p<\infty$, we know that there is some $C>0$ such that for all $u\in W^{k,p}\left(\mathbb{R}^{N}\right) :$ $$ \left\Vert \left( -I+\Delta\right) ...
1
vote
1answer
100 views

Elliptic pde with bilaplacian; boundary conditions.

I am interested in the solvability of $$ \Delta^2 u + u = f(x) \mbox{ in } \Omega $$ with $ \partial_\nu u = \Delta u=0$ on $ \partial \Omega$ where $ f(x)$ is some smooth bounded function on $ ...
0
votes
1answer
97 views

How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?

Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary. My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that ...
3
votes
1answer
86 views

Generalization of maximum principle to other norms

Consider the Laplace equation $\Delta u=0$ in $\Omega \subset \mathbb{R}^d$ with Dirichlet boundary conditions, i.e. $u=g$ on $\delta \Omega$. By the maximum principle we know that the solution $u$ ...
2
votes
1answer
82 views

Besov and Triebel-Lizorkin spaces

Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$, $$ 1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad ...
3
votes
0answers
67 views

Chain rule for weakly differentiable functions

Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...
4
votes
1answer
113 views

[This might be a easy question]: A possible trace (inequality) defined under negative Sobolev scale

I have a stupid question: Why is that not possible (if it is not) to define the trace of a function in a very weak regularity space $H^{-s}(\partial \Omega)$? We usually encounter trace theorem as ...
0
votes
1answer
136 views

Sobolev type embedding

Consider a compact manifold $M$ and a point $q \in M$. Let us say that that the following inequality holds: $$ \Vert \varphi u\Vert_{L^p} \leq C\Vert \varphi u\Vert_{H^1},$$ where $\varphi \in ...
1
vote
0answers
89 views

Vector valued Sobolev spaces

My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...
1
vote
0answers
35 views

Rearrangement in Bessel function spaces

I consider, for $0<s<1$, the Bessel function space $$ L^{s,2}(\mathbb{R}^d) = \left\{f\in L^2(\mathbb{R}^n) : (1+|\cdot|)^{s/2}\hat{f}(\cdot)\in L^2(\mathbb{R}^n)\right\}. $$ The question I ...
1
vote
1answer
92 views

Norm equivalent to Sobolev norm? [closed]

On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...
1
vote
1answer
192 views

Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...
5
votes
1answer
116 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
2
votes
0answers
62 views

Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
0
votes
0answers
43 views

interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding \begin{equation} L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...
6
votes
3answers
358 views

Derivatives of radial functions can be bounded by derivatives in terms of radial distance?

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$, and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$. Prove or disprove the following. Given any ...
0
votes
0answers
27 views

Compact embedding for Bochner spaces

I was reading some topics about Bochner integral and this question arises: Assume we have a sequence $u_n \in H^s(0,2\pi,L^2(\mathbb{T}))$ converging weakly to $v$ for all $s \in (\frac12, \frac58)$, ...
2
votes
0answers
34 views

Finding an explicit constant in finite element error estimates

Background: In a finite element approximation to the solution of a linear PDEs, estimates on the order of convergence of the approximation to the solution rely on a theorem of Bramble and Hilbert ...
1
vote
0answers
90 views

Sobolev trace theorem

Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$, where $\Omega$ is knows as a bounded domain with smooth boundary $\partial D$. We choose any subdomain $D\subset Q$ with smooth boundary $\partial ...
3
votes
1answer
148 views

Mixed (anisotropic) Sobolev spaces

Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
3
votes
1answer
108 views

Can you pair $H^s(\Omega)$ and $H^{-s}(\Omega)$ on a domain $\Omega$?

Consider the fractional Sobolev spaces on $\mathbb R^n$ $H^s(\mathbb R^n) := \left\{ u \in \mathcal S'(\mathbb R^n) \; : \; ( 1 + |\xi|^2 )^{s/2} \hat u \in L^2(\mathbb R^n) \right\}$. Let $\Omega$ ...
3
votes
1answer
87 views

Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative. Here I am trying to look from another side: what is a difference between Sobolev space and ...
2
votes
1answer
118 views

Fractional Sobolev spaces and interpolation in unbounded Lipschitz domains

I am not really familiar with the topic, thus I am looking for some references about the following problem. Let $s>0$ be a positive real and let $p\in(1,+\infty)$. We define the Bessel Potential ...
1
vote
1answer
88 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
0
votes
0answers
75 views

About equivalence of two fractional Sobolev/Hilbert spaces

Let $(\varphi_k, \lambda_k)$ be the eigenelements of the Neumann Laplacian. It's possible to define a space $$H(\Omega) = \{ u \in L^2(\Omega) \mid \sum_{k \geq 1}\lambda_k^{\frac ...
2
votes
2answers
193 views

compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold. Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset ...
3
votes
0answers
57 views

Pointwise (a.e) evaluation of $\sum_{n \geq 0}(u,w_n)_{L^2}w_n$ and equalities in $L^2$

Let $w_n$ be a orthonormal basis of $L^2(\Omega)$. Given $u \in L^2$ we can write $$u=\sum_{n \geq 0}(u,w_n)_{L^2}w_n.$$ Suppose $w_n$ are the eigenfunctions of the Neumann Laplacian. We can write ...
3
votes
1answer
119 views

Interpolation Operator Bounded in Sobolev Norm

Let $m\in \mathbb{N}$, $p\in [1,\infty]$, $W^{m,p}([0,1])$ the space of all functions $[0,1]\rightarrow \mathbb{R}$ which are $m$ times weakly differentiable and weak derivatives in $L^p$, ...