**5**

votes

**1**answer

176 views

### Chain rule for distributional derivative

Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...

**0**

votes

**0**answers

52 views

### About approximate eigenvalue

I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4.
Suppose $X$ is a real Banach Space, $M$ is a ...

**2**

votes

**0**answers

139 views

### Showing $\langle \frac{\partial b(v)}{\partial t}, v \rangle_{H^{-1}(\Omega), H^1(\Omega)} = \frac{d}{dt}\int_{\Omega}\Psi^*(b(v))$

Let $b$ be continuous and increasing with $b(0) = 0$. Define $\Psi(t) = \int_0^t b(s)\;ds$ and $\Psi^*(s) = \sup_{r \in \mathbb{R}} (sr-\Psi(r))$.
(Note $\Psi^*(b(s)) + \Psi(s) = sb(s)$).
Let $v ...

**2**

votes

**0**answers

80 views

### Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$

Let me consider the following subset of probability measures in $R^d$
$$
\mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\}
...

**0**

votes

**0**answers

24 views

### Why Does a quadratic phase term in BNLS causes collapse?

I've heard a couple of times that in the Biharmonic Nonlinear Schrodinger Equation,
$i\psi_z + \Delta ^2 \psi + |\psi | ^{2\sigma } \psi =0 $, $\psi (x, 0) = \psi _0 (x) \in H^1( \mathbb{R} ^d ) $
...

**3**

votes

**0**answers

110 views

### $\mathbb{CP}^1$-structures and hyperbolic Gauss maps

Let $\Sigma$ be a closed surface of genus at least $2$.
Put a quasi-Fuchsian $\mathbb{CP}^1$-structure (i.e. complex projective structure) on $\Sigma$. Thus the universal cover $\tilde{\Sigma}$ is ...

**2**

votes

**0**answers

122 views

### Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$

The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to
$$
-\Delta u=f\hspace{3cm}(1)?
$$
I'm of ...

**9**

votes

**1**answer

331 views

### Special Second-Order PDE

Let $\Phi$ be a given smooth function on a neighborhood of zero in $\mathbb{R}^n$ with
$$\Phi(0) = 0, ~~~~D \Phi(0) = 0, ~~~~ D^2\Phi(0) >0,$$
the latter meaning that the Hessian is positive ...

**1**

vote

**0**answers

77 views

### A question on the maximum principle for Schrodinger operators

Let $(M^n,g)$ be a closed Riemannian manifold, and $L=-\Delta+V$ be a Schrodinger operator, $V\in C^{\infty}(M)$. In answers to the two questions (First eigenvalue of Schrödinger operator is simple 1 ...

**4**

votes

**0**answers

99 views

### Carleman estimates on monotonicity formulas

I am trying to derive a monotonicity formula for a certain Dirichlet critical point (or even maybe a minimizer) of an energy of the type, say for simplicity, an energy of the from
$$\int_{B_r} ...

**1**

vote

**1**answer

69 views

### A bound in Sobolev spaces of negative order

Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$.
I wonder if the following bound is true:
$$
\|f g_{x_1}\|_{H^{-0.5}(U)}\leq ...

**1**

vote

**0**answers

98 views

### Estimate the smallest eigenvalue of a Schrodinger operator

There are several results on the estimate of the number of negative eigenvalues of a Schrodinger operator, see a recent paper of Grigor'yan-Nadirashvili-Sire and references therein. I wonder how to ...

**1**

vote

**1**answer

137 views

### A non-linear PDE

I've come across the following simple family of PDE's and am wondering if they fit into a better known class or if they are attack-able by any standard techniques. The equation for $u(x, t)$ with $t ...

**1**

vote

**1**answer

103 views

### Interpolation and embeddings for parabolic function spaces

I have a somewhat easy looking question on parabolic function spaces:
Let $B$ be a ball in $\mathbb R^n$ and let $T>0$. Denote $Q:=B \times [0,T]$. Assume $f \in L^2(Q) \cap L^\infty(0,T; L^q(B))$ ...

**2**

votes

**1**answer

124 views

### A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$

Let $f_n \to f$ on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: $f$ has linear growth (but is nonlinear function) and is continuous and ...

**1**

vote

**1**answer

90 views

### How to model a time-discrete heat equation on a graph?

I would like to know how one can set up a time-discrete model for the heat equation on a graph?
Is this problem using the heat kernel equation on a graph?

**0**

votes

**1**answer

90 views

### $C^{2}$ regularity of a curve of solutions to a family of elliptic equations

I have the following question, I apologize in advance if it looks classical, but I've not found any precise reference pointing to the solution so far. I have the solutions $u_s$ (s>0) to the family of ...

**0**

votes

**1**answer

110 views

### Laplacian on space of measures

Let $X$ be a compact Riemannian manifold and let $\mathcal{M}(X)$ be the space of regular finite Borel measures with the total variation as norm.
The Laplace-Belrami-Operator $\Delta$ on $X$ with ...

**2**

votes

**1**answer

95 views

### Existence of solution with $u' \in L^2(0,T;L^2)$ to a nonlinear parabolic PDE

Consider the problem of finding $u \in L^2(0,T;H^1)$ with $u' \in L^2(0,T;L^2)$ such that
$$\int_0^T \int_{\Omega}u'(t)\varphi(t) + \int_0^T \int_{\Omega}\nabla (F(u(t)))\nabla \varphi(t) = \int_0^T ...

**3**

votes

**2**answers

202 views

### Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)

Let $m \geq 2$ and let $m'$ be its conjugate. Let $w_j$ for $j=1, ..., k$ be a basis of $H_1 \cap L^{m'}$. The task is to show that there is a $u(t) \in \text{span}(w_1, ..., w_k)=:A$ such that
...

**0**

votes

**1**answer

119 views

### Positive inuequality of Laplacian with a variable coefficient [closed]

Let $0 < a_0 \leq a(x)$ be a smooth function on $\mathbb{T}=[0,2\pi]$, $a(0)=a(2\pi)$, whether it holds that
$$
\int_\mathbb{T} a(x)|\partial_x \varphi|^2 \geq \int_\mathbb{T}\frac{\partial^2_x a ...

**2**

votes

**2**answers

181 views

### Hardy-Littlewood-Sobolev inequality on hyperbolic space

Let $I_\alpha = (-\Delta)^{-\alpha/2}$ be the Riesz potential on $\mathbb{R}^n$. The Hardy-Littlewood-Sobolev inequality on $\mathbb{R}^n$ says
$$||I_\alpha f||_{L^q} \leq C||f||_{L^p}$$
where $q = ...

**1**

vote

**0**answers

78 views

### On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...

**3**

votes

**1**answer

383 views

### Questions on the proof of the Serrin condition for the regularity of Navier-Stokes equations and related issues for the incompressible Euler equation

Edit: The question has been substantially modified from the original one. The original question (see below) concerned with rigorously justifying the proof of the Serrin condition. These questions have ...

**0**

votes

**0**answers

36 views

### Consequence of elliptic estimates up to the boundary

Consider the half space $\Omega=\{x=(x_1,...,x_N)\in\mathbb{R}^N:x_N>0\}$. Let $u\in C^2(\Omega)\cap C(\overline{\Omega})$ a positive bounded solution of
$$
\begin{eqnarray*}
\Delta u+f(x_N,u)=0, ...

**1**

vote

**0**answers

68 views

### Limit Toward Discontinuous Point of Dirichlet Boundary Value

The question arises from a paper on Schwarz's domain decomposition method (click here).
We consider a bounded domain in $\mathbb{R}^2$ and a curve splits it into two, see the figure below.
Now we ...

**1**

vote

**1**answer

344 views

### Monge–Ampère type equation

Let $B(x,y) \geq 0$ be a function defined for $x, y \geq 0$ such that $B(x,0)=B(0,y)=0$ and $B''_{xx}\leq 0, B''_{yy}\leq 0$ (i.e. it is bicocncave function).
I am looking for the solutions among of ...

**0**

votes

**0**answers

69 views

### Commuting Derivative and Convolution type integral

Suppose $\Gamma$ is a smooth curve, $f$ and its derivative belong to some $L^p(\mathbb{C})$(i.e $f\in W^{1,p}$) and kernel $K(|z-y|)\in\mathbb{C}\times\mathbb{C}$ has only singularity on ...

**1**

vote

**3**answers

113 views

### What are some good sanity checks for simulating BNLS?

After doing some googling, I failed to find any explicit solution for the Biharmonic Nonlinear Schrodinger Equation, which states:
$$
i\psi (x,t) _t - \Delta ^2 \psi (x,t) + |\psi (x,t) | ^{2 \sigma} ...

**3**

votes

**1**answer

164 views

### PDE-Based Triangle Inequality for Optimal Transportation

Suppose $\Omega$ is a suitably regular domain in $\mathbb{R}^n$ and $\rho_0,\rho_1\in\textrm{Prob}(\Omega)$. Benamou and Brenier showed that the $L_2$ transportation distance between $\rho_0$ and ...

**2**

votes

**1**answer

125 views

### Does the R-sphere condition imply that a surface is locally a graph of function on a ball of radius R?

Let $S$ be a $C^2$-regular hypersurface with $S=\partial V$ for some open set $V \subset R^{N+1}$, and let $\nu(P)$ be the exterior unit normal of $S$ with respect to $V$.
Assume that $S$ satisfies ...

**5**

votes

**2**answers

190 views

### Simultaneous analytic continuation of Dirichlet eigenfunctions

Let $D\subset\mathbb{R}^d$ be a bounded domain which is regular for the Dirichlet problem. There is then a complete set of orthonormal eigenfunctions $\phi_j$ with corresponding eigenvalues ...

**4**

votes

**1**answer

469 views

### The space of diffeomorphisms on a manifold

It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions ...

**2**

votes

**2**answers

174 views

### Negative real order Sobolev spaces: density and representation

First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial ...

**2**

votes

**2**answers

114 views

### Let $\mathrm{div}\,(A\,\mathrm{grad}\,u) + b u = f$. Is $(A\,\mathrm{grad}\,u)$ weakly differentiable?

Let us consider the basic linear elliptic PDE
$$
\mathrm{div} (A\,\mathrm{grad}\,u) + bu = f,
$$
with $f\in L^p,$ $A,b$ uniformly bounded. Do we have, for a weak solution $u\in W^{1,p}(\Omega')$,
$$
...

**1**

vote

**0**answers

45 views

### Lyapunov Schmidt; basic example

I am attempting to understand the Lyapunov-Schmidt method with a simple example but I am running into trouble. Here is the example I am considering. Suppose $ v>0$ satisfies $ -\Delta v - v=0 $ ...

**2**

votes

**0**answers

140 views

### $C^0$ estimates in wrapped Lagrangian Floer cohomology

Let $(M, d\theta, \theta, Z)$, be an exact Liouville domain, where $Z$ is the Liouville vector field and $\theta$ is the primitive of the symplectic form. Let $\bar{M}$, be the symplectic completion ...

**3**

votes

**1**answer

69 views

### reference for existence and blow up results in transport-like PDEs

This question was originally posted by me on math.stackexchange but I didn't get any answers and I thought that perhaps it would be better off here. I hope it's appropriate, I've encountered the ...

**2**

votes

**1**answer

124 views

### To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$

I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function ...

**2**

votes

**1**answer

78 views

### When does $\{u\in H^1_0: \Delta_{\mu}u\in L^2\}=H_0^1\cap H^2$.

Let $(M,\mu)$ be a weighted Riemannian manifold. In Grigor’yan's book, he proves that the Dirichlet Laplacian $\Delta_{\mu}$ is self-adjoint on the set $u\in\{u\in H^1_0(M): \Delta_{\mu}u\in L^2\}$. ...

**1**

vote

**1**answer

93 views

### Existence of the solution of a linear parabolic pde

Good day!
Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$.
Consider the linear parabolic equation $y' + Ay = f$ where $f \in L^q(0,T;V')$, $y \in W = \{y \in L^p(0,T;V) \colon dy/dt \in ...

**0**

votes

**1**answer

57 views

### Embedding to $L^\alpha(0,T;L^\beta(\Omega))$

Good day!
Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$.
Consider the space
$W = \{ y \in L^2(0,T;V) \colon dy/dt \in L^2(0,T;V') \}$.
It is well-known that $W \subset C([0,T];H)$ where $H = ...

**2**

votes

**1**answer

123 views

### Gradient elliptic estimate

Consider the half space $\Omega=\{x=(x_1,...,x_N)\in\mathbb{R}^N:x_N>0\}$. Let $u\in C^2(\Omega)\cap C(\overline{\Omega})$ a positive bounded solution of
$$
\begin{eqnarray*}
\Delta u+f(x_N,u)=0, ...

**0**

votes

**1**answer

194 views

### Evolution equation on Banach space

Let $X$ be a Banach space. We consider the evolution equation:
$$x'(t)=Ax(t), \ \ \ \ \ \ \ t\in \mathbb{R},$$
where $A$ is a bounded operator.
I know that if $X=\mathbb{R^n}$ and $A$ is a matrix, ...

**0**

votes

**1**answer

172 views

### Nondimensionalization of Navier Stokes Equations

The Buckingham-pi theorem says that a dimensional quantity of the form
$p = f(p_1, \cdots ,p_k,q_1 \cdots, q_n )$
(where the $p_i$'s dimensions form the fundamental set of units) can be rescaled ...

**1**

vote

**0**answers

92 views

### Showing a normal-derivative operator is a (sort of) contraction (related to Crandall-Liggett and PDEs)

Denote by $\mathbb{E}(g)$ the solution of the PDE
$$\Delta v(x,y) = 0 \quad\text{in $\Omega$}$$
$$v(x,0) = g(x) \quad\text{on $\partial\Omega$}.$$
Let $X=L^1(\partial\Omega)$. Let $h(t)$ be a ...

**0**

votes

**1**answer

84 views

### Harmonic extension in a ball $B(x, r) \subset \mathbb R^n$

I have recently been trying to understand the theory regarding harmonic extensions in $\mathbb R^n$. I have, however, had some difficulties to find the kind of results I am looking for. For that ...

**1**

vote

**1**answer

102 views

### metric has morse index 2

I am reading Richard Schoen's classical example on the multiplicity of solutions of yamabe problem. He says on $S^1(T)\times S^{n-1}$, there exists a critical number $T_0$ such that if $T\leq T_0$, ...

**4**

votes

**0**answers

101 views

### A question on density of Lipschitz functions in weighted Sobolev spaces

Recall that for a domain $\Omega\subset \mathbb{R}^n$, the weighted Sobolev space $W^{1,n}(\Omega,\mu)$ is defined as $f\in L^n(\Omega,\mu)$ and the weak derivative $Df\in L^n(\Omega,\mu)$.
Let now ...

**2**

votes

**1**answer

154 views

### Tempered distribution solution to a simple PDE

Let's consider the following PDE in $\mathbb R^d$ :
$$\frac{\partial^d u}{\partial x_1...\partial x_d}=f$$
where $f$ is a tempered distribution with support in $\mathbb R^d_+$. There is a result by ...