All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
4
votes
1
answer
355
views
(Ref req) Schrödinger heat kernel is a weak solution of parabolic Schrödinger equation
If we have nonnegative $V \in L^1_{\textrm{loc}}(\mathbb{R}^{n})$, then the operator $H = -\Delta + V$ can be defined on $L^{2}(\mathbb{R}^{n})$ via quadratic form methods. This is done by, for ...
- 363
4
votes
1
answer
655
views
Generator of Laplace operator as analytic semigroup on $L^1(\mathbb{R}^n)$
The Laplace operator is the generator of an analytic semigroup on $L^p(\mathbb R^n)$
for $1 < p < \infty$. Is the same true for $L^1(\mathbb R^n)$? If it is, could someone give a reference? The ...
- 271
4
votes
1
answer
613
views
Application of uniform boundedness (Banach-Steinhaus) principle
$\DeclareMathOperator{\loc}{\mathrm{loc}}$This is from Lemarié-Rieusset's book "The Navier-Stokes problem in the 21st century", from the proof of a result about stationary solutions to ...
- 287
4
votes
2
answers
928
views
Rate of convergence of mollifiers // Sobolev norms
Following up to the question raised here, I am searching for a reference (or a simple argument) to establish (in the whole space) the following (suggested) equivalence :
Given $N_1$ and $N_2$ two (...
- 3,425
4
votes
1
answer
370
views
Equivalence of viscosity and weak solutions for the Poisson equation
Suppose $\Omega$ is a bounded smooth domain in $\mathbb{R}^d$.
How does one prove that weak solutions are viscosity solutions and vice versa for the problem
$$
\begin{cases}
-\Delta u = f(x) & \...
user123456
4
votes
1
answer
322
views
compact embedding for Sobolev spaces
The Sobolev embedding $H_{0, rad}^{1}(\Omega) \hookrightarrow L^{p+1}(\Omega)$ is compact for all $p>1$ where $\Omega= \{x\in \mathbb R^N: 0<a<|x|<b\}.$
Is it possible to determine the ...
- 407
4
votes
1
answer
254
views
Is this simple-looking weighted poincare-sobolev inequality correct
In Moser's famous paper harnack inequality for parabolic equations, he used the following simple Poincare inequality(Lemma 3)
$\int (f(x)-k)^2 w(x) dx \leq c(w) \int |\nabla f|^2 w(x) dx$
where $k=\...
- 43
4
votes
1
answer
328
views
Is Lax-Milgram true without the separability assumption?
I read the Lax-Milgram Theorem in the Navier-Stokes Equations by Temam:
Let $X$ be a separable Hilbert space (norm $\|\cdot\|_X$) and let
$$
a:X\times X\to\Bbb{R}
$$
be a bilinear continuous ...
user14319
4
votes
1
answer
360
views
Mixed norm estimate for the heat equation
Consider the inhomogeneous linear heat equation
$$\partial_tu-\Delta u=F$$
on $\mathbb R^n\times [0,1]$ (say) with zero initial data. Assume $F$ is very nice (say Schwarz), so that we have a nice ...
- 5,169
4
votes
1
answer
220
views
parabolic PDE with almost-monotone elliptic operator, existence results?
Are there any existence results for parabolic PDE of the type $$u_t - Au = f$$ in some Gelfand triple setting ($V \subset H \subset V^*$) with $A$ an operator that it is not quite monotone but close: ...
- 85
4
votes
1
answer
367
views
Manifold structure for the set of solutions to a first order elliptic system?
Consider a bounded domain $S\subset R^2$ and an elliptic system of two first order PDEs, namely a generalization of the Cauchy-Riemann system allowing nonconstant coefficients and lower order terms. ...
- 41
4
votes
1
answer
586
views
Upper bounds for the solution of an elliptic PDE depending on a parameter.
Suppose I have the following PDE on $[0,1]^n$
$$\mathcal{L}u = -\nabla \cdot \left(a(x, r)\nabla u\right) = f(x,r), \qquad x\in [0,1]^n,$$
with periodic boundary conditions and $\int f(x) dx =0$ . ...
- 617
4
votes
2
answers
820
views
Elliptic regularity in $L^1$
Dear all,
I am looking for a good reference for elliptic regularity in $L^1$. To be more precise
Let $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain, let $A$ be a properly elliptic ...
- 103
4
votes
0
answers
90
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 835
4
votes
0
answers
256
views
Singularity of singularities and second microlocalization: a question that come from the stabilization of damped wave equation
In the paper [2], the Authors introduce a tool called second microlocalization, which is difficult for me. Although I have searched a lot of papers on the internet, nevertheless the material that I ...
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) :=...
user516086
4
votes
0
answers
77
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 ...
- 71
4
votes
0
answers
142
views
Generalizing Kato-Seiler-Simon-type inequalities to diamagnetic operators
I recently learned about estimates one can perform with operators on $L^2(\mathbb{R}^n)$ given as $f(x)g(-i\nabla)$, see Chapter 4 in Trace Ideals and their Applications by Professor Barry Simon (the ...
- 243
4
votes
0
answers
134
views
Weighted logarithmic Sobolev inequality
$\DeclareMathOperator\Ent{Ent}$The usual logarithmic Sobolev inequality says that
$$
\Ent_\mu(f^2)\leq C\int |\nabla f|^2 d\mu
$$
where the entropy
$$
\Ent_\mu(f^2)=\int f^2 \log\left( \frac{f^2}{\int ...
- 5,380
4
votes
0
answers
103
views
Characteristic of Sobolev space generated by Hörmander vector fields
Let $\Omega$ be an open bounded domain in $\mathbb{R}^{n}$ with smooth boundary $\partial\Omega$. Suppose that $X=(X_{1},X_{2},\ldots,X_{m})$ are smooth vector fields defined on $\mathbb{R}^{n}$ and ...
- 287
4
votes
0
answers
199
views
Spectral problems with the wrong sign on the Poincaré disk
Let $\mathbb{D}$ denote the open unit disk in $\mathbb{C}$ equipped with the Poincaré metric $g$ of negative scalar curvature $-1$. Denote by $\Delta_g = \mathrm{Tr}_g(\nabla^g d) = - d^{\ast_g} d$ ...
- 2,816
4
votes
0
answers
160
views
An estimate for the Benjamin-Ono equation from T. Tao's well-posedness paper
In https://arxiv.org/abs/math/0307289 (eq. (8)),
for a (smooth) solution of the equation $$u_t - uu_x + Hu_{xx} = 0$$
(where $H$ denotes the Hilbert transform) the following estimate is stated (...
- 839
4
votes
0
answers
174
views
Techniques for showing non-degeneracy results (PDE)
Motivation:
Consider the equation,
$$-\Delta u = u^p$$
in $\mathbb{R}^n$ for $n\geq 3$ and $p=2^*-1.$ Then we know that this equation has unique positive solutions given by functions of the form $U_{a,...
- 537
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
4
votes
0
answers
127
views
Algebra properties regarding Gevrey spaces: closed under multiplication
In page 24 of the paper Landau Damping: Paraproducts and Gevrey Regularity, the authors claimed an algebra property of Gevrey spaces, the formula (3.14), without giving a proof. So I'm asking for a ...
- 517
4
votes
0
answers
143
views
If theorem valid for compactly supported distribution then is it also valid for tempered distribution?
I have seen many theorem which Author wanted to prove for tempered distribution, but without saying anything proves for compactly supported distribution.
For instance,
Theorem: Any $A \in \Psi^{m}$ ...
- 309
4
votes
0
answers
146
views
Fourier transform without characters (Eigenfunctions of an operator)
Let's consider a very simple problem in quantum mechanics:
We have, in $\mathbb R,$ a potential barrier of the form
$$
V(x) = V_0 \mathbf 1_{[-a,a]}(x),
$$
where $\mathbf 1_{[-a,a]}$ denotes the ...
- 1,755
4
votes
0
answers
139
views
Smooth dependence of solution to elliptic pde depending on parameter
I have a question in mind but let me generalize it slightly.
Suppose I am looking at some pde like
$$-\Delta u + t u = f(u)$$ in $B_1$ (here $u=u(x)$) with $u=0$ on $ \partial B_1$ where $B_1$ is ...
- 1,385
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
4
votes
0
answers
164
views
What's the essential definition of resonance of Schrodinger operator?
Rencently, I am reading some articles about time decay estimates or Strichartz estimates for Schrodinger equations with potential. When considering Strichartz estimates for potential $V$ with decay $|...
- 429
4
votes
0
answers
126
views
Relationship between three different definitions of solutions for ODE with irregular coefficient
What is the difference between the notions of
Regular Lagrangian flow
Filippov solution
Caratheodory solution
of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
- 839
4
votes
0
answers
170
views
Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$
Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user39481
4
votes
0
answers
747
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
4
votes
0
answers
93
views
Conditions on the Hamiltonian of a classical system that yeild essentially self-adjoint quantum Hamiltonian
What are the conditions on the Hamiltonian of a classical system that under these conditions the quantum Hamiltonian obtained via Weyl quantization will be essentially self-adjoint in $L_2(\mathbb{R}^...
- 381
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
188
views
Sobolev embedding in an annulus
Is it possible to determine the best constant $S(\Omega, p)$ of the embedding $H^1_{0, r}(\Omega)$ to $L^{p+1}(\Omega)$ where $p>1$ and $\Omega=\{a<|x|<b\}.$
- 63
4
votes
0
answers
169
views
Inverse Laplacian and convolution in Albeverio's “Solvable Models in quantum mechanics”
I asked this question on math.stackexchange.com two weeks ago but got no answers so far and I got no clues from literature, so maybe someone here knows a reference. I hope it is ok to ask this ...
- 141
4
votes
0
answers
145
views
An embedding question: Morrey spaces
Question. If $u\in L^1$ and $Du$ is in the dual of the Holder space $C^\alpha$, then is it possible to say $u$ belongs to some Morrey space $L^{1, \delta}$?
- 43.2k
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
254
views
Lower semi-continuity of integration
I've found many papers characterizing the weak lower semi-continuity of
$$
\Phi(u)\triangleq \int_{x \in \Omega} f(x,u(x))\,dx,
$$
on $L^2(\Omega)$ where $\Omega$ is a bounded subset of $\mathbb{R}^d$....
- 5,405
4
votes
0
answers
136
views
Davies' definition of elliptic operators in "Heat Kernels and Spectral Theory"
I am trying to find my way through Davies' book, and one of the difficult points is his choice of what "elliptic operator" means in his text. This is the first time that I encounter some of the ...
- 5,407
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
311
views
Some elementary decay estimates of solutions to the heat equation
Preliminaries: Let $u$ be the solution of the Cauchy problem for the heat equation with initial datum $u_0 \in L^1 \cap L^p$. Then I know that the following estimates hold:
$$\Vert u(t,\cdot)\Vert_{L^...
- 303
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
128
views
Positive and Negative parts of functions in Schrodinger $U_{\Delta}^{p}$ spaces
Let $H$ be a Hilbert space. For $1<p<\infty$, define the atomic space $U^{p}(\mathbb{R};H)$ as follows. We say that $a(t)$ is a $U^{p}$ atom if $\{t_{k}\}$ is a partition of $\mathbb{R}$, $a_{k}\...
- 873
4
votes
0
answers
2k
views
Fourier transform of $C^\infty_0$, smooth functions vanishing at infinity
Is there a proper description of the space $$\{\hat f\ | \ f\in C^\infty \ s.t. \forall \alpha\in\mathbb{N}^n,\forall \epsilon>0\exists K\subseteq \mathbb{R}^n\ K\ \text{compact};\ \sup_{x\in \...
- 41
4
votes
0
answers
172
views
Donnelly-Fefferman growth of eigenfunctions
Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
- 41
4
votes
0
answers
500
views
Properties of the solution of the heat equation
Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...
- 679
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