**7**

votes

**1**answer

277 views

### Level sets of weakly differentiable funtions

Let $C$ be a $C^1$ hypersurface in $R^n$ and let $u \in C^1(R^n)$. Suppose
$$\nabla u(x) \cdot \eta(x)=|\nabla u| \ \ \forall x\in C$$
where $\eta(x)$ is the normal vector to $C$ at $x$ ($\nabla u$ ...

**0**

votes

**0**answers

75 views

### compact injection

Put:
$D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$
Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...

**0**

votes

**0**answers

47 views

### stokes-equation estimate in $L^2(0,T,L^\frac{3}{2}(\Omega))$

I'm interested in the default Stokes-system, e.g.
$ \frac{\partial}{\partial t} u - \Delta u + \nabla p = f \; \text{in} \; \Omega$
$ \nabla \cdot u = 0 \; \text{in} \; \Omega$
$ u = 0 \; \text{on} ...

**3**

votes

**1**answer

189 views

### Critical case of Sobolev Embedding

I got stuck in the following lemma:
Lemma: Let $B$ be the unit ball in the 4 dimensional Euclidean space. Suppose that $u\in W^{2,2}(B)$, then $e^{u}\in L^{q}$ for any $q>1$.
As we know this is ...

**2**

votes

**1**answer

104 views

### Is the Lopatinski-Shapiro condition invariant under diffeomorphism?

If a PDE (eg. the heat equation with Robin BCs, or the elliptic version) on a bounded smooth domain $U$ satisfies the Lopatinski-Shapiro condition (for a definition see eg. Wloka), and if $T:U \to W$ ...

**0**

votes

**0**answers

22 views

### how can we extend this result [duplicate]

Let $T_{a},a\in C$ be a closed operator defined on $D$ subspace of $L^{2}(R)$ onto $L^{2}(R)$ $(T_{a}: D\rightarrow L^{2}(R) )$ with
$D$ contains a Schawrz space $S$
$\Big<\psi,T_{a}\varphi\...

**1**

vote

**0**answers

86 views

### Applications of the Weak and Weak$^*$ topologies to PDEs?

Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$.
The most ...

**3**

votes

**0**answers

63 views

### Strengthening of the local smoothing estimates for the free Laplacian

The classical local-smoothing estimates for the free Laplacian asserts that:
$$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$
where $B\subset\mathbb{...

**2**

votes

**2**answers

116 views

### Symplectic formulation of compressible Euler equation

It has been widely known that the compressible Euler equation can be cast into the Hamiltonian form. For example, in the book "Dubrovin B A, Fomenko A T, Novikov S P. Modern geometry—methods and ...

**0**

votes

**0**answers

61 views

### Order of vanishing of Laplace's equation with potential

Consider the equation $-\Delta u + V u = 0$ with Dirichlet boundary conditions on the bounded domain $\Omega \subseteq \mathbb{R}^n$, where $V$ is a smooth potential. Let $V \leq 0$, and bounded on $\...

**0**

votes

**0**answers

204 views

### Isothermal coordinates

Is there an application or interest in studying the isothermal surfaces where the metric is $ds^2=E∗(du^2+dv^2)$ and where $E>0$ is an harmonic function?
I know that this metric is a special kind ...

**4**

votes

**0**answers

157 views

### Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories

Let
$d\in\left\{2,3\right\}$
$\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$
$\Phi_t:\mathcal V_0\to\mathcal V_t$ such that $\...

**3**

votes

**0**answers

59 views

### On the principal eigenvector of an elliptic operator

Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
\...

**11**

votes

**2**answers

471 views

### Unexpected regularity of the distance from a $C^2$ submanifold

Let $\Gamma$ be a $C^2$ compact submanifold of $\mathbb{R}^n$. Consider the distance function $\delta$ from $\Gamma$. It is well known that, for sufficiently small $\varepsilon>0$, $\delta$ is $C^2$...

**0**

votes

**0**answers

52 views

### Is $\Delta u+f\in (H^1(\Omega))^*$ with $u\in H^1_0(\Omega)$ and $f\in L^2(\Omega)$?

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $\partial \Omega$ being $C^2$. Suppose $u\in H^1_0(\Omega)$, $f\in L^2(\Omega)$ and $\nu>0$. It is said in the Navier-Stokes Equations ...

**3**

votes

**0**answers

75 views

### Donnelly-Fefferman growth of eigenfunctions

Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...

**9**

votes

**0**answers

241 views

### Are harmonic mappings of Riemannian manifolds always non-singular outside a set of measure zero?

Let $(M,g)$ be an $n$-dimensional, connected, compact, oriented, smooth Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to \mathbb{R}^n$ (note that $n=\dim M$).
Let $...

**3**

votes

**1**answer

138 views

### Bounded solutions for Schrödinger equation at the edge of the essential spectrum

Let $V:R^d\to R_+$ be with a compact support. The Schrödinger operator $H_a=-\Delta - a V$ acting in $L^2(R^d)$ has then (at most) finitely many negative eigenvalues. Denote the number of negative ...

**1**

vote

**2**answers

68 views

### Solution to inhomogenous PDE

Given the equation $(1-\Delta)u=f$ for $f \in S(\mathbb{R}^n)$ (rapidly decreasing functions) we get by taking the Fourier transform that
$u = \left(\frac{1}{2\pi}\right)^{\frac{n}{2}}\mathcal{F}^{-...

**1**

vote

**0**answers

42 views

### Hyperbolic PDE from total derivative?

Given a density function $p(t, \boldsymbol{x})$, where $t$ is time and the vector $\boldsymbol{x}$ represents a point in $n$ dimensional space, a hyperbolic PDE describing the time evolution of the ...

**1**

vote

**0**answers

117 views

### The Yamabe problem and $\phi^4$ scalar field theory?

The other day I happened to be browsing this page on wikipedia: https://en.wikipedia.org/wiki/Mass_gap
In the middle of the page is the equation $$\square\phi+\lambda\phi^3=0$$ where $\square$ is the ...

**1**

vote

**1**answer

77 views

### Easy Garding Inequality

Easy Garding Inequality states that if $a=a(x,\xi)$ is a symbol in $S=\{a\in C^{\infty}||\partial_{\alpha}a|<C_{\alpha} \hspace{2mm} \forall \alpha\}$ with $a\geq \gamma >0 $ on $\mathbb{R}^{2n}$...

**2**

votes

**1**answer

262 views

### upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here.
You can skip examples below and read from "General setting" at ...

**0**

votes

**0**answers

50 views

### High dimensional partial differential equation

I encountered the following partial equation. Let $f(z,x_1,\cdots,x_n)$ be a function with $n+1$ entries.Let $a_i,b,c$ be constants.
$$
\sum_{i=1}^n \frac{a_i}{(x_i-z)^2}+\frac{b}{z(z+1)}-\frac{\...

**0**

votes

**0**answers

51 views

### Convexity condition of matrices

In studying the viscoelastic theory of elastodynamics, I encounter a problem on the convexity condition of matrix functions. It has been known that for the energy function $E=E(v,F) = \frac{1}{2} v^2 +...

**0**

votes

**0**answers

82 views

### Continuity of solutions of nonlinear elliptic PDEs

Consider the nonlinear 2nd order elliptic PDE $$\sum_{i, j} a_{ij}(x, t) \partial_i\partial_j u + \sum_k b_k(x, t) \partial_k u + c u = F(u), \quad x \in \mathbb{R}^n, t \in [0, \infty).$$
Here $a_{ij}...

**1**

vote

**0**answers

60 views

### Fluid dynamics of a rotating liquid droplet

I'm looking for an analytical solution of the Navier-Stokes equation with the following boundary conditions: a liquid is held inside a spherical shell, which is rotating at a constant rate, and is ...

**1**

vote

**1**answer

117 views

### The reproducing kernel for harmonics on compact manifolds

Page 39, proposition 1.1.3 here, http://www.cis.upenn.edu/~cis610/sharmonics.pdf clearly explains how for every ``level" (the parameter $k$ in the proposition) one can construct a function ("kernel") ...

**-4**

votes

**1**answer

116 views

### Existence and uniqueness of solutions for a system of first order PDEs [closed]

Which results can be applied and which conditions are needed, to ensure the existence and uniqueness of the solutions of the first order of PDEs:
A$\dfrac{\partial}{\partial t}\pmb{v}(t,x)=B(t,x,\pmb{...

**1**

vote

**0**answers

55 views

### Motivation for some operators in the dyadic model of Navier Stokes equation

What's the motivation for cascade operator $C_{u}, C_{d}$ (and then the dyadic version of operator $B=(u\cdot \nabla)u$), which is
$(C_{u}(u,v))_{Q} = 2^{\frac{5}{2}j}u_{\tilde{Q}}v_{\tilde{Q}}$,
$(...

**0**

votes

**0**answers

62 views

### Inverse trace theorem for partial trace

A general result is that for a lipschitz bounded domain $\Omega$ in $R^n$, for $u^*\in W^{1-\frac{1}{p},p}(\partial\Omega)$, $1<p<\infty$, there exists $u\in W^{1,p}(\Omega)$ such that $u|_{\...

**1**

vote

**0**answers

41 views

### The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...

**1**

vote

**1**answer

71 views

### leray schauder fixed point and schauder fixed point

I have seen these 2 fixed point theorem and I think the condition of Leray Schauder fixed point theorem is very strong and we require to consider the fixed point of $u=\sigma Tu$ $\forall \sigma \in[...

**2**

votes

**1**answer

89 views

### A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...

**2**

votes

**2**answers

149 views

### Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies \...

**1**

vote

**0**answers

75 views

### $C^{1,2}$ regularity of (weak) solutions to the heat equation

Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation
$$u_t - \Delta u = 0$$
$$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$
$$u(0) = u_0$$...

**6**

votes

**1**answer

188 views

### Definitions of Hilbert Bundles

I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...

**8**

votes

**0**answers

173 views

### Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$).
Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...

**3**

votes

**1**answer

228 views

### How to learn concepts of Functional Analysis which are common in PDE

I am a master student and working in PDE area. I am trying to gain deep understanding of some of the concepts in functional analysis which are common tools in PDE research, such as weak*-topology, ...

**0**

votes

**0**answers

65 views

### Find a estimate for quasilinear parabolic equation

I am studying quasilinear parabolic operator:
$Pu=-u_t+u_{xx}+a(x;t;u,u_x)$ where $(x,t)\in \Omega=(0,\pi)\times(0,T)$ and $za(x,t,z,0)\le kz^2+b$
Suppose that $u$ satisfies: $P(u)=0$ in $\Omega.$
...

**2**

votes

**1**answer

191 views

### Strong maximum principle for heat equation. Positivity of solution

I have a non-negative solution $u \in L^2(0,T;H^1) \cap H^1(0,T;(H^1)')$ of the heat equation
$$u_t-\Delta u =0$$
on bounded $C^1$ domain $\Omega$, with the boundary condition
$$\frac{\partial u(t,x)}{...

**0**

votes

**0**answers

58 views

### On the set of times such that $e^{-it\Delta}f\not\in L^6(\mathbb{R}^3)$

Let $e^{-it\Delta}$ the flow of the free Schrodinger equation on $L^2(\mathbb{R^3})$. The (endpoint) Strichartz estimates implies that, given $f\in L^2(\mathbb{R^3})$, $e^{-it\Delta}f\in L^6(\mathbb{R}...

**2**

votes

**1**answer

191 views

### Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...

**3**

votes

**0**answers

50 views

### Interior regularity for elliptic operators with non smooth coefficients

I need a pretty standard interior regularity result for a second order elliptic operator of the form
$$
-\nabla^b \cdot (A(x) \nabla^b v)+c v=f,
\qquad
\nabla^b=\nabla+ib(x)
$$
where $A(x)$ is a ...

**2**

votes

**1**answer

88 views

### About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...

**5**

votes

**1**answer

118 views

### $L^\infty$ estimate on heat equation with a lower order term

Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of
$$u_t - \Delta u = f$$
$$u(0) = u_0$$
$$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$
...

**2**

votes

**1**answer

150 views

### Simplify proof for rapidly decaying functions

I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...

**2**

votes

**0**answers

68 views

### What is known for harmonic map flow in dimension > 2?

I have been reading about harmonic map flow for maps from a Riemann surface. I presume a lot of the results are specific to 2D as the conformal invariance of the energy is crucial to the arguments. ...

**2**

votes

**0**answers

44 views

### Can we say translation/dilation of the $L^p-$multiplier is again a $L^{p}-$multiplier?

Suppose that $m:\mathbb R \to \mathbb C$ such that
$\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}$ (where $C$ is some constant, $f\in L^{p}$). (That is, $m$ is an $L^{p}-$ multiplier) ...

**2**

votes

**0**answers

44 views

### 1D inhomogeneous linear Schrodinger equation

I have the following problem:
$iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...