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,467 questions
4
votes
1
answer
213
views
Invariant measure theory for SPDEs with distributional solutions (Hilbert versus Polish)
SPDEs such as the stochastic heat equation for $d\geq 2$ with space-time white noise and the stochastic quantization equation have distributional solutions and we still try to make sense of their ...
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 ...
2
votes
1
answer
126
views
Reference: Result of interior parabolic regularity theory for Hamilton–Jacobi equations
Does anyone know the parabolic regularity result that Ben-Artzi used in the article The local theory for viscous Hamilton–Jacobi equations in Lebesgue spaces used to prove that the solution to the ...
1
vote
1
answer
115
views
Extension of eigenvalue and eigenprojection to its complex neighbourhood for constantly hyperbolic operator
I am reading a paper named The block structure condition for symmetric hyperbolic systems written by G. Metivier. There is a statement really has bothered me for a long time.
Consider the following ...
4
votes
1
answer
359
views
Regularity of solutions to $-\Delta u = \operatorname{div} F$, $F\in L^1$
Let $\Omega\subset\mathbb{R}^n$ be a bounded domain with smooth boundary.
What are the regularity results for solutions to
$$
-\Delta u= \operatorname{div} F,
\qquad
F\in L^1(\Omega,\mathbb{R}^n)?
$$...
3
votes
1
answer
245
views
PDE: compactness vs blowup
There are, of course, plenty of approaches on how to solve a non-linear PDE. Two of them are the following:
Solve (easier) approximate problems, show some form of compactness for the approximate ...
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 \...
0
votes
0
answers
112
views
Fourier integral operators and parametrix
Consider the classical wave equation in a bounded domain in $\mathbb{R}^n$, assuming vanishing of the function and its normal derivative on the boundary.
Question: Is there an expression for the ...
3
votes
0
answers
204
views
Question about the formula of Green function of Laplacian on sphere
I'm reading a paper which said that
the Green function for $\left(-\Delta_g\right)^m$ on $2m$-dimensional closed manifold is of the form
$$\tag{1}
G_y(x)=\frac{2}{\Lambda_1} \log \frac{1}{d_g(x, y)}+\...
2
votes
0
answers
114
views
Poincare inequality on the hemisphere
Background:
Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
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 ...
1
vote
2
answers
260
views
Interpretation of the singular integral for the definition of fractional Laplacian in classical case $s=1$
Fractional Laplacian is often defined via next principal value integral (assume dimension one for the simplicity)
$$(-\Delta)^su(x):=c_sP.V.\int_\mathbb{R} \frac{u(x)-u(y)}{|x-y|^{1+2s}}\, dy.$$
This ...
1
vote
1
answer
99
views
How to interpret the vector fields $F_p(x,u,Du)$ in a Lagrangian optimization problem
Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $C^1$ boundary. Let
$$
\begin{matrix}
F: \mathbb{R}^n \times \mathbb{R}^N \times \mathbb{R}^{nN} \to \mathbb{R},& \\
(x,z,p) \mapsto F(...
1
vote
1
answer
159
views
Existence of solution to nonlinear first order PDE with C^1 bounds
I'm looking for general existence of a PDE of the form
$$ f: U \times [0, \delta) \to \mathbb{R}$$
$$\frac{\partial f}{\partial t}(p,t) = F(f(p,t))$$
where $f(p,0)$ is prescribed and $F$ is non-linear ...
2
votes
1
answer
384
views
Continuity equation $\partial_t \mu_t+\operatorname{div} (v_t \mu_t)=0$: are these two notions of weak solution equivalent?
Let $\Omega$ be an open connected convex subset of $\mathbb R^d$. Let $\mathcal P (\Omega)$ be the space of Borel probability measures on $\Omega$. Let $C_0 (\Omega)$ be the space of real-valued ...
0
votes
0
answers
72
views
Some questions about the concept of stable solution of elliptic PDE
For $$
-\Delta u=f(u) \quad \text { in } \Omega,
$$
we call a solution is stable if
$$
Q_u(\varphi):=\int_{\Omega}|\nabla \varphi|^2 d x-\int_{\Omega} f^{\prime}(u) \varphi^2 d x \geq 0, \quad \forall ...
7
votes
2
answers
567
views
Intuition for Agmon-Douglis-Nirenberg ellipticity
First of all, I am sorry if this is a too basic question, but I stumbled over this notion of ellipticity only very recently.
I am trying to understand the definition of ellipticity of systems due to ...
3
votes
1
answer
302
views
Core of the generator of squared bessel process in $L^2(\mathbb{R}_+)$
Consider the squared bessel process with generator $$Gf(x)=xf''(x)+f'(x), \ \ x\in\mathbb{R}_+.$$ It is known that the Lebesgue measure is an invariant measure for this process and thus, can be ...
1
vote
0
answers
61
views
$L^p$ estimates for critical heat equation on $\mathbb{R}^n$
Background:
Let $u:\mathbb{R}^n\times [0,T_+)\to \mathbb{R}$ be a solution to
$$\partial_t u = \Delta u + |u|^{p-1}u$$
where $p=2^{*}-1=\frac{2n}{n-2}-1=\frac{n+2}{n-2}$, $n\geq 3$ and $T_+>0$ ...
0
votes
1
answer
131
views
Controlling convolutions with maximal functions
For $f\in L^1(\mathbb R^n),$ let $Mf$ be the (Edited: changed the type of maximal function) Stein spherical maximal function. Let $\varphi\in C_c^\infty.$ Then, can we have a pointwise estimate of the ...
0
votes
0
answers
108
views
Mixture of Ornstein-Uhlenbeck operators
Consider a set of isotropic, multivariate Gaussian densities with different centers $\mu_i\in \mathbb{R}^d $, $i\in\{1, \ldots, K\}$, which are denoted $\phi_i(x)$. They all have the same variance ...
4
votes
1
answer
237
views
Closed-form solution to hyperbolic PDE
Let $A\in C^{\infty}(\mathbb{R}^2)$ be Lebesgue integrable, and $c_1,c_2\in C^{\infty}(\mathbb{R})$ also be Lebesgue integrable. Consider the hyperbolic PDE
$$
\begin{cases}
\partial_{x,y}u & = A\...
10
votes
4
answers
3k
views
Separable coordinate systems for the Laplace and Helmholtz equations?
According to Mathworld, in three dimensions there are 13 coordinate systems in which Laplace's equation is separable, and 11 for the Helmholtz equation. I've read the relevant chapters of the book by ...
0
votes
0
answers
55
views
Question on the modelling of (viscous) fluid in a bag with holes
Consider some fluid (as nice as possible) in a plastic bag with holes illustrated by the image below (of course no holes have been drawn in this picture)
What is the corresponding PDE to model the ...
1
vote
0
answers
43
views
Behaviour of higher order Laplacian in punctured domain
Bocher theorem characterize the behaviour of a positive harmonic function in punctured disc. More precisely if $\Omega$ is a domain in $\mathbb{R}^3$ and $U$ is a non negative solution of $\Delta u=0$ ...
0
votes
0
answers
46
views
Conservation law for generic linear hyperbolic PDEs?
Consider the wave equation:
$$
u_{tt} = \Delta u, \text{ on }U\times [0,T], u=0\text{ on }\partial U\times[0,T].
$$
To prove the only solution for the zero initial condition is zero, we only need to ...
2
votes
1
answer
184
views
Prove if the fractional Laplacian of a function is bounded
Take $s\in (0, 1)$. I am trying to understand if $(-\Delta)^s (\log(1+x^2))$ is bounded, that is if there exists $R>0$ such that $|(-\Delta)^s (\log(1+x^2))|\le R$.
Here $(-\Delta)^s$ is the ...
1
vote
0
answers
98
views
criticality for nonlinear wave equations on manifolds
On $\mathbb{R}^{1+n}$, the initial value problem for the homogeneous wave equation
$$ \Box \phi = \partial_t^2 \phi - \Delta_{\mathbb{R}^n} \phi = 0, \\ (\phi, \partial_t \phi)|_{t=0} = (\phi_0, \...
2
votes
0
answers
98
views
Question on Cauchy problem on manifolds
Let $(M,g)$ be a globally-hyperbolic manifold, i.e. $M=\mathbb{R}\times\Sigma$ and $g=-\beta^2 \, dt^2+h_{t}$. Furthermore, let $E$ be a vector bundle over $M$ and $\square$ a normally-hyperbolic ...
0
votes
0
answers
67
views
Examples of symmetry-breaking solitons which retain a subgroup symmetry
There are many works on spontaneous symmetry breaking in the Nonlinear Schrödinger equation with asymmetric soliton solutions.
However, all symmetry breaking soliton examples I have seen go from the ...
1
vote
0
answers
70
views
Pohozaev type obstruction for higher order elliptic operators
I was reading about Pohazaev type obstructions: precisely, I mean the following kind of results. Let $h\in C^1(\mathbb{R}^n)$ and consider the following Dirichlet problem
$$
\begin{cases}
\Delta u + ...
0
votes
0
answers
80
views
What is the PDE corresponding to this weak formulation?
Consider a flow $(\mu_t)_{t\ge 0}$ such that
every $\mu_t$ is a probability on $\mathbb R_+$;
$\mu_0(dx) = \rho(x) \, dx$ with $\rho$ being a probability density (as nice as possible) on $\mathbb R_+$...
1
vote
1
answer
113
views
An integrable estimate of the Hölder constant of the map $x \mapsto \int_{\mathbb R^d} f(y) \partial_1 \partial_1 g_t (x-y) \, \mathrm d y$
Let $(g_t)_{t>0}$ be the Gaussian heat kernel on $\mathbb R^d$, i.e.,
$$
g_t (x) := (4\pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{4t}},
\quad t>0, x \in \mathbb R^d.
$$
Let $f : \mathbb R^d \to \...
5
votes
1
answer
437
views
Elliptic PDEs in Finance
In mathematical finance, one often encounters parabolic PDEs typically through the Feynman-Kac representation theorem/formula. However, I'm curious are there interesting examples of Elliptic boundary ...
0
votes
0
answers
25
views
Reference request heat equation with moving interface
Let $T,\sigma_1,\sigma_2>0$, $\lambda:[0,T]\to\mathbb{R}$ a continuous function and consider the following Cauchy problem on $[0,T]\times \mathbb{R}$:
$$
\begin{cases}
u_t = \sigma_1^2u_{xx} ~~~~\...
2
votes
0
answers
71
views
Any solution of an evolution problem tends to a steady state in $L^2$?
I have a general question. Suppose that we have the following simple evolution problem $\begin{cases} \dfrac{\partial u}{\partial t}-\Delta u=f(u), & (t,x)\in (0,\infty)\times\Omega\\ \dfrac{\...
3
votes
0
answers
173
views
$L^{p}$ estimate for $\Delta|\nabla u|$ on a manifold with bounded Ricci curvature
This is a more advanced question than Estimates of $\Delta|\nabla u|$ for harmonic function $u$ .
The Bochner formula and refined Kato inequality tells us that on a Riemannian manifold $(M^{n},g)$, if ...
8
votes
1
answer
357
views
Estimates of $\Delta|\nabla u|$ for harmonic function $u$
The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$,
$$
\frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
0
votes
0
answers
53
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
0
votes
0
answers
56
views
Godunov splitting convergence research
The approximation of Godunov splitting on certain differential equations is known to be first order accurate. In 2011, a paper has also shown that it is first order accurate for nonlinear ordinary ...
4
votes
0
answers
148
views
Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$
In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
2
votes
0
answers
126
views
On improving the regularity of solutions to nonlinear parabolic pde
There's a common reasoning i have seen in many papers/books that work with parabolic pde's (most specifically in the context of geometric flows) but I can't fully grasp it. This reasoning is that to ...
2
votes
0
answers
77
views
Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem
Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
3
votes
0
answers
41
views
Functional of fully nonlinear equations
Let $\left(\mathcal{M}, g_0\right)$ be a compact Riemannian manifold of dimension $n>2$ and denote by 'Ric' and $R$ respectively the Ricci tensor and the scalar curvature. The $k$-Yamabe problem is ...
1
vote
1
answer
309
views
Eigenvalues of a Schrödinger operator
I'm interested in the existence of eigenfunctions and finding eigenvalues of the following operator
$$L(\varphi) = \varphi_{rr} - \frac{1}{r} \varphi_r - [V + \frac{m}{r^2}] \varphi$$
$$\varphi(0) = \...
0
votes
0
answers
33
views
On the I-method's energy increment calculation in a paper of Dodson
I am currently reading Dodson's Global Well-posedness for the Defocusing, Quintic Nonlinear Schrödinger Equation in One Dimension for Low Regularity Data article and I am trying to understand Theorem ...
1
vote
0
answers
91
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}\...
9
votes
1
answer
639
views
Prove J.L. Lions’s Lemma without using Fourier transform
When I read the book Linear and Nonlinear Functional Analysis with Applications, I came across J.L. Lions's Lemma (the book doesn't give a proof), which states
Let $\Omega \subset \mathbb R^n$ be a ...
3
votes
1
answer
278
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{...
0
votes
0
answers
29
views
Advection diffusion equation with position dependent advection
I am trying to solve a equation that looks like $$u_t=f(x)u_x+Du_{xx}$$
any insight to whether an solution might exist would be very much appreciated!