All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
3
votes
0
answers
153
views
Gaussian heat kernel bounds on Riemannian manifolds [duplicate]
I wish to know if we have Gaussian lower and upper bounds for the heat kernel,i.e. $$
t^{-n/2}e^{-\frac{\rho(x,y)^2}{C_1t}} \lesssim p_t(x,y) \lesssim t^{-n/2}e^{-\frac{\rho(x,y)^2}{C_2t}},
$$
on a ...
- 31
3
votes
2
answers
397
views
The space $L^p(\partial\Omega)$ in cited references
The space $L^p(\partial\Omega)$ where $\Omega$ is an open subset of $\mathbb{R}^n$ appears in a lot of PDE textbooks without being given any definitions, not even in those with a detailed appendix ...
user14319
2
votes
1
answer
268
views
Monotonicity of the Hellinger integral/distance
Let $p$ and $q$ be probability densities on $\mathbb R$, with respect to the Lebesgue measure $dx$. The corresponding Hellinger integral and distance are
$H(p,q):=\int_{\mathbb R}\sqrt{pq}\,dx$ and $\...
- 128k
6
votes
1
answer
357
views
Travelling waves for nonlinear Schrödinger equation
Consider the following nonlinear Schrödinger equation:
$$
-\Delta \Phi - i\frac{\partial \Phi}{\partial t} = f(|\Phi|^2)\Phi,
$$
where $\Delta$ is the Laplacian on $\mathbb{R}^n$, $f$ gives the ...
- 61
4
votes
1
answer
328
views
Is Lax-Milgram true without the separability assumption?
I read the Lax-Milgram Theorem in the Navier-Stokes Equations by Temam:
Let $X$ be a separable Hilbert space (norm $\|\cdot\|_X$) and let
$$
a:X\times X\to\Bbb{R}
$$
be a bilinear continuous ...
user14319
4
votes
2
answers
866
views
Characterisation of the square root of the Laplacian as a Dirichlet to Neumann mapping
I am looking for a (classical and/or oldest) reference giving the characterisation of the operator $(-\Delta)^{\frac 12}$ as the Dirichlet to Neumann map $w_y$ where $w$ is the harmonic extension on ...
- 41
5
votes
3
answers
877
views
Path integral methods
Are there detailed expositions of the path integral methods in (mathematical) physics other than Feynman-Hibbs and Glimm-Jaffe?
- 21.8k
4
votes
1
answer
346
views
Reference for a Heat Process in a Wedge
I would like to ask about an explicit suggestion/reference for the following type of heat processes:
Roughly, assume we have a "wedge" $W$ of the following form - a domain in $\mathbb{R}^n$ with a ...
- 337
7
votes
1
answer
469
views
Embedding of real trees into $\ell_1(\Gamma)$
It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
- 4,878
3
votes
0
answers
117
views
A measurable implicit function with differentiated arguments
I have encountered the need for an unusual implicit function theorem, about which I know very little. I would appreciate it if someone could help me with a few pointers.
The setup is as follows. Let $...
- 183
3
votes
1
answer
280
views
example of an $\ell_1$-saturated Banach space without an unconditional basis
Giorgos Petsoulas, in his paper "A class of $\ell^p$ saturated Banach spaces," has constructed for each $1<p<\infty$ a space $\mathfrak{X}_p$ which is complementably $\ell_p$-saturated but ...
- 1,591
12
votes
3
answers
881
views
Bibliographic request concerning an article by Bernstein and Robinson
Concerning the article "Bernstein, Allen R.; Robinson, Abraham.
Solution of an invariant subspace problem of K. T. Smith and
P. R. Halmos. Pacific J. Math. 16 1966 421-431" I am interested in
finding ...
- 16.6k
2
votes
0
answers
69
views
How sensitive are the n-th step transition probabilities of the simple random walk to a small perturbation of an infinite graph?
Suppose that $G$ is an infinite, locally finite, connected graph.
Fix a vertex $o$ in the graph and for each $n$ and $x$ let $p(n,o,x)$ be the probability that a simple random walk (at each step a ...
- 4,304
12
votes
3
answers
1k
views
Banach spaces $X$ with $\ell_2(X)$ not isomorphic to $L_2([0,1],X)$
Let $X$ be a Banach space. I think that some time ago I read somewhere that, in general, the space $\ell_2(X)$ of all sequences $(x_n)$ in $X$ with $\sum_{n=1}^\infty \|x_n\|^2<\infty$ is not ...
- 4,461
2
votes
1
answer
262
views
A clarification regarding analytic perturbation of metrics and Laplacian
This question is in reference to the following Mathoverflow question and the accepted answer to it. It seems to me that it is taken for granted that if the metric $g_t$ perturbs real analytically in ...
- 123
5
votes
1
answer
386
views
Lower semi-continuity of the Hellinger-Fisher-Rao distance
I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
H^2(\rho,\mu)=\int_{\Omega}\left|\sqrt{\frac{d\rho}{d\lambda}}-\sqrt{\frac{d\mu}{d\...
- 5,380
3
votes
0
answers
406
views
Smooth perturbation of a positive self-adjoint operator with compact resolvent
Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...
- 31
2
votes
0
answers
136
views
Is $C^{\gamma}(\Sigma)$ dense in $C(\Sigma)$?
Consider $\{0,1\}$ with the discrete topology and $\Sigma=\{0,1\}^{\mathbb{N}}$ with the product topology. We know that this
product topology is generated by the metric
$$
d(x,y)=\sum_{n=1}^{\infty}\...
user11178
33
votes
4
answers
2k
views
Hahn-Banach theorem with convex majorant
At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and $f:L\...
- 16.4k
2
votes
0
answers
152
views
Factorization of linear bounded operators in Banach spaces
I am looking for a reference, if any, to the following statement: "Let $X$ and $Y$ be
Banach spaces, $A\in\mathcal{B}(X,X)$ be a linear bounded operator, and $B\in\mathcal{B}(X,Y)$ be surjective. Then,...
1
vote
1
answer
1k
views
Convex cones: strict separation
Consider two closed convex cones $A$ and $B$ in $\mathbb{R}^3$. Assume that they are convex even without zero vector, i.e. $A \setminus \{0\}$ and $B \setminus \{0\}$ are also convex (it helps to ...
- 113
10
votes
3
answers
1k
views
Historical developement of analysis and partial differential equations (especially in the 20th century)
Q: Is there a set of some comprehensive surveys or monographs describing (in
technical detail) the historical development of the various
subareas of analysis and partial differential equations?
I'...
3
votes
1
answer
297
views
"bornophagic" in cited references
Could anybody come up with a cited reference for the following concept?
A subset $B$ of a topological vector space $X$ is called "bornophagic" if, for every bounded $A\subset X$, there exists $\...
user14319
3
votes
1
answer
255
views
Norm on space of metrics
I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space $BC(...
- 51
9
votes
1
answer
2k
views
Is a manifold generically real analytic (with generic real analytic metric)?
I have heard it said in some differential geometry talks that "the generic situation in such and such case is real analytic". My question is, is the generic smooth manifold also real analytic in some ...
- 123
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 ...
- 1,407
0
votes
0
answers
371
views
Harmonic function with Dirichlet boundary condition
Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...
- 1
7
votes
1
answer
269
views
Derive an orthonormal system by Riesz basis $\{g(\cdot-\lambda_k),\ \lambda_k\in\mathbb R, \ k\in\mathbb Z\}$
Let $\{g(\cdot-k),k\in\mathbb Z\}$ be a Riesz basis, and let $\varphi\in L^2(\mathbb R)$ be a function defined by its Fourier transform
$$\hat{\varphi}(\xi)=\frac{\hat{g}(\xi)}{\Gamma(\xi)},$$
where
$$...
- 297
0
votes
2
answers
609
views
"semi-pseudonorm" in references
The following is an excerpt of a note in topological vector spaces.
I have tried to search "semi-pseudonorm" on Google but I have got nothing so far. A search with "pseudonorm" returns what we ...
user14319
8
votes
1
answer
421
views
$C^k$ one-parameter family of metrics
Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
- 1,407
2
votes
2
answers
406
views
"Generalisation" of one-parameter semigroups
Let $(Y,\left\|\cdot\right\|_Y)$ be a Banach space and $A:D(A)\subset Y \to Y$ a closed operator. Studying dynamical systems of the form
\begin{equation}
u'=Au
\end{equation}
quickly leads to the ...
- 1,461
3
votes
1
answer
420
views
Transform Riesz basis $\{e^{i \lambda_n t}\}_{n\in\mathbb Z}$ to an orthogonal basis
It is well-known that $\{e^{i n t}\}_{n\in\mathbb Z}$ is an orthonormal basis for $L^2(-\pi,\pi)$. A theorem by Kadec (Kadec $1/4$ theorem) studies the perturbed exponential system:
If $\{\lambda_n\...
- 297
2
votes
1
answer
313
views
Spherical decreasing rearrangement on the sphere
On $\mathbb{R}^n$, we have the concept of spherically decreasing rearragement of a function, which means, given a function $f$, one can design a radial and decreasing function $f^*$ such that $\Vert f^...
- 21
4
votes
2
answers
505
views
Eigenfunctions of the Laplacian on singular spaces
Consider a compact manifold $M$ with boundary and corner. As an example, we could have the cube $\{(x_1, x_2,..x_n) \in \mathbb{R}^n : x_i \in [0,1]\}$. We could very well define the Laplacian $\Delta$...
- 43
5
votes
2
answers
296
views
Well-complemented copies of $\ell_p^n$
This must be surely known but I couldn't locate this problem in the literature. It popped out in a priori unrelated approximation problem but if true, would help me greatly.
Let $p\in (1,\infty)$.
...
- 11.3k
5
votes
0
answers
364
views
Version of Stone Weierstrass for functions not vanishing at infinity
I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...
- 51
7
votes
4
answers
5k
views
Intuitive functional analysis book
I want to know functional analysis book like Terence tao's real analysis and measure theory book, full of intuition. I am aware of linear algebra, real analysis, measure theory, Probability theory.
2
votes
0
answers
79
views
Point Spectrum of a Second Order System of Differential Equations
Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) \...
- 516
2
votes
0
answers
142
views
Points are removable for weakly differentiable functions
If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...
- 2,834
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
- 679
6
votes
0
answers
493
views
Reference for the Banach Manifold structure of $C^k(M,N)$
I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set $C^...
- 71
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 ...
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
1
vote
0
answers
124
views
One-sided local $L^p$ spaces
Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$.
Does this ...
- 8,086
4
votes
1
answer
267
views
reference request: direct product of WOT-continuous unitary representations
In an article I'm revising, I spend some time giving a self-contained proof of the following result
Let $G$ be a (Hausdorff) topological group and let $(\pi_i)$ be a family of unitary ...
- 25.8k
3
votes
1
answer
191
views
Maximal $\pi/2$-separated subset of the sphere
A subset $A$ of a metric space is called $\varepsilon$-separated if
$$dist(x,y)> \varepsilon \mbox{ for all } x\ne y\in A.$$
(Notice that the inequality in my definition is strict.)
What is the ...
- 21.8k
2
votes
2
answers
357
views
Composition operators on fractional-order (periodic) Sobolev spaces
(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...
- 63
0
votes
0
answers
54
views
Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$
Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin.
Is it true that
$$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...
- 1
4
votes
1
answer
271
views
Injectivity of the Funk transform for nonsmooth functions
Let $S^{n-1}$ be the unit sphere in $\mathbb R^n$ and $\Gamma_n$ the collection of great circles on it.
Assume $n\geq3$.
The Funk transform of a function $f:S^{n-1}\to\mathbb R$ is a map $Ff:\Gamma_n\...
- 8,086