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

0
votes
0answers
205 views

“Integration by parts” formula for functionals

We know that for a Hilbert triple $V \subset H \subset V^{'}$, if we have $u, v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V')$ then $$\frac{d}{dt}(u(t), v(t))_H = u'(t)(v(t)) + v'(t)(u(t))$$ where the ...
2
votes
1answer
602 views

Norm of differential operator between Sobolev spaces

It is easy to check that the differential operator $\partial^a$ (where $\alpha\in \mathbb{N}_0^n$) is continuous between the Sobolev spaces (with usual norms) $W^{m,p}(U)\to W^{m-|\alpha|,p}(U)$, ...
1
vote
0answers
122 views

Spectrum of Combinatorial Laplacian

The spectrum of the combinatorial laplacian is well understood for a square lattice. What about for other lattices? In particular: Let $ f: \mathbb{Z}^2 \rightarrow \mathbb{R} $. The usual ...
4
votes
0answers
189 views

Viscosity solution of the PDE

Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and $$|Du|-f(x,u)=0$$ where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...
3
votes
0answers
251 views

well-posedness of the transport equation

I asked this question before on math exchange but did not have any luck with an answer. I would like to consider a simple example but get a thorough understanding of the theory behind it. I am ...
6
votes
2answers
268 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 ...
4
votes
1answer
299 views

Robin-Laplacian in unbounded domains

Let $\Omega\subset \mathbb R^n$ be an open domain and $\tau>0$. Consider the following boundary value problem $-\Delta v=f $ in $\Omega$, $\partial_\nu v+\tau v=g$ on $\partial\Omega$. If ...
2
votes
1answer
247 views

Solvability for constant-coefficient partial differential operators

Let $\mathcal{S}$ denote the space of Schwartz functions on $\mathbb{R}^n$, and $\mathcal{S}'$ the space of tempered distributions. Let $L$ denote a linear, constant-coefficient, partial differential ...
6
votes
0answers
337 views

Lax Pairs for Linear PDEs

I'm trying to understand the discussion around equation (2.1) of the paper http://www.jstor.org/stable/53053. It says that the linear PDE $M(\partial_x,\partial_y)q=0$ with constant coefficients has ...
1
vote
0answers
192 views

Reference request: Anisotropic Sobolev spaces

Hello, I am interested in what is known about anisotropic Sobolev spaces, by which I mean spaces of functions satisfying $ \| f \|_p < \infty, \|Df \|_q < \infty, $ where $p \ne q$ (as ...
2
votes
0answers
66 views

Quantitative Weierstrass Approximation and Paley-Wiener for the Laplace Transform II

This is a modification of a previous question. Question: Suppose $a(s)\in C^\infty([0,1])$ and $H(s,x)\in C^\infty([0,1]\times [0,1])$ with $H(s,x)>0$, $\forall s,x\in [0,1]$. Suppose, ...
9
votes
3answers
393 views

Boundedness of the derivative of the trace of an H^1 function

As a research preface, this question is linked to a problem of increasing magnetism in Ginzburg-Landau equations that I have distilled for the purpose of getting to the bottom of this technical ...
0
votes
0answers
142 views

Looking for higher order Sobolev inequality

Hello, On a compact (without boundary) Riemannian manifold (eg. some surface in $\mathbb{R}^n$), I'm looking for a result like $$\lVert \nabla u\rVert_{L^2}^2 \leq \epsilon\lVert ...
1
vote
1answer
257 views

A 'conjecture' on critical elliptic pde

I conjecture the following. Let $\Omega=\mathbb{R}^3-\overline{B_1(0)}$. Define $$E_{\Omega}(u)=\frac{1}{2}\int_{\Omega}|\nabla u|^2dx-\frac{1}{6}\int_{\Omega}|u|^6dx.$$ $E_{\mathbb{R}^3}$ is defined ...
12
votes
1answer
517 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 ...
1
vote
0answers
92 views

A critical elliptic PDE

I am considering the problem $-\Delta u=|u|^4u$, $x\in \Omega\subset \mathbb{R}^3$, $u|_{\partial \Omega}=0$. Where $\Omega$ is a unbounded domain. Some special case like $\Omega=\mathbb{R}^3-B_1(0)$, ...
2
votes
2answers
195 views

The logarithmic fast diffusion equation in one space variable with periodic boundary conditions.

I need to know about this non-linear logarithmic fast diffusion equation for a function $u(x,t)$ of one space variable $x$ and time $t$: $$ u_t = (\ln u)_{xx}$$ which is to run on an interval $ a \leq ...
2
votes
0answers
108 views

Best constant of Gagliardo-Nirenberg inequality in exterier domain

In $\mathbb{R}^N$, we know that the best constant of Gagliardo-Nirenberg is characterized by the solution $Q$ of $-\Delta u+u=|u|^2u$ with minimal mass. One have $||u||_4^4\leq C||u||_2||\nabla ...
2
votes
1answer
149 views

The distribution of roots of elliptic polynomial

If $p(x)$ is an $n$ variables polynomial of even degree with complex coefficients which satisfies the strong elliptic condition, that is, Re$p(x) \ge C|x|^{2m}$ for any $x \in \mathbb R^n$ where $2m$ ...
1
vote
1answer
348 views

Existence of solution for this parabolic PDE

The parabolic PDE $$\langle u', v \rangle + a(u,v) = \langle f, v \rangle$$ has a unique solution $u \in L^2(0,T; H^1)$ with $u' \in L^2(0,T;H^{-1})$ if $a$ is a bounded and coercive bilinear form ...
1
vote
2answers
246 views

Are $\lVert \Delta u \rVert_{L^2(S)}$ and $\lVert u \rVert_{H^2(S)}$ equivalent norms on a compact manifold?

Hi, I am looking for the result: $$\text{The norm} \quad \lVert \Delta u \rVert_{L^2(S)} \quad \text{is equivalent to} \quad \lVert u \rVert_{H^2(S)}$$ for scalar functions $u \in H^2(S)$, where $S$ ...
4
votes
1answer
155 views

variation of the obstacle in the obstacle problem

Suppose $D \subset \Bbb C$ with smooth boundary. Let $f \in C^{1,1}(D)$. Let $\varphi$ be the supremum of all members in the set $$\lbrace g \in C^{\infty}(\overline{D})| g \ is \ subharmonic \ and ...
2
votes
2answers
283 views

how many nonparabolic ends guarantee a nonconstant harmonic function on Riemannian manifold?

M is a Riemannian manifold.An end E is said to be a non-parabolic end if it admits a positive Green's function with Neumann boundary conditon on E.Otherwise,it is a parabolic end.If M has more than ...
1
vote
1answer
463 views

weak derivative and continuous function

Let $\Omega \subset \mathbb{R}^n$ be a compact smooth hypersurface. Suppose $\varphi \in C_c^\infty(0,T; H^1(\Omega))$ is a $H^1(\Omega)$-valued test function (so $\varphi(t) \in H^1(\Omega)$ for each ...
9
votes
3answers
552 views

Space of sections of a fibre bundle with non-compact base space

Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$. For compact $M$ it is well known (Hamilton 1982, Part II Corollary ...
1
vote
2answers
275 views

Fourier transform of function on compact set and Sobolev norm equivalence

Hi all. My question on M.SE is unanswered (http://math.stackexchange.com/questions/254970/fourier-transform-of-function-defined-on-subset-of-mathbbrn) so I want to post it here. I changed it slightly. ...
7
votes
3answers
475 views

abstract evolution equations

Hi Whenever I read a book on evolution equations, they set up, say the parabolic PDE $$\dot{y} = Ay + f$$ in abstract function spaces (eg. $L^2(0,T;V)$ and $L^2(0,T;V^*)$). In examples, they always ...
6
votes
2answers
129 views

Conditions on a unit vector field to be the Gauss map of some surface immersed in R^3?

Let $U$ be a bounded domain in $R^2$ and let $n : U \to S^2$. Which (necessary/sufficient) conditions must $n$ satisfy in order that there exist an immersion $f : U \to R^3$ such that $n(x)$ is the ...
2
votes
1answer
349 views

The PDE $u_t=u_{xx}-u_{yy}$: The simplest linear second-order PDE that isn't elliptic, parabolic, or hyperbolic.

I know that there have been several questions on here and stackexchange about linear PDE's which don't fall into the standard classification, but I had a more focused question which I haven't seen ...
3
votes
1answer
192 views

Exponential decay for the gradient of a solution

Dear all, I would like to prove the exponential decay of the derivatives of a solution to the following equation in $\mathbb{R}^N$: $$ \sqrt{-\Delta+m^2} u +u= f(u), $$ where I can assume that $m \neq ...
15
votes
1answer
503 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
2answers
752 views

PDE with the Jacobian Determinant

Hello, Could you please help me in answering the following question? Initially I thought that the following problem can be solved through Monge-Ampere equation, but with Monge-Ampere, I have not ...
3
votes
1answer
242 views

Hormander's bracket condition for the adjoint of an operator

Let $X_0, X_1, \dots, X_k$ be smooth vector fields over ${\mathbb R}^n$, and let us consider the operator $$ L = \sum_{i=1}^k X_i^2 + X_0~. $$ Here, I assume that Hörmander's bracket condition is ...
1
vote
1answer
251 views

Please recommend some classical books or articles on the compressible Euler equations !

Please recommend some classical books or articles on the local well-posedness result of compressible Euler equations ! The main aim is that I want to learn some basic methods and techniques about the ...
3
votes
1answer
188 views

C^\infty versus semiclassical wavefront sets

Zworski states that if $u$ is a compactly supported distribution, independent of the semiclassical parameter $h$, then the relationship between the $C^\infty$ and semiclassical wavefront sets of $u$ ...
5
votes
0answers
95 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. $$ ...
0
votes
0answers
116 views

damped wave equation

For $t>0$, $x$ in a compact Riemannian manifold $(M,g)$, and $a\in C^\infty(M)$, $a\geq0$, $(\partial_t^2+a\partial_t-\Delta_g)u=0$ is called the damped wave equation. My question is...why is the ...
2
votes
1answer
135 views

Distributional limits concerning the regularity of Maxwells equations

This question is related to my previous question about the regularity of the Maxwell equations. Assume we are working on a space where there are only electric point charges, $(q_i)$, and a blob of ...
75
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 ...
5
votes
3answers
397 views

Divergence form Elliptic PDE Removable Singularity/Regularity Question

Idea Given a $W^{1,2}$ solution to a linear divergence form uniformly elliptic pde with bounded coefficients, standard De Giorgi-Nash-Moser theory tells us that the solution is infact (Holder) ...
5
votes
1answer
363 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 ...
6
votes
1answer
677 views

fixed point arguments in PDE

I was curious whether anyone knows of some examples in PDE where a standard fixed point argument fails to show the existence of a solution but one can apply one of the more advanced fixed point ...
1
vote
1answer
242 views

Does this PDE has a general solution? [closed]

$$K\frac{\partial }{{\partial x}}(h\frac{{\partial h}}{{\partial x}}) = \mu \frac{{\partial h}}{{\partial t}}$$ K and u are constants. If no,how to get a asymptotic solution?ie,linearize
0
votes
1answer
418 views

Showing a coercivity condition for this bilinear form

Suppose $\Omega \subset \mathbb{R}^n$ is a compact domain. Let $f$ and $J$ (and also $\frac 1J$) be $C^1$ functions on $\Omega$. Consider the bilinear form $a:H^1(\Omega) \times H^1(\Omega) \to ...
3
votes
3answers
278 views

Is there a good metric under which a sequence of compact sets can converge to an infinite dimensional set?

I have a sequence of finite-dimensional, compact sets in $L^2(\Omega)$, where $\Omega\subset \mathbf{R}^2$ is closed and bounded. The dimension grows monotonically with the sequence, and there is no ...
1
vote
2answers
202 views

Alternate definitions of $C^{1,\alpha}$ and $C^{1,\alpha}(\bar{D})$ maps

My question is about the precise definition regarding the following: Let $f$ be an orientation-preserving $C^1$ diffeomorphism of the unit circle $S^1$. So $f'(b)$ exists and can be thought as a ...
9
votes
1answer
639 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 ...
4
votes
1answer
534 views

Solution of Helmholtz-Equation where Phase is restricted by additional PDE

Hello! Let's say I have $(\partial_x^2 + \partial_y^2 + a)f(x,y)=0$ with $f(x,y) \in \mathbb{C}$, ($\lim_{x,y \to \infty} f(x,y)=0$). Now separate the Amplitude and Phase of the solution: ...
8
votes
1answer
500 views

The Speed of Gravitational Waves in General Relativity

Is it possible to mathematically prove that the speed of gravitational waves in general relativity equals the speed of light, without linearizing the Einstein Field Equations? The approach via the ...
1
vote
1answer
66 views

Finding singular “solutions” to the Dirichlet problem for Schrödinger operators that do not admit smooth solutions

Suppose that $\Omega\subset \mathbb{R}^n$ is a smooth open region and that $V:\Omega\to \mathbb{R}^+$ be a positive smooth function. Then we have a family of operators $$L_\epsilon =-\Delta -\epsilon ...