Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

learn more… | top users | synonyms

73
votes
16answers
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
5answers
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 ...
29
votes
5answers
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 ...
29
votes
7answers
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 ...
28
votes
1answer
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: ...
24
votes
3answers
1k 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
18answers
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
5answers
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 ...
18
votes
1answer
777 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 ...
11
votes
0answers
368 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$. ...
7
votes
2answers
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: ...
12
votes
3answers
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 ...
12
votes
1answer
495 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
1answer
583 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
2answers
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
0answers
372 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
1answer
288 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 ...
4
votes
1answer
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
2answers
557 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 ...
13
votes
6answers
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 ...
7
votes
1answer
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
2answers
744 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
3answers
785 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^* = ...
2
votes
2answers
704 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 ...
12
votes
3answers
809 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 ...
9
votes
1answer
412 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
1answer
497 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
2answers
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
2answers
315 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
1answer
481 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 $$ ...
6
votes
2answers
874 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
3answers
660 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
3answers
391 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 ...
4
votes
2answers
502 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 ...
3
votes
2answers
106 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
1answer
104 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. ...
2
votes
1answer
273 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
1answer
239 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
1answer
176 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.. ...
4
votes
2answers
235 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
2answers
329 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
1answer
214 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
2answers
195 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
1answer
212 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
0answers
140 views

Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$

The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to $$ -\Delta u=f\hspace{3cm}(1)? $$ I'm of ...
1
vote
1answer
233 views

A property of groups of operators

Let $X$ be a Banach space. We consider the evolution equation: $$x'(t)=Ax(t), \ \ \ \ \ \ \ t\in \mathbb{R},$$ where $A$ is a bounded operator. I know that if $X=\mathbb{R^n}$ and $A$ is a matrix, ...
1
vote
0answers
97 views

How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO) (For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
1
vote
0answers
128 views

How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...
0
votes
2answers
171 views

Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question: Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...
0
votes
1answer
86 views

uniqueness for Poisson equation in R^d with mildly regular data

I'm interested in Poisson's equation $-\Delta u=f$ set in the whole space $R^d$ (let's say $d\geq 3$ for simplicity) when $f$ has very little integrability, specifically $f\in L^{1+\varepsilon}$ for ...