**1**

vote

**1**answer

109 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

134 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

100 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?

**1**

vote

**1**answer

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

**1**

vote

**1**answer

115 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

104 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

215 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

120 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

206 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

84 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; ...

**4**

votes

**1**answer

509 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

38 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

75 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

394 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

104 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

176 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

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

**3**

votes

**1**answer

146 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

194 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

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

**3**

votes

**2**answers

192 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

118 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

49 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

172 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

77 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

138 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

89 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

109 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

58 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

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

**1**

vote

**1**answer

233 views

### A property of groups of operators

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

323 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

101 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

88 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

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

**5**

votes

**2**answers

195 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

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

**4**

votes

**1**answer

257 views

### Derivation of yamabe flow

I am reading papers about yamabe flow. I have a problem about how people derive it as a gradient flow.
Suppose we have $(M,g_0)$, $g(t)=u^{\frac{4}{n-2}}(t)g_0$ is another conformal metric. Let ...

**4**

votes

**2**answers

316 views

### Abstract ODE; PDE; uniqueness of solution

I have a somewhat vague question regarding an abstract ODE in a Banach space.
Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other ...

**3**

votes

**1**answer

74 views

### Coercivity for functional and complete orthonormal system

Consider with $\rho \in W^{1,2}([0,\pi])$ the following functional
$$J(\rho)=\frac{1}{2}\int_{0}^{\pi}{\rho^2\,dx}$$
I know that in the $L^{2}([0,\pi])$ the coercivity condition is satisfied, but i'm ...

**1**

vote

**0**answers

35 views

### Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?

Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?
Where $\omega\subset\subset \Omega$ with $\Omega$ is a $C^2$ ...

**3**

votes

**2**answers

213 views

### Physical and real life interpretation of the concept of regularity used in differential equations?

I guess the title kind of speaks for my questions: I'm curious to know what could be the physical interpretation or real life application of the concept of regularity that arises in PDE: take for ...

**0**

votes

**0**answers

38 views

### How can one use stability analaysis of finite differences methods in linear Schrodinger to the NLS?

Specifically, I've seen a lot of analysis of grid stability for solving Linear Schrodinger with Forward Euler, Backward Euler and Crank-Nicolson. However, most of the usages I've seen for the same ...

**0**

votes

**0**answers

59 views

### Time decay for Hartree equation with Coulomb potential

Are there any time-decay results for the solution of the Hartree equation
\begin{equation}\frac{1}{i}\partial_t\phi-\Delta\phi=-(|x|^{-1}\ast|\phi|^2)\phi,\quad x\in\mathbb{R}^3\end{equation} in ...

**0**

votes

**1**answer

207 views

### Theorem with an example [closed]

i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?

**7**

votes

**1**answer

322 views

### About the convergence rate for an approximation to the heat kernel

Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}.
$$
Here is one approximation to $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} ...

**2**

votes

**1**answer

255 views

### A comparison principle for parabolic equation

(Crossposted from http://math.stackexchange.com/questions/757672/how-to-prove-comparison-principle-for-parabolic-pde-nonlinear)
Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for ...

**1**

vote

**1**answer

129 views

### The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations

Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or ...

**1**

vote

**1**answer

71 views

### $L^p$ estimate for (powers of) a Laplacian with inverse square potential

I need an estimate of the form
$$ \|v\|_{L^p} \le C \|(K-\Delta- c|x|^{-2})^s v\|_{L^p} $$
where $K>0$ can be large if necessary, $c$ is positive but below the Hardy constant $(n-2)^2/4$, where $n$ ...

**1**

vote

**1**answer

113 views

### Getting an a priori bound on a nonlinear gradient term in PDE; how to adapt trick from $L^2$ case to $H^{-1}$ case?

I have the PDE
$$u_t(t) - \Delta f(u(t)) = 0$$
in $H^{-1}(\Omega)$ where $f$ is a nonlinear function.
Define $F(s) = \int_0^s f(s)$. Note that if $u_t(t) \in L^2(\Omega)$,
$$\frac{d}{dt}F(u(t)) = ...