# Tagged Questions

**4**

votes

**1**answer

100 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

142 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

131 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

98 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

140 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

145 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

245 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

150 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

88 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

166 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

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

**1**answer

160 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

218 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

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

**-4**

votes

**1**answer

184 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

86 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

135 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

215 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

86 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

151 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

184 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

237 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

69 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

87 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

79 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

153 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

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

**1**

vote

**1**answer

148 views

### Getting existence for $L^1$ data given existence for $L^\infty$ data and $L^1$ continuous dependence result

Let $F:\mathbb{R} \to \mathbb{R}$ be locally Lipschitz, monotone and continuous. For the sake of concreteness only let us suppose it is of porous medium type (eg. $F(r) = r^{\frac 1m}$.)
Let $\Omega ...

**6**

votes

**2**answers

157 views

### Relativistic Control Theory

I am looking for literature that combines General relativity and control theory.
So far I found a video lecture on "Integrability meets Control Theory: Harmonic maps in GR", other than that not so ...

**2**

votes

**0**answers

63 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

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

**4**

votes

**3**answers

173 views

### What to read for many-body problems in 3D Schrodinger equation

I am a graduate student just started learning dispersive PDE in MSRI's summer program. I roughly finished reading the paper by Klainerman and Machedon "ON THE UNIQUENESS OF SOLUTIONS TO THE
...

**4**

votes

**2**answers

183 views

### Solution to Schrödinger equation

I asked this question already on stackexchange, but I did not get any resonance at all, so maybe anybody here can give me a few hints about my problem.
My goal is to solve this PDE for $f:[-1,1] ...

**0**

votes

**1**answer

118 views

### Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(t)) \rangle = \int_\Omega |u(T)| - \int_\Omega |u(0)|$

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases}
...

**1**

vote

**0**answers

74 views

### Comparison principle using truncation for porous medium equation

For a porous medium equation (eg. $u_t - \Delta \Phi(u) = f$), is it possible to obtain a comparison principle for very weak solutions (eg. if $u_0 \geq 0$ and $f \geq 0$ then $u \geq 0$ a.e.) using ...

**1**

vote

**0**answers

163 views

### Is this function space a “classical” Sobolev space?

I apologise if this is indeed classical but my functional analysis is quite rusty...
My work recently led me to the norm: $(\|u\|_p)^p=\int_D (|u|^p+|\Delta u|^p)d\lambda$ where $D$ is the unit disk ...

**4**

votes

**1**answer

62 views

### Reference: Hardy space regularity of the Jacobian determinant

I'm looking for a reference, expository in nature, for the proof of the following theorem of Coifman, Lions, Meyer and Semmes.
Theorem:
For all $u\in W^{1,n}(\mathbb{R}^n;\mathbb{R}^n)$, ...

**2**

votes

**1**answer

99 views

### $L^\infty_\mathrm{loc}$ assumption in global existence for Boltzmann equation

In short:
In P. Gérard's paper on the existence of global solutions to the Boltzmann equation from 1988 (or equivalently Cercignani's book), why are the stated assumptions (especially $A_n \in ...

**1**

vote

**3**answers

154 views

### Harmonic Function with special property

I would appreciate any help with the following problem:
Let $(M,g)$ be a 3 dimensional Riemann manifold with boundary. Let $ \Gamma $ be a surface of sufficient regularity dividing M into two ...

**1**

vote

**0**answers

50 views

### Well-posedness of a certain linear Cauchy-problem

I am interested in solutions to the linear Cauchy problem
$$\Bigl(\frac{\partial^2}{\partial t^2} + a(t, x)\frac{\partial}{\partial t} + \sum_{j=1}^n b_j(t, x) \frac{\partial}{\partial x_j}\Bigr)u(t, ...

**2**

votes

**2**answers

288 views

### Finite speed of propagation of wave equation

Let us consider the wave equation $$(\partial_t^2 - \Delta)u = 0$$ on a domain $U$ with coercive homogeneous boundary conditions $$Bu|_{\partial U} = 0$$ that make $-\Delta$ self-adjoint. My question ...

**1**

vote

**1**answer

211 views

### Question about extending a solution to Monge-Ampere solution

I am interested in solutions to the Monge-Ampere equation for a smooth function
$h(x,y)$ of two variables(though I suppose I could try to make do with $C^2$ solutions). The equation is:
...