**4**

votes

**1**answer

389 views

### Can one understand the Kelvin transform conceptually?

Let $U = \mathbf{R}^n - \{ 0 \}$, $n > 2$ and consider for a function $f \in C^2(U)$ the Kelvin transform
$$f^\star(x) = r^{2-n} f\left(\frac{x}{r^2}\right),$$
where $r = \lvert x \rvert$. One ...

**13**

votes

**1**answer

433 views

### Are isospectral manifolds necessarily homeomorphic?

It's known that there are pairs of closed Riemannian manifolds which are isospectral but not isometric.
Is it known if there are closed Riemannian manifolds which are isospectral but not ...

**3**

votes

**1**answer

230 views

### On a family of $C^0$-convergent Riemann metrics

I am dealing with the following concrete situation that could be familiar to Riemannian geometers more experienced than myself.
Suppose that $M$ is a smooth compact manifold of dimension $m$ and ...

**4**

votes

**2**answers

666 views

### when a pseudo-differential operators to be compact?

In the theory of Pseudo-differential operators,when a symbol $a(x,\xi)\in S^{0}$,then the operator $a(x,D)$ defined by$$a(x,D)u=\int{e^{ix\xi}a(x,\xi)\widehat{u}}d \xi$$ is $L^2$ bounded.$ $
My ...

**1**

vote

**2**answers

198 views

### The approximation to perturbed KdV Equation

Consider the perturbed KdV Equation $$u_t-6uu_x+u_{xxx}=\epsilon u$$,I want to use perturbative expansion to construct the solution as the form $$u=u(x,t;\epsilon)=\sum_{n=0}^\infty\epsilon^n ...

**2**

votes

**2**answers

437 views

### the inverse for the trace theorem

The trace theorem says that the restriction of a $W^{1,p}(\Omega)$ function $u$, $Tu$ belongs to $W^{1-1/p,p}(\partial\Omega)$ if $\Omega$ satisfies some smooth condition, for example, $\Omega$ is ...

**2**

votes

**1**answer

419 views

### The perturbed KdV Equation

I'm now studying KdV Equation$$u_t-6uu_x+u_{xxx}=0$$To solve the initial-value problem,we can use method of Lax pair,so we can alter the original problem to the problem of solving out $u$ in the ...

**13**

votes

**6**answers

2k views

### Square roots of the Laplace operator

In several places in the literature (e.g. this paper of Caffarelli and Silvestre), I've seen an integral formula for fractional Laplacians. I'd like to understand it. In this question, I'll stick to ...

**1**

vote

**1**answer

148 views

### $L^2$-de-Rham complex on Lipschitz domains has smooth harmonic forms?

I would like to know for which choice of boundary conditions the title statement is true.
Let $\Omega$ be a bounded Lipschitz domain in $\mathbb R^n$, for which we regard the $L^2$-de-Rham complex.
...

**7**

votes

**2**answers

757 views

### (sharp)Garding's inequality and inequality with lower bounds

The origin of Garding's inequality was an effort to solve Dirichlet's problem for linear elliptic operators of high even order.Let $$P(x,D)= \sum a_{\alpha}(x)D^{\alpha}$$ with principal part ...

**4**

votes

**2**answers

360 views

### Does there exists a necessary condition for Lp multiplier?

Let $1 \leq p \leq 2$. A measurable function $m(\xi)$ is called a $L^p(R^n)$ ($L^p$ for convenience) multiplier, if $$\|m(D)\varphi\|/\|\varphi\|_{L^p} \leq C , \varphi \in L^p
$$ for some constant ...

**1**

vote

**1**answer

102 views

### Is $C_c(\mathbb{R}^2,\mathbb{R}^2)$ dense in the irrotational square integrable functions?

Let $L_D(\mathbb{R}^n)^n$ be the set of square integrable functions which are the weak derivative of a locally square integrable function. That is
$$L_D(\mathbb{R}^n)^n=\{Du\colon u\in ...

**4**

votes

**4**answers

232 views

### Must Neuman Elliptic operator has discrete spectrum ?

It is well known that the Neuman eigenvalue problem has discrete spectrum and the eigen values are
nonnegative and can be arranged in a nondecreasing order of magnitude.
Do we need any smoothness ...

**0**

votes

**0**answers

249 views

### Strichartz estimates of damped wave equation

If $w(t,x)$ is a solution of wave equation
$$
w_{tt}-\triangle w = 0, w(0)=w_0, w_t(0)=w_1,
$$
then $w$ satisfies the following Strichartz esitmates
$$
\|w\|_{L^q_tL^r_x} \lesssim \|w_0\|_{H^1} + ...

**9**

votes

**2**answers

672 views

### what's the motivation of Weyl calculus ?

In the pseudo-differential operator theory, we can define a pseudo-differential operator by $$a(x,D)u=(2\pi)^{-n}\int{a(x,\xi)e^{i\langle x-y,\xi \rangle}u(y)dyd\xi}$$ with $a(x,\xi)$ belong to some ...

**0**

votes

**0**answers

232 views

### Density of 0-homogeneous functions in $H^1(\partial \Omega)$

Recall: A function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is called $0$-homogeneous if
$f(\lambda x)= f(x)$ for every $\lambda>0$ and every $x\in \mathbb{R}^n$.
Question: Let $B$ a convex balanced ...

**10**

votes

**2**answers

714 views

### Convergence of solutions to Navier-Stokes to Euler's equation for viscosity $\to$ zero

Let
$$
\partial_t u + \nabla_u u = - \nabla p
$$
be Euler's equation (Wikipedia) for an ideal incompressible fluid. Let
$$
\partial_t u + \nabla_u u - \nu \Delta u = - \nabla p
$$
be the ...

**8**

votes

**3**answers

3k views

### Physical Interpretation of Robin Boundary Conditions

In a (bounded) domain $\Omega \subset \mathbb{R}^n$, if we're studying the Laplace equation or heat equation or such PDE's we can impose the Dirichlet
$u|_{\partial\Omega} \equiv 0$,
Neumann
$D_{\nu} ...

**4**

votes

**2**answers

730 views

### Example for the Sobolev embedding theorem when p=n.

Let $\Omega$ be a bounded domain in $\mathbb R^2$. By the Sobolev embedding theorem, if $k>\frac np$ (in this case $k>\frac 2p$) then
$u\in W^{k,p}(U) \implies u\in C^{k-[\frac 2 ...

**0**

votes

**0**answers

462 views

### partial differential equations with mixed boundary conditions

hi,
does anyone know some good references (books, papers) on partial differential equations with mixed boundary conditions ?
actually I am intrested in the following: Let ...

**3**

votes

**6**answers

603 views

### Fractional Leibniz formula

Let $T=(-\Delta)^{1/2}$.
Can we have estimates, similar to the one below
$$
\| T^{\alpha}(fg)-(T^{\alpha}f)g-f(T^{\alpha}g) \|_p \leq \|T^{\alpha-1}f\|_p \|T^{\alpha-1}g\|_p,
$$
hold in $L^p$, where ...

**1**

vote

**1**answer

362 views

### A property on the Green-St Venant strain tensor

Green-St Venant strain tensor is defined by $E(u)={1\over 2}[\nabla u+(\nabla u)^T+(\nabla u)^T\nabla u]$, where $\nabla u$ is the displacement gradient.
Show that
$u\in H^1(\Omega), E(u)\in ...

**5**

votes

**1**answer

248 views

### Lower bound on the solution of a Schrödinger-type equation

Consider the equation
$-\Delta u + Vu=f$,
on a closed manifold (or on a bounded domain with homogeneous Neumann condition). Here one can assume whatever integrability or smoothness conditions on $V$ ...

**1**

vote

**2**answers

334 views

### Does these commutator estimates bound in $L^{2}$

According to the basic rules of symbolic caculus,$[a(x,D),x_{j}]=-ia^{j}[x,D]$.So we have $[(1-\triangle)^{\frac{1}{2}},x_i]=\partial_i(1-\triangle)^{-\frac{1}{2}}$ which is $L^2$ bounded.
It's also ...

**2**

votes

**2**answers

405 views

### Smooth Sobolev extension from $W^{1,p}(U)$ to $W^{1,p} (\mathbb{R}^n) $

The question I would be asking is roughly : do the smooth Sobolev functions defined on an open bounded domain extend to smooth Sobolev functions on the Euclidean space ?
For detail :
Fix $p \geq 1. ...

**1**

vote

**1**answer

235 views

### Density of $H^{1/2}(\partial \Omega)$ in $L_2(\partial\Omega)$

Hi,
i know that the following statement is used extensively, but i cannot find a proof anywhere:
For $\Omega$ a Lipschitz domain with boundary $\Gamma$, the space $H^{1/2}(\Gamma)$ is dense in ...

**11**

votes

**1**answer

948 views

### Relationship between Green's function and geodesic distance?

I am interested in showing that a certain Green's function can be used to approximate the distance function on a Riemannian manifold in the following sense. Let $(M,g)$ be a Riemannian manifold and ...

**1**

vote

**0**answers

52 views

### elliptic system; bounds on $v$ when $u$ is small

I am interested in the following system
$-\Delta u = f(u,v) $
$-\Delta v = g(u,v)$ in $ \Omega$ a bounded domain in $ R^N$ with $ u=v=0$ on the boundary.
The solutions are smooth and positive. ...

**1**

vote

**1**answer

310 views

### sobolev embedding theorem in the smooth metric measure space

we know the sobolev embedding theorem of Saloff-Coste
$\Big(\int_B|F|^{2q}d\mu\Big)^{\frac1q}\le e^{C(1+\sqrt KR)}V^{-2/n}R^2\int_B\Big(|\nabla F|^2+R^{-2}F^2\Big)d\mu
$
wtih $Ric\ge-(n-1)K$, for ...

**1**

vote

**1**answer

381 views

### Surface PDE (heat equation) weak form and existence/uniqueness

Suppose $X:A \subset \mathbb{R}^n \to \mathbb{R}^{n+1}$ is a parametrisation of a surface $\Gamma$ such that $X(\theta_1, \theta_2) = (\theta_1, \theta_2, h(\theta_1, \theta_2))$ (i.e., $\Gamma$ is a ...

**6**

votes

**2**answers

508 views

### Pólya's conjecture on the spectra of the Laplacians

Recently I've learned something about the spectra of the Laplacians. Given a bounded domain $\Omega \subset \mathbb{R}^n$ with $\partial \Omega$ smooth, we can consider eigenfunctions of Dirichlet ...

**2**

votes

**2**answers

253 views

### The extension of smooth function

If $U$ is a bounded domain in $\mathbb R^n$ whose boundary is smooth, and $f$ is a smooth function on $U$ whose partial derivatives of all orders have a continuous extensions to $\bar U$. For an ...

**2**

votes

**2**answers

847 views

### Chain rule for fractional laplacian

Does anyone know a formula of chain rule for fractional laplacian?
say we take the fractional laplacian of order a on function $g(U(x))$ $x\in \mathbb{R}^2$, $U \in \mathbb{R}$, $g \colon \mathbb{R} ...

**1**

vote

**1**answer

139 views

### Regularity of harmonic functions with robin data up to the boundary

I want to prove that if $u$ is a solution of
$\Delta u = 0$ in $\Omega$ with Robin boundary conditions $\frac{\partial u}{\partial n} = \lambda u$, where $\Omega \subset \mathbb{R}^n$ has analytic ...

**2**

votes

**2**answers

379 views

### C^{2} estimates for elliptic equations

I am curious about the following question:
suppose $u$ is a solution to the uniformly elliptic equation $\sum_{i,j=1}^{n}a_{ij}(x)u_{ij}=f(x)$ in $\Omega$ and $u=0$ on$\partial \Omega$, where ...

**4**

votes

**2**answers

205 views

### hodographic transformation

Let $\phi(x,t)$ be smooth function.
Let $\zeta= x-t$ and $\eta= x+t$. $u=\phi_\zeta$, $v= \phi_\eta$.
Let $u$, $v$ satisfies following equations:
1-
$$u_\eta- v_\zeta= 0$$
...

**5**

votes

**2**answers

898 views

### Which PDE from physics (and geometry) are supercritical?

I am currently trying to understand the notion of criticality (as discussed, e.g., in Terence Tao's book on nonlinear dispersive equations) from a physical viewpoint. That's why i'm interested in the ...

**6**

votes

**2**answers

1k views

### Characterization of inverse differential operators

If I have a partial differential operator $p(D)$, where $p$ is a polynomial with constant coefficients and $D$ is the derivative in Euclidean space. Its inverse is easily described in Fourier space: ...

**1**

vote

**1**answer

450 views

### A question on the DeTurck trick

I am probably being obtuse here, but there is something in the DeTurck trick that I do not understand precisely. I was reading from Andrews Hopper, and they (on page 91) say that the equation ...

**2**

votes

**1**answer

375 views

### Hölder estimates for the Complex Monge-Ampere equation

If on a bounded smooth, pseudoconvex domain in $\mathbb{C}^n$, $\mathrm{det} ( \mathrm{Hess}(u)) = f$ ($f>0$, $\mathrm{Hess}(u)>0$, $u=0$ on the boundary), if $f \in C^{k, \alpha}$, is $u \in ...

**2**

votes

**1**answer

388 views

### Distributional derivative is locally integrable - then the distribution as well?

Given a distribution $T \in D'(\mathbb{R})$ such that the distributional derivative $\partial T \in L^1_{loc}(\mathbb{R})$. Can one deduce that $T \in L^1_{loc}(\mathbb{R})$ as well? Or can anyone ...

**1**

vote

**2**answers

837 views

### Geometric Mean Value Property

Does anyone know where I could find a proof of a variant of a version of the mean-value property for harmonic functions in Riemannian manifolds? I'm actually more interested in using an elliptic ...

**1**

vote

**0**answers

115 views

### Strichartz estimates over cones

I'm trying to understand Sogge's book Lectures on Non-Linear Wave Equations, the part where he proves global existence for semilinear equations. There is one part he uses the following inequality:
...

**3**

votes

**1**answer

296 views

### A Sobolev-type inequality with weights

In the study of a particular PDE I found myself wanting to prove the following inequality:
$( \int_0^{\infty} r^{-3} |f|^6 \; dr )^{1/6} \leq C ( \int_0^{\infty} [ r^{-1} |f|^2 + r |f'|^2 + r ...

**6**

votes

**2**answers

374 views

### Willmore minimizers for genus $\geq 2$

For an immersed closed surface $f: \Sigma \rightarrow \mathbb R^3$ the Willmore functional is defined as
$$
\cal W(f) = \int _{\Sigma} \frac{1}{4} |\vec H|^2 d \mu_g,
$$
where $\vec H$ is the mean ...

**2**

votes

**2**answers

429 views

### Monge Ampere equations (concavity)

The Monge-Ampere (whether real or complex, whether in a domain or on a manifold) equations usually studied are of the type $F(u, \nabla u, \mathrm{Hess}(u)) = 0$ where $F$ is a concave function of ...

**6**

votes

**3**answers

546 views

### Moser regularity proof avoiding John-Nirenberg lemma

I heard a rumor that there exists a proof by Moser-style iteration of the $C^{0,\alpha}$-regularity for $W^{1,2}$-solutions $u$ to elliptic equations with measurable coefficients which does not rely ...

**2**

votes

**2**answers

1k views

### Weak maximum principle / comparison principle for parabolic equations with Neumann conditions

Hello everyone. I'm about to use a comparison principle that I belive is true, but I can't find any precise reference to be sure of it. Here is what I would like to say :
I have a parabolic equation ...

**7**

votes

**3**answers

1k views

### unique continuation principle

I recently encountered a paper by Protter ("Unique continuation of elliptic equations") that starts out by saying "any solution of an elliptic equation that is defined on a domain $D$ must vanish on ...

**7**

votes

**2**answers

639 views

### Chebyshev net in 3D

I would like to know the reasons why the existance of Chebyshev net in 3D-case is problematic.
This question boils down to the PDE described below.
(I do not know much about PDEs, so feel free to say ...