All Questions
59 questions
12
votes
3
answers
2k
views
Reference request: Simple facts about vector-valued Sobolev space
Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = H^{-1}(\...
- 29.8k
11
votes
0
answers
320
views
+50
Sobolev's PDE Scottish Book Problem (Problem 188)
In 1940 Sobolev recorded the following problem in the Scottish Book, and offered a bottle of wine for a solution.
In 2015, when the second edition of the Scottish Book with updates and commentary on ...
- 13k
9
votes
2
answers
4k
views
Negative real order Sobolev spaces: density and representation
First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial u}{\partial{\mathbf{n}}},v\rangle_{H^{1/2}(\...
- 291
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
8
votes
2
answers
297
views
Averaging the mass of a Sobolev function $f\in W^{1,p}(\Omega)$ near $\partial\Omega$
Recently, I asked a somewhat related question here. In the comment section, I found the formula
$$
\lim_{r\to 0}\frac{1}{r}\int_{\Omega_r} f(x)\,dx = \int_{\partial \Omega}f(\sigma)\,d\mathcal{H}^{n-1}...
- 1,245
8
votes
0
answers
462
views
Regularity result for the boundary value problem for the heat equation
Let $\Omega$ be an open bounded subset of $\mathbb R^N$.
Let $u_0 \in L^\infty(\Omega)$ and $f \in L^\infty((0,T)\times\Omega).$
Consider the following boundary value problem for the heat equation:
...
user139845
8
votes
0
answers
260
views
Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$
I have found the following claim made very clearly at least once in the published literature (see below):
Let $P$ be a linear partial differential operator defined on an open set $\Omega \subset \...
- 503
7
votes
1
answer
847
views
Caccioppoli-Leray Inequality for De Giorgi's theorem proof
I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients.
This is the translation of the original paper
De Giorgi paper
At page ...
- 265
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
- 1,759
6
votes
0
answers
202
views
Reference request: Elliptic regularity estimate in domains with $C^{1,\alpha}$ boundary
I'm wondering if there is a reference for the following (or if it's not true). Let $\Omega$ be a bounded domain with $C^{1,\alpha}$ boundary, where $0<\alpha<1$. For the inhomogeneous Dirichlet ...
5
votes
3
answers
1k
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 2}(\...
- 307
5
votes
2
answers
364
views
Euler-Lagrange equations for minimizer of energy with indicator function
I'm looking for a modern explanation/proof of the derivation of Euler-Lagrange (or first-order or the "first variation") conditions for
$$\min_{u \in H^1_0(\Omega), u \geq 0} \int_\Omega |\...
- 93
5
votes
1
answer
453
views
Seeking for references on some PDEs
This is not a technical mathematical question. I came across some PDEs with no references nor their names.
$$-\Delta u + \int_\Omega udx = f\qquad \hbox{in $\Omega$} \label{1}\tag{Eq1}$$
The above ...
- 1,101
5
votes
0
answers
101
views
A bounded extension operator
Let $\Omega\subset\mathbb{R}^n$ be a bounded domain with smooth boundary $\partial\Omega$. Consider the harmonic extension operator $E :L^2(\partial \Omega) \rightarrow H^{1/2}(\Omega)$ which assigns ...
- 81
4
votes
1
answer
1k
views
Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$
I want to show:
Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align}
H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N)
\end{align}
is compact.
I was able to show ...
- 437
4
votes
1
answer
202
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. ...
- 93
4
votes
0
answers
111
views
A reference for $\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u$
Let $\Omega$ be an open domain with nice boundary and $u\in W^{1,p}(\Omega)$. I believe that $|u|^p\in W^{1,1}$ with
$$
\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u
$$
but couldn't find a good ...
- 1,245
3
votes
1
answer
296
views
Weighted Lebesgue space with exponential weights: smoothing effect and properties
I am researching whether there are weighted Lebesgue spaces of the type
$$ \left\{ f\omega(x)\in L^p(\mathbb{R}^n):\|f\|_{L^p_\omega}=\int_{\mathbb{R}^n}|f|^p\omega^p(x)\,dx< \infty,\right\} $$
...
- 677
3
votes
3
answers
252
views
Existence of an extension operator $E: W_0^{s,p}(\Omega)\rightarrow W^{s,p}(\mathbb{R}^d)$?
If $\Omega$ is an open Lipschitz domain with bounded boundary then their exists a continuous operator $E: W^{s,p}(\Omega) \rightarrow W^{s,p}(\mathbb{R}^d)$ where $s\in (0,1)$ such that $Eu=u$ on $\...
- 163
3
votes
1
answer
466
views
Equivalence between two fractional Sobolev spaces
For $s \in (0,1)$, we consider the spectral fractional Laplacian
\begin{align}
(-\Delta)^{-s}u = \sum_{k=1}^{\infty}\lambda_k^{-s}(\phi_k,u)_{L^2}\phi_k
\end{align}
where
\begin{align*}
\begin{cases}
...
- 161
3
votes
1
answer
1k
views
Gagliardo-Nirenberg inequality for bounded domain
For concreteness let's assume that $u\in W^{1,2}(\Bbb R^2).$ It is well known that
$$
\|u\|_4\le C \|u\|_2^{\frac 12} \|\nabla u\|_2^{\frac 12}.
$$
This is also true if $u\in W^{1,2}_0(\Omega)$ for a ...
- 1,245
3
votes
1
answer
116
views
Existence of a special function
Consider a $C^2$ bounded domain $D$ of $\mathbb{R}^d$. Let $b \subset \partial D$ a non-empty part of the boundary. Let $n(x)$ be the unit outward vector on $\partial D$.
Is there any smooth function $...
- 81
3
votes
1
answer
628
views
Local Sobolev embedding on complete Riemannian manifold
Let $(M,g)$ be a complete Riemannian $m$-manifold, with bounded geometry and $m\geq2$. Suppose $Ric\geq(n-1)\kappa$. Let $B_p(r)$ be a geodesic open ball.
Q Can we find a constant $C=C(\kappa,r,m)$(...
- 1,915
3
votes
3
answers
228
views
References for well-posedness of weak solutions to Stefan problem
Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)?
...
- 307
3
votes
1
answer
1k
views
Friedrichs mollifiers and Sobolev spaces
$\renewcommand{\epsilon}{\varepsilon}$The following is from John Roe's book Elliptic operators, topology and asymptotic methods. $S$ is a vector bundle on a compact manifold $M$, but I think for my ...
- 1,141
3
votes
1
answer
125
views
Getting an estimate of the form $\lVert u(t+h)-u(t) \rVert_{L^1(\Omega)} \leq \frac{Ch}{t}$ on solution of PDE
Let $u$ be a weak solution (i.e. $u \in C([0,T];L^1(\Omega))$ of some degenerate or nondegenerate parabolic equation $u' - Au = f$ on a bounded domain. (For my purpose it is enough to have this for ...
- 51
3
votes
0
answers
78
views
Logarithmic Sobolev growth of time-space-periodic Schrödinger solutions
Consider the following Schrödinger equation
$$i\partial_t \psi (t,x) + \Delta \psi - V(t,x) \psi = 0 \, ,$$
where $x\in \mathbb{T}^d$ and $V(t,\cdot)$ is real, smooth, and periodic (with a diophantine ...
- 3,574
3
votes
0
answers
106
views
Constant in a trace Sobolev theorem for concave domains
I wonder is the following inequality is true/known:
Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then
$$
\int_{\partial\Omega} |u|^2 ds
\...
- 175
3
votes
0
answers
185
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 ...
- 93
2
votes
1
answer
232
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,286
2
votes
1
answer
1k
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)$, ...
- 23
2
votes
1
answer
210
views
Defining a map into $S^1$ as an "angle" in a non simply connected domain
Suppose that ambient space is $\mathbb R^2$, and $\Omega \subset \mathbb{R}^2 $ is a smooth domain, non simply connected domain. To fix ideas,we can assume $$\Omega = \{(x_1,x_2) : 1< x_1^2+x_2^2 &...
- 2,494
2
votes
1
answer
211
views
Quasilinear elliptic problem: Ellipticity-type conditions
Consider the following quasilinear elliptic equation
$$\nabla_x (A(x,u(x),\nabla_x u(x))) + f(u,x) = 0 $$
on a bounded domain $\Omega$, augmented with homogeneous Dirichlet boundary data: $$u|_{\...
user60665
2
votes
2
answers
357
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 ...
- 63
2
votes
2
answers
342
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 \mathcal{D}(...
- 21
2
votes
1
answer
192
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 ...
- 43
2
votes
0
answers
150
views
Reference for weighted Sobolev spaces
I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
- 235
2
votes
0
answers
125
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system
...
- 1,245
2
votes
0
answers
231
views
Reference for Rellich Kondrachov theorem on bounded domains and spaces with finite measure
I read at the top of the page $580$ of this paper that the imbedding $W^{1,2}(\Gamma,d\mu) \hookrightarrow L^2(\Gamma,d\mu)$ is compact for a bounded domain $\Gamma \subset \mathbb{R}^n$ and a measure ...
- 435
2
votes
0
answers
331
views
Sobolev embeddings for vector-valued functions
I would like to know if there is a simple extension of the standard Sobolev embeddings for functions taking values in another Euclidean space.
In particular, let $\Omega \subset \mathbb{R}^n$ be a ...
2
votes
0
answers
207
views
Smoothing properties of analytic semigroups
Assume $A$ is a second order operator, generator of a positive analytic semigroup on the $L^p$-spaces with $p\in (1,\infty)$ and domain $D(A_p)=W^{2,p}$. Do we have regularity estimates
$\|T_p(t)f\|_{...
- 21
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
2
votes
0
answers
467
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 ...
- 679
2
votes
0
answers
231
views
A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?
Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form
$$u_t(t) - \...
- 183
1
vote
1
answer
85
views
$H^2$-elliptic regularity (up to the boundary) for operators with lower order terms for Lipschitz/convex domains
Let $\Omega$ be a bounded domain which is Lipschitz or convex. Given an elliptic operator of the form
$$\langle Au, v \rangle = a_{ij}u_{x_i}v_{x_j} + b_i u_{x_i}v + cuv$$
are there any elliptic ...
- 93
1
vote
1
answer
116
views
uniform convergence of $H^r$ projectors on compact sets?
Let $\Omega\subset \mathbb R^d$ be a smooth, bounded domain. Let $(e_n)_{n\geq 0}\subset L^2(\Omega)$ be the Hilbert basis generated by the Dirichlet-Laplacian eigenfunctions, i-e $-\Delta e_n=\...
- 5,380
1
vote
1
answer
219
views
Harmonic functions vanishing on the boundary and distance function asymptotics
Let $\Omega \subset \mathbb R^N$ be a $C^2$ domain. Let $u$ be a function such that $u \in W^{2,2}(\Omega)$ and $u = \Delta u = 0$ on $\partial \Omega$. Is it true that $$ c \le \frac{u}{[\mathrm{dist}...
user139845
1
vote
1
answer
252
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 ...
- 729
1
vote
1
answer
1k
views
Introductory text to Sobolev spaces and PDE's [closed]
I'm looking for a good introductory to Sobolev, preferably with an emphasis to their relationship to PDE's analysis.
I have only seen thus far Giovanni Leoni's "First Course in Sobolev Spaces" which ...
- 3,574
1
vote
1
answer
163
views
How to prove the Hölder continuity of a function $u$ by evaluating $\int_{B_{\rho}(x_0)}\frac{|Du(x)|^{2}}{|x-x_0|^{n-2}} dx$?
I'm looking at a video on thin obstacle problem given by Arshak Petrosyan.
In his lecture, he uses the following results:
Let $0<\alpha<1$, and $B_1$ be the unit ball centered at origin in $\...
- 1,350