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

6
votes
1answer
186 views

PDE characterisation of elementary symmetric functions?

For $k\leq{}n$ the elementary symmetric polynomials are defined by: $$e_k(x_1,\ldots,x_n)=\sum_{1\leq{}i_1<...<i_k\leq{}n}x_{i_1}\cdots x_{i_k}$$ I believe I can prove (by a complex brute force ...
2
votes
1answer
85 views

Scaling of distributions

Suppose we have a sequence of $L^1(\mathbb{R})$ functions $p_\epsilon$ with $\|p_\epsilon\|_{L^1} \leq 1$ for all $n$. Suppose we know that $p_\epsilon \to 0$ in distributions. Is it obvious that ...
0
votes
0answers
46 views

Matrix representation of linearized PDE

My motivation for this question is to investigate the linear stability of steady solutions of a nonlinear PDE by computing eigenvalues of the linearized equations. Specifically, I have a function ...
0
votes
1answer
71 views

A $W^{1,2}_{loc}$ function with uniformly bounded integrals on compact subsets $W^{1,2}$?

Let $M$ be a Riemannian manifold, $\Omega\subset M$ is an open subset, let $f\in W^{1,2}_{loc}(\Omega)$ with uniformly bounded integrals on compact subset, i.e. there exists a $C>0$, such that for ...
2
votes
1answer
70 views

Smoluchowski-Poisson dynamics with atomic measures

"Smoluchowski-Poisson dynamics" is just a tentative provisional name I give to the following transport equation:$$\partial_t m+\nabla_x\cdot(um)=0$$where $u(x,t)\in\mathbb R^n$ ($x\in\mathbb R^n$, ...
3
votes
0answers
97 views

Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that it seems simple but I can not solve it. Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
2
votes
0answers
115 views

Concentration compactness on a compact setting

Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\varphi_k \in C^\infty(M)$ such that $\varphi_k$ satisfy the basic concentration compactness ...
0
votes
0answers
105 views

For a solution of an elliptic equation, if it is 0 on an open subset, then is it 0 identically?

Let $X$ be a compact smooth manifold, $E, F$ be smooth complex vector bundles over $X$, $L$ an elliptic operator between smooth sections of $E$ and of $F$. Suppose $s$ is a section of $E$ such that ...
2
votes
2answers
177 views

Backgrounds of the p-Laplacian Operator

Motivation I encountered the following partial differential equation (PDE) in a mathematical paper $$\begin{array}{} u_{tt}+\Delta^2u-\nabla\cdot\left(|\nabla u|^{p-2}\nabla u\right)-\Delta ...
2
votes
0answers
120 views

$L^\infty-L^1$ smoothing effect for the heat equation

Let $\Omega$ be a bounded domain in $\mathbb{R}^n$. Let $u \in L^2(0,T;V)$ be the weak solution of the heat equation $$u_t - \Delta u = 0$$ $$u(0) = u_0$$ where $u_0$ is bounded initial data. Here ...
7
votes
1answer
496 views

$\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$

I posted this question first in Math.StackExchange one week ago here, but I didn't get an answer or a helpful comment so I repost it here: Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded ...
2
votes
0answers
81 views

Heat kernel on manifold with boundary

Let $M$ be a Riemannian manifold with boundary, let $\mathcal{V}$ be a metric vector bundle over $M$ and let $L$ be a formally self-adjoint Laplace type operator, acting on sections of $\mathcal{V}$. ...
2
votes
2answers
234 views

The space $L^p(\partial\Omega)$ in cited references

The space $L^p(\partial\Omega)$ where $\Omega$ is an open subset of $\mathbb{R}^n$ appears in a lot of PDE textbooks without being given any definitions, not even in those with a detailed appendix ...
1
vote
0answers
77 views

Heat semigroup ultracontractive?

Let $g(x,t)= \frac{1}{(4 \pi t)^{\frac{n}{2}}}e^{\frac{-|x|^2}{4t}}$ be the heat kernel on $\mathbb{R}^{n}.$ Is the standard definition now to say that this heat-semigroup $T(t)(f):=g *f(.,t)$ is ...
5
votes
0answers
141 views

Has anyone studied a transport equation of this form?

Let $L\colon \mathbb{R}^2 \times \mathbb{R}^+\to \mathbb R$ satisfy $$ \frac{\partial L}{\partial t} (x,t) = \max\left\{ \frac{\partial L}{\partial x_1}, \frac{\partial L}{\partial x_2} \right\} $$ ...
52
votes
2answers
812 views

Can you hear the shape of a drum by choosing where to drum it?

I find the problem of hearing the shape of a drum fascinating. Specifically, given two connected subsets of $\mathbb R^2$ with piecewise-smooth boundaries (or a suitable generalization to a riemannian ...
6
votes
1answer
191 views

Travelling waves for nonlinear Schrödinger equation

Consider the following nonlinear Schrödinger equation: $$ -\Delta \Phi - i\frac{\partial \Phi}{\partial t} = f(|\Phi|^2)\Phi, $$ where $\Delta$ is the Laplacian on $\mathbb{R}^n$, $f$ gives the ...
3
votes
1answer
202 views

difference between the dual space of $H^1(\Omega)$ and the dual of $H^1_0(\Omega)$

This is cross-posted on MSE: http://math.stackexchange.com/q/1596565/9464 In the Partial Differential Equations by Evans (2nd edition p299), $H^{-1}(\Omega)$ denotes the dual space to $H^1_0(\Omega)$ ...
0
votes
0answers
79 views

An Estimation on the Heat Kernel

I am reading Jost's Partial Differential Equations and meet an estimation( only stated in the book ) which I cannot verify by myself. In p.111, the book says that iteratively, we get ...
1
vote
0answers
62 views

A $\mathcal{C}^1$ domain and Hausdorff dimension estimate

Let us consider an open connected domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary. Suppose now, that there exists $R>0$ such that the set $\partial E \cap ...
0
votes
0answers
38 views

A $\mathcal{C}^1$ differentiable domain is $F_\sigma$?

Let us consider a domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary. Suppose now, that for every $R>0$ the set $\partial E \cap B_{R}(x_0)$ is $\mathcal{C}^1$, i.e. ...
4
votes
1answer
184 views

Is Lax-Milgram true without the separability assumption?

I read the Lax-Milgram Theorem in the Navier-Stokes Equations by Temam: Let $X$ be a separable Hilbert space (norm $\|\cdot\|_X$) and let $$ a:X\times X\to\Bbb{R} $$ be a bilinear continuous ...
0
votes
1answer
101 views

$H_0^1(\Omega)$ in the study of the Navier-Stokes Equations

This is cross-posted on MSE: http://math.stackexchange.com/q/1584519/9464 Let $\mathcal{V}$ be the space (without topology) $$\displaystyle \mathcal{V}=\{u\in C_0^\infty(\Omega)\mid \nabla\cdot ...
3
votes
1answer
228 views

Trying to solve a linear PDE… I thought it was simple

I have a PDE of the following form, from a physics problem: $$ y \left(\alpha \frac{\partial }{\partial y}+x \frac{\partial^2 }{\partial x \partial y} \right)f(x,y) = \left( z_1 + z_2 x^\alpha y^{-2} ...
0
votes
0answers
101 views

A priori estimate for diffraction problem for linear elliptic PDEs

I am looking for a reference to show how to obtain a priori estimate of the solution $u\in H^1$ and $u\in C^{2,\alpha}$ to the diffraction problem of linear elliptic equation. I looked at ...
4
votes
1answer
86 views

Commutator representation of certain smoothing operators

I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...
6
votes
1answer
192 views

Compact Eucledean hypersurfaces with “almost” constant H_k curvature

Let $M$ be an Eucledean $n$-dimensional compact hypersurface with constant $H_k$ curvature, where $k=1,...n$. A theorem by A.Ros tell us that so $M$ is an Eucledean sphere. Does anybody know if there ...
4
votes
1answer
176 views

Reference for a Heat Process in a Wedge

I would like to ask about an explicit suggestion/reference for the following type of heat processes: Roughly, assume we have a "wedge" $W$ of the following form - a domain in $\mathbb{R}^n$ with a ...
1
vote
0answers
137 views

On the differentiability of a certain map from $ (0,\infty) $ to $ \Bbb{R} $

This problem arose from my study of energy-conservation for non-linear Schrödinger equations. Suppose that we have the following data: $ u \in C^{1} \! \left( (0,\infty),{L^{2}}(\Bbb{R}^{n}) \right) ...
0
votes
1answer
75 views

Boundary behaviour of a second order pde with characteristics

Good morning everybody. My question is inspired from the following fact: Consider $\mathbb R^3$ endowed with coordinates $(x,y,z)$. Of course if we were to solve the second order pde $\partial_x^2 ...
0
votes
0answers
46 views

Regularity result for Neumann problem

I have two questions. On Elliptic regularity for the Neumann problem, the OP asked whether the test function $v$ must be of mean value zero. However, isn't it true that we only need $f$ is of mean ...
0
votes
0answers
59 views

Well-posedness of gradient flows

For a convex lower-semicontinuous functional on a Hilbert space $I\colon H\rightarrow\mathbb{R}$, it is shown in Evans' PDE that the Hilbert-space-valued ODE $$\begin{cases}\mathbf{u}'(t)\in-\partial ...
2
votes
2answers
240 views

How to prove Liouville measure is invariant under geodesic flow?

Let $M$ be a complete n dimensional Riemannian manifold. $vol$ denotes the n dimensional Hausdorff measure. Let $$ SM=\{(x,v)|x\in M, v\in T_xM, \|v\|=1\} $$ be the unit tangent bundle of $M$. Then ...
3
votes
2answers
136 views

A Global Estimates for Linear Elliptic PDE

Let $\Omega$ be a bounded smooth region in $R^n$ and $u$ satisfy $-\Delta u+a(x)u=f, \ \ u|_{\partial \Omega}=0$, where $a(x)\geq 0$ and $f(x)$ are smooth functions. I wonder if the following ...
1
vote
0answers
39 views

Fundamental gap for Neumann BVP with potential

I am sure this is extremely well known but I have been digging a bit and I can't find what I need. Consider $B$ to be the unit ball in $ \mathbb R^N$ and consider the eigenvalue problem ...
4
votes
1answer
380 views

A continuous path between two Sobolev functions

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in ...
1
vote
1answer
127 views

Linear Schrödinger equation on $\mathbb{H}^{d}$

Consider the linear Schrödinger equation $i\partial_t u = -\Delta u$, where $\Delta$ is the Laplacian on the hyperbolic space $\mathbb{H}^d$. What are the admissible pairs $(p, q)$ such that we have ...
1
vote
1answer
56 views

Solvability Helmholtz equation [closed]

Let $D=D_1(0)\subset\mathbb{R}^2$ and $\lambda\in\mathbb{R}$, $\lambda>0$. Consider the Helmholtz operator $L=(\Delta +\lambda I).$ Let $f\in Ker_0(L)$, that is $f$ solves $$ Lf=0\quad\text{ in ...
1
vote
0answers
48 views

method for global existance for the NLS

We consider the nonlinar Schr\"odinger equation(NLS): $$i\frac{\partial u}{\partial t}+\Delta_{x}u +\lambda |u|^{2k}u =0, \ u(x, 0)= u_{0}(x);$$ where $\lambda \in \mathbb R, \ k \in \mathbb N,$ ...
-1
votes
1answer
139 views

separable BV space for PDE's, Whats stopping us? [closed]

Consider the metric space BV(0,1) with the following metric $$ d(u,v) = \|u-v\|_{L^1} + |TV(u)-TV(v)| $$. It is separable, compact, uniformly bounded and complete. So What is the really obvious thing ...
4
votes
2answers
118 views

Positivity of semiclassical pseudodifferential operators

Let me first give some background. (My reference is Martinez's book An introduction to semiclassical and microlocal analysis) Let $m\in\mathbb{R}$, and ...
0
votes
0answers
67 views

Derivatives of Mollified functions

I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following: Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
1
vote
1answer
104 views

Uniqueness of $\partial_t u -u\Delta u=0$ with $u(0,\cdot)=1$

Is there anything known about uniqueness of classical solutions to $$ \partial_t u -u\Delta u=0\quad u(0,\cdot)=1 $$ on smooth domains $[0,T]\times D$ without boundary conditions? I know that ...
1
vote
1answer
100 views

How to prove the Hölder continuity of a function $u$ by evaluating $\int_{B_{\rho}(x_0)}\frac{|Du(x)|^{2}}{|x-x_0|^{n-2}} dx$?

I'm looking at a video on thin obstacle problem given by Arshak Petrosyan. In his lecture, he uses the following results: Let $0<\alpha<1$, and $B_1$ be the unit ball centered at origin in ...
1
vote
0answers
60 views

Regularity on Neumann problem on polygonal domain

I asked a similar question before but didn't get any responses. So I will attempt again (the prior question was regarding Holder continuity). Let $ \Omega$ denote a cube in $ R^n$ and consider ...
0
votes
0answers
49 views

Error in the paper “Oscillating-Decaying Solutions, Runge Approximation and its Applications to Inverse Problems”?

I am going to use simpler notation then the paper. The potential problem is not very technical. Theorem 4.2. in the paper states the following: a) If $t < t_0$, then $I(t,\tau) \to 0$ as $\tau ...
3
votes
0answers
72 views

Laplace Equation with Tangential Derivative Prescribed on the Boundary [closed]

I asked this question on MSE. However, I didn't get good answers there so I am seeking for it here. :) Consider the following Laplace boundary value problem (BVP) $$\matrix{ {{\nabla ^2}\Phi ...
2
votes
0answers
100 views

A construction of the fundamental solution for Schroedinger equations

Does someone know some book or lecture notes useful for the reading of the paper "A construction of the fundamental solution for the Schrödinger equation", Fujiwara, Daisuke, J. Analyse Math. 35 ...
1
vote
0answers
68 views

Asymptotics of a elliptic pde when exponent gets large

I am interested in the following pde $$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball ...
2
votes
0answers
94 views

A modification of Minty's trick?

I have the following result: $$0 \leq \int_0^T (a(t)- |w(t)|)(b(t) - g^{-1}(|w(t)|))\quad\forall w \in L^2(0,T)$$ where $a$ and $b$ are both non-negative. Does it follow that $b(t) = g^{-1}(a(t))$? ...