3
votes
1answer
83 views

Question about proof of Browder, Minty Theorem

Could someone please assist with the following question: In the following SET OF NOTES, I am interested to know how the author obtains "By Lemma 1.11, the Galerkin equations (2.5 has a solution ...
0
votes
0answers
26 views

How to show an operator is invertible?

How to show an operator is invertible in an abstact setting? I only know that if $\|T\|< 1$ then $I-T$ is invertible. For example: Let $(X_1, \|\cdot\|_1)$ and $(X_2, \|\cdot\|_2)$ be Banach ...
1
vote
0answers
28 views

Intersection of $\ell_p$

Let $\ell_p$ be defined as usual then what can be said about the intersection of $\ell_p$ spaces for i.e. $$\,\,\cap_{p=1}^{\infty}\ell_p\,\,$$
1
vote
0answers
33 views

Given $A_n : X\rightarrow Y$ linear and continuous, for each $x\in X$ $A_n(x) \rightharpoonup A(x)$ in $Y$, is $A$ continuous?

Given $A_n : X\rightarrow B$, a linear and continuous operator between two Banach spaces, for each $x\in X$ $A_n(x) \rightharpoonup A(x)$ in $Y$, is $A$ linear and continuous? My attempt: $A$ ...
2
votes
2answers
75 views

A matrix $G$ with all eigenvalues with nonzero real part. Then $t\mapsto |\exp(tG)x |$ is unbounded

I am trying to see why this is true. A book I am reading has this claim without any verification and I'm trying to see why it is true. Let $G$ be an $n\times n$ matrix all of whose eigenvalues have ...
1
vote
1answer
34 views

Lipschitz constants of projections

Consider two compact sets $A, B \subset \mathbb{R}^n$. Assume that the projection mappings $P_A: \mathbb{R}^n \rightarrow A$, $P_B : \mathbb{R}^n \rightarrow B$ have Lipschitz constant $1$ and $L$, ...
0
votes
0answers
24 views

Fixed point of projected operator

Let $X \subset \mathbb{R}^n$ be a compact convex set and let $f: X \rightarrow X$ be Lipschitz continuous and such that $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \leq 0 $$ for all $x, y ...
1
vote
1answer
44 views

Linear operator in $\ell^2$

Let $A \colon \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z})$ be the linear operator defined by $\left( Ax \right)_k = \sum_{i \in \mathbb{Z}}a_{ki}x_i$, where $a_{ki} = 1/(k-i)^2$ if $k \neq i$ and ...
2
votes
1answer
46 views

Definition of exponential for operators

if I have a self-adjoint operator $T:D(T) \rightarrow L^2$, then I define its unitary exponential operator by $$e^{iT}(f) := \lim_{k \rightarrow \infty} e^{iT_{k}}(f),$$ where $T_k(f):=\frac{1}{2} ...
3
votes
1answer
57 views

Is $AA^*$ and $A^*A$ self-adjoint?

if I have a densely defined closed linear operator $A$ and $A^* = -A$(same domain also closed). Is this sufficient that $AA^*$ and $A^*A$ are proper self-adjoint operators, assuming that we can also ...
1
vote
1answer
54 views

Domain of densely-defined second derivative operator, and its factorization

Let $$-d_x^2: \{f \in L^2[0,1];f \in AC^1[0,1] , f(0)=f(1)\} \rightarrow L^2[0,1]$$ be the second derivative operator. Here $AC^1[0,1]$ is the space of functions whose first derivative is absolutely ...
2
votes
2answers
53 views

Decomposition of a positive semidefinite self-adjoint operator?

If I have a positive semi-definite self-adjoint operator $H:D(H) \rightarrow L^2$, is it true that there is always a decomposition $H=A^* A$ available? If this is true, what can we say about the ...
4
votes
2answers
107 views

Spectral theory - continuous spectrum

imagine that I have some differential operator $D$ that is defined on an interval $[a,b]$. Now, assume that we take the boundary conditions in such a way that this operator is self-adjoint. Then, I ...
2
votes
1answer
23 views

Evaluation of Operator-Valued Function

Hello all; above is my question! :) I've gone through all the way up to the final "and hence deduce that". Up to this point, the question has been fairly straightforward, but I have no idea how to ...
1
vote
1answer
43 views

Fredholm index for 1-d Schroedinger operator

if I look at a Schroedinger-operator $-\frac{d^2}{dx^2} +V$ on a compact intervall $[a,b] \subset \mathbb{R}$ and I take boundary conditions that this operator is self-adjoint (for example periodic ...
1
vote
1answer
101 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...
2
votes
2answers
81 views

The trace of an operator

My question is derived from A. Deitmar's book: A First Course in Harmonic Analysis (second edition), p22, Exercise 1.17. Let me rewrite it again: Let $k:\mathbb{R}^2 \rightarrow \mathbb{C}$ be smooth ...
1
vote
1answer
35 views

unbounded self-adjoint operator

Given an operator $T:D_1(T)\subset L^2 \rightarrow L^2$ and the same operator $T:D_2(T) \subset L^2 \rightarrow L^2$, such that the operator is both times self-adjoint and closed, with $D_1(T) \subset ...
1
vote
1answer
88 views

Mathieu differential equation

Given the operator $T (\psi)(x):= \psi''(x)-2q \cos(2x)\psi(x)$ with $T : D(T) \subset L^2[0,2\pi] $ I was wondering: What is the right domain $D(T)$ for this operator if we want to solve the ...
2
votes
2answers
37 views

Bounded, surjective linear operator between Banach spaces

How can I show that for a given surjective linear operator $T: X \to Y$ between Banach spaces, if there exists an $\epsilon > 0$ such that $||Tx|| \geq \epsilon||x||$ for all $x \in X$, then $T$ is ...
3
votes
2answers
48 views

Computing the norm of operator when space is equipped with sup norm and $L^1$ norm

Let $\phi $ be the linear functional $\phi (f)=f(0)-\int^1_{-1}f(t)\:\mathrm{d}t$ a.Compute the norm of $\phi$ as a functional on Banach space $C[-1,1]$ with sup norm. b.Compute the of $\phi$ as a ...
0
votes
0answers
22 views

Question about convergence of sum

Let $T\in B(H,E)$ where $H$ a seperable hilbertspace, $E$ a seperable Banach space. By parsevals identity $$\left\|T^*\right\|^2= \sup_{ \left\|x^*\right\|\leq 1}\left\|T^*x^*\right\|^2 = \sup_{ ...
2
votes
2answers
65 views

How to show that the Volterra operator is not normal

How to show that the Volterra operator: $$V:L_2(0,1)\rightarrow L_2(0,1): x\mapsto \int^t_0 x(s) \, ds$$ is not normal. $t\in (0,1)$ Could you please help with this question.
2
votes
2answers
72 views

How to show: $A_y$ has no eigenvectors if $y$ is not constant on any subinterval of $[0,1]$

Let $y\in C[0,1]$ and $A_y : C[0,1]\rightarrow C[0,1]: x\mapsto xy$ How to show: $A_y$ has no eigenvectors if $y$ is not constant on any subinterval of $[0,1]$. Could you please help.
3
votes
1answer
70 views

Linear and monotone mapping

Let $f:\mathbb{R}^n \rightarrow \mathbb{R}^n$ be continuous and monotone, i.e., $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \geq 0$$ for all $x,y \in \mathbb{R}^n$. Say for which matrices $A ...
6
votes
5answers
344 views

is $T$ compact operator?

is $T$ compact operator? $T:C[0,1]\rightarrow C[0,1]$: $x(t)\mapsto x(t^2)$ where $t\in[0,1]$ with supremum norm Could you please help.
1
vote
1answer
109 views

Fredholm operator norm

I have seen here, that the operator norm of a Fredholm operator $T_k(f)(s):=\int_0^1 k(s,t) f(t) dt $, where $k \in L^2([0,1]^2)$ and $f \in L^2([0,1])$ is not equal to the $L^2$ norm of the Kernel. ...
2
votes
1answer
67 views

How to find if it is a compact operator

How to find if it is a compact operator: $F\colon C[0,1]\rightarrow C[0,1]$ : $x(t)\mapsto \int^1_0 \cos(t^2+s^2)x(s)ds$ Could you please help with this question.
1
vote
1answer
48 views

Closed Graph Theorem

Let $(x_n)$ be a Schauder basis of $X$ and $(y_n)$ an equivalent one to $Y$. They are supposed to be equivalent, hence for every sequence $(a_n)$ the series $\sum_{n \in \mathbb{N}} a_nx_n$ converges ...
0
votes
1answer
25 views

Decreasing Function Projected onto Simplex

Consider $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$, defined as $f(x) := a x + b$, where $a<0$ and $b \in \mathbb{R}_{\leq 0}^{n}$. Note that $f$ is decreasing: $$ x \geq y \Longrightarrow f(x) ...
0
votes
0answers
24 views

Saturated Monotone and Increasing Mappings

Let $A : \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a monotone mapping, i.e., $$ \left( A(x) - A(y) \right)^\top \left( x-y\right) \geq 0 $$ for all $x,y \in \mathbb{R}^n$. Let $B : \mathbb{R}^n ...
1
vote
1answer
27 views

Is the composition of monotone operators monotone?

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
3
votes
2answers
79 views

Compact operator on $L^{2}$

Let $K(t,s)$ be a real-valued function of two real variables, and let $T: L^2(a,b) \to L^2(a,b)$ be defined by $(Tf)(t) = \int_{a}^{b} K(t,s) f(s) ds$ where $$K(t,s) = \sum_{j=1}^{n} \phi_{j}(t) ...
1
vote
1answer
26 views

Check continuity of linear functionals and find norms

1) $c_{00} \owns (x_n) \mapsto \sum_{n=0}^{\infty} x_n \in \mathbb{K}$ where $c_{00}$ is a space of sequences that are eventually equal to $0$ with sup norm 2) $\ell^\infty \owns (x_n) \mapsto ...
-1
votes
1answer
41 views

Need help proving the equivalence of two norms !

Hey I could use alot of help with this problem please! Let (X, <-,->) be a Hilbert space over R. Then, let A: X -> X be a linear operator. Suppose that A is symettric and positive definite. Let ...
2
votes
1answer
28 views

Fast argument to see that the dual map of a projection is a projection

If $X$ is a Banach space and $U,V$ are closed subspaces, such that $X \cong U \oplus V$, then a continuous linear map $P:X \rightarrow X$ is called a projection if $P|_U =id$ and ker(P)=V. Now we ...
1
vote
0answers
28 views

Boundedness of a closed operator

Can I get any help with this problem: Let $X, Y$ be Banach spaces, let $D$ be a subspace of $X$, and let $A \colon D \to Y$ be a closed linear operator. If $D$ is a closed subspace of $X$, ...
5
votes
1answer
80 views

Spectral theorem in Quantum Mechanics

In Quantum Mechanics one often looks at self-adjoint(unbounded and closed) linear operators $A,B$ that are defined dense on $L^2$. My question is: Is it true that if we have $[A,B]=0$, where $[,]$ is ...
7
votes
1answer
158 views

True/False: Self-adjoint compact operator

Let $H$ be a hilbert space and $T$ a compact self-adjoint operator on it. T is also injective on a dense subspace $U \subset H$ and we also have that $T(H) \subset U$. Now I am asked whether it is ...
3
votes
1answer
81 views

Compact kernel operator on $L^p$ space

Let $\displaystyle U_1 \subset \mathbb R^{n_1}$ and $\displaystyle U_2 \subset \mathbb R^{n_2} $ measurable sets, $\displaystyle 1 < p,q < \infty $ and consider the measurable function ...
0
votes
1answer
97 views

Proof Riesz representation theorem

I have a question regarding the proof of the Riesz representation theorem. Why do we declare the isomorphism $\Phi: H \rightarrow H'$ in an antilinear way? I mean if, this isomorphism would pick the ...
1
vote
1answer
138 views

Linear Operator and isomorphism

I wanted to be sure about the following: Let's say we have vector spaces normed spaces $X$ and $Y$ and a linear operator $T:X \rightarrow Y$. My idea was to reduce the properties that I need to show ...
0
votes
1answer
60 views

Question about step in proof of Schauder's theorem

The statement is the following: Let $X,Y$ be Banach spaces and $T:X \rightarrow Y$ be a continuous linear operator. Then is $T'$ compact iff $T$ is compact. I have already understood the implication ...
2
votes
0answers
86 views

Troublesome proof in Functional Analysis with dual vector space

Greetings to all of you I have tried to prove the following theorem but I am having some troubles with it. Let $X$ be a separable normed space and $(x_n')$ a bounded sequence in $X'$, then there is a ...
3
votes
2answers
72 views

Conjugate convex functions property

$E$ is normed vector space.Let $f\in E^*$ in a bounded linear functional from $E$ to $C$ and fix $x\in E$. We have $$\forall y\in E;\ \ \ \ f(y-x)\leq \frac{1}{2}\|y\|^2-\frac{1}{2}\|x\|^2$$ And I ...
2
votes
1answer
128 views

Relationship between adjoint operators, trace-class operators, compact operators and density operators in Quantum-Mechanics

I don't know much about Functional Analysis, but I was wondering about the following: In Banach spaces it is possible to define for every continuous opertor $T:X \rightarrow Y$ an adjoint Operator ...
0
votes
1answer
55 views

Minkowski functional and strange theorem

I have a theorem that says the following: Let X be a normed space and $U\subset X$ a convx subset with $0 \in \text{int(U)}$, then we have: $U$ is absorbing and if $\{x;||x|| < \epsilon\} \subset ...
1
vote
1answer
40 views

Pulling Operator Inside Integral

Say $Y$ is a Banach space and you have a family of continuous/bounded operators $L_{x}: Y \rightarrow Y$ for $x\in \mathbb{R}$ and say you have an bounded, smooth map $f(x):\mathbb{R}\rightarrow Y$. ...
2
votes
1answer
61 views

questions about norm of integral operator

The following is a question I came up with when I was studying the same problem in dimension 1 (for which also I have the questions that follows) but I put in generality. Let $U_1, U_2 \subset ...
0
votes
3answers
67 views

Positive unbounded operator with zero not as an eigenalue

I am currently doing Quantum Mechanics and I am supposed to show that zero is an eigenvalue of a positive operator. I have no knowledge of Functional Analysis at that kind of level, so I was wondering ...