**3**

votes

**2**answers

522 views

### Elliptic operators corresponds to non vanishing vector fields

Let $X$ be a non vanishing vector field on a compact manifold $M$. The only differential operator associated with $X$ which I am aware of, is the derivational operator $D(g)=X.g$. Unfortunately ...

**24**

votes

**1**answer

1k views

### Why is there a connection between enumerative geometry and nonlinear waves?

Recently I encountered in a class the fact that there is a generating function of Gromov--Witten invariants that satisfies the Korteweg--de Vries hierarchy. Let me state the fact more precisely. ...

**10**

votes

**1**answer

480 views

### When is a given matrix of two forms a curvature form?

Let's assume we are working over $\mathbb{R}^n$ (but feel free to change to domain to answer the question). I wish to know if the equation $F = dA + A \wedge A$ can be solved for a matrix of $1$-forms ...

**5**

votes

**3**answers

607 views

### Limit cycles as closed geodesics(geodesible flow)

The classical Van der Pol equation is the following vector field on $\mathbb{R}^{2}$:
\begin{equation}\cases{\dot{x}=y-(x^{3}-x)\\ \dot{y}=-x}\end{equation}
This equation defines a foliation on ...

**5**

votes

**1**answer

260 views

### Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$

How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...

**77**

votes

**16**answers

6k views

### Does Physics need non-analytic smooth functions?

Observing the behaviour of a few physicists "in nature", I had the impression that among the mathematical tools they use a lot (along with possibly much more sofisticated maths, of course), there is ...

**34**

votes

**7**answers

6k views

### What is the symbol of a differential operator?

I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic ...

**16**

votes

**5**answers

1k views

### “Physical” construction of nonconstant meromorphic functions on compact Riemann surfaces?

Miranda's book on Riemann surfaces ignores the analytical details of proving that compact Riemann surfaces admit nonconstant meromorphic functions, preferring instead to work out the algebraic ...

**8**

votes

**1**answer

319 views

### Linearization instability and singular points of algebraic varieties

In a well known 1973 paper, Fischer and Marsden pointed out (with similar, contemporary remarks made in the physics literature by Brill and Deser) that the space of solutions of some non-linear ...

**14**

votes

**3**answers

938 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**6**

votes

**2**answers

305 views

### Uniform bound on the eigenfunctions of the Laplacian

Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...

**5**

votes

**1**answer

404 views

### propagation of singularities & the Schrodinger equation

I've been thinking about the following propagation of singularities result:
Let $X$ be a compact manifold, and let $P$ be a differential operator (of, say, order $m$) on $X$ whose principal symbol ...

**2**

votes

**1**answer

128 views

### global well posedness of cubic NLS in for initial data in $H^{s}(\mathbb R), 0<s<1$

We consider the one dimensional cubic nonlinear Shr\"odinger equation (NLS):
$$i\partial_{t}\phi (x,t) +\Delta \phi (x,t)= \pm |\phi (x,t)|^{2} \phi(x,t), \ (x, t\in \mathbb R),$$
$$\phi (x,0) = ...

**32**

votes

**1**answer

3k views

### Unconditional nonexistence for the heat equation with rapidly growing data?

Consider the initial value problem
$$ \partial_t u = \partial_{xx} u$$
$$ u(0,x) = u_0(x)$$
for the heat equation in one dimension, where $u_0: {\bf R} \to {\bf R}$ is a smooth initial datum and $u: ...

**32**

votes

**5**answers

3k views

### Which nonlinear PDEs are of interest to algebraic geometers and why?

Motivation
I have recently started thinking about the interrelations among algebraic geometry and nonlinear PDEs. It is well known that the methods and ideas of algebraic geometry have lead to a ...

**27**

votes

**3**answers

2k views

### Which differential equations allow for a variational formulation?

Many ODE's and PDE's arising in nature have a variational formulation. An example of what I mean is the following. Classical motions are solutions $q(t)$ to Lagrange's equation
$$
...

**24**

votes

**18**answers

2k views

### PDEs as a tool in other domains in mathematics

According to the large number of paper cited in MathSciNet database, Partial Differential Equations (PDEs) is an important topic of its own. Needless to say, it is an extremely useful tool for natural ...

**18**

votes

**8**answers

3k views

### Applications of PDE in mathematical subjects other than geometry & topology

Partial differential equations have been used to establish fundamental results in mathematics such as the uniformization theorem, Hodge-deRham theory, the Nash embedding theorem, the Calabi-Yau ...

**15**

votes

**5**answers

1k views

### Book Recommendation - PDE's for geometricians / topologists

I am looking for recommendations for a book on partial differential equations, which is not written for applied mathematicians but rather focused on geometry and applications in topology, as well as ...

**20**

votes

**1**answer

856 views

### The origin of Discrete `Liouville's theorem'

It is known that discrete Liouville's theorem for harmonic functions on $\mathbb{Z}^2$ was proved by Heilbronn (On discrete harmonic functions. - Proc. Camb. Philos. Soc. , 1949, 45, 194-206).
If ...

**13**

votes

**1**answer

1k views

### Image of the trace operator

It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset ...

**10**

votes

**2**answers

2k views

### what's the idea behind Carleman estimate

A standard Carleman-type estimate is of the form
$$
\sum_{|\alpha|<m}{\tau^{2(m-|\alpha|-1)}\int{|D^{\alpha}u|^{2}e^{2\tau\phi}}dx}\leq K\int{|Pu|^{2}e^{2\tau\phi}dx},\quad u\in C_{0}^{\infty}
$$
...

**9**

votes

**2**answers

1k views

### Characterization of inverse differential operators

If I have a partial differential operator $p(D)$, where $p$ is a polynomial with constant coefficients and $D$ is the derivative in Euclidean space. Its inverse is easily described in Fourier space: ...

**7**

votes

**1**answer

1k views

### Short time existence on nonlinear parabolic PDE

I saw several papers that without proof accept the fact "Short time existence on nonlinear parabolic PDE" is there any affirmative proof of this fact?
in which book we have this fact, the number of ...

**12**

votes

**0**answers

403 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$.
...

**14**

votes

**3**answers

1k views

### Does elliptic regularity guarantee analytic solutions?

Let $D$ be an elliptic operator on $\mathbb{R}^n$ with real analytic coefficients. Must its solutions also be real analytic? If not, are there any helpful supplementary assumptions? Standard ...

**13**

votes

**1**answer

559 views

### Symbols of elliptic operators

First let me state the problem, then I'll explain its origin and finally, I'll ask the main question..
Problem S. Fix a positive integer $n$. Find all the pairs $(V, S)$, whith the following ...

**10**

votes

**1**answer

718 views

### Regularity of the Maxwell equations

As is well-known, the Maxwell equations can be phrased vectorially as,
\begin{align}
\nabla \cdot \mathbf E &= \frac{\rho_f}{\varepsilon}, &\text{Gauss's law,}\\\
\nabla \cdot \mathbf ...

**8**

votes

**1**answer

400 views

### When the adjoint of a hypoelliptic operator hypoelliptic

Assume, $M$ is a smooth manifold with a measure $\mu$ and let $L^2(M, \mu)$ be a space of all square-integrable functions on $M$.
Recall that $L$ is a hypoelliptic differential operator, if for ...

**14**

votes

**6**answers

1k views

### Can the “physical argument” for the existence of a solution to Dirichlet's problem be made into an actual proof?

Caveat: I don't really know anything about PDEs, so this question might not make sense.
In complex analysis class we've been learning about the solution to Dirichlet's problem for the Laplace ...

**11**

votes

**2**answers

3k views

### Compact Embeddings of Sobolev Spaces: A Counterexample Showing The Rellich-Kondrachov Theorem Is Sharp

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and ...

**9**

votes

**0**answers

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

**7**

votes

**3**answers

938 views

### Reference request: Simple facts about vector-valued Sobolev space

Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = ...

**5**

votes

**1**answer

1k views

### Solutions to the eikonal equation

Theorem. Let V be a $C^\infty$ function on a riemannian manifold $M$ and $p$ be a nondegenerate local minimum with $V(p)=0$. Then there is a unique positive function $\varphi \in C^\infty(U)$ such ...

**3**

votes

**2**answers

580 views

### Exotic spectrum of Laplace operator

Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...

**8**

votes

**1**answer

1k views

### Basis for the space of Harmonic homogeneous polynomial in N variables.

Hello,
Does someone know an explicit basis of the space of harmonic homogeneous polynomial in N variables.
When $N=3$, if I'm not mistaking Legendre polynomial allow to write an explicit basis.
Is ...

**8**

votes

**2**answers

793 views

### Characterize where the Dirichlet Problem for the Laplacian is always solvable

Conway's 1978 textbook Functions of One Complex Variable I gives an unsatisfying characterization of the regions for which the Dirichlet Problem can always be solved, and then comments no cleaner ...

**5**

votes

**1**answer

1k views

### Nash's paper on parabolic equations.

I am currently studying the paper "CONTINUITY OF SOLUTIONS OF PARABOLIC AND
ELLIPTIC EQUATIONS" by John Nash (cf. American Journal of Mathematics, Vol. 80, 1958). The author there establishes some a ...

**3**

votes

**2**answers

809 views

### Maximum principle for weak solutions

Hello,
maximum principles for parabolic PDEs seem to be well-known, if the solution is a priori C^2 (cf. Protter, Weinberger: Maximum principles in differential equations). However, what about weak ...

**16**

votes

**1**answer

524 views

### The Riemann zeros and the heat equation

The Riemann xi function $\Xi(x)$ is defined, with $s=1/2+ix$, as
$$
\Xi(x)=\frac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s)=2\int_0^\infty \Phi(u)\cos(ux) \, du,
$$
where $\Phi(u)$ is defined as
$$
...

**8**

votes

**1**answer

539 views

### Proof of the “Neo-classical Inequality”

I came across the following inequality, dubbed the "Neoclassical Inequality" which holds uniformly in $p\geq 1, n$:
$\frac{1}{p^2}\sum_{j=0}^n\frac{a^{j/p}b^{(n-j)/p}}{(j/p)!((n-j)/p)!}\leq ...

**7**

votes

**2**answers

415 views

### Willmore minimizers for genus $\geq 2$

For an immersed closed surface $f: \Sigma \rightarrow \mathbb R^3$ the Willmore functional is defined as
$$
\cal W(f) = \int _{\Sigma} \frac{1}{4} |\vec H|^2 d \mu_g,
$$
where $\vec H$ is the mean ...

**6**

votes

**2**answers

164 views

### Bounded input Bounded output stability for heat equation

This is a cross-post from Computational Science.
I am interested in proving or obtaining a counterexample to the following conjecture.
Let $\Omega\subset\mathbb{R}^d$ be a bounded open domain. Let ...

**2**

votes

**2**answers

325 views

### Replacing large-dimensional ODE systems with one PDE [closed]

Is it possible to replace a large-dimensional system of differential equations with one partial differential equation?

**9**

votes

**3**answers

247 views

### Reference request: Systems of linear PDES with constant coefficients

I am looking for a reference for the following statement:
Assume that $P_1, \dots, P_k \in \mathbb R[x_1, \dots, x_m]$ and consider a system of PDEs
\begin{align}
P_i(\partial / \partial x_1, \dots, ...

**6**

votes

**2**answers

971 views

### Estimates on the Green function of an elliptic second order differential operator.

Let $D$ be a linear differential elliptic operator of second order
with infinitely smooth coefficients acting on real valued functions
on a compact manifold $M$. Let us assume that $D$ has no free ...

**6**

votes

**3**answers

687 views

### Newlander-Nirenberg for surfaces

Quite a long ago, I tried to work out explicitly the content of the Newlander-Nirenberg theorem. My aim was trying to understand wether a direct proof could work in the simplest possible case, namely ...

**5**

votes

**3**answers

414 views

### PDEs involving measures; where to begin?

If I want to learn about existence of weak solutions to PDEs of the form
$$u_t + Au = f$$
or
$$Au = f$$
where $A$ is elliptic and $f$ is a measure, where do I start? I know the Galerkin method for ...

**3**

votes

**2**answers

704 views

### the inverse for the trace theorem

The trace theorem says that the restriction of a $W^{1,p}(\Omega)$ function $u$, $Tu$ belongs to $W^{1-1/p,p}(\partial\Omega)$ if $\Omega$ satisfies some smooth condition, for example, $\Omega$ is ...

**2**

votes

**1**answer

388 views

### ODE continuous dependence on parameters to PDE

I want to learn how to apply certain ODE theory to PDE. If we have a Banach space ODE $$x'(t) = f(t, x(t), p),$$ $$x(0) = x_0$$ where the equation is over same domain $t \in (a,b)$, then via the ...