Questions tagged [ap.analysis-of-pdes]
Partial differential equations (PDEs): Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.
4,468 questions
1
vote
0
answers
38
views
Isomorphism between weighted Sobolev spaces via Laplace operator
My question is on weighted Sobolev spaces $W^{k,2}_{\delta}(\mathbb R^n)$ and whether I can find a good reference that states when is the following mapping
$$ \Delta: H^2_{\delta}(\mathbb R^n) \to L^...
3
votes
3
answers
399
views
Huygens' principle or finite speed of propagation?
I am reading the paper Large global solutions for energy supercritical nonlinear wave equations on $\mathbb{R}^{3+1}$ by Krieger and Schlag and am confused by one of their steps.
For context, $v(t,r)$ ...
-1
votes
0
answers
45
views
Linear and non-linear intersection to solve ODE
Consider a linear operator $$L(u(t)) = \dfrac{d}{dt}u(t)+p(t)u(t)$$ for known function $p(t)$. It is well known the homogeneous equation $$L(u) = 0 ~~\text{or}~~\dfrac{d}{dt}u(t)+p(t)u(t)= 0$$ has ...
3
votes
1
answer
76
views
Tangential Sobolev spaces
Let $Ω⊂R^n$ be a smooth domain, define $U_s=\{x∈Ω | d(x,∂Ω)<s\}$; let $f∈W^{1,p}(Ω)∩W_{\mathrm{loc}} ^{2,p}(Ω)$; let $v$ be the unit normal to $Ω$; consider $v$ to be smooth with bounded ...
0
votes
0
answers
38
views
Examples of subharmonic functions
Let $A$ be a constant symmetric matrix with $\lambda < A < \Lambda$ and $0<\lambda < \Lambda$ are fixed constants. Let $u$ be a solution of $\text{div}A \nabla u = 0$. Is it true that $\...
1
vote
0
answers
35
views
Explicit rate of decay of the positive standing wave of the subcritical nonlinear Schrödinger equation
Consider the following semilinear problem:
$$
\begin{cases}
- \Delta u + u = u |u|^{p - 2}
&\text{in} ~ \mathbb{R}^N;
\\
u (x) \to 0 &\text{as} ~ |x| \to \infty,
\end{cases}
$$
where $N \geq 2$...
3
votes
1
answer
388
views
Do we have Pohozaev's identity on compact manifolds without boundary?
Recently I got to know about Pohozaev's identity, and I calculated several examples. The basic idea is multiplying $x \cdot \nabla u$ on both sides of the equation, but I noticed that all the ...
0
votes
0
answers
89
views
+100
Uniqueness of bubbling points in Struwe's global compactness theorem
I am reading the following paper of Struwe in which he proves the following result:
Proposition 2.1:
Let $n\geq 3$, $\lambda \in \mathbb{R}$ and $\Omega$ be a smoothly bounded domain in $\mathbb{R}^{n}...
2
votes
0
answers
229
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
4
votes
1
answer
64
views
Mapping properties of the Schrödinger semigroup
The Schrödinger semigroup $e^{t(-\Delta +V(x))}$ for Kato class potentials is fairly well-understood. A classical reference is the AMS paper "Schrödinger Semigroups" by Barry Simon. I was ...
2
votes
0
answers
17
views
On compact embeddings in weighted Riesz potential spaces
I wonder if there is any references for the study of the following type of spaces
$$ X_{\delta,\alpha}=\{ u\in L^2_\delta(\mathbb{R}^n):\, u= (-\Delta)^\alpha f \quad\text{for some}\quad f\in L^2_{\...
11
votes
0
answers
325
views
+50
Sobolev's PDE Scottish Book Problem (Problem 188)
In 1940 Sobolev recorded the following problem in the Scottish Book, and offered a bottle of wine for a solution.
In 2015, when the second edition of the Scottish Book with updates and commentary on ...
4
votes
0
answers
91
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}{\...
1
vote
0
answers
53
views
Can one explicitly define a right inverse for a convolution operator on the space of entire functions?
A result of Meise and Taylor in 1988 shows that every non-zero convolution operator on the Frechet space $H(\mathbb{C})$ of all entire functions on $\mathbb{C}$ has a continuous linear right inverse $...
0
votes
0
answers
18
views
Third order estimate for linear elliptic equations
Let $\lambda < A < \Lambda$ be a constant symmetric matrix and $u$ be a $C^{\infty}$(elliptic regularity gives smooth solutions) solution of $\text{div} A \nabla u = 0$. Let $S_1$ be a sphere ...
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
0
votes
0
answers
62
views
Characterization of duals of Sobolev space
Proposition 8.14. in Brezis states that:$(W_0^{1,p} (Ω))^*=W^{-1,p^*} (Ω)$ and we have the representation:
$∀ F∈(W_0^{1,p} (Ω))^* ∃ f_0...f_n ∈L^{p^*} (Ω)$ such that $∀ u∈W_0^{1,p}(Ω)$
$F(u)=∫_Ω ...
0
votes
1
answer
126
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
4
votes
1
answer
261
views
Are renormalizability and the criticality of a PDE synonymous?
In the physics literature a quantum field theory is qualitatively classified as renormalizable, super-renormalizable, or non-renormalizable. This heuristic is based on how many Feynman diagrams ...
1
vote
1
answer
61
views
Embedding of domain of fractional power of Laplacian into Sobolev space for cylindrical domains
On a bounded domain $\Omega \subset \mathbb R^d, d\geq 2$ with smooth boundary, it is well known that for the Dirichlet Laplacian $\Delta_D$, $D((-\Delta_D)^\frac12) = H^1_0(\Omega)$.
I'm interested ...
1
vote
0
answers
84
views
Does sets of positive capacity rule out constant functions?
Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by
\begin{align*}
\text{Cap}_{p}(K, U) :=
\inf \left\{
\int_U |\...
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
3
votes
1
answer
257
views
Asymptotic parametrization for negatively curved surfaces
Let $S$ be a complete simply connected negatively curved surface immersed in Euclidean space $\textbf{R}^3$. Does there exist a parametrization $f\colon\textbf{R}^2\to\textbf{R}^3$ for $S$ such that ...
1
vote
0
answers
57
views
'Invert' perturbed vorticity equation to forced Euler system
Given the vorticity form of the Euler equations in $2D$ with stream function $\psi$
\begin{align}
\omega_t + \nabla^\perp \psi \cdot \nabla\omega &= 0 \\
\Delta \psi = \omega
\end{align}
we know ...
2
votes
1
answer
106
views
Elliptic regularity with negative Sobolev space on bounded or unbounded domains
I am looking for some reference which deals with the existence and regularity of solution to $ -\Delta u = f $ in bounded or unbounded domain $\Omega$ and with Dirichlet boundary condition, $u|\...
2
votes
0
answers
43
views
Distributions and time-kernels
Let $U\subset\mathbb{R}^{d}$ be an open subset and set $M:=I\times U$, where $I=(a,b)\subset\mathbb{R}$ is some open subset. Lets consider a linear operator $B:C^{\infty}_{c}(M)\to C^{\infty}(M)$ that ...
0
votes
0
answers
71
views
Second order PDE with Hessian
I am wondering if there is a existence/uniqueness result for the solution to PDE
$$
D^2 u = F (x, u, Du)
$$
with appropriate initial value conditions.
(Just to clarify, $u : \mathbb R^d \to \mathbb R$ ...
3
votes
1
answer
213
views
$\nabla \times (F\times \mathbf v)=g$, $\operatorname{div}(\mathbf v)=0$
I want to solve the equation:
$$
\begin{cases}
\nabla \times (F\times\mathbf v)=g, \\
\operatorname{div}(\mathbf v)=0,
\end{cases}\label{1}\tag{1}
$$ where $F$ and $g$ are given vector fields. The ...
12
votes
3
answers
2k
views
Why is resonance such a widespread phenomenon?
It is easy to mathematically describe the motion of a mass which is attached to a spring and also pushed around by a sinusoidal force. We get a differential equation of the form:
$$\frac{\mathrm{d}^2x}...
1
vote
0
answers
94
views
One question about Theorem 4 in Brezis–Merle's famous paper
I'm reading Theorem 4 of the paper "Uniform Estimates and Blow-up Analysis for Solutions of $-\Delta u = V(x) e^u$ in Two Dimensions" by Brezis and Merle, and at the beginning of the proof ...
1
vote
0
answers
39
views
Hyperbolic equation without initial state
Consider the hyperbolic equation on a rectangular domain of the form $(0, L_x) \times (0, L_y)$:
$$
a^2 u_{xx} - b^2 u_{yy} = f(x, y),
$$
with Dirichlet boundary conditions on $u$.
By using the ...
4
votes
0
answers
155
views
Quasi-invariance of $\Phi_3^4$ under translation by nonsmooth shifts
In https://hairer.org/Phi4.pdf Hairer shows that the $\Phi_3^4$ measure is mutually singular with respect to any nonzero smooth shift. Is it also mutually singular with respect to any nonzero ...
12
votes
1
answer
450
views
Can Buckmaster-Vicol paradoxical solutions to Navier Stokes show macroscopic motion?
Villani, in his paper "Paradoxe de Scheffer-Shnirelman ..." (MR2648676, Zbl 1404.35338), describes the paradoxical solutions to the Euler equation by Scheffer and Shnirelman, in the form ...
9
votes
2
answers
493
views
Reference Request for global Hölder continuity of solutions to elliptic PDEs
This is question that was also posted on MathStackExchange Link, where it was suggested I post this question on MathOverflow. Please note that the answer given in Link does not help as I do not have ...
3
votes
0
answers
74
views
Reference for PDEs from system of SDEs
I'm working with a system of SDEs
\begin{align*}
dX_t &= b(X_t, t) + \sigma dB_t\\
dY_t &= c(X_t, Y_t, t) + \sigma dB_t.
\end{align*}
Here, the Brownian motion is the same.
I know that ...
6
votes
1
answer
168
views
Laplacian is surjective from $\mathcal{C}^{\infty}(B)$ to $\mathcal{C}^{\infty}(B)$
Let $B$ denote the open unit ball in $\mathbb{R}^n$. Let $\mathcal{C}^{\infty}(B)$ represent the space of smooth functions on $B$.
Is the Laplacian operator $\Delta$ surjective as a map from $\mathcal{...
2
votes
0
answers
191
views
Smoothing property of the heat kernel on the one-dimensional torus
Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation}
G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
1
vote
0
answers
23
views
Uniform bound on the first moment for a perturbed advection-diffusion equation
I am studying the solution $u = u(t,x)$ to the following problem on the positive half-line:
$$
\begin{cases}
u_t = u_{xx} + u_x - \frac{1}{1+t}(xu)_x, & \quad t > 0, \, x > 0, \\[2mm]
-u_x = ...
2
votes
1
answer
161
views
Is there a name for this nice property of the usual weak incompressible Navier-Stokes equation?
Navier-Stokes is a non-linear PDE, and there is no standard, general theory of weak solutions for nonlinear PDEs. But the literature on weak solutions to the incompressible Navier-Stokes constantly ...
6
votes
2
answers
250
views
Minimal assumptions for existence of solutions of First order PDE
I'm looking for a reference about existence of linear homogeneous first order PDE, in particular about the minimal assumption on the data. In literature I found that one require $C^1$-regularity on ...
6
votes
0
answers
113
views
Schwartz kernel of spectral projection of Laplacian and integrated density of states
I'm reposting here a question I asked on MSE which did not receive an answer.
I am considering the Dirichlet Laplacian $\Delta$ on some smooth domain $U$. For now assume that $U$ is bounded, and later ...
3
votes
1
answer
182
views
Tensor product of a slowly increasing smooth function and a tempered distribution converging to a co-located product
Let $T$ be a tempered distribution on $\mathbb{R}$ and $g$ be a smooth function on $\mathbb{R}$ whose derivatives of all orders are all polynomially bounded (a.k.a. slowly increasing).
For any pair of ...
5
votes
0
answers
608
views
What is the correct $L^\infty$ limit of this strange variational problem, and what does it encode?
1. On the $L^\infty$ calculus of variations:
The field known as the $L^\infty$ calculus of variations is a relatively new field that concerns itself with minimising functionals involving the supremum ...
0
votes
0
answers
53
views
Mean field equations in different form
Let $M$ be a compact Riemann surface with volume $1$, $h$ be a continuous positive function on $M$, and $\rho$ be a real number. Consider the following nonlinear equation:
$$
\Delta_g u+\rho\left(\...
3
votes
1
answer
240
views
Solutions and asymptotics of the ODE $ f''=f^{-\alpha} $
Consider the ODE $ f''=f^{-\alpha} $, where $ \alpha>1 $ and $ f>0 $ in $ \mathbb{R} $. Assume that for $ [f]_{\frac{2}{\alpha+1}}\leq A $, where $ A>0 $ is a constant and
$$
[f]_{\frac{2}{\...
5
votes
2
answers
268
views
Positivity for the mild solution of a heat equation on the torus
Consider the following linear parabolic equation in one spatial dimension for $u=u(x,t)$ on the one-dimensional torus $\mathbb{T}^1,$ meaning $x \in \mathbb{T}^1$ and $t \in (0, T]:$
$$ \partial_t u- ...
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}^...
2
votes
0
answers
104
views
Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential
Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
2
votes
0
answers
73
views
On a possible generalization of heat kernel semigroups on Lie groups
Let $G$ be a compact matrix Lie group with Haar measure $\mu$. Then the heat kernel $\rho: G\times (0,\infty) \rightarrow \mathbb{R}$ satisfies
(1) $\rho(g_1g_2,t)=\rho(g_2g_1,t)$ for all positive $t$,...
5
votes
0
answers
412
views
Is it really interesting to prove well-posedness of unsolved SPDE?
Lots of nonlinear SPDE remained open for decades (especially the non-deterministic ones in higher dimensions because of the regularity of the noise) until Hairer's breakthrough (regularity structures),...