All Questions
Tagged with fa.functional-analysis reference-request
1,021 questions
5
votes
2
answers
594
views
Taylor $k$-differentiability of a real function at a point
I am interested in the standard name for the following weak form of $k$-differentiability.
Definition. A function $f:\mathbb R\to\mathbb R$ is called Taylor $k$-differentiable at a point $x_0$ if ...
- 32.5k
6
votes
1
answer
252
views
Arens regularity of Banach algebras
I was trying to learn the concept of Arens regularity of Banach algebras from T.W Palmers book -"Banach algebras and the general theory of $*$-algebras". There he have discussed the Arens regularity ...
- 18.7k
5
votes
1
answer
766
views
When are homomorphisms between Banach algebras contractions?
When are homomorphisms between Banach algebras contractions?
I recall from my student days that there are results which show that a positive answer to the above question holds under very general ...
- 25.8k
3
votes
0
answers
149
views
What is a $C^\infty$ diffeomorphism from $\ell_2\setminus\{0\}$ to $\ell_2$ which is the identity outside a ball?
Let $\ell_2:=\{x=(x_n)_{n\in\mathbb N}:\ \|x\|^2:=\sum_n|x_n|^2<\infty\}$ with its natural norm. According to Wikipedia https://en.wikipedia.org/wiki/Kuiper%27s_theorem and to other sources, it is ...
- 2,041
2
votes
0
answers
53
views
References for linear relations on Hilbert spaces
I am trying to find a reference for linear relations (multivalued operators). I would like to have something which gives an introductory overview.
All I have found so far doesn't seem right for ...
4
votes
0
answers
116
views
Log-Sobolev Inequalities for convex bodies
For a measure $\mu$ supported on a convex body $K$, what are the conditions on $\mu$ and $K$ to satisfy a Log-Sobolev inequality of the form:
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\...
- 519
2
votes
1
answer
76
views
Hypercyclic vector for backshift operator
It is well-known that the weighted backshift operator $B_{\lambda}:\ell^p \rightarrow \ell^p$ is hypercyclic (with $\lambda>1$); that is, there exists a dense set of sequences $X\subseteq \ell^p$ ...
- 16.4k
2
votes
0
answers
234
views
Concentration compactness on a compact setting
Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\{\varphi_k\}_k \in C^\infty(M)$ such that $\{\varphi_k\}_k$ satisfy the basic concentration ...
- 657
2
votes
1
answer
405
views
Kadec $1/4$ theorem and some examples with $l=\sup_{n\in\mathbb Z} |n - \lambda_n | \geq \frac{1}{4}$
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\...
- 91.8k
2
votes
0
answers
136
views
Reference of a modified version of Hahn-Banach Theorem
I need a reference on where to find a modified version of Hahn-Banach Theorem that ensures that if $F(g) = \int g d\mu$ defines a positive linear functional on a subspace of $C_{0}(M, \mathbb{R})$, $F$...
- 677
59
votes
7
answers
29k
views
Learning roadmap for harmonic analysis
In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...
- 687
4
votes
1
answer
728
views
Simplicity of the first Laplace-Beltrami eigenvalue on Riemannian manifolds
On a compact Riemannian manifold $M$ (we assume Dirichlet boundary condition if $\partial M \neq \emptyset$), the Laplace-Beltrami operator $-\Delta$ has a discrete spectrum $0 < \lambda_1 \leq \...
- 421
2
votes
2
answers
257
views
Reference request on Min-Max theorem
Consider the following min-max problem
$$\inf_{x\in M} \sup_{y\in N} F(x,y),$$
where $F: M\times N\to\mathbb R$ is Lipschitz and $y\mapsto F(x,y)$ is concave for all $x\in M$. Could we derive $\...
- 42.8k
2
votes
0
answers
62
views
Existence and uniqueness for semilinear problem
Consider the following problem:
$$-\Delta u + [(u)^+]^\alpha = 0,$$
where $(\cdot)^+$ is the positive part function and $\alpha >0$. How does the theory of monotone operators provide existence ...
CommunityBot
- 1
4
votes
0
answers
93
views
Conditions on the Hamiltonian of a classical system that yeild essentially self-adjoint quantum Hamiltonian
What are the conditions on the Hamiltonian of a classical system that under these conditions the quantum Hamiltonian obtained via Weyl quantization will be essentially self-adjoint in $L_2(\mathbb{R}^...
- 381
1
vote
0
answers
52
views
Asymptotically periodic potentials
Who came up with the idea of solving elliptic equations with periodic potentials and from there solving elliptic equations with asymptotically periodic potentials?
- 993
2
votes
0
answers
154
views
Browder's Fixed Point Theorem in uniformly convex Banach spaces with non-identical image
This is in fact an exercise from Dirk Werner's book "Funktionalanalysis", but I do think that the result is quite interesting and up to now, I can only partly solve this problem. From the point of my ...
- 223
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 59
2
votes
1
answer
124
views
Twisted canonical commutation relations
I am dealing with universal C*-algebra generated by $x,y$ with the following relations: $xy = qyx$, $x^{*}y = qyx^{*}$, $y^{*}x = qxy^{*}$, $x^{*}x = q^2xx^{*} - (1-q^2)yy^{*}$, $y^{*}y = q^2yy^{*} - (...
- 1,307
1
vote
1
answer
83
views
Reference request for (weak*) metrizability of a bounded space of signed Radon measures on a compact set
I know the following is true and I know how to prove it (cf. exercise 50 on page 171 in Folland, Theorem 7.18 in Folland), but per my adviser's instructions, it would be better to find a source to ...
- 29.8k
3
votes
2
answers
322
views
Hausdorff dimension of the graph of the sum of two continuous functions
How can one prove the following result on the Hausdorff dimension of the graph of the sum of two continuous functions:
Let $f,g:[0,1] \to \mathbb R$ be two continuous functions. Suppose that $$\...
CommunityBot
- 1
31
votes
3
answers
5k
views
When is an integral transform trace class?
Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator
$$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$
the operator $K$ is Hilbert ...
- 1,583
10
votes
1
answer
203
views
Verbal description, or terminology, for the ${\mathcal L}_p$-spaces of Lindenstrauss and Pelczynski
This question is intended for Banach-space specialists and so I will not repeat all the definitions here. My aim is to find out how the Banach space community refers to such spaces in discussions, and ...
- 25.8k
3
votes
1
answer
695
views
Continuous embedding between parabolic Sobolev spaces
I was wondering whether the following continuous embedding theorem for parabolic Sobolev space is correct?
Let $I=[0,T]$ and $\Omega$ be a sufficiently smooth domain in $\mathbb{R}^n$, we consider ...
- 2,670
5
votes
1
answer
743
views
Eigenvalues and Domain of the Laplace-Beltrami Operator
Assume $(M,g)$ is a compact Riemannian manifold without boundary, where $g$ is the Riemannian metric. Let $L:=-\Delta$ be the Laplace-Beltrami operator on $M$ defined by $\Delta \cdot = \text{div}(\...
- 3,486
2
votes
1
answer
307
views
Box counting dimension of a set and Lipschitz functions
If $f$ is Lipschitz, then the following holds for the Hausdorff dimension:
$$\dim_H f(A) \le \dim_H A.$$
Is the same true for the box counting dimension?
- 14.2k
7
votes
1
answer
1k
views
Reference request: norm topology vs. probabilist's weak topology on measures
Let $(X,d)$ be a metric space and $\mathcal{M}(X)$ be the space of regular (e.g. Radon) measures on $X$. There are two standard topologies on $\mathcal{M}(X)$: The (probabilist's) weak topology and ...
- 3,486
0
votes
1
answer
175
views
Spectral asymptotics of normal Hilbert-Schmidt operators
Does anybody know a reference for the following theorem?
Let $G \subset \mathbb{R}^m$ be open and of finite measure and $T \in L^2(G) \rightarrow L^2(G)$ be linear and bounded such that
$$
R(T) \...
- 25.8k
11
votes
1
answer
336
views
Notions in the literature capturing the "symmetric" or "homogeneous" flavour of $L_p$?
This post/question is admittedly vague, but I hope that with some feedback in comments it could be made more precise.
For $E$ a Banach space, $K(E)$ and $B(E)$ will denote the Banach algebras of ...
- 11.3k
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 ...
- 325
5
votes
1
answer
158
views
What is a name for co-Sobczyk Banach spaces?
Definition. Let us define a Banach space $X$ to be co-Sobczyk if every linear bounded operator $T:Z\to c_0$ defined on a separable subspace $Z$ of $X$ extends to a bounded operator $\bar T:X\to c_0$.
...
- 11.3k
1
vote
0
answers
62
views
Wellposedness of semilinear wave equation with discontinuous source
Where can I find existence and uniqueness results for semilinear wave equations with discontinuous, i.e.
$$\partial^2_{tt} u - \Delta u = f(u), \quad t >0, \ x \in \Omega$$ where $f$ is ...
- 277
2
votes
0
answers
95
views
Exp-decay estimate of Schrodinger equation
Consider the equation $Hu=0$ with $u\in L^2(\Omega)$, where $H=-\Delta+V$ for some bounded continuous function $V$ and $\Omega$ is an un-bounded domain(e.g. $\mathbb R^n$). If $0$ is in discrete ...
- 1,915
4
votes
0
answers
102
views
$W^{k,p}$ and Holder regularity for linear elliptic systems with Neumann boundary data
I'm looking for a text or paper that discusses regularity in the Sobolev and Holder sense for general linear elliptic systems of PDEs on bounded domains with Neumann boundary data.
The book by ...
2
votes
3
answers
230
views
Every linear topological space embeds into the Tychonoff product of linear metric spaces
I need a reference to the following (known?)
Fact. Every topological vector space $X$ over the field of real numbers is topologically isomorphic to a linear subspace of the Tychonoff product of ...
- 4,713
4
votes
0
answers
115
views
Box counting dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the box counting dimension of the graph of $u$ equal to $N$? How can we prove it?
The analogous question for the ...
CommunityBot
- 1
1
vote
0
answers
75
views
Derivation of the vortex filament equation from Euler equation
How can the vortex filament equation
$$\partial_t \chi = \partial_s \chi \wedge \partial_{ss} \chi,$$
where $\chi(t,s)$ is a curve in $\mathbb R^3$,
be derived from the Euler equation
$$\partial_t \...
- 277
3
votes
1
answer
162
views
Reference Request: $L^p(x)$/(Musielak–Orlicz space) analogue of classical $L^p$ result
Fix a non-empty open domain $\Omega\subseteq \mathbb{R}^d$ with compact closure, and a finite Borel measure $\mu$ on its closure $\overline{\Omega}$.
In Halmos' book it is shown that:
Classical ...
- 5,405
3
votes
0
answers
376
views
Existence and uniqueness for reaction-diffusion equations
I am interested in the following PDE on a $d$-dimensional torus $\mathbb{T}^d$
\begin{align*}
&\partial_tu(t,x) = \Delta u(t,x) +f(u(t,x),t,x),\\
& u(0)=u_0\in L_2
\end{align*}
where the ...
- 931
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 41.9k
1
vote
1
answer
219
views
Harmonic functions vanishing on the boundary and distance function asymptotics
Let $\Omega \subset \mathbb R^N$ be a $C^2$ domain. Let $u$ be a function such that $u \in W^{2,2}(\Omega)$ and $u = \Delta u = 0$ on $\partial \Omega$. Is it true that $$ c \le \frac{u}{[\mathrm{dist}...
- 34.7k
2
votes
0
answers
122
views
A new topology on the dual of a locally convex space?
Working with the separable quotient problem for locally convex spaces we (with Saak Gabriyelyan) arrived to an interesting topology on the dual of a locally convex space and we would like to know if ...
- 41.9k
2
votes
0
answers
214
views
Why is the study of homology important? [closed]
In some fields of studies, for example, Amenability of Banach algebras and $L^2$-Betti numbers, some chain complexes are studied, why is the study of these creatures important? When and why do these ...
- 2,118
4
votes
1
answer
136
views
Defining a topology by sequences
Suppose we have a Banach space $X$ and have chosen a set $\Sigma$ consisting of some sequences whose members are in $X$. We can then say that $(x_n)_{n=1}^\infty\in X^\mathbb{N}$ is $\Sigma$-...
- 352
2
votes
1
answer
391
views
Entropy solution for linear transport equation
Consider the transport equations
$$ (1) \qquad \partial_t u + \operatorname{div}(bu) = 0$$
and
$$ (2) \qquad \partial_t u + b \cdot \nabla u= 0$$
Can we define a notion of entropy solutions for (1) ...
- 555
5
votes
1
answer
220
views
Alberti rank one theorem and a blow-up argument
In this paper, it is written that Alberti’s rank
says that the singular part $D^s u$ with respect to $\mathcal L^d$ of the distributional derivative $Du$ of a function $u \in BV_{loc}(\mathbb R^d; \...
- 980
8
votes
2
answers
640
views
Does a random sequence of vectors span a Hilbert space?
Let $\mathcal{H}$ be a separable Hilbert space. Let $v$ be a random variable taking values in $\mathcal{H}$ such that $P(v \perp h) < 1$ for all $h \in \mathcal{H}.$ Suppose we sample an infinite ...
- 17.2k
5
votes
0
answers
198
views
Heuristic and graphic representation of BV functions and their singularities
This question is about some heuristics and graphs of BV functions.
In 1-dimensional setting, two key examples of $BV$ functions $u: \mathbb R \to \mathbb R$ are
the Heaviside function, whose ...
- 839
1
vote
0
answers
100
views
Weak estimate for difference quotient of BV function
In an answer to the question Weak Lebesgue spaces and an estimate for BV functions it was remarked that if $u\in BV(\mathbb R^N)$ then there exists a Lebesgue negligible set $F \subset \mathbb R^N$ ...
- 839
3
votes
1
answer
173
views
Weak Lebesgue spaces and an estimate for BV functions
Let $u \in BV(\Omega \subset \mathbb R^N, \mathbb{R}^N)$. Is it true that there exists a function $f$ in the weak $L^1$ space such that
$$|u(y)-u(x)| \le |x-y|\big|f(y) - f(x)\big|$$
holds for a.e. $...
- 1,277