All Questions
85 questions with no upvoted or accepted answers
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
- 835
8
votes
0
answers
115
views
optimal regularity for the Neumann heat equation on Lipschitz domains
$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
- 5,380
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
7
votes
0
answers
351
views
Fractional Laplacian and chain rule
For the classical Laplacian, we have
$$\Delta (h(u)) = h'\Delta u + h''(u)|\nabla u|^2$$
for smooth functions $h$ and $u$.
Does a similar chain rule hold (up to a reminder term) also for the ...
- 161
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 ...
6
votes
0
answers
281
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
- 318
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
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
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
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
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
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
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
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
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
3
votes
0
answers
153
views
Quasimode construction on a compact Riemannian manifold
Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
- 131
3
votes
0
answers
190
views
$C^1$-regularity of solution of a Dirichlet problem
I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
3
votes
0
answers
158
views
$L^\infty-L^\infty$ bounds for heat semigroups constructed from the Dirichlet Laplacian
Let $D \subset \mathbb{R}^n$ be a bounded domain with Lipschitz boundary, and let $\Delta$ be the Laplace operator with the Dirichlet boundary condition on $D$. Let $e^{t\Delta}$ be the corresponding ...
- 1,407
3
votes
0
answers
170
views
A version of the Nash-Moser inverse function for unbounded domains?
Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...
- 505
3
votes
0
answers
127
views
Rigorous stability analysis of infinite dimensional ODEs : How to bound the tails?
My question is about linear stability analysis of dynamical systems obtained by discretizing linear(ized) partial differential equations. Consider,
$\dot{x}=Ax$, where $x$ is the infinite dimensional ...
- 2,281
3
votes
0
answers
89
views
Error rate implying regularity
My question is a bit general/vague.
It is well known that the regularity of certain functions can be measured through the rate of decay of certain error quantity based on an approximation procedure (...
- 778
3
votes
0
answers
376
views
Existence and uniqueness for reaction-diffusion equations
I am interested in the following PDE on a $d$-dimensional torus $\mathbb{T}^d$
\begin{align*}
&\partial_tu(t,x) = \Delta u(t,x) +f(u(t,x),t,x),\\
& u(0)=u_0\in L_2
\end{align*}
where the ...
- 931
3
votes
0
answers
367
views
Reference on semigroup theory and fractional heat equation
Consider the Dirichlet problem associated to the classical heat equation $\partial_t u - \Delta u = 0$ and to the fractional heat equation $\partial_t u + (- \Delta)^s u = 0$.
Where can I find a ...
user103450
3
votes
0
answers
95
views
Strengthening of the local smoothing estimates for the free Laplacian
The classical local-smoothing estimates for the free Laplacian asserts that:
$$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$
where $B\subset\mathbb{...
- 943
3
votes
0
answers
73
views
On the principal eigenvector of an elliptic operator
Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
\...
- 1,461
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
163
views
Reference for existence results for 2D forced viscous Burgers equation
I am looking for results concering the following parabolic PDE
$$u\cdot\nabla u + \Delta u = F(x),$$
where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...
- 161
3
votes
0
answers
146
views
Variational Principle for a System of Differential Equations
I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
- 516
3
votes
0
answers
217
views
Is this integral operator about Stokes' Flow compact?
Consider the following integral operator $\mathcal{A}$ on [EDITED: continuous vector function $f=(f_i):\partial S\to{\mathbb R}^3$]:
$$
({\mathcal A}f)_j(x_0):=\int_{\partial S}\sum_{i=1}^3 f_i(x)G_{...
user14319
2
votes
0
answers
138
views
Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?
The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm
$$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$
The space $L^2([a,b]\times S^2)$ ...
- 969
2
votes
0
answers
111
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 835
2
votes
0
answers
126
views
Differential equations: trying to connect a nonlinear equation to a linear one
The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
- 383
2
votes
0
answers
64
views
Scaling limit of ODE with double-well potential
Let us consider the ODE
$$
\frac{d}{dt}x_\epsilon(t) = -\frac{1}{\epsilon} W'(x_\epsilon(t))
$$
where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the ODE reads
$$...
- 839
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
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
654
views
Convergence of operator in norm resolvent sense and their eigenvectors
Let $\{T_n\}_{n=1}^\infty$ and $T$ be (unbounded) self-adjoint operators and $T_n\to T$ in norm resolvent sense, that is, for some $z\in \mathbb{C} \setminus \mathbb{R}$, $\|(zI- T_n)^{-1}- (zI- T)^{-...
- 21
2
votes
0
answers
62
views
Existence and uniqueness for semilinear problem
Consider the following problem:
$$-\Delta u + [(u)^+]^\alpha = 0,$$
where $(\cdot)^+$ is the positive part function and $\alpha >0$. How does the theory of monotone operators provide existence ...
user139844
2
votes
0
answers
95
views
Exp-decay estimate of Schrodinger equation
Consider the equation $Hu=0$ with $u\in L^2(\Omega)$, where $H=-\Delta+V$ for some bounded continuous function $V$ and $\Omega$ is an un-bounded domain(e.g. $\mathbb R^n$). If $0$ is in discrete ...
- 1,915
2
votes
0
answers
62
views
Differences among various index theories in critical point theory
Index theories help characterize critical points of functionals having certain symmetries. What are the differences (regarding problems they can be applied to) between for example these ones?
the ...
- 839
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
93
views
Reference request: $|\partial_t u - \Delta u|\in L^p(\Omega^T)$ implies Holder estimate
I am currently reading a paper regarding harmonic flow between Riemannian manifolds. Let $\Omega$ be a Riemannian domain of dimension $2$, $\Omega^T=\Omega\times[0,T]$. The equation is
$$
\partial_t ...
- 1,245
2
votes
0
answers
90
views
Boundary regularity of solutions to semilinear heat equation
Consider the Cauchy IVP problem
$$u_t - \Delta u + f(t,x,u) = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n,$$
with initial condition $u(0,x) = g(x), \ x \in \mathbb{R}^n.$
Can you point out a ...
- 303
2
votes
0
answers
235
views
The Cauchy problem associated with $u_t^\epsilon + H(x,t,u^\epsilon,\nabla u^\epsilon) = \epsilon\Delta u^\epsilon$
Consider the initial value problem $$\begin{cases} u_t^\epsilon + H(x,t,u^\epsilon,\nabla_x u^\epsilon) = \epsilon\Delta_x u^\epsilon & \text{ in } \mathbb{R}^n \times (0,\infty)\\ u^\epsilon = g &...
user81051
2
votes
0
answers
77
views
When do finite dimensional approximations approximate the spectral absicssa of a linear operator?
I apologize if the following is trivial for experts in the field. If so, please feel free to refer me instead to any proper references.
I would like to compute the spectrum of a known non-normal, ...
- 121
2
votes
0
answers
207
views
Smoothing properties of analytic semigroups
Assume $A$ is a second order operator, generator of a positive analytic semigroup on the $L^p$-spaces with $p\in (1,\infty)$ and domain $D(A_p)=W^{2,p}$. Do we have regularity estimates
$\|T_p(t)f\|_{...
- 21
2
votes
0
answers
234
views
Concentration compactness on a compact setting
Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\{\varphi_k\}_k \in C^\infty(M)$ such that $\{\varphi_k\}_k$ satisfy the basic concentration ...
- 1,407
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
2
votes
0
answers
108
views
Quantitative estimate of heat dispersion - off diagonal estimates
Consider the heat equation $\partial_t u - \Delta u = 0$ on a compact manifold $M$ (if $M$ has a smooth boundary, then we assume either Dirichlet or Neumann boundary condition). Consider $u_0 (x) = u(...
- 21