**3**

votes

**0**answers

87 views

### Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

75 views

### Integrability of $D^2u$ for $\infty$-harmonic function $u$?

Consider infinity harmonic functions; that is, functions satisfying $\Delta_\infty u = 0$ with
$$\Delta_\infty u = \langle Du, D^2 u \, Du \rangle = \sum_{i,j} \frac{\partial^2 u}{\partial x_i \, ...

**3**

votes

**0**answers

160 views

### Need a regularity result for parabolic PDE, want $u' \in L^\infty((0,T)\times \Omega)$

Let us assume $\Omega \subset \mathbb{R}^n$ is as nice as required.
Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy
$$0 < a \leq g(x,t) \leq b < ...

**3**

votes

**0**answers

177 views

### Reference on a Monge-Ampère-like equation

We recently realized that a geometric questions of interest to us is strongly related to the regularity of solutions of the following simple equation on the unit disk in $R^2$:
$$ \det(Hess(w))=1~, $$
...

**3**

votes

**0**answers

111 views

### Subordination identity and heat operator

I was reading the so-called subordination identity that allows one to derive estimates on the Poisson operator $e^{-t\sqrt{-\Delta}}$ from estimates on the heat diffusion operator $e^{t\Delta}$. I am ...

**3**

votes

**0**answers

86 views

### $L^2$ bounds for the gradient of subsolutions to parabolic equation

Suppose we have the differential inequality
$$
|\partial_t{u}+\Delta{u}|\leq C(|u|+|\nabla u|)
$$
in $\mathbb{R}^n\backslash B_R\times[0,1]$, where $B_R=\{x\in\mathbb{R}^n,|x|\leq R\}$. Then do we ...

**3**

votes

**0**answers

201 views

### Alternative representations of Sobolev space

Is there a way to represent a Sobolev space as the image of a fractional integral operator over an $L^p$ Lebesgue space? Yes, as it was comment, there is an answer for that in the book "Singular ...

**3**

votes

**0**answers

244 views

### is this a known method for solving PDEs

I recently posed a system of PDEs to solve on MSE at http://math.stackexchange.com/q/514147/36530. It was quickly solved by a nice pair of subsitutions.
However, in this post, I'd like to show here ...

**3**

votes

**0**answers

156 views

### W^2,p regularity for solutions of elliptic equations

I'm stucked in the following (maybe classical) issue concerning the $W^{2,p}$ regularity of solutions of a second order elliptic equations like $Lu=f$ in a bounded domain (say a ball) $\Omega$. I have ...

**3**

votes

**0**answers

104 views

### Critical elliptic equation; kernel of linearized operator

I am interested in the critical equation
$- \Delta w(x) = w(x)^p $ in $ R^N$ where $p=\frac{N+2}{N-2}$. After translation the solutions of this equation are all radial with maximum at the origin ...

**3**

votes

**0**answers

140 views

### How to use Galerkin method to obtain existence with spaces $V \subset H$ not compactly embedded

With $V \subset H \subset V'$ a Hilbert triple (separable spaces as well), let's consider
$$u' + Au = f$$
in $L^2(0,T;V')$, where $A:V \to V'$ is bounded and linear. If $V \subset H$ is not compact, ...

**3**

votes

**0**answers

180 views

### Tangential boundary regularity for optimal transport maps

I'm interested in (and a bit confused by) the following theorem of Caffarelli, proven in section $4$ of his paper Boundary regularity of maps with convex potentials II:
Assume $u$ is a convex ...

**3**

votes

**0**answers

189 views

### Viscosity solution of the PDE

Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and
$$|Du|-f(x,u)=0$$
where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...

**3**

votes

**0**answers

248 views

### well-posedness of the transport equation

I asked this question before on math exchange but did not have any luck with an answer. I would like to consider a simple example but get a thorough understanding of the theory behind it. I am ...

**3**

votes

**0**answers

148 views

### Exponential decay for the gradient of a solution

Dear all,
I would like to prove the exponential decay of the derivatives of a solution to the following equation in $\mathbb{R}^N$:
$$
\sqrt{-\Delta+m^2} u +u= f(u),
$$
where I can assume that $m \neq ...

**3**

votes

**0**answers

495 views

### Short time existence on Hyperbolic Ricci flow in non-compact case

We know
Laplace equation (elliptic equations)
$ Δ u = 0$
Heat equation (parabolic equations)
$u_t − Δu = 0$
Wave equation (hyperbolic equations)
$u_{tt} − Δu = 0$
we have
- Hyperbolic geometric ...

**3**

votes

**0**answers

177 views

### Is this integral operator about Stokes' Flow compact?

Consider the following integral operator $\mathcal{A}$ on [EDITED: continuous vector function $f=(f_i):\partial S\to{\mathbb R}^3$]:
$$
({\mathcal A}f)_j(x_0):=\int_{\partial S}\sum_{i=1}^3 ...

**3**

votes

**0**answers

485 views

### Open sets and Poincaré's inequality

In many references, Poincaré inequality is presented in the following way :
Let $\Omega\subset \mathbb R^d$ an open bounded set. We can find a constant $C$ which depend of $\Omega$ such that for ...

**3**

votes

**0**answers

374 views

### Boundary regularity of the solution to the Beltrami equation

Hello, this question might sound a little vague, but I still dare to state , and I am basically requesting for some reference:
Let us consider the orientation-preserving homeomorphic solutions $f: D ...

**3**

votes

**0**answers

248 views

### Best Poincare constants on the surface of a ball

I'm considering specifically functions $\xi:\partial B(0,1) \to \partial B(0,1)$ in $\mathbb{R}^2$ and $\mathbb{R}^3$ satisfying $\int_{\partial B(0,1)} \xi(y) dS(y) = 0$. I would like to know first ...

**3**

votes

**0**answers

178 views

### Numerical solution

Last time, I asked this question
but after discussing with some friends, I have given up finding closed-form solutions. Now I have a simpler question.Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ ...

**3**

votes

**0**answers

363 views

### kernel of the conformal Laplacian

Let $M$ be a smooth, closed manifold of dimension $n>2$. Let $L_g$ be the conformal Laplacian of the metric $g$. That is, $L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g$, where $R_g$ is the scalar ...

**3**

votes

**0**answers

369 views

### PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field

Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases).
Let $\nabla^{2}$ be the vector Laplacian. Let ...

**3**

votes

**0**answers

346 views

### problem with non linear pde

I have the following pde which i cannot solve. any suggestions, tips on how to approach a solution?
$$\left(1-x^3 \frac{\partial y}{\partial x} \partial_{y}\right) f(y(x))-1/4 \left(1-\frac{1}{x^3 ...

**3**

votes

**0**answers

250 views

### Controlling the Second Eigenvalue of a Schrödinger Operator

Consider a bounded domain $\Omega$ (with smooth boundary) in some Riemannian $n$-manifold $M^n$.
Let $L$ be the operator
$$
L=\Delta+V
$$
where $\Delta$ is the Laplace-beltrami operator on $M$ (so is ...

**3**

votes

**0**answers

165 views

### Generalizations of group algebras for arbitrary manifolds?

In the analysis of partial differential equations on Euclidean spaces, one of the most useful properties of the Fourier transform (and the related integral transforms) is that they take ...

**2**

votes

**0**answers

65 views

### Extension of Sobolev Functions

Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
...

**2**

votes

**0**answers

60 views

### Space of p-harmonic functions

Let $\Omega \subset\mathbb{R}^d$, $d \geq 2$, be a sufficiently nice set to make the following question meaningful.
I am interested in the space of p-harmonic functions on $\Omega$; that is, the ...

**2**

votes

**0**answers

66 views

### Analogous to a PDE but where independent variable is a function

Consider, as an example for my question, a density function $u(\boldsymbol{x},t)$ on a vector field $\boldsymbol{x}$ at some time $t$. The flow velocity vector of the density is given by ...

**2**

votes

**0**answers

70 views

### long time existence of a nonlinear parabolic equation

I am thinking about a geometric problem which boils down to the following parabolic equation:
Suppose $u=u(r,t)$, $r$ is defined on $[0,1]$ and $t>0$
$$\begin{cases}\displaystyle \frac{\partial ...

**2**

votes

**0**answers

211 views

### A integral equation with Discrete to result by inverse problem

Problem
I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the ...

**2**

votes

**0**answers

72 views

### Is logarithmic convexity of the heat kernel with complex time a general fact?

Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...

**2**

votes

**0**answers

134 views

### Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...

**2**

votes

**0**answers

95 views

### Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem
$$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...

**2**

votes

**0**answers

62 views

### Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...

**2**

votes

**0**answers

105 views

### What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi ...

**2**

votes

**0**answers

115 views

### Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?

Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$.
Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in ...

**2**

votes

**0**answers

111 views

### Reference request: functional analysis results used in Taubes paper (1980)

I'm studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I'm looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...

**2**

votes

**0**answers

56 views

### Properties of solutions of Parabolic type equations

Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation
$$
\partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\
u(0)=u_{0}.
$$
with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...

**2**

votes

**0**answers

79 views

### Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE

A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...

**2**

votes

**0**answers

110 views

### Is Laplacian a surjective operator?

For a closed manifold the laplacian is almost surjective operator since the index of $\Delta$ is zero and there is no a non constant harmonic function. So the codimension of the image ...

**2**

votes

**0**answers

109 views

### Regularity of solution to Fokker Planck equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE
\begin{align}
\partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\
\rho(t ...

**2**

votes

**0**answers

57 views

### Solve a PDE related to free boundary problem

I would like to solve the following system for my problem:
$$\max\Big(\frac{1}{2}u_{ss}+u_l\delta(s-s_0), F(l)-\lambda(s)-u(s,l)\Big)=0.$$
where $u=u(s,l): R\times R_+\to R$ is the unknown function ...

**2**

votes

**0**answers

122 views

### Newtonian potential for continuous $f$

Suppose $f(x)$ is a continuous compactly supported function in $ R^N$ where $N \ge 3$.
Consider the Newtonian potential of $f$ (at least I think this is what it is called)
$$ v(x)=\int_{R^N} ...

**2**

votes

**0**answers

55 views

### Approximating a superharmonic function, by smooth superharmonic functions

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic).
The standard ...

**2**

votes

**0**answers

88 views

### Variant form of the gronwall inequality

I know the following statement for gronwall inequality:
Given $f$ non negative and absolutely continuous on $[0;T]$ and $\phi \in L^1(0;T)$if we have,
$f' \leq \phi f$ and $f(0)=0$ then $f=0$
Now is ...

**2**

votes

**0**answers

64 views

### Holder continuity of Poisson equation with divergence free drift

I am interested in the following PDE.
Suppose $u_m$ is a smooth solution of a elliptic equation of the form
$$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on ...

**2**

votes

**0**answers

109 views

### Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...

**2**

votes

**0**answers

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