All Questions
18 questions
0
votes
0
answers
55
views
Time regularity vs space regularity for parabolic PDE
Suppose that there exist separable Hilbert spaces $V, H, X$ such that $V\hookrightarrow H\hookrightarrow X\hookrightarrow V'\,$ continuously, where $V'$ denotes the dual of the Hilbert space $V$. Let ...
- 311
1
vote
0
answers
75
views
$T$ trace, then $Tg(u)=g(T(u))$ for all $u$ on $W^{1,p}$
The trace operator $T$ is defined for bounded domain $U$ with $C^1$ boundaries as the linear, continuous operator
$T: W^{1,p}(U) \rightarrow L^p(\partial U)$
such that
$$
Tu=u\;\text{ on }\partial U
$$...
- 11
1
vote
0
answers
109
views
$L^2(0,\infty;L^2(\Omega))$ estimate on solution of heat equation with Neumann boundary condition
Let $u$ be a solution of
$$u' - \Delta u = 0 \quad\text{on $\Omega$}$$
$$\partial_\nu u = 0\quad\text{in $\partial \Omega$}$$
$$u(t=0)=u_0\quad\text{on $\Omega$}$$
where $\Omega$ is a bounded ...
- 93
4
votes
1
answer
458
views
Contractivity of Neumann Laplacian
I have an intriguing and probably simple question: reading the articles and books of Wolfgang Arendt on semigroups of linear operators, I found on many places properties of the Neumann Laplacian.
In ...
- 1,759
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
1
answer
251
views
Parabolic Sobolev inequality in Sobolev mixed norm spaces
Assume $p,q\in (1,\infty)$, $r\in [p,\infty)$, $s\in [q,\infty)$ and
$$
1<\frac{d}{p}+\frac{2}{q}=1+\frac{d}{r}+\frac{2}{s}.
$$
Let $u\in C_c^\infty((0,1)\times B_1)$, where $B_1=\{x\in \mathbb{R}^...
- 515
2
votes
0
answers
395
views
A question in Sobolev spaces involving time
Let $X$ be a Banach space, we understand $L^1(0, T, X)$ is the space of strongly measurable functions from $[0, T]$ valued in $X$, that is integrable. Assume ${\bf u}\in L^1(0, T, X)$, we say ${\bf v}\...
- 637
3
votes
1
answer
695
views
Continuous embedding between parabolic Sobolev spaces
I was wondering whether the following continuous embedding theorem for parabolic Sobolev space is correct?
Let $I=[0,T]$ and $\Omega$ be a sufficiently smooth domain in $\mathbb{R}^n$, we consider ...
- 503
1
vote
1
answer
216
views
Steklov averages and negative parabolic sobolev spaces
Suppose one is given a function
$$
w \in L^p(0,T;W^{1,p}(\Omega)) \qquad \text{and} \qquad \frac{dw}{dt} \in L^{p'}(0,T; W^{-1,p'}(\Omega))
$$
I am interested if the following holds:
Denote the ...
- 455
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
1
vote
1
answer
243
views
$L^\infty(0,T;X) \cap C([0,T];Y) \subset C([0,T];X)$ for $X \subset Y$ dense?
is the Inclusion stated in the title true? In my case the spaces (essentially) are $X = H^1(\Omega)$ and $Y = L^2(\Omega)$ for $\Omega \subset \mathbb{R}$ bounded. My first try was to show
$\lim_{t_1 ...
- 11
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
0
answers
142
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 \...
- 43
2
votes
1
answer
3k
views
A comparison principle for parabolic equation
(Crossposted from https://math.stackexchange.com/questions/757672/how-to-prove-comparison-principle-for-parabolic-pde-nonlinear)
Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for ...
- 266
2
votes
0
answers
186
views
Changing the test function space in a weak formulation of parabolic PDE
Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that
$$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T a(u(t),\...
- 155
3
votes
1
answer
215
views
Checking initial data in parabolic PDE with no control on time derivative
It is possible to define a weak solution of a parabolic PDE
$$u_t - Au = f$$
$$u(0) = u_0$$
as $u \in L^2(0,T;H^1)$ such that
$$-\int_0^T\int_\Omega u(t)\varphi'(t) + \int_0^T\int_\Omega Au(t)\varphi(...
- 155
4
votes
1
answer
442
views
Need a regularity result for parabolic PDE, want $u' \in L^\infty((0,T)\times \Omega)$
Let us assume $\Omega \subset \mathbb{R}^n$ is as nice as required.
Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy
$$0 < a \leq g(x,t) \leq b < \...
- 183
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