All Questions
Tagged with fa.functional-analysis linear-algebra
325 questions
4
votes
2
answers
671
views
When does this linear matrix equation have a unique symmetric, positive definite solution?
I encountered the following matrix equation for $A, N, Q \in \mathbb{R}^{n \times n}$ and $A^T=-A$ and $N^T=-N$
$$[X,A]+N^TXN+Q = 0$$
where $Q$ is symmetric, positive definite. My final goal is to ...
3
votes
0
answers
588
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 ...
CommunityBot
- 1
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
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
12
votes
3
answers
3k
views
elementwise functions of positive definite matrix
The fact that the Schur (that is, element wise) product of two positive definite (symmetric) matrices is positive definite immediately implies (using the convexity of the positive semi definite cone) ...
- 51
2
votes
0
answers
147
views
Is the following inequality true for the norm of Moore-Penrose pseudoinverses?
Let $L$ be a real, positive semi-definite, symmetric, square matrix, with pseudoinverse $L^{+}$. It can be shown for the operator norms $||.||_{op}$ that: if $L$ is invertible and $||I - L||_{op} < ...
- 1,467
1
vote
1
answer
158
views
When do we have $B_Y\subset T(B_X)$ if and only if $\overline{B_Y}\subset T(\overline{B_X})$?
Let $X$,$Y$ be normed spaces, $T:X\to Y$ be a bounded linear operator. Denote the open and closed unit balls by
$$
B_X:=\{ x\in X\ |\ \|x\|<1\} \\
\overline{B_X}:=\{ x\in X\ |\ \|x\|\le1\}
$$
and ...
CommunityBot
- 1
0
votes
1
answer
198
views
The eigenfunctions of an operator commuting with all rotations.
When reading the paper
E. Carlen, J. Geronimo & M. Loss: SIAM J. MATH. ANAL., vol. 40, no. 1, 327-374
I found an argument like the following.
Given an bounded and self-adjoint linear operator ...
- 34.7k
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 ...
CommunityBot
- 1
1
vote
0
answers
127
views
What is the analogue of expansive matrix for automorphisms?
We say an invertible $n \times n$ matrix with entries in $\Bbb R^n$ is expansive if the absolute values of all of its eigenvalues exceed $1$. An easy calculation also shows that if we consider a ball ...
- 4,679
1
vote
0
answers
94
views
Space spanned by pointwise squares of basis functions
Consider the Hilbert space $L^2(\Omega)$ over some Euclidean domain $\Omega$.
Let $F=\{f_i;i\in\mathbb N\}$ be an orthonormal basis of this space consisting of functions in $L^2(\Omega)\cap L^4(\Omega)...
- 8,086
7
votes
3
answers
3k
views
Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space
I previously posted this question on Math.SE but didn't receive an answer. It is perhaps a little vague; part of what I want to know is what question I should ask.
First, consider the following form ...
CommunityBot
- 1
1
vote
0
answers
256
views
Significance of Tikhonov matrix
I am looking for a tutorial on Tikhonov matrix, in the sense what it can do or it cannot do. The definition of the matrix can be obtained in the wikipedia link. https://en.wikipedia.org/wiki/...
1
vote
0
answers
83
views
What is optimal distance between inverse of convolution operator?
I am looking for a measure to find the optimal distance measure between inverse of an convolution operator $A$ and say another convolution operator $B$. I want my measure to be sharp that mean when $B$...
9
votes
1
answer
401
views
Horn's inequalities for n matrices
Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...
CommunityBot
- 1
2
votes
0
answers
125
views
When is an selfadjoint operatorvalued matrix with positive semidefinite diagonal elements positive semidefinite as well?
We have $p \in \mathbb{N}$ and $\mathcal{H}$ is a Hilbert space.
let's consider a matrix $\boldsymbol{\Gamma}_p := (C_{i-j})_{i,j=1, ..., p} \in \mathcal{S_H}^{p\times p}\!\!\,,$ that is a $p\times p$...
- 195
3
votes
1
answer
399
views
The spectral norm of the truncated exponential of a matrix
Let $A$ be a matrix satisfying $A^*+A\leq0$, it can be shown that $\|e^{tA}\|_2\leq1$ for all $t\geq 0$, where $\|\cdot\|_2$ is the spectral norm defined as largest singular value of the matrix.
I am ...
- 52.3k
0
votes
1
answer
307
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
- 195
0
votes
1
answer
317
views
Some questions related to the unitary operators
A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...
- 5,529
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
- 195
3
votes
2
answers
113
views
Behavior of orbits under small perturbations
Perhaps this question is too easy for mathoverflow, at least this is how it seems, but I got no answer on stackexchange.
Suppose $T$ is a bounded linear operator on $l_2$ and $x\in l_2$ is a ...
- 16.4k
1
vote
0
answers
174
views
Negative eigenvalue of Toeplitz Hermitian matrix?
I am working on estimation of a covariance matrix and I know that the matrix is Toeplitz. The desired matrix should not produce negative eigenvalues at all. However, sometime my estimation leads to a ...
- 495
13
votes
2
answers
1k
views
A matrix norm inequality
Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that
$\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
- 1,748
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 105k
2
votes
0
answers
463
views
Conditions for continuity of non-simple eigenvectors
Here, https://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
CommunityBot
- 1
1
vote
3
answers
684
views
Norm of an operator formed using a unitary operator
Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
- 817
3
votes
1
answer
493
views
Two minimization problems using singular value decomposition
Posted here too: https://math.stackexchange.com/questions/1711026/two-minimization-problems-using-singular-value-decomposition
Let $q_0, q_1:[0,1]\to \mathbb{R}^n$ be two maps whose components are $L^...
CommunityBot
- 1
3
votes
0
answers
98
views
Quantum Groups and quantum spaces - From algebra to Analysis
My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...
1
vote
2
answers
289
views
Any analysis on phase of eigenvalue of unitary matrix?
I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...
- 2,552
13
votes
1
answer
1k
views
An inequality for the spectral radius of matrices used by J. Bochi
I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
- 6,206
0
votes
0
answers
322
views
Comparison of Parameter estimation using maximum likelihood and Maximum entropy
I am not sure if the question is appropriate but I want to try my luck. One can estimate a parameter using maximum likelihood and we know it is optimal. On the other hand there are methods which uses ...
- 495
5
votes
0
answers
216
views
Existence or construction of a sequence of orthogonal matrices with three properties
This is a problem that I encountered during my research, and I have spent a good amount of time on it without success. So I am reaching out for help ....
Any pointers or suggestions are appreicated!
...
- 63.9k
5
votes
1
answer
181
views
Continuity of solutions to $Av=b$
Let $X$ be a compact Hausdorff topological space, and $C(X)$ denote the ring of complex-valued, continuous functions on $X$. Let $A$ be a matrix with entries from $C(X)$ of size $m\times n$ and $b\in \...
- 109k
1
vote
0
answers
147
views
Bounding Rayleigh quotient for stochastic matrix
Suppose you have an irreducible, stochastic matrix $A$ with left Perron-Frobenius eigenvector $v$ (corresponding to the eigenvalue $1$), and suppose the next largest eigenvalue for $A$ is $\lambda$. ...
- 19.6k
3
votes
1
answer
275
views
Sum of two parts of a continuous stochastic process
Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all $...
CommunityBot
- 1
0
votes
1
answer
371
views
Is there relation between vector valued RKHS and interpolation space?
Vector valued RKHS which is covered extensively in the book "Pick Interpolation and Hilbert function spaces" . In a different context interpolation space is defined in the wikipedia link: https://en....
- 3,085
3
votes
1
answer
1k
views
Does there exist a norm on continuous real-valued function space?
I know the space of continuous real-valued function on closed set can be given a norm by integral. How about the continuous funcion on the real line? It may be non-integrable, like f(x)=x^2. So, does ...
CommunityBot
- 1
1
vote
0
answers
123
views
Can we have extension of Mercer theorem to interpolation? [closed]
This question is related to Mercer theorem, Reproducible kernel Hilbert space(RKHS) and interpolation. The wikipedia links are https://en.wikipedia.org/wiki/Mercer%27s_theorem and https://en.wikipedia....
- 11
13
votes
1
answer
1k
views
A generalization of the Powers-Stormer inequality
The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
- 3,984
5
votes
0
answers
376
views
Non-linear positive map
In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...
- 421
12
votes
5
answers
2k
views
Analogue of Cayley Hamilton theorem for operators on Hilbert space
Is there an analogue of Cayley Hamilton theorem which holds for operators on a separable Hilbert space. Obviously the characteristic polynomial will be replaced by something else.
- 206
3
votes
1
answer
773
views
Is there some quantitative version of interlacing of eigenvalues of a matrix under rank-1 update?
Given a real symmetric matrix $A$ and a vector $v$ of the same dimension we know that the eigenvalues of $A + vv^T$ are left interlaced by the eigenvalues of $A$.
But do we have any quantitative ...
- 7,633
7
votes
2
answers
992
views
Is there a nice "synthetic" way for doing differential geometry on infinite dimensional vector spaces?
If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...
CommunityBot
- 1
-1
votes
1
answer
360
views
Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]
Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
- 96.4k
1
vote
1
answer
225
views
About expectation norms on graphs
Let $S \subseteq V$ of a $d-$regular graph $G$ such that $\mu = \frac{\vert S \vert }{\vert V \vert } $. Let $A$ be the adjacency matrix of the graph. Then define the quantity $\phi(S)= \frac{E(S,\bar{...
- 3,911
1
vote
1
answer
136
views
Self adjoint operator and vertex conditions in quantum graphs
Let $\Gamma$ be a metric graph with finitely many edges. Consider the operator H acting as $\frac{-d^2}{dx_e^2}$ on each edge $e$, with the domain consisting of functions that belong to $H^2(e)$ on ...
- 11
17
votes
1
answer
1k
views
How many values determine a norm?
It is well known that for a bilinear form over an n-dimensional vector space, $n^2$ values (on all pairs of basis-vectors) determine it uniquely.
How many values do we need to specify in order to ...
- 3,738
1
vote
1
answer
1k
views
The norm of a Finite Hilbert matrix
Let $H$ be an $n\times n$ Hilbert matrix,
$$h_{ij}=(i+j-1)^{-1}.$$
The matrix $p$-norm corresponding to the p-norm for vectors is:
$\left \| A \right \| _p = \sup \limits _{x \ne 0} \frac{\left \|...
CommunityBot
- 1
5
votes
0
answers
254
views
A weak Perron-Frobenius property for sets of positive matrices
A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
- 6,206
5
votes
0
answers
620
views
Is there a method to simultaneously block-diagonalize a set of group matrices?
Assume that you are explicitly given the representation matrices of a group.
How does one go about finding that common basis which will find the irreducible components of all of them simultaneously?
...
- 1,893