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
89
views
Reference for an application of J. Simon "Compact sets in the space $L^p(0,T;B)$"
Theorem 5 p.84 of J. Simons paper "Compact sets in the space $L^p(0,T;B)$" states a generalization of the Aubin-Lions lemma which relaxes the required regularity in time to the existence of ...
4
votes
0
answers
111
views
Continuity of solutions of Elliptic PDE with respect to parameters
Let $\alpha \in \mathbb{R}$ and $u_\alpha$ satisfy
$$ \Delta u_\alpha+e^{u_\alpha}=\alpha f(x), \ \ \ \ x\in \mathbb{R}^2$$
where $f$ is a fast decaying smooth function.
I would like to know how the ...
1
vote
0
answers
111
views
Schrödinger equation approximation – continuity of eigenvalues with respect to potential
The question has been crossposted from Stackexchange after receiving no answers.
Setup: the time-independent Schrödinger equation (eigenvalue problem):
$(-\frac{\hbar^2}{2m}\Delta +V)\psi = E\psi$
(On ...
3
votes
1
answer
747
views
Navier-Stokes equations and machine learning
I am looking for a reference explaining how to solve the Navier-Stokes equations numerically using machine learning algorithms .
Thank you in advance for your help .
4
votes
0
answers
131
views
Systems of parabolic equations -- Petrovskii's condition
Consider the flat torus $\mathbf{T}^d:=\mathbf{R}^d/\mathbf{Z}^d$ and define the corresponding periodic-parabolic cylinder $Q_T:=(0,T)\times\mathbf{T}^d$.
Given a matrix field $A:Q_T\rightarrow\text{M}...
4
votes
1
answer
212
views
Existence of eigen basis for elliptic operator on compact manifold
Let $M$ be a compact Riemannian manifold. Let $E$ be a vector bundle over $M$ equipped with a Hermitian (or Euclidean) metric on its fibers. Let $D$ be a linear elliptic differential operator acting ...
3
votes
1
answer
183
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 ...
10
votes
1
answer
849
views
Hodge decomposition in elliptic complexes
EDIT: In the book "Principles of Algebraic Geometry" by Griffiths and Harris the authors prove the Hodge decomposition for the Dolbeault operator $\bar\partial$ on differential forms on a ...
2
votes
0
answers
134
views
Critical points of a strictly subharmonic function
Let $M$ be a smooth, compact manifold with boundary. Let $u: M \to \mathbf{R}$ be a smooth function that has its Riemannian Laplacian equal to a positive constant:
\begin{equation}
\Delta u = A > 0....
1
vote
0
answers
226
views
About Agmon-Douglis-Nirenberg complementing boundary condition
Let's consider the following Poisson equation with Neumann boundary condition
\begin{align*}
-\Delta u &= f \quad \text{in } \Omega \\
\partial_n u&=0 \quad \text{on } \partial \Omega,
\end{...
3
votes
1
answer
161
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. ...
1
vote
2
answers
106
views
Green function of symmetric stable process in dimension 1 and 2
Are the results in this paper on the Green function of a symmetric stable process available also in space dimension $d =1$ and $d=2$? The main theorems here are stated only for $d \ge 3$.
0
votes
0
answers
176
views
Difficulty in understanding one step in Ciraolo-Figalli-Maggi paper
I am in trouble in understanding one step of theorem 1.1 in the paper by Ciraolo-Figalli-Maggi: arXiv link, link at Figalli's page.
Namely in equation \eqref{1}, it is written: "Since $u=\sigma+\...
5
votes
1
answer
216
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
3
votes
0
answers
103
views
Comparison principle for Elliptic PDE with exponential nonlinearity
Suppose $\varphi$ is a radial (and radially decreasing) solution of
$$\Delta \varphi+e^{\varphi}=0, \ \ \text{on} \ \ r \in (0,R), $$
with $ R>0$, and $\psi$ is a decreasing radial function ...
4
votes
0
answers
65
views
Pairs of functions with commuting Hessians
Let $f,g:\mathbb{R}^2\to\mathbb{R}$ be smooth functions and let $H_f, H_g$ be their Hessians. Is anything known about the differential equation $H_f H_g=H_g H_f$? Or, in higher dimensions, let $F=(f_1,...
3
votes
1
answer
275
views
Is the closure of the ball of $1$-Lipschitz functions still equi-Lipschitz?
$\DeclareMathOperator\Lip{Lip}$Let $\Lip_0(\mathbb R^d)$ be the space of Lipschitz functions $f:\mathbb R^d\to\mathbb R$ vanishing at zero, i.e., $f(0)=0$, and equipped with the norm $\|f\|:=\|\nabla ...
5
votes
1
answer
558
views
General solution to null-divergence equation
I am interested in whether each component of a divergenceless vector can itself be written as a divergence. My motivation for this question is the characterization of so-called trivial conservation ...
11
votes
1
answer
2k
views
Feynman-Kac theorem: probabilistic proof of existence of solution to parabolic PDE
Friedman (in his book: PDEs of Parabolic Type) shows how to construct a solution to the Cauchy problem
$$
\partial_t u(t,x) = b(x) \partial_x u(t,x) + \frac{1}{2} \sigma(x)^2 \partial_{x,x} u(t,x)
$$
...
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).$$
...
1
vote
1
answer
112
views
How to prove $ \|u\|_{L^{\infty}}\leq C\|\partial_1\square u\|_{L^1} $ for any $ u\in C_0^{\infty}(\mathbb{R}^{1+2}) $?
It comes from estimates for wave equations.
For any $ u=u(t,x)\in C_{0}^{\infty}(\mathbb{R}^{1+2}) $, which is a smooth compactly supported function, prove that
$$
\|u\|_{L^{\infty}(\mathbb{R}^{1+2}\...
2
votes
1
answer
237
views
Approximation of Hölder functions by Fourier series
Let $Q$ be a bounded domain in $\mathbf R^N$ with smooth boundary. Let $f\in C^a(\overline{Q})$, $0<a<1$.
Denote $\psi_k(x)$ normalized eigenfunctions and $\lambda_k$ eigenvalues ($k=0,1,2\...
3
votes
0
answers
127
views
What notion of weak solution is suitable for systems of $\infty$-elliptic PDE?
Let $Pu = f$ be an elliptic PDE in divergence form. Then $P$ is viewed as a generalization of the Laplacian, and we can define its weak solutions analogously to how we define a weakly harmonic ...
2
votes
2
answers
281
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
2
votes
1
answer
197
views
Linear elliptic equation
Let $\Delta:=\partial_z\,\partial_{\overline {z}} $ be the Laplacian operator. I look for a particular non-trivial solution $u$ of $$\Delta u=\frac{a}{1-|z|^2}u$$ where $u\in C^2(\mathbb{D})$ and $a\...
2
votes
1
answer
228
views
When is a stationary measure of a Markov chain "exponentially localized"?
Here exponentially localized can be thought in a non-rigorous manner as a measure that is mostly supported on a sparse number of nodes.
Some intuition can gained by thinking about a diffusion process, ...
3
votes
0
answers
102
views
Uniqueness continuation property for parabolic equation
Consider the following parabolic equation:
$$\DeclareMathOperator{\Div}{div}
\begin{cases}
\dfrac{\partial \rho }{\partial t}-\Div\left( a\left( x\right) \nabla
\rho \right) +p(x)\rho = 0 & \...
2
votes
1
answer
483
views
What is an analogous version of the Ornstein–Uhlenbeck process on Riemannian manifolds?
Recall that the Ornstein–Uhlenbeck (OU) process in $\mathbb{R}^d$ is defined by the following SDE,
$$
d Z_t=\frac{-1}{2} Z_t d t+d W_t, \quad t \geqslant 0
$$
where $\left(W_t\right)_{t \geqslant 0}$ ...
1
vote
1
answer
96
views
Fractional reaction-diffusion with Caputo derivative
I'm interested in the following Cauchy problem for a linear diffusion equation
$$
\begin{cases}
{^C}\!D^{a}_tu(t,x) = \sigma\Delta u(t,x),\\
u(0)=u_0\in X.
\end{cases}
$$
where ${^C}\!D^{\sigma}_t$
...
3
votes
1
answer
762
views
Approximate Fréchet derivative of PDE solution operator
Let's assume that $F$ is the solution operator of some PDE problem, i.e. $F$ maps some parameter or boundary condition function to the solution of a given PDE. Let also be $\Pi$ be the evaluation ...
2
votes
0
answers
114
views
A maximum principle in $\mathbb{R}^N$
Let $\delta > 0$ and define
$$
H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N.
$$
By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
1
vote
0
answers
73
views
Limiting behavior of Kazdan-Warner equations
It's a well known result by Kazdan and Warner that on a closed Riemannian manifold the pde:
\begin{align*}
\Delta f+ge^f=c
\end{align*}
has a unique solution for $g\geq 0,$ and $c$ a positive constant....
1
vote
1
answer
169
views
Higher integrability for Sobolev functions - part 2
This is a follow-up to the question asked in Higher integrability for Sobolev functions
Updated question: Given the very helpful counterexamples and the ideas, I have the following question: Suppose ...
5
votes
3
answers
621
views
Higher integrability for Sobolev functions
Let $u \in W^{1,2}(\mathbb{R}^2)$ be a given function satisfying $$\frac{1}{|B_r|}\int_{B_r(x)} |\nabla u|^2 dy \leq \frac{1}{r^{\delta}}$$ for all $r \leq 1$, $x \in \mathbb{R}^2$ and some fixed $\...
0
votes
1
answer
125
views
Why is this integrability condition needed for uniqueness in the continuity equation?
I am reading about the uniqueness problem for the continuity equation $\partial_t \mu_t + div_x (b \mu_t)=0$ in the lecture notes by Ambrosio (here: https://warwick.ac.uk/fac/sci/maths/research/events/...
2
votes
0
answers
94
views
Convergence of Green's function of fractional heat equation
For the fractional heat equation
\begin{equation} \partial_t u + (-\Delta^s)u=0 \text{ in } \mathbb{R}^d \times (0,\infty),
\end{equation} where $s \in (0,1)$ where the fractional laplacian is the ...
1
vote
0
answers
108
views
Recovering phase function using Fourier decomposition
I have a function $\phi(x): \mathbb{R} \to [0, 2 \pi)$, which describes phase of another function
$$f = e^{i \phi(x)}. $$
I am interested in the following problem. If I know the function/distribution $...
1
vote
0
answers
67
views
Reference regarding the discrepancy of Sobolev inequality in manifolds
In the paper [1] by Bianchi and Egnell, they proved the following discrepancy result for the classical Sobolev embedding
$$
\|\nabla\phi\|_{2}^2-S^2\|\phi\|_{2^*}^2\geq\alpha d(\phi,M)^2.
$$
This ...
7
votes
0
answers
80
views
Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator
Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
0
votes
0
answers
143
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
1
vote
0
answers
86
views
Hölder regularity in a quantitative manner
Why the investigation pertaining to sharp estimates in diffusion pde is important? In what scenarios the quantitative way reveals important nuances of a problem and play a decisive role in a finer ...
1
vote
1
answer
219
views
analytical solution of BVP and IVP of allen cahn steady state equation
The steady state of Allen Cahn equation is $u_{xx}+u-u^3=0$. There's work on solving it as an IVP or BVP under various conditions (most common ones may be heteroclinic solutions) but it's hard to find ...
2
votes
0
answers
67
views
Higher order energy method for nonlinear damping wave equation(reference request)
When I deal with Energy decay rate estimates of the wave equation$$u_{tt}-\Delta u=0\ in\ \Omega$$ with acoustic boundary conditions$$z_{tt}+\varphi(z_{t})+z-g*z+u_{t}=0\ on\ \Gamma_{1},$$ $$\partial_{...
1
vote
1
answer
112
views
Solving a particular delay PDE $\partial_q f(q,s-1) = -\sqrt{s(2+s)}f(q,s)$
I recently encountered a particular delay PDE in my work, the solution of which corresponds to the Laplace transform of some probability distribution. I'm having trouble to solve this equation. The ...
2
votes
0
answers
373
views
open problem in numerical analysis [closed]
I am interested in open and current issues in numerical analysis, there are good references in this respect. Thanks for your response
8
votes
2
answers
263
views
Is the $n/2$-th heat kernel coefficient topological?
I have asked the same question on math.SE, without much success so I'm trying my luck here too.
Let $M$ be an $n$-dimensional manifold, with $n$ even and consider the heat kernel of the Laplacian on $...
3
votes
1
answer
305
views
Are Neumann Laplacian eigenfunctions in $C(\overline{\Omega})$?
Consider that $u\in H^1(\Omega)$ with $\Delta u\in L^2(\Omega)$ (in the distributional sense) such that for some $\lambda>0$ we have that:
$$\begin{cases} \Delta u(x)=\lambda u(x), & x\in\Omega\...
3
votes
1
answer
579
views
Mathematical difference between solitons and traveling waves for a non-linear dispersive PDE
I see many mathematicians conflating the definitions of traveling waves and solitons, and I am unable to understand, from a mathematical point of view, the differences between these two types of ...
8
votes
2
answers
630
views
Does pseudo-holomorphic *submanifolds* satisfy unique continuation?
Let $f,g:(D^2,j_\mathrm{std})\to(B^{2n}(1),J)$ be two pseudo-holomorphic maps. The following unique continuation result is well-known (it may be proved using either Aronszajn's Lemma or the Carleman ...
3
votes
0
answers
111
views
Complex interpolation of Fourier-Lebesgue spaces and Lebesgue spaces
The complex interpolation of Lebesgue spaces $L^{p_0}$ and $L^{p_1}$ are well-known, that is,
$[L^{p_0}, L^{p_1}]_\theta = L^p$, where $(1-\theta)/p_0+1/p_1 = 1/p$ for some $\theta \in [0,1]$.
Now I ...