**73**

votes

**16**answers

5k 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 ...

**15**

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

**18**

votes

**1**answer

808 views

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

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it.
Recently I encountered in a class the fact that there is a generating function of ...

**12**

votes

**3**answers

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

**4**

votes

**2**answers

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

**30**

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

**28**

votes

**1**answer

2k 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: ...

**29**

votes

**7**answers

5k 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 ...

**24**

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

**21**

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

**14**

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

**8**

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

**6**

votes

**1**answer

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

**11**

votes

**0**answers

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

**12**

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

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

**12**

votes

**1**answer

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

**8**

votes

**1**answer

603 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

**2**answers

1k 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}
$$
...

**8**

votes

**0**answers

375 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

**1**answer

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

**6**

votes

**3**answers

807 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^* = ...

**4**

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

**2**

votes

**2**answers

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

**7**

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

**7**

votes

**2**answers

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

**2**

votes

**2**answers

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

**9**

votes

**1**answer

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

**7**

votes

**1**answer

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

**6**

votes

**2**answers

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

**1**

vote

**2**answers

319 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?

**15**

votes

**1**answer

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

**9**

votes

**3**answers

224 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

894 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

663 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

395 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

128 views

### Reconstructing density from integrals along specific manifolds

Let $\Phi_t : \mathbb R^n \to \mathbb R^n$ be the time-$t$-map associated to an ODE $\dot{x}=F(x)$ and let $H: \mathbb R^n \to \mathbb R$. Let $F$ and $H$ be sufficiently smooth (e.g. $C^k$ or ...

**3**

votes

**1**answer

110 views

### Doubling of variables method for parabolic equations

Does anyone have a reference that explains the technique of doubling of variables as introduced by Kruzkov? It seems to be a necessary tool for contraction estimates when we have weak solutions. ...

**3**

votes

**0**answers

239 views

### is this a known method for solving PDEs

I recently posed a system of PDEs to solve on MSE at http://math.stackexchange.com/q/514147/36530. It was quickly solved by a nice pair of subsitutions.
However, in this post, I'd like to show here ...

**2**

votes

**1**answer

289 views

### A comparison principle for parabolic equation

(Crossposted from http://math.stackexchange.com/questions/757672/how-to-prove-comparison-principle-for-parabolic-pde-nonlinear)
Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for ...

**2**

votes

**1**answer

242 views

### Is there a lower bound for variance in terms of curvature?

If the Gaussian curvature of the metric $g= f^2(x,y)(dx^2+dy^2)$ is nonzero then $f$ cannot be constant. This can be expressed by stating that the (probabilistic) variance $Var(f)$ of $f$ is nonzero ...

**0**

votes

**1**answer

184 views

### A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is the following argument (see page 240).
Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...

**5**

votes

**2**answers

154 views

### Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...

**4**

votes

**2**answers

269 views

### Analytic solution of a system of linear, hyperbolic, first order, partial differential equations

In a try to solve a physical problem, I've faced a system of first-order partial differential equations of the form
...

**4**

votes

**2**answers

338 views

### Abstract ODE; PDE; uniqueness of solution

I have a somewhat vague question regarding an abstract ODE in a Banach space.
Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other ...

**4**

votes

**1**answer

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

**3**

votes

**2**answers

201 views

### Negative real order Sobolev spaces: density and representation

First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial ...

**3**

votes

**1**answer

213 views

### Null sets in PDE

Consider the weak formulation: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that for all $v \in L^2(0,T;V)$,
$$\langle u'(t), v(t) \rangle_{V',V} + \langle Au(t), v(t) \rangle_{V',V} = ...

**2**

votes

**0**answers

125 views

### Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...

**2**

votes

**2**answers

190 views

### System of linear first order PDE with constant coefficients

recently in my researches I've come across the following operator
$$L\left(\begin{array}{c}
a_1\\
\vdots\\
a_n
\end{array}\right)=M_1\left(\begin{array}{c}
...