**0**

votes

**1**answer

125 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 u=0\}...

**3**

votes

**1**answer

230 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

109 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

**1**answer

88 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

**1**answer

196 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 ...

**5**

votes

**1**answer

185 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

139 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

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 g(...

**0**

votes

**0**answers

55 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

**0**answers

60 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

282 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

149 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

41 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
\begin{cases}...

**4**

votes

**1**answer

391 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 H^1(\...

**1**

vote

**1**answer

128 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

58 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 $D$...

**1**

vote

**0**answers

49 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

**1**answer

142 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

**2**answers

122 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 $p(x,\xi):\mathbb{R}^n_x\times\mathbb{R}^n_\xi\...

**0**

votes

**0**answers

72 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

**1**answer

105 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 $u(0,\...

**1**

vote

**1**answer

103 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

**0**answers

62 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

**0**answers

51 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

**0**answers

79 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 (x,y)...

**2**

votes

**0**answers

120 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

**0**answers

72 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

**0**answers

96 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))$? ...

**4**

votes

**1**answer

181 views

### Progress on isospectral plane domains

Has there been any progress on the smooth isospectral plane domains for Laplacian problem with Dirichlet data? In particular, are there known examples of domains which are isospectral to the unit ...

**4**

votes

**1**answer

202 views

### Questions about the regularity of the “norm” associated to a convex set

Suppose $K\subset \mathbb{R} ^n$ is a closed convex set whose interior contains the origin. We can assign a gauge function to $K$ as $g_{K}(x):=\inf\{\lambda>0 \mid x\in\lambda K\}$. $g_K$ has all ...

**5**

votes

**1**answer

76 views

### Difference stencils approximating Laplacian

Let $\Delta$ be the Laplace operator on the interval $[0,1]\subset \mathbb{R}$.
Divide $[0,1]$ into small intervals of size $h$ to get an equidistant grid. One can approminate $-\Delta$ on this grid ...

**4**

votes

**0**answers

358 views

### Properties of the solution of the heat equation

Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...

**3**

votes

**2**answers

668 views

### Can one hear the shape of a drum for operators?

M. Kac in his famous paper "Can one hear the shape of a drum?" asked whether one can "hear" the area of the ambient domain by looking at the spectral picture. Although he was not the first who came up ...

**1**

vote

**0**answers

28 views

### Regularity of a flux induced by a potential

Take
$\Omega\subset R^n$ with smooth boundary (take a ball for example)
a function $f\in L^{\infty}(\Omega)$ with support strictly contained in $\Omega$ and with $\int _{\Omega} f \; dx=0$
a ...

**1**

vote

**0**answers

74 views

### One-parameter group of unitary operators and Core

Question : For what condition on $V$ (we can take it smooth, bounded, whatever necessary), the one-parameter unitary group $U(t)$ associated to the seladjoint operator $A=-\Delta+V$ on $\mathbb{R}^n$ ...

**0**

votes

**1**answer

89 views

### The monotone operator in $BV$ space

I am considering the following minimizing problem:
$$
\min_{u\in BV(\Omega)}\{\frac12\|u-u_0\|_{L^2}^2 + |u|_{TV(\Omega)}\}
$$
where $u_0\in BV(\Omega)$, $\Omega\subset \mathbb R^2$ is open bounded, ...

**2**

votes

**1**answer

84 views

### Getting an estimate of the form $\lVert u(t+h)-u(t) \rVert_{L^1(\Omega)} \leq \frac{Ch}{t}$ on solution of PDE

Let $u$ be a weak solution (i.e. $u \in C([0,T];L^1(\Omega))$ of some degenerate or nondegenerate parabolic equation $u' - Au = f$ on a bounded domain. (For my purpose it is enough to have this for ...

**2**

votes

**0**answers

40 views

### Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...

**0**

votes

**0**answers

47 views

### The properties of the solution pf minimizing problem with different parameters

I asked an similar problem before but received no respond. Here I modified the problem, add in more informations and assumptions, and with an extra question...
Let $\Omega\subset \mathbb R^2$ be open ...

**2**

votes

**0**answers

69 views

### PDE Parameter-Dependent Center Manifolds

In the book Local Bifurcations, Center Manifolds, and Normal Forms in Infinite-Dimensional Dynamical Systems by Mariana Haragus, parameter-dependent center manifolds are discussed. Here it is assumed ...

**9**

votes

**5**answers

525 views

### List of generic properties of Riemannian metrics

I am highly interested in compiling a list of generic properties of Riemannian metrics on a (may be compact) manifold in general, or under "relatively broad" assumptions, like generic properties of ...

**0**

votes

**1**answer

79 views

### Strong Maximum Principle for very weak supersolutions of Laplacian operator

I know classical strong maximum principles for supersolutions of Laplacian operator, which says:
Suppose $ u \in C^2(\Omega)\cap C(\overline{\Omega}) $ satisfies $ -\Delta u \geq 0 $ in $ \Omega$.
...

**3**

votes

**1**answer

212 views

### stability of the Monge-Ampère equation

Is there any hope to prove this conjecture (or a similar one)?
Conjecture Let $\Omega_k$ be a family of convex (smooth) domains, and let $u_k$ be convex Alexandrov solution of $$ \begin{cases}
...

**2**

votes

**1**answer

115 views

### Elliptic regularity with mixed boundary conditions

I'm looking for some results about elliptic regularity with mixed boundary conditions. I know they exist with non mixed boundary conditions but where can I find some results for the mixed case?
Thanks

**3**

votes

**0**answers

101 views

### Equations of the form $((\Delta)^{2}+\lambda\Delta+\gamma)(f)=0$

Here is the problem: I am trying to figure out if there is a non-zero solution for the system of equations:
$(\Delta^{k-1}+a)(d^{\ast}\eta)=2d^{\ast}d\xi$
$(\Delta^{k}+b)(d\xi)=2dd^{\ast}\eta$
for $...

**0**

votes

**0**answers

182 views

### Boundary conditions in the Finite Element Method

I just want to solve a Sturm-Liouville problem in 1D, i.e.,
\begin{align}
(p(x)u'(x))'+q(x)u(x) = f(x)
\end{align}
with boundary conditions
\begin{align}
u(0)=a \hspace{1cm} u'(0)=b
\end{align}
How do ...

**0**

votes

**0**answers

62 views

### How Minimal solution is obtained as limit of approximations

I have encountered a problem in the proof of a Lemma in an article. The image of Lemma and it's proof is this:
I can understand the proof, but I don't know why this solution which is obtained as a ...

**0**

votes

**1**answer

70 views

### Existence and estimates of a solution of a perturbed first order partial differential equation

My question is as follows: Let $A=\partial_x-\frac y2\partial_z$, $B=\partial_y+\frac x2\partial_z$, and $\Omega\subset \mathbb R^3$ be a smooth bounded open set. Take $g\in C^\infty(\Omega)$ (if you ...

**2**

votes

**0**answers

35 views

### Does the fast diffusion equation (or singular PME) on a manifold lose mass if the exponent is small enough?

Consider the singular porous medium equation
$$u_t - \Delta (|u|^{m-1}u) = 0$$
$$u(0)=u_0$$
given $u_0$ bounded, where $m \in (0,1)$.
When posed on $\mathbb{R}^n$, it is well known that mass is ...

**4**

votes

**1**answer

99 views

### Elliptic regularity for two dimensional domains

Suppose $ \Omega$ is a smooth bounded domain in $ R^2$. I am interested in the regularity of solutions to
$$-\Delta u(x) = f(x) \mbox{ in } \Omega$$ with $ u=0$ on $ \partial \Omega$.
If $ f \in ...