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,466 questions
5
votes
0
answers
214
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
- 1,429
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 ...
- 809
2
votes
0
answers
164
views
$H^s$-mild solution for Navier–Stokes : why do we restrict attention to the function spaces "without Fourier zero mode"? (Related to Terence Tao blog)
This question has been triggered by the Definition 32 and Remark 33 in the blog of Terence Tao.
There, every function space is restricted to ones without the Fourier zeroth mode. And the Remark 33 ...
- 3,477
4
votes
1
answer
258
views
Building a geodesic conjugate parameterization on catenoid
I believe that a catenoid supports a parametrization $\sigma : U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ that forms a conjugate system (i.e., $\sigma_{uv} \in\mathrm{span}(\sigma_u, \sigma_v)$) ...
- 245
0
votes
0
answers
88
views
How to solve with FEM a semilinear elliptic equation?
I searched in many books regarding FEM how to solve semilinear elliptic equation, but I did not find too many things. They mostly treat linear and simple problems. For example in P.Ciarlet-The finite ...
- 1,759
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 + ...
- 87
84
votes
10
answers
25k
views
Why can't there be a general theory of nonlinear PDE?
Lawrence Evans wrote in discussing the work of Lions fils that
there is in truth no central core
theory of nonlinear partial
differential equations, nor can there
be. The sources of partial
...
3
votes
0
answers
111
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
- 2,689
7
votes
1
answer
1k
views
Eigenvalues and eigenfunctions of the Laplace operator on entire plane
According to the answers in the the following questions: How to prove the spectrum of the Laplace operator? and What is spectrum for Laplacian in $\mathbb{R}^n$ , the spectrum of the Laplace operator $...
- 597
1
vote
0
answers
42
views
counterexample for non- monotone curvature function on the Kazdan-Warner identity
Let $\mathbb{S}^n\subset \mathbb{R}^{n+1}$ be the unit standard sphere, $n\geq 2$. $K(\xi)=\xi_{n+1}+2$, where $\xi=(\xi_1,\ldots,\xi_{n+1})\in \mathbb{S}^n$. It is easy to see that $K(\xi)$ is ...
- 471
1
vote
0
answers
131
views
Regularity of elliptic equation with Neumann boundary conditions
In the context of the regularity of the free boundary of the one-phase (a.k.a. Bernoulli) problem we want to show $C^{1,\alpha}$ regularity of the free boundary implies smoothness of the free boundary ...
- 11
6
votes
0
answers
243
views
Global well posedness of $\phi^4_1$
We consider the $\phi^4_1$ model: $\partial_t\phi=\Delta\phi-\phi^3+\xi$ on $[0,T] \times \mathbb{R},$ where $\xi$ is a space time white noise.
I know how to solve this equation locally on the torus, ...
- 573
1
vote
0
answers
135
views
Conformal laplacian on asymptotically flat manifolds with boundary
Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies
$$\...
- 969
1
vote
0
answers
54
views
Using connection form for unknown frame field
I have a way to calculate the connection 1-form $\alpha$ associated to a compact simply connected parallelizable Riemannian surface $(M,g)$ (so, $M$ is topologically a disk) and a special orthonormal ...
- 11
8
votes
1
answer
315
views
Lower bound $\int_0^1 \frac{|f'(x)|^2}{f} \,\mathrm{d} x$ by $\int_0^1 |f-1|^2\, \mathrm{d} x$
Assume that $f$ is a probability density on $x \in (0,1)$, I want to obtain a bound of the following form (if it is possible at all): $$ \int_0^1 \frac{|f'|^2}{f} \,\mathrm{d} x \geq C\,\int_0^1 |f-1|^...
- 730
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
1
answer
470
views
Iterated Duhamel's formula for solutions of Boltzmann equation
My question comes from a computation in the paper Central limit theorem for Maxwellian molecules and truncation of Wild expansion. Specially, consider the following Boltzmann equation
$$\frac{\partial ...
- 730
4
votes
0
answers
246
views
Dynamical obstruction for a vector field to have a Harmonic divergence
Let $(M,g)$ be an analytic Riemannian manifold and $X$ be an analytic vector field on $M$. Can we always have a volume form $\Omega$ such that $\operatorname{Div}_{\Omega} X$ is a harmonic ...
- 366
3
votes
0
answers
159
views
Conformal Killing vector fields on manifolds that are not asymptotically flat
Let $M = [1,\infty) \times S^2$.
Equip $M$ with the metric $g = dr^2 + r^2 (\gamma + h)$ where $\gamma$ is a metric on $S^2$ and $h$ is a $(0,2)$ tensor on $M$ that satisfies
$$h = O(1/r),\quad \...
- 969
1
vote
1
answer
100
views
Is there literature on the existence of solutions to elliptic systems on unbounded manifolds?
Most of the current literature I've seen is either for compact Riemannian manifolds or unbounded subsets of Euclidean space. In this article, the authors consider a priori bounds on such systems on ...
- 419
1
vote
0
answers
63
views
On an estimate in the paper by Donnelly and Fefferman
I was reading the following paper by Donnelly and Fefferman https://link.springer.com/content/pdf/10.1007/BF01393691.pdf which essentially deals with the Hausdorff dimension bound of the nodal sets ...
- 41
1
vote
0
answers
99
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, \...
- 914
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 ...
- 1,755
3
votes
0
answers
66
views
Convex combination of cyclically monotone sets
I want to show the following statement, but I am not sure how.
Proposition(?):
Let $C \in \mathbb{R}^d$ be a compact convex set, and let $u, v : C \to \mathbb{R}$ be smooth convex functions.
Suppose
$$...
- 51
42
votes
3
answers
4k
views
Do we lose any solutions when applying separation of variables to partial differential equations?
For example, consider the following problem
$$\frac{\partial u}{\partial t} = k\frac{\partial^2 u}{\partial x^2},\hspace{0.5cm} u(x,0)=f(x),\hspace{0.5cm} u(0,t)=0,\hspace{0.5cm} u(L,t)=0$$
Textbooks (...
2
votes
1
answer
183
views
A question about a series of solutions to an elliptic PDE in $B_R$ which is compactly convergent as $R \rightarrow +\infty$
My question arises from Here.
I have a series of eigenvalue equations in $B_R$. $$
-\Delta \phi_R+H(x) \phi_R=\lambda_R \phi_R,
$$
where $\lambda_R \geq 0$ is the first nonzero eigenvalue, with $\...
- 809
1
vote
0
answers
40
views
System of equations with one integral equation
Start with a system of three equations such that two of the equations are ordinary or partial differential equations, but one of them is an integral equation as follows:
$C = \int_{0}^{\infty} X \: ...
- 5,146
2
votes
0
answers
116
views
Behavior at infinity of an $L^2$ function with $L^2$ mixed second derivatives
If $f$, $\nabla_x \cdot \nabla_y f \in L^2(\mathbb{R}^d_x\times \mathbb{R}^d_y)$, what can be said about decay at infinity of $\nabla_x f$, $\nabla_y f$?
It is clear that $(\nabla_x^2 + \nabla_y^2) f \...
- 469
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$ ...
- 11
5
votes
0
answers
234
views
Non-uniqueness of solutions to a simple nonlinear elliptic PDE in $\mathbb R^n$
My question is about non-uniqueness of solutions of an elliptic PDE in $\mathbb R^n$ with source term in a scaling-subcritical space (regular, but with too slow decay at infinity), and with some nice ...
- 1,075
1
vote
0
answers
52
views
Making sense of constant scalar curvature metric horns
Suppose we have a compact oriented surface $S$ and we remove a point $p$ on it. We could consider a neighboorhood $U$ of the puncture $p$, so that the points in this neighboorhood are described by ...
6
votes
0
answers
201
views
Dependence of Neumann eigenvalues on the domain
I have the following problem in hands, in the context of a broader investigation:
Let $V\in L^{n/2}$ compactly supported, where $n\geq 3$ is the dimension. I want to prove the following:
For any $\...
- 101
7
votes
2
answers
408
views
$L^p-L^q$ boundedness of this simple singular oscillatory integral operator
Let $0<\alpha<1$ and define
$$Tf(x):=\int e^{\dot{\imath} x y} \frac{f(y)}{|x-y|^{\alpha}}dy.$$
The Hardy-Littlewood-Sobolev inequality characterizes $L^p-L^q$ boundedness of
$Hf(x):=\int \frac{...
- 852
1
vote
1
answer
148
views
Why does failure of boundedness of this operator for $p<q$ implies its failure for $p>q^{\prime}$?
I am reading the paper "P.Sjolin, Convolution with Oscillating Kernels, Indiana University Mathematics Journal Vol. 30, No. 1 (1981), pp. 47-55" where $L^p-L^p$ boundedness of the operator
$...
- 852
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 ...
- 677
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,334
2
votes
0
answers
161
views
A naive question about the stable solution and Morse index of elliptic PDE
For example, 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, \...
- 809
1
vote
0
answers
141
views
$L^{p}$ estimate for $\frac{|\nabla f|^{2}}{f}$
I’m trying to obtain an $L^{p}$ estimate under certain conditions. Suppose $f\in C^{2}(B_{2})$ is a function satisfying $0<f<1$ and $f\Delta f>\frac{1}{n} |\nabla f|^{2}$, where $B_{2}\subset\...
- 155
2
votes
1
answer
274
views
Heat conduction type equation in 4D
[I asked a similar question, Linear PDE, analytic continuation, Green's function and boundary conditions, and was told that a follow-up question should be a separate post.]
I'm interested in a ...
- 1,150
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
0
votes
0
answers
115
views
Existence of Green functions and some properties
Let $\Omega$ be a smooth domain in $\mathbb{R}^N$， $N\geq 3$, $p\in \Omega$ is a fixed point, $\lambda$ is a parameter (can be 0,>0,<0), if there exisits a Green function $G_{\lambda}(x,p)$ ...
- 471
1
vote
0
answers
89
views
Heat kernel and estimates
In the article by Hairer-Labbe (A simple construction of the continuum
parabolic Anderson model on $\mathbb{R}^2$), they used the following "well known" fact (picture below) in holder spaces....
- 573
3
votes
0
answers
82
views
Dirichlet-to-Neumann map is analytic
Let $M^n$, $n \geq 2$, be a compact smooth manifold with boundary and let $I \ni t \mapsto g_t$ be an analytic (with respect to t) $1$-parameter family of Riemannian metrics on $M$. For each $t \in I$,...
- 2,095
3
votes
1
answer
252
views
Reference request: analysis of a nonlinear Fokker-Planck type equation
It is well-known that the linear Fokker-Planck equation (written in one space dimension for simplicity) $$\partial_t \rho = \partial_x \left(\rho_\infty \partial_x\left(\frac{\rho}{\rho_\infty}\right)\...
- 730
30
votes
8
answers
4k
views
Applications of microlocal analysis?
What examples are there of striking applications of the ideas of microlocal analysis?
Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
- 7,799
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
3
votes
2
answers
383
views
Singular support: equivalent definition
Let $U\subset\mathbb{R}^{d}$ be an open set. The singular support of a distribution $u\in\mathcal{D}^{\prime}(U)$ is defined to be the compliment of the set of points, which have a neighbourhood in ...
- 1,171
5
votes
1
answer
311
views
Maximal operator estimates for the Schrödinger equation
Let $a>0$ and consider the operator
$$Tf(t,x)= \int_{\mathbb{R}^{n}}e^{ i x\cdot \xi} e^{i t \lvert\xi\rvert^{a}} \widehat{f}(\xi) \, d\xi.$$
When $a=2$, the function $Tf$ solves the Cauchy problem ...
- 852
2
votes
0
answers
154
views
Uniqueness of the solution to systems of first-order linear PDEs
Context:
Let $\Omega \subset \mathbb{R}^p$ be an domain.
For functions $A_{jk}^i : \Omega \to \mathbb{R}$ and $B_k^i : \Omega \to \mathbb{R}$ with some regularity, I am interested in the following ...
- 51
2
votes
0
answers
144
views
Positivity of the Fourier transform: prove or disprove that $\operatorname{Re}(\overline{\widehat{u}}(\xi) \widehat{F\circ u}(\xi))\geq0$
Let $F:[0,\infty) \to[0,\infty)$ be increasing, $C^1$ and $L-$Lipschitz with $F(0)=0$. Let $u\in L^1 (\Bbb R^d)$, $u\geq0$ so that $F\circ u\in L^1 (\Bbb R^d)$
I would like to prove (or disprove) ...
- 1,101