# Tagged Questions

**4**

votes

**0**answers

77 views

### Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts:
Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean ...

**0**

votes

**1**answer

59 views

### A hyperbolic partial differential equation (wave-like) with variable-dependent coefficient and possibly singular in one variable

First, I beg your pardon since the title of the question is a bit confusing I guess. I'm working on a physical equation of the wave-like form. Explicitly, it reads
...

**2**

votes

**0**answers

65 views

### Geodesics on a perturbed submanifold of $\mathbb{R}^m$ [closed]

Let us consider $M$, a Riemannian manifold of dimension $n$, isometrically embedded in $R^m$. Let us consider a geodesic $\gamma$ on $M$. Now, let us "perturb" (in other words, change slightly the ...

**1**

vote

**0**answers

49 views

### Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon ...

**1**

vote

**1**answer

135 views

### Estimates on evolution operator

Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert ...

**3**

votes

**1**answer

179 views

### a road from virial identity to Strichartz estimates for wave/ Schrodinger eqs?

Is there any way how virial identity implies Strichartz estimates ( or some smoothing properties) for solutions to a) wave equation b) Schrodinger equation ( say in 3d)? To keep things clear I am ...

**0**

votes

**0**answers

98 views

### Log of heat kernel for positive time

A well-known theorem by Varadhan relates the logarithm of the heat kernel on a manifold and the geodesic distance function. In particular, if $d(x,y)$ is geodesic distance from $x$ to $y$ and ...

**2**

votes

**0**answers

77 views

### Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE

A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...

**2**

votes

**2**answers

286 views

### Monge-Ampere type PDE

NB: I have edited this question to clarify what the OP is asking – Robert Bryant
Problem: Find a holomorphic function $f$ where where $f(x+iy) = u(x,y) + i\,v(x,y)$, such that the graph $\Gamma_u = ...

**0**

votes

**0**answers

75 views

### Elliptic PDE-Fredholm PDE(Is there a contradictory situation)

Let $E$ be a smooth vector bundle on a closed manifold $M$. Assume that $D:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a diff. operator which is a fredhoolm operator, in the algebraic ...

**2**

votes

**0**answers

109 views

### Is Laplacian a surjective operator?

For a closed manifold the laplacian is almost surjective operator since the index of $\Delta$ is zero and there is no a non constant harmonic function. So the codimension of the image ...

**3**

votes

**1**answer

90 views

### $C_0$ semigroups on parameterized Banach spaces or moving domains

Is there any literature corresponding to one or two-parameter semigroups such that eg. $T(t) \in \mathcal{L}(X(t))$ or $T(s,t) \in \mathcal{L}(X(t),X(s))$ for parameterized Banach spaces $X(t)$???
I ...

**2**

votes

**1**answer

59 views

### The asymptotic distribution of a subset of Bessel function zeroes

For a research problem I am working on in PDE, I need to obtain asymptotics for the counting function of $$\{0<\alpha <\lambda: \exists n\in \mathbb{N} \textrm{ such that }J_n(\alpha)=0 \textrm{ ...

**0**

votes

**0**answers

179 views

### Heuristic probabilistic argument for the Navier-Stokes existence and smoothness conjecture

The Collatz Conjecture is a famous conjecture that has never been proven; nevertheless, there exists a simple heuristic probabilistic argument which supports its truth - in Wikipedia's words, "If one ...

**1**

vote

**2**answers

72 views

### Solvability of quasilinear elliptic equations on closed manifolds

Is there any reference about solvability theory of quasilinear elliptic equations on closed manifolds?
In particular, I am looking for solvability condition for function $f$ of following equation
...

**3**

votes

**0**answers

78 views

### Pointwise a.e. formulation of parabolic PDE, what if null set depends on test function?

Let $u \in L^2(0,T;V)$ with $u_t \in L^2(0,T;V^*)$ be a solution of
$$\langle u_t(t), v \rangle + a(t;u(t), v) = \langle f(t), v \rangle$$
where $f \in L^2(0,T;V^*)$ and we have the usual assumptions ...

**2**

votes

**2**answers

102 views

### First order pde with characteristics [closed]

Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...

**3**

votes

**2**answers

342 views

### Textbook for Partial Differential Equations with a viewpoint towards Geometry

I don't know whether I should ask this question here or not but I asked this question on MSE but didn't get any answer so I am posting it here.
Though similar questions have been asked at ...

**0**

votes

**1**answer

133 views

### A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this.
For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...

**5**

votes

**0**answers

103 views

### Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$

Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$:
$$
\begin{cases}
\partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\
u(0,x)=u_0(x).
\end{cases}
$$
...

**4**

votes

**1**answer

189 views

### $C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular
$C^0$ estimate for solutions of the Laplace equation with Neumann
boundary conditions. More precisely, let $(M,g)$ be a ...

**2**

votes

**0**answers

102 views

### Regularity of solution to Fokker Planck equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE
\begin{align}
\partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\
\rho(t ...

**2**

votes

**1**answer

136 views

### Differentiability of Nemytskii operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...

**1**

vote

**0**answers

135 views

### numerical method (implicit , backward difference or forward difference) for nonlinear pde

$\newcommand{\lbar}{\underline{\lambda}}$
In this linear PDE:
\begin{cases}
B_t+b^Q(r,t)B_r+\frac{1}{2}d^2(r,t)B_{rr}+(\mu(\lambda,t)+\alpha \sigma (t))(\lambda -\lbar)B_{\lambda} \\ ...

**4**

votes

**1**answer

109 views

### Liouville type theorems; linear PDE with decaying potential

Dear Mathoverflowers,
I am interested in the following pde:
$$ -\Delta u(x) + C(x) u(x) = 0 $$ in $ R^N$. Lets assume that $ C(x)$ is bounded and (smooth if you like) and satisfies the ...

**4**

votes

**0**answers

143 views

### Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...

**3**

votes

**1**answer

128 views

### Hardy-type inequality for point boundary

Let $f$ be in $W^{2,p}(\mathbb{R}^n)$ for $n\geq 3$ and $p>n/2$, with $f=0$ at the origin. I want to show that the integral $$\int_{B(0,r)} (f |x|^{-2})^p dV <\infty$$ for some small $r>0$. A ...

**5**

votes

**2**answers

147 views

### Inverse of partial differential operator as a smooth tame map

Tameness for maps is one of the main ingredients for the Nash-Moser inverse function theorem. A linear map $f: X \to Y$ between Fŕechet spaces with fixed seminorms is called tame if we have an ...

**4**

votes

**0**answers

161 views

### Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**6**

votes

**0**answers

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

**1**

vote

**0**answers

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

61 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

34 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

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

**12**

votes

**3**answers

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

**3**

votes

**0**answers

114 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

**1**answer

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

**0**

votes

**0**answers

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

**1**

vote

**1**answer

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

**4**

votes

**1**answer

232 views

### Are Besov 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}: ...

**14**

votes

**2**answers

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

**4**

votes

**2**answers

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

**3**

votes

**1**answer

150 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

47 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

53 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

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

**9**

votes

**0**answers

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

**5**

votes

**0**answers

207 views

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

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...

**1**

vote

**0**answers

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