Questions tagged [fa.functional-analysis]
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
3,436 questions with no upvoted or accepted answers
3
votes
0
answers
275
views
Seminorms on tensor products of affinoid algebras
Let $A \leftarrow C \rightarrow B$ be affinoid $K$-algebras, where $K$ is a non-archimedean field with non-trivial absolute value. Equipping $A$, $B$, $C$ with the supremum seminorms, there is a ...
- 31
3
votes
0
answers
85
views
essential norm versus invertibility
Let $X$ be an infinite dimensional Banach space and $T:X\rightarrow X$ be a bounded linear operator. If $T$ is invertible and $\lVert T\rVert_e=\lVert T\rVert$, is it true that (or when is it true ...
- 83
3
votes
0
answers
153
views
Identifying a Banach space-valued functions' integral notion
In Teschl's book on Mathematical Methods in Quantum Mechanics (https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/schroe.pdf) in section 4.1 a notion of an integral for Banach space-valued functions ...
- 203
3
votes
0
answers
278
views
Interchanging direct sum and direct integral
I am interested in the concept of direct integrals. The definition I am concerned with can be found in Hall, "Quantum Theory for Mathematicians" (p. 146). Short version: We have a family of separable ...
- 31
3
votes
0
answers
241
views
Is the shift operator continuous on the real Hardy spaces?
Is the shift operator (or the translation operator) continuous on Hardy spaces $H^p(\mathbb{R}^n)$ (with $0<p\leq 1$)? i.e. given $f\in H^p(\mathbb{R}^n)$, is the following map
\begin{align}
\tau:&...
- 31
3
votes
0
answers
125
views
Partial regularity for transmission problem in corner domains
Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
- 143
3
votes
0
answers
187
views
Families of unbounded operators
Let $H$ be a Hilbert space, $X$ a topological space, and $\{A_t\}_{t\in X}$ a continuous family of bounded, invertible operators on $H$. Continuous here in the sense that the corresponding map $X\...
- 331
3
votes
0
answers
237
views
Who defined the term "Carleman-matrix" and also their properties as they are?
Working for a couple of years with "Carleman-matrices" I became aware that it is difficult to trace down who actually introduced the name for this type of matrices. Wikipedia lets you alone with this ...
- 5,342
3
votes
0
answers
126
views
An identity of operator norms and de Leeuw's theorem
Let $$Hf(x_1,x_2)=p.v.\int_{-\infty}^\infty f(x_1-t,x_2-S(x_1,x_1-t))\frac{dt}{t},$$
$$T_\lambda f(x)=\lim_{\epsilon\to0}\int_{|x-y|\ge\epsilon}e^{i\lambda S(x,y)}(x-y)^{-1}f(y)dy, $$ where $S(x,y)$ ...
- 187
3
votes
0
answers
125
views
Commutative discrete cyclic operator groups on topological vector spaces
Let $V$ be a complex Hausdorff separable topological vector space of infinite dimensions. Does there exist a commutative discrete subgroup $A\subset\mathcal{L}(V)$ of continuous operators on $V$ with ...
- 1,959
3
votes
0
answers
52
views
Integral estimate in the Levitan's paper "On expansion in eigenfunctions of the Laplace operator"
Let $D \subset R^m$ be a domain in a $m$-dimensional Euclidean space, $P \in intD$, and $t > 0$ so small that the sphere of radius $t$ centered at the point $P$ sits in $intD$. Let $\phi : D \...
- 63
3
votes
0
answers
89
views
Trace of a weighted composition operator on Bergman space
I am reading a series of papers by Pollicott, Jenkinson and coauthors which make use of the following type of result:
Theorem: Let $\mathbb{D} \subset \mathbb{C}^d$ be a bounded, connected open set. ...
- 6,206
3
votes
0
answers
63
views
Is the collection of Schur convex functions sequentially compact?
We know in ROCKAFELLAR's convex analysis chap 10 that the collection of uniformly bounded convex functions on compact set is sequentially compact. I wonder if it is still true for the collection of ...
- 185
3
votes
0
answers
465
views
Fractional sobolev spaces
On the whole space $\mathbb R^d$, the fractional Sobolev space
$H_s(\mathbb R^d)$ of order $s\in \mathbb R$ can be defined as the subspace of tempered distributions $T$ such that $\mathcal F T \in L^...
- 630
3
votes
0
answers
190
views
Error term in the Euclidean Weyl law
Let $\Omega\subset \mathbb R^n$ be an open bounded set with smooth boundary. The Laplacian on $\Omega$ with Dirichlet boundary conditions has discrete spectrum $\lambda_1\le \lambda_2\le \ldots$ that ...
- 381
3
votes
0
answers
64
views
A constraint satisfaction problem on matrix sum involving symmetric group
Given $n\in\Bbb N$ what is the smallest with $m>n$ we need such that there is a non-negative $\epsilon<1$ and $\Phi_i,\Psi_j\in\Bbb C^{m\times m}$ at every $i,j\in[n]$ ($[n]=\{1,\dots,n\}$) such ...
- 13.9k
3
votes
0
answers
210
views
Meromorphic continuation of resolvent of free Laplacian on homogeneous Sobolev space
Let $n \ge 2$. Set $\dot{H}^1(\mathbb{R}^n)$ to be the homogeneous Sobolev space, defined as the Hilbert completion of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm $\| \varphi \|^2_{\dot{H}^1} \...
- 481
3
votes
0
answers
269
views
Finite dimensional representation of tensor product
Let $A$ and $B$ be $C^*$ algebras, and let $\pi:A \odot B \to B(H)$ be a $*$-representation of the algebraic tensor product on a finite dimensional Hilbert space $H$. Let $x \in A \odot B$. Since $H$ ...
- 1,769
3
votes
0
answers
169
views
A spanning set for an annihilator set on a Banach space
Let $(z_n)$ be a $H^\infty$-interpolating sequence on the open complex unit disc $\mathbb D$. If $A$ is some Banach space of analytic functions on the disc, denote by $X$ the closed subspace of all ...
- 31
3
votes
0
answers
280
views
Helmholtz-Hodge decomposition
I have a question regarding a decomposition of a vector field. So fix $ 1<p<\infty$ and let $ \Omega$ denote a smooth bounded domain in $ R^N$. Now let $ F $ denote a smooth vector field $F:\...
- 1,385
3
votes
0
answers
91
views
The numerical range of a composition of two operators
For a problem I'm working on, I need the following implication. $A,B$ are two closed densely defined operators on a Hilbert space $H$. I'll be a bit vague about the setting, add assumptions at will as ...
- 9,007
3
votes
0
answers
103
views
Extension of the Gagliardo Inequality
The Gagliardo Inequality generalizes Fubini's Theorem: let $f_j$ be $d-1$ non-negative measurable functions over ${\mathbb R}^{d-1}$. Let us form the function
$$f(x)=\prod_{j=1}^df_j(\widehat{x_j}),$$
...
- 52.4k
3
votes
0
answers
57
views
Integration of Weyl operators multiplied by quasifree state over a symplectic space
I am reading the book "An invitation to the Algebra of Canonical Commutation Relations" by Denes Petz. It is freely available for download here. In Chapter 9, he defines the Lebesgue measure on a ...
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
3
votes
0
answers
94
views
Multiplicativity of $\zeta$-function regularized determinant
Let $A$ be a selfadjoint elliptic differential operator on a compact manifold. In mathematical physics and differential topology one often defines its determinant using the $\zeta$-function ...
- 21.8k
3
votes
0
answers
130
views
Equivariant $K$-homology with $G$-compact support
Let $G$ be a discrete countable group and let $A$ be $\sigma$-unital $G$-$C^*$-Algebra. For a proper locally compact Hausdorff $G$-space $X$ the equivariant $K$-homology with $G$ compact support and ...
- 31
3
votes
0
answers
177
views
Interesting stipulation about completely monotone functions
This question relates to a question I asked here. I thought of a well thought out generalization which appears to follow in the situations I've encountered it. I tried to generalize the answer ...
user78249
3
votes
0
answers
225
views
Defining a trace-class operator with a Bochner integral
I had asked this question previously on Math.StacheExchange but did not get an answer there in several months. This isn't strictly speaking research level mathematics but I hope it is sufficiently ...
- 131
3
votes
0
answers
148
views
Full free product of $B(\mathcal H_i)$
It struck me that I know nothing about the full (universal) free product of the $B(\mathcal H_i)$ amalgamated over $\mathbb C$ for Hilbert spaces $\mathcal H_i$ with identified unit vector $\xi_i$. So ...
- 3,984
3
votes
0
answers
128
views
Stable homotopy equivalence
Let $\alpha:A \rightarrow B$ be a *-homomorphism of $C^*$-algebras. Then $\alpha$ ist a stable homotopy equivalence if there exists a $*$-homomorphism $\beta: B \otimes \mathcal{K} \rightarrow A \...
- 31
3
votes
0
answers
178
views
A point concerning absolute value of functionals
Let $M$ be a von Neumann sub-algebra in $B(H)$. Let $\phi$ be a normal functional on $M$. Assume $\psi$ is a normal functional on $B(H)$ with $\psi_{|_M}=\phi$ (note that $\phi$ and $\psi$ may have ...
- 4,058
3
votes
0
answers
790
views
What is the optimal constant for the injection of $H^1$ into $L^\infty$ on an interval?
Let $I\subset \mathbb R$ be an interval, $1\leq p\leq \infty$, and $W^{1,p}(I)$ the usual Sobolev space. It is known that the injection $W^{1,p}(I)\hookrightarrow L^\infty(I)$ holds, i.e. there exists ...
- 31
3
votes
0
answers
235
views
Is this "differentiation map" uniquely determined by these properties?
Let $A$ be the set of all real-valued functions having their domain a subset of $\Bbb R$ which are at least differentiable on an open set, and for $f \in A$, let $U_f$ be the largest open set on which ...
user101261
3
votes
0
answers
317
views
Best constant for maximal function for locally compact groups
Maximal functions for locally compact groups have been studied. In particular papers of K. Phillips and Phillips-Taibleson (here and here) contain nice results in this direction. It might be too much ...
- 1,583
3
votes
0
answers
589
views
Norm in a product vector space induced by a norm in $\mathbb{R}^d$
I posted this question originally here (nobody answered there): https://math.stackexchange.com/questions/2066318/is-the-following-function-a-norm
Let $\| \|$ be any norm in $\mathbb{R}^d$. Consider ...
- 153
3
votes
0
answers
119
views
Increasing sequence of closed subspaces of $L^2$ and error estimate of a product of orthogonal projections
We define an increasing sequence of closed subspaces
\begin{align*}
V_{0} \subset V_{1} \subset V_{\ell} \subset \dots
\end{align*}
of $L^2(I)$ where $I=(0,x_{max})$, and each $V_{\ell}$ is equipped ...
- 131
3
votes
0
answers
232
views
I've found a representation of the Itō-Stratonovich correction term and don't understand the used notion of a "trace"
Consider a Stratonovich SPDE $$X_t=X_0+\int_0^tb(s,X_s)\:{\rm d}s+\int_0^t\sigma(s,X_s)\circ{\rm d}W_s\tag 1$$ in a separable $\mathbb R$-Hilbert space $H$ with $W$ being a $Q$-Wiener process on a ...
- 167
3
votes
0
answers
78
views
Perscribed/Inverting Conditional Expectation
I'm having difficulty finding papers which deal with the following inversion problem.
Suppose I have a stochastic process $Y_t$ (which is described by a certain Hilbert-Space-valued SDE). I want to ...
- 5,405
3
votes
0
answers
285
views
Error estimate on convolution of mollifiers
Given $u\in W^{1}_{p}(\omega)$ with $1\leq p\leq \infty$, and the mollifier $\rho\in C_0^{\infty}(R^d)$ with support $B_1$ is a unit ball centered at the origin, $\rho\geq 0$ and $\int_{B_1} \rho = 1$....
- 133
3
votes
0
answers
97
views
Boudedness of linear operator between generalized Orlicz spaces
I am using the notations, definitions, and results of the Section X of [1] on generalized Orlicz spaces.
We say that $\varphi : \mathbb{R} \rightarrow \mathbb{R}^+$ is a $\varphi$-function if it is ...
- 2,306
3
votes
0
answers
261
views
Generalization of trace and associated determinant
The standard relation between the trace and the determinant of matrices is presented in the MO-Q "Cycling through the zeta garden" where the log and exp functions allow one to jump between additive ...
- 10.5k
3
votes
0
answers
245
views
Lawvere's 'Categories of space and of quantity" - the universal coefficient theorem
This is a continuation of this question about the paper Categories of Space and of Quantity by W. Lawvere.
As intuitively clear by the very broad (and tentative) definitions suggested by W. Lawvere, ...
- 10.5k
3
votes
0
answers
112
views
Orlicz spaces and $\phi$-functions
A $\phi$-function $f$ is usually defined as a continuous function $f=\mathbb R_+ \to \mathbb R_+$ such that:
(1) $f$ is nondecreasing.
(2) $f(0)=0$ and $f(x)>0$ for all $x>0$.
(3) $\lim_{x\to ...
- 630
3
votes
0
answers
243
views
A universal operator between separable Banach spaces
The Banach space $C[0,1]$ is universal for all separable Banach spaces in the sense that for a separable Banach space $X$ there is an isometric isomorphism from $X$ into $C[0,1]$. My question is ...
- 1,073
3
votes
0
answers
140
views
Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation
It shall be an old story in PDE.
I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of
$$\inf_{a \in [-1,1]} \{...
- 1,399
3
votes
0
answers
579
views
Measures on a unit sphere of a Hilbert space
Consider a real separable infinite-dimensional Hilbert space $H$. Let $S=\{h\in H\mid \|h\|=1\}$ be a unit sphere in $H$. What are the most natural measures on $S$? Is there a (Borel) measure $\mu$ on ...
- 73
3
votes
0
answers
237
views
Orthogonality relations for unitary representations of infinite (finitely generated) groups
Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
- 333
3
votes
0
answers
95
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 $B\subset\mathbb{...
- 943
3
votes
0
answers
73
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$:
\...
- 1,461
3
votes
0
answers
61
views
Isometry from a representation to the representation tensored with itself
Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $.
(The group $ S(2^{\infty}) $ is the direct limit of the following ...
- 817