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

0
votes
0answers
64 views

existence of an initial-boundary value problem with nonhomogeneous boundary conditions

Let $n\geq 2$ be an integer and $\Omega\in R^n$ be a bounded domain with boundary $\partial\Omega$ . Consider the following IBVP: $u_t=\Delta u$, for $x\in \Omega$, $t>0$; $u(x, 0)=f(x), x\in\...
7
votes
1answer
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
0answers
76 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
0answers
48 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
1answer
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
1answer
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
0answers
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
0answers
87 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
0answers
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
2answers
117 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
0answers
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
0answers
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
0answers
158 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
0answers
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
2answers
473 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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
266 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
0answers
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
0answers
52 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
0answers
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
0answers
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
1answer
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
1answer
117 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
0answers
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
0answers
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
0answers
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
1answer
72 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
1answer
90 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
2answers
150 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
0answers
76 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
1answer
189 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
0answers
174 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
1answer
232 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
0answers
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
1answer
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
0answers
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
1answer
192 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
0answers
51 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
1answer
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
1answer
120 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
1answer
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
0answers
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
0answers
45 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) ...