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

1
vote
1answer
83 views

$L^1$ convergence to equilibrium of solutions of heat equation

Let $u$ and $v$ be the weak solutions of $$u_t - \Delta u = f$$ $$u(0)=u_0$$ and $$-\Delta v = f$$ $$|\Omega|^{-1}\int_\Omega v =0$$ on a bounded domain $\Omega$, where $u$ and $v$ satisfy homogeneous ...
1
vote
0answers
18 views

Equivalence of first order quasilinear PDE to linear PDE [migrated]

Given a system of nonlinear PDE of the special form: $\sum_{i=1}^n A_i(x, \phi) - \frac{\partial \phi_j}{\partial x_i} = B_j(x,\phi) $ $(1)$ with $(j=1,...,m)$ and $x \in R^n,\phi \in R^m$. If we ...
1
vote
0answers
131 views

$L^\infty$ bound on solutions of linear parabolic equations

We work on a closed Riemannian manifold $M$. Let $u$ and $v$ be the non-negative weak solutions of $$au_t - 2d\,\Delta au = cv - f$$ $$bv_t - d\,\Delta bv = f$$ $$u(0)=u_0, \quad v(0)=v_0$$ where $f$ ...
0
votes
1answer
80 views

In the proof of the existence of weak solutions to the NSE

In the proof of the existence of weak solutions to the NSE (Navier-Stokes Equations by Constantin and Foias, Chapter 8), the following argument is made: Let $u_m$ converges weakly to $u$ in ...
1
vote
0answers
48 views

Boundary regularity of solution to partial differential equation

I am conducting research on partial differential equations and I need a short-time existence result from the literature which I can not find at the moment. More precisely I would like to know the ...
2
votes
1answer
85 views

The inverse of Laplacian operator for different orders

I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you! Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open ...
0
votes
1answer
61 views

Linearized stream function

I am trying to work through a paper Instability in Parallel Flows Revisited by Friedlander and Howard, and there are a couple steps in the beginning that I do not understand. I apologize in advance ...
2
votes
2answers
168 views

Double-layer potentials on Riemannian manifolds

Let $M$ be a compact Riemannian manifold, and let $S \subset M$ be a smooth hypersurface which divides $M$ into two domains $D_1$, $D_2$. Let also $g \colon S \to \mathbb R$ be a smooth function ...
2
votes
1answer
143 views

Continuity + $H^1$ + Laplacian control $ \implies$ local Lipschitz property

Consider a continuous $H^1$ function $u$ on a bounded open set $\Omega \subset \mathbb{R}^n$. We additionally have that $|\Delta u|^2 \leq c |\nabla u|^2$ pointwise on $\Omega \setminus \Sigma$, where ...
1
vote
0answers
30 views

Elliptic regularity and inhomogeneous Neumann boundary condition

Consider a harmonic function $u$ defined on $D : = \{ (x, y) \in \mathbb{R}^2 | (x, y) \in \overline{B(0, 2)}, y \geq 0\}$, that is, the closed upper half ball centered at $0$ and radius $2$. Let $u$ ...
0
votes
1answer
88 views

Is there any solution for this PDE system?

‎Let $(\mathbb{R}^2,\langle‎ .‎,.\rangle)$ be the Euclidean space and define the almost complex structure $J_{\delta,\beta}:TT\mathbb{R}^2\longrightarrow TT\mathbb{R}^2$ with‎ ‎\begin{align}‎ ...
3
votes
0answers
74 views

Reconstructing a vector field on the circle

Consider a ODE on the circle of the form \begin{align*} \frac{d}{dt} \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = \omega(x) \begin{pmatrix} 0 & 1 \\ -1 & 0\end{pmatrix} \begin{pmatrix} x_1 \\ ...
6
votes
1answer
180 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
81 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
43 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
69 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
63 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
92 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
104 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
102 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
129 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
106 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
444 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
77 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
229 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
69 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
137 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\} $$ ...
42
votes
2answers
613 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
137 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
168 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
68 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
56 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
34 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
179 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
89 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
227 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
93 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 ...
2
votes
1answer
78 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 ...
5
votes
1answer
181 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
159 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
135 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
73 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
58 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
205 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
127 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
38 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
374 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
125 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
55 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
47 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,$ ...