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
26 views

Mixed PDE/finite difference equation

I have the following mixed pde/finite-difference equation for $f(t,x,y)$: $a x^2 f_{xx} + bxf_x + f_t - bxy + c\sinh(d\delta) = 0$ subject to $f(T,x,y)=0$, $x>0,\ t\geq 0,\ y\in\mathbb Z$, ...
3
votes
0answers
79 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
87 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
21 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$ ...
0
votes
0answers
25 views

a solution of nonlinear wave equation

I am looking for a solution for the following wave equation: $u_{xx}+u_{yy}=F(x,y)u_{tt}$ where $F(x,y)=\sqrt{E(x,y)/P(x,y)}$ and $E(x,y)$, $P(x,y)$ are linear functions. Is there any analytic ...
1
vote
0answers
70 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 ...
2
votes
0answers
58 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 ...
2
votes
2answers
106 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
111 views

Wave kernel for the circle $S^1$ - Poisson Summation Formula

Question : How could I compute the (wave) kernel from the fact I have already found (wave) trace on unit circle? The definitions are related to the page $25$ of the following pdf. As the ...
0
votes
0answers
60 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
142 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
127 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
54 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
431 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 ...
0
votes
0answers
48 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 ...
5
votes
0answers
153 views

Dual of $BV_0(\Omega)$

It is previously pointed out in Dual or pre-dual of BV that the dual of $BV_c(\Omega)$ (BV functions with essentially compact support in $\Omega$) are so called strong charges, i.e. distributions for ...
3
votes
0answers
72 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 ...
3
votes
0answers
74 views

Is a harmonic function with injective boundary conditions an immersion outside a negligible set?

This question is a strengthening of this question. Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to ...
3
votes
1answer
132 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
62 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 = ...
1
vote
0answers
38 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
108 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
74 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 ...
1
vote
0answers
72 views

Maximum Principle for Elliptic Equation with Mixed Boundary Conditions

Given the equation $$ -\nabla\cdot(a_{ij}\nabla u)=0$$ with mixed boundary conditions $$ u|_{\partial\Omega_D}=u_D,\quad \frac{\partial u}{\partial \nu}|_{\partial\Omega_N}=0$$ and appropriate ...
2
votes
1answer
224 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 ...
0
votes
0answers
49 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
79 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 ...
1
vote
0answers
58 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
110 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
111 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 ...
1
vote
0answers
53 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
55 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 ...
1
vote
0answers
37 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
53 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 ...
2
votes
1answer
80 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 ...
2
votes
2answers
145 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
67 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) = ...
6
votes
1answer
176 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
165 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
192 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
59 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
168 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 ...
0
votes
0answers
56 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 ...
2
votes
1answer
187 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 ...
2
votes
0answers
38 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
83 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
111 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
147 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 ...
2
votes
0answers
61 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. ...