The tag has no wiki summary.

learn more… | top users | synonyms

-2
votes
0answers
54 views

Sobolev norm estimate [on hold]

I would like to show the following inequality $$\left\|F(\Phi)\right\|_{W^{N,1}(\mathbb{R}^n)}\leq C\left\|F(\Phi)\right\|_{W^{N,2}(\mathbb{R}^n)}$$ holds for some $C > 0$. Here, $\Phi$ is the ...
0
votes
0answers
18 views

Bounded functions dense in Sobolev Spaces

Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M) \subset W^{2, p}(M)$ is always dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are ...
4
votes
1answer
166 views

Calculus of variation

This is probably simple but I'm stuck somewhere. I am trying to solve the calculus of variation problem that arise in an applied field: $$\min_{f \in C^1} \int^1_0 \int^1_0 (x-y)^2f(x,y)dxdy$$ ...
1
vote
0answers
66 views

Sobolev space properties and trace on a non-compact Riemannian manifold with boundary

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$. I am ...
2
votes
0answers
42 views

Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse. Does there ...
0
votes
0answers
46 views

How do these two extensions of Sobolev spaces relate to each other?

In nonparametric statistics, the following space is often used $$H_{per}^\beta := \left\{f:[0,1]\to\mathbb{R}:\,D^{\beta-1}f\,\text{absolutely continuous and } D^\beta f\in L^2[0,1], \\D^{k}f(0) = ...
3
votes
2answers
266 views

Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?

Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain. How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous? I define $H^{\frac 1 ...
1
vote
1answer
54 views

Image of (right) inverse trace map $\xi\colon H^{\frac 12}(\partial\Omega) \to H^1(\Omega)$ dense in $H^1(\Omega)$?

Let $\gamma\colon H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ be the linear trace map which has a right continuous inverse $\xi\colon H^{\frac 12}(\partial\Omega) \to H^1(\Omega)$. Is the image of ...
5
votes
1answer
373 views

Is there a generalization of Sobolev spaces for certain locally compact groups?

I'm interested in knowing how far and how general the theory of Sobolev spaces has been developed. Classically, $H^k(U)$ for $U$ a subset of $R^n$ is given by derivatives up to order $k$ being square ...
6
votes
2answers
219 views

Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order

My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...
2
votes
0answers
60 views

The definition of $W_0^{1,\infty}$

I know how to define $W_0^{1,p}(\Omega)$, $\Omega\subset R^N$ open bounded smooth boundary, for any $1\leq p<\infty$. However, for definition of $W_0^{1,\infty}(\Omega)$, I always confused. ...
3
votes
1answer
116 views

$\lVert u\rVert_{W^{2,p}}$ is bounded above by $\lVert \Delta_p u\rVert_{L^2}$ for $u \in W^{1,p}_0 \cap W^{2,p}$?

I work on a bounded domain in $\mathbb{R}^n$ and let $p \geq 2$ and the operator $\Delta_p u = \nabla \cdot (|\nabla u |^{p-2}\nabla u)$. Does the following inequality (or something similar hold) for ...
2
votes
1answer
56 views

Local fractional Sobolev inequality

If $\mathcal{X}$ is a smooth cutoff near 0 in $\mathbb{R}^n$, then $M_0 = \mathcal{X}(-\Delta+Id)\mathcal{X}$ is a self-adjoint operator in $L^2(\mathbb{R}^n)$. Because $M_0$ is semi-positive and the ...
9
votes
1answer
166 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
5
votes
2answers
216 views

A question on density of Lipschitz functions in weighted Sobolev spaces

Recall that for a domain $\Omega\subset \mathbb{R}^n$, the weighted Sobolev space $W^{1,n}(\Omega,\mu)$ is defined as $f\in L^n(\Omega,\mu)$ and the weak derivative $Df\in L^n(\Omega,\mu)$. Let now ...
0
votes
1answer
130 views

A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this. For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...
0
votes
0answers
37 views

Regularity of solutions to $u' + Au = f$ for nonlinear monotone operator $A$

Consider the equation $$u' + Au = f$$ $$u|_{\partial \Omega} = 0$$ $$u(0) = u_0$$ where $A:L^p(0,T;W^{1,p}_0) \to L^q(0,T;W^{-1,q})$ is some monotone nonlinear operator (with additional assumptions). ...
0
votes
1answer
45 views

Question regarding Laplace equation under Evans setting

All the following we use Evans notation. By Green's reconstruction formula, we could represent $u$ by $$ u(x)=\int_\Omega-\triangle u(y)G(x,y)dy-\int_{\partial \Omega}u(y)\partial_\nu ...
1
vote
1answer
109 views

Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality? A search on Google and MathSciNet give me only a handful of results which greatly ...
1
vote
0answers
31 views

Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)? I am thinking of eg. ...
2
votes
1answer
100 views

Question regarding to approximate continuity

Given $u\in BV(R^N)$, we say $u$ is approximate continuous at $x$ and the approximation limit is $l\in R$ if $$ \lim_{r\to 0}\frac{\mathcal{L}^N(B(x,r)\cap \{|u-l|>\epsilon\})}{r^N} =0 $$ for all ...
5
votes
2answers
135 views

Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
3
votes
1answer
102 views

Equivalence discrete H^2 Sobolev norms

My aim is showing the equivalence of two discrete Sobolev norms. On $\mathbb{Z}^d$, $d\ge 2$, one defines the discrete derivative in the direction of the coordinate vector $\vec e_j$ as $$ ...
1
vote
0answers
93 views

Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point. I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
3
votes
0answers
88 views

Strong solution to $u_t - \Delta_p u = f$

For $p > 1$, consider the equation $$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$ $$u(0) = u_0$$ $$u|_{\partial\Omega} =0$$ for all $v \in ...
7
votes
0answers
267 views

Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms \begin{align*} ...
4
votes
0answers
52 views

Best constant for a trace inequality

Having an open, simply connected set $\Omega \subset \Bbb{R}^N$ we may ask what is the best constant $C$ (if it exists) in the inequality $$ \int_{\partial \Omega} u^2 \leq C\int_{\Omega} |\nabla ...
2
votes
1answer
241 views

Sobolev Space, “characteristic function” for the weak derivative

Let $\Omega$ be an open bounded subset of $\mathbb{R}^N$, working in the space $H_0^1(\Omega)$ with the inner product $$(u,v)_{H_0^1} = \int_\Omega \nabla u \cdot \nabla v$$ for $u\in H_0^1$ and ...
0
votes
0answers
51 views

A question related to the Nikolskii fractional spaces

Consider a Nikolskii space, that is $$ N^{s,p}=\{f\in L^{p}(I, d\ell): \|f\|_{\overline{N}^{s,p}}=\underset{h>0}{\sup}h^{-s}\|\tau_{h}f-f\|_{L^{p}(I_{h})}<\infty \}, $$ where ...
1
vote
0answers
120 views

Applications of composition operators on Sobolev spaces

I wold like to know some examples where composition operators on Sobolev spaces are useful. I'm in the following situation. $L^1_p(D)$ - homogeneous Sobolev space, in other words space of locally ...
1
vote
1answer
61 views

orthonormal basis or Parseval frame for Sobolev spaces

Consider the uni-variate Sobolev space of order $m$: $$ \mathcal{W}_2^m=\{ f:[0,1] \rightarrow \mathbb{R}|f,f^{(1)},\dots ,f^{(m-1)}\, \text{are absolutely continuous and}\, f^{(m)}\in L^2\}.$$ It is ...
1
vote
0answers
47 views

Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$. Consider the system, with $u^\epsilon, v^\epsilon ...
4
votes
0answers
75 views

Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts: Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean ...
2
votes
0answers
99 views

Regularity of solution to Fokker Planck equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE \begin{align} \partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\ \rho(t ...
0
votes
0answers
256 views

Gradient of the energy functional in $H^{1,2}$-norm

I have to use estimates for the gradient of the energy functional on the free loop space of a fixed compact manifold $Q$. As such, one considers $H^{1,2}$-maps of the circle into $Q$. The energy ...
0
votes
1answer
152 views

Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form $$|u(t)|_{L^p} \leq ...
3
votes
0answers
123 views

Linear interpolation in weighted Sobolev spaces

I am reading a paper regarding the pricing of certain financial derivatives making use of the finite element method. In this paper the following weighted Sobolev spaces are introduced: $W_{0}$ = $ \{ ...
3
votes
1answer
142 views

Strong maximum principle for weak solutions

Suppose I have a linear parabolic equation with solutions in the Bochner-Sobolev spaces (eg. $L^2(0,T;H^1) \cap H^1(0,T;H^{-1})$). Is it possible to obtain a strong maximum principle with a proof that ...
0
votes
1answer
53 views

properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...
6
votes
1answer
177 views

Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...
1
vote
0answers
130 views

convergence of $e^{it\Delta}f$

I heard of a conjecture that $e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$ but couldn't find a proper reference.
0
votes
1answer
141 views

Weak solution of a heat equation is zero?

I work on a bounded domain in $\mathbb{R}^n$. Let $u \in H^1(0,T;H^{-1})\cap L^2(0,T;H^1)$ be a solution of the heat equation: $$\langle u', v \rangle + \int \nabla u \nabla v = 0$$ for each test ...
3
votes
2answers
191 views

How do functions operate in a Sobolev space $H^{s}$?

Let $s>\frac{1}{2};$ and define a Sobolev space as follows: $$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$ Fact: Let $m$ ...
1
vote
0answers
111 views

Compact embedding

Let $\Omega$ be a domain in $\mathbb{R}^d$ (not necessarily bounded, no regularity assumption) and $K \subset \Omega$ a compact. Is it true that the embedding $H^1_0(\Omega) \rightarrow ...
1
vote
1answer
144 views

Weak convergence of a sequence

I have a sequence $(u_k) \in L^2_{loc}(\mathbb{R}^+; H^1_0(\Omega) )$ and $u \in L^2_{loc}(\mathbb{R}^+\times \Omega )$ such that for any $T >0$ and any compact $K \subset \Omega$ we have : ...
3
votes
1answer
57 views

Compact imbedding - reference request

I am looking for reference to the following imbedding theorem Theorem For any $s>1/2$ fractional Sobolev space $W^{s}_2(0,1)$ imbeds compactly into $C([0,1])$. I know how to prove it but I need ...
2
votes
0answers
51 views

Approximating a superharmonic function, by smooth superharmonic functions

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic). The standard ...
1
vote
1answer
148 views

Getting existence for $L^1$ data given existence for $L^\infty$ data and $L^1$ continuous dependence result

Let $F:\mathbb{R} \to \mathbb{R}$ be locally Lipschitz, monotone and continuous. For the sake of concreteness only let us suppose it is of porous medium type (eg. $F(r) = r^{\frac 1m}$.) Let $\Omega ...
0
votes
1answer
86 views

Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$. It follows that for almost all $t$, $u_n(t)$ is bounded in ...
0
votes
1answer
178 views

A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is 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.. ...