**4**

votes

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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