Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
3 answers
2k views

Real analyticity of solution of heat equation

Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...
SMS's user avatar
  • 1,407
9 votes
1 answer
1k views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
Gio712's user avatar
  • 253
9 votes
2 answers
775 views

Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity

In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
leo monsaingeon's user avatar
9 votes
2 answers
778 views

Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into $...
anonymous's user avatar
9 votes
2 answers
553 views

Asymptotic behavior of Sturm-Liouville eigenvalues

I have two questions. Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$. Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$....
M.S.'s user avatar
  • 369
8 votes
3 answers
1k views

Are all positive eigenfunctions principal eigenfunctions?

In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$? Also, more generally, does this also apply for $...
Holden Lyu's user avatar
8 votes
3 answers
884 views

abstract evolution equations

Hi Whenever I read a book on evolution equations, they set up, say the parabolic PDE $$\dot{y} = Ay + f$$ in abstract function spaces (eg. $L^2(0,T;V)$ and $L^2(0,T;V^*)$). In examples, they always ...
user28178's user avatar
  • 107
8 votes
2 answers
634 views

Existence of a uniformly continuous function $g$ on $\mathbb{R}$ where $f = g$ a.e.?

Suppose $f \in L^\infty(\mathbb{R})$, $f_h(x) = f(x + h)$, and$$\lim_{h \to 0} \|f_h - f\|_\infty = 0.$$Does there exist a uniformly continuous function $g$ on $\mathbb{R}$ such that $f = g$ almost ...
user100749's user avatar
8 votes
4 answers
811 views

Schwartz space of functions with values in a Frechet space

While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
Coffee's user avatar
  • 601
8 votes
1 answer
712 views

Pseudo-differential operators with compactly supported symbols

If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support. Is the reverse true? Namely that if some PDO $...
Dmitri Scheglov's user avatar
8 votes
2 answers
2k 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 ...
user23078's user avatar
  • 1,644
8 votes
2 answers
1k views

Survey papers on the role played by PDE in mathematics

There are already several questions on MathOverflow that inquire about the many diverse relationships between PDE and several other 'areas' of mathematics (e.g., algebraic and differential geometry ...
8 votes
1 answer
5k views

integration by parts for the fractional Laplacian

Is there an integration by parts formula for fractional laplacians in $L^p(\mathbb{R}^N)$, something like $$ s\in(0,1),\qquad\int\limits_{\mathbb{R}^N}f[(-\Delta)^sg] =\int\limits_{\mathbb{R}^...
leo monsaingeon's user avatar
8 votes
1 answer
496 views

Is $C^{\infty}(M)$ dense in weighted Sobolev space $W_{X}^{1}(M)$?

Let $M$ be a compact manifold without boudary and let $X_{1},\ldots,X_{m}$ be smooth vector fields on $M$. Consider the following weighted Sobolev space: $$ W_{X}^{1}(M)=\{f\in L^{2}(M)|X_{j}f\in L^2(...
pxchg1200's user avatar
  • 287
8 votes
1 answer
380 views

Lavrentiev phenomenon between $C^1$ and Lipschitz

Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere) $$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt
 $$ such that $$ \inf_{y\in Lip([a,b])}F(y)<\inf_{...
Carlo Mantegazza's user avatar
8 votes
1 answer
656 views

When is the adjoint of a hypoelliptic operator also hypoelliptic?

Suppose that $M$ is a smooth manifold with a measure $\mu$ and let $L^2(M, \mu)$ be a space of all square-integrable functions on $M$. Recall that $L$ is a hypoelliptic differential operator if for ...
vkrouglov's user avatar
  • 329
8 votes
1 answer
496 views

A fractional weighted Poincaré inequality

Does there exists a constant $C>0$ such that $$ \int_{-1}^1 \lvert x\rvert\lvert\partial_x u\rvert^2 \,dx \geq C\, \lVert u\rVert^2_{H^{1/2}((-1,1))},$$ for all $u\in C^{\infty}_0((-1,1))$?
Ali's user avatar
  • 4,135
8 votes
1 answer
311 views

Laplacian spectrum asymptotics in neck stretching

Let $M$ be a compact Riemannian manifold. Let $S \subset M$ be a smooth hypersurface separating $M$ into two components. Let $g_T$ be a family of Riemannian metric obtained by stretching along $S$, i....
Guangbo Xu's user avatar
  • 1,207
8 votes
2 answers
2k 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 $$P_{2m}...
8 votes
1 answer
2k 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 ...
Thangachelli Debopritama's user avatar
8 votes
1 answer
501 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
Yasha Berchenko-Kogan's user avatar
8 votes
0 answers
115 views

optimal regularity for the Neumann heat equation on Lipschitz domains

$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
leo monsaingeon's user avatar
8 votes
0 answers
177 views

Understanding spaces of negative regularity

I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here. Let $C^k(\mathbb{R}^n$) be the ...
CBBAM's user avatar
  • 721
8 votes
0 answers
251 views

Smoothness of solution map for PDE

I am wondering what sort of results are available for the following sort of problem, or where to look in the literature for work dealing with such problems, especially in the degenerate elliptic ...
Quarto Bendir's user avatar
8 votes
0 answers
260 views

Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$

I have found the following claim made very clearly at least once in the published literature (see below): Let $P$ be a linear partial differential operator defined on an open set $\Omega \subset \...
Umberto Lupo's user avatar
8 votes
0 answers
278 views

Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
student's user avatar
  • 81
8 votes
0 answers
349 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
Steven Heilman's user avatar
7 votes
2 answers
682 views

Hölder continuity for operators

Let $x,y$ be positive real numbers then $$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$ we obtain $1/...
user avatar
7 votes
2 answers
3k views

Arzelà-Ascoli theorem and Hölder spaces

Let $B\subset \mathbb{R}^n$ be a open ball. Let $\{f_i\}$ be a sequence of functions bounded in the Hölder norm $C^{k,\alpha}(B)$ for a given integer $k\geq 0$ and $\alpha\in (0,1)$. Does there exist ...
asv's user avatar
  • 21.8k
7 votes
2 answers
2k views

Method of characteristics for higher order PDEs in more than two variables

I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
Puzzled's user avatar
  • 8,998
7 votes
3 answers
1k views

Reference on semigroup theory and parabolic PDEs

Recently started to study semigroup theory. My background is equivalent to the first three chapters of the Jack Hale's book "Asymptotic behavior of dissipative systems". Looking for a reference to an ...
user avatar
7 votes
2 answers
920 views

Exotic spectrum of Laplace operator

Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator, it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
Alex's user avatar
  • 101
7 votes
2 answers
632 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 ...
Tobias Diez's user avatar
  • 5,824
7 votes
2 answers
508 views

Making the Fourier transform quantitative

I am undergraduate Physics student and understand that this is a professional mathematics forum. But due to perhaps broader interest, I hope this question is suitable for this website. I understand ...
André's user avatar
  • 225
7 votes
2 answers
573 views

Existence of spectral gap

I would like to start by saying that any comment or idea is highly appreciated. Let us observe that for Hilbert-Schmidt operators $H_1,H_2$ on an infinite-dimensional separable complex Hilbert space $...
Dixmier's user avatar
  • 95
7 votes
6 answers
2k 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 $...
user23078's user avatar
  • 1,644
7 votes
2 answers
508 views

Why is $\frac{1}{|x|^{n-2}}u(\frac{x}{|x|^2})$ harmonic if $u$ is harmonic?

I found myself trying to prove the following, but I had to compute everything explicitly. It is well known that if $u:\mathbb{R}^n\to\mathbb{R}$ is an harmonic function on $\mathbb{R}^n$, then the so-...
Gauge_name's user avatar
7 votes
1 answer
938 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an $\mathbb{R}$-...
alexlo's user avatar
  • 131
7 votes
2 answers
2k views

Uniform bound on the eigenfunctions of the Laplacian

Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...
John Zheng's user avatar
7 votes
1 answer
1k views

Eigenvalues and eigenfunctions of the Laplace operator on entire plane

According to the answers in the the following questions: How to prove the spectrum of the Laplace operator? and What is spectrum for Laplacian in $\mathbb{R}^n$ , the spectrum of the Laplace operator $...
UserA's user avatar
  • 597
7 votes
1 answer
339 views

Does the pointwise mean value property imply harmonicity?

Assume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property: for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that $$ u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(...
Guy Fsone's user avatar
  • 1,101
7 votes
1 answer
2k views

A good reference for the wave front set

Hello, I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...
Anand's user avatar
  • 1,649
7 votes
1 answer
337 views

Flows in Hilbert spaces

Let $\varphi: [0,T] \rightarrow H$ be a Hilbert space valued $C^1$-function. Let $H = X \oplus X^{\perp}$ such that $\varphi(0) \in X$ and the implication $\varphi(t) \in X \Rightarrow \varphi'(t) \in ...
Umberto's user avatar
  • 83
7 votes
1 answer
439 views

About the convergence rate for an approximation to the heat kernel

Let $G(t,x)$ be the heat kernel $$ G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}. $$ Here is one approximation to $G(t,x)$: $$ G_\epsilon(t,x)=e^{-t/\epsilon} \...
Anand's user avatar
  • 1,649
7 votes
3 answers
2k views

Collections of examples and counterexamples in (real, complex, functional) analysis, ODEs and PDEs

What books collect examples and counterexamples (or also "solved exercises", for some suitable definition of "exercise") in real analysis, complex analysis, functional analysis, ODEs, PDEs? The ...
user avatar
7 votes
2 answers
641 views

Decay of solutions to Schrodinger equation with local minimum in potential

Consider the one-dimensional Schrodinger operator on the real line $\mathbb{R}$ given by $$ L = - \partial_x^2 + V $$ where $V$ is a potential with the following properties: $V$ is non-negative, and ...
Willie Wong's user avatar
7 votes
1 answer
185 views

Question on ODE involving mollifiers from Taylor's book on PDEs

In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form $$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$ with some initial condition $u(...
B.Hueber's user avatar
  • 1,171
7 votes
2 answers
2k views

Heat kernel estimates and Gaussian estimates for semigroups, good reference?

Hi, it seems like a big field and I'm having trouble getting some solid/classic references to get me started. If $U \subset \mathbb{R}^d$ is a bounded domain with, say, $C^2$-boundary $\partial U$ ...
partition_of_unity's user avatar
7 votes
1 answer
311 views

Almost orthonormal projection and orthonormal projection in Hilbert space

Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e. $$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$ and $\alpha$ is ...
D. Driggs's user avatar
7 votes
1 answer
609 views

$H^s$ norm of a solution of a nonlinear Schrödinger equation

I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao. They study the ...
Guo's user avatar
  • 71

1
2
3 4 5
27