**12**

votes

**3**answers

809 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**3**

votes

**0**answers

104 views

### Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$.
Then we know that the eigenvalues of $-\Delta$ form an ...

**3**

votes

**1**answer

161 views

### Uniqueness of weak solutions of a heat equation

Let $M$ be a smooth compact closed manifold.
Let $u \in H^1(0,T;H^{-1}(M)) \cap L^2(0,T;H^1(M))$ be a solution of
$$u_t - \Delta u - u = 0$$
$$u(0)=u(T)$$
satisfying $\int_M u(t) = 0$ for all $t$. Is ...

**0**

votes

**0**answers

98 views

### comparing Inverse scattering to Hirota's method

Is Hirota's method for solving non-linear partial differential equations more effective(easier to compute) than Inverse scattering? Which method is more general in terms of its ability to solve wider ...

**1**

vote

**1**answer

92 views

### 2D semilinear elliptic PDE

This is the simplest equation arising from a fascinating (to me) and obscure vector field theory of mathematical physics first developed in 1962, and for which no solutions have ever been found. ...

**4**

votes

**1**answer

225 views

### Are Besov spaces $B^{s}_{p,q}$ invariant under Fourier transform?

(This may be very easy question for MO; as I am just trying to understand Besov spaces)
Let $\phi \in C^{\infty}(\mathbb R^{n})$ with
$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: ...

**14**

votes

**2**answers

610 views

### Vanishing eigenvalues of Jacobian

Let $f: \mathbb{R^2}\to \mathbb{R^2}$ be a Schwartz function. If the eigenvalues of $Df$ vanish everywhere, must $f$ be constant? Does an analogous result hold when we replace $2$ by $n$?
Any ...

**4**

votes

**2**answers

208 views

### A question on certain elliptic PDE

Consider the elliptic PDE "CR"
$$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$
And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$.
Somehow, these equations are similar to the Cauchi ...

**3**

votes

**1**answer

142 views

### Strong maximum principle for weak solutions

Suppose I have a linear parabolic equation with solutions in the Bochner-Sobolev spaces (eg. $L^2(0,T;H^1) \cap H^1(0,T;H^{-1})$). Is it possible to obtain a strong maximum principle with a proof that ...

**0**

votes

**0**answers

46 views

### Properties of rearrangement maps

I have the following question to ask, concerning some properties of Schwarz radially decreasing rearrangements. It is well known that the map $u\rightarrow u^{\ast}$, being $u^{\ast}$ the Schwarz ...

**0**

votes

**0**answers

51 views

### Function Related to Jordan Curves

I am looking for a solution to the following problem:
given
a Jordan curve $c(s) = (x(s),y(s))$ with $\dot x(s)^2+\dot y(s)^2 = 1$ and $c(s+L)=c(s)\,$
an integrable function $g(s): c(s)\mapsto ...

**6**

votes

**0**answers

134 views

### Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...

**9**

votes

**0**answers

133 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
...

**5**

votes

**0**answers

194 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...

**1**

vote

**0**answers

87 views

### Laplacian mapping on various function spaces

I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$.
If $ 1 <p< ...

**4**

votes

**1**answer

98 views

### Besov Characterization of Strichartz Estimate.

On page 4 of this paper of Ibrahim, Majdoub, and Masmoudi, the authors claim in Proposition 2 that solutions to
$\left\{\begin{array}{ll}\square u=F(t,x)\\ u(0,x)=f(x), ...

**0**

votes

**1**answer

139 views

### Weak solution of a heat equation is zero?

I work on a bounded domain in $\mathbb{R}^n$. Let $u \in H^1(0,T;H^{-1})\cap L^2(0,T;H^1)$ be a solution of the heat equation:
$$\langle u', v \rangle + \int \nabla u \nabla v = 0$$
for each test ...

**0**

votes

**0**answers

72 views

### inequality involving gradient of two harmonic functions

My question is about the last inequality in the case i) of the proof of lemma 2.3 of this paper:
Existence of classical solutions to a free boundary problem for the p-Laplace operator, (I) by A. ...

**2**

votes

**2**answers

124 views

### Some Questions from Reading on Wave Front Set from Hormander's Linear PDE Vol. 1

In Hormander's Linear PDE Vol. 1 (pg 252-253, before the definition of wave front set is introduced), Lemma $8.1.1$ says that if $\phi \in C_{0}^{\infty}$ and $v \in \mathcal{E}^{\prime}$, then ...

**0**

votes

**0**answers

96 views

### Reference request: density of $C_c^{\infty}(\mathbb R^d)$ in $L^2(\mathbb R^d,d\rho)$

My question is motivated by an optimal transportation approach to PDE's and gradient flows in metric spaces (see e.g Otto's geometry of dissipative evolution equations: the porous media equation and ...

**2**

votes

**0**answers

117 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} ...

**0**

votes

**0**answers

26 views

### convection/transport with different velocities

What is the prototypical model for convective transport of a quantity whose constituents move with constant but varying velocities?
In order to illustrate what a mean:
Suppose that a large number of ...

**1**

vote

**0**answers

137 views

### Stokes operator without dirichlet boundary condition

Let $\Omega$ be a domain, then the following stokes operator is quite well known :
$\mathcal{H} \rightarrow \mathcal{V}_{\sigma} $
$f \rightarrow u$ such that $ - \Delta u = f $
where $ ...

**1**

vote

**0**answers

111 views

### Compact embedding

Let $\Omega$ be a domain in $\mathbb{R}^d$ (not necessarily bounded, no regularity assumption) and $K \subset \Omega$ a compact.
Is it true that the embedding $H^1_0(\Omega) \rightarrow ...

**1**

vote

**1**answer

144 views

### Weak convergence of a sequence

I have a sequence $(u_k) \in L^2_{loc}(\mathbb{R}^+; H^1_0(\Omega) )$ and $u \in L^2_{loc}(\mathbb{R}^+\times \Omega )$ such that for any $T >0$ and any compact $K \subset \Omega$ we have : ...

**4**

votes

**1**answer

240 views

### Spectral multipliers vis-a-vis Differential geometry

Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...

**4**

votes

**2**answers

144 views

### Heat kernel asymptotics for the sublaplacian on a contact Riemannian manifold

Let $\Delta$ denote a Laplace-type differential operator on a compact Riemannian manifold $(M,g)$. The asymptotics of the heat kernel and the heat operator trace of $\Delta$ are well-known (cf. ...

**0**

votes

**0**answers

86 views

### Probability that d-Brownian Motion ,$d\geq 3$, avoids a fixed set A

In other words, the probability that Brownian motion stays within $A^{c}$.
What about for connected and fixed compact sets ? Would that involve solving a heat equation? How can I condition it, so ...

**1**

vote

**1**answer

164 views

### Interior gradient estimate for uniformly elliptic equations

I am struggling with a problem like this: In dimension $n\geq 3$,
For the following uniformly elliptic equation, do we have interior gradient estimates?
$$a^{ij}(x)u_{ij}(x)+u_{nn}=0.$$, where ...

**2**

votes

**0**answers

51 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

**1**answer

158 views

### BMO spaces on the torus

I was reading BMO spaces (John-Nirenberg) on wikipidia http://en.wikipedia.org/wiki/Bounded_mean_oscillation. There they define BMO norm as
$$sup_{Q}\frac{1}{Q}\int_Q |u(y) - u_Q|dy$$
where $u_Q$ is ...

**0**

votes

**0**answers

45 views

### $L^\infty$ estimate for a fourth order (hyperbolic) equation

Consider the following fourth order equation
$$u_{tt}+u_t= d\Delta u-\Delta^2u+f,$$
with Dirichlet or Navier boundary conditions, that is on $\partial\Omega$, we assume that
...

**9**

votes

**1**answer

210 views

### heat kernel on n-sphere

I'm interested in diffusion, a.k.a. the heat kernel driven by the Laplace-Beltrami operator, on the $n$-dimensional sphere. There are lots of bounds showing that, for small times, it behaves in a way ...

**1**

vote

**1**answer

113 views

### Decay of Solutions to the Heat equation

Consider the heat equation
$$ (\partial_t + \Delta + V)u = 0$$
on a complete (open) Riemannian manifold with bounded geometry, where $V$ is a smooth and bounded potential.
Consider the semigroup ...

**-3**

votes

**1**answer

162 views

### Derivatives of infinite order [closed]

Is there any sense of taking an infinite number of derivatives? Is it discussed in the literature?
For example, can one make sense of
$$\frac{\partial^{\infty}f(x_1,x_2,\cdots)}{\partial x_1 ...

**0**

votes

**1**answer

151 views

### $\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$? [closed]

(This may be very simple question for MO; I had post it to math stack exchange few days back but I could not get any answer(or comment) to it)
It is well-known that, for $f,g \in L^{1}(\mathbb R).$ ...

**5**

votes

**0**answers

85 views

### $L^p$ regularity for wave equations with coercive boundary conditions

Suppose we have the wave type equation
$$\partial^2_tu - L u = 0$$ on a compact manifold with boundary, where $L$ is a second order strongly elliptic operator with coercive boundary conditions (not ...

**0**

votes

**0**answers

134 views

### Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$
I want to show for $r \geq 2$ that
...

**0**

votes

**1**answer

195 views

### When is separation of variables an acceptable assumption to solve a PDE?

We know that one of the classical methods for solving some PDEs is the method of separation of variables. It works for known types of PDEs and many examples of physical phenomena are successfully ...

**3**

votes

**0**answers

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

**4**

votes

**0**answers

143 views

### Is the universal constant in Caccioppoli's inequality one?

If you go through the classical proof of the fact that if $\Delta u= 0$ on $B_R$, then for every $R^\prime<R$ there holds
$$
\int_{B_{R^\prime}}|\nabla u|^2 \leq ...

**0**

votes

**1**answer

176 views

### A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is the following argument (see page 240).
Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...

**1**

vote

**1**answer

229 views

### Quadratic PDE Systems

(First time asking question on this forum so please kindly let me know if this is out of scope/inappropriate etc.)
I have a problem that leads me to the following quadratic system of PDEs:-
$
c_1 ...

**0**

votes

**0**answers

67 views

### Compatibility of initial and boundary conditions

Suppose we consider the heat equation $$\partial_t u = \Delta u, x \in \text{int}D^2, t > 0$$
where $D^2$ is the closed unit disc in $\mathbb{R}^2$, subject to Neumann type boundary conditions ...

**2**

votes

**0**answers

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

**1**

vote

**0**answers

77 views

### $L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?

Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact ...

**0**

votes

**0**answers

90 views

### elliptic regularity when right hand side in weak $L^p$

I am interested in the following question (whose answer i assume is well known) but just not by me. Suppose $u,f$ are smooth functions defined on $B_1$ and $ \Delta u = f$ in $B_1$ with $u=0$ on $ ...

**0**

votes

**1**answer

152 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**0**

votes

**0**answers

137 views

### $b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper.
Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in ...

**0**

votes

**0**answers

82 views

### Estimate for an integral of a function of the solution to a PDE

Let $\Omega \in \mathbb{R}^3$ be a bounded smooth domain. Assume that smooth functions $\sigma_1,\sigma_2$ satisfy $\sigma_1-\sigma_2 \in C_0^\infty(\Omega)$ and
$\lambda\leq \sigma_1, \sigma_2 \leq ...