Operator theory is the branch of functional analysis that focuses on bounded linear operators, but it includes closed operators and nonlinear operators. Operator theory is also concerned with the study of algebras of operators.

learn more… | top users | synonyms

2
votes
0answers
193 views

What does it mean to carry out calculations modulo $S^{- \infty}$

I have trouble making sense of the following remark that is given in a set of lecture notes I am currently going through on my own: " Oscillatory integrals are used for the study of singularities of ...
2
votes
0answers
89 views

Extension of Uncertainty Relations to a specific potential in Schrödinger Equation

Given some $\|\psi \|$ $\in$ $L^2 (\mathbb R^n) $ such that $\| \psi \|_2 =1$ and a function (potential) $V: \mathbb R^n \rightarrow \mathbb R$. The Schorödinger equation tells us that $-\triangle \...
2
votes
0answers
143 views

Embedding $\ell^\infty(\Gamma)$ into $\mathcal{B}(E)$

Is there any criterion answering the question: Let $E$ be a Banach space. When does the Banach space $\mathcal{B}(E)$ of all bounded operators on $E$ contain a copy of $\ell^\infty(\Gamma)$? Here $\...
2
votes
0answers
159 views

Principal eigenvalue

How is the principal eigenvalue of elliptic differential operator defined? Is it just a spectral radius?
1
vote
0answers
28 views

$s_j(A)=1$ for all $j$ iff $A^*=A^*AA^*$ and $A=AA^*A$

I want to show that all the non-zero s-numbers, i.e. singular values $s_j(A):=(\lambda_j(A^*A))^{1/2}$, of A (a bounded linear operator of finite rank acting on a separable Hilbert space $H$) are ...
1
vote
0answers
28 views

Show that $A\varphi_j=\left<A\varphi_j,\varphi_j\right>\varphi_j$ and $A^*A\varphi_j=s_j(A)^2\varphi_j$ for all $j$

Let $A$ be a bounded linear (compact) operator acting op a separable Hilbert space $H$, and let $\varphi_1,\varphi_2,\ldots$ be an orthonormal basis of $H$. I Assume that $|\left< A\varphi_j,\...
1
vote
0answers
17 views

How can we extend $\operatorname{div}:C_c^\infty(\Omega)^d\to L^p(\Omega)$ to $W_0^{1,\:p}(\Omega)^d$?

Let $d\in\mathbb N$ and $p\ge 1$ $\lambda$ be the Lebesgue measure on $\mathbb R^d$ $\Omega\subseteq\mathbb R^d$ be open and $$W_0^{1,\:p}(\Omega):=\overline{C_c^\infty(\Omega)}^{\left\|\;\cdot\;\...
1
vote
0answers
22 views

Prove for the family of operators $\{S(t)\}_{t>0}$ that $S'(0)$ exists

Let's consider a real-valued function $V\in L^\infty(\mathbb{R})$ and a family of operators $\{S(t)\}_{t>0}$ defined on $L^2(\mathbb{R})$ as follows: $$\qquad \qquad\left(S(t)f \right)(x) = \frac{...
1
vote
0answers
71 views

Calculate the trace of $LBB^*$, where $L:H→H$ and $B:=ΦT^{1/2}$ for some $Φ:U_0→H$, an embedding $ι:U_0→V$ and $T:=ιι^*$

Let$^1$ $U$, $V$ and $H$ be $\mathbb R$-Hilbert spaces $Q\in\mathfrak L(U)$ be nonnegative and symmetric $U_0:=Q^{1/2}U$ be equipped with $$\langle u,v\rangle_{U_0}:=\langle Q^{-1/2}u,Q^{-1/2}v\...
1
vote
0answers
10 views

Spectral bands of periodic differential operators

I am reading the book "Multidimensional Periodic Schrödinger Operator" (O. Veliev, 2015) which says on page 11: It is well-known the following statements about the spectral properties of $L_{t}(q)$...
1
vote
0answers
48 views

I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection

I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...
1
vote
0answers
46 views

Linear Operators on $L_2(\mathbb R)$ definfed as Integrals

Let's consider the linear operators on $L_2(\mathbb R)$ $$ T_{\alpha}f(x) = \int_{-\infty}^{+\infty} \frac{e^{-|x-y|^2}}{(1+x^2)^{\alpha}}f(y)dy $$ with ${\alpha} \in [0,1]$. Find ${\alpha}$ such ...
1
vote
0answers
30 views

Did I make mistakes? Bilinear form, generator, strange relation

I have a question about functional analysis and operator theory. Definition Let $(H,(\cdot,\cdot)_{H})$ be a real Hilbert space and $D$ be a dense subspace of $H$. Let $(\mathcal{E},D)$ be ...
1
vote
0answers
21 views

Spectrum of $\sigma^{-1/2}\rho\sigma^{-1/2}$

Let $\rho$ and $\sigma$ be trace class operators. Thus, they have eigenvalues and eigenvectors, and can be diagonalized just as finite dimensional matrices. Now we consider $\sigma^{-1/2}\rho\sigma^{-...
1
vote
0answers
38 views

If $Q$ is a trace class operator on $U$, then each bounded, linear operator from $U$ to $H$ is a Hilbert-Schmidt operator from $Q^{1/2}U$ to $H$

Let $U$ and $H$ be Hilbert spaces $Q$ be a bounded, linear, nonnegative and symmetric operator on $U$ with finite trace $U_0:=Q^{1/2}U$ $L$ be a bounded, linear operator from $U_0$ to $H$ I ...
1
vote
0answers
31 views

Schmidt decomposition problem

I'm having a problem in implementing the following problem: I have a quantum state so defined: $\left| \Psi\right>=\int \mathcal{A}(\omega_1,\omega_2)\hat{a}^\dagger_H(\omega_1)\hat{a}^\dagger_V(\...
1
vote
0answers
16 views

Is the generated semigroup by an elliptic operator be the transition semigroup?

I am considering the time homogeneous Ito diffusion: $$dX_t=b(X_t)dt+\sigma(X_t)dW_t,$$ where $b,\sigma$ currently are only assumed to be global Lipschitz for the existence of solution $X_t$. The ...
1
vote
0answers
18 views

Given an operator $Q$ between a Hilbert space $U$ and $L^2(ℝ^d;ℝ^d)$, is it possible to make sense of $U∋u↦(Qu)(x)$ for a fixed $x∈ℝ^d$?

Let $U$ be a Hilbert space $H:=L^2(\mathbb R^d;\mathbb R^d)$ for some $d\in\left\{2,3\right\}$ $Q$ be a Hilbert-Schmidt operator from $U$ to $H$. I want that $\tilde Q(x)$, where $$\tilde Q(x):=...
1
vote
0answers
20 views

Two definitions of the operator $\exp(x)$ in $L^2(\mathbb R)$

The operator $x$ acts on a dense subspace of $L^2(\mathbb R)$ and is not bounded. So if we define $\exp(x)$ via the power series $\sum_{n=0}^\infty \frac {x^n}{n!}$, convergence will not follow in the ...
1
vote
0answers
32 views

Minimality of the Spatial C*-Norm

Given C*-Algebras $A,B$ and $x \in A \otimes_* B$ show that: (a) If $(\tau \otimes_* \rho)(x)=0$ for all $\tau \in A_+^*$ and $\rho \in B_+^*$, then $x=0$. PS: $\tau \in A_+^*$ means that $\tau$ is ...
1
vote
0answers
30 views

Calculate the trace of $T_nL$ where $L\in L(H)$, $T\in L(H,L(H))$ and $T_n:=\langle T,e_n\rangle_H$ for some ONB $(e_n)_n$ of a Hilbert space $H$

Let$^1$ $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over $\mathbb R$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ $T\in\mathfrak L\left(H,\mathfrak L\left(H\right)\right)$ ...
1
vote
0answers
25 views

inverse of operator

I want to calculate the inverse of the operator $T=-\frac{\partial^{2} }{\partial x^{2}}-\frac{\partial^{2}}{\partial y^{2}}-(x^{2}+y^{2})+2( x\frac{\partial }{\partial y}-y\frac{\partial }{\...
1
vote
0answers
20 views

The necessity of defining the stable equivalence in the construction of the Grothendieck group $K_0$

I am confused about the process of the construction of the Grothendieck group $K_0$ in Murphy's $C^*$-algebras and operator theory section 7.1. Let $A$ be a $*$-algebra and $P[A]=\bigcup_{n=1}^\infty\...
1
vote
0answers
34 views

Proving that the point spectrum of $T$ is not empty

This problem comes from Rudin's Functional Analysis, Chapter 10. It's the problem 15. Suppose $X$ is a Banach space, $T\in\mathcal{B}(X)$ is compact, and $\|T^n\|\geq 1$ for all $n\geq 1$. ...
1
vote
0answers
21 views

semifinite von Neumann algebra, spectral projection, trace

Let $\mathcal{M}$ be a semifinite von Neumann algebra and $\tau$ be a semifinite faithful normal trace on it. Let $T,P_1,P_2\in \mathcal{M}$, where $P_1,P_2$ are projections with $P_1\perp P_2$. Then, ...
1
vote
0answers
14 views

Show $(Au)(x)=v_1(x) \langle u , v_1 \rangle+ v_2 (x) \langle u, v_2 \rangle$ where $(Au)(x)=\int^\pi _0 2u(y) cos \bigg (\frac{x-y}{2} \bigg) dy$

Let $A$ be a linear operator defined on $L^2([0, \pi])$ by $$(Au)(x)=\int^\pi _0 2u(y) cos \bigg (\frac{x-y}{2} \bigg) dy$$ Where $0 \leq x \leq \pi$ I am trying to show that $(Au)(x)=v_1(x) \...
1
vote
0answers
31 views

Eigenfunction of a selft-adjoint operator?

Let $A = \int_{0}^{\infty} \lambda dE(\lambda)$ be the spectral decomposition of a selft-adjoint operator $A$ on a Hilbert space $H$. Then the restriction operator $P_{\lambda}$ for $A$ is defined by $...
1
vote
0answers
14 views

Strong Convergence of Fredholm Operators, as used in Callias' proof of his index theorem

In his paper Axial Anomalies and Index Theorems on Open Spaces, Callias provides a wonderful index theorem $$\mathrm{index}(L)=\lim_{z\to0} \mathrm{Tr}B_z\quad\text{where} \quad B_z=\frac{z}{L^\dagger ...
1
vote
0answers
19 views

Properness of isometric actions of discrete groups on affine Hilbert spaces

I've been reading Valette's introduction to the Baum-Connes conjecture and as I read the example of a construction of a (model of the) classifying space for proper actions of $\Gamma$ (discrete) given ...
1
vote
0answers
21 views

Interchanging Limit and Integral sign

I'm reading a book on composition operators, and the author makes the following claim: Given a self-map of the unit disc, and a $H^2$ function $f$, where $H^2$ is the Hardy space, if we fix a radius $...
1
vote
0answers
33 views

Does a contraction converging in power series necessarily lead to the operator being a proper contraction?

I was recently met with this in my functional analysis class on which I am stuck: Let $ \mathbb{H} $ be a Hilbert space and let T be a contraction operator on $ \mathbb{H} $ (meaning $ ||T|| \...
1
vote
0answers
20 views

Does strict contraction lead to convergence to zero in norm?

In my functional analysis class I was asked this question which got me stuck: Let $ \mathbb{H} $ be a Hilbert space and we are given an operator T satisfying: $ || T || < 1 $ in the ...
1
vote
0answers
29 views

Uniqueness of element in infinite dimensional Hilbert space

Suppose $H$ is an infinite Hilbert space where $\{e_k:k\in \mathbb{Z}\}$ is a total orthonormal family. Let $H_1=\overline{span{(e_k: k=0, 1,2,\cdots})}$ and $H_2=\overline{span{(e_{-k}+ke_k: k=1,2,\...
1
vote
0answers
16 views

In what sense are compact operators limits of finite-rank operators?

The convergence is in respect to what topology ? Can someone please write it mathematically ?
1
vote
0answers
24 views

How to calculate the norm of this operator?

Let $H$ be a separable Hilbert space and $(\phi_k)$ be a basis $A(t)$ is defined such as $A\phi_k=\exp(-t/k)\phi_k$. I am specifically interrested whether $\|A(t)\| \to 0$ when $t \to \infty$ or not, ...
1
vote
0answers
18 views

restrictions of closed linear operator to range of its powers

I am trying to prove that if $T$ is a closed densely defined operator on a Hilbert space(or Banach space), $\lambda$ is non-zero and $T_n$ is the restriction of T to range $R(T^n)$ for some n, then: (...
1
vote
0answers
22 views

A naïvely constructed extrapolation of a self-adjoint operator. Is it self-adjoint?

Let $\mathcal{H}$ be a real Hilbert space and let $A\colon D(A)\subset \mathcal{H}\to \mathcal{H}$ be an unbounded operator. Consider also a Hilbert triple $$ \mathcal{H}_+\subset \mathcal{H}\subset \...
1
vote
0answers
29 views

Operators of order $k$ between Sobolev spaces

It may sound like tautology, but I have a problem in proving that differential operator of order $k$ is an operator of order $k$. What exactly I'm asking for? Let $M$ be a manifold and $E,F$ be two ...
1
vote
0answers
48 views

Spectrum of the derivative operator: What's wrong in my argument?

Consider the Banach space $X=C[0,1]$ of continuous functions $f:[0,1]\to\mathbb{R}$ equipped with the supremum norm. If we consider the following unbounded operator $A$ defined on its domain $D(A)=\{f\...
1
vote
0answers
34 views

Why is $(\sqrt{P})^2=P$ where $P$ is a positive operator on a Hilbert space?

The following is a proposition regarding positive operators on a Hilbert space in Douglas's Banach Algebra Techniques in Operator Theory: Corollary 4.32 is as the following: I understand that the ...
1
vote
0answers
14 views

$C^\ast$ condition implies $B^\ast$ condition

By $C^\ast$ condition I understand $\|A^\ast A\|=\|A^\ast\|\|A\|$ and for $B^\ast$, $\|A^\ast A\|=\|A\|^2$. I know these conditions are equivalent even NOT assuming the involution is isometric, but I ...
1
vote
0answers
52 views

Do compact convergence topology and w*-topology coincide on the Pontryagin dual group of a LCA group.

Given a locally compact group $G$, consider its Pontryagin dual $G^{'}$. Do compact convergence topology and weak*-topology on $G^{'}$ coincide?. When we talk about weak*-topology on $G^{'}$, it ...
1
vote
0answers
36 views

Unbounded linear operator with bounded restriction

Given that a linear operator $T:X\rightarrow Y$, where $X$ and $Y$ are both Banach spaces, $D$ a dense subspace of $X$, if we know that the restriction of $T$ to $D$, say, $S=T|_{D}$ is bounded, then ...
1
vote
0answers
27 views

Does spectral decomposition exist for non-self-adjoint operators?

In theory, if a linear operator $P$ in a Hilbert space $H$ is self-adjoint, we can decompose it as $Pu=\sum_i \lambda_i <\phi_i,u>\phi_i$, where $\phi_i$ is the eigenfunction of $P$. And we can ...
1
vote
0answers
14 views

closability of $n$-th power of paranormal operator

It it well-known, that there exists closable paranormal operator $A$ such that $\overline{A}$ is not paranormal [1] and if $B$ is paranormal then $B^n$ is also paranormal [2]. Is there any example of ...
1
vote
0answers
24 views

concomitant and self-adjoint operator

If $Lu = u^{\prime\prime}+\omega^2u$, show that $L$ is formally self-adjoint and the concomitant is $J(u,v)=vu^\prime-uv^\prime$. Moreover, if $u$ is a solution of $Lu=0$ and $v$ is a solution of $L^*...
1
vote
0answers
70 views

Projection operator in Banach space is continuous

Let $(X,||\cdot ||)$ be a Banach space with a Schauder basis, i.e. there exist $e_j \in X$, $j\in \mathbb{N}$, s.t. $||e_j||=1$ for all $j$ and every $x\in X$ can be uniquely represented as $x=\sum_{j=...
1
vote
0answers
43 views

Proof compactness of adjoint operators

I am trying to understand a proof of the following statement: Given a complex B-space X and a compact operator $T:X\rightarrow X$, the adjoint operator $T^\ast:X^\ast \rightarrow X^\ast$ is compact as ...
1
vote
0answers
25 views

How do we compute the Green's function of the Laplacian?

Let $D:=(0,1)$ $U:=L^2(D)$ and $$\phi_n(x):=\sqrt 2\sin(n\pi x)\;\;\;\text{for }n\in\mathbb N\text{ and }x\in D$$ $H:=H^2(D)\cap H_0^1(D)$ and $$A:=-\frac{\partial^2}{\partial x^2}u\;\;\;\text{for }...
1
vote
0answers
50 views

Show that $S_n \to S $(weakly) and $T_n \to T$ strongly implies $S_nT_n \to ST$ weakly

Let $X,Y,Z$ be Banach Spaces. Let $T_n,T \subset BL(X,Y), S_n,S \in BL(Y,Z)$. Show that a) $S_n \to S $(weakly) and $T_n \to T$ (strongly) implies $S_nT_n \to ST$ (weakly) b) $S_n \to S $(uniformly)...