All Questions
Tagged with semigroups-of-operators ap.analysis-of-pdes
73
questions
1
vote
0
answers
66
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}\...
3
votes
1
answer
228
views
$L^{\infty}$ estimate for heat equation with $L^2$ initial data
Is there a way to show in a relatively simple manner that for a Lipschitz bounded, connected, open domain $\Omega\subset\mathbb{R}^N$ for any $f\in L^2(\Omega)$ the solution of the problem:
$$\begin{...
4
votes
1
answer
139
views
Reference request: Uniformly elliptic partial differential operator generates positivity preserving semigroup
I am looking for a reference of the following result:
Let $\Omega\subset \mathbb{R}^n$ be be a bounded domain with smooth boundary. Let
$$A = \sum_{i,j=1}^n \partial_i ( a_{ij} \partial_j) + \sum_{i=1}...
1
vote
0
answers
63
views
A question about semigroups in a Heisenberg group
I'm trying to understand if the regularity of solutions in Heisenberg groups works like in the Euclidean case. So far I haven't found any results, so I'm trying to check if the Regularity Theorems ...
4
votes
0
answers
76
views
Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread
I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
1
vote
0
answers
35
views
Existence for a nonlinear evolution equation with a monotone operator that is not maximal
We consider the nonlinear evolution equation
$$
\dot{u}(t) + Bu(t) = 0, \quad u(0)=0
$$
with
$$
A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
1
vote
0
answers
215
views
Regularity up to the boundary of solutions of the heat equation
Given the heat problem:
$$\begin{cases}
\frac{d}{dt}u(x,t)=\Delta u(x,t) & \forall (x,t)\in \Omega\times(0,T) \\
u(x,0)=u_0(x) & \forall x\in\Omega \\
u(x,t)=0 & \forall x\in\partial\...
1
vote
0
answers
59
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 \...
3
votes
1
answer
147
views
On the Fractional Laplace-Beltrami operator
I would appreciate it if a reference could be given for the following claim.
Let $g$ be a Riemannian metric on $\mathbb R^n$, $n\geq 2$ that is equal to the Euclidean metric outside some compact set. ...
3
votes
1
answer
176
views
Looking for an electronic copy of Kato's old paper
I would like to know if anyone has an electronic copy of the following paper:
MR0279626 (43 #5347)
Kato, Tosio
Linear evolution equations of "hyperbolic'' type.
J. Fac. Sci. Univ. Tokyo Sect. I ...
0
votes
0
answers
86
views
Characterization of the adjoint of a $C_0$-Semigoup infinitesimal generator
I am looking for characterizations of the adjoint operator of the infinitesimal generator of a $C_0$-semigoup in Hilbert spaces. All I could find in the literature is that if $(A, D(A))$ is the ...
2
votes
1
answer
248
views
Periodic solution for linear parabolic equation - existence, regularity
I am interested in proving the existence and regularity of solution to the following problem:
$$\begin{cases} \dfrac{\partial y}{\partial t}(t,x)-\Delta y(t,x)+c(t,x)y(t,x)=f(t,x), & (t,x)\in (0,T)...
4
votes
1
answer
341
views
Strong positivity of Neumann Laplacian
There are many places in the literature where the positivity of some semigroups is treated. However I did not know anyone which states and proves the strong positivity even for the basic semigroups ...
0
votes
1
answer
152
views
Relationship between elliptic and parabolic problems and their discretizations
Let us consider the fully nonlinear problem
$$
\begin{cases}
F(x,u,Du,D^2 u) = 0 & \text{ in } \Omega \\
u=0 & \text{ in } \partial \Omega
\end{cases}
$$
Suppose that we know that the ...
2
votes
0
answers
136
views
Representation of heat kernel in general domains
I'm looking for results on the representation of the heat kernel in general domains. If $e^{-\Delta_{\Omega} t}$ denotes the heat semigroup in $\Omega$, we have to
$$ (e^{-\Delta_{\Omega} t}f)(x) = \...