All Questions
105 questions with no upvoted or accepted answers
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
- 24.7k
12
votes
0
answers
476
views
Are Sobolev trace spaces equal from both sides of the boundary?
Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
- 8,086
10
votes
1
answer
2k
views
Chain rule for distributional derivative
Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...
- 145
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
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
6
votes
1
answer
331
views
If $t \to \lVert f(\cdot,t) \rVert_{L^2_x}^2$ is absolutely continuous, can we interchange the spatial integral and time derivative? (from MSE)
I originally posted this question on MSE. But it seems more nontrivial than expected, so I guess MO is a more appropriate place to ask.
I repeat the question for the sake of completeness:
Let $f(x,t) ...
- 3,477
6
votes
0
answers
113
views
A continuity argument for a dispersive $gKdV$ estimate
I'm learning about the gKdV equation, following Schlag & Muscalu vol II. We're looking at
$$\begin{cases} u_t + u_{xxx} + F(u)_x = 0 \\ u_0 = g\end{cases}$$
where $F(u) = u^5$ (for example). The ...
- 163
5
votes
0
answers
438
views
Green's formula and traces in weighted Sobolev spaces
Let $B_1$ denote the unit ball in $\mathbb{R}^d$, let
\begin{equation}
\rho(x) = 1-|x| \quad \text{ for } x \in B_1,
\end{equation}
and let $\sigma >0$ be given. As per the comments, notice that $\...
- 309
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
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
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
user127450
4
votes
0
answers
198
views
Relationships between fractional Sobolev space, Bessel spacse and Hajłasz–Sobolev space
It is known that for $\alpha\in(0,1)$ and $p>1$,
the fractional Sobolev space $W^{\alpha,p}(R^n)$ is defined by
$$
W^{\alpha,p}(R^n):=\{f\in L^p(R^n):\int_{R^n}\int_{R^n}\frac{|f(x)-f(y)|^p}{|x-y|^...
- 411
4
votes
0
answers
164
views
A modern reference for the "Intermediate Derivatives Theorem"
In the book Non-Homogeneous Boundary Value Problems and Applications I by Lions and Magenes, the Intermediate Derivative Theorem is stated as follows:
Intermediate Derivative Theorem: Let $X\subset ...
- 1,247
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
- 41
4
votes
0
answers
121
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 ...
- 679
3
votes
0
answers
90
views
Sobolev embedding on a compact manifold without boundary
I am reading M. E. Taylor, "Partial Differential Equations III", Second Edition, Springer-Verlag, New York, (1996).
In chapter 13, section 2, in Prop. 2.3 and Prop. 2.4, one finds the ...
- 311
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
3
votes
0
answers
147
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 91
3
votes
0
answers
127
views
Image of trace operator on $W^{2,1}(\mathbb{R}^2)$
It is known that for a domain $\Omega\subset \mathbb{R}^2$ with $C^1$ boundary $\partial\Omega$, that the trace operator is bounded and surjective from $T:W^{1,1}(\Omega)\to L^1(\partial\Omega)$.
For ...
- 989
3
votes
0
answers
102
views
Can Sobolev space be characterized by spectral decomposition?
Consider a homogeneous Carnot group $\mathbb{G}$ with step $r$. Let $X_1,\cdots,X_m$ be the first layer of its Lie algebra. Denote by $\mathcal{L}=-\sum_{i=1}^m X_i^2$ the sub-Laplacian on $\mathbb{G}$...
- 561
3
votes
0
answers
88
views
Using a maximum principle to deduce regularity
Suppose $\Omega \subset \mathbb{R}$ is an bounded domain and that $u \in C(0,T; H^{2}) \cap L^{2}(0,T; H^{3})$ where $T >0$.
Consider the PDE on $\Omega \times [0,T]$
$$ \partial_{t}u = a_{1}(x,t) \...
- 131
3
votes
0
answers
209
views
Interpolation between Sobolev spaces
In the classical book $Interpolation$ $Spaces$ by Joran Bergh and Jorgen Lofstrom, the Sobolev norm is defined by
$$\|f\|_{H_p^s}=\|D^sf\|_{L^p}$$
where $D^sf$ is defined by the Fourier transform
$$(D^...
- 71
3
votes
0
answers
324
views
Would you help me to find this expression?
I'm studying a paper, which I'll include a small piece here. And I'm struggling to calculate
$$C_n\|u_{m,n}\|^{\left(\frac{2*}{2}\right)^k\frac{2*-q}{(r_k)^k}}_{L^{2*}(\Omega)}$$
Where $\Omega$ is an ...
- 63
3
votes
0
answers
159
views
Does the weak formulation of a parabolic PDE applies to a (good) non-test function?
Let $\rho:\mathbb R^d\times[0,\infty)\to(0,\infty)$ such that $\int \rho_t(x)\,dx=1$ for all $t\geq0\,$, $\rho$ is Holder-continuous (in both variables) and $\rho_t\in W^{1,1}(\mathbb R^d)$ for a.e. $...
- 311
3
votes
0
answers
82
views
Compatibility between the source and the boundary condition for an Helmholtz-type equation
Let $\Omega$ an open, convex, bounded domain in $\mathbb{R}^3$, and let us fix also $z\in\mathbb{C}\setminus\mathbb{R}$. Given $\phi\in H^{3/2}(\partial\Omega)$, I would like to show the existence of ...
- 943
3
votes
0
answers
112
views
Is a relatively weakly compact subset of $W^{1,1}(\Omega)$ metrizable?
Let $\Omega$ be a domain with smooth boundary. Let $S\subset W^{1,1}(\Omega)$ be a relatively weakly compact set.
Is it true that $(S,w)$ is metrizable?
Since $S$ is relatively weakly compact, it ...
- 1,245
3
votes
0
answers
85
views
Existence for $-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$
Let $\Omega$ be a smooth bounded domain. Consider the equation
$$-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$$
$$u|_{\partial\Omega} = 0$$
where $f,g$ are smooth functions on $\Omega$ and $\varphi$...
- 251
3
votes
0
answers
210
views
Meromorphic continuation of resolvent of free Laplacian on homogeneous Sobolev space
Let $n \ge 2$. Set $\dot{H}^1(\mathbb{R}^n)$ to be the homogeneous Sobolev space, defined as the Hilbert completion of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm $\| \varphi \|^2_{\dot{H}^1} \...
- 481
3
votes
0
answers
74
views
Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$
Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
- 251
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
3
votes
0
answers
224
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 W^{1,p}(...
- 65
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
2
votes
0
answers
103
views
A question from a proof of an inequality in Sobolev space $W^{1,1}$
I try to understand the proof the lemma given at page 54 in Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations. Here it is a screenshot:
Here is what I did:
$$-u(x)=u(y)-u(x)=\...
- 1,759
2
votes
0
answers
92
views
Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries
For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$
\begin{...
- 101
2
votes
0
answers
56
views
Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in
H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of
the ...
- 93
2
votes
0
answers
164
views
$H^s$-mild solution for Navier–Stokes : why do we restrict attention to the function spaces "without Fourier zero mode"? (Related to Terence Tao blog)
This question has been triggered by the Definition 32 and Remark 33 in the blog of Terence Tao.
There, every function space is restricted to ones without the Fourier zeroth mode. And the Remark 33 ...
- 3,477
2
votes
0
answers
160
views
Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative
In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$.
...
- 3,477
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
- 471
2
votes
0
answers
259
views
Research in analysis of PDEs
I am currently figuring out what topic to work on for my undergraduate thesis and was able to narrow it down to mathematical analysis. As of now, I have two main options: a thesis working on Sobolev ...
- 149
2
votes
0
answers
149
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
229
views
Weighted Sobolev norm in terms of Spherical harmonics coefficients
Let $M = [1,\infty) \times S^2$.
Consider the weighted Sobolev space $H^k_{\delta}(M)$ with the Sobolev norm:
$$\lVert u \rVert_{k,\delta}^2 := \sum_{n=0}^k \int_M |D^nu \,r^{n-\delta}|^2 r^{-3} dV $$
...
- 969
2
votes
0
answers
65
views
Regularity of solution to first order time dependent variational problem
Consider the following first order evolution problem over some regular bounded domain $\Omega\subset\Bbb R^d$
$$\frac{\partial\phi}{\partial t}(\mathbf{x},t) +\vec V(\mathbf{x},t)\cdot \nabla\phi(\...
- 153
2
votes
0
answers
94
views
From some priori estimates can we estimate higher Sobolev norm?
Suppose $u$ is a smooth function on bounded set $\Omega$ with smooth boundary such that
$$\|u\|_{W^{1,p}(\Omega)}\le C\|\phi\|_{W^{1-1/p,p}(\partial\Omega)}$$
where $u|_{\partial\Omega}=\phi$.
Can we ...
- 309
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
240
views
Discrete Sobolev embedding
It is true in one dimension that $H^1$ is continuously embedded in $L^{\infty}.$
Now, consider a compact interval $[0,1]$ with a partition $I_n:=([m/n,(m+1)/n])_{m \in \left\{0,...,n-1 \right\}}$ and ...
2
votes
0
answers
54
views
example in $L^p_{s}-$Sobolev spaces
We define $L^p-$
Sobolev spaces as follows:
$$L^p_s(\mathbb R^d)=\{f\in \mathcal{S}'(\mathbb R^d): \mathcal{F}^{-1} [\langle \cdot \rangle^s \mathcal{F}(f)] \in L^p(\mathbb R^d) \}$$
where $\langle \...
- 305
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
116
views
Density of $C^0(\Bbb R^{n}\times (0,T))$ and $C^{\infty}_c(\Bbb R^{n}\times (0,T))$ in $L_{p,q}(\Bbb R^n_T)$
Let the space $L_{p,q}(\Bbb R^n_T)$ be defined as the set of all measurable $f:\Bbb R^{n}\times(0,T)\to\Bbb R$ such that $||f||_{p,q}<\infty$, where
$$
||f||_{p,q}:=\left(\int_0^T\left( \int_{\Bbb ...
- 1,245
2
votes
0
answers
2k
views
Reference for a proof of the Gagliardo-Nirenberg Interpolation Inequality?
In the book Linear and Quasi-linear Evolution Equations in Hilbert Spaces by Cherrier and Milani, Theorem 1.5.2, we are given the following version of the GN interpolation inequality:
Let $\Omega\...
- 1,247
2
votes
0
answers
115
views
Does this Sobolev-space like construction have a name?
Take $\Omega \subset \mathbb{R}^n$ arbitrary then define as $X$ the closure of $C^1(\Omega) \cap W^{1,1}(\Omega)$ w.r.t. the norm $f \mapsto \left\lVert f \right\rVert_{\infty} + \left\lVert \nabla f \...
- 305