Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,435 questions with no upvoted or accepted answers
1
vote
0
answers
124
views
On Riesz decomposition of Volterra operator
Let $T:L^2((0,1)) \to L^2((0,1))$ be the Volterra operator defined by
$$ Tf(x) = \int_0^x f(t)\,dt.$$
Given any $\lambda\neq 0$ it is well known that there exists some positive integer $n=n(\lambda)$ ...
- 4,115
1
vote
0
answers
76
views
Spectral measure for a finite set of mutually commuting normal operators
The following question is from Exercise $\S 11.11$ in A Course in Operator Theory written by John B. Conway:
Suppose $\{N_1, \cdots, N_p\}$ is a finite set of mutually commuting normal operators in $...
- 307
1
vote
0
answers
101
views
N-wave solution of conservation law $u_t + (u - u^2)_x = 0$
How can we compute the "N-wave" source-solution of the conservation law
$$u_t + (u - u^2)_x = 0, $$
that is, the entropy solution of this conservation law with the initial data $u(0,\cdot) = ...
- 839
1
vote
0
answers
169
views
Almost everywhere convergent Fourier series
Apparently there is a deep theorem stating:
Let $f:\mathbb{R}\to \mathbb{C}$ be a function satisfying $f(x)=f(x+2\pi)$ and $\int_0^{2\pi}|f(x)|^2dx<\infty$. Then the Fourier series of $f$ converges ...
- 75
1
vote
0
answers
81
views
Tracial linear functionals on an amenable Banach algebra
This post is related to an earlier question about Kazhdan property (T). The purpose of the snippet below is to briefly summarize the background for the question in this post.
Question: Does there ...
- 2,605
1
vote
0
answers
74
views
Multiple steps of the Gorelik principle
The following result is one of several non-linear Banach space theory results known as The Gorelik Principle. I am stating it here in a weaker form than what is in the literature, but the statement ...
- 81
1
vote
0
answers
177
views
Building random homeomorphisms of the torus $\mathbb T^2$
In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
- 101
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
1
vote
0
answers
100
views
Density of Lipschitz functions in Bochner space with bounded support
Let $X$ and $Y$ be separable and reflexive Banach spaces with Schauder bases. Let $\mu$ be a non-zero finite Borel measure on $X$ and let $L^p(X,Y;\mu)$ denote the (Boehner) space of strongly p-...
- 21
1
vote
0
answers
47
views
Holomorphic "quasi-interpolation" of a function sequence
I am interested in some sort of analytic interpolation. A toy version of my problem is as follows. Let $V \subset \mathbb{C}$ be a complex neighborhood of $[0,1]$. Assume there is some bounded ...
- 981
1
vote
0
answers
75
views
$L^1$-valued Lipschitz extension problem on a simplex
Consider a regular $n$-simplex, and a map from the vertices to $L^1$.
How can we find the minimum Lipschitz constant of an extension of this map to the entire simplex?
Is there any literature or ...
- 2,772
1
vote
0
answers
37
views
If $(\kappa_t)_{t\ge0}$ is a Markov semigroup with invariant measure $μ$, under which assumption is $t\mapsto\kappa_tf$ measurable for $f\in L^p(μ)$?
Let
$(E,\mathcal E)$ be a measurable space;
$(\kappa_t)_{t\ge0}$ be a Markov semigroup on $(E,\mathcal E)$;
$\mu$ be a finite measure on $(E,\mathcal E)$ which is subinvariant with respect to $(\...
- 167
1
vote
0
answers
47
views
Scaling limit of transport equation with double-well potential
Let us consider the transport PDE
$$
u^\epsilon_t + u^\epsilon_x= -\frac{1}{\epsilon} W'(u^\epsilon)
$$
where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the PDE ...
- 839
1
vote
0
answers
70
views
Consequences of having unbounded points in a bornology
For a set $X$ a bornology $\mathcal{B}$ is essentially an ideal in the power set $\mathcal{P}(X)$. Many sources including Wikipedia state additional property that $X = \bigcup \mathcal{B}$. Call it a ...
- 519
1
vote
0
answers
180
views
A potential wrong proof of a Lemma
Consider the following lemma: Let $g \in H^s_{x,y}(S)$ where $S = \mathbb{R}^2$ or $S = \mathbb{T}^2$, and $\eta \in C^\infty(\mathbb{R})$, $\operatorname{Supp}(\eta) \subset [-2,2]$, and $\eta \equiv ...
- 159
1
vote
0
answers
49
views
Banach algebras satisfying $pq=qp=q \Rightarrow \|q\|\leq\|p\|$ for all idempotents $p$ and $q$
This question could be way below the level of MO, so apologies in advance. I posted the same question in MS about 10 days ago without a definitive answer so far.
Let $A$ be a Banach algebra with the ...
- 2,605
1
vote
0
answers
59
views
Identification of a limit point of a sequence of solution of ODE
Let $v^0$ and $v^1$ be the following vector fields over $\big(\mathbb{R}_+^*\big)^3$: for $x\in\big(\mathbb{R}_+^*\big)^3$ and $1\leq i\leq 3$,
\begin{align*}
& v^0_i(x)=x_i(x_{i-1}-x_{i+1}) \\
&...
- 449
1
vote
0
answers
89
views
Variational problem with constraint
Let $D\subseteq [0,2\pi]\times [0,2\pi]$ and ${D}^\complement$ be the complementary region, i.e.
$D \cup {D}^\complement = [0,2\pi]\times [0,2\pi]$ and
$D\cap {D}^\complement = \emptyset$.
I would ...
1
vote
0
answers
231
views
Request for a paper by Wightman and Gårding
I am looking for a pdf version of the following paper
A. Wightman and L. Gårding, Fields as operator-valued distributions in
relativistic quantum theory, Arkiv för Fysik 28 (1964), 129–189.
Does ...
- 253
1
vote
0
answers
142
views
Splitting of a topological vector space (TVS) into an (a) countable sum and (b) direct integral of subspaces
I thought that this would be a simpe question, and placed it here at the Mathematics Stackexchange. Now have to elevate it to Mathoverflow.
LANGUAGE
TVS = topological vector space. Any subspace of a ...
- 603
1
vote
0
answers
149
views
BMO estimates of singular integral operators on torus
I have the following elliptic problem:
$$ \Delta u = \operatorname{div}\operatorname{div}S, $$
where $S=(S_{i,j})\colon \mathbb{T}^n\to \mathbb{R}^{n\times n} $ is bounded and $\mathbb{T}^n$ is the $n$...
- 123
1
vote
0
answers
87
views
Continuous choice of null directions for a family of bilinear forms
Let $E$ and $F$ be (real) Hilbert spaces, where $\dim E = \infty$ and $1 \leq \dim F < \infty$. Let $T : E \to \operatorname{Sym}(F \times F,\mathbb{R})$ be a continuous linear map, where $\...
- 2,095
1
vote
0
answers
54
views
Closed linear span of compact open subsets of a spectral space
Let $X$ be a spectral space and $KO(X)$ be the set of all compact open subsets of $X$. Identify $KO(X)$ with $\{1_D:D\in KO(X)\}$, where $1_D(u) = 1$ if $u\in D$ and $1_D(u) = 0$ if $u\notin D$.
...
- 2,605
1
vote
0
answers
48
views
Notation for dominating (or uniformly bounded) function
While I developing a new statistical estimator, I wondered is there any good notation for dominating (or uniformly bounded) function.
A situation like this. For some true function $f:\mathbb{R} \to \...
- 284
1
vote
0
answers
150
views
Analyticity of solutions to Schrödinger's equation
Take Schrödinger's equation on $\mathbb{R}$, $i\partial_t\psi(x,t)=H\psi(x,t)$. Assume that $\psi(x,0)$ has compact support. Using known integral formulas for the propagators, it is fairly ...
- 439
1
vote
0
answers
61
views
When is the metric on a Fréchet space homogeneous
Let $(F,d)$ be a Fréchet space over $\mathbb{F}\in \{\mathbb{C},\mathbb{R}\}$. Are there conditions under which, there exists some $C,d>0$ such that: for every $f\in F$ and every $k\in \mathbb{F}$ ...
- 5,405
1
vote
0
answers
33
views
Limiting absorption principle for higher powers of resolvents
Let $H$, $A$ be self-adjoint operators on a Hilbert space. Moreover, let $I$ be a bounded open interval contained in the spectrum of $H$. Assume that $H$,$A$ satisfy the following positive commutator ...
- 141
1
vote
0
answers
64
views
Characterization of elements of Hardy Space
Let $\Omega\subset\mathbb{C}^n$ be a $C^{\infty}$ bounded domain. Let $H^2(\partial\Omega)$ denote the Hardy space, and $S(.,.)$ denote its Szego Kernel. We know that
$$
\forall f\in H^2(\partial\...
- 63
1
vote
0
answers
353
views
$H^{1/2}(0,1)$ and continuous functions
It is known that $H^s(0,1)$ embeds into Hoelder continuous functions for $s>1/2$. I am not interested in Hoelder continuity, but merely in continuity: do I get the continuous embedding $H^{1/2}(0,1)...
- 235
1
vote
0
answers
361
views
Operators for norm for some classes of integral operators
Let $T:L^2(\mathbb{R}^n,\mathbb{R}^n)\rightarrow L^2(\mathbb{R}^n,\mathbb{R}^n)$ be a linear operator of the form: for all $x\in \mathbb{R}^n$
$$
T_{\kappa}(f)(x):=\int_{u\in\mathbb{R}^n} \, f(u)\...
- 5,405
1
vote
0
answers
106
views
A locally convex $C^*$ algebraic structure on the disk algebra
A locally convex $C^*$ algebra is a locally convex topological vector space $A$ whose topology is generated by a familly of complete $C^*$ semi norm and $A$ is a $*$ algebra. Moreover all algebra ...
- 366
1
vote
0
answers
48
views
Question about higher order mean field equation $\left(-\Delta_{g}\right)^{m} u+\lambda=\lambda \frac{e^{2 m u}}{\int_{M} e^{2 m u} d \mu_{g}}$
I'm reading Dr.Luca Martinazzi's paper
Existence of solutions to a higher dimensional
mean-field equation on manifolds
which proves that for $m \geq 1$, there is an existence result for the equation
$$...
- 809
1
vote
0
answers
99
views
Module homomorphisms modulo compact operators
Let $A$ be a Banach algebra. Let $L_a,R_a:A\to A$ denote the left/right multiplication operators $$L_ax = ax, \hspace{5mm} R_ax = xa$$ for all $a,x\in A$. Assume that no nonzero $L_a$ and $R_a$ is a ...
- 2,605
1
vote
0
answers
420
views
Conditions for equivalence of RKHS norm and $L^2(P)$ norm
Let $K$ be a psd kernel on an abstract space $X$ and let $H_K$ be the induced Reproducing Kernel Hilbert Space (RKHS). Let $P$ be a probability measure on $X$ such that $H_K \subseteq L^2(P_X)$ and ...
- 6,853
1
vote
0
answers
73
views
Straightening a function supported on a strip
Given a positive smooth function $b:\mathbb{R}^{N+M}\to \mathbb{R}$ which vanishes exactly outisde of some $U\times\mathbb{R}^M$ ($U\subset \mathbb{R}^N$ open), is there another positive smooth ...
- 151
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
1
vote
0
answers
61
views
Primes as the extrema of a functional
I'd like to write down a functional on sequences for which the prime numbers are an extrema.
One generally thinks of the natural numbers first as an ordered set, and then you discover unique ...
- 571
1
vote
0
answers
449
views
Bound on covering number of Lipschitz functions – missing part in proofs of Kolmogorov et al
Given a metric space $(\mathcal{X},\rho)$ and $\mathcal{A}\subset\mathcal{X}$ totally bounded, i.e. $\mathcal{A}$ has a finite $\varepsilon$-covering for any $\varepsilon>0$. Consider $\...
- 11
1
vote
0
answers
98
views
Weak convergence of measures and compact sets
Let H be a separable Hilbert space. Let L be a Hilbert-Schmidt operator from H to H, such that its image is dense in H. This allow one to take the basis of eigenfunctions of $L$: $\{\phi_i\}_{i=1}^\...
- 63
1
vote
0
answers
135
views
Description of state space of $C(K,M_n)$?
Edit: closed convex hull added.
I am trying to understand the state space of $C(K,M_n)=C(K)\otimes M_n$ for $K$ a compact space.
My guess would be that these are the closed convex hull of states on $C(...
- 598
1
vote
0
answers
85
views
Interpolation between projective and injective spaces
Suppose $(\Omega,\mu)$ be a $\sigma$-finite measure space. Suppose $X$ is a Banach space and $L_p(\Omega;X)$ be the corresponding Bochner space for $0<p\leq\infty.$ Is it true that the complex ...
- 1,879
1
vote
0
answers
178
views
A locally convex $C^*$ algebra without zero divisor
Let we have a locally convex $C^*$ algebra $A$. That is $A$ is a TVS equipped with an algebra and an involution structure such that all operations are continuous. Moreover the topology on $A$ ...
- 366
1
vote
0
answers
88
views
2-positivity to 3-positivity
Let $B\in M_3(\mathbb{C})$ and $S_3=
\begin{pmatrix}
0 & 1 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0 \\
\end{pmatrix}
$. Suppose $I_3\otimes I_2+B\otimes X+B^*\otimes X^*\geq 0$ for all $2$...
- 231
1
vote
0
answers
83
views
What is lost after RKHS embedding of the L1 space?
We know that every distribution or $L^1$ function $f$ over space $\mathcal{X}$ (e.g., $R^d$) can be embedded to an RKHS $\mathcal{H}$ with a $1$-bounded kernel $\mathcal{K}$ (e.g., the RBF kernel) ...
- 43
1
vote
0
answers
128
views
Self-ajointness of the Laplacian over a Riemannian manifold with boundary
I have some doubts about on a passage found on this article (https://arxiv.org/pdf/1510.08136.pdf).
Let
$(M,g)$ be a Riemannian manifold with boundary;
$E\to M$ be an hermitian fiber bundle;
$\Delta$ ...
- 141
1
vote
1
answer
329
views
Hölder continuity of Radon transform of smooth function
Given an integrable function (e.g a probability density function) $f:\mathbb R^n \to \mathbb R$, let $R[f]$ be its Radon transform defined by
$$
R[f](w,b) := \int_{\mathbb R^n} \delta(x^\top w - b)f(x)...
- 6,853
1
vote
0
answers
256
views
Sobolev variant of Wasserstein space
Let $\mathcal{P}(\mathbb{R}^n)$ be the set of Borel probability measures on the Euclidean space $\mathbb{R}^n$ and consider thereof consisting of all probability measures $\mathbb{P}$ satisfying $\int\...
- 5,405
1
vote
0
answers
188
views
$C^0$ norm is bounded by $L^{14}$ norm
Let $M$ be a closed manifold of dimension $6$, and we look at the collection of smooth functions on $M$ which satisfy:
$$
\|f\|_{C^0}\leq C\big(\|f\|_{L^{14}}^2+1\big)
$$
for some fixed $C>0$. Can ...
- 954
1
vote
0
answers
111
views
Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space
$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set.
For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
- 2,533
1
vote
0
answers
63
views
On the strong convergence of generators and the corresponding semigroups
Let $(E,\|\cdot\|)$ be a separable Hilbert space on $\mathbb{R}$. We consider a sequence of strongly continuous semigroup $\{T^{(n)}\}_{n=1}^\infty$ on $E$ [of course, for $n \in \mathbb{N}$ and $t>...
- 721