Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

1
vote
0answers
18 views

Fourier transform of $e^{-\frac{x^2}{2}}\frac{1}{\mathsf{sinc}( x )} $

I have to find inverse Fourier transform of \begin{align*} F(\omega)=e^{-\frac{\omega^2}{2}}\frac{1}{\mathsf{sinc}( \omega )} \end{align*} I was wondering whether it exists maybe in a sense of ...
2
votes
1answer
22 views

Verifying a Vector Space Via Given Axioms

Let $X$ be the collection of all sequences $\{\alpha_n\}_{n=1}^{\infty}$ of scalars from $\mathbb{K}$ such that $\alpha_n=0$ for all but a finite number of values of $n$. Define addition and scalar ...
0
votes
1answer
10 views

Question about a proof of Riemann localization theorem

The Riemann Localization Theorem states that Let $f \in L_{2 \pi}^2$ and $x_0 \in \mathbb R$. Then $$ \lim_{n \to \infty} (S_nf)(x_0) = f(x_0)$$ if and only if there is a $\delta \in (0, \pi)$ ...
1
vote
1answer
21 views

Why is $J(u) := \int_\Omega |\nabla u|^2$ convex?

Define $J(u) := \int_\Omega |\nabla u|^2$ over $\{ u \in H^1(\Omega) : tr(u) = g\}$. Why is $J$ convex? I keep getting $J(tu + (1-t)v) \leq 2t^2J(u) + 2(1-t)^2J(v)$ by using the triangle inequality ...
1
vote
1answer
16 views

Understanding a proof from Conway: showing existence of idempotents using functional calculus

I am studying the spectral theory of operators on Banach and Hilbert spaces, making use of Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
2
votes
1answer
21 views

$T$ is bijective and homeomorphism.

Suppose $X$ be the set of all polynomial with real coefficients in one variable with norm $$\|p(x)\|=|a_0|+|a_1|+\dots+|a_n|$$ where $p(x)=a_0+a_1x+\dots+a_nx^n$ which induces a metric ...
1
vote
1answer
16 views

which of the following sequences $\{f_n\}\in C[0,1]$ must contain a uniformly convergent subsequence?

Could anyone tell me which of the following sequences $\{f_n\}\in C[0,1]$ must contain a uniformly convergent subsequence? $|f_n(t)|\le 3\forall t\in [0,1],\forall n$ $f_n\in C^1[0,1],|f_n(t)|\le ...
0
votes
0answers
18 views

Is this a Cauchy sequence?

Let $Y$ and $Z$ be Banach spaces. Define $|u|_X := |Au|_Y + |Bu|_Z$ where $A$ and $B$ are linear maps. Suppose I have a sequence $(u_n)$ such that $|Au_n|_Y \to 0$ and $|Bu_n - Bu_m|_Z \to 0$. Does ...
0
votes
0answers
14 views

How to prove this sequence is in $l^2$? [duplicate]

I ran into such a problem in some exercise book on hilbert space. Suppose we have a sequence $ \{a_n \}_1^\infty$. Now, for any sequence $\{ b_n \}_1^\infty $ in $l^2$, we have $$ ...
0
votes
1answer
12 views

Short proof of sequential Banach Alaoglu for Hilbert spaces

Do you know of a short proof of the fact that bounded sequences in Hilbert spaces admit weakly converging subsequences? If the space is separable, then the common sequential-version proof is what I ...
1
vote
1answer
20 views

On the greatest norm element of weakly compact set

Let $X$ be a Banach space and $K\subset X$ be a nonempty weakly compact set. I would like to know if there exists a point $u_0\in K$ such that $\|u_0\|\geq \|u\|$ for all $u\in K$. Thank you for all ...
0
votes
2answers
69 views

Proving a subset of $l_2$ is closed

Let $l_2$ be the set of all real sequences $x=(x_n)$ such that $\sum|{x_n}|^2 <\infty$ and define the norm $||x_n||_2=(\sum\limits_{n=1}^{\infty}|x_n|)^{\frac{1}{2}}$. I want to show that $A=\{ ...
0
votes
0answers
14 views

problem about equivalent norms. [duplicate]

Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be equivalent norms on a normed field. Then (i) $\|x\|_1<1$ iff $\|x\|_2<1$; $\|x\|_1>1$ iff $\|x\|_2>1;$ (ii) $\|x\|=1$ iff $\|x\|_2=1$. I want to ...
1
vote
1answer
23 views

Embedding $L^2[0,1]$ into any Hilbert space?

Is it true that every Hilbert space has a closed subspace isometrically isomorphic to $L^2[0,1]$? Can someone sketch a proof of this, or at least point me in the right direction to understanding it? ...
0
votes
1answer
45 views

Approximation Property: Hilbert Spaces [on hold]

Note: This thread is not to gain reputation!! Given a Hilbert space. How to prove: It has the approximation property!
0
votes
0answers
18 views

Approximation Property: Characterization

Problem Given a Banach space. Suppose it has the approximation property: $$C\in\mathcal{C}:\quad\|T_\varepsilon-1\|_C<\varepsilon\quad(T_\varepsilon\in\mathcal{F}(E))$$ Then every compact ...
0
votes
1answer
27 views

about a sequence of isometries' convergency.

Let $M$ be a compact metric space, let $(i_n)$ be a sequence of isometries: $M \rightarrow M$. I've already showed that there exists a subsequence $(i_{n_k})$ that converges to $i$ which is also a ...
0
votes
0answers
10 views

When is the completion of a topological vector space a Frechet space?

Suppose $X$ is a topological vector space with the metric topology. If we take the completion of $X$ with respect to the metric, will we get a Frechet space? Are there any extra conditions needed to ...
1
vote
0answers
31 views

Prove that any function f in $L^p$ is the limit, in the metric of $L^p$, of a sequence of simple functions.

I know that I'll need to use dominated convergence here. In the problem, they ask to consider, when f is bounded and nonnegative, the sequence: $s_n(x) = \begin{cases} \frac{i-1}{2^n} \text{ for } ...
0
votes
1answer
22 views

If $f_n \rightarrow f$ in $L^p$ and $g_n \rightarrow g$ in $L^q$, where $\frac{1}{p} + \frac{1}{q} = 1$, show that $f_n g_n \rightarrow fg$ in $L^1$ [duplicate]

I know that this will have something to do with Holder's inequality but I am at a loss as to how the $L^p$ and $L^q$ convergence in $f$ and $g$ dictate the convergence in $L^1$. Any help is ...
1
vote
1answer
32 views

Inverse operator of $I-A$

Let $H$ be an Hilbert space, $A:H\to H$ be a bounded linear operator such that $$ \|A^{n_0}\|< 1\qquad\text{for some}\quad\; n_0\in\mathbb{N}. $$ I have to show that $I-A$ is invertible. My idea ...
0
votes
0answers
22 views

Check Functional Analysis Proof

I seem to have proved something with elementary techniques even though the paper I found it in suggests it requires heavy tools. There could be a mistake but I can't find it if there is one. Theorem: ...
0
votes
1answer
21 views

weak -star topology on ball M[0,1] [on hold]

let B = ball M[0,1] and for $ \mu$, $v$ in M[O,1] define $ d( \mu, v) = \sum_{n=0} ^{\infty} 2^{-n} \vert \int _0 ^1 x^n d \mu - \int _0 ^1 x^n d v \vert $ .Show that d is a metric on M [0, 1] that ...
0
votes
1answer
15 views

Partial Isometries: Subspaces

Note: This thread is not to gain reputation!!! Given an operator algebra. Then a partial isometry satisfies both: ...
3
votes
2answers
56 views

Series convergence and compact space

Let $K$ be a compact topological Hausdorff space. $\{x_n\}_1^\infty \subset K $ such that $x_i \not= x_j, i \not=j$ and $\{a_i\}_1^\infty \subset \mathbb{K}$. Show the folowing are equivalent: for ...
2
votes
1answer
18 views

Adjoints of operators between different Hilbert spaces.

When we have an operator $$ T ~\colon \mathscr{H} \longrightarrow \mathscr{H} $$ from a Hilbert space to itself, we can use the Riesz representation theorem to prove the existence of the adjoint ...
0
votes
1answer
19 views

Partial Isometries: Characterization

Note: This thread is not to gain reputation!!! Given a C*-algebra. Any partial isometry satisfies: $$WW^*W=W$$ From this, one derives projections: $$W^*W,WW^*$$ Conversely, given projections: ...
-1
votes
0answers
15 views

$C(K)^*$ when K is a countable, compact metric space. [on hold]

If K is a countable, compact metric space, then why $C(K)^*$ consists of only purely atomic measures? Also, why $C(K)^*$ is isometric to $\ell_1$ ? (See Topics in Banach space theory by Albiac and ...
0
votes
0answers
7 views

Separating and cyclic vector

Let $\{\Gamma_i , \mu_i\}_{i\in I}$ be a family of probability measure spaces and suppose $I$ is uncountable. Let $\{\Gamma , \mu\} = \prod_{i\in I} \{\Gamma_i,\mu_i\}$ be the product measure space. ...
3
votes
2answers
38 views

Logic behind a proof in Topological Vector Spaces

I found the following result at the beginning of some notes on topological vector spaces (TVS). This is a quite fundamental result, that apparently is considered the corresponding version of the ...
0
votes
1answer
17 views

Semi-norm on essentially bounded functions

Consider the space of essentially bounded functions (before quotienting it to create the $L^\infty$ space). On that space, I read, $|||.|||_\infty$ is only a semi-norm. So I wanted to find an example, ...
0
votes
1answer
18 views

Direct sum and intersection of sets [on hold]

If $A_1,A_2,B_1,B_2$ are subspaces of a Hilbert space $H$, is the following statement true or not? $$\left( A_1 \oplus A_2\right)\cap \left( B_1 \oplus B_2\right)=\left(A_1\cap B_1\right)\oplus ...
1
vote
0answers
23 views

Finding roots of a discrete complex valued function [on hold]

I am struggling with a numerical problem. I have a discrete dataset with complex valued numbers which are the function of a real variable. The function is a black box. Is there any way to find the ...
1
vote
0answers
13 views

Irreducible representation and rank one projetion

Let $A$ be a C*-algebra with a nonzero minimal projection $e$. a - Show that if $\{\pi, H\}$ is an irreducible representation of $A$ such that $\pi(e) \neq 0$, then $\pi(e)$ is a projection of rank ...
1
vote
1answer
14 views

A symmetric algebra that is not a C* algebra

Recall that a commutative Banach $*$-algebra $A$ is called symmetric if the Gelfand transform replaces involution in $A$ by complex conjugation in $\mathbb{C}$. Moreover, any commutative C* algebra is ...
-1
votes
0answers
13 views

Prove that $C_c(X)^c=C_0(X)$ if $X$ is locally compact $T_2$ [on hold]

Prove that $C_c(X)^c=C_0(X)$ if $X$ is locally compact $T_2$ So in genarel $C_c(X)$ is not complete wr.t . Supnorm.
0
votes
1answer
26 views

Prove that the space of sequences with limit $0$ is complete.

Prove that $C_0$ (the space of sequences with limit $0$) is complete. My effort: Let {$x_n$} be sequnce in $C_0$ converging to the limit $0$. As the {$0$} is in $C_0$ hence $C_0$ closed in $C$ ...
-1
votes
0answers
10 views

Gateaux but not Frechet differentiable functional

For functional between Banach spaces X,Y: By Gateaux differentiable at $u\in X$ I mean that there exists bounded linear operator $dF(u)$ s.t. $F(u+t\xi)-F(u)=dF(u)\xi+o(t)$ for all $\xi\in X$. For ...
3
votes
2answers
44 views

Is this a bounded linear map?

I tried very hard to (dis)prove it, but now I give up. Define a map which maps $x\in L_2[0,1]$ to the function $$(Tx)(t) = \frac{1}{\sqrt{t}}\int_0^t \frac{x(s)}{\sqrt{s}} \,d s.$$ I don't even ...
0
votes
1answer
18 views

How to compute the $H^{-s}(\Omega)$-norm of a function?

Suppose to have a sufficiently regular domain $\Omega\subseteq\mathbb{R}^d$. I know that, for $s\in\mathbb{R}_+$, the space $H^{-s}(\Omega)$ is defined as the dual of $H^s_0(\Omega)$, endowed with the ...
0
votes
0answers
32 views

$-\Delta u = f$ in $L^2(0,T;H^{-1}(\Omega))$ (as opposed to $H^{-1}(\Omega)$)

Why does nobody consider the equation $-\Delta u = f$ in the space $L^2(0,T;H^{-1}(\Omega))$? Eg. given $f \in L^2(0,T;L^2(\Omega))$ find a solution $u \in L^2(0,T;H^1_0(\Omega))$ such that ...
2
votes
0answers
35 views

Is this a Hilbert space? If not, is it reflexive?

Let $E$ be a Banach space. Let $L^2(\Omega, E)$ denote the space of random variables taking values in $E$ with second order moment. Is $L^2(\Omega,E)$ a Hilbert space? or at least, reflexive? 1) I do ...
1
vote
0answers
24 views

Show that elements $u \in W^{1,\infty}(U)$ have continuous representatives

Let $U$ be a bounded, open subset of $\mathbb{R}^n$, and suppose that the boundary $\partial U$ is of class $C^1$. Suppose that $u \in W^{1, \infty}(U)$. I wish to prove that there exists a ...
0
votes
0answers
20 views

Weak star convergence question

Let $C$ be a convex cone in $L^{\infty}$, that is if $x,y \in C$ and $\alpha, \beta > 0 $ then $\alpha x + \beta y \in C$. Let $U$ be the unit ball in $L^{\infty}$. Assume that for each sequence ...
3
votes
0answers
23 views

I want to know that the supremum function continuous [on hold]

Let $g(y)=\sup_{x\in[0,y]}f(x)$ for $y\ge0$. I want to know that the function $g(y)$ is continuous on $[0,\infty)$. (here we suppose $f(x)$ is continuous on $[0,\infty)$)
0
votes
2answers
19 views

If $X$ is compact then prove that $C(X)=C_0(X)=C_c(X)$

If $X$ is compact then prove that $C(X)=C_0(X)=C_c(X)$. My effort: We know that for any $X$, $C(x)\supseteq C_0(X)\supseteq C_c(X)$. Now to prove the reverse let $f\in C(X)$, Then $f$ is ...
1
vote
0answers
49 views
+50

Analyze the variation of this function $f(x)=x \exp[a+b(x-1)] \, E_1[a+b (x-1)]$ w.r.t. $x$

Please, I need to analyse the variation of the following function w.r.t. $x$ : $f(x)=x \exp[a+b(x-1)] \, E_1[a+b (x-1)]$, where $E_1[a+b (x-1)]$ is the exponential integral, $b>a$, $a>0$, ...
1
vote
1answer
29 views

Linear Transformations on Infinite Dimensional Vector Spaces

Let $T$ be a linear transformation $T:V\to V$, where $V$ is an infinite dimensional vector space. How can we construct examples such as $1.$ T is one to one but not onto $2.$ T is onto but not ...
1
vote
1answer
26 views

Boundedness and Schrödinger operators

I'm working on Schrödinger operators, currently struggling with the proof of $\nabla(\Delta + i)^{-1/2}$ bounded. The domain is $H^2(\mathbb R^3)$. So, of course $(\Delta + i)^{-1}$ is bounded, and ...
1
vote
0answers
28 views

Weak solution of elliptic equation depends continuously on parameter

Suppose I have a weak formulation of the form: find $u \in H^1_0(\Omega)$ such that $$\int_\Omega b(p)(\nabla u \nabla v + \lambda uv)=0$$ holds for all $v \in H^1_0(\Omega)$ where $b:[a,b] \to ...