# 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.

842 questions

**21**

votes

**0**answers

494 views

### What is a Green's function in the language of $\mathcal{D}$-modules?

Let $P$ be an analytic linear differential operator defined on some open interval $X=(a,b)$ and $\mathcal{M}=\mathcal{D}_X / \mathcal{D}_X \bullet P$ the corresponding $\mathcal{D}$-module. I'm trying ...

**17**

votes

**0**answers

507 views

### Is there an Infinite dimensional sheaf theory for analysis on manifolds?

I apologize if this question is slightly vague but I don't know how to ask it non-vaguely. Moreover, my question is about an ideal situation. If there's a close answer which doesn't satisfy all the ...

**13**

votes

**0**answers

529 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...

**12**

votes

**0**answers

716 views

### Characterising critical points of $E(f)=\int_{M}| \bigwedge^2 df|^2 \text{Vol}_{M}$

$\newcommand{\id}{\operatorname{Id}}$
$\newcommand{\R}{\mathbb{R}}$
$\newcommand{\TM}{\operatorname{TM}}$
$\newcommand{\Hom}{\operatorname{Hom}}$
$\newcommand{\Cof}{\operatorname{Cof}}$
$\newcommand{\...

**12**

votes

**0**answers

536 views

### Classes of (non-continuous) functions with the fixed point property

Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...

**10**

votes

**0**answers

170 views

### Elliptic regularity of perturbed scalar curvature in Kazdan & Warner

In their paper A Direct Approach to the Determination of Gaussian
and Scalar Curvature Functions, Kazdan and Warner claim something along the lines of: if $g$ is a metric in $W^{2,p}$ ($p>n$) whose ...

**10**

votes

**0**answers

412 views

### Uniqueness of singular Hermitian-Einstein metric along Yau-Donaldson flow?

The following question is related to Singular Yang-Mills theory
The Hermitian metric $H$ along the fibers of the holomorphic vector bundle $E$ over a K\"ahler manifold $(M,\omega)$ is Hermitian-...

**10**

votes

**0**answers

240 views

### Is there a classification of differential equations over the field of fractions of formal power series? (characteristic 0)

Let $k$ be an algebraically closed field of characteristic 0. Consider the field of fractions of formal power series $K:= Frac(k[[T_1,...,T_n]])$. We have the corresponding algebra of differential ...

**10**

votes

**0**answers

456 views

### Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition ...

**9**

votes

**0**answers

319 views

### Are harmonic mappings of Riemannian manifolds always non-singular outside a set of measure zero?

Let $(M,g)$ be an $n$-dimensional, connected, compact, oriented, smooth Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to \mathbb{R}^n$ (note that $n=\dim M$).
Let $...

**9**

votes

**0**answers

606 views

### Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?

Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...

**9**

votes

**0**answers

220 views

### Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$.
C.D. Sogge proved that we have the ...

**8**

votes

**0**answers

204 views

### Measuring the non-commutativity of the codifferential and pullbacks

$\newcommand{\id}{\operatorname{Id}}$
$\newcommand{\TM}{\operatorname{TM}}$
$\newcommand{\Hom}{\operatorname{Hom}}$
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\R}{\mathbb{R}}$
$\newcommand{\N}{\...

**8**

votes

**0**answers

166 views

### Lifting a determinant map

This is a kind of a follow-up to Question on Hessian of a function (probability question). Suppose I give you a continuous function $f:\mathbb{R}^n \to \mathbb{R}.$ Is it true that there exists a ($C^...

**8**

votes

**0**answers

184 views

### Basis for $L^2(\mathbb{R})$ that Solves the Heat Equation

This is a less-than-serious question that I asked on math.SE, but I suspect it is slightly more appropriate to ask it here. Consider the heat equation $$
u_t = \frac12 u_{xx}
$$ On $\mathbb{T}$ with ...

**8**

votes

**0**answers

230 views

### Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$).
Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...

**8**

votes

**0**answers

223 views

### Harmonic map heat flow in positive curvature

Suppose I wish to relax/smooth a map $\phi:M\rightarrow N$ between two surfaces $M,N$ embedded in $\mathbb{R}^3$. I could try flowing the map using harmonic heat flow, which (as I understand it) is ...

**8**

votes

**0**answers

160 views

### Local energy decay for variable-speed, divergence-form wave equation in non-trapping medium without obstacles

I'm looking for a reference in the literature describing local energy decay for solutions of a smooth-coefficient, variable-speed wave equation, in divergence form, with compactly-supported initial ...

**7**

votes

**0**answers

66 views

### A geometrical problem in terms of a convex function

I wish to know whether the following problem has ever been investigated.
Let $D$ be a convex domain in ${\mathbb R}^d$, with smooth boundary $\partial D$. Let $\vec V:\partial D\rightarrow{\mathbb R}^...

**7**

votes

**0**answers

206 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 \...

**7**

votes

**0**answers

182 views

### Lax pairs in an abstract formalism

I am reading Integrals of Nonlinear Equations of
Evolution and Solitary Waves by Peter Lax and I'm having a hard time. The methods are pioneering, of course, but Lax does not bother much to provide ...

**7**

votes

**0**answers

138 views

### What is nice in gradient flows?

First of all, I am sorry for such naivety. I have not all the intuition in hard analysis as I wish.
I am studying Perelman's work and his big first contribution is to prove that the Ricci flow is in ...

**7**

votes

**0**answers

250 views

### a question on the paper of Łaba and Wolff

I'm reading the paper A local smoothing estimate in higher dimensions by Izabella Łaba and Thomas Wolff. The paper can be found at J. Anal. Math. 88 (2002), 149–171, doi: 10.1007/BF02786576, arxiv: ...

**7**

votes

**0**answers

182 views

### Fixed radius mean value property implies harmonicity?

Let $f$ be a continuous real-valued function on $\mathbb{R}^n$. It is well known that the following are equivalent:
$f$ is harmonic.
$f$ satisfies the ball mean value property
$$
f(x)=\frac{1}{|B(x,r)...

**7**

votes

**0**answers

289 views

### Are Sobolev trace spaces equal from both sides of the boundary?

Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...

**7**

votes

**0**answers

240 views

### Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...

**7**

votes

**0**answers

877 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)
$$
...

**7**

votes

**0**answers

411 views

### Regularity of solutions to a linear degenerate parabolic pde

I've encountered the following problem which is causing me some trouble :
Let $(M^2,g)$ be a smooth compact Riemannian surface (with constant curvature for instance) and consider a smooth function $u:...

**7**

votes

**0**answers

327 views

### Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...

**7**

votes

**0**answers

460 views

### planar mappings that preserve elliptic measure

Let $D_1$ and $D_2$ be two bounded simply connected Jordan domains in $\mathbb{R}^2$. By Carathéodory's Theorem there exists a homeomorphism $f:\bar{D}_1 \to \bar{D}_2$ such that the restriction $f:...

**6**

votes

**0**answers

131 views

### Simple proof for Fefferman-Phong inequality?

The following inequality was proved firstly by Fefferman in the paper: The uncertainty principle, Bulletin of the AMS, 1983. Then it was improved by several authors. The proofs presented in these ...

**6**

votes

**0**answers

167 views

### Sobolev space under Mellin transform

The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...

**6**

votes

**0**answers

227 views

### Is a Sobolev map with invertible smooth minors smooth?

$\newcommand{\Cof}{\text{cof}}$
Let $k,d$ be even integers, such that $d\ge3$ and $2 \le k \le d-1$. Let $\Omega \subseteq \mathbb{R}^d$ be open, and let $f \in W^{1,p}(\Omega,\mathbb{R}^d)$, for ...

**6**

votes

**0**answers

61 views

### Density of squares of radial eigenfunctions

The eigenfunctions of the Laplace operator on the disc can be written in polar coordinates as $f(r,\theta)=R_{nk}(r)e^{ik\theta}$, where $k\in\mathbb Z$ and $n\in\mathbb N$ and the radial function is $...

**6**

votes

**0**answers

204 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 ...

**6**

votes

**0**answers

94 views

### Curvature of the boundary vs. normal derivative of the first eigenfunction

Disclaimer. I posted this question in Math.SE, but it haven't received enough attention.
Let $\varphi_1$ be the first eigenfunction of the zero Dirichlet Laplacian in a planar bounded domain $\Omega$....

**6**

votes

**0**answers

96 views

### $L^p$ estimates for solutions of strongly elliptic equations

Let $\Omega\subset \mathbb{R}^d$ be a Lipschitz bounded domain. In $L_2(\Omega;{\mathbb C}^n)$, we consider a strongly elliptic second order operator $A$ with constant coefficients. Namely, it is ...

**6**

votes

**0**answers

193 views

### How to interpret heat kernel at unit time on a Riemann surface?

Let $M$ be a compact Riemann Surface. Let $P$ be a fixed point on $M$ and let $\delta_{P}$ be the Dirac point distribution at $M$. Consider the fundamental solution of the heat equation
$$
(\partial_{...

**6**

votes

**0**answers

158 views

### behaviour of first eigenfunction near the boundary

Consider $\Omega$ a smooth bounded domain in $R^N$ and suppose $ \phi_1(x)>0$ is the first eigenfunction of $ -\Delta$ in $H_0^1(\Omega)$ normalized however one chooses.
My interest is in how $ \...

**6**

votes

**0**answers

556 views

### What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...

**6**

votes

**0**answers

357 views

### Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...

**6**

votes

**0**answers

117 views

### Lagrangean uniqueness versus Eulerian uniqueness

(1) Lagrangean description. Let us consider a $N\times N$ system of autonomous ODE:
$$
\dot x=a(x),\quad \mathbb R\ni t\mapsto x(t)\in \mathbb R^N,\quad a:\mathbb R^N\rightarrow \mathbb R^N.
$$
...

**6**

votes

**0**answers

332 views

### Compactness of solutions to parabolic equations (parabolic regularity)

I am working on a Ricci flow $(\mathcal{M} , g(t))$, for which the conjugate heat operator is $\Box ^* := - \partial _t - \Delta + R$, where $R$ is the scalar curvature.
For each $s>0$, I have a ...

**6**

votes

**0**answers

408 views

### How to estimate isoperimetric constant?

Suppose $(X^m, g)$ is a closed Riemannian manifold of dimension $m$ with the following properties,
There is a constant $\kappa$ such that $\kappa r^m \leq Vol(B(x, r)) \leq \kappa^{-1} r^m$
for every ...

**6**

votes

**0**answers

314 views

### Dirichlet-to-Neumann map on $C^{k,1}$ domains

I am interested in the mapping properties of the Dirichlet-to-Neumann map (also called the Poincare-Steklov operator) for $C^{k,1}$ domains, between Sobolev spaces on the boundary. What I know is in ...

**6**

votes

**0**answers

1k views

### Harmonic maps into compact Lie groups

Consider locally minimizing harmonic maps from D-dimensional Euclidean space into a compact Lie group G. When $D=3$ the general regularity theory due to Schoen-Uhlenbeck,
Schoen, Richard; Uhlenbeck, ...

**6**

votes

**0**answers

397 views

### A non-elliptic PDE

I wish to know if this PDE can be solved (for a real smooth function $\rho$) on a compact complex surface X :
$\bar{\partial}\partial \rho \wedge \bar{\partial}\partial \rho + \bar{\partial}\partial \...

**5**

votes

**0**answers

104 views

### Gradient estimate for Poisson equation on manifold

In Gilbarg-Trudinger's book 'Elliptic Partial Differential Equations of Second order', the maximum principle is used to derive the following gradient estimates for Poisson equations on Euclidean ...

**5**

votes

**0**answers

65 views

### Laplace Beltrami eigenvalues on surface of polytopes

The recently posted arxiv paper Spectrum of the Laplacian on Regular Polyhedra
by Evan Greif, Daniel Kaplan, Robert S. Strichartz, and Samuel C. Wiese, collects numerical evidence for conjectured ...

**5**

votes

**0**answers

126 views

### Level Sets of Harmonic Maps

Can anybody point me in the direction of some references in which the level sets of harmonic maps between Riemannian manifolds are studied. (Sorry I am unfamiliar with the area and would like some ...