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

4
votes
0answers
26 views

Local solvability of nonlinear elliptic boundary value problems

Malgrange proves the following statement regarding local solvability of (determined or underdetermined) nonlinear elliptic systems: Let $F_i(x,D^\alpha u)=0$ be a nonlinear elliptic system of order ...
3
votes
1answer
209 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$ ...
0
votes
0answers
48 views

numerical method (implicit) for nonlinear pde

If $\newcommand{\lbar}{\underline{\lambda}}$ $$ \lambda(t)= \lbar+(\lambda_0-\lbar)\exp \left( (\mu-\frac{1}{2}\sigma^2)t+\sigma W^\lambda_t\right) $$ and $\mu$ , $\sigma$ , $\lbar$ , $\lambda_0$ , ...
4
votes
1answer
313 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
0answers
58 views

A linear operator equation (PDE) with non-monotone term

I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple. There is a linear operator $L:{D}(L) ...
0
votes
0answers
39 views

Relationship between ODE and PDE(Laplacian on $S^2$)

Assuming that I solved the Sturm-Liouville problem with some periodic/antiperiodic BC.'s: $$-y''(x)+f(x)y(x) = \lambda y(x),$$ where $\lambda $ is a free parameter on $[0,2\pi]$ and with $f \in ...
11
votes
3answers
697 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 ...
2
votes
0answers
40 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 ...
0
votes
1answer
132 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 ...
1
vote
1answer
111 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
0answers
46 views

presence of turbulent phenomena in systems of linear pde?

Are there linear systems of PDE that are known to have solutions which exhibit turbulence, or can turbulence be firmly classified as a fundamentally non-linear phenomenon, similar to solitons or shock ...
1
vote
0answers
31 views

Does the following measurable Halmilton-Jacobian equation admit a Lipschitz solution?

I have the following question: Let $F:\Omega\times \mathbb{R}^n\to [0,\infty)$ be a convex Finsler norm, which means that $F(x,\cdot)$ is convex with respect to the second variable. $F(\cdot,v)$ ...
1
vote
0answers
76 views

Half Laplacian; (definitions of) and regularity

I have a question regarding the half Laplacian $ (-\Delta )^\frac{1}{2}$ on some smooth bounded domain $ \Omega$ in $R^N$. I am attempting to clarify some confusion with the various definitions. ...
7
votes
1answer
280 views

Linearization instability and singular points of algebraic varieties

In a well known 1973 paper, Fischer and Marsden pointed out (with similar, contemporary remarks made in the physics literature by Brill and Deser) that the space of solutions of some non-linear ...
0
votes
0answers
82 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 ...
0
votes
0answers
36 views

Is the inhomogeneous modified Helmholtz equation elliptic, parabolic or hyperbolic? [closed]

I am considering the inhomogeneous modified Helmholtz equation $(\nabla\cdot\nabla u)-\alpha^2u=f,\quad\forall x\in\Omega$, where $u$ and $f$ are functions of $x$ and $y$, and $\alpha$ is constant. ...
2
votes
0answers
76 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
0answers
126 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 ...
3
votes
1answer
116 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 ...
3
votes
1answer
158 views

Is Besove 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}: ...
1
vote
1answer
82 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. ...
2
votes
1answer
127 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
0answers
69 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. ...
3
votes
1answer
450 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 ...
14
votes
2answers
570 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 ...
1
vote
3answers
147 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} ...
0
votes
1answer
51 views

properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...
8
votes
1answer
177 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 ...
4
votes
2answers
185 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 ...
9
votes
0answers
122 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
40 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
50 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
0answers
108 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} ...
1
vote
0answers
81 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
784 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
80 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
218 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
489 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: ...
0
votes
1answer
133 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 ...
1
vote
1answer
231 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
85 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
100 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
75 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 $ ...
9
votes
1answer
186 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
96 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
127 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 ...