**1**

vote

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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