All Questions
87 questions
3
votes
0
answers
196
views
Parabolic smoothing for semilinear PDE
Consider the semilinear energy-critical parabolic PDE in $\mathbb{R}^3$
\begin{align}
\partial_t u &= \Delta u + |u|^{4/(n-2)}u = \Delta u + u^5\\
u(0,x) &= u_0\in \smash{\dot{H}}^1(\mathbb{R}^...
- 537
2
votes
1
answer
79
views
There is some initial data such that the decay of the semigroup in it is faster than $t^{-n/2}$?
Lee and Ni show in their work Link Here that the heat semigroup $e^{t \Delta}u_0$ has decay as $t^{-\min \{a, n\} /2}$, $t \to \infty$ if $u_0 = C(1+|x|^2)^{a/2}$ if $a \neq n$. I'm trying to ...
- 452
2
votes
1
answer
179
views
Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$
Let us consider the heat equation
$$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$
where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
CommunityBot
- 1
9
votes
2
answers
418
views
Reference request: Parabolic Equations
I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
- 6,367
1
vote
2
answers
164
views
Existence of directional heat equation without uniform ellipticity
I am asking for references, or for a proof idea on how to show that weak solutions of the following problem exist: search $u$ on a bounded domain $\Omega\times (0,T]$, where $\Omega\subset\mathbb{R}^d$...
- 12.9k
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
3
votes
0
answers
94
views
Harmonic heat flow, formal and rigorous
Let $ (M,g) $ be a smooth Riemann manifold without boundary, $ S^{n-1} $ is an $ n $-dimensional sphere, and $ T>0 $. Consider a weak solution $ u:M\times[0,T]\to S^{n+1} $ of
$$
\partial_tu-\Delta ...
- 519
1
vote
0
answers
91
views
Parabolic regularity for weak solution with $L^2$ data
I want to study the regularity of weak solutions $u\in C([0,T];L^2(\Omega))\cap H^1((0,T);L^2(\Omega))\cap L^2(0,T;H^1(\Omega))$ of the heat equation with Neumann boundary conditions:
$$\begin{cases}\...
- 1,759
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 ...
- 12.5k
4
votes
0
answers
129
views
Trace-class heat semigroups
Let $(M,g)$ be a compact Riemannian manifold and $\Delta_g$ its Laplace operator.
Let $\varphi$ be a test function on $\mathbf{R}_{>0}$. We define the operator on, say, $L^2(M)$
$$T_{\varphi}(u) :=...
CommunityBot
- 1
2
votes
0
answers
328
views
Conditions for an existence of smooth solution to a parabolic PDE
I'm interested to know the conditions of when the parabolic PDE ($U \subset \mathbb{R}^n$ is some bounded open subset):
\begin{equation*}
u_t - \sum_{i,j=1}^n(a^{ij}(x,t)u_{x_i})_{x_j} + \sum_{i=1}^nb^...
- 6,367
6
votes
0
answers
187
views
Gaussian lower heat kernel bounds on non-convex bounded domain
I am looking for a proof the following theorem.
Let $U \subset \mathbb{R}^n$ be a bounded domain with $C^2$ boundary and $p(x,y,t)$ be the Neumann heat kernel. Then there exist a constant $C>0$ ...
- 6,367
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
3
votes
1
answer
627
views
Compact embedding between parabolic Hölder spaces
My question is about the following compact embedding:
\begin{equation}
C^{\sigma+2, \sigma/2+1}_{x, t}(Q_T)\hookrightarrow C^{\sigma, \sigma/2}_{x, t}(Q_T).
\end{equation}
what condition should be put ...
CommunityBot
- 1
1
vote
0
answers
63
views
Solution to $u_t = A(t)u + f(t)$ on bounded domain
I am dealing with the problem
\begin{align}u_t &= \nabla \cdot (a(x,t) \nabla u) + f(x,t) &\text{ on } \Omega \times (0,T)\\
\partial_{\nu} u &= 0 &\text{ on } \partial \Omega \...
- 12.5k
4
votes
1
answer
418
views
Periodicity and Burger's equation
Consider the 1-dimensional Burger's equation on a finite interval $I=(0,1)$,
$$u_t+uu_x=u_{xx}$$
with initial condition
$$u(x,0)=f(x)$$
and boundary conditions
$$u(0,t)=A(t) \qquad u(1,t)=B(t).$$
...
- 52.3k
0
votes
1
answer
171
views
Looking for English version of a paper of Jean Ginibre
I am in serious need of an English translation for the following paper:
Séminaire Bourbaki by Jean Ginibre, Le problème de Cauchy pour des EDP semi-linéaires
périodiques en variables d’espace, d'après ...
- 26.3k
6
votes
0
answers
110
views
Heat Flows and spatial singularities
While working on an abstract problem, I came up with the following question:
Let $\Omega_1 := \mathrm B(-1, 1)$ and $\Omega_2 := \mathrm B(1, 1)$, where $\mathrm B(x, r) \subseteq \mathbb R^2$ denotes ...
- 869
2
votes
0
answers
159
views
On Fredholm alternative for Neumann conditions
Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$ and $f \in L^2(\Omega)$. It is well known that if $\lambda$ is a Dirichlet Laplacian eigenvalue, then the equation $$\begin{cases}
-\Delta ...
- 1,350
3
votes
0
answers
135
views
Holmgren's theorem on the boundary
Consider $\Omega$ a bounded Lipschitz domain, with $\gamma \subseteq \partial \Omega$ a $C^2$ manifold. I am interested in proving the following.
Let $u: \Omega\times [0,T]\rightarrow \mathbb{R}$ be ...
- 235
-1
votes
1
answer
79
views
A question about the commutator $[J^s,u]\partial_x u$
I am studying the use of the commutator for finding the estimate of energy. During my looking through many papers I found that this paper contains a possible typo. Here is the archive version which ...
- 159
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
- 159
0
votes
1
answer
148
views
Proof of vanishing viscosity error rate
Consider the initial value problem associated to the parabolic equation $u^\epsilon_t + u^\epsilon_x = \epsilon u^\epsilon_{xx}$ and the corresponding hyperbolic problem $u_t + u_x = 0$.
What is a ...
- 2,155
3
votes
1
answer
552
views
Lax-Milgram and the existence of solution to parabolic equation
I think it is standard and common to use Lax-Milgram theorem to prove the existence of solution to elliptic equation. However, can we use it to establish the existence of parabolic equation? I do not ...
CommunityBot
- 1
2
votes
0
answers
86
views
Continuity of the entropy of the solution of a parabolic PDE at $t=0$
Consider the following initial value problem for a parabolic PDE :
$$\begin{cases}
\textrm{div}\big(A\,\nabla u(t,x) + b(x)\, u(t,x)\big) \,=\,\partial_t u(t,x) \quad x\in\mathbb R^d\,,\ t>0 \\[4pt]...
- 311
4
votes
0
answers
194
views
$L^\infty$ solutions for parabolic Neumann problem (heat equation)
Consider the heat equation on a (smooth) domain in $\mathbb{R}^n$ with homogeneous Neumann BCs:
$$u_t - \Delta u = f$$
$$\partial_\nu u = 0$$
$$u|_{t=0} = u_0$$
where $f \in L^p(0,T;L^r(\Omega))$ and $...
- 307
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
1
vote
0
answers
251
views
Regularity of a Fokker-Planck PDE with unbounded coefficient
Let $A$ be a positive definite symmetric matrix, let $b\in C^1(\mathbb R^d\!\times\!(0,\infty))\cap C(\mathbb R^d\!\times\![0,\infty))$ taking values in $\mathbb R^d$. Consider the parabolic PDE
$$ \...
- 311
5
votes
1
answer
279
views
Connecting PDE notions for functions $[0,T] \to (\Omega \to \mathbb{R})$ to related notions for functions $[0,T] \times \Omega \to \mathbb{R}$
Fix $\Omega \subseteq \mathbb{R}^N$ a bounded domain (of whatever smoothness you end up needing, let's say $C^1$ domain for definiteness) and fix some $0 <T < \infty$. In considering evolution ...
- 3,584
2
votes
1
answer
171
views
Mean value formula for fractional heat equation
For the solution $u(z) = u(t,x)$ of the heat equation $u_t -\Delta u = 0$ we have
$$u(z_0) = \int_{\Omega_r(z_0)}u(z) K_r(z_0-z) dz,$$
where $$\Omega_r(z_0) = \left\{z \in \mathbb{R}^{N+1}: \Gamma(z_0-...
- 161
4
votes
1
answer
1k
views
Where to learn about parabolic Hölder spaces and when to use them
Is there a good resource from where I can learn about parabolic Hölder spaces? I see quite a few different definitions of this space in different papers. I am clueless about why, for example, one may ...
- 313
1
vote
0
answers
36
views
Existence and uniqueness for fractional parabolic equation with transport term
Let us consider the problem
\begin{equation}
\begin{cases}
u_t+(-\Delta)^{\sigma}u+\mathrm{div}(a(t,x)u) = 0 & \text{in } \mathbb{R}^n \times [0, T) \\
u(x,0)=u_0(x) & \text{in } \...
- 99
0
votes
0
answers
104
views
Rigorous energy estimate for advection-diffusion equation
Let $a \in L^q([0,T];L^p(\mathbb R^N))$ with $2/q + N/p \le 1$ and
$q \in [2,\infty), p \in (N,\infty) \text{ if } N \ge 2$
$q \in [2,4], p \in [2,\infty] \text{ if } N = 1$
and consider the ...
- 61
0
votes
1
answer
89
views
Does $\int_0^t \Vert u_x(s,\cdot) \Vert_{L^2} ds \le C$ imply $\Vert u_x (t,\cdot) \Vert_{L^2(\mathbb R)} \le C$ in the heat equation?
For the parabolic equation
$$u_t + f(u)_x - u_{xx} = 0$$
one has
$$\Vert u(t,\cdot) \Vert_{L^2(\mathbb R)} + 2\int_0^t \Vert u_x(s,\cdot) \Vert_{L^2} ds \le \Vert u(0,\cdot) \Vert_{L^2(\mathbb R)}.$$...
- 323
0
votes
0
answers
121
views
Positivity of solution for Fisher-Kolmogorov Equation
How can we prove that if $y=y(t,x)$ is the solution of the problem:
$$\begin{cases} \dfrac{\partial y}{\partial t}(t,x)-d\Delta y(t,x)=r(x)y(t,x)-\rho(x) y^2(t,x),\ (t,x)\in (0,T)\times \Omega \\ \...
- 1,759
0
votes
0
answers
61
views
$L^p$ estimate for perturbed heat equation
Let us consider the heat equation
$$
\begin{cases}
u_t + f(u)_x - u_{xx} = 0 & x \in (-1,1), \quad t >0\\
u(t,-1) = a(t), \\
u(t,1) = b(t), \\
u(0,x) = u_0(x)
\end{cases}
$$
where $f \in C^\...
- 131
2
votes
0
answers
87
views
Estimate in vanishing viscosity for the difference $\Vert u^\epsilon - u^\eta \Vert_{L^2(\mathbb R^N)} $
Consider the following advection-diffusion equation
$$
\begin{cases}
u^\epsilon_t + f(u^\epsilon)_x = \epsilon \Delta u^\epsilon\\
u^\epsilon(0,\cdot) = u_0,
\end{cases}
$$
How can one prove an ...
- 839
5
votes
1
answer
153
views
Why is density and separability needed for uniqueness of weak (time) derivatives?
Let $X,Y$ be Banach spaces with $X \subset Y$. Recall that $u \in L^1(0,T;X)$ has weak derivative $g \in L^1(0,T;Y)$ if
$$\int_0^T u(t)\phi'(t) = -\int_0^T g(t)\phi(t) \qquad\forall \phi \in C_c^\...
- 3,584
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 \...
2
votes
0
answers
61
views
Uniqueness of solution to Cauchy problem with quadratic nonlinearity
Consider the non-linear differential operator
$$\mathfrak{L}: \ C^2((0,T)\times\mathbb{R}^2)\ni\varphi\equiv\varphi(t,x,y) \, \mapsto \, \partial_x^2\varphi + (\partial_x\varphi)^2.$$
For $U\subset\...
- 51
1
vote
1
answer
149
views
first order derivative of the parabolic equation
Assume $b, \ell \in C_b^{1,2}(\mathbb R^2)$. We consider parabolic PDE
$$(P1)\quad \partial_t v = b \partial_x v + \partial_{xx} v + \ell, \ \forall (t, x) \in \mathbb R^+\times \mathbb R; \quad v(0, ...
- 16
5
votes
1
answer
462
views
Backward uniqueness for a heat equation with a drift
Consider heat equation with a drift (=reaction-diffusion equation)
$$
\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2}+f(t,u(t,x)), \quad t\ge0,\, x\in [0,1]
$$
with periodic or ...
CommunityBot
- 1
9
votes
3
answers
2k
views
Real analyticity of solution of heat equation
Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...
- 1
3
votes
1
answer
356
views
Initial data and heat equation
We assume all solutions to be bounded here!
Let $y_{+},y_{-} \in C_c^{\infty}$ be two positive functions.
If we then consider the heat equation
$$\partial_t u(t,x) = \Delta u(t,x)$$ for two ...
- 5,380
4
votes
0
answers
220
views
improved regularization for $\lambda$-convex gradient flows
It is well-known that gradient-flows of convex functionals are "parabolic" in some vague sense, and accordingly solutions tend to regularize instataneously. In the abstract context of gradient flows ...
- 5,380
2
votes
0
answers
145
views
Integral estimate for the solution of the heat equation
Let $u$ be a solution of $\partial_t u - \Delta u =f$ with initial data $u(0,x) = 0$ on $\mathbb R^N$. How do one prove the following inequality?
$$
\int_0^T \int_{\mathbb R^N} \phi(f)(- \Delta) u(...
CommunityBot
- 1
3
votes
1
answer
219
views
Positivity of generalised heat kernels
Let $K_\alpha(t,x)$ be the (generalised or fractional) heat kernel which corresponds to the fractional heat equation (I'm not sure that's the right name) in $\mathbb R^n$
$$
u_t=(-\Delta)^\alpha u, \...
- 63.9k
7
votes
1
answer
439
views
About the convergence rate for an approximation to the heat kernel
Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}.
$$
Here is one approximation to $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} \...
- 63.9k
2
votes
1
answer
496
views
Some properties of fractional Dirichlet heat kernel
Let $\Omega\subset \mathbb{R}^n (n\geq 2)$ be a bounded open domain with smooth boundary $\partial\Omega$. Consider the fractional heat equation with Dirichlet boundary condition：
\begin{equation}
\...
- 17.2k
4
votes
0
answers
746
views
Maximum Principles in Parabolic PDE with Neumann Condition
I am looking for some maximum principles and comparison results for parabolic equations. The most complete book I've found on this subject is: Murray Protter, Hans Weinberger - Maximum Principles in ...
- 1,759