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

6
votes
0answers
137 views

Failure of Fredholm property of elliptic PDE systems

Roughly speaking, a PDE operator satisfies the Fredholm property if its principal symbol is elliptic and the information provided on the boundary satisfies the Shapiro-Lopatinskii condition. What can ...
8
votes
1answer
115 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 ...
3
votes
2answers
137 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 ...
2
votes
1answer
90 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 ...
9
votes
0answers
116 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 ...
1
vote
1answer
65 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 ...
0
votes
0answers
32 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
0answers
48 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 ...
5
votes
0answers
89 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} ...
2
votes
0answers
86 views

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

Preliminary Definition We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...
1
vote
0answers
76 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< ...
5
votes
1answer
783 views

Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...
3
votes
1answer
135 views

Coarea formula in a subelliptic context

Consider smooth vector fields $X_1,..,X_k$ in ${\mathbb R}^n$, satisfying the H\"ormander condition, i.e. for all $x$, the Lie algebra generated by $X_1(x),...,X_k(x)$ is ${\mathbb R}^n$. Do you know ...
4
votes
1answer
74 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), ...
3
votes
1answer
214 views

Uniqueness theorems related to Hardy Uncertainty Principle

Uncertainty Principles state that a function and its Fourier transform cannot be simultaneously sharply localised. A well known result due to G.H.Hardy says that if $f(x)=O(e^{-\alpha^2|x|^2})$, ...
4
votes
1answer
486 views

Solution of Helmholtz-Equation where Phase is restricted by additional PDE

Hello! Let's say I have $(\partial_x^2 + \partial_y^2 + a)f(x,y)=0$ with $f(x,y) \in \mathbb{C}$, ($\lim_{x,y \to \infty} f(x,y)=0$). Now separate the Amplitude and Phase of the solution: ...
3
votes
1answer
201 views

First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...
2
votes
1answer
296 views

Is there a generalization of Sobolev spaces for certain locally compact groups?

I'm interested in knowing how far and how general the theory of Sobolev spaces has been developed. Classically, $H^k(U)$ for $U$ a subset of $R^n$ is given by derivatives up to order $k$ being square ...
0
votes
1answer
107 views

Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

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
1answer
129 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
0answers
50 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. ...
1
vote
1answer
107 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
1answer
229 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
0answers
79 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
0answers
95 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
0answers
24 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
0answers
71 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 $ ...
3
votes
1answer
412 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 ...
1
vote
3answers
139 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} ...
9
votes
1answer
184 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
0answers
95 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
1answer
123 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 : ...
1
vote
1answer
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 ...
0
votes
0answers
72 views

Probability that d-Brownian Motion ,d>3, avoids a set A

In other words, the probability that Brownian motion stays within $A^{c}$. So far I found that it is 1, for random cylinders and thorns (http://www.math.upenn.edu/~pemantle/papers/burdzy.pdf). What ...
4
votes
1answer
227 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
2answers
126 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. ...
1
vote
1answer
141 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 ...
1
vote
1answer
95 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 ...
2
votes
0answers
50 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
1answer
143 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
0answers
35 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 ...
-3
votes
1answer
139 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 ...
1
vote
1answer
140 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 ...
1
vote
1answer
231 views

A question about the first eigenvalue for two Kahler metrics

While reading the paper of Gang Tian, "Kähler-Einstein metrics with positive scalar curvature". In the proof of Theorem 1.6, he pointed that if two Kahler metrics $\omega $ and $\omega'$ satisfies ...
0
votes
1answer
137 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).$ ...
1
vote
1answer
142 views

Galerkin approximations for parabolic PDE weak solution, getting a uniform bound

(As usual $V \subset H$ are separable Hilbert spaces) In a book I read this about existence of the solutions to parabolic PDEs: the approximate solution $u_n(t)$ solves the equation $$(u_n', ...
5
votes
0answers
80 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
34 views

reading request on linear elliptic systems of pdes, strong solutions

Does anyone have some references where I could find results on strong solutions to linear elliptic systems of pdes ? Regards
0
votes
1answer
162 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.. ...
0
votes
0answers
125 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 ...