Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

learn more… | top users | synonyms

1
vote
1answer
110 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
1answer
156 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
1answer
144 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
0answers
84 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
0answers
132 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
1answer
179 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
0answers
82 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
0answers
141 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
1answer
174 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
1answer
221 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
0answers
66 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
0answers
82 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
0answers
72 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
0answers
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
1answer
146 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
0answers
133 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
0answers
79 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
1answer
145 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
2answers
152 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
0answers
59 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
0answers
107 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
3answers
165 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
2answers
178 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
1answer
113 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
0answers
73 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
0answers
159 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
1answer
61 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
1answer
95 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
3answers
141 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
0answers
46 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
2answers
252 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
1answer
205 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: ...
3
votes
1answer
272 views

A question on Schrodinger operator

I am not sure whether I should ask for help here or math stackexchange. I got trouble with an inequality involving the Schrodinger operator on manifolds. Any suggestion is appreciated! Let $(M,g)$ be ...
4
votes
2answers
212 views

Analytic solution of a system of linear, hyperbolic, first order, partial differential equations

In a try to solve a physical problem, I've faced a system of first-order partial differential equations of the form ...
0
votes
0answers
54 views

References for LWP of a NLS Equation

I am studying the LWP of $$i \partial_t \psi + \Delta \psi = \left| \psi \right|^{p-1} \psi + \frac{1}{\left| x \right|^2} \psi$$ in $\mathbb{R}^{1+2}$ given appropriate Cauchy data. It will probably ...
4
votes
0answers
82 views

Reference for short time existence of paraobolic PDE on bundles

I am looking for a reference treating parabolic equations on vector bundles. In particular, I look for precise conditions which guarantee short time existence. I found it quoted at different places in ...
3
votes
1answer
100 views

Doubling of variables method for parabolic equations

Does anyone have a reference that explains the technique of doubling of variables as introduced by Kruzkov? It seems to be a necessary tool for contraction estimates when we have weak solutions. ...
1
vote
1answer
90 views

Getting a comparison principle for parabolic equation when solution is not that smooth

Consider the solution $b(u) \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ with $u \in L^2(0,T;H^1)$ to $$\frac{\partial}{\partial t}b(u) - \Delta u = f$$ where $b$ is continuous, increasing and locally ...
5
votes
1answer
192 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
0answers
58 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
0answers
141 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
0answers
87 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
0answers
48 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^2( \mathbb{R} ^d ) $ ...
3
votes
0answers
113 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
0answers
137 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
1answer
340 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
0answers
85 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
0answers
107 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} ...
2
votes
1answer
72 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
0answers
110 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 ...